Manuscript En10-B@1 · En10-B.tex · section · a1105bad

Finite-model resource ledger

Resources and residual non-identification › Finite-model resource ledger · lines 1448–1517

The following schedule uses the admitted primitive library: CNOT, one-qubit propagators, CZ, the exchange propagator of (eq:exchange-H), fresh allocation, classical finite random selection, and destructive Enter.

Receive $J$ , name it $N$ , allocate $A$ in $0$ , and apply the preparation CNOT.
Draw the independent hidden kick label and apply the two local kick propagators in parallel.
Apply CZ.
Allocate $E$ in $0$ and apply its exchange propagator with $A$ .
Enter $E$ , retain no exported environment outcome, and Enter $N, A$ to export the occupation word.

Resource	Declared finite-model ledger
Supplier input	One unknown source qubit $J$ per trial; no exact source-weight token.
Fresh laboratory qubits	One preparation qubit $A$ , one collision qubit $E$ .
Peak live laboratory qubits	$3 + s$ , with $s$ retained laboratory spectator qubits.
Coherent operations	One preparation CNOT, two local kicks, one CZ, and one two-qubit exchange propagator.
Coherent depth	At most four layers in this primitive library.
Destructive readouts	Three one-qubit Enter operations, of which two export data.
Random-kick controller	One classical $m$ -valued selector per trial; its law and independence are part of the supplier/device model.
Selector purification	If the mixed selector is realized coherently, its purification and storage must be counted separately; it is not free laboratory quantum memory.
Source purification	Supplier-side, inaccessible, separately accounted.
Validation shots	Predeclared $n$ , as priced by (eq:shot-budget) or (eq:discrimination-shots).
Classical records	All exported attempted-run records and calibration metadata. Failures are not deleted.
Classical processing	Counts, the nominal estimator, or the predeclared compatibility set. No quantum-return output.
Physical apparatus	Not constructed by this primitive count. A positron source, encoding, detector, and physical matching certificate remain separate.

A coherent preparation of the random selector from prescribed amplitudes is itself a resource. An unknown nuisance law cannot be acquired exactly merely by naming those amplitudes.