Abstract All known derivations of the Born rule — Gleason's theorem, envariance, decision-theoretic and information-reconstruction approaches (including Masanes–Galley–Müller) — establish the internal uniqueness of the quadratic probability measure given the Hilbert-space and unitary structure of quantum theory. What remains open is the ontological ground of quadraticity prior to that structure. We present a derivation route from the C(r) correlation-field framework, whose primitives are a correlation operator C = 𝒟⁻¹ (Postulate I) and its geometric self-consistency (Postulate II + Theorem 0), with no state-vector, inner-product, or unitarity axioms. Within this framework, a readout ("severance") event requires two insertions of the correlation propagator, so record weights are bilinear in amplitudes. Three independent machine-adjudicated screens — (i) invariance of total weight under readout-basis reparametrization, (ii) multiplicativity under serial composition, (iii) vanishing of Sorkin third-order interference — uniquely select p = |ψ|² from the candidate family p = |ψ|ⁿ, with gate margins of at least nine orders of magnitude. The result is graded ■_struct (machine-certified within the lattice-family toolchain with certified continuum limit). The framework makes a falsifiable signature: third-order interference is identically zero; any measured I₃ ≠ 0 refutes the framework at this level. All gates, criteria, and failure trees were pre-registered before computation; one referee-layer veto (#35) was recorded and repaired without altering the registered criteria. ORCID: 0009-0007-1999-0293 Email: 1352533302@qq.com phone:+86 18278275520(china)
Abstract All known derivations of the Born rule — Gleason's theorem, envariance, decision-theoretic and information-reconstruction approaches (including Masanes–Galley–Müller) — establish the internal uniqueness of the quadratic probability measure given the Hilbert-space and unitary structure of quantum theory. What remains open is the ontological ground of quadraticity prior to that structure. We present a derivation route from the C(r) correlation-field framework, whose primitives are a correlation operator C = 𝒟⁻¹ (Postulate I) and its geometric self-consistency (Postulate II + Theorem 0), with no state-vector, inner-product, or unitarity axioms. Within this framework, a readout ("severance") event requires two insertions of the correlation propagator, so record weights are bilinear in amplitudes. Three independent machine-adjudicated screens — (i) invariance of total weight under readout-basis reparametrization, (ii) multiplicativity under serial composition, (iii) vanishing of Sorkin third-order interference — uniquely select p = |ψ|² from the candidate family p = |ψ|ⁿ, with gate margins of at least nine orders of magnitude. The result is graded ■_struct (machine-certified within the lattice-family toolchain with certified continuum limit). The framework makes a falsifiable signature: third-order interference is identically zero; any measured I₃ ≠ 0 refutes the framework at this level. All gates, criteria, and failure trees were pre-registered before computation; one referee-layer veto (#35) was recorded and repaired without altering the registered criteria. ORCID: 0009-0007-1999-0293 Email: 1352533302@qq.com phone:+86 18278275520(china)
Abstract(Summary of the current constitutional state (August 19,2026)): 1.The postulate system is reduced from three postulates to two postulates plus Theorem 0(former Postulate III demoted to a theorem;discrete seam closed for lattice families). 2.The discipline library stands at 15rules (rule 15,"magnitude estimates precede gates,"enacted August 19,2026). 3.The time chapter received its first structural income:the operator seat of severance (irreversibility)is the spectral-gap branch selection;the magnitude of the arrow is the scaling variable b/ξ. 4.Registered doctrine:"mathematical foundations =shared tool layer"(grade ◐);the scope law (C(r)computing power extends exactly to problems whose own dynamics is a self-consistency fixed point)is constitutional. 5.Born quadraticity derived from correlation self-consistency (campaign BORN-1,grade ■_struct)—the first derivation route operating below the Hilbert-space premise layer. ORCID: 0009-0007-1999-0293 Email: 1352533302@qq.com phone:+86 18278275520(china)
Unity Survives Distinction develops a structural interpretation of the Born rule as the quadratic law by which the unity of a quantum state is preserved across operational distinction. For a normalized state |ψ⟩ and a complete projective measurement {Π_j}, Hilbert-space Pythagoras gives: 1 = ||ψ||² = Σ_j ||Π_jψ||² = Σ_j ⟨ψ|Π_j|ψ⟩ The Born weights are therefore not merely numerical assignments attached to outcomes. They are the non-negative quadratic quantities through which the norm of one complex state is distributed across an exhaustive family of orthogonal alternatives without loss of totality. The paper extends this structure to compatible nested refinements and generalized measurements. Under refinement, probability closure is preserved through the zero-residual identity: P_α = Σ_k P_αk For a generalized measurement effect E, the same internal quadratic structure is expressed as: P(E) = ⟨ψ|E|ψ⟩ = ||E^(1/2)ψ||² The paper distinguishes this quantum claim from ordinary classical additivity. Additivity alone is measure-theoretic and is not uniquely quantum. The specifically quantum architecture lies in the conjunction of complex amplitudes, conjugate quadratic form, global-phase invariance, interference-sensitive recombination, operator-defined measurement contexts, and exact preservation of the total norm. Gleason’s theorem and related results for effects and positive operator-valued measures are used to explain why, under standard noncontextual additivity assumptions, the trace form of quantum probability is essentially forced rather than arbitrarily selected. Within the ENSO framework, this structure is formulated as Born intrinsic closure: fixed unity, zero refinement residual, and an internal quadratic witness. The paper does not claim a new formula for the Born rule, a new proof of Gleason’s theorem, or a derivation of Hilbert space from pre-quantum principles. It develops the structural and interpretive significance of established quantum mathematics. Its central conclusion is: The Born rule is the quadratic law by which unity survives distinction.
We study how much of the Hilbert-space and Born-rule structure of quantum theory can be obtained from operational primitives that involve records but not probabilities. The setting is a regime in which coherent alternatives recombine without leaving a stable record. We obtain three results of different kinds. Geometry. From composable contributions, record-inert reversible controls and amplitude scalings, under named conditions, we obtain a real inner-product event geometry. The existence of the inner product is equivalent to bounded mixing and is assumed in that form. In a worked interferometer with one mode per channel, the metric is not an input: metric-free port swaps and phase flips fix the form up to scale, and boundedness only forces the other controls to preserve it. Its uniqueness up to scale, the orthogonality of distinct outcomes, and the representation of events by orthogonal projections are derived. Obstruction. This geometry, even with full symmetry about the preparation and exact dyadic standards, does not select the quadratic weight: the preparation mixed with the maximally mixed state survives. The structural operations exhibited here certify only values on which the quadratic weight equals the counting weight. On restricted event families where Gleason’s theorem is unavailable, a calibration order oriented by the quadratic magnitude selects it: given exact standards, a state is the quadratic one exactly when it respects all such brackets. Whether such an orientation can be earned is the open problem. Given such brackets and refinement only to a finite depth K, every admissible state lies within 2^-K of the quadratic weight, without the Archimedean step. On the full projection lattice, Gleason’s theorem with null support, or sphere-transitive symmetry with null support, gives other conditional routes. Bridge. A predictive probability kernel is introduced separately. Its identification with the real quadratic weight ||P_A ψ||² / ||ψ||² is conditional on kernel-admission hypotheses, one of which is equivalent to the Born value; the complex form needs phase invariance in addition. The hypotheses select a class of contexts, and none is shown to be forced. For each we state the physical feature it expresses and a sufficient condition where one is known, and we work out one apparatus in which the geometry-stage hypotheses hold together. For all but one we give a context in which it fails (for the founding conditions, one that leaves the regime); for the remaining one, TCC-1, we give an illustration. This paper is the first in a series built on a common framework, Structural Ledger Consistency (in preparation).
From a single axiom — that outcomes form one non-separable whole — two consequences fix the quantum state space: a possibility can differ from another in exactly two ways, by magnitude (how much) and by phase (from where). A quantity carrying both is a complex number. On this space, non-separability forces completion by the conjugate, the squared-magnitude weight, linearity, normalization, and the interference cross-term, yielding the Born rule p_i = |ψ_i|² with Σp_i = 1 and interference. The algebraic steps are machine-verified (script included); the structural steps are stated as named claims with every open seam labeled honestly. Hermiticity of observables (A = A†) is argued and machine-verified for the real-weighted case rather than assumed. The derivation presupposes no Hilbert space, inner product, probability measure, or operational structure, and reaches the same targets that existing reconstructions obtain from five or six axioms. Submitted for refutation. The theorem of Section 7B is unchanged, and its proof does not depend on check A10 — it runs on Lemmas 2 and 4 and A1. Check A10 in verify_all.py was defective. It tested whether the product ψ·X is real, rather than whether X completes ψ. Consequently it accepted the sign flip, a partner that A1 explicitly excludes as degree-negating. The check could not fail. A10 is replaced with an exact test of A1’s criterion — that a completer removes vantage while preserving degree — which has the unique solution X = conj(ψ), and which rejects both the sign flip and any neighbouring pole. Two sentences describing A10 (Sections 6 and 7B) stated that a pole multiplied by a neighbour “still carries vantage.” This is false: the product m²e^(−iδ) is vantage-free but does not complete. Both sentences are corrected. This version also revises Lemma 3 to the operator-level criterion, removes the section on Hardy’s Simplicity axiom as superseded by Masanes–Müller (2011), addresses the direct-sum counterexample to Seam 7, and adds eleven references.
Quantum mechanics says that when you measure a system, the probability of an outcome is the squared modulus of that outcome's amplitude — not absolute value, not cubed, not some other power. The exponent has been two since Born wrote it down in 1926, and for a century it has been a postulate. Copenhagen accepts it as a brute fact; Many-Worlds tries to derive it from decision theory; QBism reframes it as Bayesian credence; Zurek derives it from environmental symmetries; Hardy derives it from operational axioms. Each program leaves at least part of the question unanswered: why squared, and not some other exponent? Gleason's 1957 theorem went part of the way: given a few structural conditions on quantum probability assignments, the squared form is mathematically forced. But Gleason leans on one substantive assumption — non-contextuality — that standard QM postulates rather than derives. This walkthrough shows how the Event Density framework derives the Born rule, including the squared exponent *and* the non-contextuality assumption underneath it, from a smaller set of structural commitments about what reality is made of at the substrate level. The chain has three load-bearing steps: (i) the participation measure is forced to the form √b · e^{iπ} via the Cauchy functional equation on bandwidth additivity plus Frobenius's theorem on real division algebras; (ii) the sesquilinear inner product on the participation-measure space is forced, delivering the Hilbert-space structure Gleason operates on; (iii) non-contextuality is forced by the channel-as-primitive ontology. With non-contextuality derived rather than postulated, Gleason–Busch applies directly. The squared exponent is a consequence of the framework, not a separate postulate.
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.