back to table · edit · history · where entries came from · files · download
24061 bytes, as of the version from 2026-11-10 22:01 (current). Recorded here, not run.
{
"table": "T707",
"stage": "build-readback",
"checked_entries": 30,
"total_entries": 30,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"method": "Read back exact E_1 and full decimal intervals; compare fresh generator and retained independently integrated balls, using corrected exact binary endpoint serialization.",
"endpoint_cancellation_checked": 30,
"interior_and_exterior_exact_controls": [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30
],
"rows": [
{
"N": 1,
"exact": "1",
"independent_enclosure_contains_exact_value": true
},
{
"N": 2,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "45705160084183532946914211168017041893488291732538616185319733566756148330060696348601932122662630741850582547578007/78804012392788958424558080200287227610159478540930893335896586808491443542994421222828532509769831281613255980613632",
"integral_endpoints": "5047126746247865525939195644748711629146694807764390917355023364772169915298186754252766686371292410036409600558552277738915417029514144736435280739598637274544627026855130287280845757277/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
}
},
{
"N": 3,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "806322795406461566678895246525308805536390724469083925347036064523235818014090668585443688066235229702372742773273/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
"integral_endpoints": "5698596257311233336982540949132285416511557805738256480700690836119384114977651070056455903416851091247226998124514068514413212437473836214802821686784221583261444915993540593617585484267/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
}
},
{
"N": 4,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "13115387367193864325731435926918126841042928209551660181231936927767133912374585359441191841419941203193766171230817/19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153408",
"integral_endpoints": "5793220918289495276442843147160084854650456727382334037177101132052187172714221644369223106262748554827771531004473043527640778577061761170775870234589844027346246556638816096952408787373/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
}
},
{
"N": 5,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "1436826616212798305096343946616209370302903946560433249708318763279945188716207184466683375369182380247456326908577/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
"integral_endpoints": "20309223115608326455775107547004856419805865246701776824065621174634811388531772493603533647555150185184306325067691298684361440815612570751694772448313435238867300004629383611047732421891/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 6,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "5752792081475932886922395215366396988470665724929548526993754707193884410752557616365472018988130117750896149685021/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
"integral_endpoints": "1270537975429510501936453071921556431356474441606605606366020477199386641440764224809571584944146424494051181361066605942016049062627453174403452161594462121848516503353857098316877337537/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
}
},
{
"N": 7,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "124313500678174156106821850471045582631927441299794555458389806929317941259678714888203778751380173092024109879969/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136",
"integral_endpoints": "28114296804551385277638303561772259315647681319002833133867684401543361978480766488871648136730310312667161758992416190246770094211373190238363030636067815468014050550050411417396226853207/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 8,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "683401060941563853245107767932542106112779760105449871529821405476309958277450584929039841994406569192418262062373/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
"integral_endpoints": "9659721268728286770657271608850609683873410833536552003792357632916601910486379664087549929317487417566216049223046770233165768840203051804938511581885580131251793955887881697141912385709/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
}
},
{
"N": 9,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "3355540333106071342761423147320961999244682843429498888310517071166822595571413102872619066882007473981767675989993/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
"integral_endpoints": "1482181647073486041276760564552498071961484716686203884740840780820193972039415360875146340897006002136123971887875464559419928467858508860898734079676117657135691492039313202085482866017/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
}
},
{
"N": 10,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "925748530449200212122276503699189161199663182033761542546069295467054921804917252085699547669874028675881038196869/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
"integral_endpoints": "6542624294988288580691380117536005880563422527757292685693514097908854876212271589339041617646412395617319000234109305052975322369501803998677220981134772953903050831440283527701407022251/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
}
},
{
"N": 11,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "1290990812730706728403938140140079535270263483121986141564774833838276538404720864673294259433600864501366554254489/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
"integral_endpoints": "4561966656258220047982262075952990288099836676996320966176050421652209945014246792088291568007370800095182358502312709865041532502737537382945019798929989175040580469206476199303514083303/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
}
},
{
"N": 12,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "2036370951802843753855611998663795012722595402548894387893617054809151300939172941175348244662582599001579596726045/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
"integral_endpoints": "1798978019496409615726242351085558422016220446472339997150549575192519088788899973991032843142529922148669479638558668516180144754276366042635238064724677884229811166273599739959812586085/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
}
},
{
"N": 13,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "2250804853559350595818354970367932139795390945614548536416208166397230609203019337392861907291302243382001589630917/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
"integral_endpoints": "1988413974450139888464469188823704148910367321230564274481220934266221507035815407478629209368193450500505194915548161269696574482449972912635764055568330597214075560454409522148726435421/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
}
},
{
"N": 14,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "729466252509304711710557657330200162824094334680053661544347160618807886009928547682145734377085525805782816673663/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
"integral_endpoints": "2577710614201905524960521541805846587850675598093570868568597138454588372333978689092894077194545048290133402190996727904460663861386437685222310538194085663391291969457203817397424084601/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
}
},
{
"N": 15,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "491355147494821784158825657069986365388556407101121771714804322868819604066646925608929419021422381380288459172587/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
"integral_endpoints": "13890390401839615545829150989278788164654923094543855345693863720902151396184359280028597019726632127860348173563465008903714710916503778520483647266165014951319670935393234033218897410067/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
}
},
{
"N": 16,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "46899585997653751996165144103698106514168803479672559435671727313838725414772065463600549601004748843146143193093/76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568",
"integral_endpoints": "21213285339974642024326770365166679321699236010575694641075563647073907203457332780813077992108818893882390079055207374955386310027827582028955373344889710930273518945220650262919612938133/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 17,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "409467858051691954598756959585871246163032364769971664134304719526135871321601268887266675823909222484760134135387/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
"integral_endpoints": "2893868332478896217562840398900092965257788777107150942049103423990472271407122669394990115235256011900454203868444860656650181329180730105363689260898020231321867445752293521031615843873/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
}
},
{
"N": 18,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "840864083750617252444151019391368911460678271191804173483038423392017098447643923378741193748542236132480795551377/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
"integral_endpoints": "23770851812037498028313487751680488963733849287140011989276893251889287104284767201561018259172981086795265643916492020271081412354641783729028647146473597106216791736972012096747487939207/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 19,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "247619220786390977794803134876928042385273153868361233364719131342837308392072524995214615768119285015796054232749/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
"integral_endpoints": "28000338779465317851941797089175607166461679651170756804771182612424105988423294466415436029022615919589559737662354336139292280907043558425391435338057499474997199731926473272384153427211/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 20,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "590127334749398340808871809924058210225933456211248703254583999331946994558722274193596634601401634046204200724225/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
"integral_endpoints": "33365271975918896129674084885130209851507388589643010584423989072969598131596863411894653479270262369574997151912835797376081880899255795043051502413366792661091616951606687954885129239575/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 21,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "593092395238681129805995400859629884767439206769593919050929872295338403769767208163846289780392603975793073837753/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
"integral_endpoints": "33532913845435045116119641008886263790432007064147596894325621321102594542009218768056864802746630477576733501008585933490725633442518548039181373704436496712478691784142857724349882115871/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 22,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "76184959450176506614517806170068566083075418820829234566602604608588426767202383780592420700685522496854332442609/76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568",
"integral_endpoints": "2153714751756873497273499377304012620327325209566784909892470761401235587745627944423742081712838171610263108189635274250791026951698901235796075188619861239420270179032253261315722547469/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
}
},
{
"N": 23,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "294142060298199276704831211889080846847325964379908340485592102179012200550754899494600909585817632487529852065881/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
"integral_endpoints": "2078816143462959707761273335533089064711430409803768981376011577107897120644347341805700795774067463843052198660383461265365112190915603191369402742165197896040074706631773100563736772499/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
}
},
{
"N": 24,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "479375929804272386492864957297477853146290566405824461747257587059974430207273100692352396312071148618977707489081/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
"integral_endpoints": "27103486544002799119048324845253003633355221666269495059413504679666768063059222510175120318545473562186834592823863755949776589559915419456519119196538500387609040059416136280844611416767/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 25,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "106256128049587262977015926888121234600989251041642630751806941759162799180586882664420273014280948684625339963721/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136",
"integral_endpoints": "6007626494692141023959407496088657025404688860803273342121296122442820870051477769910254034594409225785233220756078135922382571166492045338441110293539869310597531969915988528073070328497/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
}
},
{
"N": 26,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "414392149672737837534757566285870251720080276422586734723834518146902132950238453851038048110361278884835872293955/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
"integral_endpoints": "11714680853063708235161454727007551671970545730814340711003069415951130193028215127477926696320138660220618428203580111140141196878964707806093023315325127365887860723292178475108790893405/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
}
},
{
"N": 27,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "223873327359446666057259132226084918604332289453376561215059079663045963535990491794446302822874708259270712191081/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
"integral_endpoints": "25315195604941357082631791421624266885026114444193341156408415465222973605605441528979850219871960710780660810728513063095505692920044224155882695465830573605112570386881902698635575352159/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 28,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "218874820042276975394876148873070219449071275750207319878089717144557021523005686341586808134686277839961199966649/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
"integral_endpoints": "24749973334118026234400628154311517286076579237653539385268389619681493885342418439685079415820041381189963546540650299024800698465594173591921132312001806706977500112372814037005318924311/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 29,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "32960891714730244824499926282642034091377651413811521296861571637918909268678115089141281507639751715224106162153/38478521676166483605741250097796497856523182881313912761668255277583712667477744737709244389536050430475222646784",
"integral_endpoints": "29817269646668441712643510688710009297489135692827936802445111204954303034214835768558454723383588489316945630126411456072915675007897098110901160475340987874279764903931810988772374769861/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
},
{
"N": 30,
"stored_interval_contains_both_enclosures": true,
"margin_ulps": {
"generator_endpoints": "75510552259095628508521952435613859902583390192276272100001774756404670483454309843912731773484439183548569542973/76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568",
"integral_endpoints": "34154392990407144735277417471052584328763715040719203646131095774616856975982944656076242874726894059150715223220489858116303941417992472090491867364968736737365938010918553043587808863163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
}
}
],
"hashes": {
"stored.json": "89d31c3d53a50c3e62588a420d61560c15adddb42e4756f08771f3518b1fb56b",
"numerical-evidence.json": "cd270b5046eeaa3d53a4a63dde74a61a0e7c7497983bb85502208a0738781a49",
"verify_stored.py": "5e9af8f39aca2ce2f4cec1b5111c4f74b5920509af6a8eef2365a4322d2344ba",
"skill-manifest.json": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
}
}