A physical identification requires a domain of experiments, a realization, and an observation that distinguishes competing mechanisms. We construct these for the δ framework. Within finite causal quantum experiments, computable Choi data are equivalent to finite arithmetic programs producing valid instrument approximations at every requested accuracy. A separate pointer reader preserves the quantum posterior and supports adaptive composition. For the native two-atom census, the actual join update and common-mode retention select golden scaling and a signed contraction. Coherent return selects its minimal conserving completion; an independently calibrated spectral band then selects its constant interaction. A bright-mode construction and a stable short-time calibration procedure supply an explicit realization and uncertainty budget; measured duration and frequency supply the dimensional units. We derive a general endpoint identity between stored record energy and comparison imbalance, and distinguish the monotone fresh-record trajectory from coherent recurrence. The logical-to-physical bridge also has a sharp boundary: an explicit instance of the proposed completion generator has no effective value-reflecting physical reader or numerical comparison receipt. Sequence completion requires precisely the corresponding halting-oracle resource, not an unexplained scalar cost. This obstructs operational completion while leaving purely proof-language transport distinct. Native implementations of identical logical strength nevertheless carry different physical receipts. Joint covariance and the exact endpoint law state the valid relationship between those quantities. Finally, calibrated return and three-outcome tests distinguish the relevant phase and recording alternatives, with quantitative error bounds. First public preprint release, version 1.0. The files include the PDF and the main TeX file. AI-use disclosure: AI assistance was used for source analysis, mathematical exploration, manuscript drafting and revision, diagram preparation, and computational verification support. GPT-6 Astra reviews assessed arguments, scope, readability, and schematics. These were internal model reviews, not external peer review. Jonathan Washburn is the sole listed author and is responsible for the released manuscript.
A physical identification requires a domain of experiments, a realization, and an observation that distinguishes competing mechanisms. We construct these for the δ framework. Within finite causal quantum experiments, computable Choi data are equivalent to finite arithmetic programs producing valid instrument approximations at every requested accuracy. A separate pointer reader preserves the quantum posterior and supports adaptive composition. For the native two-atom census, the actual join update and common-mode retention select golden scaling and a signed contraction. Coherent return selects its minimal conserving completion; an independently calibrated spectral band then selects its constant interaction. A bright-mode construction and a stable short-time calibration procedure supply an explicit realization and uncertainty budget; measured duration and frequency supply the dimensional units. We derive a general endpoint identity between stored record energy and comparison imbalance, and distinguish the monotone fresh-record trajectory from coherent recurrence. The logical-to-physical bridge also has a sharp boundary: an explicit instance of the proposed completion generator has no effective value-reflecting physical reader or numerical comparison receipt. Sequence completion requires precisely the corresponding halting-oracle resource, not an unexplained scalar cost. This obstructs operational completion while leaving purely proof-language transport distinct. Native implementations of identical logical strength nevertheless carry different physical receipts. Joint covariance and the exact endpoint law state the valid relationship between those quantities. Finally, calibrated return and three-outcome tests distinguish the relevant phase and recording alternatives, with quantitative error bounds. First public preprint release, version 1.0. The files include the PDF and the main TeX file. AI-use disclosure: AI assistance was used for source analysis, mathematical exploration, manuscript drafting and revision, diagram preparation, and computational verification support. GPT-6 Astra reviews assessed arguments, scope, readability, and schematics. These were internal model reviews, not external peer review. Jonathan Washburn is the sole listed author and is responsible for the released manuscript.
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.
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.
Keeping a record changes which alternatives can interfere. On a pair of eight-state clock channels, we derive three recording operations whose identical final measurement has probabilities 1/4, 9/32, and 3/8. The full-current instrument retains fifteen distinct histories and transfers incoming occupation phase into their relative phases. Requiring its physical realization to conserve both native clock energy and occupation has a stronger consequence: every collective one-channel observable is conserved, and all admissible operations lie in the permutation commutant. This yields an exact reference-count balance, a sharp state-dependent disturbance bound, and a finite-reference obstruction to exact neutral recording. We characterize the complete finite-reference attainable region by an explicit finite algebraic synthesis problem, including its no-reference endpoint. A conserving collision construction then supplies a concrete attainable family, with an exact diamond-error formula and a uniform reference-return bound. These results connect the choice of record to observable dynamics and to the reference that pays for their implementation. A finite discrimination protocol states the required preparation, error tolerance, sample count, and independently calibrated time and energy scales. First public preprint release, version 1.0. The files include the PDF, the main TeX file, and a complete source archive with editable schematics and relevant verification supplements. AI-use disclosure: AI assistance was used for source analysis, mathematical exploration, manuscript drafting and revision, diagram preparation, and computational verification support. GPT-6 Astra reviews assessed arguments, scope, readability, and schematics. These were internal model reviews, not external peer review. Jonathan Washburn is the sole listed author and is responsible for the released manuscript.
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.
Problem What must a physical record preserve to reveal temporal direction, measure duration, and support a calibrated experiment? This two-volume mathematical working paper distinguishes causal order, clock readings, and forward–reverse evidence, and studies their joint realization under one history law. Principal results Relative-entropy disintegration identifies evidence lost through observation. Graph potentials characterize sufficient current sensors by the absence of affinity on unobserved cycles; paired histories extend the criterion to silent events and indistinguishable reaction channels. Anonymous records, finite memory, and stopped decisions are treated explicitly. Compensated currents control clock calibration under shared environmental dynamics. A preparation-and-work identity bounds directional records and terminal organization together. Exact elimination retains hidden memory, while inverse and energy margins control response. A moving-sector comparison bounds the complete quantum apparatus record, including interactions, leakage, and transport; a spectral gap gives an explicit operating-time estimate. Analytical constructions and counterexamples cover graph–matter selection, ring and torus persistence, localized field clocks and receivers, and source-correlated records. A kinetic parent combines a selected ring, an inertial field, and a finite reversible receiver. Preparation frontiers separate information cost from attainable initial laws of a fixed dynamics. Methods, scope, and open questions The proofs use conditioning, path potentials, martingale compensation, generating functions, and stable operator comparison. The project includes editable sources, bibliography, 47 reproducible finite verification programs, provenance, and a separate corrections report. The results concern specified model classes and conditional external inputs. Selected spatial geometry is not a derived Lorentzian spacetime; the joint ring receiver uses supplied capture materials and diffusive transport. A common microscopic derivation of Lorentzian geometry, apparatus formation, two distinct proper-time clocks, constrained gravitational response, and typical directional preparation remains open.
This theoretical and computational preprint integrates standard QND measurement and posterior-martingale results with finite-confidence decisions and physically retained observer records. Under a declared quantum instrument and its standard outcome probabilities, the posterior is a bounded martingale on an increasing observation filtration. A precise sufficient identification condition yields asymptotic terminal weights; a binary Gaussian benchmark gives exact mean stopping times, finite-threshold latch probabilities, and a controlled population-transfer bias bound. Version 2.3 is the first public release. It distinguishes accumulated observations from lossy current memory; assumed Born/instrument probabilities from derived consistency results; expected entropy from pathwise ambiguity; continuous confidence endpoints from discrete overshoot and unresolved runs; and Kramers first escape from endpoint readout error. It also clarifies the conditional D18/D19 persistence-selector interface and the separate D1092 finite-resource ledger, with direct attribution to established QND convergence and filtering literature. The companion archive includes the editable manuscript, PDF, equation sources, a fixed validation protocol, executable independent checks, numerical results, a revision ledger, and unchanged historical inputs. Historical simulation summaries are explicitly distinguished from new executions; some older executable sources were unavailable. The new audit includes exact finite-kernel and stopped-posterior checks, Gaussian likelihood-mixture calculations, five neutral and four population-transfer boundary-value cases, and retention/accounting controls. All examples are analytic or synthetic. No laboratory measurements, independent Born-rule derivation, measurement-problem solution, universal physical selector, or new empirical anchor are claimed.