GHU Lab · General laboratory guide
Between physics and mathematics
Animated arguments connecting physical assumptions, exact quantization certificates, the laboratory and experimental upper limits.
Updated 13 October: 38 chapters. The first 28 retain the original whiteboard explanations; the closing chapter is revised and nine chapters connect quantization, Lean certificates, physical assumptions and the ATLAS/CMS limits.
16:37 · 38 chapters · 1920 × 1080 · 24 fps · Embedded captions; synthetic narration: Microsoft Zira
Try the quantization demo · Module guide · Experimental limits in the laboratory
Follow the explanations
Transcript
What the evidence supports
The first four examples retain their ordinary proofs and 113 executable checks. The extension introduces 23 new Lean theorem declarations alongside 26 existing SU(7) declarations: 49 in four files. Topological interpretation, physical assumptions, numerical checks and file hashes have different roles. None certifies a complete physical model or an observed new particle.
Original mathematical proofs and scope (English) · Version, hashes and production checks