Declared resources and errors

A conservative preallocated reserve for the clock, station payloads, $b$-bit report reserves, lookup workspace, and one optional report probe is

Description registers, classical tables, references, supplier holdings, reset allowances, and returned outputs are separately included when present. The route uses $n$ register SWAPs and $n$ classical transmissions. Basis change, readout, lookup, buffers, and all durations are charged.

For compatible complete implementations,

This follows by telescoping channel replacement, diamond-norm contraction under channels, and the triangle inequality Watrous. Equation (eq:report) supplies one explicit table allowance. An arrival or failure probability is covered only if its record belongs to the compared complete output.

No table-generation algorithm, field detector, gate synthesis rate, or exact causality of a faulty implementation is inferred from (eq:error).