Archived
xcsandClaude Opus 5
04675e814d
评审变异实测三次逮到两个活洞:original_value 加一个 data-col 就能在验收 工单上篡改基准事实,63 条既有断言零告警;risk_level 同时是 substitution.relation 与 substitution.difference_item 两张表都声明的 字段名,「data-col 都在台账声明里」那条泛化断言按名字找归属,被这个撞车 巧合放过——它问的是「这个名字合法吗」,不是「这一格该不该可改」。 改成显式点名八个字段(明细表六列 + 收口两枚徽章),不再依赖泛化规则。 八次变异逐一验证:每个字段单独挂上 data-col 都能让新断言真红, risk_level 那次额外确认了旧的泛化断言在同一次变异下仍然全绿 (复现评审报告的根因)。模版本身未改一字——它一直是干净的。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LKMZDwMbyKzjw6Hembwvet