back to table · edit · history · where entries came from · files · download
13615 bytes, as of the version from 2026-11-09 09:52 (current). Recorded here, not run.
{
"table": "T685",
"stage": "repair",
"skill_manifest": "agents/runs/20261109T083553Z-repair-skills/manifest.json",
"skill_local_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"skill_live_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"generator_sha256": "61fa05fb02dc37ed627efcb93a3716740f4a5dbab9580b9de0246335f99d5bcb",
"sage_version": "10.9",
"python_version": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
"control": {
"integral": "integral_0^1 t^2 dt",
"expected": "1/3",
"enclosure": "[0.333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 7.83e-181]",
"passed": true
},
"enumeration_unchanged": true,
"checked": 24,
"all_passed": true,
"rows": [
{
"n": "3",
"k": "1",
"accuracy_bits": 438,
"enclosure": "[0.323065947219450514093636510723806394072241840780587016130868470361015112807269842083787609089371392073487291755962435461887672261567 +/- 5.60e-133]",
"stored": "0.3230659472194505140936365107238063940722418407805870161308684703610151128072698420837876090893713921",
"contained_in_stored_interval": true,
"significant_digits": 100,
"independent_closed_form": {
"accuracy_bits": 596,
"enclosure": "[0.32306594721945051409363651072380639407224184078058701613086847036101511280726984208378760908937139207348729175596243546188767226156740622303314257712447153855144669184186507299517 +/- 3.65e-180]",
"stored": "0.3230659472194505140936365107238063940722418407805870161308684703610151128072698420837876090893713921",
"contained_in_stored_interval": true
},
"T283_comparison": {
"accuracy_bits": 596,
"enclosure": "[0.32306594721945051409363651072380639407224184078058701613086847036101511280726984208378760908937139207348729175596243546188767226156740622303314257712447153855144669184186507299517 +/- 3.65e-180]",
"stored": "0.32306594721945051409363651072380639407224184078059",
"contained_in_stored_interval": true
},
"T283_significant_digits": 50
},
{
"n": "3",
"k": "2",
"accuracy_bits": 438,
"enclosure": "[0.182770451872025159608046129627336132135438877911866493081728692152223052267022319314847655624417633922667146551370798964403191631889 +/- 5.31e-133]",
"stored": "0.1827704518720251596080461296273361321354388779118664930817286921522230522670223193148476556244176339",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "3",
"accuracy_bits": 437,
"enclosure": "[0.109797126365228013749984760188630438218530597967677911037650426952642861347456645676276111051636464865463537200560057982401929656863 +/- 5.48e-133]",
"stored": "0.1097971263652280137499847601886304382185305979676779110376504269526428613474566456762761110516364649",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "4",
"accuracy_bits": 438,
"enclosure": "[0.0681263540240672439124990291478797313932276875763688059887515165909275516827884113544181698059092667078570237726668111434125115309598 +/- 6.91e-134]",
"stored": "0.06812635402406724391249902914787973139322768757636880598875151659092755168278841135441816980590926671",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "5",
"accuracy_bits": 438,
"enclosure": "[0.0431377737569684004872784366925852053250724846065665739502176010696864166654601568739502513087762212817417903700312110386229327015224 +/- 6.34e-134]",
"stored": "0.04313777375696840048727843669258520532507248460656657395021760106968641666546015687395025130877622128",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "6",
"accuracy_bits": 437,
"enclosure": "[0.0276991980595916834536469967468525897250685571549353660191227961680270824746260528898422802967886828591838905450164183023106224704048 +/- 3.66e-134]",
"stored": "0.02769919805959168345364699674685258972506855715493536601912279616802708247462605288984228029678868286",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "7",
"accuracy_bits": 438,
"enclosure": "[0.0179684761938919271949597308218946577746196472735593772301976489111896916281847983575340585338374296720728465533557617328274150798181 +/- 2.22e-134]",
"stored": "0.01796847619389192719495973082189465777461964727355937723019764891118969162818479835753405853383742967",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "8",
"accuracy_bits": 437,
"enclosure": "[0.0117473666272797974415114094946950972998743611201101872165860100394619926778683348919215718647654703123005678262583330865376312996656 +/- 4.83e-134]",
"stored": "0.01174736662727979744151140949469509729987436112011018721658601003946199267786833489192157186476547031",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "9",
"accuracy_bits": 437,
"enclosure": "[0.0077275145219876661216271076083216684007873370254290541403771710212999115875209204507191910824109430206138871471319066444374065517637 +/- 2.17e-134]",
"stored": "0.007727514521987666121627107608321668400787337025429054140377171021299911587520920450719191082410943021",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "10",
"accuracy_bits": 438,
"enclosure": "[0.00510857243490281668422562058937737665870111481235308142538579429799980119400573222985354890574372186021343818356195403586087725032560 +/- 6.83e-135]",
"stored": "0.005108572434902816684225620589377376658701114812353081425385794297999801194005732229853548905743721860",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "11",
"accuracy_bits": 437,
"enclosure": "[0.00339112347977608322158455552605721856743277989838560559628577454364530461390656394960636661063143267222008607597721046912484907780554 +/- 7.41e-135]",
"stored": "0.003391123479776083221584555526057218567432779898385605596285774543645304613906563949606366610631432672",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "3",
"k": "12",
"accuracy_bits": 438,
"enclosure": "[0.00225884492310271525530586325866615675349829648956492785484738894041243077854612842846271954848020337485650275243080262239731607295398 +/- 6.30e-135]",
"stored": "0.002258844923102715255305863258666156753498296489564927854847388940412430778546128428462719548480203375",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "1",
"accuracy_bits": 436,
"enclosure": "[0.42627839881750579092352142659616687305800676962963510754160645802652945122911658148912418833224294358504803799987307848190447409957 +/- 5.97e-132]",
"stored": "0.4262783988175057909235214265961668730580067696296351075416064580265294512291165814891241883322429436",
"contained_in_stored_interval": true,
"significant_digits": 100,
"independent_closed_form": {
"accuracy_bits": 596,
"enclosure": "[0.42627839881750579092352142659616687305800676962963510754160645802652945122911658148912418833224294358504803799987307848190447409956603835470446853658968607406629739709709726948538 +/- 2.00e-180]",
"stored": "0.4262783988175057909235214265961668730580067696296351075416064580265294512291165814891241883322429436",
"contained_in_stored_interval": true
},
"T283_comparison": {
"accuracy_bits": 596,
"enclosure": "[0.42627839881750579092352142659616687305800676962963510754160645802652945122911658148912418833224294358504803799987307848190447409956603835470446853658968607406629739709709726948538 +/- 2.00e-180]",
"stored": "0.42627839881750579092352142659616687305800676962964",
"contained_in_stored_interval": true
},
"T283_significant_digits": 50
},
{
"n": "4",
"k": "2",
"accuracy_bits": 435,
"enclosure": "[0.22748716706632111183518571166853687393131299075275462761598113173999166356157158926936142513804667919165788610081811842210287452752 +/- 5.21e-132]",
"stored": "0.2274871670663211118351857116685368739313129907527546276159811317399916635615715892693614251380466792",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "3",
"accuracy_bits": 434,
"enclosure": "[0.13206530382166951825723931745585854314863920732140722348180370160250136630676057208666390002786488848317054167583283846536336144792 +/- 1.98e-132]",
"stored": "0.1320653038216695182572393174558585431486392073214072234818037016025013663067605720866639000278648885",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "4",
"accuracy_bits": 434,
"enclosure": "[0.08009383817867761123079405076484346461861010532971502292291438563072605448688029451459713017180401461414708481170212178462673461821 +/- 5.25e-132]",
"stored": "0.08009383817867761123079405076484346461861010532971502292291438563072605448688029451459713017180401461",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "5",
"accuracy_bits": 433,
"enclosure": "[0.049885663385794977377926902614979065050808320500715623988516989526040739457759704385487295606550857965781684332127601789232207221990 +/- 8.93e-133]",
"stored": "0.04988566338579497737792690261497906505080832050071562398851698952604073945775970438548729560655085797",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "6",
"accuracy_bits": 433,
"enclosure": "[0.03163148603387023753180012122564402336978808529562818428344892564644630126565361736176470172929712073835593813172227841220305636512 +/- 4.73e-132]",
"stored": "0.03163148603387023753180012122564402336978808529562818428344892564644630126565361736176470172929712074",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "7",
"accuracy_bits": 433,
"enclosure": "[0.020315646524097777453536505019186293484886314445792974770596434928229733126373226330477038028711377148936519245577066194402125768645 +/- 7.80e-133]",
"stored": "0.02031564652409777745353650501918629348488631444579297477059643492822973312637322633047703802871137715",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "8",
"accuracy_bits": 433,
"enclosure": "[0.013174173592430744090492191876720445206617262766298774495764404526366682164037166532351758204532757359543070279206228038939116037313 +/- 8.28e-133]",
"stored": "0.01317417359243074409049219187672044520661726276629877449576440452636668216403716653235175820453275736",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "9",
"accuracy_bits": 432,
"enclosure": "[0.008607359376207402004112926706951741232436580303593016510159949994565823632368980634705118835299576075798605396792189480264314639115 +/- 7.97e-133]",
"stored": "0.008607359376207402004112926706951741232436580303593016510159949994565823632368980634705118835299576076",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "10",
"accuracy_bits": 432,
"enclosure": "[0.005657428496993149111629512084006994769672815878463972971727491048784894954794185415851707682155455943681317508010826342150573619321 +/- 6.76e-133]",
"stored": "0.005657428496993149111629512084006994769672815878463972971727491048784894954794185415851707682155455944",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "11",
"accuracy_bits": 432,
"enclosure": "[0.003736770676693703237227653153378708256134658757242187402248426177280763869666096211431267028096034550280865966466378175414929079564 +/- 5.88e-133]",
"stored": "0.003736770676693703237227653153378708256134658757242187402248426177280763869666096211431267028096034550",
"contained_in_stored_interval": true,
"significant_digits": 100
},
{
"n": "4",
"k": "12",
"accuracy_bits": 431,
"enclosure": "[0.002478255131913061090300252305950474178769627550655319450479466698410173945483208399581465139516085127061611664318732114639841886953 +/- 4.10e-133]",
"stored": "0.002478255131913061090300252305950474178769627550655319450479466698410173945483208399581465139516085127",
"contained_in_stored_interval": true,
"significant_digits": 100
}
],
"elapsed_seconds": 0.9141761092469096,
"limitations": "All-entry checks rerun the existing generator. Independent closed forms check only k=1 for n=3,4. No claim of a new independent critique."
}