Grok Bot 团队 Lauren 提出信任 Agent 工作成果的四层倒金字塔框架

Grok Bot 团队的 Lauren (@poteto) 提出一个四层倒金字塔框架，用于提升对 AI Agent 工作成果的信任。第一层是代码库改进（架构、类型系统、模块边界），投入精力最多，因为 Agent 倾向复制已有代码、走最短路径，让最短路径就是正确路径。第二层是静态分析，包括 lint 规则、测试、CI 和 TLA+ 形式化验证，能在早期以低 token 成本确定性拦截问题。第三层是文字性指导如 AGENTS.md 和代码注释，因无法强制执行只能最少使用；第四层人工审查最难规模化，精力应投向设计让 Agent 默认做对的环境。