Reproducibility and assistance disclosure

Reproducibility and assistance disclosure

The clean supplement supplies exact policies, continuous cube/Gram certificates and reviewed standard-library verifiers. The accompanying methods supplement also includes the finite-menu and physical-resource checks, with exact arithmetic distinguished from floating diagnostic comparisons. Exploratory generators, historical outputs and audit receipts remain in the separate research-preservation package; they are not required to verify the supplied mathematical certificates. Numerical solvers propose objects only; final interval/rational verification establishes the reported bounds. AI assistance was used for review and computational checking.