Hurwitz ladder; E_n = commutativity as dimension
The filter is one generated page per status, not a script — it works with scripting off. Literature claims and pinned references are on Citations; the word and instrument audits on Audits.
Hurwitz ladder; E_n = commutativity as dimension
buildings, Ramanujan = tempered, Gindikin–Karpelevich
monopole tower, Van Est, Eilenberg–Mac Lane, Eckmann–Hilton
global rungs, Grunwald–Wang, GW ≠ Tate
the separation argument is real (§7)
closure = totally geodesic; closure failure generates the tower; rungs trade
CASE-06 holds the trade instance
SM table
renormalisability = closure; mixed anomaly = Hochschild–Serre; ℤ₆ retrodiction
readings of theorems labelled T
dynamics table
Ш = topological order (D) later cut to 2-torsion in §19 — self-corrected
chirality = Spin not Pin; heterotic Bianchi = rung 3
GR table
"why not the SM" (D) is a reading
chaos table; Mixmaster = Gauss map, Lyapunov
p-adic table; Freund–Witten to 30 digits
closure decides isogeny
information table; trace-condition test
prediction failed, honest
symplectic table
Monster table; bets
| letter | means | sections |
|---|---|---|
| L | literature | 17 |
| Def | definitional | 2 |
| C | computed in a sandbox, unsealed | 25 |
| R | tested by a sealed run | 4 |
| P | pre-loaded | 6 |
| B | bet | 12 |
| unclassified | left for the owner; the audit’s verdict token did not normalise | 2 |
status = the audit's first verdict token; 'honest' and X (failed predictions recorded as such) map to B; C⁺ to C; anything else is 'unclassified' for the owner. 'audit' keeps the table's raw text. The audit letters are a taxonomy, not a status (§4), so they take no colour and no glyph; the only colour is an outcome glyph on a tested section, read from the run record. P is the finding, marked the way §10 marks a finding — a solid ink rule against the margin. unclassified is set small and faint: it is a row waiting for a verdict, not a verdict.
generated 2026-10-25nothing on this page is maintained by hand