back to table · edit · history · where entries came from · files · download
2438 bytes, as of the version from 2026-09-24 20:53 (current). Recorded here, not run.
{
"table": "T423",
"phase": "broaden natural arguments and synchronize coverage notes",
"baseline_revision": "2f946c7a4119b4d6a7ec706e457f6fd58bb9de5e40819bee5c5ecd5be87996b7",
"archive_label": "draft-expansion-2026-09-24",
"authority": "The current website database and revisions; this computation archive is supporting evidence.",
"parameter_values": {
"u": [
"1",
"10",
"10/3",
"11",
"11/2",
"11/3",
"11/4",
"12",
"13/2",
"13/3",
"13/4",
"14/3",
"15/2",
"15/4",
"16/3",
"17/2",
"17/3",
"17/4",
"19/2",
"19/3",
"19/4",
"2",
"20/3",
"21/2",
"21/4",
"22/3",
"23/2",
"23/3",
"23/4",
"25/3",
"25/4",
"26/3",
"27/4",
"28/3",
"29/3",
"29/4",
"3",
"3/2",
"31/3",
"31/4",
"32/3",
"33/4",
"34/3",
"35/3",
"35/4",
"37/4",
"39/4",
"4",
"4/3",
"41/4",
"43/4",
"45/4",
"47/4",
"5",
"5/2",
"5/3",
"5/4",
"6",
"7",
"7/2",
"7/3",
"7/4",
"8",
"8/3",
"9",
"9/2",
"9/4"
]
},
"coverage_note": "it holds every rational $u=a/b$ in lowest terms with $1\\leq u\\leq12$ and $1\\leq b\\leq4$ (67 entries). This includes the branch endpoint, every integer argument and the simplest half-, third- and quarter-integer arguments. The denominator bound selects simple rationals rather than a decimal interpolation mesh; other rational arguments and $u>12$ are not included.",
"coverage_validated_against_every_cartesian_parameter_combination": true,
"before": 10,
"after": 67,
"comparison_counts": {
"same": 10,
"new": 57
},
"generator_sha256": "aba1969388d8046c357c817ee8e095ad54af07d5e1fd59eb92ce826c0619841a",
"checks": "_check_lambert_formula",
"cross_checks": {
"finite_entries": 67
},
"allowed_prose_changes": [
[
"Data properties",
"complete-note"
]
],
"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"
}