Current release hardening
The current source is the 0.20.0 pre-1.0 candidate. Read COMPLETION_SCOPE_0.20.0.md for its exact numerical and platform contract.
Targeted fresh evidence records the integrated FPIF resource regression, allocation/lifecycle closeout and reviewed numerical boundary matrix. Their source and test identities are retained in evidence/ and their review documents. The separate final qualification bundle records the complete compiler, consumer, sanitizer and timed fuzz runs actually performed for this candidate.
Run QUALIFICATION.md to reproduce those checks from a clean extraction. Inspect failures, omitted scopes and source snapshots rather than treating a source-only audit as compiled execution. External replication and independent mathematical review remain open promotion obligations.
Historical hardening reports retain their original dates and scopes under docs/history and the versioned audit documents. They do not substitute for fresh execution against changed source.