[AAASM-5529] ✅ (test): Bind quick-start enforcement claims to their proving controls - #317

Merged

Chisanan232 merged 9 commits into

mainfrom

v0.0.1/AAASM-5529/test/quickstart_drift_gate

Aug 13, 2026

Commits on Aug 13, 2026

✅ (test): Bind each documented quick-start claim to the control that proves it
Chisanan232
committed
cea703d
🔧 (ci): Run the claim-binding gate where a docs-only PR can reach it
Chisanan232
committed
91a8d50
🐛 (test): Gate whole sentences across the whole document, not fragments in a region
Chisanan232
committed
a3c5d6e
🐛 (test): Treat a fenced block as a paragraph break, not a space
Chisanan232
committed
d73c14c
🐛 (test): Normalise line endings before splitting the document
Chisanan232
committed
fd850be
🐛 (test): Invert the default — every sentence bound or allow-listed, no keyword filter
Chisanan232
committed
5765435
🐛 (test): Require a justification for every prose allow-list entry, and count occurrences
Chisanan232
committed
d4e5d7d
🐛 (test): Narrow the bare constant to bare tab labels, and reject sentences that turn
Chisanan232
committed
87b6786
🐛 (test): Flag "so" on polarity change, not adversativeness
Chisanan232
committed
2eb9924