More than just code review

Simon Willison 将 agent 改动验证拆成测试、类型检查、运行行为、日志和定向探针等互补证据，反对把逐行目测当成唯一安全网。这个视角把 code review 变成“证明结果符合意图”的问题，也解释了为何可见测试全绿仍可能遗漏组合行为。