{
  "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"
}