Manuscript IX-B-ST@1 · IX-B-ST.tex · section · f6af1523
Resources and complete error accounting
Scheduled locality and buffered reference-preserving transport › Resources and complete error accounting · lines 2153–2202
Let be the report length and a reserved lookup-work size. One may take . A conservative finite ledger is
The canonical full-matrix implementation can additionally destructively read the catalogue names; those readouts are charged if that extension is used. A truth table requires finite storage proportional to the number of entries and their chosen finite report precision. Exact arbitrary real amplitudes are ideal matrix inputs, not claimed to have finite hardware descriptions.
Counting each classical storage bit conservatively as a basis-state qubit carrier gives
External reference storage is declared separately and is not silently omitted from the complete correctness statement. If local preprocessing takes , buffering takes , and one history-copy stage takes , the route duration is
The supported time window is chosen to contain this finite duration.
Displayed formulas in this passage
unlabeled · line 2158
unlabeled · line 2187
unlabeled · line 2196