25 knowledge ledgers, numbered once for the whole corpus — so L7 is the same ledger in every paper that cites it.
The corpus’s own instruments
A ledger about the others: which classical theorem each figure carries.
L1Figure TheoremThe figure–theorem ledger: which classical theorem each figure carries, and its receiptsOPEN
Mathematics
The field bakes proper — what bit, what bounced, and what the corpus already had under another name.
L2Algebraic GeometryThe algebraic-geometry field-bake ledger — what bit, what bounced, and the boundary. One of the three fields listed but never thrown (the overnight order: algebraic geometry ×57, discriminanOPEN
L3Cartan HolonomyThe Cartan / connections-and-holonomy field-bake ledger — what bit, what bounced, and the boundary. First of the four fields L-272's re-survey left outstanding. OWED 622OPEN
L4Catastrophe SingularityThe catastrophe / singularity-theory field-bake ledger — what bit, what bounced, and the boundary. One of the three fields listed but never thrown (the overnight order named it explicitly: cOPEN
L5Category Theorycategory theory against CR — the corpus's largest unlisted fieldOPEN
L6CombinatoricsThe combinatorics field-bake ledger — what bit, what did not, and why. Lane 8OPEN
L7Complex Analysiscomplex analysis and monodromy against CR — the field that turned practices into theoremsOPEN
L8Conformal Geometryconformal / Möbius geometry against the substrate — the field that refused, and whyOPEN
L9Convexity OptimisationThe convexity / optimisation field-bake ledger — what bit, what bounced, and the boundary. One of the three fields listed but never thrown (the overnight order: convexity ×143, constraint ×1OPEN
L10Functional AnalysisThe functional-analysis / unitarity field-bake ledger — the field that bounced, and the one routing fact it returned. Third of the four fields L-272's re-survey left outstanding. OWED 622OPEN
L12Harmonic AnalysisThe harmonic-analysis field-bake ledger — what bit, what bounced, and the boundary. Second of the four fields L-272's re-survey left outstanding. OWED 622OPEN
L15Involution Real FormsThe involution / real-forms field-bake ledger — what bit, what bounced, and the boundary. The field L-277's unclaimed-surface probe named, and the first bake not drawn from a pre-existing liOPEN
L17Quadric Geometryprojective geometry of quadrics against the CR substrate — the CK metric identification, and the ladder gap it exposesOPEN
L18Representation TheoryThe representation-theory field bake — what bit, what bounced, and the boundary. The largest unbaked vocabulary in the corpus (×241 tight), thrown after the Phase 4 survey named it the standOPEN
L19Spectral TheoryThe spectral-theory field bake — what bit, what bounced, and the boundary. Tier B's largest never-thrown field (×189 on the reach measure), verified as NOT covered by the harmonic ledger, whOPEN
L20Variationalvariational / action against CR — the field the corpus uses and never namesOPEN
L11Graph TheoryThe graph-theory / percolation field-bake ledger — one genuine contact, and where the 2026 sharpness theorem's hypotheses part from the corpusOPEN
L16Number TheoryThe number-theory field-bake ledger --- what bit, what bounced, and where the boundary isOPEN
L13Index TheoryThe differential-topology and index-theory field-bake ledger --- what bit, what bounced, and where the boundary isOPEN
L14Integrable SystemsThe integrable-systems field-bake ledger --- what bit, what bounced, and where the boundary isOPEN
Method and evidence
The fields that test the corpus against measurement and technique rather than against a mathematical field.
L23Optics Lensingobservational optics and lensing against CR — confirmations, and the dimension clause they forcedOPEN
L25Statistics InferenceThe statistics/inference field-bake ledger — what bit, what bounced, and why. The last unbaked field in THE_MATHEMATICS_REACH's candidate set, and the one A5.5 needs. OWED 622OPEN
L21Information TheoryThe information-theory field-bake ledger --- what bit, what bounced, and where the boundary isOPEN
L22Numerical AnalysisThe numerical-analysis field-bake ledger --- what bit, what bounced, and where the boundary isOPEN
L24ProbabilityThe probability and stochastic-processes field-bake ledger --- what bit, what bounced, and where the boundary isOPEN