Remark: What the theorem does not infer

The transfer allowance is outside the square root. The theorem is joint frequentist coverage, not

It bounds one declared implemented decoder channel. Its lower bound does not exclude every decoder.

An incorrect access description can invalidate the boundary interpretation even when the logical channel itself performs well. The statistical data do not prove the access audit, CPTP interface, calibration event, or independence assumptions.