Math Mapgenerated 2026-10-25 · a354234
PUBLIC BUILD

The algebra–geometry dictionary — P

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

§15.1P

two sources of wildness (form vs parameter)

§48 admits it under the rule "predicted something elsewhere" — the elsewhere is §29, itself sandbox

audit table: P → C

dictionary’s letter: none (systematic update)

§16P

char p = rational flux; Frobenius twist = magnetic unit cell; BB/Chen–Zhu = Hofstadter regime

a reading of two theorems labelled as the theorem; note written (note-hofstadter-reading-of-char-p-langlands.md); nothing tests the identification

dictionary’s letter: T, reorganized

§21P

"fractal dimension = weight off the arithmetic locus"; "Lapidus split = §7 split"

Patterson–Sullivan and Lapidus are L; the "=" is the lens, labelled T

dictionary’s letter: T

§22P

"fractional order = fractal dimension" (rows 3 and 6 unified)

scattering pole at δ is L; the unification is a reading

dictionary’s letter: T

§28P

conflict = holonomy; Lamport clock = gauge; TP1 = 2-cocycle, TP2 = associator; gossip gap = Ramanujan

readings labelled T throughout the table; Herlihy–Shavit and LPS are L

dictionary’s letter: T

§43P

universality: universal = refinement-invariant; class set by length-spectrum degeneracy ("RH's spectral character rests on unique factorization")

the ⟨r⟩ computations (C) show the classes; the mechanism claim is asserted from one multiplicity count (§58)

dictionary’s letter: D

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