约束宪章 (Constraint Charter)

约束宪章 (Constraint Charter)

"What I do instead is to surround the agents with extreme constraints." — Robert C. Martin, Jul 2026

dont-read-the-code（或不读代码协议）是立场，verification-gauntlet 是单次执行的引擎；本技能是持久化层：把审计目标与约束写成仓库里一份受版本控制的宪章文件，让门禁跨任务、跨会话、跨 agent 存续。约束不是聊天记录里的口头协议，而是软件本身的一部分。

宪章文件：GATES.md，置于仓库根（或用户指定处），提交入库。它是 agent 开工前必读、人类合并时唯一需要读的裁决依据。

Agent discipline

歧义仅问改查证路径者；已述/已决不重问；可自证则推进；须裁断则一次一问。立宪阶段的决策题必须一次一问、附推荐答案。

工作流

1. 立宪 — grilling 式拷问（阻塞，先于任何代码）

用 grilling 的方式一次只问一个问题、每题附推荐答案，逐条确立下列决策。事实自己查（语言、工具链、现有 CI），决策必须交用户拍板：

• 审计目标：这个软件"正确"由什么裁决？哪些路径是钱/安全/合规敏感路径（QA 详审级）？
• 验收语言：Gherkin 场景用什么领域词汇（词汇未定先跑 domain-modeling）。
• 数值约束，逐项确认阈值——每条约束必须是工具强制执行的数字，"写干净点"不是约束：
  • 圈复杂度上限（每函数）
  • 模块大小上限（行数 / 公共接口宽度，深模块词汇见 codebase-design）
  • 依赖方向（violations = build failure）
  • 覆盖率下限、变异分数下限（mutation score，这是"测试的测试"，是敢不读单测的依据）
• 读/不读矩阵的项目级例外（默认：实现与单元测试不读；Gherkin / QA / 指标报告读）。
• 已知不测清单：明确说出哪些东西有意不测、为什么。

2. 落章 — 写 GATES.md

宪章固定五节，全部可裁决、无形容词：

1. 审计目标 — 正确性的裁决者；敏感路径清单及其审查级别。
2. 约束表 — 约束 | 阈值 | 强制工具 | 强制位置(pre-commit/CI) 四列，一行一门禁。
3. 验收入口 — Gherkin 场景存放路径 + 人类必须评审/共同撰写的声明。
4. 已知不测清单 — 有意留白之处，逐条注明理由。
5. 修宪记录 — 每次阈值变更：日期、旧值→新值、决策人、理由。

可选：同时落盘 GATES.template.md 仅当用户要求模板可复用。