back to table · edit · history · where entries came from · files · download
6258 bytes, as of the version from 2026-11-09 09:32 (current). Recorded here, not run.
{
"skill_manifest": "agents/runs/20261109T092414Z-repair-skills/manifest.json",
"skill_local_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"skill_live_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"versions": {
"python": "3.12.3",
"sage": "10.9",
"mpmath": "1.4.1",
"numberdb": "0.1.10"
},
"document_sha256": "f360b4466811a546b2d02074a879522960509bd6f50522caef91e47429943044",
"program_sha256": "c791b452e757ffc50e329bb00595fa35539feee178cde8e3e53d780fb0dd5592",
"source": "BBSW Theorem 4.1, equation (23); second-moment control from Theorem 5.4, equation (37).",
"method": "mpmath derivatives at 150 and 180 decimal working digits, not rigorous enclosures. No numbers replaced.",
"passes": [
{
"working_digits": 150,
"control_errors": {
"mass": "7.6373409087490117051e-152",
"first_moment": "0.0",
"second_moment": "3.8186704543745058526e-151"
},
"rows": [
{
"n": 3,
"k": 2,
"value": "0.419299278301174455346185701748861465661702991175207449655098360560836093590385024475508226718859425774240422414715966488876781405104062855350114803906",
"stored_last_place_units": "0.2575957758528403"
},
{
"n": 3,
"k": 3,
"value": "0.130727985840989270595925402958877887688953275032892673618313976930912363678390809854084192210974503519579797986290503452487540150404483125239957196955",
"stored_last_place_units": "0.195797979862905"
},
{
"n": 3,
"k": 4,
"value": "0.521535698581387782679967821418011731282449731550944382664951065357598735756050713796757575686829726210538988857905305468647802463615054938436705567096",
"stored_last_place_units": "0.1053898885790531"
},
{
"n": 3,
"k": 5,
"value": "-0.468112648256990834018022438924328238816424924337938913805831026652310358181027339584475488187809445016349053473103926326648575859857109067400053740954",
"stored_last_place_units": "0.1634905347310393"
},
{
"n": 3,
"k": 6,
"value": "2.28668563410151636910931744693783561551233936600487369359841987999265689128393145332822128342480144694310405787048301584226604365393572836734821979097",
"stored_last_place_units": "0.05689594212951698"
},
{
"n": 3,
"k": 7,
"value": "-7.03903010683687542145765488267824062213332997916202071875741579858423039914242720610825147074508805031928551860990338405713955876586460179204005367369",
"stored_last_place_units": "0.3192855186099034"
},
{
"n": 3,
"k": 8,
"value": "29.1670056815497024200413154297359166189388555627022423263686615212909932761761421798373821276405562819929949674717557871523776270276161478509417700362",
"stored_last_place_units": "0.1992994967471756"
},
{
"n": 3,
"k": 9,
"value": "-130.092510588579072454397145875344954902070789369030916655868594885253293834141399662431068807457612126673086548934820770491949921278247804860456255418",
"purpose": "one further order; not added to the table"
}
]
},
{
"working_digits": 180,
"control_errors": {
"mass": "1.2049599325514420589e-181",
"first_moment": "6.0247996627572102944e-182",
"second_moment": "1.3857039224341583677e-180"
},
"rows": [
{
"n": 3,
"k": 2,
"value": "0.419299278301174455346185701748861465661702991175207449655098360560836093590385024475508226718859425774240422414715966488876781405104062855350114803905996089787963289124607242511223",
"stored_last_place_units": "0.2575957758528403"
},
{
"n": 3,
"k": 3,
"value": "0.130727985840989270595925402958877887688953275032892673618313976930912363678390809854084192210974503519579797986290503452487540150404483125239957196954933028281456566627342853664303",
"stored_last_place_units": "0.195797979862905"
},
{
"n": 3,
"k": 4,
"value": "0.521535698581387782679967821418011731282449731550944382664951065357598735756050713796757575686829726210538988857905305468647802463615054938436705567095748805018185132931874878771012",
"stored_last_place_units": "0.1053898885790531"
},
{
"n": 3,
"k": 5,
"value": "-0.468112648256990834018022438924328238816424924337938913805831026652310358181027339584475488187809445016349053473103926326648575859857109067400053740953920959345886109659775208499884",
"stored_last_place_units": "0.1634905347310393"
},
{
"n": 3,
"k": 6,
"value": "2.28668563410151636910931744693783561551233936600487369359841987999265689128393145332822128342480144694310405787048301584226604365393572836734821979096997125156497056721508100941909",
"stored_last_place_units": "0.05689594212951698"
},
{
"n": 3,
"k": 7,
"value": "-7.03903010683687542145765488267824062213332997916202071875741579858423039914242720610825147074508805031928551860990338405713955876586460179204005367369284999200555830878160783797102",
"stored_last_place_units": "0.3192855186099034"
},
{
"n": 3,
"k": 8,
"value": "29.1670056815497024200413154297359166189388555627022423263686615212909932761761421798373821276405562819929949674717557871523776270276161478509417700362418439295872144864947548651234",
"stored_last_place_units": "0.1992994967471756"
},
{
"n": 3,
"k": 9,
"value": "-130.092510588579072454397145875344954902070789369030916655868594885253293834141399662431068807457612126673086548934820770491949921278247804860456255418083053842872208373158239882598",
"purpose": "one further order; not added to the table"
}
]
}
],
"max_scaled_precision_difference": "6.0638328089939376423e-152",
"passed": true
}