NIST finalised FIPS 203 (ML-KEM), FIPS 204 (ML-DSA), and FIPS 205 (SLH-DSA) on 13 August 2024. CNSA 2.0 sets exclusive-use deadlines for quantum-resistant algorithms from 2030 to 2033 across National Security Systems. NIST IR 8547, an initial public draft published 12 November 2024, proposes deprecating RSA and ECDSA after 2030 and disallowing them after 2035. The algorithms are arriving. What has not kept pace is the ability to prove that a given implementation delivers the