Math Mapgenerated 2026-10-25 · a354234
PUBLIC BUILD

The algebra–geometry dictionary

68 audited sections · status from docs/dictionary-audit.json (generated 2026-09-28 from docs/DICTIONARY-AUDIT.md (table + 2026-09-28 corrections)) · showing all · index 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.

L17
§1LHurwitz ladder; E_n = commutativity as dimension
§2Lbuildings, Ramanujan = tempered, Gindikin–Karpelevich
§3, 3aLmonopole tower, Van Est, Eilenberg–Mac Lane, Eckmann–Hilton
§6Lglobal rungs, Grunwald–Wang, GW ≠ Tate
§10Lclosure = totally geodesic; closure failure generates the tower; rungs trade
§11LSM table
§13.1–3Lrenormalisability = closure; mixed anomaly = Hochschild–Serre; ℤ₆ retrodiction
§14Ldynamics table
§20Lchirality = Spin not Pin; heterotic Bianchi = rung 3
§33LGR table
§35Lchaos table; Mixmaster = Gauss map, Lyapunov
§37Lp-adic table; Freund–Witten to 30 digits
§40Lclosure decides isogeny
§45L"phase transitions need infinite ramification — an existence criterion for universality classes"WITHDRAWN run 049CONFIRMED run 051
§49Linformation table; trace-condition test
§51Lsymplectic table
§55–56LMonster table; bets
Def2
§1Defcommutativity ↔ curvature, associativity ↔ sources, distributivity ↔ symmetry-of
§4Defcoherent vs incoherent nonassociativity
C25
§2CLanglands duality = curvature inversion + lattice duality
§5Crung 1 filtered by ramification; rung 2 depth-preserving
§5aCdepth shift ⇔ ramification depth of the outer action; U(1), U(2) mechanisms
§5bCU(3) buildings under ramification; normalisation check
§8Ctest log 1–13 "passed/failed"
§17Cdepth shift = pole order of p-curvature − 1 (rank 1)
§19CPoonen–Stoll/Arf; Ш_odd symplectic
§22–24CP1–P3 fractional-calculus identities
§24Cthin-carpet Chern insulator, Bott 1; finite ramification protects
§26–27Cfractal FQH torus / cylinder
§29CP1–P3 on OT
§31–32Cchromatic vs anonymous; small theorem; toy predictions
§39–39aCFurey placement; colour sector, ℤ₆
§44–45Cthreefold way, KT, percolation, Katz–Sarnak
§50COllivier tests
§52CQR from the Maslov index
§53–54CFrobenius fixed points; Selmer; BSD numbers
§57CFeigenbaum; attractor = 2-adic odometer
§58–61CRH table; adelic explicit formula; Lefschetz per place
§62–63Cpositivity = real form; blind-spot taxonomyCONFIRMED run 021CONFIRMED run 025
§64Crung ∞; height two ways
§65Czeta values via Γ; MZV dimensions
§66CMandelbrot skeleton
§67Cconvex duality bets B1–B5
§69Cquadratic forms B1–B4
R4
§36R"§35 prediction tested — confirmed": quantum Mixmaster Poisson via the arithmetic exceptionFALSIFIED run 029
§38Rodometer vs shift entropy; AnashinHELD run 028
§38RKrasner degree growthHELD run 028
§68RCHSH 2 / 2√2 / 4CONFIRMED run 021
P6
§15.1Ptwo sources of wildness (form vs parameter)
§16Pchar p = rational flux; Frobenius twist = magnetic unit cell; BB/Chen–Zhu = Hofstadter regime
§21P"fractal dimension = weight off the arithmetic locus"; "Lapidus split = §7 split"
§22P"fractional order = fractal dimension" (rows 3 and 6 unified)
§28Pconflict = holonomy; Lamport clock = gauge; TP1 = 2-cocycle, TP2 = associator; gossip gap = Ramanujan
§43Puniversality: universal = refinement-invariant; class set by length-spectrum degeneracy ("RH's spectral character rests on unique factorization")
B12
§7Bequal characteristic: rung 1 splits
§9Bopen bets
§12Bfive questions
§13.4Baccidental symmetries = wildly ramified; EFT filtration = ramification filtration; "depth shifts iff outer action has positive depth" ↔ (v/Λ)^depth
§15.2Brational ħ = char p
§17.3Bnumber fields at rational flux
§18Breflection
§21Banyons on fractals jump by cut-point structure
§23–24Blocality reads spectral dimension and ramification
§34–35BGR fold; Malament-type claim
§41–42Bthree families bets
§48Bself-audit; admission rule
unclassified2
§30unclassifiedtwo kinds of obstruction (class vs δ-image)
§46unclassifiedGödel placements

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