AGENT SKILL
design-audit
暂无简介
- License 许可
- MIT
- 所属仓库
- Nharu/cc-cmds
- 最近更新
- 2026-11-12
- Stars
- ★ 3
- Forks
- 1
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.
