Manuscript En10-A@1 · En10-A.tex · section · 0a1d7743

Computational ledger

Resource, estimation, and residual ledgers › Computational ledger · lines 1367–1424

The following counts refer to the declared primitive library: single-qubit rotations, $CZ$ , controlled rotations, CNOT, fresh allocation, and destructive Enter. They are not counts in a synthesized hardware gate set.

Resource	Declared quantity or boundary
Data input per shot	Two supplied qubits, $N, A$ .
Fresh laboratory ancilla	One environment qubit $E$ per shot.
Peak live laboratory qubits	$3 + s$ , if $S$ consists of $s$ retained laboratory qubits.
Coherent operations per shot	Two one-qubit rotations and three two-qubit operations.
Coherent gate depth	At most four layers: parallel local responses, $CZ$ , controlled rotation, CNOT.
Destructive readouts	Three one-qubit Enter operations: one unexported environment outcome and two exported data outcomes.
Readout rounds	Two rounds if the two final data readouts are parallel.
Quantum data output	None. Previously retained spectators remain; they are not measured-data returns.
Shots	The predeclared $n$ , satisfying the selected confidence budget.
Sequential laboratory allocations	$n$ fresh environment names and $2 n$ supplied data names.
Classical record	Two exported bits per shot. A complete histogram contains four counts summing to $n$ .
Classical inference storage	The declared estimator needs the integer count $K$ ; the complete histogram may also be retained.
Supplier preparation	External and not priced by the laboratory gate count. Any source purification is inaccessible and separately held.
External reference	Included in correctness comparisons. If physically laboratory-held, its storage must be added to the laboratory ledger.
Primitive measurement apparatus	Not microscopically constructed or thermodynamically priced. Enter is an admitted primitive of

Sequential reuse of laboratory capacity does not imply reuse of a consumed name or cost-free restoration of a physical device. No storage of all $n$ quantum inputs at once is assumed.