Editions
This site is the living instrument, and it is rewritten continuously. What is archived with a paper is not the tool but its evidence — the gate scripts and their receipts — so a published result stays checkable whether or not this page still looks the way it did. What this page promises is the narrower thing the tool can actually keep: a URL a published record points at does not break.
Current laboratory and verification evidence
The current instrument and English certification dossier include the 8 October certification and uncertainty update. Formal algebra, interval proofs, numerical comparisons and open physical assumptions retain their separate scope. This living release does not replace a frozen paper.
Current user guides · 28 October 2026
English and castellano guides cover every menu section, Simulator mode and embedded experiment. The same catalogues supply in-app help, the glossary and downloadable manuals. Current guidance does not rewrite frozen evidence or archived tutorials.
Between physics and mathematics
Mathematical companion: English · 46 chapters · Castellano · 46 capítulos. Each edition has 46 animated chapters, with ordinary proofs, exact checks and scoped Lean certificates, including recalibrated GHU potentials, the measured CMS spectrum, correlations and observed ATLAS/CMS limits.
Versioned video guides
28 October neutral supplement · English · Castellano: six narrated chapters cover the finite neutral quotient and continuous isolation of Z, with proof, exact replay and explicit physical limits. Captions and transcripts included.
13 October supplement · English · Castellano: eleven chapters on quantization, the joint U(2) criterion, conditional parent transfer and the lift audit. Complete certificates and five Lean sources.
- Current revision · 17 October 2026: 47 chapters and 178 scenes per language, all recaptured on 17 October. Includes certified matched profiles in Boundary research and a practical hypothesis comparison walkthrough with measured CMS data, scoped certificates and exports.
- Quantization revision · 13 October 2026: 46 chapters and 165 scenes, preserved with its original media.
- Boundary revision · 12 October 2026: 45 chapters and 154 scenes, preserved with its original media.
- Demo revision · 10 October 2026: 44 chapters and 145 scenes, preserved with its original media.
- KK-gluon revision · 10 October 2026: 44 chapters and 144 scenes, adding the first KK gluon against ATLAS and CMS data, captured before the 🎬 Demo buttons existed. Preserved with its original media.
- Certification revision · 8 October 2026: 43 chapters and 139 scenes, with the certificates, uncertainty and experimental/thermal comparisons, preserved with its original media.
- Earlier 8 October guide: the formula-correction walkthrough, preserved with its original media.
- Original 7 October guide: the first tutorial, retained as a historical version.
The tutorials use adjacent versioned media; they are not self-contained HTML editions of the scientific instrument. Each player provides English and Spanish narration, subtitles, transcripts and downloads.
Pages carried over from the earlier tools
Five published Zenodo records link to the host these pages were served from. A URL in a published record is not ours to break, so they keep working:
- /tools-2026-07/index.html — the page previously served as
/index.html, carried over byte for byte - /tools-2026-07/calculator.html — the page previously served as
/calculator.html, carried over byte for byte - /tools-2026-07/predictor.html — the page previously served as
/predictor.html, carried over byte for byte
Editions cut so far
| file | what it is |
|---|---|
| ghu-lab-v0.2.1.html | frozen copy of the instrument |
When an edition is cut
An edition is one self-contained HTML file, carrying everything it needs and loading nothing, so that it still runs in ten years from a disk. The build can produce one and build/editiongate.py refuses to ship it if it can reach outside itself. What has changed is when one is cut: not once per paper, but when a claim needs the tool to run in order to be checked. No paper of this series has needed that — every number in each of them regenerates from the scripts archived with it, without this site.
What changed since the paper you are reading
That is the question a frozen copy was meant to answer, and the log of changes answers it better: every entry says what moved, why, and whether it affects the version of record. The papers are frozen; this site says out loud when it is not.