An autonomous refresh mechanism is not completed by specifying a local exchange map:the same apparatus must reach the exchange, leave it, finish its remaining motion, and deliver itsstate at the prescribed readout time. We construct this connected late route for one specifiedpreparation in the exact-real interpretation of a frozen classical numerical source. The input isa previously certified twenty-coordinate state after entry into coupled occupancy; its validity andretained preparation history are explicit premises. Source-valid continuation establishes occupancyclearing, physical recovery and courier reversal, complete courier passage, a smooth main-wallexcursion, and the remaining main processing. The resulting full state is enclosed at the originalexact dyadic readout time, without an independently chosen switch, momentum reset, or deletion ofinternal phase history. The courier’s completed-square coupling distinguishes canonical momentumfrom physical velocity. At its frozen right cutoff, canonical momentum is continuous while velocityand the assigned source value have different one-sided traces. The completed spatial exchangediffers strictly from the ideal exact-period swap; its small algebraic port residual is distinct fromthe much wider full-state enclosure. Event-dependent times are composed into a common final clockby retaining the actual remaining duration. The result is a conditional fixed-time completion for thesupplied source and preparation, not a time-zero reconstruction, an all-input ideal-model theorem,physical auxiliary attachment, or a second service. Returned local Lean evidence supports selectedcomposition, branch-map, accounting and conditional endpoint results; the cumulative trajectorytheorem is not fully formalized.
An autonomous refresh mechanism is not completed by specifying a local exchange map:the same apparatus must reach the exchange, leave it, finish its remaining motion, and deliver itsstate at the prescribed readout time. We construct this connected late route for one specifiedpreparation in the exact-real interpretation of a frozen classical numerical source. The input isa previously certified twenty-coordinate state after entry into coupled occupancy; its validity andretained preparation history are explicit premises. Source-valid continuation establishes occupancyclearing, physical recovery and courier reversal, complete courier passage, a smooth main-wallexcursion, and the remaining main processing. The resulting full state is enclosed at the originalexact dyadic readout time, without an independently chosen switch, momentum reset, or deletion ofinternal phase history. The courier’s completed-square coupling distinguishes canonical momentumfrom physical velocity. At its frozen right cutoff, canonical momentum is continuous while velocityand the assigned source value have different one-sided traces. The completed spatial exchangediffers strictly from the ideal exact-period swap; its small algebraic port residual is distinct fromthe much wider full-state enclosure. Event-dependent times are composed into a common final clockby retaining the actual remaining duration. The result is a conditional fixed-time completion for thesupplied source and preparation, not a time-zero reconstruction, an all-input ideal-model theorem,physical auxiliary attachment, or a second service. Returned local Lean evidence supports selectedcomposition, branch-map, accounting and conditional endpoint results; the cumulative trajectorytheorem is not fully formalized.
Motivated by Complementarity-First's distinction between a relational operation and its physical implementation, we study one-use source refresh in a supplied autonomous classical Hamiltonian model. A moving courier must reach a stationary source, exchange arbitrary internal contents with it, and expose the fresh input and retained old output at one fixed readout time. A positive completed-square kinetic coupling makes the completed exchange depend on spatial area rather than entering speed. A separate position-dependent recovery interaction transfers energy from a main mechanical carrier to a courier that may be nearly stopped. For four real four-coordinate internal registers and two mechanical pairs, the combined construction admits the fixed product domain ||(x,y,b,c)|| ≤ 1, 18.6193 ≤ α ≤ 18.6248, with mechanical preparation independent of the unknown internal data. Exact-rational certificates for a reduced three-coordinate release law, together with recovery estimates, give source completion before time 47 and an interaction-free readout at 33π/2. Certification here concerns reduced-system arithmetic, not a formal-kernel proof or validated integration of all twenty coordinates. Fresh loading is exact; the source/old-output pair has error at most ε_pre ||(x,y,b)||, with ε_pre < 0.007338, against its declared ideal comparison. This is not a whole-processor accuracy bound. The full endpoint retains two additional main-port passages, the remaining internal registers, and both mechanical records. Its mechanical energy allocation excludes immediate reapplication of the same ready-state contract, while a source-only witness excludes an exact payload-only linear reduction. The result supplies a bounded one-use implementation conditional on the stated architecture. Physical rearming, all-input/all-word linear control, and primitive selection of the carrier and interactions remain outside the theorem.
A local numerical reference is useful only when a justified flow image enters its domain.In autonomous source refresh, that obligation involves the state of the apparatus, not merely itsselected output registers. We study a supplied 44-coordinate source model and give a conditionalcomposition theorem that retains the original state and time, the interaction contrast, accumulatedpulse area, mechanical histories, and passive transport records. Exact normal-mode reconstructiondistinguishes interval wrapping from physical uncertainty. For an inactive router with positivemomentum, we derive the attained position extrema and a restricted forward marginal-hull equal-ity: retaining correlations does not remove the genuine spread of this particular projection. Aseparate guarded receiving domain admits the wider router record while preserving the originaltime and other 43 coordinate requirements. Source-local factorization then transfers the referenceobservables without deleting a physical coordinate or replacing an evolved state by a stored cen-ter. Smooth continuation, exact negative free transport, and a source-matched integral left-entrylayer are composed under prospective whole-path guards. A positive moment expansion suppliesdirected bounds for the isolated reference, with its interior momentum trace distinguished from thearchived cutoff convention. Fresh bounded calculations reproduce 18 accepted and three rejectedcandidate comparisons at each of two scale labels under their separately declared input hypotheses;these are not service probabilities. The result closes a local conditional implication, not physicalinitialization, complete two-use validation, global floating-program accuracy, or a common-originderivation.
A source-inclusive coherence observable is useful only when its measurement resources are admitted. This preprint constructs a bounded local reader for the conserved exchange observable of a specified finite quantum-record apparatus. A degree-three graph uses one independently prepared probe, twenty relays with arbitrary joint states, and finite-duration two-register extraction and full-SWAP interactions. The original apparatus Hamiltonian and an independently added archive-gated process remain active throughout their respective implementations. A prefix-dependent control-frame comparison, symmetry-resolved effect estimate, and explicit gain, phase and finite-slew waveform bounds yield a sufficient response separation greater than 0.005139889 for the stated fixed, fully accessible sixteen-position source and remaining response-error budgets. This is a conditional mathematical result, not measured hardware calibration, a partial-source-access theorem, or a unique diagnosis or derivation of fundamental collapse. The package contains the main manuscript, technical supplement, editable LaTeX, direct numerical reproduction sources, and accepted returned Mac evidence for 56 paper-specific supporting Lean declarations. That subset verifies selected algebra, scalar inequalities and the actual-constant numerical expression; it does not formalize the full physical/continuous-time theorem end-to-end. Separate-session AI review, numerical reproduction and returned kernel evidence are distinguished. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; newly authored numerical and Lean software is MIT. Predecessor and third-party notices remain unchanged; the reproduction package contains the licence map. No external funding; no competing interests declared. Public preprint v1.0; edition date 18 October 2026; DOI 10.5281/zenodo.23442579.
How finite source updates become interference, field equations and detector records sn+1=UAsn,UATUA=I,py(n)=∥Ky,RUAns0∥2,y∑Ky,RTKy,R=I. Localized completed-event transport reaches the receiver The source exponential now has a derived map into the local two-tick phase history. In the qualified free-source and local-history receiver class: δΦR(N)=BRDAUANδs,DAUAN=LANDA,supp(DAδs)⊆A,daddr(A,R)>N⟹δΦR(N)=0,py+(N)=py−(N). Here D_A is derived from the inherited recurrence, L_A is its radius-one history update, and B_R reads a declared address window. The complete instrument includes missed events. The paper supplies an exact one-rail example with probabilities one and zero inside the preparation region, and a leakage bound for imperfect localization. It also proves the infinite multidimensional compact-band obstruction and retains the nonlocal canonical-receiver counterexample. This is a scoped causal readout theorem, not universal interacting-field microcausality or a new experimental signal. TV(pR+,pR−)≤min{1,2κR,NϵR,N}. The preparation leakage and finite response norm must be independently fixed; they cannot be fitted to absorb detector results. All inherited scientific content remains, with 2,161 further deterministic checks and 16 adversarial mutations in a third reproducibility module. The QTT construction written explicitly The admitted free-source law can be written directly as counted real-phase evolution followed by physical receiver access: ΦR(NtA)=CRUA(N)s0,UA(N)=exp[−2NJarcsinQA],QA=Q⊕Q,0≤Q≤I,Q=(−ΔA/4)∣HA6,J2=−I,JT=−J,[J,QA]=0,N∈N0. The paper proves exact equivalence to its inherited finite block propagator at every nonnegative integer source tick, including both spectral endpoints. Q is the address operator restricted to the A6-admitted band; its direct sum acts on both real dial components. The receiver and completed-event source retain their physical qualification conditions. The construction is exact in the stated coherent massless free-packet sector, not an assertion that every interacting field has this free law. QTT constructs wave and field behaviour from a finite source: real phase dials, admitted updates and completed receiver records. The paper carries that source through an exact two-path interference calculation, normalized sequential instruments and a quantitative detector-error bound. A smooth continuum field is not an additional starting substance in this construction. When does a field image contain enough information? A projected field has an autonomous linear update exactly when the source information it omits cannot feed back into view: CRUA=VRCR⟺UAkerCR⊆kerCR. Two worked sources have the same present retained image and opposite future output ports. The paper then constructs finite electromagnetic Gauss, Faraday and work balances, connects the inherited exact wave propagator to its smooth limit, and gives an A2 gravitational source reading. The reconstruction states its source metric, transport, instrument and count-completion premises explicitly. It distinguishes finite addresses from finitely many possible phase states, and physical source selection from mathematical representation. The ideal matched quantum calculation also requires no outcome fitting. The reconstruction archive includes full source, the scientific illustration, the inherited numerical tables and 1,109 deterministic checks with 15 mutation checks, plus 664 additional explicit-construction checks and 10 mutations. These are reproducible mathematical fixtures, not new experimental observations. The fixed finite-wave residual retains its separate laboratory-access and sensitivity requirements. Stable paper DOI · Wave Dynamics · Completed-Event Transport · Main Book · Corpus Tree
A detector records an event through a succession of physical changes, from its initial response to the recovery of its working state. We construct a complete finite cycle on the local physical--observation phase space of PODA. An incoming carrier traverses fixed interaction regions, with its arrival, speed, and energy transfer governed by an autonomous Hamiltonian bounded below. Six canonical gates write a smooth event profile, amplify the pointer separation, export the record, reverse the working displacement, and exchange the remaining pointer state with a prepared blank. Their exact reference map identifies the selector and mechanical recoil left by record export. The retained core returns on the event-cell plateaus; narrow transition strips contribute a bounded probability of failure and a recoil that depends on the resolution. With a positive free Hamiltonian present throughout the passage, energy conservation and a finite-time perturbation estimate establish faithful writing, finite retention, and return within prescribed tolerances. An explicit binary realization admits nonzero preparation errors, and independent trajectory integrations check the equations and the endpoint map. These results complete the single cycle for the specified local model and incoming family. The calculation follows the archive, carrier, and waste through the output section, making explicit the resources consumed by reset. Preparation of fresh blanks, replenishment of those resources, and storage beyond the proven holding interval remain physical requirements of continued operation.
The papers released after Complementarity-First Foundational Release III developexplicit constructions in which a retained record, a comparison frame, an analytic domain, or apreparation map determines what can be composed and inferred. This review synthesizes fourteenresearch papers in five branches: autonomous source refresh; structured magnetic-core completionand local monopole dynamics; orientation-twisted composition and reciprocal quantum cells; non-linear superconducting response; and Feynman composition, configuration histories, and low-energyinterfaces. The source-refresh studies distinguish an exact spatial exchange from a reusable appara-tus, and an intended smooth model from its exact piecewise numerical source. The magnetic trilogyseparates extension of a structured bundle, observable-specific exterior recovery, energy coercivity,kinetic threshold behavior, and regular local evolution. The quantum-cell papers distinguish coher-ent changes of presentation from physically admitted processes, geometric cells from quantum statespaces, and boundary-word identities from unrestricted refinement invariance. The superconduct-ing comparison separates restricted density equivalence, a specified nonlinear field contrast, andexperimental identification. The four composition papers connect conditional amplitude rules tocontrolled one-dimensional histories, coherent coarse memory, induced metrics, common-windowpreparation, and explicit spectral-selection costs. Cross-branch comparisons identify genuine im-ports without assigning a common physical carrier to mathematically different models. Analyticarguments, finite certificates, historical replays, and partial formalization retain separate eviden-tiary roles. The contribution is a source-attributed release map and a synthesis of compositionand inference boundaries, not a new primitive derivation of quantum theory, matter, or gravity.Publication confirmation, access to the consulted edition, and deposited-file identity are recordedseparately.