Math Mapgenerated 2026-10-25 · a354234
PUBLIC BUILD

The algebra–geometry dictionary — L

68 audited sections · status from docs/dictionary-audit.json (generated 2026-09-28 from docs/DICTIONARY-AUDIT.md (table + 2026-09-28 corrections)) · showing 17 marked L · compact density (§5)

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.

§1L

Hurwitz ladder; E_n = commutativity as dimension

dictionary’s letter: T

§2L

buildings, Ramanujan = tempered, Gindikin–Karpelevich

dictionary’s letter: T

§3, 3aL

monopole tower, Van Est, Eilenberg–Mac Lane, Eckmann–Hilton

dictionary’s letter: T

§6L

global rungs, Grunwald–Wang, GW ≠ Tate

the separation argument is real (§7)

audit table: L / C

dictionary’s letter: T / D

§10L

closure = totally geodesic; closure failure generates the tower; rungs trade

CASE-06 holds the trade instance

audit table: L / Def

dictionary’s letter: T / T/D

§11L

SM table

audit table: L / B

dictionary’s letter: mostly T; renormalisability = closure B

§13.1–3L

renormalisability = closure; mixed anomaly = Hochschild–Serre; ℤ₆ retrodiction

readings of theorems labelled T

audit table: L (readings)

dictionary’s letter: T, reorganized

§14L

dynamics table

Ш = topological order (D) later cut to 2-torsion in §19 — self-corrected

dictionary’s letter: T

§20L

chirality = Spin not Pin; heterotic Bianchi = rung 3

CASE-06

audit table: L (readings)

dictionary’s letter: T, reorganized

§33L

GR table

"why not the SM" (D) is a reading

dictionary’s letter: T

§35L

chaos table; Mixmaster = Gauss map, Lyapunov

audit table: L / C

dictionary’s letter: T / computed

§37L

p-adic table; Freund–Witten to 30 digits

audit table: L / C

dictionary’s letter: T / computed

§40L

closure decides isogeny

audit table: L / C (rule is a reading)

dictionary’s letter: T / computed

§45L

"phase transitions need infinite ramification — an existence criterion for universality classes"

Gefen–Mandelbrot–Aharony 1980–84, retrodicted; §43's class-vs-room reading tested by 049 (withdrawn) and 051 (sealed)

WITHDRAWN run 049CONFIRMED run 051

dictionary’s letter: computed

§49L

information table; trace-condition test

prediction failed, honest

audit table: L / C

dictionary’s letter: T / computed

§51L

symplectic table

audit table: L / C

dictionary’s letter: T / D by inspection / computed

§55–56L

Monster table; bets

audit table: L / C / honest

dictionary’s letter: T / computed / B

The key

lettermeanssections
Lliterature17
Defdefinitional2
Ccomputed in a sandbox, unsealed25
Rtested by a sealed run4
Ppre-loaded6
Bbet12
unclassifiedleft for the owner; the audit’s verdict token did not normalise2

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