From observability to provable control in AI governance · Digg