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

Quantum Mechanics from Rule 110: Hilbert Space, Hamiltonian, and Born Rule

Nova Spivack

Published May 20, 2026• 0 citations
Publisher

Abstract

Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. We apply 't Hooft's cellular automaton interpretation of quantum mechanics to the GTE cellular automaton f_MDL on Z_7^5, the 16,807-state visible-sector ring encoding the Standard Model generation structure. The complete orbit decomposition of f_MDL () reveals a single cycle: the vacuum fixed point (0,0,0,0,0) with E=0. The physical Hilbert space is one-dimensional; f_MDL belongs to 't Hooft's information-loss regime. SM generation states are transients with tail lengths (gen_1)=3 > (gen_2)=2 > (gen_3)=1, matching the empirical stability hierarchy (). A direct eigenvalue-to-mass correspondence is falsified on every formulation tested (). The Two-Role Structural Principle () separates roles: the cogwheel construction provides Hilbert space structure, unitarity, and the Born rule (, Lean-certified); the GTE N_eff cascade provides the mass spectrum. The seven winding-equivalence classes of Z_7^5 (, gauge\_arithmetic\_identification) are identified as 't Hooft's information-equivalence gauge classes (): the five SM winding sectors \0,2,3,4,6\ yield U(1)_EM, SU(2)_L, and SU(3)_c; sector W=1 predicts the SU(5) Y-leptoquark; the X-leptoquark (Q=+4/3) cohabits W=4. The AFCA causal graph is update-schedule-independent (Lean-certified); discrete Minkowski causal cones are embedded with coordinate surjection certified. Full Minkowski bijection remains open ().

DOI
10.5281/zenodo.20319431

Related papers

The Relational Closure Framework: Toward an Axiomatization of Physics

Mingdong He

A finitist, relational axiomatization of physics: quantum theory and a relativity sector derived from four axioms about group-valued relations and closure. Contributions to the foundations of quantum mechanics (Born rule derivation, quantum reconstruction, local tomography, complex field selection), the emergence of time and causal structure in discrete networks, discrete Noether theorems, lattice gauge structure, and the Schrödinger equation derived by two independent routes. Every claim is graded in a Claim Ledger; every numerical claim is machine-verified with archived scripts; negative results are reported at full strength. What this paper does The universe is taken to be constituted by relations rather than objects. Stable relations form closures (self-consistent cycles) whose holonomies carry the physical content. Four axioms — primacy of relations (group-valued, edge-borne), closure stability, chirality from order, and observation as bidirectional group exchange — yield, at explicitly graded and conditional levels: Quantum sector Exchange-completeness theorems for finite label groups: abelian at all cycle ranks; non-abelian on the single cycle (Wilson readouts plus class-sum convolutions generate the full matrix algebra); the multi-cycle non-abelian case on the operational-equivalence quotient, with the obstruction completely characterized via class-preserving outer automorphisms — and the quotient's necessity now stratified by the source of word blindness (see New in Version 24.0). The Born rule, proved for finite abelian networks from a strictly weaker relational readout premise (statistics of realizable effects depend only on relational content); non-contextuality has this single source; additivity is basis-relative and declared as such. The Schrödinger equation by two routes of unequal premise grade, maintained side by side: a spectral route — the action operator is a weighted Cayley-graph Laplacian in the Pontryagin dual basis, the derived Gibbs state's unique canonical (modular) flow yields the Schrödinger equation with Hamiltonian equal to the action operator, no continuum limit, zero conjectures consumed, the single non-theorem step one flagged identification; and a Madelung route — physical and mechanism-rich (probability density derived from constraint gaps), valid exactly on the domain of the pseudo-continuity conjecture, with its full premise bill stated (continuity equation, Wallstrom circulation condition, m, V). A dedicated comparison subsection gives the line-by-line premise accounting and the machine-measured agreement region. Complex field selection: ℂ selected over ℝ and ℍ within the GPT comparison class in the covered sectors, with a second independent route from chirality (Frobenius–Schur dichotomy, quaternionic double exclusion); "uniquely selected" expressly not claimed. Positivity as pairing: all five in-text positive-semidefiniteness theorems traced to one mechanism (M = B†B with native factor); the Kraus form and complete positivity derived rather than assumed. The Noether sector on Noether's two theorems exactly: Noether I recovered on the holonomy action (compact Lie realization); Noether II identified as present (Bianchi as horn-filling, Schläfli as its Regge form); selection rules recovered for finite groups; the GNS bridge proved non-vacuously on the full exchange algebra; the sole potential extension — conservation as the kernel of exchange — isolated as a registered conjecture, consumed nowhere. A local–global representation theorem: six generative quantities (closure invariant, flux quantization, Weyl phase, non-abelian Stokes, orientation visibility, terminal normalization) are evaluations of cohomology classes against closed chains — one syntax, six exact machine probes. The gatekeeper no-go theorems registered and discharged: Kochen–Specker (the framework posits no global valuation — outcomes are resolutions of constraint gaps, and basis-relative additivity blocks state-independent variants), Pusey–Barrett–Rudolph (the statistical envelope is over resolutions yet to happen, not values already held; machine witness: identical configuration ensembles with opposite relative phase have opposite statistics), Wallstrom (registered as an explicit input, structurally discharged in the finite-abelian sector), Hegerfeldt (the Lieb–Robinson exponential tail identified as the only claimable front form for the continuum limit), Frauchiger–Renner (cross-agent certainty transfer presupposes kernel-free record transport, exactly what exchange-incompleteness excludes), and no-cloning (inherited in the covered sectors); Conway–Kochen and Colbeck–Renner noted as concordant. Relativity sector Time from finite capacity plus genuine randomness: the staging theorem (Θ(d) dependency depth, unbounded chains via the Moore bound; the quantitative failure law conditionalized on measure-level independence with exact minimal witnesses); the temporal quantum defined combinatorially, no Hamiltonian input. The speed of light grounded in an exact discrete dependency cone (combinatorial, no quantum input), the Lieb–Robinson bound consumed at cross-check grade only; a boost no-go theorem reducing Lorentz invariance to named statistical conditions, with the Collins fine-tuning objection recorded as a gate. The trace-descent theorem group: the growth-history measure forced onto the Mazurkiewicz trace quotient; chain reflection positivity at every depth with completely explicit spectrum. An equation sector of nine verification families (Schrödinger, Dirac, Maxwell/U(1), canonical commutator, Yang–Mills SU(2), Regge calculus, Klein–Gordon, Noether loop, Cartan curvature), where every machine-precision claim is the shadow of a proved backbone lemma — including the factor ½ of H = ½L + V, identified as the Wilson Fourier coefficient fixed by the action theorem. Four experimentally testable predictions, including a discriminating flat-versus-sigmoid visibility protocol. The Standard Model gauge group, ħ, and G remain open, with attack routes registered. How to read Three entry paths are marked in the document. Path A (derivational core): axioms → group structure → Noether sector → least action → Born rule → positivity. Path B (physical mechanisms): constraint propagation → time as determination → wave function as gap envelope → fields. Path C (scope and limits): the Claim Ledger, then Discussion and Open Problems — for the reader who wants to know what is claimed and what is not before reading anything else. The Claim Ledger is the single authoritative register of claim status; wherever body text sounds stronger, the Ledger governs. New in Version 24.0 (Version 23.0 is the immediately preceding public release; this version supersedes the internal V12–V15 and V17–V19 series, whose numbers are not used externally.) Version 24.0 resolves the structure of the multi-cycle non-abelian obstruction — the sector's longest-standing open front — following an external research exchange with three rounds of independent re-verification (fourteen core figures, three commutant instruments implemented independently, exact integer arithmetic on the obstruction side) and two rounds of counter-review that corrected one quantifier on each side: A dichotomy of the multi-cycle obstruction (new remark). Word blindness on multi-cycle networks has two identified sources, jointly covering every tested case, with opposite behaviour as cycle rank grows. Type I (global; graded): a class-preserving outer automorphism yields a commutant element by an argument free of cycle-rank reference; its non-triviality holds at theorem grade for b₁ ≥ d(G) via generating tuples, is monotone in b₁, and the threshold is measured at b_σ = 2 on the tested Wall group (at b₁ = 1 the permutation is the identity — no universal claim is made, and the existence of groups with threshold above 2 is registered open). Type II (local; measured): Out_c trivial but fusion fails on a proper subgroup, the blind pairs sitting in non-generating sectors — the same mechanism that defeats Wilson generation; this blindness heals: on every verified group (A₄, SL(2,3), A₄×ℤ₂) the full commutant collapses to trivial at b₁ = 3 by exact computation on two independently implemented instruments, although word readouts remain blind — the shift primitives separate, above a threshold, and the natural explanation (tuples becoming generating) is refuted by the persistence of blind blocks. Three boundaries at full strength: no exhaustiveness proof (a third source is not excluded); no general healing theorem (the verified groups all heal at 3, cause unidentified); the verified Type II sample is narrow. The quotient proposition restated in stratified form. The operational-equivalence quotient's necessity is now part of the proposition's own statement, in three strata: necessary where Out_c ≠ 1 at every b₁ ≥ b_σ(G), with b_σ ≤ d(G) at theorem grade; one-dimensional at b₁ = 2 on the fusion-type groups (verified cases); trivial at b₁ ≥ 3 on every verified fusion-type group and at every tested b₁ for word-separation-complete groups (a fourteen-group scan of orders ≤ 31 found no third source). Pre-registered validation preceded the restatement: a stratification-exhaustiveness scan (pass), a new-witness search (no new witness in range, downgrade clause applied as pre-registered), and a zero-conflict audit of the three strata against all archived data. The residual open problem is now precisely located. What remains of multi-cycle completeness: the rare Out_c ≠ 1 groups (54 in the exhaustive range through order 96) above their measured thresholds, the low-b₁ fusion stratum, a general healing theorem, and whether a threshold above 2 occurs. The multiplicity-freeness conjecture's mechanism sentence is corrected with the two regimes stated separately (at b₁ = 2 the shifts do not separate — the blind-pair transposition commutes with every primitive, integer-exact — and reduce the commutant to

•Jul 29, 2026•0 citations

Q Quantum Theory I: Foundations

Gordon Liu

Q Quantum Theory is formulated here at the foundational and quantum-mechanical level. Its basic postulate is that the physical quantum entity, denoted by Q, is the whole quantum state rather than an independently real material point whose unknown position is described by a secondary probability cloud. In a one-Q sector admitting a local amplitude representation,\begin{equation} Q(x)=\sqrt{\rho(x)}\,e^{i\theta(x)}Z(x),\end{equation}where $x$ is a spacetime point, $\rho$ is the Born response weight, $\theta$ is the phase, and $Z$ is a normalized internal structural direction. A dagger denotes the Hermitian adjoint and $\partial_\mu$ differentiates with respect to $x^\mu$. The decomposition has a local rephasing redundancy. This is a redundancy of the local factorization of the complete Q amplitude, not the physical electromagnetic $U(1)$ gauge symmetry. The associated decomposition-invariant phase-orientation one-form is\begin{equation} \kappa_\mu=\partial_\mu\theta-iZ^\dagger\partial_\mu Z =\frac{\operatorname{Im}\langle Q,\partial_\mu Q\rangle}{\rho}, \qquad \rho>0.\end{equation}In Schr\"odinger correspondence sectors this structure yields exact probability-current and momentum identities, including the standard Abelian gauge-covariant current. In that audit the electromagnetic connection is a correspondence variable; its Q-level interpretation as a local representation of inter-Q relational comparison geometry is developed in the companion manuscript Paper II-A. Klein-Gordon and Dirac audits show that relativistic currents and stress-energy depend on the Lorentz representation: $\kappa_\mu$ carries phase-orientation translation structure, while amplitude gradients and internal orientation can contribute independently to energy and stress. The standard Hilbert-space probability calculus is retained. Interference, tunnelling, entanglement, localized detection and cloud-chamber tracks are interpreted as properties or records of whole-Q states rather than as evidence for hidden point trajectories. Entanglement is represented by a nonfactorizable joint Q state; standard Bell correlations and no-signalling are retained without identifying correlation with a superluminal physical signal. Boundaryless state support is distinguished from the propagation of a newly generated disturbance, which is required to obey retarded relativistic causality. For stable relativistic sectors, invariant mass is treated as a derived characterization of the translation spectrum: timelike Q states possess a rest frame and rest energy, whereas null Q states do not. The foundational structure does not specify a unique interaction action or establish ultraviolet finiteness. Finite-response dynamics requires a separate construction.

•Sep 30, 2026•0 citations

Bounded No-Go Theorems for Quantum Structure from Conscious-Agent Markov Dynamics

Robert McGwier

Hoffman’s conscious-agent formalism defines agents by Markov kernels on finite sets, anda programme has sought to obtain quantum mechanics—complex amplitudes, Hilbert space,unitary evolution and the Born rule—as outputs of that stochastic substrate. Papers I–III ofthis series closed the passive-readout, witness-inequality and Born-rule-inversion routes. Herewe examine the Eulerian control principles on the continuous-time nearest-neighbour jumprelative of the programme’s N -cycle substrate, with the phase S posited as an agent-carriedvariable and the rates depending on the population density, and ask which of them are exactlythe lattice Schrödinger pair at finite lattice spacing a. (i) No member with a kinetic termquadratic in the rates is exact, for any N , wherever its stationary drift exists (a degree count);by Legendre duality, (ii) no globally optimising member, with any cost, over an S-independentadmissible rate set, is exact on the whole configuration space, because the reduced Hamiltonianof a minimiser (maximiser) is convex (concave) in the phases while the lattice Schrödingerenergy is neither; (iii) an optimising member with bothprates free nevertheless exists—the2 —whose minimiser isconvex bond cost cQ (J) = ℏJ arcsin(J/Jmax ) + ℏJmax 1 − J 2 /Jmaxexactly the lattice Schrödinger pair, density dependence included, on the open winding-zerosector where every real bond phase satisfies |∆x | < πℏ/2, and which fails on the outer half ofthe zone, nodes included, and on every configuration with nonzero winding; with an activitycost selecting the symmetric part of the rates, that optimiser is the Bell–Vink process; (iv)exact stationary-point members exist beyond that sector, Bell–Vink among them, determinedup to the split of each bond energy and a uniform circulating current, with the branchselection as the rate law. The cost cQ is the entropic (Schrödinger-bridge) bond cost with thenoise scale continued to imaginary values, cE |Jmax →iJmax = −i cQ on principal branches, aformal correspondence. As a diagnostic, the fixed-noise Nelson–Yasue member with κ = +1carries the Euclidean sign of the quantum potential, κQ = −κ; the κ = −1 (Guerra–Morato)member is exact in the continuum and, where its stationary drift exists, departs from thelattice target at O(a2 ). Nelson’s law of motion, imposed on the fixed-total-rate kinematicswithin the rate bound |bx | ≤ 2νa for odd N , has the real-time sign, is exact for plane wavesand pure-potential configurations, and departs at O(a2 ) generically, with an exact vanishingfamily and in-regime counterexamples at N = 5, 7. A programme-status section recordsthat the substrate, read as a one-time operational probabilistic theory, lies in the classicalbranch of the Hardy and Chiribella–D’Ariano–Perinotti reconstructions, and corrects onestatement of Paper III (Barandes’ precondition is met by every finite-alphabet process; thesentence was true but empty). These are bounded no-go theorems for the reading constructedhere; no claim is made about quantum mechanics emerging from stochastic dynamics ingeneral. All machine results are exact-arithmetic and rerun bit-identically. The Round-1lattice results and the reconstruction-axiom checks were preregistered with blind priors; thetheorems added in revision were prompted by review and are machine-checked by successorverifiers, not preregistered.

•Sep 16, 2026•0 citations

The Born Rule as a Theorem, Not a Postulate: Quantum Measurement in the GTE Framework

Nova Spivack

Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. Quantum mechanics says a particle can be in a superposition — in two states at once. Measurement collapses it to one. The measurement problem is: what causes the collapse, and why do the probabilities follow the formula P(k) = |c_k|^2? Nobody has a satisfying answer from within standard quantum theory. This tutorial explains how the GTE (Generative Triple Evolution) framework derives the Born rule — the law that links quantum amplitudes to measurement probabilities — as a theorem from first principles, requiring no additional postulates. The Born rule emerges necessarily from the arithmetic structure of the GTE substrate.

•Jun 12, 2026•0 citations

Clifford Algebraic Reformulation of Quantum Mechanics with a Modified Born Rule

P. P. Afxenti, K. Elpidophorou

•Jul 1, 2026•0 citations

Transputation: Quantum Measurement at Turing Degree Exactly 0-prime

Nova Spivack

Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. This tutorial explains one of the most surprising results in the GTE framework: quantum measurement has a precise location in the mathematical hierarchy of computational difficulty. It sits at exactly one level above an ordinary Turing machine — no more, no less. That level is Turing degree 0' (zero-prime), the halting problem. This is a theorem machine-certified in Lean 4 with zero sorry, not a metaphor. The result, called Transputation, shows that the Born-rule probability update during quantum measurement is exactly as hard to compute as the halting problem: it is decidable given an oracle for the halting problem, but not by any ordinary Turing machine. This tutorial explains the computability classification, the GTE derivation that places measurement at degree 0', and the physical interpretation of why quantum indeterminacy sits at precisely this level of the arithmetical hierarchy.

•Jun 12, 2026•0 citations
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. We apply 't Hooft's cellular automaton interpretation of quantum mechanics to the GTE cellular automaton f_MDL on Z_7^5, the 16,807-state visible-sector ring encoding the Standard Model generation structure. The complete orbit decomposition of f_MDL () reveals a single cycle: the vacuum fixed point (0,0,0,0,0) with E=0. The physical Hilbert space is one-dimensional; f_MDL belongs to 't Hooft's information-loss regime. SM generation states are transients with tail lengths (gen_1)=3 > (gen_2)=2 > (gen_3)=1, matching the empirical stability hierarchy (). A direct eigenvalue-to-mass correspondence is falsified on every formulation tested (). The Two-Role Structural Principle () separates roles: the cogwheel construction provides Hilbert space structure, unitarity, and the Born rule (, Lean-certified); the GTE N_eff cascade provides the mass spectrum. The seven winding-equivalence classes of Z_7^5 (, gauge_arithmetic_identification) are identified as 't Hooft's information-equivalence gauge classes (): the five SM winding sectors \0,2,3,4,6\ yield U(1)_EM, SU(2)_L, and SU(3)_c; sector W=1 predicts the SU(5) Y-leptoquark; the X-leptoquark (Q=+4/3) cohabits W=4. The AFCA causal graph is update-schedule-independent (Lean-certified); discrete Minkowski causal cones are embedded with coordinate surjection certified. Full Minkowski bijection remains open ().
A finitist, relational axiomatization of physics: quantum theory and a relativity sector derived from four axioms about group-valued relations and closure. Contributions to the foundations of quantum mechanics (Born rule derivation, quantum reconstruction, local tomography, complex field selection), the emergence of time and causal structure in discrete networks, discrete Noether theorems, lattice gauge structure, and the Schrödinger equation derived by two independent routes. Every claim is graded in a Claim Ledger; every numerical claim is machine-verified with archived scripts; negative results are reported at full strength. What this paper does The universe is taken to be constituted by relations rather than objects. Stable relations form closures (self-consistent cycles) whose holonomies carry the physical content. Four axioms — primacy of relations (group-valued, edge-borne), closure stability, chirality from order, and observation as bidirectional group exchange — yield, at explicitly graded and conditional levels: Quantum sector Exchange-completeness theorems for finite label groups: abelian at all cycle ranks; non-abelian on the single cycle (Wilson readouts plus class-sum convolutions generate the full matrix algebra); the multi-cycle non-abelian case on the operational-equivalence quotient, with the obstruction completely characterized via class-preserving outer automorphisms — and the quotient's necessity now stratified by the source of word blindness (see New in Version 24.0). The Born rule, proved for finite abelian networks from a strictly weaker relational readout premise (statistics of realizable effects depend only on relational content); non-contextuality has this single source; additivity is basis-relative and declared as such. The Schrödinger equation by two routes of unequal premise grade, maintained side by side: a spectral route — the action operator is a weighted Cayley-graph Laplacian in the Pontryagin dual basis, the derived Gibbs state's unique canonical (modular) flow yields the Schrödinger equation with Hamiltonian equal to the action operator, no continuum limit, zero conjectures consumed, the single non-theorem step one flagged identification; and a Madelung route — physical and mechanism-rich (probability density derived from constraint gaps), valid exactly on the domain of the pseudo-continuity conjecture, with its full premise bill stated (continuity equation, Wallstrom circulation condition, m, V). A dedicated comparison subsection gives the line-by-line premise accounting and the machine-measured agreement region. Complex field selection: ℂ selected over ℝ and ℍ within the GPT comparison class in the covered sectors, with a second independent route from chirality (Frobenius–Schur dichotomy, quaternionic double exclusion); "uniquely selected" expressly not claimed. Positivity as pairing: all five in-text positive-semidefiniteness theorems traced to one mechanism (M = B†B with native factor); the Kraus form and complete positivity derived rather than assumed. The Noether sector on Noether's two theorems exactly: Noether I recovered on the holonomy action (compact Lie realization); Noether II identified as present (Bianchi as horn-filling, Schläfli as its Regge form); selection rules recovered for finite groups; the GNS bridge proved non-vacuously on the full exchange algebra; the sole potential extension — conservation as the kernel of exchange — isolated as a registered conjecture, consumed nowhere. A local–global representation theorem: six generative quantities (closure invariant, flux quantization, Weyl phase, non-abelian Stokes, orientation visibility, terminal normalization) are evaluations of cohomology classes against closed chains — one syntax, six exact machine probes. The gatekeeper no-go theorems registered and discharged: Kochen–Specker (the framework posits no global valuation — outcomes are resolutions of constraint gaps, and basis-relative additivity blocks state-independent variants), Pusey–Barrett–Rudolph (the statistical envelope is over resolutions yet to happen, not values already held; machine witness: identical configuration ensembles with opposite relative phase have opposite statistics), Wallstrom (registered as an explicit input, structurally discharged in the finite-abelian sector), Hegerfeldt (the Lieb–Robinson exponential tail identified as the only claimable front form for the continuum limit), Frauchiger–Renner (cross-agent certainty transfer presupposes kernel-free record transport, exactly what exchange-incompleteness excludes), and no-cloning (inherited in the covered sectors); Conway–Kochen and Colbeck–Renner noted as concordant. Relativity sector Time from finite capacity plus genuine randomness: the staging theorem (Θ(d) dependency depth, unbounded chains via the Moore bound; the quantitative failure law conditionalized on measure-level independence with exact minimal witnesses); the temporal quantum defined combinatorially, no Hamiltonian input. The speed of light grounded in an exact discrete dependency cone (combinatorial, no quantum input), the Lieb–Robinson bound consumed at cross-check grade only; a boost no-go theorem reducing Lorentz invariance to named statistical conditions, with the Collins fine-tuning objection recorded as a gate. The trace-descent theorem group: the growth-history measure forced onto the Mazurkiewicz trace quotient; chain reflection positivity at every depth with completely explicit spectrum. An equation sector of nine verification families (Schrödinger, Dirac, Maxwell/U(1), canonical commutator, Yang–Mills SU(2), Regge calculus, Klein–Gordon, Noether loop, Cartan curvature), where every machine-precision claim is the shadow of a proved backbone lemma — including the factor ½ of H = ½L + V, identified as the Wilson Fourier coefficient fixed by the action theorem. Four experimentally testable predictions, including a discriminating flat-versus-sigmoid visibility protocol. The Standard Model gauge group, ħ, and G remain open, with attack routes registered. How to read Three entry paths are marked in the document. Path A (derivational core): axioms → group structure → Noether sector → least action → Born rule → positivity. Path B (physical mechanisms): constraint propagation → time as determination → wave function as gap envelope → fields. Path C (scope and limits): the Claim Ledger, then Discussion and Open Problems — for the reader who wants to know what is claimed and what is not before reading anything else. The Claim Ledger is the single authoritative register of claim status; wherever body text sounds stronger, the Ledger governs. New in Version 24.0 (Version 23.0 is the immediately preceding public release; this version supersedes the internal V12–V15 and V17–V19 series, whose numbers are not used externally.) Version 24.0 resolves the structure of the multi-cycle non-abelian obstruction — the sector's longest-standing open front — following an external research exchange with three rounds of independent re-verification (fourteen core figures, three commutant instruments implemented independently, exact integer arithmetic on the obstruction side) and two rounds of counter-review that corrected one quantifier on each side: A dichotomy of the multi-cycle obstruction (new remark). Word blindness on multi-cycle networks has two identified sources, jointly covering every tested case, with opposite behaviour as cycle rank grows. Type I (global; graded): a class-preserving outer automorphism yields a commutant element by an argument free of cycle-rank reference; its non-triviality holds at theorem grade for b₁ ≥ d(G) via generating tuples, is monotone in b₁, and the threshold is measured at b_σ = 2 on the tested Wall group (at b₁ = 1 the permutation is the identity — no universal claim is made, and the existence of groups with threshold above 2 is registered open). Type II (local; measured): Out_c trivial but fusion fails on a proper subgroup, the blind pairs sitting in non-generating sectors — the same mechanism that defeats Wilson generation; this blindness heals: on every verified group (A₄, SL(2,3), A₄×ℤ₂) the full commutant collapses to trivial at b₁ = 3 by exact computation on two independently implemented instruments, although word readouts remain blind — the shift primitives separate, above a threshold, and the natural explanation (tuples becoming generating) is refuted by the persistence of blind blocks. Three boundaries at full strength: no exhaustiveness proof (a third source is not excluded); no general healing theorem (the verified groups all heal at 3, cause unidentified); the verified Type II sample is narrow. The quotient proposition restated in stratified form. The operational-equivalence quotient's necessity is now part of the proposition's own statement, in three strata: necessary where Out_c ≠ 1 at every b₁ ≥ b_σ(G), with b_σ ≤ d(G) at theorem grade; one-dimensional at b₁ = 2 on the fusion-type groups (verified cases); trivial at b₁ ≥ 3 on every verified fusion-type group and at every tested b₁ for word-separation-complete groups (a fourteen-group scan of orders ≤ 31 found no third source). Pre-registered validation preceded the restatement: a stratification-exhaustiveness scan (pass), a new-witness search (no new witness in range, downgrade clause applied as pre-registered), and a zero-conflict audit of the three strata against all archived data. The residual open problem is now precisely located. What remains of multi-cycle completeness: the rare Out_c ≠ 1 groups (54 in the exhaustive range through order 96) above their measured thresholds, the low-b₁ fusion stratum, a general healing theorem, and whether a threshold above 2 occurs. The multiplicity-freeness conjecture's mechanism sentence is corrected with the two regimes stated separately (at b₁ = 2 the shifts do not separate — the blind-pair transposition commutes with every primitive, integer-exact — and reduce the commutant to
Q Quantum Theory is formulated here at the foundational and quantum-mechanical level. Its basic postulate is that the physical quantum entity, denoted by Q, is the whole quantum state rather than an independently real material point whose unknown position is described by a secondary probability cloud. In a one-Q sector admitting a local amplitude representation,\begin{equation} Q(x)=\sqrt{\rho(x)}\,e^{i\theta(x)}Z(x),\end{equation}where xxx is a spacetime point, ρ\rhoρ is the Born response weight, θ\thetaθ is the phase, and ZZZ is a normalized internal structural direction. A dagger denotes the Hermitian adjoint and ∂μ\partial_\mu∂μ​ differentiates with respect to xμx^\muxμ. The decomposition has a local rephasing redundancy. This is a redundancy of the local factorization of the complete Q amplitude, not the physical electromagnetic U(1)U(1)U(1) gauge symmetry. The associated decomposition-invariant phase-orientation one-form is\begin{equation} \kappa_\mu=\partial_\mu\theta-iZ^\dagger\partial_\mu Z =\frac{\operatorname{Im}\langle Q,\partial_\mu Q\rangle}{\rho}, \qquad \rho>0.\end{equation}In Schr\"odinger correspondence sectors this structure yields exact probability-current and momentum identities, including the standard Abelian gauge-covariant current. In that audit the electromagnetic connection is a correspondence variable; its Q-level interpretation as a local representation of inter-Q relational comparison geometry is developed in the companion manuscript Paper II-A. Klein-Gordon and Dirac audits show that relativistic currents and stress-energy depend on the Lorentz representation: κμ\kappa_\muκμ​ carries phase-orientation translation structure, while amplitude gradients and internal orientation can contribute independently to energy and stress. The standard Hilbert-space probability calculus is retained. Interference, tunnelling, entanglement, localized detection and cloud-chamber tracks are interpreted as properties or records of whole-Q states rather than as evidence for hidden point trajectories. Entanglement is represented by a nonfactorizable joint Q state; standard Bell correlations and no-signalling are retained without identifying correlation with a superluminal physical signal. Boundaryless state support is distinguished from the propagation of a newly generated disturbance, which is required to obey retarded relativistic causality. For stable relativistic sectors, invariant mass is treated as a derived characterization of the translation spectrum: timelike Q states possess a rest frame and rest energy, whereas null Q states do not. The foundational structure does not specify a unique interaction action or establish ultraviolet finiteness. Finite-response dynamics requires a separate construction.
Hoffman’s conscious-agent formalism defines agents by Markov kernels on finite sets, anda programme has sought to obtain quantum mechanics—complex amplitudes, Hilbert space,unitary evolution and the Born rule—as outputs of that stochastic substrate. Papers I–III ofthis series closed the passive-readout, witness-inequality and Born-rule-inversion routes. Herewe examine the Eulerian control principles on the continuous-time nearest-neighbour jumprelative of the programme’s N -cycle substrate, with the phase S posited as an agent-carriedvariable and the rates depending on the population density, and ask which of them are exactlythe lattice Schrödinger pair at finite lattice spacing a. (i) No member with a kinetic termquadratic in the rates is exact, for any N , wherever its stationary drift exists (a degree count);by Legendre duality, (ii) no globally optimising member, with any cost, over an S-independentadmissible rate set, is exact on the whole configuration space, because the reduced Hamiltonianof a minimiser (maximiser) is convex (concave) in the phases while the lattice Schrödingerenergy is neither; (iii) an optimising member with bothprates free nevertheless exists—the2 —whose minimiser isconvex bond cost cQ (J) = ℏJ arcsin(J/Jmax ) + ℏJmax 1 − J 2 /Jmaxexactly the lattice Schrödinger pair, density dependence included, on the open winding-zerosector where every real bond phase satisfies |∆x | < πℏ/2, and which fails on the outer half ofthe zone, nodes included, and on every configuration with nonzero winding; with an activitycost selecting the symmetric part of the rates, that optimiser is the Bell–Vink process; (iv)exact stationary-point members exist beyond that sector, Bell–Vink among them, determinedup to the split of each bond energy and a uniform circulating current, with the branchselection as the rate law. The cost cQ is the entropic (Schrödinger-bridge) bond cost with thenoise scale continued to imaginary values, cE |Jmax →iJmax = −i cQ on principal branches, aformal correspondence. As a diagnostic, the fixed-noise Nelson–Yasue member with κ = +1carries the Euclidean sign of the quantum potential, κQ = −κ; the κ = −1 (Guerra–Morato)member is exact in the continuum and, where its stationary drift exists, departs from thelattice target at O(a2 ). Nelson’s law of motion, imposed on the fixed-total-rate kinematicswithin the rate bound |bx | ≤ 2νa for odd N , has the real-time sign, is exact for plane wavesand pure-potential configurations, and departs at O(a2 ) generically, with an exact vanishingfamily and in-regime counterexamples at N = 5, 7. A programme-status section recordsthat the substrate, read as a one-time operational probabilistic theory, lies in the classicalbranch of the Hardy and Chiribella–D’Ariano–Perinotti reconstructions, and corrects onestatement of Paper III (Barandes’ precondition is met by every finite-alphabet process; thesentence was true but empty). These are bounded no-go theorems for the reading constructedhere; no claim is made about quantum mechanics emerging from stochastic dynamics ingeneral. All machine results are exact-arithmetic and rerun bit-identically. The Round-1lattice results and the reconstruction-axiom checks were preregistered with blind priors; thetheorems added in revision were prompted by review and are machine-checked by successorverifiers, not preregistered.
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. Quantum mechanics says a particle can be in a superposition — in two states at once. Measurement collapses it to one. The measurement problem is: what causes the collapse, and why do the probabilities follow the formula P(k) = |c_k|^2? Nobody has a satisfying answer from within standard quantum theory. This tutorial explains how the GTE (Generative Triple Evolution) framework derives the Born rule — the law that links quantum amplitudes to measurement probabilities — as a theorem from first principles, requiring no additional postulates. The Born rule emerges necessarily from the arithmetic structure of the GTE substrate.
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. This tutorial explains one of the most surprising results in the GTE framework: quantum measurement has a precise location in the mathematical hierarchy of computational difficulty. It sits at exactly one level above an ordinary Turing machine — no more, no less. That level is Turing degree 0' (zero-prime), the halting problem. This is a theorem machine-certified in Lean 4 with zero sorry, not a metaphor. The result, called Transputation, shows that the Born-rule probability update during quantum measurement is exactly as hard to compute as the halting problem: it is decidable given an oracle for the halting problem, but not by any ordinary Turing machine. This tutorial explains the computability classification, the GTE derivation that places measurement at degree 0', and the physical interpretation of why quantum indeterminacy sits at precisely this level of the arithmetical hierarchy.