Appendix A 4 October 2026
Initial calibration and fixed-circuit resource rates
A Initial calibration and fixed-circuit resource rates
A.1 Initial independent equilibrium and uniformity
If the initial carrier positions are iid with law , the distinguished carrier has exactly that law, and
The preceding tracking proof applies conditionally on the initial carrier configuration and declared field, with the independent Poisson comparison clocks left random, and then averages. Its low-mass estimate already includes ; Jensen's inequality gives the corresponding square-root estimate. The martingale population bound gives
No independence between the later tag and census is needed: the coupling preserves the entire microscopic marginal and uses its adapted full-state intensities.
For the autonomous circuit, write . Then
On the first pass each time envelope is unimodal, since with it is proportional to . Each weight has at most two entries or boundary contacts with a level, even if a maximum equals that level. Count sublevel entries directly; no common regular value across unknown inputs is needed. Hence the node bound can be taken as
uniformly over normalized inputs on this fixed graph. Currents and their variations are uniformly bounded as well: each fine current is a fixed bounded bilinear coefficient of times an explicit smooth clock envelope. Alternatively bounded and give uniform bounds on . Initial calibration, all birth budgets, and the resulting path error are consequently uniform over these inputs. For a fixed finite reference included as a configuration coordinate this statement uses that full graph. For a declared spectator fibre, the norm estimates do not depend on the fibre dimension; this does not assert equality to a different finer-sector Bell law.
On the spin clock reverses and returns, so at most four level entries per weight give . The path theorem still applies across the node at and all reversed currents. The unitary echo also unwrites the circuit's records; it is a reversal test of the event law, not an archive-protection theorem beyond the first pass. Exact zero-current intervals in the general programme are included in the same estimates. Finite pilot queues can produce delayed events there, but their total path discrepancy is already in (31); they are not declared absent at finite resources.
A.2 An explicit fixed-circuit resource rate
The qualitative limit in Theorem 8.1 uses the preceding kinetic proof. For the fixed clock circuit, its constants can also be controlled uniformly over unknown inputs. The following refinement, retained from the earlier manuscript and monograph [4, 5], records the cutoff dependence explicitly and supplies its complete proof. It is not a new stochastic law or a rate for growing circuits. The clock-weight shape was proved in Proposition 9.2.
Fix the complete finite graph, the clock Hamiltonian , its first-pass horizon , and . Suppose the initial census has expected error and the tag starts from with fixed . The iid equilibrium and the known basis-ready preparations satisfy this condition. With
the signed-queue path error obeys
For equilibrium use, the constants are uniform over all normalized inputs on this fixed material space. A reference included in the configuration basis is part of the fixed graph; a declared spectator fibre does not enlarge the operator-norm constants. With the gas and recombination scales of Theorem 8.1, the full pilot path error is also .
Write , , , and let denote total variation in physical time. Each edge current is a bounded quadratic form in the normalized input. Safe input-independent bounds are
The last inequality follows by differentiating each current expectation and using . All source variation, birth and census-jump budgets in Theorem 7.1 are therefore uniform.
For put and , . In the proof of Theorem 7.1, the instantaneous companion root has and . Its deterministic integrated tracking cost is consequently . The square-jump estimate there gives
Using and yields
The deterministic export discrepancy is , so (23) and (25) have the explicit forms
Here and below constants depend on the fixed graph, programme and response bounds, not on the input or the two cutoffs.
For iid equilibrium, direct multinomial variance gives . For a separately initialized dominated tag and independent equilibrium carriers, add at most . The deterministic basis-ready census has zero initial error. The tracking proof applies conditionally on the initial census and then averages; Jensen's inequality handles the square root in the low-mass estimate. Its population martingale obeys
With and , the leading deterministic term of (57) is , its square-root noise term is , and . Equation (26) therefore gives
For the clock family (37), each fine weight is a nonnegative input-dependent coefficient times a unimodal binomial envelope. Count entries into a sublevel set directly: each weight has at most two boundary entries on , including tangencies. A coefficient may put its maximum exactly at , so a common regular value is not assumed. Initial small-weight mass, jump influx and these entries give the uniform node budget
Use this budget in (29). At the node term and the term are ; the term is . This proves (56). The gas and recombination contributions are respectively and , so they do not worsen this conservative rate.
□On at most four level entries per weight replace the node bound by ; the same rate applies to the reversed full path. That second pass unwrites the records and is not an extension of the first-pass archive theorem. Merely assuming without a rate does not imply (56). Nor does this estimate apply uniformly to a growing graph, increasing fine reference, changing Hamiltonian or unbounded storage time.