M1: prop:v143-first-zero-bound now states that delta is inherited from 320-bit v1.26 evidence, and K/kappa from 768/896-bit v1.25/v1.26 ingredients, with only small final gates replayed; the new gates use 1024/1280 bits.
M2: each limitation of the direct upper-energy formula in the live tex, COMPARISON.md and both logs is paired with the separate transfer formula’s frozen-trial floor |fhat(gamma_1)|/d = 6.650770877876…e-38, about 6.65e-38. This floor belongs to the formula, not the object; attainment is not asserted. No enclosure, verifier, historical artifact or other audit note is changed.
The exact correction patch, actual build report and styled HTML report are archived here. Build: 225 pages, 0 undefined references, 0 duplicate references, 0 overfull boxes. G2 and RH remain open.