back to table · edit · history · where entries came from · files · download
24506 bytes, as of the version from 2026-09-27 14:10 (current). Recorded here, not run.
{
"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."
}