This file is a pointer. The authoritative test status lives in
audits/audit-trg-2026-04-13.md
§test-count snapshot. Refresh that table when tests are added;
do not duplicate the table here.
For TRG-D gate status (Canonical Proof Suite, proven programs, parser fuzz, M3 oracle, F7 diagnostics) see the same audit doc's §cross-cutting section.
For the Canonical Proof Suite specifically:
- Manifest:
audits/canonical-proof-suite/MANIFEST.a2ml - Live report:
audits/canonical-proof-suite/REPORT.a2ml - Status doc:
audits/canonical-proof-suite/STATUS.adoc
For benches, see crates/oo7-core/benches/.