{
  "table": "T447",
  "baseline_sha256": "93cdc23cce9c14e148f6b3e80a202b10a6f9946e22abd71318a4fbcf4c0bfa26",
  "candidate_sha256": "727f23270d61ee8e98825615ae2004401c14c6f9d9c149b89937b48e2f943462",
  "proof": {
    "generator_sha256": "b7c098788cc52626e1d1f98df39217a73e34980e6468c17480ec71098848684e",
    "entries_sha256": "632abfcca3b2ca1d9c2542f2ca4ae83226ac4af30254c20108868ddbea85958d",
    "all_entries_checked": true,
    "independent_checks": {
      "primary_source_cells_checked": 118,
      "source_sha256": "8783f88d97d754bcd4195e2c4e55cd055059d91eeb18aa3e5384cc127e66259e",
      "exact_fraction_endpoint_equalities": 116,
      "strict_subset_refinements": [
        {
          "params": {
            "alphabet": "2",
            "exponent": "3"
          },
          "lower_retained": "1.45757315",
          "old_upper": "1.45757735",
          "new_upper": "1.45757728692405",
          "strict_subset": true,
          "contradiction": false
        },
        {
          "params": {
            "alphabet": "3",
            "exponent": "2"
          },
          "lower_retained": "1.30175965",
          "old_upper": "1.30176195",
          "new_upper": "1.3017618765",
          "strict_subset": true,
          "contradiction": false
        }
      ],
      "prose_upper_bound_evidence": [
        {
          "params": {
            "alphabet": "2",
            "exponent": "3"
          },
          "language": "binary cube-free",
          "printed_upper": "1.4575772869240",
          "source": "https://arxiv.org/html/1009.4415v2",
          "source_location": "Introductory prose before Table 1",
          "source_decimal_places": 13,
          "half_last_unit_margin": "0.00000000000005",
          "expanded_upper": "1.45757728692405",
          "interpretation": "Explicit upper bound, not the nearby estimated value",
          "printed_upper_present_in_paper": true,
          "language_and_upper_bound_context_checked": true,
          "matched_context": "binary cube-free language we present the upper bound 1.4575772869240"
        },
        {
          "params": {
            "alphabet": "3",
            "exponent": "2"
          },
          "language": "ternary square-free",
          "printed_upper": "1.301761876",
          "source": "https://arxiv.org/html/1009.4415v2",
          "source_location": "Introductory prose before Table 1",
          "source_decimal_places": 9,
          "half_last_unit_margin": "0.0000000005",
          "expanded_upper": "1.3017618765",
          "interpretation": "Explicit upper bound, not the nearby estimated value",
          "printed_upper_present_in_paper": true,
          "language_and_upper_bound_context_checked": true,
          "matched_context": "ternary square-free language our best upper bound is 1.301761876"
        }
      ],
      "source_half_ulp": "0.00000005",
      "definitions_parameters_annotations_preserved": true
    },
    "limitations": "Source transcription only. No bound algorithm rerun, no proof recertification, no increase in the integer digit measure. Rounded table endpoints assume nearest-decimal rounding. Two explicitly stated prose upper bounds are used with conservative half-last-unit rounding margins; original lower endpoints are retained. No extrapolated estimates or 100-digit accuracy claims.",
    "changed_strings": 117,
    "changes": [
      {
        "params": [
          "2",
          "7/3+"
        ],
        "before": "1.22063830000 +/- 0.00000655",
        "after": "1.2206383 +/- 0.00000655"
      },
      {
        "params": [
          "2",
          "17/7"
        ],
        "before": "1.22223075000 +/- 0.00000730",
        "after": "1.22223075 +/- 0.0000073"
      },
      {
        "params": [
          "2",
          "17/7+"
        ],
        "before": "1.22871430000 +/- 0.00000625",
        "after": "1.2287143 +/- 0.00000625"
      },
      {
        "params": [
          "2",
          "5/2"
        ],
        "before": "1.22949440000 +/- 0.00000735",
        "after": "1.2294944 +/- 0.00000735"
      },
      {
        "params": [
          "2",
          "5/2+"
        ],
        "before": "1.36629910000 +/- 0.00000205",
        "after": "1.3662991 +/- 0.00000205"
      },
      {
        "params": [
          "2",
          "18/7"
        ],
        "before": "1.36695740000 +/- 0.00000275",
        "after": "1.3669574 +/- 0.00000275"
      },
      {
        "params": [
          "2",
          "18/7+"
        ],
        "before": "1.36928070000 +/- 0.00000255",
        "after": "1.3692807 +/- 0.00000255"
      },
      {
        "params": [
          "2",
          "13/5"
        ],
        "before": "1.36939370000 +/- 0.00000255",
        "after": "1.3693937 +/- 0.00000255"
      },
      {
        "params": [
          "2",
          "13/5+"
        ],
        "before": "1.37608485000 +/- 0.00000280",
        "after": "1.37608485 +/- 0.0000028"
      },
      {
        "params": [
          "2",
          "8/3"
        ],
        "before": "1.37626765000 +/- 0.00000280",
        "after": "1.37626765 +/- 0.0000028"
      },
      {
        "params": [
          "2",
          "8/3+"
        ],
        "before": "1.45085940000 +/- 0.00000175",
        "after": "1.4508594 +/- 0.00000175"
      },
      {
        "params": [
          "2",
          "14/5"
        ],
        "before": "1.45226640000 +/- 0.00000165",
        "after": "1.4522664 +/- 0.00000165"
      },
      {
        "params": [
          "2",
          "14/5+"
        ],
        "before": "1.45523360000 +/- 0.00000225",
        "after": "1.4552336 +/- 0.00000225"
      },
      {
        "params": [
          "2",
          "17/6"
        ],
        "before": "1.45525740000 +/- 0.00000225",
        "after": "1.4552574 +/- 0.00000225"
      },
      {
        "params": [
          "2",
          "17/6+"
        ],
        "before": "1.45677940000 +/- 0.00000215",
        "after": "1.4567794 +/- 0.00000215"
      },
      {
        "params": [
          "2",
          "3"
        ],
        "before": "1.45757525000 +/- 0.00000210",
        "after": "1.457575218462025 +/- 0.000002068462025"
      },
      {
        "params": [
          "2",
          "3+"
        ],
        "before": "1.79512550000 +/- 9.50e-7",
        "after": "1.7951255 +/- 0.00000095"
      },
      {
        "params": [
          "2",
          "13/4"
        ],
        "before": "1.79576070000 +/- 9.50e-7",
        "after": "1.7957607 +/- 0.00000095"
      },
      {
        "params": [
          "2",
          "13/4+"
        ],
        "before": "1.79728795000 +/- 9.00e-7",
        "after": "1.79728795 +/- 0.0000009"
      },
      {
        "params": [
          "2",
          "10/3"
        ],
        "before": "1.79730965000 +/- 9.00e-7",
        "after": "1.79730965 +/- 0.0000009"
      },
      {
        "params": [
          "2",
          "10/3+"
        ],
        "before": "1.80298690000 +/- 8.50e-7",
        "after": "1.8029869 +/- 0.00000085"
      },
      {
        "params": [
          "2",
          "7/2"
        ],
        "before": "1.80324090000 +/- 5.00e-8",
        "after": "1.8032409 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "7/2+"
        ],
        "before": "1.81726650000 +/- 5.00e-8",
        "after": "1.8172665 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "11/3"
        ],
        "before": "1.81741760000 +/- 5.00e-8",
        "after": "1.8174176 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "11/3+"
        ],
        "before": "1.82049600000 +/- 5.00e-8",
        "after": "1.820496 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "4"
        ],
        "before": "1.82110000000 +/- 5.00e-8",
        "after": "1.8211 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "4+"
        ],
        "before": "1.92080150000 +/- 5.00e-8",
        "after": "1.9208015 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "9/2"
        ],
        "before": "1.92144420000 +/- 5.00e-8",
        "after": "1.9214442 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "9/2+"
        ],
        "before": "1.92413480000 +/- 5.00e-8",
        "after": "1.9241348 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "5"
        ],
        "before": "1.92444370000 +/- 5.00e-8",
        "after": "1.9244437 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "5+"
        ],
        "before": "1.96462850000 +/- 5.00e-8",
        "after": "1.9646285 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "6"
        ],
        "before": "1.96531180000 +/- 5.00e-8",
        "after": "1.9653118 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "6+"
        ],
        "before": "1.98329420000 +/- 5.00e-8",
        "after": "1.9832942 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "7"
        ],
        "before": "1.98344090000 +/- 5.00e-8",
        "after": "1.9834409 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "7+"
        ],
        "before": "1.99189720000 +/- 5.00e-8",
        "after": "1.9918972 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "8"
        ],
        "before": "1.99193100000 +/- 5.00e-8",
        "after": "1.991931 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "8+"
        ],
        "before": "1.99601510000 +/- 5.00e-8",
        "after": "1.9960151 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "9"
        ],
        "before": "1.99602320000 +/- 5.00e-8",
        "after": "1.9960232 +/- 0.00000005"
      },
      {
        "params": [
          "2",
          "9+"
        ],
        "before": "1.99802550000 +/- 5.00e-8",
        "after": "1.9980255 +/- 0.00000005"
      },
      {
        "params": [
          "3",
          "2"
        ],
        "before": "1.30176080000 +/- 0.00000115",
        "after": "1.30176076325 +/- 0.00000111325"
      },
      {
        "params": [
          "3",
          "2+"
        ],
        "before": "2.60587900000 +/- 1.50e-7",
        "after": "2.605879 +/- 0.00000015"
      },
      {
        "params": [
          "3",
          "3"
        ],
        "before": "2.70156150000 +/- 1.50e-7",
        "after": "2.7015615 +/- 0.00000015"
      },
      {
        "params": [
          "3",
          "3+"
        ],
        "before": "2.91192410000 +/- 1.50e-7",
        "after": "2.9119241 +/- 0.00000015"
      },
      {
        "params": [
          "3",
          "4"
        ],
        "before": "2.91728460000 +/- 5.00e-8",
        "after": "2.9172846 +/- 0.00000005"
      },
      {
        "params": [
          "3",
          "4+"
        ],
        "before": "2.97375460000 +/- 5.00e-8",
        "after": "2.9737546 +/- 0.00000005"
      },
      {
        "params": [
          "4",
          "2"
        ],
        "before": "2.62150800000 +/- 5.00e-8",
        "after": "2.621508 +/- 0.00000005"
      },
      {
        "params": [
          "4",
          "2+"
        ],
        "before": "3.72849440000 +/- 5.00e-8",
        "after": "3.7284944 +/- 0.00000005"
      },
      {
        "params": [
          "4",
          "3"
        ],
        "before": "3.77895130000 +/- 5.00e-8",
        "after": "3.7789513 +/- 0.00000005"
      },
      {
        "params": [
          "4",
          "3+"
        ],
        "before": "3.94878670000 +/- 5.00e-8",
        "after": "3.9487867 +/- 0.00000005"
      },
      {
        "params": [
          "4",
          "4"
        ],
        "before": "3.95075880000 +/- 5.00e-8",
        "after": "3.9507588 +/- 0.00000005"
      },
      {
        "params": [
          "4",
          "4+"
        ],
        "before": "3.98799720000 +/- 5.00e-8",
        "after": "3.9879972 +/- 0.00000005"
      },
      {
        "params": [
          "5",
          "2"
        ],
        "before": "3.73253860000 +/- 5.00e-8",
        "after": "3.7325386 +/- 0.00000005"
      },
      {
        "params": [
          "5",
          "2+"
        ],
        "before": "4.78985070000 +/- 5.00e-8",
        "after": "4.7898507 +/- 0.00000005"
      },
      {
        "params": [
          "5",
          "3"
        ],
        "before": "4.82206720000 +/- 5.00e-8",
        "after": "4.8220672 +/- 0.00000005"
      },
      {
        "params": [
          "5",
          "3+"
        ],
        "before": "4.96624110000 +/- 5.00e-8",
        "after": "4.9662411 +/- 0.00000005"
      },
      {
        "params": [
          "5",
          "4"
        ],
        "before": "4.96714780000 +/- 5.00e-8",
        "after": "4.9671478 +/- 0.00000005"
      },
      {
        "params": [
          "5",
          "4+"
        ],
        "before": "4.99352510000 +/- 5.00e-8",
        "after": "4.9935251 +/- 0.00000005"
      },
      {
        "params": [
          "6",
          "2"
        ],
        "before": "4.79140690000 +/- 5.00e-8",
        "after": "4.7914069 +/- 0.00000005"
      },
      {
        "params": [
          "6",
          "2+"
        ],
        "before": "5.82773280000 +/- 5.00e-8",
        "after": "5.8277328 +/- 0.00000005"
      },
      {
        "params": [
          "6",
          "3"
        ],
        "before": "5.85036160000 +/- 5.00e-8",
        "after": "5.8503616 +/- 0.00000005"
      },
      {
        "params": [
          "6",
          "3+"
        ],
        "before": "5.97601000000 +/- 5.00e-8",
        "after": "5.97601 +/- 0.00000005"
      },
      {
        "params": [
          "6",
          "4"
        ],
        "before": "5.97648610000 +/- 5.00e-8",
        "after": "5.9764861 +/- 0.00000005"
      },
      {
        "params": [
          "6",
          "4+"
        ],
        "before": "5.99611700000 +/- 5.00e-8",
        "after": "5.996117 +/- 0.00000005"
      },
      {
        "params": [
          "7",
          "2"
        ],
        "before": "5.82846610000 +/- 5.00e-8",
        "after": "5.8284661 +/- 0.00000005"
      },
      {
        "params": [
          "7",
          "2+"
        ],
        "before": "6.85372500000 +/- 5.00e-8",
        "after": "6.853725 +/- 0.00000005"
      },
      {
        "params": [
          "7",
          "3"
        ],
        "before": "6.87058780000 +/- 5.00e-8",
        "after": "6.8705878 +/- 0.00000005"
      },
      {
        "params": [
          "7",
          "3+"
        ],
        "before": "6.98205580000 +/- 5.00e-8",
        "after": "6.9820558 +/- 0.00000005"
      },
      {
        "params": [
          "7",
          "4"
        ],
        "before": "6.98232980000 +/- 5.00e-8",
        "after": "6.9823298 +/- 0.00000005"
      },
      {
        "params": [
          "7",
          "4+"
        ],
        "before": "6.99749120000 +/- 5.00e-8",
        "after": "6.9974912 +/- 0.00000005"
      },
      {
        "params": [
          "8",
          "2"
        ],
        "before": "6.85411730000 +/- 5.00e-8",
        "after": "6.8541173 +/- 0.00000005"
      },
      {
        "params": [
          "8",
          "2+"
        ],
        "before": "7.87276090000 +/- 5.00e-8",
        "after": "7.8727609 +/- 0.00000005"
      },
      {
        "params": [
          "8",
          "3"
        ],
        "before": "7.88585220000 +/- 5.00e-8",
        "after": "7.8858522 +/- 0.00000005"
      },
      {
        "params": [
          "8",
          "3+"
        ],
        "before": "7.98606490000 +/- 5.00e-8",
        "after": "7.9860649 +/- 0.00000005"
      },
      {
        "params": [
          "8",
          "4"
        ],
        "before": "7.98623370000 +/- 5.00e-8",
        "after": "7.9862337 +/- 0.00000005"
      },
      {
        "params": [
          "8",
          "4+"
        ],
        "before": "7.99828660000 +/- 5.00e-8",
        "after": "7.9982866 +/- 0.00000005"
      },
      {
        "params": [
          "9",
          "2"
        ],
        "before": "7.87299020000 +/- 5.00e-8",
        "after": "7.8729902 +/- 0.00000005"
      },
      {
        "params": [
          "9",
          "2+"
        ],
        "before": "8.88734240000 +/- 5.00e-8",
        "after": "8.8873424 +/- 0.00000005"
      },
      {
        "params": [
          "9",
          "3"
        ],
        "before": "8.89781880000 +/- 5.00e-8",
        "after": "8.8978188 +/- 0.00000005"
      },
      {
        "params": [
          "9",
          "3+"
        ],
        "before": "8.98886250000 +/- 5.00e-8",
        "after": "8.9888625 +/- 0.00000005"
      },
      {
        "params": [
          "9",
          "4"
        ],
        "before": "8.98897210000 +/- 5.00e-8",
        "after": "8.9889721 +/- 0.00000005"
      },
      {
        "params": [
          "9",
          "4+"
        ],
        "before": "8.99877850000 +/- 5.00e-8",
        "after": "8.9987785 +/- 0.00000005"
      },
      {
        "params": [
          "10",
          "2"
        ],
        "before": "8.88748560000 +/- 5.00e-8",
        "after": "8.8874856 +/- 0.00000005"
      },
      {
        "params": [
          "10",
          "2+"
        ],
        "before": "9.89888720000 +/- 5.00e-8",
        "after": "9.8988872 +/- 0.00000005"
      },
      {
        "params": [
          "10",
          "3"
        ],
        "before": "9.90747050000 +/- 5.00e-8",
        "after": "9.9074705 +/- 0.00000005"
      },
      {
        "params": [
          "10",
          "3+"
        ],
        "before": "9.99089320000 +/- 5.00e-8",
        "after": "9.9908932 +/- 0.00000005"
      },
      {
        "params": [
          "10",
          "4"
        ],
        "before": "9.99096740000 +/- 5.00e-8",
        "after": "9.9909674 +/- 0.00000005"
      },
      {
        "params": [
          "10",
          "4+"
        ],
        "before": "9.99909890000 +/- 5.00e-8",
        "after": "9.9990989 +/- 0.00000005"
      },
      {
        "params": [
          "11",
          "2"
        ],
        "before": "9.89898130000 +/- 5.00e-8",
        "after": "9.8989813 +/- 0.00000005"
      },
      {
        "params": [
          "11",
          "2+"
        ],
        "before": "10.9082635000 +/- 5.00e-8",
        "after": "10.9082635 +/- 0.00000005"
      },
      {
        "params": [
          "11",
          "3"
        ],
        "before": "10.9154294000 +/- 5.00e-8",
        "after": "10.9154294 +/- 0.00000005"
      },
      {
        "params": [
          "11",
          "3+"
        ],
        "before": "10.9924142000 +/- 5.00e-8",
        "after": "10.9924142 +/- 0.00000005"
      },
      {
        "params": [
          "11",
          "4"
        ],
        "before": "10.9924662000 +/- 5.00e-8",
        "after": "10.9924662 +/- 0.00000005"
      },
      {
        "params": [
          "11",
          "4+"
        ],
        "before": "10.9993163000 +/- 5.00e-8",
        "after": "10.9993163 +/- 0.00000005"
      },
      {
        "params": [
          "12",
          "2"
        ],
        "before": "10.9083279000 +/- 5.00e-8",
        "after": "10.9083279 +/- 0.00000005"
      },
      {
        "params": [
          "12",
          "2+"
        ],
        "before": "11.9160348000 +/- 5.00e-8",
        "after": "11.9160348 +/- 0.00000005"
      },
      {
        "params": [
          "12",
          "3"
        ],
        "before": "11.9221106000 +/- 5.00e-8",
        "after": "11.9221106 +/- 0.00000005"
      },
      {
        "params": [
          "12",
          "3+"
        ],
        "before": "11.9935831000 +/- 5.00e-8",
        "after": "11.9935831 +/- 0.00000005"
      },
      {
        "params": [
          "12",
          "4"
        ],
        "before": "11.9936207000 +/- 5.00e-8",
        "after": "11.9936207 +/- 0.00000005"
      },
      {
        "params": [
          "12",
          "4+"
        ],
        "before": "11.9994691000 +/- 5.00e-8",
        "after": "11.9994691 +/- 0.00000005"
      },
      {
        "params": [
          "13",
          "2"
        ],
        "before": "11.9160804000 +/- 5.00e-8",
        "after": "11.9160804 +/- 0.00000005"
      },
      {
        "params": [
          "13",
          "2+"
        ],
        "before": "12.9225835000 +/- 5.00e-8",
        "after": "12.9225835 +/- 0.00000005"
      },
      {
        "params": [
          "13",
          "3"
        ],
        "before": "12.9278022000 +/- 5.00e-8",
        "after": "12.9278022 +/- 0.00000005"
      },
      {
        "params": [
          "13",
          "3+"
        ],
        "before": "12.9945010000 +/- 5.00e-8",
        "after": "12.994501 +/- 0.00000005"
      },
      {
        "params": [
          "13",
          "4"
        ],
        "before": "12.9945288000 +/- 5.00e-8",
        "after": "12.9945288 +/- 0.00000005"
      },
      {
        "params": [
          "13",
          "4+"
        ],
        "before": "12.9995796000 +/- 5.00e-8",
        "after": "12.9995796 +/- 0.00000005"
      },
      {
        "params": [
          "14",
          "2"
        ],
        "before": "12.9226167000 +/- 5.00e-8",
        "after": "12.9226167 +/- 0.00000005"
      },
      {
        "params": [
          "14",
          "2+"
        ],
        "before": "13.9281788000 +/- 5.00e-8",
        "after": "13.9281788 +/- 0.00000005"
      },
      {
        "params": [
          "14",
          "3"
        ],
        "before": "13.9327109000 +/- 5.00e-8",
        "after": "13.9327109 +/- 0.00000005"
      },
      {
        "params": [
          "14",
          "3+"
        ],
        "before": "13.9952350000 +/- 5.00e-8",
        "after": "13.995235 +/- 0.00000005"
      },
      {
        "params": [
          "14",
          "4"
        ],
        "before": "13.9952560000 +/- 5.00e-8",
        "after": "13.995256 +/- 0.00000005"
      },
      {
        "params": [
          "14",
          "4+"
        ],
        "before": "13.9996615000 +/- 5.00e-8",
        "after": "13.9996615 +/- 0.00000005"
      },
      {
        "params": [
          "15",
          "2"
        ],
        "before": "13.9282035000 +/- 5.00e-8",
        "after": "13.9282035 +/- 0.00000005"
      },
      {
        "params": [
          "15",
          "2+"
        ],
        "before": "14.9330157000 +/- 5.00e-8",
        "after": "14.9330157 +/- 0.00000005"
      },
      {
        "params": [
          "15",
          "3"
        ],
        "before": "14.9369892000 +/- 5.00e-8",
        "after": "14.9369892 +/- 0.00000005"
      },
      {
        "params": [
          "15",
          "3+"
        ],
        "before": "14.9958311000 +/- 5.00e-8",
        "after": "14.9958311 +/- 0.00000005"
      },
      {
        "params": [
          "15",
          "4"
        ],
        "before": "14.9958473000 +/- 5.00e-8",
        "after": "14.9958473 +/- 0.00000005"
      },
      {
        "params": [
          "15",
          "4+"
        ],
        "before": "14.9997234000 +/- 5.00e-8",
        "after": "14.9997234 +/- 0.00000005"
      }
    ],
    "precision_histogram": {
      "6": 16,
      "7": 6,
      "8": 36,
      "9": 59
    },
    "capture": {
      "table": "T447",
      "captured_utc": "2026-09-27T13:56:09.326581+00:00",
      "authority": "Authenticated Website GETs; not the queue working copy",
      "source_url": "https://arxiv.org/html/1009.4415v2",
      "hashes": {
        "shur-1009.4415v2.html": "8783f88d97d754bcd4195e2c4e55cd055059d91eeb18aa3e5384cc127e66259e",
        "website-skill.md": "d54e54fefa66a739ba673d73233c63effd0d455f5d0d0ce9d3402c61c387abd3",
        "baseline-generate.py": "021e6c161aca961247249690665df98f087fba588a9c2449ec6da623311c0c21",
        "baseline.json": "93068a0096d16b297fe8efe5b2f641ec27b02205e190ad7c361ab05c49c64d9f"
      }
    },
    "validation": {
      "comparison_counts": {
        "same": 1,
        "agrees": 117
      },
      "entries": 118,
      "minimum_digits": 6,
      "maximum_digits": 9
    }
  },
  "provenance": {
    "pipeline": "precision-repair",
    "engine": "codex-cli",
    "model": "gpt-5.2",
    "stage": "reviewed-source-bound-refinement"
  },
  "batch": "power-free-20260927",
  "authority": "Website database and revisions; cloud files are supporting evidence."
}