Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · corollary · 39b16f67
Corollary: An imposed transition can be placed anywhere
Stage 1: two different finite calibration schedules › A single logical cell with an occupied-vacuum flag · lines 738–750 · proof included or linked
Hawk04-D@1#cor:arbitrary-schedule
Every nonincreasing sequence is realized by the pulses above. Thus a sharp leakage decrease near a chosen step is a realizable design choice, not a derived Page-time law.
Proof. When , take . After , later pulses can be trivial.