We subsequently reanalyse the mixed-triangle measurement scheme previously formulated within PDL, in which a minimal $(4,6)$ closure encodes a spin doublet and a Stern–Gerlach-type device is represented by a finite active surface composed of mixed triangles. We prove that, under mild symmetry constraints on the apparatus, the effective probabilities generated by this scheme satisfy our operational axioms and thus fall within the scope of the uniqueness theorem. It follows that Born’s rule for spin-$\tfrac12$ measurements is not merely implementable in PDL, but is uniquely enforced by the stipulated operational and combinatorial conditions. This result provides an initial link between Gleason-type derivations and the discrete relational substrate underlying PDL, and suggests the feasibility of a more general uniqueness programme for quantum probabilities within this framework.
Gleason-Type Uniqueness of Born's Rule for Spin-21 in the PDL Framework
We subsequently reanalyse the mixed-triangle measurement scheme previously formulated within PDL, in which a minimal (4,6) closure encodes a spin doublet and a Stern–Gerlach-type device is represented by a finite active surface composed of mixed triangles. We prove that, under mild symmetry constraints on the apparatus, the effective probabilities generated by this scheme satisfy our operational axioms and thus fall within the scope of the uniqueness theorem. It follows that Born’s rule for spin-21 measurements is not merely implementable in PDL, but is uniquely enforced by the stipulated operational and combinatorial conditions. This result provides an initial link between Gleason-type derivations and the discrete relational substrate underlying PDL, and suggests the feasibility of a more general uniqueness programme for quantum probabilities within this framework.
The Projective Dynamic Logo (PDL) framework derives quantum dynamics from combinatorial axioms on finite signed graphs. This paper addresses the measurement problem at Level 1: it proves that the Born rule P₊ = |⟨+θ|ψ⟩|² emerges from the (A)∧(B) stability criterion without presupposing probability or the Hilbert space inner product. The derivation proceeds in three steps. First, the coherence indicator χ(τ; σ) ∈ {+1, −1} is defined as a purely combinatorial quantity over triangle orientations, with no probabilistic content. Second, the coherence cost εcoh(σ₊; θ, ψ) = |⟨−θ|ψ⟩|² is established from the (A)∧(B) apparatus symmetry conditions, with numerical residual 5.55×10⁻¹⁶ over 20,000 state-angle pairs. Third, P₊ = 1 − εcoh = |⟨+θ|ψ⟩|² follows by normalisation, algebraically. All five Gleason axioms are verified for this assignment with residuals ≤ 1.1×10⁻¹⁵, and the Gleason uniqueness theorem — stated in full as a self-contained result — guarantees that this is the unique admissible probability assignment on the Hilbert space of spin-½ states. A structural diagnostic is provided: uniform triangle weights α_τ = 1/N_T yield the Heaviside function Θ(cosθ), with maximum discrepancy 1.00 (exact), confirming that the Born cos²(θ/2) distribution is not trivial and requires the specific geometric weight structure of K₄⊗G_app. This result closes OP5 of D32 at Level 1. Level 2 — the derivation of triangle weights α_τ from PDL axioms without presupposing the spin Hilbert space inner product — remains open.
We analyze how two fundamental quantum-theoretic ingredients—Born’s rule for spin-1/2 measurements and the fine-structure constant governing proton–electron interactions—can be reformulated within the Projective Dynamic Logo (PDL) framework as emergent properties of finite active surfaces embedded in a relational hierarchy. In PDL, physical entities are represented as finite signed graphs selected by coherence and minimality principles, with the minimal (4,6) closure serving as a logical prototype for the electron, and a two-level hierarchy comprising valence cores and a relational sea modelling the proton. Building on earlier work, in which the proton’s active surface Rsurf=φrval/3 yields a structural relation α−1≃γ2/Rsurf2 that reproduces the empirical fine-structure constant without continuous fit parameters, we generalize the concept of active surface to a Stern–Gerlach-type spin measurement apparatus. In this construction, spin eigenstates correspond to two stationary sign configurations on the (4,6) block, while quantum superpositions are encoded as weights on mixed triangles that couple the (4,6) structure to two disjoint interface branches representing the apparatus. A weighted coherence cost assigned to these mixed triangles, together with an exponential selection over global graph configurations, induces effective probabilities for the two outcome basins that coincide with Born’s rule for spin-1/2 measurements. We additionally introduce an instrumental coupling parameter αspin that links the apparatus’ internal coherence budget to the extent of its active surface, in direct analogy with the protonic interpretation of α. This unified perspective interprets both proton structure and spin measurement as instances of coherence allocation between internal relational hierarchies and finite active surfaces, and it motivates a potential role for the golden ratio as a relational optimization factor. The status of these results is explicitly propositional: they demonstrate that the PDL framework can reproduce both the functional dependence of Born’s rule and the numerical value of α, while leaving open the questions of uniqueness and of rigorously deriving the emergence of the golden ratio from the underlying axioms.
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. Status as of October 2026. We prove that the Born rule is the unique consistent probability assignment for any perfectly self-contained (PSC) theory whose records carry quantum effect structure. The argument has two interlocking stages. Formal stage. We machine-check in Lean 4 that any normalized, POVM-additive probability assignment \mu on n-dimensional quantum effects has at most one density operator \rho representing it: [ \mu(E) = \re\bigl(\Tr(\rho E)\bigr) \quad\textfor all effects E. ] What is machine-checked here is the uniqueness of the density-operator representation under the closure constraints. Existence of such a representation is imported from known Busch/Gleason-type results. The uniqueness theorem busch_gleason_unique is fully proved with zero sorrys, using three families of test effects that together span \Herm(n) and extract every matrix entry of \rho. Physical stage. PSC forces any record-level probability assignment to be noncontextual and POVM-additive, because probabilities that depend on external measurement context introduce semantic externality that PSC excludes. Therefore, if a Born-rule density operator exists (Busch/Gleason existence, acknowledged as a known result), it is provably unique by our machine-checked argument. The Born rule is thus not a postulate but the only fixed point of closure. The approach generalizes standard Gleason-type derivations: it applies to POVMs (not only projectors), requires no dimension lower bound, and is interlocked with the NEMS record-closure framework. The Lean artifact constitutes the first machine-verified uniqueness proof for quantum probability in an operationally grounded formalization. This overview presents the core NEMS theorem engine and selected applications; stronger domain-specific derivation and ontological synthesis claims belong to separate release surfaces with their own premise bundles and formal artifacts. Trust boundary. Machine-checked content is the density-operator uniqueness lemma under stated effect constraints (nems-lean ); Busch/Gleason existence is imported as classical mathematics. PSC⇒noncontextual semantics links are premise-sensitive. See .
This paper resolves Open Problem OP4 of the Projective Dynamic Logo (PDL) programme by deriving the U(1) phase freedom of quantum mechanics from the combinatorial structure of the complete signed graph K₄, without presupposing complex amplitudes, Hilbert spaces, or gauge symmetry. Document D34 of the PDL corpus established Born's rule at Level 1: the modulus identity P = |ψ|² follows from the Gleason uniqueness theorem applied to the coherence-violation cost χ(τ;σ) ∈ {+1,−1} of the K₄ structure. Level 1 left the origin of complex phases as an open problem. The present document closes this gap. Three propositions are established, each with complete proof. Proposition 1 shows that the global sign equivalence s ∼ −s of K₄ coherent configurations, combined with the half-cycle identity T² = −I₂ proved in D33, generates a canonical U(1) action on the amplitude space H_cyc ≅ ℂ²; the orbits are the fibres of the Hopf fibration S¹ ↪ S³ → S². Proposition 2 proves, by explicit algebraic computation verified over all 8 coherent configurations of K₄, that the (A)∧(B) stability criterion is U(1)-invariant: the cross-products P₁, P₂ ∈ {+1,−1} are independent of any complex phase factor applied to ψ. Proposition 3 proves that the unique U(1)-equivariant probability measure on S³ whose marginal under the Hopf projection satisfies the Level 1 Gleason axioms is the round measure on S³, yielding Born's rule P = |⟨θ|ψ⟩|² on the base ℙ¹(ℂ). Together, these three propositions establish that the U(1) phase freedom of quantum mechanics is not a postulate but a structural consequence of the K₄ pulsation: a state ψ and a phase-rotated state e^{iα}ψ are physically equivalent because they correspond to the same physical K₄ configuration related by the global sign flip s ↦ −s. A connection to the Ginzburg–Landau order parameter of superconductivity is identified: the phase φ in Ψ = |Ψ|e^{iφ} is the fibre coordinate of the Hopf bundle generated by the K₄ pulsation, providing a combinatorial foundation for long-range phase coherence. This result completes the quantum dynamics layer of the PDL programme. The Schrödinger equation (D32), the Dirac equation (D33), Born's rule including the origin of complex phases (D34 + D46), the spin-½ double cover (D33), and the U(1) gauge freedom (D46) all follow from four combinatorial axioms on finite signed graphs, without free parameters and without additional postulates. The paper is self-contained: all necessary results from D29, D32, D33, and D34 are reproduced in full in Section 2.
STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. NOTE ON SCOPE (18 October 2026). Where this paper says that the Standard Model's matter content, charges or gauge structure are derived from, forced by or emerge from the eight-bit error-correcting cell, read encoded in or assigned to. The finite results themselves stand: the code, its constraints and the anomaly arithmetic are exact. But two things are premises of the framework, not consequences: the identification of codewords with particles, and the choice of the eight-bit [8,4,4] cell. In particular, the step from read/write balance to a single CSS code is not derived [R22]. The author's October 2026 review of the programme concluded that the framework's Standard-Model content is assigned rather than derived. No observation currently distinguishes the framework's account from the Standard Model itself. This revised note argues that, within the accepted complex quantum-error-correcting record substrate, the quadratic Born form arises from linear record writing, orthogonality of record sectors, and isometric normalization before any probability measure is introduced. Conditional uniqueness is treated separately through Gleason-type and refinement-stable record-sector routes. The 30 August 2026 additivity-audit revision cites Jiaxuan Zhang's analysis of five Born-rule derivations (arXiv:2603.06211) and makes the premise accounting explicit: a Gleason frame function includes orthogonal additivity, while Marko Lela's route begins with a non-negative extensive valuation on disjoint continuation bundles. The closed-record-pair route assumes neither measure-level object, but establishes the quadratic form rather than a standalone uniqueness theorem. The resulting open frontier is to obtain both form and uniqueness without importing measure-level additivity. The paper also records the minimal [8,4,4] record cell and the bare monitored service rate alpha_0 = 1/137, while retaining the deeper reconstruction question as open.
The Born rule---the probability of obtaining measurement outcome ai given by P(ai)=∣⟨ai⟩ψ∣2---is the last independent postulate of quantum mechanics not yet reduced to dynamical principles. Existing decoherence programs explain why measurement outcomes appear classical, but cannot derive why the probabilities are precisely ∣ψ∣2. Gleason's theorem establishes the Born rule as the unique consistent probability assignment on Hilbert space, but it presupposes the Hilbert space framework itself. In this paper, we provide a complete derivation of the Born rule from the axioms of the Constraint-Dispersion Unified Framework (CDUFD). The central innovation is replacing statistical randomness with topological determinism: using A4 topological defects as natural instruments, their discrete topological charges provide a discrete spectrum of measurement outcomes; topological pairing constraints ensure that the relaxation of the system-instrument composite is deterministically directed---the instrument does not create probability, it merely ``reads out'' the topological sector of the system; the equilibrium distribution of the system in the critical regime is rigorously determined to be ∣ψ∣2 by the uniqueness of the Fokker-Planck steady state. The Born rule emerges as a direct corollary of the equilibrium statistical mechanics of the critical regime. The derivation strictly follows the CDUFD methodology of solution-space construction and constraint-driven reduction, with all steps anchored to axioms A1--A5. Together with Supplementary Material I (Madelung transformation) and Supplementary Material VI (Wallstrom condition), this work completes the full emergence of quantum mechanics from CDUFD axioms.