Manuscript IV-B@1 · IV-B-v1.tex · section · dfb66408

Ledger and the boundary of the causal theorem

Certified transport and the precise locality statement › Ledger and the boundary of the causal theorem · lines 1827–1850

Back to manuscript

Object	Charged resource or status
Route	$m + 1$ registers of dimension $D$ , $m$ SWAPs, $m$ ticks, duration $L / c$ .
Consumed context	Dimension $2 d_{T}$ ; all its quantum names are removed from the output context.
Spatial rods	The three named $L_{1}, L_{2}, L_{3}$ factors remain.
Reference	Untouched; any external storage ledger remains external.
Represented field module	Infinite-dimensional ideal input; not priced as a finite-qubit program.
Energy, work, heat, reset	Not determined by the channel ledger.

For $D = 2^{p}$ , the route uses $(m + 1) p$ carrier qubits. Add clock and rod counts only for disjoint simultaneously live names; do not count one factor twice.

Nearby in this section

scope: Global apparatus boundary
section: Ledger and the boundary of the causal theorem