不变量

如何终结逐行代码审查：一份分步指南

Aviator 团队发文介绍他们产品 Aviator Verify 里的一套代码审查做法：让 AI 负责验证，人类负责决策。原来很多团队把 AI 代码审查用反了——让模型逐行读代码、判断改得好不好，人只扫一眼就点通过；问题是模型不知道你们团队的规矩，也没参与之前的决策，更无法为结果负责。他们的办法是：把团队一贯的规则写成“不变量”，把这次改动的目的和验收标准从 AI 编程会话里自动提取出来，连同关键决策、测试计划和运行环境中的证据一起打包，最后交给人来批准或打回，人看的是“为什么改、怎么改、有什么证据”，而不是逐行看代码。文中提到可以开免费账号生成团队的不变量，即使之后不用 Verify 也能保留；但具体定价、正式开放时间等信息文中未说明。