back to table · edit · history · where entries came from · files · download
6992 bytes, as of the version from 2026-10-26 18:05 (current). Recorded here, not run.
{
"table": "T522",
"instruction_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-natural-arguments-v2/agents/runs/20261026T175946Z-repair-skills/manifest.json",
"instruction_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
"skill_versions": [
{
"source": "archived-local",
"path": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-natural-arguments-v2/agents/runs/20261026T175946Z-repair-skills/skill-local.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
},
{
"source": "archived-live",
"path": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-natural-arguments-v2/agents/runs/20261026T175946Z-repair-skills/skill-live.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
},
{
"source": "canonical-local",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
},
{
"source": "live-fresh",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
}
],
"source": "https://arminstraub.com/downloads/pub/walks2.pdf, equations (4), (5), (7)",
"new_values": 0,
"checked_scope": "Five existing three-step values; four-step values unchanged and not recomputed in this repair.",
"results": [
{
"working_bits": 448,
"controls_passed": true,
"gamma_and_elliptic_seeds_overlap": true,
"entries": [
{
"n": 3,
"s": 1,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.064984223611554088205617301261108186144472862166821508740127831463033130842900324127873859074918674004484042683316147304140031337738038",
"ball_relative_radius_upper": "5.4126193255203195730815404873964669017853096698016106291956442132557093822958332901717489739264071565983427303241661090027703127011669e-134"
},
{
"n": 3,
"s": -1,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.36555953698013370571268442690920976174718263785544186578221190234486569707292386491486348894523923658272934744672966189682483673095704",
"ball_relative_radius_upper": "5.3880327009645363422989221955071419372258275871252847132831544083254509807157627598850451977275559081933860259109317157983956194603210e-134"
},
{
"n": 3,
"s": 3,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.40003708982257237438827896319425067744210685986299840952799227631892753398464922519730149612934930886121165372060204390436410903930665",
"ball_relative_radius_upper": "7.2545363938655851272393519515574823855240667879160782462183740170065050922705676243359595354143553600248636051405284419309791759734434e-134"
},
{
"n": 3,
"s": 5,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.053830854245116625975015237458725274070672190894300574269529649337071335217123105905943785242647814728855770738391584018245339393615723",
"ball_relative_radius_upper": "9.7348323157645811804086476567834066529228173838917939774446813983246153422623341116989180516942411468828264847033923964930860873350635e-134"
},
{
"n": 3,
"s": 7,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.48165795151481612851695552524096142596271291438558901801648572269291043487390947665671412461924896439291465810583758866414427757263184",
"ball_relative_radius_upper": "1.2369088103764247726180875610011290309768703060948554480181944940125662170056027902245580450502639861622717598210239240743675389411056e-133"
}
]
},
{
"working_bits": 640,
"controls_passed": true,
"gamma_and_elliptic_seeds_overlap": true,
"entries": [
{
"n": 3,
"s": 1,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.0649842236115540882056173012611081031331499438143442975115786527521008424458470164840224254580529132541388936438520019111643106392833650463524335538089460386186224800943556677962729552891502196",
"ball_relative_radius_upper": "8.49198278825608031956219738790921884642798325989031482096001099633360318944901380957412394968008346019247194931769145002223805660394737384832861357827860069384729718174159652484083208091256388e-192"
},
{
"n": 3,
"s": -1,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.365559536980133705712684426909209275737966655668538803401069879214094422582957082656429844278395681777490426305895762116035844271439811561139712661748972786562110457698260164732065289366230183",
"ball_relative_radius_upper": "8.35303485955788515176354456730149484655946205381266876759135874594530585978289848703702289082421356670166250902696919203074162719503957223930939411495529907690929658300968678098133164637261312e-192"
},
{
"n": 3,
"s": 3,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.400037089822572374388278963194250220380903072233419508047260058255061155822323701993128334396379907622811053198508758392816574823047248278677767655895486316972227494517848812285835123588635427",
"ball_relative_radius_upper": "1.18894737921900132822840766059084996531691837262684784547190215307602759172035630289022670262908237103969117587090748383356040092338510553305010768845757926166136459952669992854181297378580291e-191"
},
{
"n": 3,
"s": 5,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.0538308542451166259750152374587248826083153909885917111791269657424010439795886744492761052683164833707147396857343656028527492452568207643587844709992742282102407347163493818793680821379647281",
"ball_relative_radius_upper": "1.58688217216596956320033949550649890743435354613358762374056800037449204831219520636919635277662340127798609623885194188108554403474664790827081591821081037674070103582863711287538162737642639e-191"
},
{
"n": 3,
"s": 7,
"enclosed_in_stored_decimal": true,
"absolute_error_in_last_places_upper": "0.481657951514816128516955525240961148035141855789546656371617728756146828721197176641870739624799396840108556548862923708424633603304139004772720844318908441298509492733051881332375284721457419",
"ball_relative_radius_upper": "1.98469779084476926312913705706650338305083270237330000545394104460416392672942198084175087972772037416150542534389553571020452119166240416908226050390371579964075000138147716420055416617758153e-191"
}
]
}
]
}