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.
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.
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.
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.
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 is the eleventh paper of a series that redescribes physical reality as a causally consistent history of information updates, and the second panel of its second triptych — observer, then probability and typicality, then epistemic trust — ordered by dependence. The tenth paper defined a record-bearing observer as an operationally individuated physical subsystem that acquires and integrates records, decodes them through an implemented internal channel, and lets the decoded content shape later processing. It defined that subject but did not say how to count or weigh it, and it handed forward five unresolved demands: plural individuation, the observer-grain problem, temporal segmentation, one-to-many lineage continuation, and the fact that a Boltzmann brain is not excluded from observerhood. This paper takes up the weighing. It does not propose the correct cosmological measure; it asks what must be specified before a sentence about typical observers or self-locating credence is even well posed. The contribution is a measure-specification problem, not a measure. Two theses organize the answer. First, the several things called “probability” — dynamical transition probability, the Born weight, empirical frequency, an observer selection measure, self-locating credence, and normative trust — are conceptually and type-theoretically distinct, and identifying any one numerical assignment with another requires an explicit theoretical or interpretive bridge rather than following automatically. Second, a third-personal typicality claim and a first-personal self-locating credence claim are specified separately, the former needing no self-location bridge. Formally, history is the base measure layer, weighted within a fixed decoherent-history framework; observer architectures, observation episodes, observer-moments, record-derived states, and lineages are within-history fiber types, weighted by a non-negative measure kernel concentrated on a type-specific eligible set. The base measure and the kernel are separately specified and independently motivated inputs whose factorization cannot be recovered from the final observer measure alone. Typicality is a reference-class conditional prevalence; self-locating credence requires a further bridge that reads a physical or selectional measure as first-person credence; a conditioning rule for a measure-zero conditioning event is distinguished from, and ordered before, the regularization prescription for an infinite measure; and causal provenance, veridicality, and channel reliability are kept apart, with provenance prevalence treated as a diagnostic, not a verdict. The account is positioned explicitly relative to the xerographic-distribution program of Hartle and Srednicki. The paper makes no independent empirical prediction; it derives neither quantum theory, the Born rule, nor a unique cosmological measure, and it offers no normative theory of trust. It supplies a typed specification, the minimal conditions under which a typicality statement carries meaning, and a hierarchical specification family over which the twelfth paper’s self-undermining-trust criterion can range.
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.
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