Assumption: Bounded-score bridge

Conditional on a declared calibration record $\mathcal{Z}$:

1. each $n_k\ge 1$ is fixed before validation data are read;

2. scores within coordinate $k$ are independent and have a common mean $m_k$;

3. on an event $G$, with failure probability at most $\beta$,

   $$|w_k-a_k{m}_k|\le b_k\text{for every }k.$$

All outcomes, losses, rejections, and failure flags have a predeclared score. No successful branch is substituted for the complete attempted-run law.