back to table · edit · history · where entries came from · files · download
3607 bytes, as of the version from 2026-10-16 08:41 (current). Recorded here, not run.
Built draft T458: Intersection numbers of psi classes on the compactified moduli stack of curves.
https://numberdb.org/T458
The draft contains 494 exact rational numbers: every non-decreasing nonnegative exponent profile of total degree 3g-3+n for each stable pair with 0 <= g <= 5 and 1 <= n <= 5. The largest written value has 19 characters. The range was selected as a compact complete reference for low-genus intersections with a few marked points, after measuring four candidate rectangles. The generator accepts larger bounds, but the completeness note describes only the stored range.
Conventions follow issue #198: ordered marked points; stack automorphism weights; <tau_1>_1 = 1/24; parameter order (g, n, d); d is a non-decreasing comma-separated string retaining zeros. No factorial or profile-permutation normalization is applied. The current skill's rigour `exact` is used for type Q. No decimal precision or approximation error is involved.
Screening found no equivalent family. The exact lookups 1/1152 and 29/5760 were empty; 1/24 was found only in unrelated tables. `already_here` and `already_asked` were run. T259 was read for the profile-key convention; T398 was read before adding its confirmed canonical URL as a related stable-map table.
Checks completed before writing and again on database values:
- DVV generator and independent Liu-Xu genus recursion agree for all 494 entries. They use Sage QQ and Python Fraction respectively, with separate arithmetic implementations and different base cases.
- Seven known-answer controls pass, including five published Macaulay2 examples. The independent recursion derives the genus-one base value from genus zero.
- All 278 applicable string identities and 241 dilaton identities hold using stored values on both sides.
- All four stored genus-zero cases and all five one-point cases match closed formulas.
- All 494 rows satisfy stability, dimension, profile length, sortedness, and positivity. An independent combinations-based enumeration confirms no missing or extra profiles in the selected range.
- Generator.verify(sample=None) reports 494/494 matched, zero differing, missing, or extra.
- The live audit is clean with no findings. Its original sole finding, an overlong definition, was addressed by moving the integral to Formulas and the bundle explanation to Comments. No numerical corrections were required.
The reproducible generator, checker, shared check helper, and verification evidence are attached to the draft. `table-document.json`, `computed-values.json`, and `stored-document.json` preserve the document and numerical evidence locally. `sources.md` identifies which primary source was used for each check. `20261016T081607Z-build-lesson.md` records two exact-number interoperability failures caught and resolved during checking.
The proposed `moduli spaces` tag does not exist, including in text-search tag results. The draft uses existing `algebra` and `combinatorics` tags. A `moduli spaces` tag would serve this table and the issue #198 proposals for lambda_g Hodge integrals, Weil-Petersson volumes, and orbifold Euler characteristics; this is a taxonomy proposal for the controller/person, not a new singleton tag.
This is a completed build stage, awaiting the separate critique and repair stages. The table remains unpublished and has not been offered for review. No review or publication action was attempted. The proposal queue has not been marked built for this new draft; the controller can advance it after its remaining stages. No source files, skills, pipeline files, or Git history were changed.