Quantum mechanics supplies outcome probabilities through the Born rule, while measurement physics describes how interactions, decoherence, amplification, and environmental encoding produce records. We reformulate quantum admissibility around the distinction between quantum support, Born probability, operational record support, and realized record. The reformulation is motivated by a no-go result for a legacy strong ansatz in which Born probabilities are multiplied by an independently specified scalar admissibility factor: independence from the Born distribution together with arbitrary coarse-graining consistency forces that factor to be uniform, while the corresponding positive-operator construction reduces to an ordinary quantum state update. Rather than replacing this failed weighting by an unstructured support predicate, we connect record support explicitly to existing quantum-to-classical formalisms. Quantum-Darwinist redundancy, classically accessible information, quantum discord, and distance to spectrum-broadcast structure provide a context-dependent operational record profile from which prospectively specified support criteria can be constructed without modifying the Born rule. We also show why Bell correlations cannot supply the missing content of a binary support relation: a non-product joint support set is shared by classically correlated systems, while generic Bell-violating distributions may have full Cartesian support and differ only in their probabilityweights. Bell and no-signaling therefore constrain any future probability-modifying extension but do not establish relational realization as a new physical quantity. The resulting framework has three levels: a conceptual grammar, an operational record-support layer entirely within standard quantum theory, and a distinct strong route requiring independently predicted deviations from the best standard quantum-plus-apparatus model. The principal claim is consequently a boundary result: objective record support can be operationalized without a second probability law, whereas the natural scalar attempt to convert such support into probability reweighting is stronglyconstrained.
Quantum mechanics supplies outcome probabilities through the Born rule, while measurement physics describes how interactions, decoherence, amplification, and environmental encoding produce records. We reformulate quantum admissibility around the distinction between quantum support, Born probability, operational record support, and realized record. The reformulation is motivated by a no-go result for a legacy strong ansatz in which Born probabilities are multiplied by an independently specified scalar admissibility factor: independence from the Born distribution together with arbitrary coarse-graining consistency forces that factor to be uniform, while the corresponding positive-operator construction reduces to an ordinary quantum state update. Rather than replacing this failed weighting by an unstructured support predicate, we connect record support explicitly to existing quantum-to-classical formalisms. Quantum-Darwinist redundancy, classically accessible information, quantum discord, and distance to spectrum-broadcast structure provide a context-dependent operational record profile from which prospectively specified support criteria can be constructed without modifying the Born rule. We also show why Bell correlations cannot supply the missing content of a binary support relation: a non-product joint support set is shared by classically correlated systems, while generic Bell-violating distributions may have full Cartesian support and differ only in their probabilityweights. Bell and no-signaling therefore constrain any future probability-modifying extension but do not establish relational realization as a new physical quantity. The resulting framework has three levels: a conceptual grammar, an operational record-support layer entirely within standard quantum theory, and a distinct strong route requiring independently predicted deviations from the best standard quantum-plus-apparatus model. The principal claim is consequently a boundary result: objective record support can be operationalized without a second probability law, whereas the natural scalar attempt to convert such support into probability reweighting is stronglyconstrained.
Why does quantum theory assign outcome probabilities by squared amplitudes rather than by some other function of the wave function? Existing results show that the Born rule is singled out by the structure of Hilbert space together with consistency requirements on probability measures, yet the physical role of measurement context is often treated as a mere choice of observable. Here we make the context interface explicit by introducing contextons, a unit of outcome capacity: the smallest increment in a context’s ability to produce one additional stable, externally accessible outcome record (within a fixed reliability threshold). We model the measurement interface as a realization condition that instantiates an orthogonal decomposition of possibilities into distinguishable outcomes. Under three basic requirements – normalization, additivity under coarse-graining of orthogonal outcomes, and representation invariance – outcome weights must take the quadratic form induced by the inner product, yielding and, for rank-one outcomes, . The Born weights are thus read as a context-conditioned “fit” measure: not an extra postulate, but the consistent outcome weight associated with realized distinguishability. The main contribution is conceptual: contextons operationalize measurement context as finite outcome capacity and make explicit the record-level structure on which standard uniqueness results act.
Quantum mechanics is the study of uncertainty. But what does uncertainty mean within the structure of physical reality? From Newton onward, mathematical physics has largely approached motion by specifying a state, identifying the laws governing its evolution, and determining the subsequent behavior of the system. Fourier extended this program to heat, Maxwell to electromagnetic fields, Navier and Stokes to fluids, Hamilton and Lagrange to variational and canonical mechanics, Einstein to spacetime, and quantum mechanics to the evolution and measurement of the quantum state. Across these theories, increasingly powerful mathematics has described what a physical system may do and how its state may evolve. This work asks a logically prior question: Does everything that is mathematically accessible participate equally in physical realization? We propose that it does not. The central distinction developed in this work is between accessibility, admissibility, participation, and realization. A mathematical representation may contain a large space of possible states, trajectories, modes, or outcomes. Physical realization, however, need not occupy that space uniformly. We propose that relational structure establishes an admissible geometry within the accessible space; that geometry determines which possibilities participate strongly or weakly; and probability subsequently quantifies the residual uncertainty among physically supported realizations. The resulting ordering is: Potentiality → Relations → Structure → Geometry → Admissibility → Participation → Realization → Evolution. Under this interpretation, probability is not abolished. Superposition is not abolished. Quantum mechanics is not rejected. Rather, their physical ordering is reconsidered. Superposition describes what the mathematical representation can contain; relational geometry determines how strongly those possibilities can participate; probability describes the uncertainty remaining within that structured support; and observation records the realization that occurs. The NIST loophole-free two-photon Bell experiment provides the principal empirical test developed in this work. Beginning from the experimentally characterized entangled state—not from subsequently observed outcome counts—we construct a relational geometry and the corresponding outcome-dependent participation and information-cost landscapes. The NIST measurement configurations then become experimental sampling coordinates on a geometry determined independently from the later event records. The resulting analysis identifies several mutually reinforcing features: strong inequality among the participation of mathematically accessible Bell outcomes; a corresponding hierarchy of geometric information cost; concentration of experimental variation into reduced effective dimensions; agreement between predicted geometric support and held-out experimental records; preservation of Bell-inequality violation on the reduced realization geometry; compatibility with no-signalling; and robustness tests against multinomial, temporal, detector, and other alternative explanations. The interpretation is not a restoration of Bell-local hidden variables and does not require superluminal signalling. Bell's theorem continues to exclude the relevant locally factorized descriptions. Instead, the observed correlations are interpreted as local measurements of a common non-separable relational structure. Spatial separation does not imply relational or informational separability. This distinction also reframes the quantum measurement problem. Wave-function collapse need not be regarded as the event that creates the physical structure responsible for an outcome. The framework instead proposes that admissibility constrains participation prior to observation, with measurement revealing a realization from an already structured physical domain. A definitive replacement for the standard measurement postulate will require discriminating predictions beyond those already shared with conventional quantum mechanics. The broader implication concerns the theory of motion itself. Newtonian mechanics, Hamiltonian dynamics, Maxwell's equations, Fourier transport, Navier–Stokes flow, relativity, and quantum mechanics employ very different evolution equations, yet all operate upon structured physical domains. The admissibility framework proposes that their deeper commonality lies not in a single dynamical equation but in an ontological ordering: the laws of motion govern how reality evolves; admissibility governs the structure within which reality can become realized. This has consequences beyond quantum foundations. In engineering and computational physics, enormous mathematical state spaces are routinely explored through CFD, finite-element simulation, optimization, Monte Carlo methods, and digital twins. If physically significant behavior occupies a substantially smaller admissible geometry, computation can be redirected from exhaustive exploration toward the structures in which realizable behavior is concentrated. This provides a theoretical basis for reduced-order physical prediction, targeted simulation, transport localization, and deterministic Physics Intelligence. In AI infrastructure and high-performance computing, the same principle suggests that workloads, thermal transport, energy utilization, routing, scheduling, and hardware states need not be treated as equally relevant points within enormous combinatorial spaces. Identifying admissible low-dimensional structure before exhaustive computation offers a route toward reduced search complexity, improved orchestration, higher computational and energy efficiency, and physics-informed predictive control. In aerospace, energy, advanced manufacturing, climate systems, and data-center infrastructure, the framework similarly motivates identifying the geometry of physically participating transport before expending computational resources resolving the entire mathematically accessible domain. The work therefore proposes a common principle extending from fundamental physics to computational engineering: Mathematical possibility is larger than physical realization. Uncertainty may remain genuine at the level of an individual event without implying an absence of antecedent structure. The results presented here provide empirical evidence consistent with the proposition that physical realization is organized by relational geometry prior to probability, while identifying the further tests required to establish whether this ordering constitutes a fundamental law of quantum and classical motion. The next decisive tests include prospective Bell predictions, multipartite and contextuality experiments, Lorentz-covariant formulation, recovery of the classical limit, and extension to quantum field theory and curved spacetime. Nature need not explore everything mathematics permits. Motion is the realization of what physical structure admits. That description captures the actual architecture of the finished 130-page work: it preserves Bell's theorem rather than attempting to evade it, explicitly separates mathematical accessibility from physical participation, and treats the NIST comparison as evidence for the proposed framework while acknowledging that a distinctive prediction beyond standard quantum mechanics remains necessary for a physical replacement of collapse. Principal Implications What This Means for Bell’s Inequality Bell's theorem remains intact. The present framework does not attempt to restore Bell-local hidden variables, weaken Bell's result, or explain the observed correlations through faster-than-light signalling. Bell establishes that the correlations observed between Alice and Bob cannot be reproduced by the relevant locally factorized description. The question developed here begins after that result: if Bell-local separability fails, what physical structure carries the correlations? The proposed answer is relational geometry. Alice and Bob remain spatially separated and perform local measurements, but their outcomes arise from different interrogations of a common non-separable quantum structure. Spatial separation therefore does not imply informational or relational separability. The correlation need not be interpreted as something transmitted from Alice to Bob at the moment of measurement; it can instead be understood as a property of the joint structure to which both measurements belong. The NIST analysis gives this interpretation a quantitative form. The characterized entangled state determines the relational geometry before the subsequent detector records are used for evaluation. Alice's and Bob's measurement settings sample different regions of that geometry. The resulting Bell outcomes exhibit strongly unequal participation, while Bell violation and no-signalling are preserved. The proposed implication is therefore: Bell violation demonstrates the failure of Bell-local factorization; admissibility proposes a geometry for the non-separable physical structure that remains. This reframes the familiar intuition of "action at a distance." The deeper question may not be how information crosses the distance between Alice and Bob, but why spatial distance should require the relational information defining their joint state to become separable in the first place. What This Means for Wave-Function Collapse The framework does not discard wave-function collapse as an operational rule for updating the quantum state after an observation. It changes the proposed ontological role assigned to collapse. In the conventional collapse-centered picture, the quantum state contains multiple possible outcomes and measurement marks the transition to a definite result. This leaves a foundational question: what physically distinguishes the outcome that becomes real from those that do not? Admissibility inserts a structural stage before observation. The accessible quantum
This paper develops a reconstruction of probability that does not begin by assuming a probability space, a probability simplex, or the Born rule. Instead, it asks a prior foundational question: under what physical and mathematical conditions are a set of alternatives entitled to carry positive, additive probabilities at all? The construction begins with lawful histories, future interfaces, and retained records. It distinguishes coherent alternatives from exclusive empirical events, preventing multiple interfering routes from being mistaken for separate probabilistic outcomes. A future-sufficient quotient identifies distinctions that no admitted future test can detect, while a record-qualification step determines when alternatives have become genuine empirical events. Dagger-compatible comparison and positive record factorization then produce a positive comparison kernel, from which normalized event probabilities arise only after the relevant record sectors are certified as exclusive. The framework is extended beyond individual measurements. Compatible finite record refinements generate a global probability measure under explicit realizability conditions; stochastic kernels provide a compositional calculus for carrying probabilistic information through unresolved future structure; and locally classical measurement contexts are assembled into a single positive state on a generally non-Boolean effect structure. This allows globally coherent probability to exist even when no context-independent deterministic assignment of outcomes exists. On a reflection-positive Hilbert-space branch, admissible future contexts are represented by positive effects and positive normalized states by density operators. The Born state-effect law then appears as the finite-dimensional representation of a probability structure that has already been earned through record qualification, positivity, exclusivity, refinement, and contextual consistency rather than introduced as a primitive postulate. The paper also separates two mechanisms that are often conflated: quadratic Born-type weighting arises from dagger self-comparison, whereas equal probabilities for symmetric alternatives arise from symmetry of the outcome structure. A further state-effect bridge analysis classifies residual coordinate freedom and identifies an exceptional rank-two adjugate transformation with Lorentzian signature, which is removed when positive self-dual identification is required. The central interpretation is that probability can function as a lawful form of global completion: it can carry future-relevant law through unresolved structure even when deterministic uniqueness is unavailable. The paper does not derive a mechanism selecting one actual outcome and does not claim that every physical sector satisfies the stated hypotheses. Instead, it provides an explicit dependency-controlled architecture connecting lawful completion, reflection positivity, event qualification, contextuality, stochastic continuation, Hilbert reconstruction, and the Born rule.
We formulate a constraint-based framework for quantum outcome realization in which realization is treated as a physical, observer-embedded process implemented by admissible quantum channels. Without modifying unitary dynamics or introducing collapse mechanisms, we impose minimal admissibility conditions—complete positivity, compositional closure, observer consistency, record accessibility, and variational selectability—on realization channels. Under these conditions, standard Born-rule measurement statistics are not postulated but are enforced as a necessary consequence of physical admissibility. We further show that multi-agent contradictions of the Frauchiger–Renner type are non-formulable, as the joint observer inferences required for such constructions cannot be jointly instantiated as admissible physical records within a single realization channel. Existing approaches to quantum measurement are thereby exhaustively classified according to whether they deny physical realization, avoid outcome selection, or admit physically selective realization subject to admissibility constraints. The framework does not advance a new interpretation of quantum mechanics; rather, it classifies the space of physically admissible realization mechanisms once outcome definiteness is assumed to be physical. Within this classification, probability assignment, global observer consistency, and the exclusion of certain paradoxical constructions follow as structural consequences rather than independent assumptions.
A Kernel-Role Determinacy Theorem for Record Fixation, Fixed-Domain Quotients, and Boundary-Trace Normal Form This paper specializes the AASC kernel to the construction and use of quantum measurement records. Its central question is not initially how outcomes are produced, whether a wavefunction collapses, or which interpretation of quantum theory is correct. It asks what must be fixed for a measurement record to function as the same determinate physical and evidential object across retention, prospective use, deliberation, comparison, and report. For any non-degenerate determinate physical object, state, carrier, transformation, record, comparison, or endpoint, the paper takes the governing kernel to be: NDObj(x) ⇒ K(x) = (Adm, Stand, Ref, Irr). Admissibility, standing, reference, and irreversibility are therefore treated as necessary role conditions of determinate record use, not as an optional interpretive overlay added to an otherwise complete physical description. Measurement-record determinacy The manuscript constructs a fixed-domain measurement-record target in which a record must preserve: reference to the same construction token; standing-bearing evidential eligibility; admissible reuse; original act-time qualification; lawful redescription; retained and prospective record use; deliberative and comparative use; reportability and downstream inheritance. The resulting assignment space is quotiented by equivalence of standing-bearing measurement-record content. A rival quotient claiming exactly the same content collapses to the canonical measurement-record quotient. Representational differences that preserve the complete role content are treated as skin; differences affecting record identity, evidential ordering, admissibility, continuation, or downstream use remain physically relevant. Physically non-selective quantum regimes The paper then studies a physically non-selective quantum regime containing unitary branching, entanglement, decoherence, branch-local records, and stable local reports. The central result is conditional and target-specific: The bare unitary-entangling-decohering package can support multiple stable branch-local records without supplying a unique standing evidential record for the fixed construction-relative target. This is not a claim that branch-local records are unreal, unstable, or physically useless. It is a distinction between: physical occurrence of branch-local record structures; local branch-relative reportability; evidential role fixation for a record reused as the same standing object across the measurement practice. The paper shows that non-selective structures may agree on branch weights, density content, decoherence, correlations, instrument sums, channel closure, effect weights, projector orthogonality, and repeatability without selecting one fine record as the standing evidential record. Fixed-domain quotient and fixation commutation The theorem ladder establishes: fixed-domain assignment-space forcing; exact quotient construction for standing-bearing record content; same-scope equivalence collapse; fixation commutation under admissible transformation; inheritance of the original qualification requirement; persistence-bearing reuse; asymmetry exhaustion; anti-weakening; selector exhaustion. If evidential ordering varies across admissible assignments while the target requires one fixed-domain ordering, the ordering is not defined on that scope merely because numerical values or branch-local reports happen to coincide. The paper therefore treats measurement-record fixation as prior to the theory-level evidential reuse that depends on it. Boundary-trace normal form After internal and provenance/indexical routes have been exhausted, the residual same-domain route is a singleton stable boundary trace. Such a trace is not collapse dynamics, hidden-variable selection, or a new physical mechanism. It is an admissibility-preserving role anchor that can fix a record-bearing assignment only when its channel, incidence, transport law, original authority, and singleton-positive condition are independently warranted. The result distinguishes: sound partial selection from complete role fixation; unique trace value from unique original occupant; class-valued record fixation from raw-token fixation; later discovery of an original qualification from retroactive repair; physical record occurrence from standing evidential identity. Finite quantum specialization The paper occupies the abstract structure with an explicit finite two-branch quantum measurement domain containing: two outcomes; two fine records and one merged record; denominator-two branch weights; a balanced integer-amplitude state; density-table realization; selective and non-selective instrument maps; environment-record maps; projective branch maps; complementary effects; zero-product projectors; repeatability operations. On the declared balanced witness, amplitude weights, density weights, branch-map traces, effect weights, pointer records, instrument records, environment records, and channel records agree on the same branch architecture. Selective surfaces preserve the fine-record distinction. Non-selective surfaces agree only on the merged record. The fine records therefore remain separated, while the declared non-selective surfaces supply no singleton fine-record selector. The finite selector-boundary theorem eliminates the disjunction of candidate hidden selectors across the state, instrument, environment, channel, effect, and repeatability surfaces. The resulting diagnosis is precise: the missing structure is admissible fine-record role fixation, not further branch production, weighting, decoherence, stabilization, or repeatability. Scope and non-claims The manuscript establishes a finite, conditional, manuscript-facing theorem. It does not claim: to derive Hilbert-space quantum mechanics; to derive general POVM theory; to derive full projection-valued-measure theory; to reconstruct the full operator algebra; to provide a general Kraus representation theorem; to reconstruct complete positivity; to derive the continuum Born rule; to derive universal physical decoherence theory; to introduce a new collapse dynamics; to prove that no physical collapse process occurs in nature; to prove physical branch selection; to establish interpretive truth; to classify every possible physical measurement mechanism. The absence of a hidden selector on the declared finite non-selective surfaces is therefore not a theorem that no physical collapse or selection process can occur elsewhere. It is the finite theorem that those declared surfaces do not themselves supply the required fine-record selector. Relation to quantum interpretations The result does not deny the practical success of quantum theory, decoherence, branch-relative reporting, instrumental updates, or decision-theoretic methods. A practice aimed only at prediction, branch-local reporting, or instrumental updating may be a different target from the construction-relative record use studied here. If a theory claims to underwrite retained, prospective, deliberative, and evidential reuse of the same record-bearing construction token, it must preserve the relevant kernel roles and admit a standing-bearing fixation regime. Bare Everettian dynamics, without additional dynamics, ontological privileging, or admissible restriction to one constructional class, supplies no fine-record selector on the declared target. A strategy that preserves non-selective physics while restricting admissible record-fixation assignments belongs to a restriction-to-one-constructional-class route. Instrumentalist and QBist strategies instead reduce or redirect the target explanatory burden. Role in the AASC programme This paper provides the record-fixation layer of the AASC Quantum Determinacy Pair. Its companion Bell-scope work addresses the compatibility and no-signaling side of quantum witness determinacy. Together, the pair treats quantum records and witnesses as kernel-governed standing structures rather than as automatically determinate physical occurrences. The paper’s principal contribution is to identify the first failure point in a physically non-selective measurement regime: The initial problem is not necessarily the production of branch-local outcomes. It is the admissible fixation of the record role through which outcomes are retained, reported, remembered, compared, and used as evidence. The public Lean 4 formalization is synchronized with the finite measurement-boundary release v0.9.1 and provides the finite artifact for the declared effect, projector, compatibility, closed-stack, boundary-certificate, and audit layers. Keywords AASC; measurement problem; quantum measurement; measurement-record fixation; physically non-selective regimes; Everettian non-selection; record-role determinacy; fixed-domain quotient; standing equivalence; boundary-trace fixation; selector exhaustion; decoherence; branch-local records; admissibility and irreversibility; Lean 4 formalization
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.