A proved calibration budget

Calibration assumptions must be in units that enter the overlap or channel bounds. Scalar entropy, energy, capacity, geometric, or gate-resource estimates do not supply those units without a conversion theorem.

Let $\mathcal{Z}$ be the training and calibration record. Suppose a calibration event $G$ satisfies

On $G$, the announced bounds below hold simultaneously. They may depend on $\mathcal{Z}$, but validation concentration must be valid conditional on that record.