The candidate v4.6 bundle vs the contract
07 cmb operational closure planck pipeline
We dump the candidate v4.6 synthetic bundle and run it through the validator: The result is exactly the audit Stefan asked for: [formula in source] hard checks pass; the six that fail are the v4.6.3 audit gap and they are the gap by design:
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/archive--tfpt-45--07_cmb_operational_closure_planck_pipeline/sections/003-section-stage-2-sky-realisation-four-modes-a-b-c-e.tex · lines 337 to 375
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v46_grand_mass_volume.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred