back to table · edit · history · where entries came from · files · download
2448 bytes, as of the version from 2026-09-25 15:13 (current). Recorded here, not run.
{
"table": "T451",
"baseline_revision": "d73e66cc72decd4e7302758cb24ef1d0613fe4e57b4d75ee05c82470ea03fdd5",
"baseline_head_id": 3254,
"phase": "Refine all existing densities to 100 significant digits without changing their parameters",
"authority": "The website database and its revision history; this external archive is supporting evidence only.",
"engine": "codex-cli",
"model": "gpt-5.2",
"session": "019c3fb0-a459-7fa3-9d1b-82994c678238",
"archive": "tracy-widom-precision-2026-09-25",
"digits": 100,
"entries": 165,
"rigour": "heuristic (agreement-checked)",
"configurations": [
[
230,
180,
8,
40
],
[
260,
220,
10,
44
]
],
"worst_relative_difference": "[7.09679483589073e-145 +/- 1.60e-160]",
"worst_identity": "4,-6",
"independent_fredholm_checks": [
{
"identity": "1,0",
"source": "fredholm-zero-a.json",
"relative_error": "[4.29121410740e-160 +/- 9.22e-173]"
},
{
"identity": "2,0",
"source": "fredholm-zero-a.json",
"relative_error": "[2.582e-171 +/- 1.43e-175]"
},
{
"identity": "4,0",
"source": "fredholm-zero-a.json",
"relative_error": "[4.31423788407e-159 +/- 3.37e-171]"
},
{
"identity": "1,0",
"source": "fredholm-zero-b.json",
"relative_error": "[1.36908213249e-173 +/- 4.28e-186]"
},
{
"identity": "2,0",
"source": "fredholm-zero-b.json",
"relative_error": "[2.68000935725e-173 +/- 3.74e-185]"
},
{
"identity": "4,0",
"source": "fredholm-zero-b.json",
"relative_error": "[2.68049665119e-173 +/- 2.36e-185]"
},
{
"identity": "4,-6",
"source": "fredholm-left.json",
"relative_error": "[6.91382026793e-147 +/- 6.14e-160]"
},
{
"identity": "4,3",
"source": "fredholm-right.json",
"relative_error": "[2.68049669289e-173 +/- 1.68e-185]"
}
],
"comparison_counts": {
"refines": 165
},
"generator_sha256": "4251b3bb3337e7f549b05197aaf37d0052003e00c8d28fbef74820f599b7f3eb",
"preserved": "Parameter identities, definitions, formulas, coverage, references, draft and review status, and unrelated attachments.",
"historical_selection_manifest": "selection-2026-09-24.json records the previous argument-selection run; this precision manifest supersedes its generator/accuracy provenance, not its parameter selection."
}