任何写过代码并在几分钟后回顾的人都知道这种感觉：差异对比看起来没问题。当然没问题。因为阅读这段代码的人，正是刚才说服自己接受每一行代码的同一个人。命名之所以合理，是因为意图在记忆中仍然清晰。使用快捷方式之所以显得正当，是因为其理由仍停留在工作记忆中，未经审视。
这正是“冷上下文审查者”旨在解决的问题。
核心理念
在我为开发游戏而构建的框架中，每一次变更都要经过一个审查步骤，由一个对编写代码过程毫无记忆的崭新模型实例来执行。它没有规划这次变更。它为这种方法进行过辩护。它没有感受到让某件事最终通过时的那种如释重负。它接收差异对比，并像陌生人一样，根据其本身的价值进行评估。
这种直觉古老且平淡，这也是我信任它的原因之一：作者会自我合理化；而冷静的审查者不会。刚刚完成工作的模型（或人）会对已做出的选择带有偏见。剥离掉做出这些选择的记忆，同样的错误就不再显得不言自明地正确。审查者无需捍卫任何东西。它只能关注实际存在的内容。
我想精确地阐述这一主张，因为它很容易被过度吹捧。这是一种纪律，一种架构选择。我不会告诉你它捕获了某个具体的、戏剧性的生产环境漏洞，因为我不会为了推销一个想法而编造事故。我能说的是其机制：冷审查能捕获那些作者自我说服所导致的错误类别——看起来合理的快捷方式、从未大声说出的假设、以及“显然”不会发生的边界情况。自我审查在这些方面结构性地表现糟糕，因为作者已经接受过它们一次。
适用场景
冷审查者只是其中一层，并非全部。它与其它几个基于同样不信任机制的组件并列存在：
- 基于角色的模型路由。更强大的模型负责判断阶段——规划、批评、评估——而更便宜的模型处理常规执行。审查者不是在给自己的作业打分，也不是为了速度而选择的同一量级的模型。
- 差分预言机。核心游戏逻辑被实现了两次，并遵守共享的不变量。当两种实现不一致时，至少有一个是错误的，我无需信任任何一方就能发现问题。
- 对每个不可逆操作设置人工批准关卡。部署和提交不会因为模型认为应该发生就发生。它们发生是因为有人批准了它们。这个关卡永远不会移动。
我从自主性阶梯的角度来思考整个事情，从 L0 到 L4——从完全手动操作向更多独立性过渡。冷审查者使得攀登这个阶梯变得合理可行。只有当其底层的验证不依赖于被验证对象自我担保时，更高的自主性才是安全的。
诚实地谈谈设置
具体来说：审查者是一个具有干净上下文窗口的独立调用。它不继承产生变更的对话历史。它获取差异对比和其所遵循的标准，并在人类看到变更之前报告结果。这就是它的形态。其价值不在于巧妙的提示词——而在于缺失的记忆。这种设置的存在是为了保证审查者从未积累起喜欢这段代码的理由。
这也是为什么我保持人工关卡不可动摇的原因。冷审查者是一个优秀的读者，而非权威。它可以标记问题；但它无权发布。
一个诚实的说明
我从事这项工作大约五到六个月了，此前我在专业厨房工作了大约六年，正在经历职业转型，没有计算机科学学位
免责声明：本文内容来自互联网，该文观点不代表本站观点。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，请到页面底部单击反馈，一经查实，本站将立刻删除。
