Revision and proof-obligation ledger

• Physical flux identification removed. Permanent capacity retirement is a bookkeeping operation, not a derived physical decoherence rate.

• Artefact scope corrected. Invariant failures are not caught as ordinary guard refusals. The denominator bound follows from capacity. Numerical fitting and sampling are not described as execution of a universal mathematical proof.