X-K-ST: Certified composition of destructive clocks and finite instruments Complete histories, causal record delivery, and resource bounds on the unchanged prescribed conical Enter spacetime

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.

release{ A finite, well-typed, resource-fitting instruction certificate defines one complete finite instrument.

This is a theorem about the declared finite interface. It is not a theorem that every finite tree fits an already fixed laboratory, that clock inputs can be reused after consumption, or that a finite channel determines a continuum evolution.

External preparation, calibration, locations, durations, and causal routing remain inputs.}

The predecessor records already contain destructive clock instruments, reference-preserving routes, and finite adaptive composition patterns. In particular, X-I-ST explicitly permits a finite adaptive tree with fresh or separately returned clock encodings XIST. X-J-ST combines selective coefficient reports with complete instruments and error margins XJST. It would therefore be incorrect to advertise X-K-ST as the first proof that finite instruments compose.

The narrower contribution is an assembled certificate with all of the following data present at once:

1. the types before and after every destructive readout;

2. the provenance of every subsequent clock input;

3. the complete public history and the distinction between public outcomes and unobserved Kraus indices;

4. the actual memory and retained residuals;

5. the causal delivery of every remotely used classical code;

6. a branchwise occupancy and storage ledger;

7. a complete-channel comparison on matching interfaces;

8. an explicit fit inside the unchanged host reserve.

The source comparisons are I-B, En09-A, X-Enter-ST, X-H-ST, X-I-ST, and the supplied X-J-ST development IB,En09,XEnterST,XHST,XIST,XJST. They are documentary precedents, not unexamined theorem premises. The finite formulas needed here are stated and proved below.

The background host and operation permissions are nevertheless explicit assumptions. Calling a citation a separation does not remove a hypothesis actually used in a proof.

The supplied introductory essay distinguishes four interfaces and interpretations EnterPhilosophy:

1. destructive readout is not quantum recovery;

2. a classical record is not a quantum-return decoder;

3. a channel is not a thermal machine;

4. an analogy is not an identification.

Here destructive readout consumes a measured quantum name from the accessible quantum output and returns a classical code together with unmeasured surviving systems. This is a statement about access and output type. It is not physical annihilation of every implementing degree of freedom.

We adopt specified Born semantics. We do not rederive the class-relative characterization of Manuscript I from an abbreviated hypothesis list EnterI. In particular, record probabilities and complete residual instruments remain different comparison targets.

The mathematical setting of instruments, finite channels, and sequential networks is established DaviesLewis,Watrous,CDP. No priority claim is made for Kraus composition, partial trace, or the channel-error telescope.

First, a fresh clock means a new admissible live input name, not a statistical independence hypothesis. Correlated clock supplies are allowed when their joint preparation and storage are declared.

Second, an error theorem must distinguish:

The latter does not imply the former.

Third, no-enlargement is a resource-qualified assertion. Finiteness alone does not prove that a protocol fits a previously fixed capacity or time window. The certificate must pass those checks before a host-level realization is released.

Retain the I-B/X-A-ST instance, including its deficit, time orientation, supported developing chart, regular laboratory reserve, time calibration, and finite-operation permissions.

In the inherited conical coordinates,

where $0<\alpha <1$ and $c_{\mathrm{h}}>0$ are fixed. The completion defect is the worldsheet

The independent analytical completion and supported chart are

The retained compact laboratory reserve is contained in $\iota (\mathcal{L})$ and is disjoint from $\mathcal{W}$.

Retain the same smooth switches and fixed positive width:

and the same declared plateau and regulator prescription. No regulator profile or width is changed in this manuscript.

Every global free field equation and Green operator, if used in a predecessor comparison, belongs to $\hat{M}$, not to the regular conical product. The present instrument construction uses no Green operator.

This is a prescribed spacetime with a finite operational interface, not a spacetime reconstructed from records IB,XAST.

The regular conical product is not globally hyperbolic. The finite instrument construction does not require a global conical inverse.

Proof. Fix a radial ray, $r_0>0$, and $z_0$. For $A>r_0/c_{\mathrm{h}}$, the causal diamond between $(-A,r_0,{\phi }_0,z_0)$ and $(A,r_0,{\phi }_0,z_0)$ contains

The sequence approaches the excluded apex and has no convergent subsequence in ${\mathcal{M}}^{\circ }$. The diamond is not compact.

Every new calculation below concerns finite-dimensional operators and explicitly located finite ports.

The retained laboratory supplies a declared spatial and time reserve, permitted port operations, and capacities $Q_{\mathrm{res}}$ for simultaneously occupied laboratory qubits and $B_{\mathrm{res}}$ for classical storage.

A finite protocol fits when:

1. all its ports and certified paths lie in the retained regular reserve;

2. all operations, waits, preparation accesses, and communication durations lie in the supplied time window;

3. its cut-by-cut occupancy and storage counts obey the retained capacities;

4. its gates, allocations, releases, and communication maps are among the declared permissions;

5. every control record reaches its control port before use.

If a capacity is not specified numerically in the retained instance, the certificate states the required inequality rather than asserting that it has passed.

Classical geometry may be prescribed by real parameters. This does not assert finite-bit physical calibration of arbitrary real numbers.

A cut with finite public history set $H$ and branch spaces ${\mathcal{H}}_h$ has algebra

A state is a family of positive blocks $({\rho }_h{)}_h$ with ${\sum }_h\mathrm{Tr}{\rho }_h=1$. Equivalently, it is the block-diagonal operator

The quantum names in ${\mathcal{H}}_h$, their locations, and their ownership are part of the cut specification. Histories may have different live spaces. Direct sums keep those types distinct.

Whenever a full matrix extension is needed, the specified extension first pinches between the classical history sectors. It does not interpret a coherent superposition of controller histories as an ordinary classical control.

An untouched reference $E$ has no execution or communication wire. All channel identities below hold after tensoring with ${\mathrm{id}}_E$.

At a clock-readout node, the clock factor $C_v$ 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.

A new clock name may be correlated with other live systems through an explicitly specified joint preparation or encoder. Alternatively, a supplier may install several mutually correlated clock factors at the initial cut.

What is forbidden is an unspecified assignment of a joint extension from a reduced state, or access to a supplier or reference not present in the declared interface.

For instance, allocation of a fixed state ${\omega }_C$ is the channel

A correlated preparation is instead a named linear CPTP map

It is not introduced by writing an arbitrary state-dependent extension ${\rho }_S\mapsto {\rho }_{CS}$.

At a node $v$, a finite outcome set $A_v$ and finite Kraus families

are supplied, with

The public outcome is $a$, while $\mu$ is an unobserved Kraus index unless separately reported.

The selective map is

and the recorded node channel appends $a$ to the public history.

A failure is an ordinary member of $A_v$ with a complete continuation or a complete terminal output. An unavailable preparation or rejected task must have an explicit failure convention if it belongs to the released input domain.

Adaptive control may depend on the public history. It may not depend on an unobserved Kraus label or an unknown state through an undeclared nonlinear rule.

A release has one of three explicit meanings:

1. a register is returned as an output and thereafter is acted on by the identity;

2. a register is transferred to a named storage owner, with its subsequent storage ledger retained;

3. a specified subsystem is traced out at a declared output boundary.

A data-dependent surviving output is not omitted while the remaining marginal is called the complete output.

An independent fixed blank may be discarded after its decoupling has been proved. The discard does not establish a thermodynamic reset cost.

“Complete” means complete on the declared comparison boundary, including every declared survivor, record, and failure. It does not automatically mean access to every microscopic environment in a possible physical implementation.

Let

have a specified orthonormal basis $\{|{\tau }_k⟩{\}}_{k=0}^{2^q-1}$, and put

The calibrated basis change satisfies $B_C|{\tau }_k⟩=|k⟩$. Define

Equation (eq:oneclock) is CPTP and equals

on every input operator. For every reference extension,

For a state $\rho$, the $k$-block is

Its normalized conditional state is ${\sigma }_k/p_k$ only when $p_k>0$. No normalized state is assigned to a zero block.

The output quantum context contains $S$, not the measured names in $C$.

Proof. The recorded Kraus maps are

This proves complete positivity and trace preservation. Expand

Both formulas return the $kk$-block. Their sum is ${\mathrm{Tr}}_{C}X$, proving (eq:drop). Replacing $I_S$ by $I_S\otimes I_E$ proves the reference statements. The output type gives consumption.

This local calculation restates the I-B/En09-A pattern IB,En09; it is not an independent verification of those entire manuscripts.

The clock channel has no left inverse on all clock inputs. No fixed continuation supplied only with that output and input-independent new resources can universally restore the consumed unknown clock.

Proof. For a fixed surviving state ${\rho }_S$, the two inputs

are different and have identical outputs. Every fixed continuation gives identical outputs on identical inputs, so it cannot restore both.

This excludes a universal inverse on the full input space. It does not exclude recovery on a separately declared restricted code with additional accessible side information.

Every local CPTP map leaves the unconditional marginal of an untouched reference unchanged. That property alone does not establish preservation of correlations between a message and the reference.

The route theorem below proves the stronger identity on the complete payload–reference state. The destructive clock does not preserve arbitrary coherences between its measured outcomes.

Equality of clock record laws does not determine equality of surviving quantum outputs.

Proof. Inputs $P_0\otimes {\rho }_S$ and $P_0\otimes {{\rho }^{\prime }}_S$, with ${\rho }_S\ne {{\rho }^{\prime }}_S$, have the same deterministic record and different surviving outputs.

Choose a straight developed spatial segment of length $\ell >0$ inside the retained convex regular tube. For $n\ge 1$, set

At station $j$ install an equal $p$-qubit payload register $A_j$. Prepare $A_1,\dots ,A_n$ in independent blanks $\omega$, independent of $A_0$ and every reference.

Fix a supplied developed speed parameter $0<\upsilon \le 1$. At hop $j$, apply the permitted tick-boundary SWAP between $A_{j-1}$ and $A_j$, over developed duration

The cross-port dependencies have the specified straight future-causal routes. Same-station dependencies are future timelike.

For every input ${\rho }_{A_{0}E}$, after hop $j$ the complete route state is

The logical payload channel is the identity, including all reference correlations. All non-output route registers are fixed independent blanks.

With departure at $t_{\mathrm{d}}$, arrival is

For $\upsilon =1$, the cross-port paths are null. For $\upsilon <1$, they are timelike.

Proof. A SWAP moves the entire current payload, including its reference correlations, into the next independent blank and leaves the old factor blank. Induction proves (eq:route). Each spatial displacement has length $\ell /n$ and duration $\ell /(n\upsilon )$, so its developed slope is at most one. The supplied calibration (eq:signature) converts the duration into host units, giving (eq:arrival).

The route is the target-adapted I-B/X-Enter-ST mechanism IB,XEnterST. It is not exact arbitrary-null attainment on an independently fixed lattice. The different lattice-family contract of En08-B remains a comparison En08B. No continuous-time microscopic Hamiltonian for a spatially separated SWAP is derived.

A record $R$ can be included in $E$ when proving (eq:route). This proves preservation of its correlations with the transported payload. It does not move $R$ to the receiver.

For a diagonal classical register, copying has the canonical channel

On a classical–quantum input it preserves the full correlation with the quantum residual while creating a new classical copy. Delivery of that copy requires a separately permitted causal wire.

A conditional operation at a receiver may use a code only after:

1. a copy or transport map for that classical code has been specified;

2. its actual communication path and storage are included in the certificate;

3. its arrival precedes the control input in the external event order.

Otherwise the purported adaptive operation is not a host-realizable instruction.

The alternative is to perform the controlled operation at the sender before departure, or to include the record in the transported payload and charge the enlarged payload dimension. None is automatic.

A certificate consists of:

1. a finite rooted tree of public outcomes and a finite quantum-name context at every node;

2. each node instrument of Definition def:node, with all allocations, memory, routes, releases, and classical controls included;

3. the provenance of each clock under Definition def:fresh;

4. every input, returned output, stored register, failure flag, and declared discard;

5. a timed port graph satisfying Definition def:readiness;

6. the branchwise occupancy, storage, operation-count, and duration ledgers;

7. any ideal–implemented comparisons on explicitly matching interfaces.

Every leaf has a complete output convention.

The tree is indexed by accessible classical outcomes. It is not indexed by hidden environmental information. A public failure may terminate immediately or continue with a declared recovery or reporting branch.

Let a leaf public history be $a=(a_1,\dots ,a_m)$, with path nodes $v_0,\dots ,v_{m-1}$. For its Kraus refinement $\mu =({\mu }_1,\dots ,{\mu }_m)$, define

Each product is between its stated successive spaces. The fine index $(a,\mu )$ is not necessarily a list of physically observed outcomes.

Every certificate of Definition def:certificate defines the complete history channel

It is CPTP, including every untouched reference.

For a finite reported label $y=g(a)$, the selective output is the sum of the corresponding leaf blocks. Every failure leaf remains in that sum or in an explicitly retained failure class.

The construction uses no consumed quantum name as a later input.

Proof. At a leaf, the remaining channel is the declared terminal output map, which may be included as a final node. Suppose every child continuation is complete. Pull its Kraus completeness identity back through the parent maps:

Backward induction over the finite tree proves the second identity in (eq:completehistory). The first expression is therefore completely positive and trace preserving.

Tensor each path map with $I_E$; the same completeness calculation proves the reference statement. Classical coarse-graining sums CP blocks and preserves their total trace. The declared failure convention excludes omitted leaves.

The type checks and Definition def:fresh prevent any later factor from referring to a consumed name.

A single Kraus path map per public history is generally insufficient for mixed preparations, discarded systems, or non-rank-one instruments. The sum over $\mu$ in (eq:completehistory) is essential.

For a nonadaptive list of complete stage channels, with the full history and memory included in the successive spaces,

the complete channel is

For compatible cut indices $i\le j\le k$, define

Then

This is an operational channel identity between specified cuts.

A readout of $C_1$, a new supply ${\mathcal{E}}_2$, and a readout of $C_2$ can occur in a product such as

By contrast, ${\mathcal{M}}_C{\mathcal{M}}_C$ is not well-typed on the destructive interfaces. The first map has no quantum $C$-output En09.

Let $C_1,\dots ,C_m,S$ be supplied jointly at the initial cut, with no independence assumption. For successive destructive readout in the specified bases and no intervening coupling, the complete channel is

Discarding every record gives ${\mathrm{Tr}}_{C_1\cdots C_m}X$, including all references.

Proof. Apply Theorem thm:oneclock to different live factors in succession. The resulting Kraus bra is $D_{\mathbf{k}}$. Summing its diagonal blocks gives the joint partial trace.

The joint law is not generally the product of the individual clock marginals. For example,

have identical one-clock marginals and disjoint two-clock record laws. Their joint record TV distance is one.

Two adjacent instructions acting on disjoint live factors, with no control or shared-resource dependency, may be interchanged without changing the complete channel, after the fixed output permutation.

This equality does not assert equality of their physical schedules or peak-storage ledgers.

Proof. The two maps have tensor forms ${\Phi }_A\otimes {\mathrm{id}}_B$ and ${\mathrm{id}}_A\otimes {\Psi }_B$, whose compositions agree. Classical outcomes are retained in their respective factors. Occupancy and timing are separate data and can differ between the two schedules.

This is finite schedule algebra, not a reconstruction of the prescribed cone En08A.

Let $c$ range over all semantic cuts of all branches. For each declared qubit register $A$, let $q(A)$ be its qubit count and $1_c(A)$ indicate whether it is live and laboratory-owned at that cut. Define

Reserved accessible blanks count when they are allocated and held. Preinstalled supplier factors count from their actual supply time, not only from the moment of use.

Returned registers and remote supplier holdings have their own storage function $Q_{ret/sup}(c)$. The untouched reference ledger is

when the reference consists of $q(E)$ qubits. A total convention, if desired, is

These are different ledgers, not interchangeable bounds.

A useful conservative specialization is

where the summands refer to disjoint currently allocated registers. If two roles use the same physical allocation at different times, the actual indicator ledger, not simultaneous double counting, determines the peak.

The cumulative clock supply count is separate:

It can be much larger than the maximum number of simultaneously live clock qubits.

The maxima in (eq:peak) are finite. A legal execution obeys the stated peak and storage bounds when every allocation, communication buffer, release, and returned output is included in its cut specification.

Proof. There are finitely many branches and finitely many cuts, each with finitely many finite registers. Their specified indicator sums are therefore finite.

Each allowed instruction changes the live-name and ownership lists by its declared input/output rule. Induction over an execution identifies the actual lists with the certificate lists at every cut. Their maxima are the asserted bounds.

This is accounting, not an energy, work, heat, or Landauer theorem.

Let

denote the retained metadata.

If a certificate passes Definition def:fit, its composition uses only its declared finite registers, ports, and operations inside the retained laboratory. Throughout execution,

In particular:

1. the conical deficit, metric, worldsheet, and chart are unchanged;

2. the host and analytical signature conventions and the time calibration are unchanged;

3. the width remains the same positive $\epsilon$, with the same regulator and switches;

4. no second cone, sharp-width limit, or global conical Green operator is introduced.

Proof. The command types act on finite register interfaces. None has a host-update or regulator-update output. By induction, every command leaves $\mathsf{H}$ unchanged. The location, timing, and capacity clauses of the fit contract guarantee that the finite register operations stay inside the supplied reserve.

There is no limiting operation in this argument.

A failed fit is a failed host-level admission of that protocol, not permission to enlarge the chart or increase a frozen capacity. This theorem does not claim that all finite trees fit one bounded reserve.

For a finite site set $X$, represent every controller, record buffer, and quantum memory at its actual site. For a fixed padded schedule, let the complete tick channel be

where ${\mathcal{B}}_s$ is a supplied partition. Inactive slots may be represented by placeholders, but those placeholders are not consumed quantum names available for later use.

For output sites $Y$, define

Outcome-dependent choices can be represented by controlled local channels. If alternative routes are padded into a common schedule, the dependency graph includes all possible active control wires.

The complete network satisfies

Equal input reductions on $N_{s,t}(Y)$ give equal output reductions on $Y$. For a conclusion involving an untouched reference $E$, equality is required on the joint ancestor–reference input reduction.

Replacing a complete channel outside the backwards dependency region cannot change the corresponding unconditional output, with the retained wiring fixed.

If every dependency edge has a certified regular future-causal host path, each scheduled ancestor lies in the prescribed metric past of the output.

Proof. A block disjoint from the pulled-back observable support acts on an identity factor. Its adjoint is unital, so that factor remains the identity. A meeting block enlarges support only within its own input interface. Backward induction proves (eq:locality).

Testing all output observables proves the reduced-state claim. Tensoring with the reference algebra gives the joint version. The same identity argument permits replacement of an excluded complete channel.

Concatenate the separately certified future-causal paths along each dependency path to obtain metric containment.

The same proof works directly on a finite acyclic port graph by reversing a topological order. This is the prescribed-support mechanism of I-B, En03-A, VII-E, and the complete-network comparisons IB,En03,VIIE,VIIJST.

Scheduled ancestry may strictly exceed actual influence. For example, two successive SWAPs on the same pair have cross-site dependency paths but total identity channel.

A cycle-averaged transport velocity does not certify every short-time dependency. A small Hamiltonian tail is not an exact causal cutoff. A small diamond error does not prove exact metric containment of an erroneous device.

The present exact ideal containment uses the supplied path of every actual ideal dependency.

Scheduler consistency does not select or rebuild a Lorentz cone En08A. No cone-classification theorem is used here.

For states and compatible finite channels use

The diamond norm includes arbitrary untouched references. Channel pre- and postcomposition are contractive in this norm Watrous.

Ideal and implemented stages must include the same compared histories, memory, residual outputs, failure flags, and ownership boundary. Padding, pinching, encoding, and final coarse-graining are explicit maps, not invisible identifications.

If a device has correlated memory, that memory belongs to the successive stage interface or to an enlarged declared process input. It is not an independent fresh per-stage error term.

Let

be matched compatible channel compositions. If

then

The same allowance controls every input–reference output state and every retained record marginal.

Proof. Insert intermediate compositions replacing one factor at a time. Each difference has one changed factor, with channels before and after it. Their diamond norms are one, so each contribution is bounded by the corresponding factor difference. Sum, divide by two, and use that half-diamond distance between channels is at most one.

Tensoring with a reference and applying to a state gives the complete trace-distance bound. Partial trace gives the record marginal bound.

This is the standard telescope also printed in the supplied I-B, En08-B, X-J-ST, and finite transport comparisons IB,En08B,XJST,Oai283. No independent synthesis or error estimate for a physical device is supplied by the telescope.

Consider ideal and implemented versions of the same finite public-outcome tree, with matched node and terminal interfaces. At each nonterminal node $v$, suppose its complete recorded node channels obey

Include terminal comparison maps as final nodes when needed. Then

An input preparation allowance is added once, before the tree. The bound does not require independent outcome laws.

Proof. At a leaf let the remaining error bound be zero. At an internal node define recursively

Let $C_{va},{\tilde{C}}_{va}$ be the complete continuations at its children. On the classical–quantum direct-sum output, the controlled continuation difference has half-diamond norm at most ${\max }_a{b}_{va}$.

Indeed, after adjoining a reference, a block-diagonal operator $Z={⨁}_a{Z}_a$ has ${\Vert Z\Vert }_1={\sum }_a{\Vert Z_a\Vert }_1$, and

The canonical pinching extension is trace-norm contractive, so the same bound applies on its full matrix presentation.

Insert the ideal node channel between the two complete node-plus-continuation compositions. Contraction gives the node error $e_v$, and the controlled-continuation estimate gives ${\max }_a{b}_{va}$. Backward induction proves the recursion. Its root value is the maximum root-to-leaf sum. Cap at one.

The comparison at a node is for its whole instrument, not an arbitrarily normalized successful branch. Replacing $\max$ by favorable outcome probabilities would require a separate justified estimate.

Fix a complete referenced input. Let ${\rho }_j,{\tilde{\rho }}_j$ be the ideal and implemented states on the matching successive interfaces. If

and $d_{\mathrm{tr}}({\tilde{\rho }}_0,{\rho }_0)\le a_0$, then

This is a bound for the specified input, not a diamond-norm claim.

Proof. At each step insert $({\tilde{\Gamma }}_j\otimes {\mathrm{id}}_E)({\rho }_{j-1})$ between the implemented and ideal next states. Contractivity bounds the propagated preceding error; the displayed hypothesis bounds the new term. Induct.

The same argument applies to a specified prepared clock-state error, provided the compared error is on its actual joint state with any correlated memory, not merely on the clock marginal.

Two channels can agree exactly on one tested state and have half-diamond distance one.

Proof. On a qubit, $\mathrm{id}$ and ${\mathrm{Ad}}_Z$ agree on $|0⟩⟨0|$. Their outputs on $|+⟩⟨+|$ are $|+⟩⟨+|$ and $|-⟩⟨-|$, which are orthogonal. Thus their half-diamond distance is one.

As a separate memory example, suppose an unreported classical memory bit $M$ is uniform. A device emits $M$ at two successive calls. Each one-call marginal is a uniform bit, just as for two independent fair coins. The two-call laws differ: the memory device returns only $00$ and $11$, while the independent device returns all four words. Their joint TV distance is $1/2$.

There is no zero-error second-stage comparison once the preceding record and the relevant memory are included. One-call marginal agreement cannot price the history channel.

If the complete ideal and implemented outputs differ by trace distance at most $e$, then the probability of any retained event differs by at most $e$. In particular, an event of ideal probability zero has actual probability at most $e$.

If two ideal record laws have gap $\Delta$, and their implementations have complete output errors at most $e_0,e_1$, then

Proof. An event is an effect on the compared output. The variational characterization of trace distance bounds its probability difference. For the second claim, take the record marginals and apply the reverse triangle inequality.

An arrival, timeout, or enclosure-status event is covered only if its actual flag and interpretation are part of the compared complete output. A logical payload bound alone does not certify an unobserved arrival flag.

Let ideal and implemented complete recorded states have trace distance at most $e$. For a retained event let its subnormalized blocks be $X,Y$, of probabilities $p,q$. Then

If $p>e$, then $q>0$ and

No uniform normalized-branch bound follows when $p$ can approach zero.

Proof. Group the record into event and complement. Contraction gives

The second norm is at least $|p-q|$, proving both $|p-q|\le e$ and ${\Vert X-Y\Vert }_1+|p-q|\le 2e$. When $q>0$,

Divide by two and cap at one.

None of these bounds validates a false supplied numerical enclosure. None is a finite-sample confidence statement. Such statements require a separate sampling and calibration model.

This section exhibits a nontrivial multi-instrument law rather than merely asserting that a tree exists. Its capacity requirements are stated, not inferred from finiteness.

Choose two regular ports $A,B$, separated by a straight developed distance $\ell >0$ in the existing tube. Let the available developed time window have length $D>0$. Choose $\beta >0$ and $\ell >0$ small enough that

and the whole segment and waiting worldlines lie inside the retained reserve.

Install:

• $p$-qubit payload slots $A_0$ at $A$ and $A_1$ at $B$, with $p\ge 1$;

• one clock qubit $C_1$ at $A$;

• a different clock qubit $C_2$ at $B$;

• four classical bits: the first record at $A$, its delivered copy at $B$, the second record at $B$, and the success/failure flag at $B$.

Prepare $A_1$ in $\omega$. The two clock qubits are initially supplied; neither is reused after measurement.

Use the following schedule:

1. read $C_1$ destructively in the computational basis during a local slot of duration $\beta$, returning $k$;

2. wait $\beta$, then SWAP the payload from $A$ to $B$ over duration $2\ell$; deliver a classical copy of $k$ along a parallel declared causal wire over the same duration;

3. at $B$, after both arrivals, apply $H^k$ to $C_2$ during duration $\beta$;

4. destructively read $C_2$ during duration $\beta$, returning $l$;

5. during duration $\beta$, apply

   $$W_{kl}={Z_1}^{k(1-l)}$$

   to the payload, where $Z_1$ acts on its first qubit; append the failure flag $f=l$;

6. wait $\beta$, then SWAP the payload back to $A$ over duration $2\ell$.

The route speed is $1/2$ in developed units. All cross-port paths are timelike.

The final quantum payload is at $A$. The first record remains at $A$; its copy and the other records remain at $B$. A later operation at $A$ depending on $l$ would require another classical delivery, which is not silently included.

Let $U_{\mathrm{back}}$ identify the transported payload back at $A$. For an arbitrary initial operator on $C_1{C}_2{A}_0$, define

The route identifications are understood; both are exact identities on the logical payload.

On the specified input and output boundary, the complete channel is

It is CPTP on every input operator and every reference extension. Both clock inputs are consumed.

For the particular supplied clocks

and arbitrary payload–reference state ${\rho }_{PE}$, the nonzero public probabilities are

The corresponding payload–reference blocks are

The failure probability is $1/4$, and the failure output is retained.

Proof. For each fixed $k$, summing over $l$ gives

while ${W_{kl}}^{†}{W}_{kl}=I_P$. Hence

The routes return the other payload slot in the independent blank by Theorem thm:route. Copying the already classical $k$ gives the displayed record duplication. This proves (eq:twoclock), including the reference version.

The first clock gives $k=0,1$ with probability $1/2$. If $k=0$, the second clock remains $|0⟩$. If $k=1$, it becomes $H|0⟩=|+⟩$, giving $l=0,1$ equally. Substitute the controlled payload gates.

If the retained permissions admit the listed local gates and wires, and the existing reserve satisfies

with (eq:timefit), then this is a nonempty two-readout, two-route host realization.

Its explicit quantum peak is $2p+2$. It uses two clock qubits cumulatively, two register SWAPs, and one delivered classical control copy. An external $r$-qubit reference costs $r$ on the separate external ledger.

Proof. Initially both clocks and both payload slots are live, giving $2p+2$. Clock destruction only decreases that count. No unpriced synthesis ancilla is required when the listed gates are the admitted finite primitives. The four retained record bits are the stated ones. Theorem thm:route and the timetable prove the location and duration fit.

The capacity inequality is not a claim that an arbitrarily small fixed laboratory can support this example. If it fails, the example is not admitted on that instance.

With per-operation complete-channel allowances, a valid comparison budget is, for example,

Theorem thm:error bounds the complete output difference by its sum capped at one. The actual failure probability then lies within that allowance of $1/4$, provided the failure flag remains part of the compared output.

For clock $C_v$, let distinct real labels ${\theta }_{v,k}$ be prescribed. The finite pointer operator

is not the coordinate function $T$ of the host.

For a readout at a fixed event $e$, suppose exact event-time calibration requires

Then at most one outcome has positive probability. A normalized exactly calibrated input exists only when one label equals $T(e)$; the corresponding outcome is deterministic.

For several fixed readout events, the same statement applies separately at each event.

Proof. Distinctness permits at most one matching label. Normalization then gives its probability one. If no label matches, normalization is impossible.

Nontrivial stochastic readout may instead use a history-event dictionary, or a classically selected reading event. In the latter case the event selector is itself part of the input and control certificate. This is the I-B distinction IB.

The identity (eq:typedcomposition) concerns external operational cuts. It does not prove that clock-conditioned matter states obey a common Schrödinger evolution.

The single-clock covariance interpretation in En09-A requires its preparation stationarity and clock-basis covariance hypotheses En09. Repeating a channel does not impose those hypotheses on subsequent prepared clocks or on their joint reference extensions.

There is also no finite canonical time commutator.

Finite matrices $T_C,H_C$ cannot satisfy

Proof. A finite matrix commutator has trace zero, whereas the right side has trace $i\hslash \dim {\mathcal{H}}_C\ne 0$.

This excludes that exact finite-dimensional relation. It is not a theorem excluding every possible clock observable or every future relational-time model.

A finite list of channel values at externally specified cuts does not in general determine the intermediate continuous-time family.

Proof. Take one co-located qubit and finitely many sampling times $s_0<\cdots <s_m$. The identity family agrees at those times with

where $\vartheta$ is a nonzero smooth function supported strictly between two successive cuts and chosen not always to be an integer multiple of $\pi$. At every sampled time $U(s_j)=I$, but ${\mathrm{Ad}}_{U(s)}$ is nontrivial at some intermediate time.

This elementary example makes no field-theoretic evolution claim. It only refutes determination of an unspecified interpolation from finite cut data, consistent with the separate XIX-C comparison XIXC.

8 remains open{ X-K-ST's destructive clocks on a composed finite route are not quantized relational time without an external clock.

Clock encodings, preparation, labels, locations, durations, and the operational schedule remain externally supplied. Consuming a clock does not consume the geometric time axis.

The release is a scope certificate for this finite construction, not a universal impossibility theorem for every proposed solution of Problem 8.}

Reference-preserving transport moves correlations already supplied; it neither copies an unknown quantum state nor attributes entanglement generation to the metric.

No action, field equation, gauge algebra, regulator, or admissible quantum-product domain is modified by the finite commands.

The three-tree packet of X-F/X-F-ST remains counted once at its original order. A second instrument does not create a second copy of a tree coefficient XFST.

The classical convolution witness $c_{\epsilon }>0$ and its frozen operator and gauge contract remain independent and unrepaired XConvST,XEnterST. A delivered report about that witness is not a new covariance identity.

The compact scalar moment constructed in the supplied X-J-ST development is not identified with the missing whole-algebra convolution reference XJST. Finite composition does not supply that identification.

The relative classical BV structure of X-H-ST and X-I-ST is a separate comparison object XHST,XIST. No interacting quantum differential, equation-space transport, or quantum master operation is imported into this register package.

The X-D-ST sharp-limit question is likewise untouched: there is no width-removal or metric-admission operation in the command grammar.

The plan's shorthand that H2, I3, and J2 remain unresolved needs a qualification already present in the supplied source material.

XIV-H's H2 verdict is a historical unresolved ending for its named internal amplitude requirement. XIV-I subsequently constructs the narrower I2 internal retarded-pole amplitude package. That progress is not withdrawn here. The full joint characteristic map at I3 and J2 remains unconstructed in the supplied records CharacteristicRecords.

Thus no full characteristic coefficient is admitted, and no downstream quantum-admission exit is opened. The technical existence of a manuscript called XV-B is not denied. Its reported lifting and extension interfaces do not supply the absent graph-specific map or its quantum admission XVB.

The conditional prepared-insertion obstruction of XVI-N remains in its stated class; its Route B is not discharged by this composition theorem XVIN. It is not a general prohibition of every prepared observable.

The statement

\texttt{\detokenize{O.1 = NOT_CLOSED}}

is retained for the XVI-O prescription and standing boundary supplied with the plan XVIO. It is not generalized into a denial of every version-qualified subsector result under a different counterterm domain or prescription.

The harmonic-coordinate descent, lapse, incidence, source-weight, and scheduled-duration records named in the plan concern different objects. A classical lapse or one represented effect is not the finite clock of this paper. The supplied comparisons to VI/VI-B, XIX-A/C, XX-A, Em02-E, En10-A/B, and the Hawk07-A description remain documentary, at the level of the supplied materials TimeNeighbours. No unsupplied full proof or version is invented.

Oai283-A and Oai212-A provide documentary examples of explicit transport allowances and externally calibrated timers; their target models are not this conical host Oai283,Oai212. Oai282-A's Ward certificate is not an instrument-composition theorem.

OpenAI Families 282, 362, and 376 are documentary comparisons only OpenAIRecords. No OpenAI family theorem, reported formalization, or catalogue verification is a premise of the present composition or error proofs. The Companion is a source interface, not a proof checker.

A released X-K-ST package consists of:

1. the retained host and regulator metadata;

2. a finite typed instruction certificate;

3. the complete public-history instrument with its Kraus refinements and all failures;

4. the actual clock-supply, memory, output, and release declarations;

5. causal control delivery and certified regular routes;

6. the occupancy, external storage, duration, and operation-count ledgers;

7. a resource and location fit, or explicitly stated unpassed fit inequalities;

8. matching complete-channel or state-specific error hypotheses, with the appropriate conclusions.

Only certificates that pass the host-level fit are called realized local Grade S experiments.

For the retained host of Assumption ass:host:

1. each declared destructive clock has the complete channel identity of Theorem thm:oneclock;

2. every finite well-typed instruction certificate has the complete adaptive history law (eq:completehistory);

3. no later quantum use of a clock follows from the consumed name or from its classical record;

4. the regular route is the identity on the entire payload–reference state, while remote use of a record requires its own readiness certificate;

5. every fitting certificate stays on the same host, chart, signature ledger, fixed positive width, and regulator;

6. the complete network obeys scheduled locality, and metric containment follows only from its separately certified causal edges;

7. matched complete-channel errors obey (eq:telescope) and the adaptive bound (eq:patherror); specified-input trace errors have only the qualified state-specific conclusion;

8. the explicit two-readout, two-route experiment has the complete law (eq:twoclock), the stated nonzero failure branch, and the proved finite resource requirements;

9. no classical obstruction, sharp-limit question, BV transport problem, or characteristic quantum admission is repaired by the composed instrument.

A resource-fitting instance with these data is local Grade S. It is not continuum field acquisition, not gravity-generated entanglement, not a Page curve, not ultraviolet completion, and not spacetime emergence.

In particular, it is not quantized relational time without an external clock or external scheduling time.

Proof. Theorem thm:oneclock proves (i). Theorem thm:compose proves (ii), and its type audit with Proposition prop:noreturn proves (iii). Theorem thm:route and Definition def:readiness prove (iv). Theorem thm:noenlarge proves (v). Theorem thm:locality proves (vi). Theorems thm:error and thm:adaptiveerror, with Proposition prop:stateerror, prove (vii). Theorem thm:twoclock and Corollary cor:examplefit prove (viii). Section sec:boundaries records precisely the non-interference in (ix).

The external-time limitation follows from the declared inputs and Section sec:time; no stronger physical identification appears in the construction.

The general instrument and finite-channel results are established mathematics. The scoped advance is a single auditable package tying their exact finite semantics to consumed names, causal record readiness, complete memory, actual occupancy, and a fixed host.

The worst-path error bound is useful when adaptive branches are mutually exclusive: it avoids charging all unused branches as if they executed together. Its force still depends on complete node comparisons and matched memory interfaces.

The package can serve as a finite operational layer for later supplied tasks. Its usefulness is that the interface refuses unsupported promotions: a later author must provide an acquisition channel, an interacting product, a physical time model, or a geometric identification separately.

A stronger successor must supply any additional construction it claims, rather than renaming $\mathfrak{C}$:

1. a physical continuum-to-register acquisition channel and complete comparison, if field acquisition is claimed;

2. an actual joint memory model, if stagewise marginal estimates are to be used;

3. resource and causal certificates for additional routes or readouts;

4. an externally independent time construction, if Problem 8 is to be advanced beyond this boundary;

5. the separate analytic and admission chain, if a characteristic quantum coefficient is claimed.

{@{}p{.36}p{.59}@{}} Potential overstatement & Correction
Potential overstatement & Correction

Finite adaptive composition is first proved here & X-I-ST already gives the skeleton. The present claim is the assembled typed, routed, resource-fitting certificate.

A new clock name is an independent random clock & Freshness is a type/provenance condition. Joint preparations may be correlated.

A consumed name can be restored by relabelling & A new output factor and its actual preparation or restoration map are required.

The record universally restores the clock & Two different clock superpositions have identical destructive outputs.

One path operator exists for every public history & General instruments require a Kraus refinement inside each public history.

Hidden Kraus labels may control later commands & Only declared accessible outcomes can select a continuation.

Single-clock marginals determine a multi-clock law & The correlated and anticorrelated examples have the same marginals and disjoint joint laws.

A successful branch is a deterministic process & Every failure continuation and terminal output is retained.

A joint state formula delivers the record & Remote control requires a causal record wire and arrival before use.

Identity of the reference marginal proves identity transport & Even replacement channels leave an untouched reference marginal unchanged. The route proves the full payload–reference identity.

A release removes the register from every cost & Returned and supplier storage remain in their own ledgers.

Every finite protocol fits a fixed reserve & Capacity, duration, permissions, and location fit are explicit additional checks.

Cumulative clock supply equals simultaneous peak & They are different counts. Every actual holding is charged at the cut where it occurs.

One tested trace error gives a diamond estimate & The identity/Pauli example disproves this. State-specific and uniform bounds are separated.

Per-stage marginals price correlated device memory & The memory and history must be in the step interfaces.

All branches should be added in the adaptive budget & The proved worst-path recursion charges only one root-to-leaf chain in the uniform bound.

A favorable branch probability discounts any node error & Such weighting needs a separate justified estimate; it is not assumed.

A small complete error controls normalized rare branches uniformly & Conditioning requires a positive event-probability margin.

A logical-only bound certifies arrival & The arrival or timeout flag must be included in the complete compared output.

A complete-channel bound validates an enclosure & The enclosure needs its own independent mathematical or numerical justification.

A telescope is a sampling confidence theorem & No sampling model or finite-shot theorem is introduced.

A schedule-derived cone is the retained cone & The metric and every causal edge certificate are supplied independently.

Signature reversal alone calibrates a duration & The time conversion uses the separately fixed relation $t=c_{\mathrm{h}}(T-T_{\Sigma })$.

No-enlargement is a width-limit theorem & It is an invariant-metadata statement under finite fitting commands.

Several stochastic labels equal one event time & Distinct exact event-time labels force a deterministic readout at that event.

The composition law removes external time & It is indexed by external cuts, locations, and durations.

H2 is globally unresolved despite the I2 advance & H2 is retained as XIV-H's historical ending; XIV-I's narrower constructed I2 result is not withdrawn.

O.1 is declared open in every prescription & Only the stated XVI-O/standing boundary is retained; other qualified subsectors are not reclassified.

A proposed source is a registered transaction & All integration fields below remain proposed or false.

The following labels identify boundaries that X-K-ST does not cross. They are not unfinished steps needed for the finite composition proof itself.

-clock-not-relational-time

X-K-ST does not construct quantized relational time without an external clock or external schedule.

-clock-not-reuse

X-K-ST does not return a consumed unknown clock as a new quantum input. A separately supplied factor is required.

-not-host-enlargement

X-K-ST does not change the cone, chart, width, regulator, or signature ledger through transport.

-not-acquisition

X-K-ST does not turn a supplied finite report into continuum field acquisition.

-not-emergence

X-K-ST does not derive the metric, causal cone, or Einstein dynamics from its composed instrument.

For each obligation, the technical XV-B release and the conditional XVI-N massless obstruction remain separate documentary boundaries XVB,XVIN. No finite channel identity here supplies the missing quantum admission or repairs the prepared insertion.

This is proposed metadata, not an executed repository transaction. The actual schema and identifiers must be checked during any later integration.

routing note. X-K-ST assembles a finite multi-instrument law for successive fresh destructive clocks, complete histories, causal record delivery, regular routes, resource ledgers, and matched complete-channel errors on the unchanged I-B/X-A-ST host. It is not quantized relational time without an external clock, not continuum acquisition, not quantum BRST, and not a characteristic coefficient. The convolution obstruction is unrepaired and the three trees remain counted once. Documentary connections are not premises of the new proofs.

identifier: X-K-ST sourceStatus: proposed placement: after X-J-ST grade: local Grade S, subject to actual fit certificate track: ramp problemConnections: - relational - products

host: retained: I-B / X-A-ST defect: worldsheet laboratory: regular supported reserve analyticalCompletion: declared Minkowski completion signatureLedger: iota-star G = -eta width: same fixed positive width regulatorReplaced: false hostUpdate: not constructed

composition: finitePublicOutcomeTree: true krausRefinementsDistinguished: true freshClockProvenanceRequired: true consumedNameReuse: forbidden correlatedSupply: allowed only with declared joint interface failuresRetained: true untouchedReferencesIncluded: true causalRecordReadinessRequired: true

errors: completeChannels: matched half-diamond comparisons adaptiveBudget: worst root-to-leaf sum stateSpecificErrors: separate qualified theorem hiddenMemoryMarginals: insufficient confidenceTheorem: not constructed

resources: cutByCutOccupancy: required returnedStorage: separately charged supplierStorage: separately charged externalReferenceStorage: separate ledger actualCapacityAndTimeFit: required

obligations: - composed-clock-not-relational-time - fresh-clock-not-reuse - transport-not-host-enlargement - route-not-acquisition - composition-not-emergence

standingBoundaries: XV-B-quantum-admission-exit: not opened XVI-N: not discharged XVI-N-Route-B: not discharged XVI-O-O.1: NOT_CLOSED in its stated prescription XIV-H-H2: historical unresolved ending retained XIV-I-I2: narrower constructed advance not withdrawn I3-full-joint-map: not constructed here J2-full-joint-map: not constructed here characteristicQuantumCoefficient: not admitted

timeLandmark: proposed: true basis: complete finite clock and multi-readout certificate externalScheduleRemoved: false

emergenceStatus: not constructed includeInEmergenceSources: false

registryEditsExecuted: false repositoryTestsExecuted: false compilationAsserted: false numericalExecutionAsserted: false machineVerificationAsserted: false independentExecutionAsserted: false

No passing test count, connection-array length, time-index shift, hash, or post-registration freeze is asserted before an actual integration transaction exists.

metadata. The author field is omitted for anonymous review. Citations to N. Cheung attribute the identified source records; they do not by themselves assign authorship of this submission draft.

and novelty. The claimed contribution is the explicit assembly of finite instrument semantics, fresh-name discipline, causal record readiness, resource fit, and complete error comparison on a retained host. Standard instrument and channel-composition mathematics is not claimed as new.

status. The supplied X-I-ST source and X-J-ST development are cited as supplied texts, not as independently certified registrations. Internal titles, versions, and labels are used only at the documentary level available in the supplied materials or named source records. No internal publication date, DOI, or catalogue-wide verification is invented.

boundary. Every declared surviving factor, public record, failure, and untouched reference is included in the stated comparison. Unobserved Kraus indices are not automatically accessible classical outcomes. A finite channel is not a microscopic apparatus, thermodynamic machine, or continuum detector.

. No successful execution, numerical evaluation, proof-assistant verification, symbolic execution, repository installation, hardware synthesis, experiment, independent execution, independent referee approval, or journal acceptance is asserted. The mathematical claims are the explicit definitions and written proofs in this file.

EnterPhilosophy

N. Cheung, The Philosophy of Enter: Destructive Readout, Quantum Recovery, and the Refusal of Identification. -v2.tex, version 2. Introductory essay, Enter Calculus Companion. https://enter.grok.me/enter. Interpretive map, not a theorem premise.

EnterI

N. Cheung, Manuscript I. .tex, version 2. Enter Calculus Companion. https://enter.grok.me/browse/I. Class-relative characterization of destructive measurement; its hypotheses are not abbreviated into a new characterization here.

IB

N. Cheung, I-B: A Finite Enter Spacetime: Calibrated Destructive Time Readout on a Prescribed Conical Product. -B-v1.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/I-B. Especially :instrument, :fixed-event, :transport, :locality, :metric-containment, :peak, and :noise.

XAST

N. Cheung, X-A-ST. Version 1, supplied predecessor record. Enter Calculus Companion. https://enter.grok.me/browse/X-A-ST. Supported completion chart, fixed-width classical host contract, and target-adapted finite route.

En09

N. Cheung, Realization of Relational Time by Destructive Enter on a Clock Register. 09-A.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En09-A. Complete clock identity, typed one-event hybrid composition, separate covariance hypotheses, and retention of external scheduling time.

XEnterST

N. Cheung, X-Enter-ST: Readout closure of an obstructed convolution coefficient on a prescribed conical host. -Enter-ST.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/X-Enter-ST. Complete supplied-report instruments, regular transport, and the separation between reporting and continuum acquisition.

XHST

N. Cheung, X-H-ST: Relative classical BV structure and complete instruments for supplied residual reports. Version 1, supplied manuscript record. https://enter.grok.me/browse/X-H-ST. Documentary relative-classical and complete-interface comparison; no interacting quantum differential is imported.

XIST

N. Cheung, X-I-ST: A supported finite-order classical BV deformation on a prescribed conical Enter spacetime. Supplied source -I-ST.tex. Especially :composition, :reporterror, :locality, and :route. Cited as the supplied source, without independent registration or compilation claims.

XJST

X-J-ST: A second charged coefficient and a selective amplitude package. Supplied development source in the present exchange. Especially :lipschitz, :robust, :composition, and its distinction between a compact scalar moment and a whole-algebra convolution reference. No independent registration, execution, or authorship authorization is inferred from that development.

En08A

N. Cheung, Scheduler Consistency and Lorentz-Cone Representation: Countermodels, Explicit Geometric Hypotheses, and Causal Typing. 08-A.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En08-A. Schedule algebra does not by itself select a Lorentz cone.

En08B

N. Cheung, Resource-controlled operational approximation of null boundary transport. 08-B.tex, version 1. Version-qualified supplied manuscript passages. https://enter.grok.me/browse/En08-B. Lattice-family transport, complete references, and matched finite-channel telescoping; its permission contract is not silently identified with the target-adapted route.

En03

N. Cheung, En03-A. 03-A.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En03-A. Complete scheduled block interfaces, destructive readout distinctions, and backwards support.

VIIE

N. Cheung, VII-E. Version 1, supplied manuscript record. https://enter.grok.me/browse/VII-E. Prescribed-schedule locality and observation boundaries.

VIIJST

N. Cheung, VII-J-ST, version 1, and VII-J, version 1. Version-qualified supplied passages. https://enter.grok.me/browse/VII-J-ST. Complete dependency networks and separate physical causal embedding.

XFST

N. Cheung, X-F-ST: Three fixed-width retarded trees and the background identity. Version 1, supplied manuscript record. https://enter.grok.me/browse/X-F-ST. The earlier tree packet is retained once, not recomputed or duplicated by finite composition.

XConvST

N. Cheung, X-A-conv-ST, version 1, with the separately identified X-A-conv source. Version-qualified supplied manuscript records. https://enter.grok.me/browse/X-A-conv-ST. The frozen classical convolution obstruction remains independent.

XIXC

N. Cheung, XIX-C. Version 1, supplied manuscript passages. https://enter.grok.me/browse/XIX-C. Finite interfaces and support certificates do not determine an unspecified continuum evolution.

Oai283

N. Cheung, Oai283-A. Version 1, supplied manuscript passages. https://enter.grok.me/browse/Oai283-A. Resource-accounted transport and complete-output error allowances. No underlying OpenAI family proof is imported or verified.

Oai212

N. Cheung, Oai212-A. Version 1, supplied manuscript passages. https://enter.grok.me/browse/Oai212-A. External regularity assertions and calibrated timers are separate from a physical time construction.

CharacteristicRecords

N. Cheung, XIV-H, XIV-I, and XIV-J, version 1. Version-qualified supplied passages. Historical H2 boundary, constructed I2 internal amplitude, and unconstructed full joint maps at I3/J2. These are distinct documentary verdicts.

XVB

N. Cheung, XV-B. Version 2, supplied technical manuscript passages, especially :release. Lifting, reconstruction-null, and extension interfaces are not admission of the inherited characteristic quantum coefficient.

XVIN

N. Cheung, XVI-N. Revision r12, supplied passages, especially :massless-obstruction. The conditional prepared-insertion obstruction and its Route B boundary retain their stated scope.

XVIO

N. Cheung, XVI-O. Revision o70-sync, supplied source descriptions. Kernel-counterterm construction under its prescription, with the stated O.1 _CLOSED boundary. No statement about every other prescription is inferred.

TimeNeighbours

N. Cheung, VI/VI-B, XIX-A, XX-A, Em02-E, En10-A/En10-B, and the Hawk07-A description. Documentary comparisons at the level supplied with the plan. Unavailable full texts, versions, and theorem statements are not reconstructed. These records are not folded into the composition proof.

OpenAIRecords

OpenAI, Mathematics catalogue and related finite-interface descriptions. Supplied documentary records, including Families 282, 362, and 376. No catalogue theorem, formalization claim, or family proof is a premise of this manuscript or independently verified here.

DaviesLewis

E. B. Davies and J. T. Lewis, “An operational approach to quantum probability,” Communications in Mathematical Physics 17 (1970), 239–260. doi:10.1007/BF01647093. https://link.springer.com/article/10.1007/BF01647093. External instrument framework.

Watrous

J. Watrous, The Theory of Quantum Information. Cambridge University Press, 2018. Author manuscript and errata: https://cs.uwaterloo.ca/ watrous/TQI/. Finite channels, reference extensions, trace distance, and diamond-norm comparison.

CDP

G. Chiribella, G. M. D'Ariano, and P. Perinotti, “Theoretical framework for quantum networks,” Physical Review A 80 (2009), 022339. doi:10.1103/PhysRevA.80.022339. https://arxiv.org/abs/0904.4483. External sequential-network framework. No general network representation theorem is needed for the finite path-map proof here.