Master doc: docs/shaping/normative-ir-slices.md §V6 — authoritative for this slice's scope.
Demo: acs-ir verify .acs/envelopes.jsonl emits a conformance report — per-provision verdicts with the facts that witness each violation, scoped to the profiles the session actually negotiated, an unexercised MAY producing no verdict, and the non-testable and exclusion rosters printed rather than omitted.
Plan: (added when planned)
Amendments
Master doc:
docs/shaping/normative-ir-slices.md§V6 — authoritative for this slice's scope.Demo:
acs-ir verify .acs/envelopes.jsonlemits a conformance report — per-provision verdicts with the facts that witness each violation, scoped to the profiles the session actually negotiated, an unexercisedMAYproducing no verdict, and the non-testable and exclusion rosters printed rather than omitted.Plan: (added when planned)
Amendments