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

Decoherence as a selector: spectral projection of the environment and the survival conditions of non-Abelian records

Hengjin Cai

Published Sep 15, 2026• 0 citations
Publisher

Abstract

We show how an environment selects—rather than generates—gauge structure in open quantum systems with degenerate subspaces, at the toy-model level. On the negative side, a structural theorem shows that a single Gaussian coupling channel cannot generate new internal directions: after the polaron displacement the environmental correction is proportional to the square of the coupling operator and commutes with it, and virtual processes produce only diagonal polaron shifts (confirmed numerically to 10−15). On the positive side, the environment acts as a selector through the spectral projection of its coupling operator Λ: it marks whole degenerate blocks while remaining exactly blind to their interior. Two theorems give the precise statement. Theorem 1 (Hadamard factorization) decomposes record formation into environmental writing followed by geometric readout, ρ S (τ ) = W(C) [D(C)◦ρ S (0)] W(C) † . Theorem 2 (spectral-block blindness) proves D uv (t) = 1 exactly inside each degenerate block, with unitary intra-block dynamics preserved for all times. The survival of non-Abelian records is thereby quantified by the three-layer criterion of Corollary 2 (spectral blind block with rank ra ≥ 2, intra-block capability, and intra-block non-commuting control), verified numerically from the block level to the group level: a j = 3/2 monopole construction gives the non-Abelian commutator criterion calg = 0.585, retained at 0.973 under a partially blind environment. Real gravitational environments and the derivation of gauge groups lie beyond the present toy models.

DOI
10.5281/zenodo.22763866

Related papers

Roco Algebra: Coercive Selection and Reduced Internal Dynamics in Open Systems

Roco Roco

Open systems rarely preserve the clean invariant subspaces familiar from closed Hamiltonian dynamics. Coherent mixing, leakage, dissipation, and environmental coupling often destroy exact invariance while still allowing certain sectors to remain dynamically meaningful. This dissertation introduces Roco Algebra as a finite-dimensional operator-theoretic framework for studying precisely this situation. The central shift is from invariance to survival. Instead of asking which subspaces are exactly preserved, the work asks which blocks persist under the combined action of coherent dynamics and coercive dissipation. The dynamics is modeled by generators of the form G = -iH - Γ, where H controls coherent mixing and Γ acts as a dissipative or coercive operator. Under suitable spectral and coercive assumptions, this structure selects a persistent sector that carries the effective long-time dynamics of the system. The dissertation develops this mechanism in several stages. It introduces leakage observables and commutator defects, upgrades candidate blocks through Riesz projections, and compresses the surviving dynamics into a reduced algebra AZ = PZ Mn(C) PZ. In this reduced setting, the projector PZ becomes the residual unit of the surviving block, while the traceless Hermitian component carries the active internal dynamics. A key feature of the framework is that familiar internal coordinate systems arise naturally in low rank. Rank-2 persistent sectors are coordinated by Pauli matrices, producing a Bloch-type reduced geometry. Rank-3 persistent sectors are coordinated by Gell–Mann matrices, producing a ternary internal structure compatible with the su(3) language. For readers in mathematical physics, open quantum systems, non-Hermitian dynamics, and operator theory, the dissertation offers a structural account of how internal algebraic organization can emerge from selective dissipative survival rather than being postulated from the outset.

•Apr 3, 2026•0 citations

The Unified Spectral Bottleneck Theorem

Vincent Marquez

We prove that a single abstract theorem governs information loss in quantum systems under Lindbladdynamics, in neural networks under domain shift, in gravitational decoherence, and in non-Markovian open systems. The theorem requires three objects: a metrized configuration space (X,d),a positive semidefinite operator ρ on X decomposed into shells by d, and a distance-monotone contraction—any completely positive map that suppresses off-diagonal elements monotonically in d.From these alone, we derive the spectral bottleneck D∗, the peeling order, the entropy–shell connectionvia the Kubo-Mori kernel, and the parameter-free collapse time ratio. Lindblad dephasing,gravitational self-energy channels, spectral projection in transfer learning, and time-dependentnon-Markovian dynamics are all shown to be instantiations of the same abstract structure, with D∗emerging from the same theorem in every case.

•Feb 10, 2026•0 citations

Generalising gravitationally induced decoherence beyond linear environmental interactions in a microscopic quantum mechanical toy model

Max Joseph Fahn, Renata Ferrero, Kristina Giesel +1 more

We generalise the quantum mechanical toy model for gravitationally induced decoherence presented in Xu, Blencowe (2022) and Domi et al. (2024). In contrast to earlier formulations, in which the Hamiltonian of the system of interest is linearly coupled to the position operators of the oscillators in the environment, we consider an interaction formulated in terms of Weyl elements of the environment's position operators. This extension is motivated by polymer quantum mechanics, in which Weyl elements are fundamental operators, as well as by the possibility of generating non-linear interactions through suitable truncations of the exponential Weyl elements. Here we focus on a sinus-like coupling that is still quantised using the Schrödinger representation and, in the limit of a small Weyl parameter, reproduces the conventional linear interaction. To derive the corresponding master equation, we developed two complementary methods for the analytical calculation of the environmental correlation functions. The first utilises Wick's theorem for thermal expectation values in conjunction with annihilation and creation operators, while the second is based on the short-time Fourier transform and completely avoids the use of annihilation and creation operators, making it more readily transferable and generalisable to a polymer quantisation. Both approaches yield identical results. We further generalise the spectral density required for the exponential coupling structure. A numerical analysis shows that the environmental correlation functions decay rapidly with time, which supports the validity of the Markov approximation. Using a Taylor expansion in the Weyl parameter, we show that the first-order term reproduces the decoherence model of Xu, Blencowe (2022) and Domi et al. (2024). Finally, we derive the solution to the renormalised master equation.

gr-qcCross-listedarXiv:2605.25936•May 26, 2026•0 citations

What a lossy channel keeps: electric charge as an einselected record, flavour as an uncompressed seed

Rongzhen Dai

A charged quantum subsystem is generally not dynamically closed once the electromagnetic degrees of freedom are traced out; its reduced dynamics is then a completely positive semigroup whose dissipator has a charge-dependent rate, . We read this semigroup as a lossy compression and ask a narrow question: of the internal unitary structure , which directions does the loss turn into permanent classical records, and which does it leave untouched? The reading that answers it — charge as the abelian centre , flavour and colour as the non-abelian seed — is taken from the companion charge line; what this note adds is to turn that reading into a dynamical criterion and to fix its boundaries. The rate is charge-dependent: for a fixed monitoring coupling the inter-sector decoherence rate is (bare is its value against the reference; Fermi’s golden rule fixes the coupling). This classicalizes the charge-sector label — coherence between distinct charge sectors decays and the sector basis is einselected — while the interior of each fixed charge sector, including a nonzero-charge sector, can stay unitarily reversible in this electromagnetic channel; the non-abelian (flavour/colour) directions, being charge-preserving, sit inside that reversible interior. Calling the einselected label a record in the operational sense requires more than dephasing (a charge-resolving environment output for an accessible record, redundancy for a durable one). Finiteness of the resolution available to distinguish neighbouring sectors then restricts the record’s spectrum to a discrete lattice (integer-valued only after normalization by the lattice unit) — given a finite-resolution premise. We separate what is borrowed (einselection; that charge decoheres into a record; ; the reading and the maintenance and Wick-bridge results of the companion lines) from the two things this note contributes: an imaginary-chemical-potential entry that relocates the analysis from the Hermitian dilation to the reduced generator’s anti-Hermitian part (the dilation exists but is not load-bearing), and a distinction between two “centres” that keeps the account from re-deriving known superselection results. The number of generations is not addressed: that is seed, not theorem.

•Aug 13, 2026•0 citations

Quantum Dynamics from Spectral Memory: A Non-Markovian Completion of History-Dependent Gravity (Paper LVI)

Alik Gimranov

We complete the quantum formulation of History-Dependent Gravity (HDG) by demonstrating that its phenomenological memory kernel admits a rigorous quantum environment realization. Starting from a microscopic system-environment decomposition with spectral weight J(μ) = ρ(μ)², we derive the exact non-Markovian master equation for the reduced dynamics of matter. Crucially, the HDG memory kernel K(t) = ∫ J(μ) e^{-iμt} dμ is shown to coincide identically with the environment correlation function, closing the theory at the microscopic level. Our formalism yields three fundamental results. First, the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation is derived as the rigorous Davies limit of HDG, rather than being postulated ad hoc. Second, we prove that the positivity of the spectral weight J(μ) ≥ 0 guarantees a completely positive and trace-preserving (CPTP) unitary dilation of the reduced dynamics, linking the geometric no-ghost condition directly to information-theoretic consistency. Third, decoherence rates are not free parameters but are computed explicitly as γ_i(ω_i) = 2π J_i(ω_i), fixed by the renormalization group flow of the spectral density. The theory predicts a universal short-time survival probability P(t) = 1 - αt² + O(t³), with α = ∫ J(μ) dμ, and a super-linear mass scaling γ_eff ∝ M² (under linear mass-coupling assumptions), providing sharp falsifiable criteria for matter-wave interferometry and superconducting qubit experiments. Furthermore, we establish a spectral tomography protocol allowing direct reconstruction of the effective memory spectrum J(μ) from decoherence data. This work elevates HDG from an effective model to a testable quantum-gravitational decoherence framework, bridging quantum information, non-Markovian dynamics, and the infrared structure of gravity.

•Jul 31, 2026•0 citations

Admissible Record Construction in Physically Non-Selective Quantum Regimes

Amos Maley

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

•Feb 7, 2026•0 citations
We show how an environment selects—rather than generates—gauge structure in open quantum systems with degenerate subspaces, at the toy-model level. On the negative side, a structural theorem shows that a single Gaussian coupling channel cannot generate new internal directions: after the polaron displacement the environmental correction is proportional to the square of the coupling operator and commutes with it, and virtual processes produce only diagonal polaron shifts (confirmed numerically to 10−15). On the positive side, the environment acts as a selector through the spectral projection of its coupling operator Λ: it marks whole degenerate blocks while remaining exactly blind to their interior. Two theorems give the precise statement. Theorem 1 (Hadamard factorization) decomposes record formation into environmental writing followed by geometric readout, ρ S (τ ) = W(C) [D(C)◦ρ S (0)] W(C) † . Theorem 2 (spectral-block blindness) proves D uv (t) = 1 exactly inside each degenerate block, with unitary intra-block dynamics preserved for all times. The survival of non-Abelian records is thereby quantified by the three-layer criterion of Corollary 2 (spectral blind block with rank ra ≥ 2, intra-block capability, and intra-block non-commuting control), verified numerically from the block level to the group level: a j = 3/2 monopole construction gives the non-Abelian commutator criterion calg = 0.585, retained at 0.973 under a partially blind environment. Real gravitational environments and the derivation of gauge groups lie beyond the present toy models.
Open systems rarely preserve the clean invariant subspaces familiar from closed Hamiltonian dynamics. Coherent mixing, leakage, dissipation, and environmental coupling often destroy exact invariance while still allowing certain sectors to remain dynamically meaningful. This dissertation introduces Roco Algebra as a finite-dimensional operator-theoretic framework for studying precisely this situation. The central shift is from invariance to survival. Instead of asking which subspaces are exactly preserved, the work asks which blocks persist under the combined action of coherent dynamics and coercive dissipation. The dynamics is modeled by generators of the form G = -iH - Γ, where H controls coherent mixing and Γ acts as a dissipative or coercive operator. Under suitable spectral and coercive assumptions, this structure selects a persistent sector that carries the effective long-time dynamics of the system. The dissertation develops this mechanism in several stages. It introduces leakage observables and commutator defects, upgrades candidate blocks through Riesz projections, and compresses the surviving dynamics into a reduced algebra AZ = PZ Mn(C) PZ. In this reduced setting, the projector PZ becomes the residual unit of the surviving block, while the traceless Hermitian component carries the active internal dynamics. A key feature of the framework is that familiar internal coordinate systems arise naturally in low rank. Rank-2 persistent sectors are coordinated by Pauli matrices, producing a Bloch-type reduced geometry. Rank-3 persistent sectors are coordinated by Gell–Mann matrices, producing a ternary internal structure compatible with the su(3) language. For readers in mathematical physics, open quantum systems, non-Hermitian dynamics, and operator theory, the dissertation offers a structural account of how internal algebraic organization can emerge from selective dissipative survival rather than being postulated from the outset.
We prove that a single abstract theorem governs information loss in quantum systems under Lindbladdynamics, in neural networks under domain shift, in gravitational decoherence, and in non-Markovian open systems. The theorem requires three objects: a metrized configuration space (X,d),a positive semidefinite operator ρ on X decomposed into shells by d, and a distance-monotone contraction—any completely positive map that suppresses off-diagonal elements monotonically in d.From these alone, we derive the spectral bottleneck D∗, the peeling order, the entropy–shell connectionvia the Kubo-Mori kernel, and the parameter-free collapse time ratio. Lindblad dephasing,gravitational self-energy channels, spectral projection in transfer learning, and time-dependentnon-Markovian dynamics are all shown to be instantiations of the same abstract structure, with D∗emerging from the same theorem in every case.
We generalise the quantum mechanical toy model for gravitationally induced decoherence presented in Xu, Blencowe (2022) and Domi et al. (2024). In contrast to earlier formulations, in which the Hamiltonian of the system of interest is linearly coupled to the position operators of the oscillators in the environment, we consider an interaction formulated in terms of Weyl elements of the environment's position operators. This extension is motivated by polymer quantum mechanics, in which Weyl elements are fundamental operators, as well as by the possibility of generating non-linear interactions through suitable truncations of the exponential Weyl elements. Here we focus on a sinus-like coupling that is still quantised using the Schrödinger representation and, in the limit of a small Weyl parameter, reproduces the conventional linear interaction. To derive the corresponding master equation, we developed two complementary methods for the analytical calculation of the environmental correlation functions. The first utilises Wick's theorem for thermal expectation values in conjunction with annihilation and creation operators, while the second is based on the short-time Fourier transform and completely avoids the use of annihilation and creation operators, making it more readily transferable and generalisable to a polymer quantisation. Both approaches yield identical results. We further generalise the spectral density required for the exponential coupling structure. A numerical analysis shows that the environmental correlation functions decay rapidly with time, which supports the validity of the Markov approximation. Using a Taylor expansion in the Weyl parameter, we show that the first-order term reproduces the decoherence model of Xu, Blencowe (2022) and Domi et al. (2024). Finally, we derive the solution to the renormalised master equation.
A charged quantum subsystem is generally not dynamically closed once the electromagnetic degrees of freedom are traced out; its reduced dynamics is then a completely positive semigroup whose dissipator has a charge-dependent rate, . We read this semigroup as a lossy compression and ask a narrow question: of the internal unitary structure , which directions does the loss turn into permanent classical records, and which does it leave untouched? The reading that answers it — charge as the abelian centre , flavour and colour as the non-abelian seed — is taken from the companion charge line; what this note adds is to turn that reading into a dynamical criterion and to fix its boundaries. The rate is charge-dependent: for a fixed monitoring coupling the inter-sector decoherence rate is (bare is its value against the reference; Fermi’s golden rule fixes the coupling). This classicalizes the charge-sector label — coherence between distinct charge sectors decays and the sector basis is einselected — while the interior of each fixed charge sector, including a nonzero-charge sector, can stay unitarily reversible in this electromagnetic channel; the non-abelian (flavour/colour) directions, being charge-preserving, sit inside that reversible interior. Calling the einselected label a record in the operational sense requires more than dephasing (a charge-resolving environment output for an accessible record, redundancy for a durable one). Finiteness of the resolution available to distinguish neighbouring sectors then restricts the record’s spectrum to a discrete lattice (integer-valued only after normalization by the lattice unit) — given a finite-resolution premise. We separate what is borrowed (einselection; that charge decoheres into a record; ; the reading and the maintenance and Wick-bridge results of the companion lines) from the two things this note contributes: an imaginary-chemical-potential entry that relocates the analysis from the Hermitian dilation to the reduced generator’s anti-Hermitian part (the dilation exists but is not load-bearing), and a distinction between two “centres” that keeps the account from re-deriving known superselection results. The number of generations is not addressed: that is seed, not theorem.
We complete the quantum formulation of History-Dependent Gravity (HDG) by demonstrating that its phenomenological memory kernel admits a rigorous quantum environment realization. Starting from a microscopic system-environment decomposition with spectral weight J(μ) = ρ(μ)², we derive the exact non-Markovian master equation for the reduced dynamics of matter. Crucially, the HDG memory kernel K(t) = ∫ J(μ) e^{-iμt} dμ is shown to coincide identically with the environment correlation function, closing the theory at the microscopic level. Our formalism yields three fundamental results. First, the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation is derived as the rigorous Davies limit of HDG, rather than being postulated ad hoc. Second, we prove that the positivity of the spectral weight J(μ) ≥ 0 guarantees a completely positive and trace-preserving (CPTP) unitary dilation of the reduced dynamics, linking the geometric no-ghost condition directly to information-theoretic consistency. Third, decoherence rates are not free parameters but are computed explicitly as γ_i(ω_i) = 2π J_i(ω_i), fixed by the renormalization group flow of the spectral density. The theory predicts a universal short-time survival probability P(t) = 1 - αt² + O(t³), with α = ∫ J(μ) dμ, and a super-linear mass scaling γ_eff ∝ M² (under linear mass-coupling assumptions), providing sharp falsifiable criteria for matter-wave interferometry and superconducting qubit experiments. Furthermore, we establish a spectral tomography protocol allowing direct reconstruction of the effective memory spectrum J(μ) from decoherence data. This work elevates HDG from an effective model to a testable quantum-gravitational decoherence framework, bridging quantum information, non-Markovian dynamics, and the infrared structure of gravity.
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