A calibrated quantum-record test can require both a global target state and a commoncomplete reader input, neither of which is certified by accessible marginal data. We construct theseinputs for the specified source-tagged model at an independently known source length m= 65. Thepublished joint-input work/source reset is followed by 37 finite swaps with fresh reader qubits and a69-slot target sequence: coherent work-label creation, globally conditioned tag injection, and 64neighboring source transfers. The control-only sequence prepares the exact far-target cat or itssigned partner with the required common phase. A retained random sign produces the comparisonmixture without postselection. Full-state comparisons include consumed supplies and arbitraryinitial correlations with exactly inert retained memory. The original clock, holding terms, sourcehopping, both port directions and either actual law, h= 0 or h= J/25, remain active throughout.The constructed initialization fits the existing 1/4000 allowance; target delivery has sufficienterror below 0.004816692 <1/200. With separate complete-interval generator and endpoint-effectallowances, each target response differs from its nominal value by less than 0.007816692 <1/125.The same reader initialization supplies the published reference-preparation interface. The resultis a conditional single-delivery construction: it consumes 37 fresh pure reader qubits, requirespreparation access through site 65 and additional globally conditioned controls, and inherits anextremely costly reset. Application to repeated acquisition still requires almost-sure conditionalsupply and error bounds; practical feasibility and uniform passing power are not established.
A calibrated quantum-record test can require both a global target state and a commoncomplete reader input, neither of which is certified by accessible marginal data. We construct theseinputs for the specified source-tagged model at an independently known source length m= 65. Thepublished joint-input work/source reset is followed by 37 finite swaps with fresh reader qubits and a69-slot target sequence: coherent work-label creation, globally conditioned tag injection, and 64neighboring source transfers. The control-only sequence prepares the exact far-target cat or itssigned partner with the required common phase. A retained random sign produces the comparisonmixture without postselection. Full-state comparisons include consumed supplies and arbitraryinitial correlations with exactly inert retained memory. The original clock, holding terms, sourcehopping, both port directions and either actual law, h= 0 or h= J/25, remain active throughout.The constructed initialization fits the existing 1/4000 allowance; target delivery has sufficienterror below 0.004816692 <1/200. With separate complete-interval generator and endpoint-effectallowances, each target response differs from its nominal value by less than 0.007816692 <1/125.The same reader initialization supplies the published reference-preparation interface. The resultis a conditional single-delivery construction: it consumes 37 fresh pure reader qubits, requirespreparation access through site 65 and additional globally conditioned controls, and inherits anextremely costly reset. Application to repeated acquisition still requires almost-sure conditionalsupply and error bounds; practical feasibility and uniform passing power are not established.
We construct a source-matched reference calibration for distinguishing the coherent law h = 0 from the specified added generator h = J/25 in a finite quantum-record model. A complete-carrier transfer bound connects an accessible reference contrast to a delayed target contrast while retaining the original drift and actual law. On reference coverage and measured admission, restricting both hypotheses by the same observed reference band yields a directed target-set separation of at least 0.0071230619 whenever both compatible classes are nonempty. Rival worlds may have different admitted nuisance parameters. The constants are uniform over independently known finite lengths m >= 65, with tag 65, access prefix 1:32 and target deadline 25.02/J. Finite reference preparation and work/source reset satisfy the declared response budgets. Reset acts on the actual joint input and consumed supply, with the retained reference R exactly inert. It does not assign a universal reduced channel to correlated supplies. Under almost-sure conditional resource and supply bounds, the comparison extends to history-dependent acquisition. A prespecified rule, including abstention below the calibration threshold, has each-law unconditional wrong-declaration probability at most 2 exp(-6) + exp(-85/16) < 0.01. This is neither a posterior probability nor an error bound conditional on admission. The statistical step uses standard bounded-martingale concentration. Global target states and specified auxiliary supplies remain resources. Reset requires additional globally conditioned controls and has very large finite costs. The result is a conditional theorem for the two declared laws; it does not establish practical implementation or a unique diagnosis of fundamental collapse. A supporting Lean 4 companion contains 85 theorem declarations and 30 supporting definitions across Calibration, Operations and Risk. It provides checked scalar, sufficient-bound, resource-arithmetic and finite-history risk consequences under explicit premises. The companion has an executed Linux preflight and accepted returned macOS compilation, named-type and transitive-axiom evidence. The quantum constructions and conditional moment, filtration, tower and tail derivations remain written proofs or external premises; this is not an end-to-end formalization of the physical theorem chain. The original checked companion targeted author v0.4 and is carried forward unchanged, with its scope and execution chronology preserved.
A quantum record can have locally accessible populations while its distinguishing phase remains correlated with a distant source. We study this access boundary in a specified finite recording apparatus with a returning, vacuum/one-excitation source. Source-position weights give finite-time cutoff bounds without removing any physical hopping or return coupling. For an initially far-tagged record and its incoherent mixture, every reader in a declared position-preserving local-control class obeys a phase-visibility envelope and a necessary access-time inequality. A separate finite local probe shows why that state-discrimination limit is not an unrestricted limit on distinguishing two dynamical laws: fresh local coherence can reveal a stipulated added dephaser without recovering the old record phase. We construct a bounded, degree-three reader accessing only source positions 1–32. With the initial tag fixed at position 65, exact finite-source arrival certificates and an analytical tail comparison yield recovery uniformly over every finite total source length at least 65. Accessible control faults are charged against the arrived signed-phase norm, while source-moving drift is charged against the full norm. At the fixed deadline 25.02/J, the matched phase-dependent difference between coherent and archive-gated dynamics exceeds 0.005, including the stated simultaneous control faults and four additional absolute response allowances of 0.008 each. Complementary results cover a vacuum-ready source and a stronger endpoint-prepared finite example. The conclusions are conditional on the supplied model, preparations, common realized controls and calibration bounds. They are not a switchable-fundamental-law experiment, a nuisance-independent classifier, an optimal-speed theorem or an end-to-end formal verification. The supporting Lean companion contains 59 declarations in eight modules with accepted returned Mac compilation, type and axiom evidence; physical analytical interfaces remain explicit hypotheses or outside that subset. The deposit files include the main manuscript, technical supplement and full research/reproduction package.
This paper develops local quantum-reader decision problems within Shadow Theory’s source–readout programme. It asks when feedback improves access to a target distinction in a fixed quantum source, and how reliably that distinction can be read under detector noise and calibration uncertainty. The source supplies independent copies conditional on one hidden label, held fixed throughout the experiment, from four equatorial qubit preparations. The task is to identify their common positive or negative sign, rather than reconstruct the full preparation label. Although all four preparations have identical separate-mode intensities, phase-sensitive local measurements provide access to the target. The analysis compares adaptive readers, whose measurement settings depend on earlier records, with randomized nonadaptive readers, whose complete schedules are selected before outcomes are observed. Each measurement consumes one fresh copy. Every protocol must return a sign at a fixed deadline, retaining all settings, outcomes, nulls and specified timing records. Neither class uses collective measurements or coherent quantum memory between specimens. The main results establish equal optimal worst-case error for both reader classes through three copies across the shared efficiency and visibility model. At four copies, explicit rational feedback policies outperform every randomized nonadaptive schedule over the full continuous equatorial measurement menu, in both the ideal model and a specified noisy model. The comparison is supported by continuous-menu lower certificates rather than measurement-grid searches alone. For a one-percent worst-case error target, the minimum copy count is narrowed to either 13 or 14 for each reader class in the nominal model, and either 16 or 17 under the specified asymmetric gain and phase uncertainty. These adjacent thresholds remain unresolved. Further results give an exact robust repeated-angle frontier, extend the comparison to randomized choices of a fixed repeated angle, and identify convex-source conditions under which one reader is globally sufficient. The accompanying technical supplement and reproducibility materials provide measurement-allocation benchmarks, expanded finite-menu comparisons, compact feedback policies, exact optimization certificates, and timing and calibration interfaces. The results quantify target access under explicitly stated preparation, measurement and record-access conditions. They use standard quantum probabilities within Shadow Theory’s research programme and distinguish copy savings from total apparatus, control or calibration savings.
A durable quantum record, the location of its coherence, and a uniquely actual outcome are different physical questions. We study their separation in a supplied finite-dimensional quantum theory. An explicit, time-independent apparatus couples a system–detector encoding to a controller, a distinct archive, and a finite returning source. A conditional energy penalty suppresses release of the original record without deleting its return coupling. An invariant reduction and a one-sided spectral-gap estimate yield a certified interval with archive occupation above 0.98438, controller-latched occupation above 0.99161, and filled-but-unlatched weight below 2.402 × 10^-7 in one stated design. The same record statistics admit different source-label overlaps and hence different coherence on a specified retained boundary. A conserved product of complementary exchanges accesses that coherence when the finite source is included. Given a calibrated multiregister reader, its finite-duration response separates the coherent apparatus from an independently added archive-gated reduction law, with the added process left active during readout. A conservative example retains a response gap above 0.01717 after separately stipulated one-percent error allowances. The contribution is the finite construction and its quantitative retention, access, and readout interfaces. Quantum carriers, Hamiltonian couplings, trace readout, source preparation, and the reader are supplied; local reader synthesis, empirical calibration, absolute rate selection, and unique-event actualization are not established. Paper code: CFQR-P1 (Complementarity-First Quantum Records — Paper 1). The associated bundle contains the technical supplement, editable LaTeX, numerical checking programs and rational certificates, and selected Lean sources with returned build and axiom-audit evidence. The 39 supporting declarations are partially formalized; eleven recorded type excerpts contain printing elisions. This is not end-to-end formalization, external human peer review, an experimental detection of fundamental collapse, or a derivation of unique-event actualization. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; author-owned software is MIT, subject to the bundle’s licence map and third-party notices.
Can an autonomous quantum apparatus produce approximately Born-distributed outcomes and faithfully preserve its own earlier measurement label without assuming complete initial quantum equilibrium? This paper presents two finite autonomous Schrödinger–Bohmian constructions with explicit error bounds under restricted nonequilibrium initial laws. Each construction addresses three separate requirements: outcome calibration, copying the actual earlier configuration label, and retaining that label throughout a specified holding interval. The first model combines periodic focusing, a finite recoiling reference rotor, and a delayed compensated oscillator. Its record-distribution error is at most 0.004434840087, while failure to copy and retain its actual earlier label is at most 0.002327254798. The second model begins with a small radial Gaussian, includes autonomous preparation and activation, and incorporates the record writer from the original entrance. The joint law of its earlier label and complete symbolic holding record differs from an ideal constant Born-labelled record by less than 0.006086770113 in total variation. Its actual-label copy-and-hold failure probability is below 0.000552421956. The proofs combine bounded-variation calibration, exact recoil reduction, conditional-rank current estimates, finite-clock derivative bounds, and absolute probability-current estimates over the entire holding interval. The specialized derivations and coefficient calculations are included in the manuscript’s appendices. The two models retain distinct Hamiltonians and statistical assumptions. Neither establishes universal relaxation from arbitrary initial laws, supplies physical sources for every prescribed interaction, or demonstrates laboratory realization. External specialist verification remains open.
Physical Sources, Finite Detectors, Persistent Records, and Actual Events This paper develops a unified account of quantum measurement under the Admissibility and Standing Constraint (AASC) framework, connecting constructed physical sources, quantum instruments, material amplification, finite record retention, event probabilities, and the actuality of measurement outcomes. The paper distinguishes three separate objects: a complete quantum instrument containing all outcome operations, including unresolved and failed outcomes; a material record carried by a physical system whose acquisition and retention can be analyzed; an actual history describing which occurrences belong to one original experimental run. A complete instrument and a persistent material record can be constructed without assuming that linear quantum dynamics alone selects one globally definite original-run history. Conversely, the admission of an actual event does not by itself determine its probability law or conditional quantum state. The physical construction contains two complementary measurement targets: a regulated interacting gauge–Higgs–fermion source with its full source Hamiltonian retained during finite receiver pulses; an explicitly parameterized six-mode cosine circuit with source and pump interfaces, losses, distinguishable outputs, a two-polarization intrinsic-spin receiver, and a finite energy-resolving thermal amplifier. The material-registration chain includes source-code loading, driven conversion, output registration, pump-displacement removal, transfer to an intrinsic material spin, finite Gibbs-collision amplification, endpoint reading, and quiet record retention. Electronic display labels, material flags, missed counts, dark displays, blanks, and unreadable outcomes remain distinct and are retained in the joint error ledger. The paper establishes: informative bounded receivers on an interacting quantum source; finite-pulse calibration with the complete source Hamiltonian retained; a complete monitored detector model; finite preparation and amplification bounds; coherent composition of instruments and records; adaptive record composition; local-instrument compatibility; calibrated affine probability uniqueness; sharp coherent calibration limits; sequential probability laws and compatible conditional states; explicit actual-history requirements. A finite Fourier residual certificate bounds the complete monitored detector instrument over its full 35.587ms interval by 0.063241 in restricted diamond norm. Exact interval arithmetic gives seeded amplifier endpoint fidelity greater than 0.9999235242 after 1,024 finite collisions, together with an explicit conditional survival bound for a subsequent 100ms quiet hold. The probability analysis shows that positivity, density-operator dependence, affinity under classical mixtures, and calibration fix the trace probability rule for the declared readout. Approximate sector calibration alone permits coherent deviations of order the square root of the calibration error; stronger linear bounds require additional structure. The paper’s central measurement-theoretic conclusion is deliberately separated from its successful detector construction. A complete instrument admits an exclusive-history completion, but linear quantum dynamics alone does not select one such history. Source-specific preparation, reader analysis, and a bounded counting-law completion supply the additional physical input required to select an actual history. The resulting framework substantially develops the material and probabilistic parts of quantum measurement while isolating apparatus errors, actual-history law, and event-selection assumptions as explicit obligations. The work does not claim to solve every interpretation of the measurement problem, derive a universal collapse law, establish unrestricted detector accuracy, or identify a finite calibration certificate with an experimental calibration. Principal contributions A unified source-to-detector account of quantum measurement. Constructed interacting quantum sources with finite receivers. Six-mode cosine-circuit detector realization. Material registration and finite amplification chain. Two-polarization intrinsic-spin receiver. Finite thermal collision and endpoint-reading model. Full-duration restricted diamond-norm detector bound. Interval-certified amplifier fidelity. Conditional quiet-hold survival bound. Retention of blanks, wrong, unreadable, and missed outcomes. Calibrated affine probability uniqueness. Sequential instruments and compatible conditional states. Explicit separation of complete instruments, material records, and actual histories. Source-specific conditions for actual-event selection. Complete physical error and assumption ledger.