back to table · edit · history · where entries came from · files · download
2291 bytes, as of the version from 2026-10-27 22:51 (current). Recorded here, not run.
# Reproducing T563
This bundle reproduces the 600 full-cube Selberg normalizations for classical
Jacobi ensembles. All 561 rational values are exact; the other 39 entries are
certified to 100 significant digits. See argument-selection.md for the domain,
normalizations, coverage choices, sources and exact enumeration.
Download generate.py, checks.py, check.py, readback.py and flatten.py into one
directory. Install numberdb in SageMath or compatible passagemath. Then run:
sage -python checks.py > recomputation.json
sage -python generate.py
sage -python readback.py > stored-checks.json
The first command computes the selection and independently integrates every
row without reaching the website. The next commands require access to the
draft via NUMBERDB_API_KEY, and read without writing. generate.py --fill sends
entries to an editable draft; it does not publish or offer the draft.
Checks use exact rational moments, determinants and confluent Pfaffians for
beta=2,4; beta=1 uses a skew-moment Pfaffian and finite Fourier integration
at 1024 bits. Its substitution x=sin(u)^2 removes the half-integer endpoint
weights. Controls check determinant and Pfaffian algebra, known full-cube
integrals, and rejection of an incorrect ordered-chamber normalization.
No independent method uses gamma values or the Selberg product.
The files numerical-evidence.json and readback-evidence.json record the
build-time and stored-value results. The checker's measured real-ball
accuracy is at least 426 bits for the generator and 914 bits for the
independent beta=1 integral. Every serialized decimal interval was checked
to contain both computations. selection.json records all 600 ordered tuples.
The largest written value has 518 characters; the explicit Size exception
preserves that exact rational in this mixed real table.
skill-manifest.json is the archived instruction manifest from
agents/runs/20261027T223837Z-build-skills/manifest.json. Both versions have
SHA-256 e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c.
The same digest and archive reference are recorded in the numerical evidence.
This is author evidence. An independent critique and argument-selection
assessment are separate controller stages; this build did not offer or
publish the draft.