back to table · edit · history · where entries came from · files · download
6673 bytes, as of the version from 2026-10-26 23:52 (current). Recorded here, not run.
{
"alias_bound": "2/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084095",
"cauchy_points": 512,
"check_bits": 600,
"higher_bits": 628,
"independent_balls": {
"10": "[0.830127277077895814530468146698559841132302404721459486101381149938533622628597045352706507047485719078508564515787005886782528762704248423945107861500431 +/- 1.97e-154]",
"11": "[0.814809211551102477188247645971543665302341146389933874345658351682291600675887173942948032982656993117036330895903696420251622148396015213180454684746552 +/- 4.24e-154]",
"12": "[0.799777375658330520155412870448276771167432316159314490207219928644059128727376125976931337934386148750511677813759641858415930973040883741337139149377766 +/- 3.85e-154]",
"13": "[0.785023940124295405341256137833214347409679550673116281286805039272458097667630082523281468025112777516822370842598399389837102629636357384237721766153572 +/- 5.49e-154]",
"14": "[0.770542993231057724183547016383831759655802214659544820180048422293660193024908009448792613672188892384799052995180894287849802289155950097755374649438865 +/- 2.00e-154]",
"15": "[0.756329271297876135720837209504967878247630560616130809339071899006721179506673269788381795351997042929749163361453320901773025363133354756142467153521466 +/- 2.62e-154]",
"16": "[0.742377772307036221695672607490093352485126364227836571074361406070403000495705281022710821051995311928095381519229989938518174466091776188973387694115491 +/- 3.55e-154]",
"17": "[0.728683636899721637529029566640833800940238059319430376964283534355714778248735738381698019514863682027236811097346156346872351118096467892397439506893625 +/- 2.29e-154]",
"18": "[0.715242110812170216337891216507444770610990312887888197773235992093847948466267456842266092773342097823968584674482817915434083855052610696788160411986383 +/- 2.20e-154]",
"19": "[0.702048532226851234462130817503459964888267139522380113777568226373949271680685584643574367751778384797073840791244613861376213739691318694368141840714018 +/- 1.94e-154]",
"2": "[1.371721164198448347271940235247035456480631873312936064234297483654710031530692292189237610296009732807781013813102947875646591461030510639847891074399815 +/- 5.95e-154]",
"20": "[0.689098326778873518642435008955981286913335020679070975870800010814268918971861588368911530938173490783124509884080455649763379547280323247853933021395353 +/- 3.71e-154]",
"3": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.50e-154]",
"4": "[0.940809476154973245933432957298979598617424765478399519682703451621599118826643500203319473995166981590856909401756963828439796076055922379322101869004002 +/- 4.64e-154]",
"5": "[0.914480776132298898181293490164690304320421248875290709489531655769806687687128194792825073530673155205187342542068631917097727640687007093231927382933210 +/- 4.46e-154]",
"6": "[0.895264134960116115470700614727528226380074646156665356891202023782929348482726659143906112840334647686972536423320521595691607348375298730475405481284542 +/- 3.90e-154]",
"7": "[0.878088844411308362871204093479047625376263114446506218370523221513492510904867266856431509062155849484799782108306499573210476337652194220700628411070402 +/- 3.09e-154]",
"8": "[0.861698257605467914645753394573971908308360636952830014761753124543258200379178110937919715214172584784131500458981845834539053791856425445681922065488096 +/- 4.18e-154]",
"9": "[0.845745533380710767136269309101605300227518146816569856840870999968086646750700562401258763979830148652938472279413197343401357389478929905141915148970022 +/- 6.10e-154]"
},
"measure": {
"block_kb": 2.4716796875,
"entries": 19,
"longest": 102,
"longest_at": 4
},
"min_accuracy_bits": 421,
"numberdb": "0.1.10",
"sage": "10.9",
"seconds": 0.8864373578689992,
"stored_check": {
"all_independent_enclosures_contained": true,
"entries": 19,
"verify": "<VerifyReport T532: 19/19 matched, 0 differing, 0 missing, 0 extra>"
},
"values": {
"10": "0.8301272770778958145304681466985598411323024047214594861013811499385336226285970453527065070474857191",
"11": "0.8148092115511024771882476459715436653023411463899338743456583516822916006758871739429480329826569931",
"12": "0.7997773756583305201554128704482767711674323161593144902072199286440591287273761259769313379343861488",
"13": "0.7850239401242954053412561378332143474096795506731162812868050392724580976676300825232814680251127775",
"14": "0.7705429932310577241835470163838317596558022146595448201800484222936601930249080094487926136721888924",
"15": "0.7563292712978761357208372095049678782476305606161308093390718990067211795066732697883817953519970429",
"16": "0.7423777723070362216956726074900933524851263642278365710743614060704030004957052810227108210519953119",
"17": "0.7286836368997216375290295666408338009402380593194303769642835343557147782487357383816980195148636820",
"18": "0.7152421108121702163378912165074447706109903128878881977732359920938479484662674568422660927733420978",
"19": "0.7020485322268512344621308175034599648882671395223801137775682263739492716806855846435743677517783848",
"2": "1.371721164198448347271940235247035456480631873312936064234297483654710031530692292189237610296009733",
"20": "0.6890983267788735186424350089559812869133350206790709758708000108142689189718615883689115309381734908",
"3": "1",
"4": "0.9408094761549732459334329572989795986174247654783995196827034516215991188266435002033194739951669816",
"5": "0.9144807761322988981812934901646903043204212488752907094895316557698066876871281947928250735306731552",
"6": "0.8952641349601161154707006147275282263800746461566653568912020237829293484827266591439061128403346477",
"7": "0.8780888444113083628712040934790476253762631144465062183705232215134925109048672668564315090621558495",
"8": "0.8616982576054679146457533945739719083083606369528300147617531245432582003791781109379197152141725848",
"9": "0.8457455333807107671362693091016053002275181468165698568408709999680866467507005624012587639798301487"
},
"working_bits": 429,
"worst_relative_radius": 7.336470736913143e-128,
"skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-natural-arguments-v2/agents/runs/20261026T232323Z-build-skills/manifest.json",
"skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"reviewer_status": "build evidence only; independent critique pending"
}