AGENT SKILL
design-audit
暂无简介
- License 许可
- MIT
- 所属仓库
- Nharu/cc-cmds
- 最近更新
- 2026-11-12
- Stars
- ★ 3
- Forks
- 1
02 资源文件 5
- 参考文档steps/step-01-gather-context.md6.3 KB
- 参考文档steps/step-02-review.md2.1 KB
- 参考文档steps/step-03-triage.md2.6 KB
- 参考文档steps/step-04-present.md6.2 KB
- 参考文档workflow.md2.0 KB
03 SKILL.md 正文
design-audit
Control-Flow Invariants
CFI-0 — Fixed constants
READER_COUNT = 3
CFI-1 — The freeze window
The worktree half is the gate's three scoped assertions — 2a, 2b, 2c, and
assertion 1 within the surface it declares, all as the contract defines them.
Do not re-derive them here, and do not gloss them.
Workflow
Custody: the creation record and the two boundary baselines live out-of-tree.
