back to table · edit · history · where entries came from · files · download
2203 bytes, as of the version from 2026-10-24 20:04 (current). Recorded here, not run.
# Reproducing T464
These files accompany the unpublished draft “Feynman periods of the primitive
log-divergent phi4 graphs”.
Install SageMath with PARI 2.17 or newer and install the `numberdb` Python
package. Download the attachments into one directory. Then run:
```
sage -python checks.py
sage -python generate.py
```
The first command recomputes and checks the selected source census without
writing to NumberDB. The second compares every stored entry with the
generator. Reading an unpublished draft requires its author's API key in
`NUMBERDB_API_KEY`; after publication the comparison can be read-only and
unauthenticated. Neither command offers a draft for review or publishes it.
`generate.py` fetches the version-2 ancillary `Periods` file from arXiv and
checks its SHA-256. Alternatively, save that file beside the generator to
work offline. It evaluates the exact source expressions at 150 and 200
working decimal digits, compares them with the source decimals, and returns
100-significant-digit values. The one-loop value is exactly 1. All rational
coefficients stay exact. The precision claim is heuristic agreement-checked.
For independent checks on the stored values:
```
NUMBERDB_CHECK_STORED=1 sage -python checks.py
```
`checks.py` uses the supplied `check.py` helpers, controls for the MZV and
polylogarithm conventions, graph checks, Arb evaluations of the nine zig-zag
formulas, and the K_4,4 period relation. It checks every source comparison.
`check_annotations.py` checks equality links and row ordering in a freshly
fetched API document saved as JSON:
```
python3 check_annotations.py stored-document.json
```
`census-graphs.json` contains completed graph edges, keyed by the same loop
order and index as the table. `numerical-evidence.json` contains every written
value and its precision/source comparisons. `source-manifest.json` records
source provenance and scope, and `verification.json` records the checks
performed on the database read-back and the code digests.
The inward rounding of nonreal roots of unity is documented in the generator
and rigour details. Numerical agreement does not independently prove that
each formula evaluates its graph integral.