Complete scores, conditional trials, and allowances

The transfer allowance is added outside the square root. The result is frequentist joint coverage, not a posterior statement conditional on acceptance. It proves an error bound for one declared implemented decoder channel; a lower bound for that channel is not a lower bound for every possible decoder.

The construction follows the same finite operational architecture as the supplied Oai265-B and Oai290-A statements CheungOai265B,CheungOai290A. Their empirical reports and model interfaces are not copied as evidence for this experiment.