GHU Lab · General laboratory guide
Between physics and mathematics
Animated explanations of physical assumptions, exact certificates, recalibrated GHU potentials and measured collider data.
Updated 17 October: 46 chapters. Chapters 44–46 explain certified matched profiles, residual error bounds and physical scope. The first 28 preserve the original explanations. The extension connects quantization and certificates to physics, then explains potential derivatives, recalibration, the measured CMS spectrum, correlated errors and the scope of validation.
22:07 · 46 chapters · 1920 × 1080 · 24 fps · Embedded captions; synthetic narration: Microsoft Zira
Try the quantization demo · Module guide · Experimental limits in the laboratory
Try the hypothesis comparison demo · How to use the four plots · Previous 38-chapter edition
Follow the explanations
Transcript
What the evidence supports
The first four examples retain their ordinary proofs and 113 executable checks. The catalogue contains 23 quantization declarations, 26 SU(7) declarations and 10 rational hypothesis identities: 59 in five Lean files. Topological interpretation, physical assumptions, numerical checks and file hashes have different roles. None certifies a complete physical model or an observed new particle.
New matched-profile evidence: a written functional proof and an independent 228-check Sage replay. The bars are numerical enclosures, not experimental error bars. Download the ZIP from Boundary research; its hash is pinned in inputs.json. Open Boundary research
Original mathematical proofs and scope (English) · Version, hashes and production checks