Observable, readout, and statistical error ledgers

Independence and fresh apparatus preparations are additional repeated-experiment hypotheses. One-shot correctness does not establish them.

For the benchmark of Section sec:benchmark, a nonvacuous schedule is

Then (eq:sample) is at least ${\Delta }_{\sin }/2$. This schedule is attainable only if the separately supplied readout and preparation error floors permit its allowances.

mixed-metric channel ledger. The profile theorem provides a referenced packet-channel estimate. The local theorem provides an effect expectation estimate. The latter is not inserted into a coherent-transfer or recovery diamond-distance budget. No coherent local scalar access channel has been constructed here.