Abstract

We give a single finite certificate for successive destructive clock readouts, conditional instruments, regular transport, and declared releases on the conical host retained from I-B and X-A-ST. The certificate records the live quantum names at every cut, all accessible classical controls, the provenance of each new clock encoding, and every communication needed before a record can control a remote operation. Its semantics is one complete instrument on arbitrary reference-entangled inputs, with all failure histories and declared surviving outputs retained.

The main assembly theorem supplies the complete history law, Kraus completeness, scheduled causal containment, and separate laboratory, returned-storage, and external-reference ledgers. For matched adaptive trees, complete-channel errors admit a worst-path bound rather than a sum over mutually exclusive branches. A two-readout, two-route example gives an explicit nonempty realization, a failure probability of $1/4$, and a complete referenced output formula, subject to an explicit fit inside the existing register and time reserve.

Several necessary corrections are part of the result. Fresh quantum names do not imply statistically independent clocks. A trace-distance estimate at one tested input is not a diamond-norm estimate. Releasing a register does not erase its storage cost, and a joint output formula does not deliver a record to a distant controller. The novelty claimed is the audited assembly of these requirements, not a new general instrument or channel-composition theorem. Its prospective use is to make finite multi-instrument continuations checkable without concealing consumed inputs, memory, failures, or external timing.

The host, supported chart, signature ledger, regulator, and fixed positive width are unchanged. No continuum acquisition, convolution repair, interacting quantum BRST differential, characteristic quantum coefficient, ultraviolet completion, or spacetime emergence is constructed. In particular, the composed instrument does not provide quantized relational time without an external clock or external scheduling time.