Skip to content
Shadow Theory

Section 9 9 October 2026

One complete protocol and its joint error budget

Reading position 10 of 16

9 One complete protocol and its joint error budget

Fix a deterministic sequence of operations. In cycle jj:

  1. Apply the duration-one smooth inverse baker to (x,y)(x,y).

  2. Apply the scalar loader to xx, of duration TLT_L.

  3. Apply the smooth copy gate to (x,zj)(x,z_j), of duration 2π2\pi.

  4. Apply the exact reset to (x,rj)(x,r_j), of duration 2π2\pi.

Each written receiver is held by HAH_A from its copy endpoint through the common final time. Every used reset archive remains in the rest space. Add spatially constant time gauges where needed to match oscillator zero-energy conventions between modules; these change only a common wave phase and no current or record. All nonconstant couplings have the time regularity stated for their respective modules. In particular the reset's endpoint spring is zero.

Theorem 9.1 (Complete repeated own-record event)

Assume the full entrance bank (5.1), original cap (5.2), the baker compiler, loader, smooth scalar gate and reset just specified. Require (8.1) for every written receiver during all later operations, and a common final time no more than Θ\Theta after any copy endpoint. Let sjs_j be the jjth binary digit of the actual entrance archive quantile. Then

μ0{some receiver zj is not in its sj region at copying, or leaves it before the final time}≤nC{βh+Fcopy+Fch(Θ)+Feh(Θ)}.\begin{align}&\mu_0\{\text{some receiver }z_j\text{ is not in its }s_j \text{ region at copying, or leaves it before the final time}\} \notag\\ &\qquad\leq nC\{\beta_h+F_{\rm copy} +F_{\rm ch}(\Theta)+F_{\rm eh}(\Theta)\}. \tag{9.1}\end{align}

The event contains all nn records and their complete held histories. No actual scratch freshness, independent receiver population, actual configuration swap, or discarded reset archive is assumed.

Proof

We first verify compatibility of the quantum stocks by induction, without an assertion about actual populations. Initially the scratch and archive are the product Gaussian. The compact compiler keeps that known wave stationary while implementing its nonzero complete current. The loader changes only the scratch factor to RAR_A. The copy gate acts on that factor and the unused receiver Gaussian. It may entangle them. The reset then applies (7.4) with the still unused reset Gaussian, putting every scratch correlation into rjr_j and restoring the exact factor φ(x)\varphi(x). The archive yy remains its stationary Gaussian factor during loader, copy and reset. All unused banks remain their original quantum factors. Thus the next inverse baker has exactly the required active wave.

Equivariance transports (5.2) relative to the true full wave at every entrance. Since the active inverse-baker reference is exactly product Gaussian, its exceptional set (5.4) has unconditional actual probability at most CβhC\beta_h. This assertion is made on the original unselected law. It does not condition on earlier good events. Up to the first such exception, deterministic digit arithmetic identifies every exposed scratch sign with the next initial archive digit, independently of each reset's actual scratch position. The loader preserves that sign.

For each copy, Proposition 6.3 compares the receiver with its own true entry scratch sign. For each subsequent hold, Proposition 8.1 bounds every later boundary crossing, including crossings during later baker, loader, gate and reset modules. A union of these unconditional events proves (9.1). Earlier receivers, reset archives and the entire rest wave were retained in each application, so there is no deletion or postselection hidden in this union.

□

If a previous warmup supplied the archive/history relation with failure εhist\varepsilon_{\rm hist}, reverse the register names as above and add εhist\varepsilon_{\rm hist} to (9.1). The prominent row below begins with the actual entrance archive digits; it does not already include this separate earlier-history error.

Likewise, if a distinct untouched writer ww previously obeyed

TV⁡ ⁣(μw,N,Γw⊗μN)≤δ \operatorname{TV}\!\left(\mu_{w,N},\Gamma_w\otimes\mu_N\right) \leq\delta

with the whole original bank in NN, the same δ\delta survives this nuisance-only protocol by data processing. For a deterministic map TT on NN, the comparison pushes forward to Γw⊗T#μN\Gamma_w\otimes T_\#\mu_N, its actual new nuisance marginal. This argument remains valid on failed decoder paths. It requires the physical full-current dynamics really to leave the writer untouched. It does not add an omitted positional reference after the premise was proved.

Corollary 9.2 (The forty-four-record finite row)

For

n=44,C=10,h=10−10,A=40,ε=10−3,TL=200,Θ=10000, n=44,\quad C=10,\quad h=10^{-10},\quad A=40,\quad \varepsilon=10^{-3},\quad T_L=200,\quad\Theta=10000, (9.2)

the complete joint record failure in (9.1) is strictly below 2.641⋅10−72.641\cdot10^{-7}. The forty-four complete cycles take 44(201+4π)<1000044(201+4\pi)<10000 time units, leaving a positive final hold.

Proof

The loader maximum speed is 35A/(16TL)=7/16<1/235A/(16T_L)=7/16<1/\sqrt2, so its common-domain condition holds. The exact strip contribution is

440(6⋅10−10−8⋅10−20)=2.639999999648⋅10−7. 440(6\cdot10^{-10}-8\cdot10^{-20}) =2.639999999648\cdot10^{-7}.

The remaining contribution is evaluated from (6.4)–(8.3), including the larger spectator-safe hold coefficient 100(A+1)2100(A+1)^2. All exponent arguments and polynomial factors are rational. For q≥0q\geq0 and integer NN,

e−q≤(∑k=0Nqk/k!)−1. e^{-q}\leq \left(\sum_{k=0}^Nq^k/k!\right)^{-1}.

For 0≤q<N+20\leq q<N+2 the positive exponential has the upper bound

eq≤∑k=0Nqk/k!+qN+1(N+1)!11−q/(N+2). e^q\leq\sum_{k=0}^Nq^k/k!+ \frac{q^{N+1}}{(N+1)!}\frac1{1-q/(N+2)}.

Use the first formula with N≥300+4⌊q⌋N\geq300+4\lfloor q\rfloor and the second with q=8,N=160q=8,N=160. Direct rational substitution gives BA<8.745⋅10−48B_A<8.745\cdot10^{-48} and hg<5.214⋅10−47h_g<5.214\cdot10^{-47}, with the following outward-rounded fees before multiplication by nC=440nC=440:

feeupper boundfeeupper boundFcg1.928⋅10−22Feg1.380⋅10−37Bend1.287⋅10−57Eend2.606⋅10−50Fch2.088⋅10−49Feh5.560⋅10−32 \begin{array}{c|c@{\qquad}c|c} \text{fee}&\text{upper bound}&\text{fee}&\text{upper bound}\\ \hline F_{\rm cg}&1.928\cdot10^{-22}&F_{\rm eg}&1.380\cdot10^{-37}\\ B_{\rm end}&1.287\cdot10^{-57}&E_{\rm end}&2.606\cdot10^{-50}\\ F_{\rm ch}&2.088\cdot10^{-49}&F_{\rm eh}&5.560\cdot10^{-32} \end{array}

In particular

440{Fcopy+Fch(10000)+Feh(10000)}<9⋅10−20. 440\{F_{\rm copy}+F_{\rm ch}(10000)+F_{\rm eh}(10000)\} <9\cdot10^{-20}.

All quantities in this enclosure are specified by the formulas above; adding the strip contribution and the displayed residual bound proves the stated strict ceiling. Finally π<22/7\pi<22/7 gives 44(201+4π)<44(201+88/7)<1000044(201+4\pi)<44(201+88/7)<10000.

□

This row is a finite mathematical result for the prescribed complete effective currents and exact controls. The different receivers provide concrete separated position records under that parent. A finite material spring/source realization, charged or Pauli-current embedding, trap and support control, the full original quantum-stock and actual-law warrant, and physical readout are additional transfer problems. In particular, a bare Coulomb interaction at finite separation does not have the reset's exactly zero endpoint spring; its transverse cross term can also move the same carrier's archive. Neither term is covered by renaming the longitudinal scalar interaction. The calibration results below retain these distinctions and do not silently amend the exact-control row.