Manuscript Hawk05-A@1 · Hawk05-A.tex · section · 449f85bb
Passive accumulation has monotone recovery
An explicit conserving transfer schedule › Passive accumulation has monotone recovery · lines 1261–1268
If earlier accessible quantum factors are destructively measured, edited, or lost, the required marginal relation can fail. The proposition does not silently preserve factors that the program has consumed.