推文

@fireandstart · 2026-10-17 00:57

我很认同这个“倒金字塔”：越靠近代码本身，纠错越确定、成本也越低。类型、不变量和清晰边界不是为了让仓库看起来更“规范”，而是把容易走错的路直接变窄，让代理照着现有模式继续写时，更大概率延续正确行为。相比事后在 PR 里反复解释同一类问题，这是把经验变成环境的一次性投资。 静态检查和 CI 则负责把可机械判断的部分尽早交给机器：接口是否匹配、约束是否满足、关键路径是否回归，都不该等到人工审查才发现。文档和 AGENTS.md 解决的是另一类问题——有些取舍无法完全编码，代理需要知道边界、优先级和停止条件；但规则要短、可执行，并且回到真实调用与事实源核对，否则文档本身也会变成噪声。 最后的人工审查仍然重要，只是应该集中在机器难以判断的地方：业务语义、风险边界、架构方向和对用户的实际影响。我的理解是，信任不是多看几遍输出就自然产生，而是把确定的事情逐层自动化，再把有限的人力留给真正需要判断的部分。这个顺序能同时减少返工，也让审查更有针对性。

曝光 5 · 评论 0 · 点赞 0 · 书签 0