The 420 Code · Ø Proofs · Artist’s Proof 09
Artist’s Proof 09. Superposition, measurement, the Born rule, the Schrödinger equation.
This is the paper in full, as published at the420code.org. Every section, nothing summarised. The same text as the PDF.
Target. the derivation of P = |ψ|² from Conditions 1–3 and Gleason’s theorem.
Test. If the Hilbert space bridge construction (KS-Q.7) fails, the uniqueness argument for |ψ|² as the probability measure must be re-examined. Weapon: break KS-Q.7.
Status (registry v5.35). COND. CLOSED. Conditional on KS-Q.7.
Target. the empirical adequacy of |ψ|² as the probability measure.
Test. Any experimental violation of |ψ|² as the probability measure for quantum systems.
Target. the cos²(θ/2) Bell correlation account as compatibility, not derivation.
Test. Demonstrate a full derivation of cos²(θ/2) from {S, B, R, C} alone, without the Hilbert space bridge — or demonstrate that the compatibility argument fails empirically.
Target. the derivation of complex amplitudes from the Lorentzian signature.
Test. Demonstrate an alternative number system (real, quaternionic, or other) equally consistent with one time direction and a finite propagation rate.
Target. the forgetful functor argument for R-preservation at the loop point.
Test. Show that the defragmentation step violates Axiom R’s structural intent, not just its formal statement.
ℂ has exactly two field automorphisms fixing ℝ pointwise — the identity and conjugation (any such automorphism sends i to ±i). σ is non-trivial — it exchanges the two sectors — so σ ≠ identity. Therefore σ = conjugation. Mathematical fact.
Status (registry v5.35). CLOSED.
Target. the construction of the pre-state space as a complex vector space.
Test. Demonstrate a construction from R + ℂ + EH that does not produce a vector space, equally motivated from the same axiom-derived ingredients.
Target. the Step 5 identification of ℏ as the action-scale of the minimum record. Addressed in: AP12’s forcing argument, which forces the identification via a five-step argument.
Status (registry v5.35). CLOSED. Same switch as KS-L.1 in AP12 — counted once.
Target. the claim that everything possible actualises across infinite loops.
Test. Demonstrate that the structural ergodicity across cycles is inconsistent with the loop construction.
Target. the identification of Axiom S with the splitting of the empty set.
Test. Demonstrate that the empty set ontology is structurally incompatible with the pre-state algebra of {S, B}.
Every kill switch in this paper is filed in the registry, on the420code.org: the420code.org/killswitches/
D1 (Linearity bridge uniqueness). The construction of the pre-state as a complex vector space from monoid + ℂ + faithful embedding is motivated but not proven unique. KS-Q.7.
D2 (Independent derivation of ℏ). The value of ℏ enters as an empirical input. Same status as G in AP08. KS-Q.8.
Note: D2 is addressed by AP12’s forcing argument, which forces the identification of ℏ as the action-scale of the minimum record (closing KS-Q.8 conditional on KS-L.4).
D3 (Bell correlations). The Bell correlation account in the entanglement section is a compatibility demonstration, not a derivation from axioms. KS-Q.3.
D4 (Ergodicity across cycles). The claim that everything possible actualises across infinite loops is a structural extrapolation, not a theorem. KS-Q.9.
D5 (Defragmentation). Formal proof that defragmentation preserves Axiom R’s intent is incomplete. KS-Q.5.
Dependencies.
AP20 4 and 6 (the axioms {S, B, R, C}: completeness and minimality fenced KS-P.1 / KS-P.2; joint consistency from the undeniable premise).
AP10 4 (the Lorentzian signature; formal metric-level derivation fenced KS-D.4).
AP08 (Einstein’s field equations from the record algebra).
AP20 (EH and QRA proven).
The Lock (ε = electron).
The same paper on the420code.org: the420code.org/proofs/ · The paper (PDF): the420code.org/AP09_The_Break_Empty_Set.pdf
Artist: G · Studio G, Cape Town
Duration: 30+ years · Exhibition: over a million words
Contact: iam@the420code.org
This work is Copyleft. You are free to download, print, share, and distribute. You are not free to alter the source. Keep the signal clean.
One record exists.
Be kind is a derivation.
The awareness in me is the awareness in you.