{
  "table": "T434",
  "phase": "broaden natural arguments and synchronize coverage notes",
  "baseline_revision": "2db62c3839fcd3491f6deb1d537716ff36ac97dca76f4205aa5c09b3bfeae1f9",
  "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/3",
      "11/2",
      "11/3",
      "11/4",
      "13/2",
      "13/3",
      "13/4",
      "14/3",
      "15/2",
      "15/4",
      "16/3",
      "17/3",
      "17/4",
      "19/3",
      "19/4",
      "2",
      "20/3",
      "21/4",
      "22/3",
      "23/3",
      "23/4",
      "25/4",
      "27/4",
      "29/4",
      "3",
      "3/2",
      "31/4",
      "4",
      "4/3",
      "5",
      "5/2",
      "5/3",
      "5/4",
      "6",
      "7",
      "7/2",
      "7/3",
      "7/4",
      "8",
      "8/3",
      "9/2",
      "9/4"
    ]
  },
  "coverage_note": "it holds every rational $u=a/b$ in lowest terms with $1\\leq u\\leq8$ and $1\\leq b\\leq4$ (43 entries). The integer breakpoints of the delay equation and the half-, third- and quarter-points in each unit interval are all included; values on the initial interval $1\\leq u\\leq2$ are exact. Other arguments and $u>8$ are not included.",
  "coverage_validated_against_every_cartesian_parameter_combination": true,
  "before": 17,
  "after": 43,
  "comparison_counts": {
    "same": 17,
    "new": 26
  },
  "generator_sha256": "30df8f0266fba03c9b48facf2bb774dd01246befd5c103093cd3652b5f88b7f5",
  "checks": "self_check",
  "cross_checks": {
    "finite_entries": 43
  },
  "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"
}
