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

Back to manuscript

At a clock-readout node, the clock factor must be present in the live input context. Its provenance is one of:

  1. a new allocation with a specified preparation;

  2. a previously installed, still unconsumed supplier factor;

  3. 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.

Nearby in this section