back to table · edit · history · where entries came from · files · download
2242 bytes, as of the version from 2026-09-25 21:37 (current). Recorded here, not run.
{
"table": "T443",
"phase": "broaden natural arguments and synchronize coverage notes",
"baseline_revision": "c42bd5d7dec5f01ccb5e717111d91a8468485a32ffc0de00d92f579a1755e826",
"archive_label": "draft-expansion-2026-09-24",
"authority": "The current website database and revisions; this computation archive is supporting evidence.",
"parameter_values": {
"s": [
"-1",
"-1/2",
"-1/3",
"-1/4",
"-10/3",
"-11/2",
"-11/3",
"-11/4",
"-13/3",
"-13/4",
"-14/3",
"-15/4",
"-16/3",
"-17/3",
"-17/4",
"-19/4",
"-2",
"-2/3",
"-21/4",
"-23/4",
"-3",
"-3/2",
"-3/4",
"-4",
"-4/3",
"-5",
"-5/2",
"-5/3",
"-5/4",
"-6",
"-7/2",
"-7/3",
"-7/4",
"-8/3",
"-9/2",
"-9/4",
"0",
"1",
"1/2",
"1/3",
"1/4",
"2",
"2/3",
"3/2",
"3/4",
"4/3",
"5/3",
"5/4",
"7/4"
]
},
"coverage_note": "it holds every rational $s=a/b$ in lowest terms with $-6\\leq s\\leq2$ and $1\\leq b\\leq4$ (49 entries). These integers, halves, thirds and quarters match the common argument range of the Tracy-Widom distribution and density tables. Other arguments and the far tails are not included.",
"coverage_validated_against_every_cartesian_parameter_combination": true,
"before": 12,
"after": 49,
"comparison_counts": {
"same": 12,
"new": 37
},
"generator_sha256": "397198012b29db80003fa2c05b6bee6b48cfba5b8cfbc3120c299992853ae1fb",
"checks": "run_integrity_checks",
"cross_checks": {
"finite_entries": 49
},
"allowed_prose_changes": [
[
"Data properties",
"complete-note"
],
[
"Comments",
"comment-range"
],
[
"Data properties",
"rigour details"
]
],
"preserved": "Definitions, formulas, parameters, normalization conventions, rigour levels, references, unrelated prose, draft status and every pre-existing entry.",
"previous_selection_retained_in_revision_history": true,
"engine": "codex-cli",
"model": "gpt-5.2",
"session": "019c3fb0-a459-7fa3-9d1b-82994c678238"
}