λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript VII-G@1 · VII-G.tex · section · 54f561e8

Resource accounting

An explicit resource-budgeted feedback witness › Resource accounting · lines 1944–1966

VII-G@1#eq:example-resource

Back to manuscript

Every active branch consumes one permission, regardless of the outcome. No measurement is attempted at . Consequently,

On an execution initially at , the number of source attempts after ticks is exactly .

One fresh pointer qubit suffices per active attempt. Retaining its readout consumes one additional classical history bit. The matter qubit is returned; the pointer is destructively consumed. Spectator storage is separate. These are resource statements, not an energy model for the measurement apparatus.

Displayed formulas in this passage

  • VII-G@1#eq:example-resource · line 1949