Manuscript VII-E-ST@1 · VII-E-ST.tex · section · d28d9c5d
One explicit storage ledger
Typed locality, physical containment, and transport › One explicit storage ledger · lines 2307–2344
For the two-step one-qubit model, with all route payload sites reserved in advance:
Source pointers and audit pointers need not coexist with the two-qubit audit clock, so a sufficient quantum laboratory peak is , before any optional event-code carriers. A sufficient classical reserve is , with the sender controller and history included in its route code.
If the reversible four-face code is also represented by live quantum carriers, add
qubits while that circuit is live. Its retained history is not uncomputed. Spectator and external reference storage are charged separately.
These are stated reserves, not optimality or thermodynamic claims. Local source gates and final audits have separately allocated positive durations. The departure time is after the necessary local preparation and clock readout.
Displayed formulas in this passage
unlabeled · line 2311
unlabeled · line 2332