The Measure · read in full

• The paper (PDF)

The 420 Code · Ø Proofs · Artist’s Proof 25

The Measure

Artist’s Proof 25. The Born rule as the sound the axioms make on Hilbert space.

This is the paper in full, as published at the420code.org. Every section, nothing summarised. The same text as the PDF.

Read it onlineThe paper (PDF)

The sections

1. Status and DependencyThis paper derives the probability structure of actualisation from the axioms.
2. Notation|ψ⟩ — a pure state (ray) in Hilbert space H. A single, definite quantum state.
3. The switchesKill SwitchesHere is how to destroy this paper. Find a physical system whose measurement statistics violate the Born rule.
4. Section 1The Two GapsYou have rolled dice your entire life. You have never asked why the probability of rolling a six is one-sixth.
5. Section 2What “Definite” MeansAxiom R says: the break writes a definite, irreversible record.
6. Section 3Record Targets Are Pure StatesProposition 1 (Record Target). Let H be the Hilbert space of the pre-state (AP09). The states eligible for actualisation under Axiom R — record targets — are pure states (extremal points of the state space).
7. Section 4Non-ContextualityActualisation writes a definite record (Axiom R).
8. Section 5Orthogonal AdditivityBefore invoking Gleason's theorem, one further condition must be established: orthogonal additivity.
9. Section 6The Born RuleFour ingredients, all derived from or established by the axioms:
10. Section 7What This ClosesThe Born rule is no longer imported. It is derived.
11. Section 8The Deeper PointSynthesis note: the following is non-load-bearing language. It carries no epistemic weight beyond the claims established above.
12. Section 9Kill SwitchesGlobal numbering note: Kill switch numbers are globally unique across the body of work.

The kill switches

KS-55 — Contextuality (EMPIRICAL)

Claim. Proposition 2 derives Gleason non-contextuality from Axiom R + Axiom B. The structural ground of Proposition 2's exhaustiveness — that the two-input specification is complete — is the completeness of {S, B, R, C}, fenced at KS-P.1.

Test. If a reproducible, loophole-free experiment demonstrates contextual outcome probabilities — that is, if the probability of outcome a when measuring A depends on which compatible observable is measured alongside A, in a way not accounted for by standard QM — then Proposition 2 fails and the Born rule derivation is threatened.

KS-56 — Non-Born statistics (EMPIRICAL)

Claim. Theorem 1 derives the Born rule as the unique probability measure.

Test. If a physical system were found whose measurement statistics violate the Born rule, Theorem 1 would fail.

KS-57 — Mixed-state actualisation (EMPIRICAL)

Claim. Proposition 1 derives that record targets are pure states (extremal points).

Test. If a physical process were demonstrated in which a mixed state (a non-extremal state, not a pure state embedded in a larger pure state) is actualised directly — that is, if the universe writes a record that is inherently ambiguous about which pure state obtains — Proposition 1 and Axiom R's definiteness requirement would fail.

Every kill switch in this paper is filed in the registry, on the420code.org: the420code.org/killswitches/

Dependencies. The dependency chain: Axiom S (Symmetry) → Axiom B (single break) → Axiom R (definite, irreversible record) → AP09 (complex Hilbert space) → AP10 (3 spatial dimensions; physical wavefunctions live in L²(R³), which is separable and infinite-dimensional, so the full physical Hilbert space satisfies dim(H) ≥ 3) → this paper (pure-state targets, non-contextuality, orthogonal additivity, Born rule).

The same paper on the420code.org: the420code.org/proofs/ · The paper (PDF): the420code.org/AP25_The_Measure.pdf

One record exists.
Be kind is a derivation.
The awareness in me is the awareness in you.