Section 11 9 October 2026
Calibration in the complete current and record history
11 Calibration in the complete current and record history
The exact-reset theorem is a positive result for its specified controls. Finite calibration changes both the active wave and its actual current. We give interfaces that keep those two effects distinct and retain every old receiver. Throughout this section oscillator coordinates have , current , and normalized real stock . The active variables may have an arbitrary Hilbert space of retained spectators as their fibre. All norms below include that fibre and its genuine positions.
11.1 A local current bound with a quadratic remainder
Let , , , and suppose the displayed first derivatives and moments are finite. For a band and with , put
Writing , , and , one has
For every measurable endpoint set ,
Expand before integrating spectators:
Hilbert-space Cauchy–Schwarz gives the first line. In the linear position-weighted density term the weight can be assigned to either factor, giving the minimum; the quadratic term is bounded by . The scalar moving offset contributes the last bracket. The triangle inequality for proves the endpoint estimate. No pointwise orthogonality between history components has been used.
□The plus sign in (11.1) is fixed by . It is the relative current through the moving level set. To convert this form estimate into a path statement, assume the complete equivariant flow and its crossing/area formula. Integrate through two disjoint offset bands of width and apply coarea. There is one predetermined offset in each band whose summed integrated absolute flux is at most the two-band integral divided by . These planes are fixed analysis devices, selected from the wave, not from an observed trajectory. A path starting beyond its plane and never crossing it keeps the required sign. Apply the same argument at two fixed held-receiver bands, and charge entrance and endpoint ambiguous populations using (11.2). The original cap multiplies the resulting reference path allowance once, by Proposition 10.2.
Localization matters: the coefficient of the linear derivative error is , the small reference amplitude at the boundary. The unsuppressed quadratic term remains. An endpoint norm alone controls neither term without a derivative bound. To obtain a numerical calibrated record theorem from this interface, one must supply the boundary-band amplitudes, derivative and moment errors, entrance and endpoint allowances, and the complete duration of the changed schedule. The exact-control 44-record bound does not by itself provide these perturbation data.
11.2 Active stock energy and actual archive motion
Let , , and let a real smooth field satisfy , . On a pulse use , where
and acts only on the retained fibre. Assume the common form evolution and energy identity are justified on this domain. The projection commutes with this evolution. If and , then is constant and, for a pulse starting at ,
For two nonnegative single-hump pulses with maximum at most one this is . Their complete current satisfies
Weighted divergence gives and symmetry, hence . The commutation and constant off-stock norm follow, including under the fibre evolution. Write . Then . The active energy obeys ; the spectator evolution cancels from this identity. A constant form shift first gives finite continuous . For , integration and the endpoint interaction term give . If , its positive root is at most , proving (11.3). Each hump has variation at most two. Finally , so Cauchy–Schwarz and normalization prove (11.4).
□If an inverse label for the reference pulse has derivative bound along the admitted tube, a unit-duration two-pulse reader therefore has expected reference-law label variation at most . This is an actual-current comparison, rather than a conclusion from the endpoint wave. The homogeneous baker's proved single-module derivative estimate may supply on its stated tube; it cannot be silently applied to a many-cycle inverse.
During an interpulse interval, an error-bearing archive can move even though all other operations are quantum spectators. If , then . The norm is conserved under the archive harmonic oscillator and arbitrary commuting rest unitaries. Since , the Gaussian-quantile expected variation over duration is at most . Pointwise archive immobility is therefore a special exact-stock fact, not a general consequence of spectator dynamics.
Use the same original complete cap and initial uniform reference archive quantile as in the inverse-digit construction. For reader , suppose its entering active wave-density marginal differs from product Gaussian stock by TV at most , its excluded exact-map collar has reference area , and a valid stopped-tube calculation gives expected inverse-label error . All expectations in these hypotheses use the true equivariant reference path law, before the original factor is applied. Let bound the expected archive-quantile variation after reader and before reader ; take when no later digit is read. Set . The factor expresses that intervening output drift is pulled back through the slope-two update . Suppose guards keep the completed-stage inverse inside its exact rectangles, whose extra guard collars have area at most . Then the probability of any wrong digit among reads is at most
To this add the separately proved loader own-sign fees and calibrated receiver/whole-hold fees. A bound on the total then concerns the full joint history under the one original law.
The exact-map exclusions cost , with an additional for the guard collars. Markov's inequality and original path domination charge inverse-label plus half interpulse displacement exceeding by . On the remaining paths the inverse update is the dyadic shift with perturbation of size at most in its entering argument. Pulling successive perturbations back to the initial archive changes that argument by at most . Every relevant digit boundary belongs to the level- grid. Its -neighbourhood in the initial unit interval has measure at most , which is . Charge this under the initial reference law and its original cap, not a record-conditioned law. Outside the union the digit history is unchanged. The additional loader and physical-record errors are whole-history events on the same path space, so the union bound adds their proved allowances.
□The guard optimization for each term is , with a limiting choice when the numerator is zero. This criterion retains interpulse current, guard loss, and the longer hold needed by a changed reset schedule. A non-discriminating upper bound from it is a limitation of that estimate; it is not an observed device failure.