comments: state the constraint, drop the citation — docs/spec, scripts, .github, cmake and tests (refs #792) - #797

Merged

Yaraslaut merged 6 commits into

comments-second-pass

Sep 24, 2026

Commits on Sep 23, 2026

docs/spec: state the constraint, drop the citation

Yaraslaut
and
claude
committed
eb15fae
examples: delete the forge annex, which the ladder no longer has a slot for

Yaraslaut
and
claude
committed
e6ad077
examples: delete FINDINGS.md, which now duplicates four live homes

Yaraslaut
and
claude
committed
5d8443c
scripts+.github+cmake: gate comments that state what the gate measures, not which ticket asked for it

Yaraslaut
and
claude
committed
155b12c
tests: comments that say what the case proves, not which ticket asked for it

Yaraslaut
and
claude
committed
cce50e8
coverage: repoint seven allowlist line hints the comment cleanup moved

Yaraslaut
and
claude
committed
db4e47c