The Limit · read in full

• The paper (PDF)

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

The Limit

Artist’s Proof 12. The uncertainty principle and ℏ from Stone's theorem.

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. Section 0Dependency and ScopeAP12 derives the uncertainty principle from the axioms.
2. The minimum recordEvery measurement you have ever made — every reading of a thermometer, every glance at a clock, every photograph of a distant star — involved a minimum.
3. What ℏ isAxiom B: one element ε ∈ ℒ with no σ-image. ε is the minimum viable splinter — the smallest possible break.
4. What that meansYou cannot write half a record.
5. Why the identification is forcedChapter 1 left ℏ as an identification, not a derivation.
6. The manifold and its translationsSomething remarkable happens when you ask: what does it mean to move along a manifold that was not built by hand, but derived from axioms?
7. Momentum as generatorStone's theorem applied to spatial translations gives: U(a) = e^{−ip̂a/ℏ}
8. The commutation relationHere is the derivation. Pay attention to what is assumed and what is derived. Nothing is assumed.
9. The uncertainty boundFrom [x̂, p̂] = iℏ and the Cauchy-Schwarz inequality on the Hilbert space, the Robertson-Schrödinger inequality gives: ΔxΔp ≥ |⟨[x̂, p̂]⟩|/2 = ℏ/2
10. Why time is differentThe position-momentum derivation ran along space. Translations on the manifold.
11. The Mandelstam-Tamm derivationStone's theorem applied to time evolution (Chapter 1): U(t) = e^{−iHt/ℏ}.
12. Two faces of the recordThe derivations above establish the uncertainty principle from the axioms.
13. The resolution of the nowThe uncertainty principle is the resolution of the now.
14. The connection to measurementChapter 1 established: measurement is the now writing a record.
15. Section 6Kill SwitchesFour switches engage on this paper. Statuses follow the Master Kill Switch Registry.
16. Section 7ClosingThe uncertainty principle is the resolution of the break.
17. The gradesClaim Summary · Conditionality FooterEvery section graded. Every dependency named.

The kill switches

KS-L.1 — was KS-Q.8 — CLOSED

Claim. ℏ is derived as the action-scale of the minimum record (1.3). Residual vulnerability: KS-L.4 (dimensionless parameter from the axioms). Strictly smaller exposure than KS-Q.8, which questioned the entire identification.

Status (registry v5.35). CLOSED — ℏ identification (was KS-Q.8). The registry's dated note of 12 September 2026 on this switch is on the wall.

KS-L.2 — Commutation relation at the Planck scale

Claim. The commutation relation [x̂, p̂] = iℏ is derived from Stone's theorem applied to spatial translations (2).

Test. if the manifold has structure that modifies the translation generator at the Planck scale (non-trivial topology, curvature effects, or discreteness below the resolution of the AS), then the commutation relation might receive corrections.

KS-L.3 — Energy-time via unitarity

Claim. The energy-time uncertainty relation (3) depends on the Mandelstam-Tamm derivation, which requires the Heisenberg equation of motion d⟨A⟩/dt = (i/ℏ)⟨[Ĥ, A]⟩.

Test. break unitarity.

KS-L.4 — Dimensionless parameter in ℏ forcing

Claim. Step 3 of the 1.3 forcing argument claims no dimensionless parameter is available from the axioms to modify the relation α = (minimum action).

Test. if a dimensionless constant derivable from {S, B, R, C} is shown to enter the relation between the Stone scale factor and the minimum record — a topological invariant of the derived manifold, or a representation-theoretic factor from the Hilbert space construction — then the forcing argument weakens and α = k × (minimum action) for some k ≠ 1.

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

Dependencies. AP20 4 (axioms; fenced KS-P.1 / KS-P.2) + AP10 4 (Lorentzian signature; fenced KS-D.4). AP09 3.2 (Hilbert space). AP09 7.3 (Schrödinger equation). AP10 (N = 3). AP20 5 (AS = manifold). AP06 4 (Landauer bound, referenced).

On the wall: Dated note, 12 Sep 2026

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

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