Manuscript X-K-ST@1 · X-K-ST.tex · definition · 93c39c0f
Definition: Fresh or separately supplied clock input
Finite interfaces, fresh clocks, and complete memory › Classical–quantum cuts · lines 375–396
X-K-ST@1#def:fresh
At a clock-readout node, the clock factor must be present in the live input context. Its provenance is one of:
a new allocation with a specified preparation;
a previously installed, still unconsumed supplier factor;
a new output factor of a separately declared preparation or restoration channel on available inputs.
The measured quantum names are removed at readout and never become available again merely by reusing their spelling.
A later allocation in the same physical memory slot receives a new logical name and requires a new preparation permission. It is not a second measurement of the old input.
A restoration claim includes its actual input access, output factor, correctness domain, errors, and resource costs. No universal restoration of a destructively consumed unknown clock is assumed.