Conclusion

The calibrated reference-sensitive certificate remains

Calibration failure risk is included in $\alpha$, and the transfer allowance $b$ remains outside the square root.

The supplied script report records coverage of $140/140$ simulated datasets. It supplies a useful arithmetic and model diagnostic, not laboratory calibration or a new proof of uniform coverage. At 40 shots per setting, no dataset can meet the reported $0.1$ threshold. The reported zero invalid acceptances must be read in that nonaccepting regime.

The paper certifies a fixed implemented decoder under a stated contract, not its optimality, and keeps written proofs, supplied computational evidence, and prospective laboratory measurements separate.