back to table · edit · history · where entries came from · files · download
8658 bytes, as of the version from 2026-11-02 01:23 (current). Recorded here, not run.
{
"table": "T663",
"manifest": "agents/runs/20261101T235407Z-build-skills/manifest.json",
"skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"versions": {
"python": "3.12.3",
"mpmath": "1.4.1"
},
"controls": {
"density_mass_error": "0.0",
"density_second_moment_error": "0.0",
"smyth_agreement": "141.18307",
"perturbation_rejected": true,
"smyth": "0.323065947219450514093636510723806394072241840780587016130868470361015112807269842083787609089371392073487291755962435461887672261567406"
},
"rows": [
{
"k": 0,
"value": "0.323065947219450514093636510723806394072241840780587016130868470361015112807269842083787609089371392073487291755962435461887672261567406223033142577124471538551446691841865072995167407017143967236557094724515405",
"precision_agreement": "150.3264828",
"modular_agreement": "140.5027141",
"eta_residual": "7.10413e-141",
"q_tail_bound": "4.8697e-179",
"tau": "(-0.5 + 0.2886751345948128822545744j)",
"seconds": 0.581
},
{
"k": 1,
"value": "0.370392929826216113895377116950293254689136404434656816719314544110535235142469104642311243403157040557150114911689131111233088379741833463414156830299485729301889929543853834511188450273681172041192884065965271",
"precision_agreement": "150.3136057",
"modular_agreement": "140.2333515",
"eta_residual": "7.87251e-141",
"q_tail_bound": "6.95582e-178",
"tau": "(-0.4387434572558812623827106 + 0.2821009913211424490685452j)",
"seconds": 0.519
},
{
"k": 2,
"value": "0.541273981692507642460024261838158353412964502109648601279235425687179617784570992037099991117183061504632294451013177408245526779905997275640603183927002116347732046386163745023498299409258861465024704277414978",
"precision_agreement": "152.674413",
"modular_agreement": "139.9745637",
"eta_residual": "1.37725e-280",
"q_tail_bound": "7.96283e-174",
"tau": "(-0.3333333333333333333333333 + 0.2357022603955158414669481j)",
"seconds": 0.293
},
{
"k": 3,
"value": "0.85119848278192973083154628407872509086402943314971843375658732241299808668682120334565117447720473715260153268619072349182942254746842727184326872462848796722059094493119629041089653307634853459766668755696936",
"precision_agreement": "150.3116094",
"modular_agreement": "140.4856217",
"eta_residual": "2.24241e-140",
"q_tail_bound": "1.29298e-181",
"tau": "(-0.25 + 0.3227486121839514070982721j)",
"seconds": 0.497
},
{
"k": 4,
"value": "1.14105410604211695092198957827928001650240590972141582782414588797834186434218638030513816780755222704616895611442233221744478592141396374537563924391237898233466717470621821936652020289008933119349144733001957",
"precision_agreement": "149.680915",
"modular_agreement": "139.6706155",
"eta_residual": "3.23009e-140",
"q_tail_bound": "3.402e-185",
"tau": "(-0.1942018279455005962891666 + 0.3590993131284058169422286j)",
"seconds": 0.503
},
{
"k": 5,
"value": "1.4142790195184057410112033475848414452605661945708676718642549900990392630364602877794539047276626101348656929656136104816068454336338656152719523365506557273570962579188488383143874350791221572159769235371181",
"precision_agreement": "150.3338118",
"modular_agreement": "139.7026384",
"eta_residual": "2.10122e-140",
"q_tail_bound": "5.08005e-187",
"tau": "(-0.1324164528555444971347112 + 0.3861768373165615279472262j)",
"seconds": 0.649
},
{
"k": 6,
"value": "1.67338930297019673228343062165559807525770712134609610247514785655711398558324949404427947375664083645251864060547589307289640007221030416695650262859898426475594671814215473124139992619223304291891053063414337",
"precision_agreement": "150.2168165",
"modular_agreement": "139.585134",
"eta_residual": "3.149e-140",
"q_tail_bound": "3.56458e-189",
"tau": "(0.0 + 0.408248290463863016366214j)",
"seconds": 0.592
},
{
"k": 7,
"value": "1.87087908028512877748391802128978103081155990854438418729662589955567079884953022180140124061751839236894516033334525156812417527020793081181481283107402361810385214065568610794963601870675041658657160886225958",
"precision_agreement": "149.667429",
"modular_agreement": "140.1014076",
"eta_residual": "9.44701e-140",
"q_tail_bound": "1.88323e-202",
"tau": "(-2.629067138870400734797288e-162 + 0.552360046672569340220251j)",
"seconds": 0.646
},
{
"k": 8,
"value": "2.02538292151898861000315476516703719087101684183851280398794583602747186041825979548455624971116658470725310962600954971053718804008021162487631596111897505759130255518681920730708725487225101996206487097001254",
"precision_agreement": "150.2958077",
"modular_agreement": "139.9320514",
"eta_residual": "5.24834e-140",
"q_tail_bound": "2.86466e-208",
"tau": "(1.456852399336081631039316e-182 + 0.6167683585045031780950793j)",
"seconds": 0.843
},
{
"k": 9,
"value": "2.15599742280205304112594123827256417591926110003662870923211713664478041126942280446605535317724254209912539303272868288020252341600849913275307601396212175281248926272154683654599207753019502224393416893087107",
"precision_agreement": "150.0069535",
"modular_agreement": "139.6622533",
"eta_residual": "2.30927e-139",
"q_tail_bound": "1.07365e-212",
"tau": "(9.762962386834335551349615e-150 + 0.6661057467565339196853433j)",
"seconds": 0.761
},
{
"k": 10,
"value": "2.26995383951642395556734580696208784838337718789011983609944321778356907896825266027887519153029196866087146686496440314851192486285280427298809470602994942614608952284222138106082971226206451886818830228127574",
"precision_agreement": "151.652091",
"modular_agreement": "140.2802769",
"eta_residual": "0.0",
"q_tail_bound": "1.36799e-214",
"tau": "(0.0 + 0.7071067811865475244008444j)",
"seconds": 0.54
},
{
"k": 11,
"value": "2.37135842517170439392654283137493639672606170928541113237710102292477367677419247288416193071766003447965738676910171090898881241907612832632613951958046209734916470954849386942370468647923587750776356239715854",
"precision_agreement": "150.7102637",
"modular_agreement": "139.9576996",
"eta_residual": "5.87814e-139",
"q_tail_bound": "1.53042e-217",
"tau": "(-1.995515251798679426798265e-351 + 0.7425451525847894255202691j)",
"seconds": 0.548
},
{
"k": 12,
"value": "2.46286916405064152104812382000382864394568674608725792186130418500990782819449838681269704764937065045855858131117749279001913461348221824642604210155089371979048946422226416797388267632214490512134157005147843",
"precision_agreement": "150.44024",
"modular_agreement": "139.9757653",
"eta_residual": "1.04967e-139",
"q_tail_bound": "1.19986e-220",
"tau": "(1.558996290467718302186144e-353 + 0.7739160866498212713535618j)",
"seconds": 0.57
},
{
"k": 18,
"value": "2.88088850681154780223320792291718824748189092904616167884742439602621878950752352331423573610771346483029551299825580646355833968302753079152165731862668102567344064853717313007530314076224702766305872247079021",
"precision_agreement": "149.9385226",
"modular_agreement": "140.1239218",
"eta_residual": "4.19867e-140",
"q_tail_bound": "6.49145e-234",
"tau": "(0.0 + 0.9128709291752768557616163j)",
"seconds": 0.643
}
],
"derivative": {
"six_times_derivative": "1.516386059151978018156012159681420779955387044452262676566980463658086320353521450401611741209688113926083547676140171244450685495",
"watson_agreement": "140.46079"
},
"exterior_checks": [
{
"k": 7,
"agreement": "140.10141",
"tail": "9.92279e-154"
},
{
"k": 8,
"agreement": "139.42389",
"tail": "7.1147e-154"
},
{
"k": 9,
"agreement": "139.66225",
"tail": "8.74741e-154"
},
{
"k": 10,
"agreement": "140.28028",
"tail": "3.19272e-154"
},
{
"k": 11,
"agreement": "139.9577",
"tail": "6.63544e-154"
},
{
"k": 12,
"agreement": "139.97577",
"tail": "2.02851e-154"
},
{
"k": 18,
"agreement": "139.56553",
"tail": "6.67062e-155"
}
],
"arithmetic_relation_residual": "8.1651261e-202"
}