AUDIT — Haec release gate

The release-audit gate. Ground-truth by running the tools.

Check	Command	State 2026-06-22
Examples lower to valid IR	`just check` (`bash tests/check-examples.sh`)	PASS (3/3)
Round-trip through the checker	`just haec-roundtrip` (needs sibling trope-checker)	PASS (verdicts + witness match)
Design artefacts present	grammar.ebnf, elaboration.adoc	PASS

Out of scope for this gate (deferred, named)

The compiler (compiler/STATUS.adoc), the LSP (lsp/STATUS.adoc), the runtime.
O2 lowering-correctness proofs (obligations stated, not yet discharged).
Inherited RSR-template machinery (just validate, the estate CI set) — template state, not Haec’s gate.

Built into the RSR-template scaffold on feat/trope-build; commits signed.