Reproducibility Artifact for Dependency-Preserving Certified Correctness Bounds for ML-KEM

This record contains the reproducibility artifact supporting the manuscript “Dependency-Preserving Certified Correctness Bounds for ML-KEM: Ideal Stratification, Fourier Anti-Concentration, and Independently Checkable Certificates.”

The artifact contains the frozen corrected V3 scientific source, certificate producer, independent JavaScript/BigInt verifier, independent C++ energy checker, reduced differential cases, mutation and malformed-certificate tests, 11 locked scientific outputs, reproduction documentation, and accepted sanitized macOS benchmark evidence.

The artifact supports a conditional correctness-bound analysis for the average FIPS 203 failure experiment under the abstraction and runtime semantics stated in the associated manuscript. It does not claim the exact or true ML-KEM decapsulation-failure probability, proof of the published heuristic exponents, unconditional independence of fixed SHAKE outputs, embedded-device performance, energy efficiency, universal portability, peer review, external mathematical validation, or machine-checked proof.

Artifact version: 1.0.0.
Associated manuscript prepared for submission to Designs, Codes and Cryptography.