Master doc: docs/shaping/normative-ir-slices.md §V4 — authoritative for this slice's scope.
Demo: A PR against the pinned spec that (a) adds a sentence containing MUST with no marker and (b) deletes a marked provision without tombstoning its ID fails CI, and the comment names both — the unmarked statement with file:line, and the ID needing a tombstone.
Plan: (added when planned)
Amendments
Master doc:
docs/shaping/normative-ir-slices.md§V4 — authoritative for this slice's scope.Demo: A PR against the pinned spec that (a) adds a sentence containing
MUSTwith no marker and (b) deletes a marked provision without tombstoning its ID fails CI, and the comment names both — the unmarked statement withfile:line, and the ID needing a tombstone.Plan: (added when planned)
Amendments