Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Decomposing the Quantum Measurement Problem: Detector Representability, Probability, and Single-Event Actuality

Kacheong Yeung, Lex Yeung

Published Sep 26, 2026• 0 citations
Publisher

Abstract

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.

DOI
10.5281/zenodo.22981119

Related papers

The Actuality Question Before Born Weighting: Maximal Outcome Coarse-Graining and a Determinability Criterion

Kacheong Yeung, Lex Yeung

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.

•Oct 4, 2026•0 citations

Quantum Measurement under AASC

Amos Jay Maley Maley

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\ \mathrm{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\ \mathrm{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.

•Sep 10, 2026•0 citations

From Coherence Basins to the Quantum Record Lattice: A Dynamical Origin for Quantum Event Geometry

Shayne Pather

Quantum mechanics permits many possible outcomes, yet every successful measurement leaves one definite record: one detector clicks, one mark remains, one result becomes part of history. What turns a spread of possibilities into a single stable fact? This paper proposes that the answer lies in record basins. A detector is not merely something that interacts with a quantum system. It is a context-conditioned physical system that channels many microscopic histories into a small set of stable, distinguishable and reproducible records. Each complete history ends in one retained basin. Operationally, that is what appears as collapse. From this starting point, the paper asks why detector outcomes possess the projector-like logic used in quantum mechanics. Within one measurement context, mutually exclusive record basins generate an ordinary Boolean event algebra. The non-Boolean structure appears only when the record algebras of incompatible contexts are connected through propositions that preserve the same physical meaning across those contexts. This produces a partial contextual event geometry. The paper then identifies the further physical condition required for orthomodular closure: whenever one stable record proposition is contained within another, the difference between them must itself be able to exist as a stable, compatible and exclusive record. The proposal therefore reverses the usual explanatory order. Rather than beginning with projectors and asking what they mean physically, it begins with stable detector records and asks what geometry those records force. The resulting picture is simple: a detector is a record-forming dynamical system, collapse is the formation of one retained basin-level fact, and the quantum record lattice is the structure created by how such facts fit together across incompatible measurement contexts.

•Jun 25, 2026•0 citations

The Missing Premises of Quantum Measurement - Definite records and the Born rule from identity under transformation

Marc Maibom

La Profilée is the structural architecture of determinate nature: Constitution identifies the whole, Transformation evaluates its existence and identity through change, and Coexistence evaluates relations among realized wholes. This paper applies the full architecture to quantum measurement without changing the quantum equations. Its physical subject remains definite outcomes, their relation to unitary evolution, the Born law, and the identity of the records that carry them. A physically completed coupling resolves an exhaustive exclusive record variable; LP determinability then gives one actual record value without an observer selecting it. Exclusive actuality does not entail projection of the globally retained quantum state. Rank-one calibration and repeatability fix the affirmative branch map. Statistical non-contextuality additionally requires identity of the complete input–event experiment and descent of its law to that identity class. Stable Boolean event frequencies then give the Gleason representation, and preparation faithfulness identifies its operator with the prepared state. Each inference is proved in the text. The argument determines the carrier and instrument before using these results. It proves that a unique instrument constitution does not select a run outcome, and that decoherence alone does not identify the physical record partition. Worked reversible-laboratory and relational cases distinguish an actual event from persistence of its record. Quantum recovery makes the distinction quantitative: a two-qubit copying channel preserves classical labels exactly, loses local full-qubit recoverability with optimal normalized diamond error one half, and preserves the full code jointly. Continuation-family and complementary-channel results connect those measurement records to information preservation, including evaporation. The resulting measurement theorem states its structural and physical requirements explicitly; it does not predict the individual outcome or infer multi-time consistency from a formal state–label pair alone.

•Jul 21, 2026•0 citations

Quantum Measurement: Separating the Physical Burdens and Testing Outcome-Conditioned Continuation

Rick - PraxisFoundry001

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.

•Sep 21, 2026•1 citation

Explanatory Adequacy in Relational Quantum Mechanics: From Relational Events to Relational Histories

Behruz Ebrahimi

This paper examines the explanatory adequacy of formulations of relational quantum mechanics by distinguishing two levels of relationality. Intra-event relationality concerns the specification of a fact that obtains relative to a system in a particular interaction; inter-event relationality concerns the constraints connecting an event to subsequent events, physical records, and a relational history. Using established results from measurement theory, we show that an effect can specify the statistics of the current outcome without uniquely determining the conditional operation or the statistics of subsequent sequences. Likewise, a fixed coupling and ready state do not uniquely determine the structure of retrievable records unless the readout is specified. We accordingly introduce a task-relative criterion of explanatory adequacy: the required structures must be assessed against the particular explanatory role that a formulation assigns to an event, a relational fact, or a link between perspectives. The conclusion is not that RQM must derive instruments, dynamics, or linking rules from relational principles. A formulation that explicitly incorporates these structures can be fully adequate for the task in question. The paper contributes a distinction between intra-event and inter-event adequacy, a unified criterion for the division of explanatory labor, and a task-relative definition of an architectural deficit.

•Oct 1, 2026•0 citations
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.
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.
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 ms35.587\ \mathrm{ms}35.587 ms interval by 0.0632410.0632410.063241 in restricted diamond norm. Exact interval arithmetic gives seeded amplifier endpoint fidelity greater than 0.99992352420.99992352420.9999235242 after 1,024 finite collisions, together with an explicit conditional survival bound for a subsequent 100 ms100\ \mathrm{ms}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.
Quantum mechanics permits many possible outcomes, yet every successful measurement leaves one definite record: one detector clicks, one mark remains, one result becomes part of history. What turns a spread of possibilities into a single stable fact? This paper proposes that the answer lies in record basins. A detector is not merely something that interacts with a quantum system. It is a context-conditioned physical system that channels many microscopic histories into a small set of stable, distinguishable and reproducible records. Each complete history ends in one retained basin. Operationally, that is what appears as collapse. From this starting point, the paper asks why detector outcomes possess the projector-like logic used in quantum mechanics. Within one measurement context, mutually exclusive record basins generate an ordinary Boolean event algebra. The non-Boolean structure appears only when the record algebras of incompatible contexts are connected through propositions that preserve the same physical meaning across those contexts. This produces a partial contextual event geometry. The paper then identifies the further physical condition required for orthomodular closure: whenever one stable record proposition is contained within another, the difference between them must itself be able to exist as a stable, compatible and exclusive record. The proposal therefore reverses the usual explanatory order. Rather than beginning with projectors and asking what they mean physically, it begins with stable detector records and asks what geometry those records force. The resulting picture is simple: a detector is a record-forming dynamical system, collapse is the formation of one retained basin-level fact, and the quantum record lattice is the structure created by how such facts fit together across incompatible measurement contexts.
La Profilée is the structural architecture of determinate nature: Constitution identifies the whole, Transformation evaluates its existence and identity through change, and Coexistence evaluates relations among realized wholes. This paper applies the full architecture to quantum measurement without changing the quantum equations. Its physical subject remains definite outcomes, their relation to unitary evolution, the Born law, and the identity of the records that carry them. A physically completed coupling resolves an exhaustive exclusive record variable; LP determinability then gives one actual record value without an observer selecting it. Exclusive actuality does not entail projection of the globally retained quantum state. Rank-one calibration and repeatability fix the affirmative branch map. Statistical non-contextuality additionally requires identity of the complete input–event experiment and descent of its law to that identity class. Stable Boolean event frequencies then give the Gleason representation, and preparation faithfulness identifies its operator with the prepared state. Each inference is proved in the text. The argument determines the carrier and instrument before using these results. It proves that a unique instrument constitution does not select a run outcome, and that decoherence alone does not identify the physical record partition. Worked reversible-laboratory and relational cases distinguish an actual event from persistence of its record. Quantum recovery makes the distinction quantitative: a two-qubit copying channel preserves classical labels exactly, loses local full-qubit recoverability with optimal normalized diamond error one half, and preserves the full code jointly. Continuation-family and complementary-channel results connect those measurement records to information preservation, including evaporation. The resulting measurement theorem states its structural and physical requirements explicitly; it does not predict the individual outcome or infer multi-time consistency from a formal state–label pair alone.
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 examines the explanatory adequacy of formulations of relational quantum mechanics by distinguishing two levels of relationality. Intra-event relationality concerns the specification of a fact that obtains relative to a system in a particular interaction; inter-event relationality concerns the constraints connecting an event to subsequent events, physical records, and a relational history. Using established results from measurement theory, we show that an effect can specify the statistics of the current outcome without uniquely determining the conditional operation or the statistics of subsequent sequences. Likewise, a fixed coupling and ready state do not uniquely determine the structure of retrievable records unless the readout is specified. We accordingly introduce a task-relative criterion of explanatory adequacy: the required structures must be assessed against the particular explanatory role that a formulation assigns to an event, a relational fact, or a link between perspectives. The conclusion is not that RQM must derive instruments, dynamics, or linking rules from relational principles. A formulation that explicitly incorporates these structures can be fully adequate for the task in question. The paper contributes a distinction between intra-event and inter-event adequacy, a unified criterion for the division of explanatory labor, and a task-relative definition of an architectural deficit.