构建 agent 系统的笔记

可证明的控制：将治理从仪表盘转向强制不变量

可观测性记录 agent 做了什么。治理则需要约束，使某些操作无论模型如何决定都无法发生。