This work separates several physical and theoretical burdens that are often grouped together under “the quantum measurement problem” and develops an experimentally answerable test of one of them: outcome-conditioned continuation. The proposal does not treat measurement as one indivisible physical event. It distinguishes the admission of a measurement interaction and apparatus, durable record formation, later availability of that record, agreement among physical carriers, global outcome standing, quantum-probability weighting, and the rule governing what physical or predictive description continues after an outcome. These burdens can remain open or fail independently. The principal experimental proposal is the Quantum Continuation Closure Test (QCCT). QCCT-I asks whether two physically distinct proper-mixture preparation procedures that are represented by the same admitted standard quantum state can produce different later statistics after the same admitted first measurement. The canonical preparation pair consists of equal-weight Z-basis and X-basis proper mixtures that are represented by the same maximally mixed qubit density operator under standard quantum mechanics. A fixed standard quantum instrument cannot depend on which proper-mixture decomposition produced that state. Published generalized state-update rules provide explicit theory-side foils for which the preparation decomposition can instead remain relevant to the postmeasurement continuation. Ordinary quantum physics is given first refusal. Preparation mismatch, improper-mixture substitution, calibration failure, different first-measurement seats, preparation side channels, ordinary non-Lüders instruments, temporal process memory, and independently warranted expansion of the physical reference must be tested at their own declared scopes before a stronger preparation-indistinguishability violation can be inferred. QCCT therefore does not treat deviation from an ideal Lüders prediction, failure of one fitted instrument, or a preparation-dependent sequential signal as immediate evidence for new quantum dynamics. The comparison architecture escalates from fixed-instrument closure to finite-horizon process-tensor closure and only then to stronger bounded residual claims. The experiment is modular. Prospective QCCT-I execution, process-memory characterization, coarse-graining invariance, archival-data analysis, and later distributed partial closure may contribute distinct local results. A result transfers to a later experiment only through an explicit interface preserving the relevant physical carrier, reference, scope, calibration, provenance, and unresolved burdens. The deposit also contains a machine-auditable formal surface. One consolidated Lean file contains two scientifically distinct Quantum Measurement modules: Seam G, concerning Born weighting / quantum probability measure, and QCCT-I, concerning preparation-indistinguishability / outcome-conditioned continuation. Their shared file packaging does not merge their objects, burdens, evidence states, dispositions, or claims. Both generic machine dispositions remain Not Yet Adjudicable. Seam G retains open domain-owned probability-admission burdens. QCCT-I retains open empirical preparation, reference, measurement, side-channel, comparator, and adjudication burdens. The consolidated Quantum Measurement contracts-and-adapters file was appended directly beneath the unchanged Structural Flow Universal Kernel and elaborated cleanly twice during the release audit. Clean elaboration establishes only that the encoded contracts and adapters coexist coherently at their declared formal scopes. It does not derive the Born rule, establish the physical validity of the generalized continuation family, demonstrate preparation equivalence, close the ordinary quantum comparators, establish an anomaly, falsify standard quantum mechanics, or select an interpretation of quantum measurement. The physical answer remains the responsibility of experiment.
This paper argues that the quantum measurement problem is not a single explanatory gap but a collection of distinct tasks. We separate detector representability, probability structure, single-event actuality, and outcome-conditioned refinement, and distinguish all four from causal registration, the physical criterion by which an already-instantiated event becomes a completed measurement record. These are explanatory roles within one measurement phenomenon rather than successive temporal stages. The analysis begins from the contrast between a global quantum description containing several detector-correlated components and the single entry that appears in a realized measurement history. Rather than compressing this contrast into an unexplained transition often labeled “collapse,” we ask which specific explanatory constraints must be satisfied before the relation between the two descriptions can be diagnosed precisely. A finite-resolution alternating position–momentum history is used throughout to separate questions of record formation, probability, actuality, causal registration, and outcome-conditioned refinement. A continuum analysis shows that making the registered history arbitrarily dense does not by itself recover a classical trajectory. Several parts of the architecture are exact once their inputs are specified. A detector representation induces an exact quotient; a specified acquisition channel and record family induce system-side effects; and a specified quantum instrument determines a family of subnormalized conditional branches before any one outcome is instantiated. Given a realized outcome label, the same instrument determines the corresponding normalized outcome-conditioned state. A finite-dimensional acquisition model explicitly realizes the representability chain, while a record-algebra indistinguishability result shows that removing coherence between detector-record sectors can leave all expectation values in the lifted record algebra unchanged even when that coherence remains detectable in a richer context. These results sharpen, but do not dissolve, the measurement problem. Record structure does not derive Born weights; a probability law does not itself constitute the event realized in one run; a mathematically available conditional branch family does not select one branch condition as actual; and causal onset, stabilization, registration, and conditional refinement all presuppose or follow that event rather than produce it. The resulting constraint audit tests—without assuming—the hypothesis that global quantum multiplicity and detector-record definiteness may belong to different representational levels. The main conclusion is not a new collapse dynamics but a localization of the remaining explanatory burden. Once representability, probability, causal registration, and conditional refinement are assigned their proper roles, the unresolved actuality transition can no longer be hidden inside the single label “collapse.” In the typed measurement architecture considered here, no pre-event operation has the mathematical role of producing an individual event token without additional event-producing structure. This is version 1.0 of the manuscript.
We reconstruct nonrelativistic quantum mechanics from exactly three physical axioms: microscopic ontic definiteness and finite localization, physical reality of the spacetime-vacuum substrate, and persistent causal source–response coupling. The single-run physical state is a finite topological core, its actual causal history, the substrate state, its sector, and the associated historical disturbance. A wave function is not identified with that ontic tuple. It is a ray in a Hilbert representation of admissible preparations and response amplitudes; a density operator is a statistical or reduced representation; and a record is a stable macroscopic event. The logical construction is acyclic. Finite-energy sector spaces and their continuous symmetry representations lead, under explicit representation conditions, to a complex Hilbert direct sum. A closed semibounded quadratic form defines the Hamiltonian and its self-adjoint realization. The standard Schrödinger action, unitary propagation, probability current, spectral observables, uncertainty relations, composite-system tensor products, spin representations, exchange sectors, instruments, and completely positive open dynamics then follow on their declared domains. Gleason-type reasoning fixes the Born form only after additivity, noncontextuality, continuity, and preparation–detector calibration are stated. Those operational conditions are not hidden physical axioms. The distribution of unresolved ontic initial data that realizes quantum equilibrium remains a realization certificate, not a theorem of topology alone. The Heisenberg representation is derived as a controlled transport of observables after Hilbert space and the self-adjoint generator have been constructed. Strongly continuous time translation, two-parameter nonautonomous propagation, common-domain Heisenberg equations, spectral matrix mechanics, regular Weyl relations, open-system adjoints, and instrument effects are connected by one certificate. Schrödinger and Heisenberg predictions are proved equivalent for one-time and finite instrument records, while finite-core, historical, truncation, domain, and detector errors remain separately bounded. Three frozen matrix benchmarks verify low-energy oscillator truncation and its state-weighted CCR defect, second-order unitary convergence for a driven doublet, Schrödinger–Heisenberg equality for a sequential instrument, finite auxiliary-history truncation, and quadratic leakage scaling for a conditional Dirac–Pauli interface. Independent reproduction, including the extended-precision audit, is closed for the frozen packet; physical coefficient calibration remains open. The next interface connects an owner-resolved Dirac–Pauli Hamiltonian to spin records through a Ward-compatible vertex, a causal passive history kernel, an independently audited doublet projection, SPAM-aware forward probabilities, nuisance-profiled identifiability, and a noncompensatory coefficient-to-record error theorem. The DPHC identifiability coordinate is executed on a frozen synthetic response family. A single-scale design is rank deficient, whereas an eighteen-setting frequency–gradient–order–time design has full profiled rank, controlled conditioning, near-nominal finite-sample coverage, and a calibrated held-out statistic. A robust twenty-setting design raises the worst registered information eigenvalue by
20.12%. A ten-parameter nonlinear audit exhibits an exact radiative–detector equivalence curve. An independent dark record breaks that symmetry and restores full local rank. Continuous-set robustness, validated global exclusion, and independent implementation are executed, while physical response identification and empirical calibration remain open. Measurement is treated as a dynamics of system, apparatus, environment, and actual history. Unitary premeasurement and decoherence select robust record sectors but do not by themselves select one record. The three-axiom ontology supplies one actual branch history, while a measurable response map from the complete initial state and instrument to the final record supplies the missing dynamical content. Bell correlations require contextual and nonfactorizable ontic response while parameter independence and operational no-signalling are retained; no controllable superluminal channel is introduced. Historical response produces causal non-Markov Hamiltonians and memory-kernel master equations. Their normalization, positivity, complete positivity, and energy ledger are derived from a unitary enlarged realization whenever such a dilation exists. Finite-core form factors and causal memory yield explicit departures from point-core Markov quantum mechanics. Standard quantum mechanics is recovered as the unresolved-core, sector-fixed, quantum-equilibrium, short-memory limit. Quantum field theory is retained as a successful local, spectral, and asymptotic calculus, but field operators, Fock vectors, and vacuum functionals remain effective representations until a noncircular map from finite carriers and their complete causal histories has been certified. The manuscript proves a sequence of previously open analytic, mathematical, measurement, topological, statistical, and computational obligations on explicitly declared domains. These include non-Markov diffusion, graph-norm stability, distorted-wave and pole variation, finite passive-memory realization, Fisher-information identifiability, detector pushforwards, unique-record basins, Born-representation bounds, measurement independence, topology–Dirac charge conjugation, Stern–Gerlach records, action-scale matching, rank-two spin projection, Finkelstein–Rubinstein topology, Clifford reconstruction, and parent-to-record realization maps. Eighteen groups of numerical obligations are executed on frozen reference models. They cover spectral and scattering calculations, oscillator and two-level dynamics, Schrödinger–Heisenberg equivalence, finite-history truncation, Dirac–Pauli and Foldy–Wouthuysen reduction, gauge covariance, interference, Bell and GHZ correlations, open-system memory, Stern–Gerlach records, identifiability, global searches, topological invariants, path products, semiclassical limits, partial-wave optical closure, the relativistic/QFT interface, and conservative-parent two-level dynamics. Every environment explicitly typed as a computational obligation now has an executed frozen-model certificate; empirical identification and separately typed experimental inputs remain open. The present manuscript differs so substantially from the earlier version in scope, logical architecture, proofs, and executable certificates that it is issued as a new upload rather than as a minor revision. Because the subject is both foundational and technically consequential, readers professionally engaged in quantum foundations, mathematical physics, quantum measurement, or related fields are encouraged to consult both versions: the earlier version preserves the developmental route, whereas the present version gives the substantially expanded and reorganized reconstruction. ## Keywords Axiomatic quantum mechanics; finite particle histories; retarded Green functions; Schrödinger equation; Dirac equation; Born rule; topological spin; quantum measurement; non-Markovian dynamics; classical limit.
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.587 ms 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
100 ms 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.
When the conditions under which a record is formed remain fixed, a physical theory may represent that record completely by a unary law of the state observed. This paper asks what structure is forced when the same independently certified physical identity gives different complete records under different formation conditions. The initial datum distinguishes two typed empirical roles, while the state identity of the formation side is derived from its complete behavior. Failure of factorization through the first projection proves that the formation-side role cannot be deleted. The complete row and column behaviors of the primitive law then determine two kernel pairs and their coequalizers. Unique descent retains every observable distinction while removing every redundant label, and the resulting realization is terminal among all exact role-preserving realizations. The product pairs the reduced roles; a pullback extracts the combinations on which records can actually be formed. Only after these steps does exponential transposition identify each surviving formation class with one complete response map. The resulting bijection supplies the state criterion and establishes the observation-state object. Compatibility with the antecedent theory preserves the independently given physical state space and yields the physical–observation law in which a fact is generated jointly by the state observed and the state of observation. The same construction gives exact criteria for conditional, label-free, and joint identifiability and selects the same-source pullback on which transport may subsequently be defined. A nonzero coherent response on that pullback yields the phase-transport fundamental equation, the first fundamental equation written directly on observation space. Quantum theory subsequently enriches this canonical interface. Coherent response and full circular phase select the complex field; reversible binary mixing yields CP1 ∼= S2 ; independent composition creates the four-dimensional event domain; response-event identity glues probabilities across complete contexts; and Gleason representation with marginal consistency gives the Born trace pairing. The two-qubit correlation tensor then yields the singlet cosine law, the CHSH inequality, the Tsirelson bound, and the Horodecki spectral criterion. Bell violation is thereby identified with the absence of a positive global answer section across incompatible observation states. The quantum formalism is thereby closed into one architecture: complex state geometry describes coherent physical possibility, complete observation states specify the ways in which facts may form, the Born interface joins them, and quantum instruments carry a realized fact into subsequent dynamics. Fixed observation sections recover classical unary laws, while smooth equivariant enrichment lifts relativistic frame geometry and internal gauge geometry to the same joint domain. The central result is ontological. Physobser Theory admits observation into objective physical reality not as a mind, an external readout, or a perturbation, but as an irreducible state-bearing axis; a fact is generated at its lawful interface with physical state. Category theory is the proof instrument. The discovered physical content is the dual-axis constitution of facts, which supplies a common foundation for quantum, classical, relativistic, and gauge physics.
Questions about quantum measurement are often collected under the umbrella term “the measurement problem,” which conflates record-bearing structure, fine-event actuality, and statistical weighting into a single explanatory task. This paper separates those roles through a reduction–reconstruction strategy with two structural results. First, Born weighting is suspended and the physically defined record architecture is maximally coarse-grained to the distinction between non‑record‑bearing and record‑bearing sectors. After an ideal measurement interaction, the final state may lie entirely in the record-bearing sector, establishing sharp coarse record-sector support without selecting any fine-grained event. Restoring physically meaningful record resolution preserves that coarse truth while enlarging the represented question space: whenever the same postmeasurement state has support in more than one distinguishable fine sector, no occupied fine sector contains the global state. The single-event question therefore appears not through failure of coarse dynamics, but through successful coarse dynamics followed by finer physical resolution. Second, the paper asks what could genuinely supply the missing fine-event specification. Relative to a theory‑relative completed standard-description map D̄, a deterministic actuality map X̄ is already determined by the completed description exactly when X̄ = G ∘ D̄ for some G. Non‑injectivity of D̄ alone is insufficient for actuality underdetermination; the decisive obstruction is variation of X̄ within a fiber. Failure of factorization signals the need for residual run‑level information beyond the completed standard description, whereas factorization eliminates that informational need without implying that the candidate law G is part of standard quantum theory. Stochastic completions may instead add an independently specified law of event occurrence. Probability is then restored as an empirical reconstruction constraint: admissible completions must recover the Born distribution, preserve cross‑resolution consistency, and, where applicable, reproduce protocol‑level registered‑history laws. The result is a structural separation among record‑sector support, fine‑event actuality, Born weighting, and registration, without selecting a preferred interpretation or proposing an actuality mechanism. This is version 1.0 of the manuscript.