back to table · edit · history · where entries came from · files · download
14871 bytes, as of the version from 2026-11-11 03:31 (current). Recorded here, not run.
{
"table": "T715",
"checked_entries": 36,
"total_entries": 36,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"negative_controls": {
"missing_initial_term": true,
"wrong_sign": true,
"five_last_place_units": true,
"vacuous_radius": true,
"nan": true
},
"known_answer_controls": [
true,
true,
true,
true,
true
],
"comparisons": [
{
"params": {
"p": "1",
"v": "-1/4"
},
"integral_ball": "[0.881373587019543025232609324979792309028160328261635410753295608653377184222026087833706891910256042856739816192106492188762072511977 +/- 6.26e-133]",
"radius": "1.4648036e-133",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.43260183807893507811237927488023 +/- 6.26e-33]"
},
{
"params": {
"p": "1",
"v": "-1/16"
},
"integral_ball": "[0.962423650119206894995517826848736846270368668771321039322036337680327735216443548824018858245446949994463679916587312822545136647453 +/- 5.59e-133]",
"radius": "1.6000442e-133",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.05536320083412687177454863352547 +/- 5.59e-33]"
},
{
"params": {
"p": "1",
"v": "1/16"
},
"integral_ball": "[1.047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536517 +/- 4.00e-133]",
"radius": "1.7519751e-133",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.327382695504427435549031281536517 +/- 4.01e-34]"
},
{
"params": {
"p": "1",
"v": "1/4"
},
"integral_ball": "[1.570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775 +/- 4.26e-133]",
"radius": "2.6021861e-133",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.008925956743358846676453077695225 +/- 4.27e-34]"
},
{
"params": {
"p": "2",
"v": "-1/4"
},
"integral_ball": "[0.955201806481179687560500426811498082682714615846753356888574740897719743611452965652535887679435584775899059790842241 +/- 4.24e-118]",
"radius": "6.1122429e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.24100940209157759 +/- 4.24e-18]"
},
{
"params": {
"p": "2",
"v": "-1/16"
},
"integral_ball": "[0.9869604401089358618834490999876151135313699407240790626413349376220044822419205243001773403718552231824025913774023144 +/- 6.70e-119]",
"radius": "5.8615221e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.175974086225976856 +/- 6.71e-19]"
},
{
"params": {
"p": "2",
"v": "1/16"
},
"integral_ball": "[1.0149416064096536250212025542745202859416893075302997920174891067765974762582440221364703542282566949458618275313598876 +/- 8.68e-119]",
"radius": "6.0146994e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.0541381724686401124 +/- 8.68e-20]"
},
{
"params": {
"p": "2",
"v": "1/4"
},
"integral_ball": "[1.0887930451518010652503444491188069736692918501846431471628976265971542745883709932151644808053315125288070670466784664 +/- 7.16e-119]",
"radius": "6.1261904e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.4711929329533215336 +/- 7.16e-20]"
},
{
"params": {
"p": "3",
"v": "-1/4"
},
"integral_ball": "[0.9838252138836616460628098791198589480758749379730996786792853964597012320617297570917297319287997083102200257418458467 +/- 7.84e-119]",
"radius": "6.2188755e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.102200257418458467 +/- 7.84e-19]"
},
{
"params": {
"p": "3",
"v": "-1/16"
},
"integral_ball": "[0.9955449411856964841153790906857533571143144581374033780919333659230512654627322583057339268206608360072508966264017263 +/- 7.62e-119]",
"radius": "6.1468157e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.072508966264017263 +/- 7.62e-19]"
},
{
"params": {
"p": "3",
"v": "1/16"
},
"integral_ball": "[1.0048330405652719501311768771745822519239676850055358974954248459566887241771293623285504964269453858852354339398442424 +/- 6.90e-119]",
"radius": "6.1579512e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.1147645660601557576 +/- 6.90e-20]"
},
{
"params": {
"p": "3",
"v": "1/4"
},
"integral_ball": "[1.0233110122363703230848205040884867383187209767473281303051342763629533439756086682923442338164562626717384429807513006 +/- 7.62e-119]",
"radius": "6.1919619e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.3282615570192486994 +/- 7.62e-20]"
},
{
"params": {
"p": "4",
"v": "-1/4"
},
"integral_ball": "[0.9943271106154154887954544270937045792159540381562342311864655850637674637899765430428815792344467526669401363664656968 +/- 6.19e-119]",
"radius": "5.8234204e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.330598636335343032 +/- 6.19e-19]"
},
{
"params": {
"p": "4",
"v": "-1/16"
},
"integral_ball": "[0.9984924045556103701808511247846968234045573923714654389211357998163168424037791481666472725830736611944067283925778905 +/- 7.92e-119]",
"radius": "6.2957919e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.055932716074221095 +/- 7.92e-19]"
},
{
"params": {
"p": "4",
"v": "1/16"
},
"integral_ball": "[1.001582924969814819367464784367211790099493882906594736472677321125251673667133708781270643728176105988422121977514555 +/- 5.16e-118]",
"radius": "5.7840682e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.011577878022485445 +/- 5.16e-19]"
},
{
"params": {
"p": "4",
"v": "1/4"
},
"integral_ball": "[1.0069804849625155870250706884459993309181183842957736512097668358766738375775959693400784710980436158593028096857396324 +/- 6.25e-119]",
"radius": "5.8509939e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.1406971903142603676 +/- 6.26e-20]"
},
{
"params": {
"p": "5",
"v": "-1/4"
},
"integral_ball": "[0.9980473181903847174065170414420028068014868338008833262783208097233892917909706354151969963895727752397275665516976190 +/- 8.96e-119]",
"radius": "6.1138183e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.397275665516976190 +/- 8.96e-19]"
},
{
"params": {
"p": "5",
"v": "-1/16"
},
"integral_ball": "[0.999492822915015307920036122472299604199232583339476540216121579187916170698242250547092822081231552722158461589759157 +/- 2.02e-118]",
"radius": "6.1566673e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.22158461589759157 +/- 2.02e-18]"
},
{
"params": {
"p": "5",
"v": "1/16"
},
"integral_ball": "[1.0005222135632047756256547484846511164595353504435964592459008659308041592401533935303732744371625068135230324339076674 +/- 8.12e-119]",
"radius": "6.1673262e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.1864769675660923326 +/- 8.12e-20]"
},
{
"params": {
"p": "5",
"v": "1/4"
},
"integral_ball": "[1.0022035858727595599970176243806162131306688884643296798532856836986387217558342735522298580957427776759360573673654711 +/- 9.00e-119]",
"radius": "6.1218113e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.3240639426326345289 +/- 9.00e-20]"
},
{
"params": {
"p": "6",
"v": "-1/4"
},
"integral_ball": "[0.9993358822162093746956385001731891142723242678513204447854330809726415087498500221476422513236505772088977296481076179 +/- 7.35e-119]",
"radius": "6.2214275e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.088977296481076179 +/- 7.35e-19]"
},
{
"params": {
"p": "6",
"v": "-1/16"
},
"integral_ball": "[0.9998299926173062913482106703349160502459813622588986399277395636816438148066358682357663682804502693113558286248268659 +/- 8.63e-119]",
"radius": "6.1718364e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.113558286248268659 +/- 8.63e-19]"
},
{
"params": {
"p": "6",
"v": "1/16"
},
"integral_ball": "[1.0001730114254608347958740719932730123620743753691789081847412662192072008329585037818788571108183864377830115019876529 +/- 7.66e-119]",
"radius": "6.0841225e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.4377830115019876529 +/- 7.66e-20]"
},
{
"params": {
"p": "6",
"v": "1/4"
},
"integral_ball": "[1.000713262948214430433721594324683604878979177572049772308877373807629083763550958366363095629669027962044331616917708 +/- 5.25e-118]",
"radius": "6.2208737e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.037955668383082292 +/- 5.25e-19]"
},
{
"params": {
"p": "7",
"v": "-1/4"
},
"integral_ball": "[0.9997758441026676688222478787702458917192455622121885048232668577237749084007152605153780856238464525828065044122368444 +/- 7.62e-119]",
"radius": "6.0433449e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.171934955877631556 +/- 7.62e-19]"
},
{
"params": {
"p": "7",
"v": "-1/16"
},
"integral_ball": "[0.999943138361408224231507929696537655026076456674644254229472281253955862085923961513546244147813441161783750507393037 +/- 1.94e-118]",
"radius": "6.1704548e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.38216249492606963 +/- 1.94e-18]"
},
{
"params": {
"p": "7",
"v": "1/16"
},
"integral_ball": "[1.000057462086994703933896442244001156002741635158095764874926195453616047628019149454967331646328376998763809250063096 +/- 4.21e-118]",
"radius": "6.2012263e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.001236190749936904 +/- 4.21e-19]"
},
{
"params": {
"p": "7",
"v": "1/4"
},
"integral_ball": "[1.0002338786605316157622546620417227281494419393404798806312961516184806469120132483184244573212219140666415764367012641 +/- 8.12e-119]",
"radius": "6.1705591e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.0666415764367012641 +/- 8.12e-20]"
},
{
"params": {
"p": "8",
"v": "-1/4"
},
"integral_ball": "[0.999924703315890008734487070426139363214850892111498997339903654419507624133722667086538874452373116955717335820050555 +/- 4.16e-118]",
"radius": "6.3201172e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.44282664179949445 +/- 4.16e-18]"
},
{
"params": {
"p": "8",
"v": "-1/16"
},
"integral_ball": "[0.9999810072029657065547101992999395280318109107597452577540030839770704772911349289926396802836415776426056648859149523 +/- 9.15e-119]",
"radius": "6.2496818e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.426056648859149523 +/- 9.15e-19]"
},
{
"params": {
"p": "8",
"v": "1/16"
},
"integral_ball": "[1.0000191128467960512526463827691577730430072215443730591205415664918888651428837858330629630854529109226661982063192113 +/- 6.59e-119]",
"radius": "6.1521532e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.0773338017936807887 +/- 6.59e-20]"
},
{
"params": {
"p": "8",
"v": "1/4"
},
"integral_ball": "[1.0000772300100846462779591878757516428126913682706765406135308452244752957123307643526892182639976274233047775087190899 +/- 6.84e-119]",
"radius": "6.1175698e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.4233047775087190899 +/- 6.84e-20]"
},
{
"params": {
"p": "9",
"v": "-1/4"
},
"integral_ball": "[0.9999747822427304138475401983370559790460978760389979999261179813473985302998233289467208460732168594644623660981492331 +/- 7.02e-119]",
"radius": "6.3633586e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.355376339018507669 +/- 7.02e-19]"
},
{
"params": {
"p": "9",
"v": "-1/16"
},
"integral_ball": "[0.9999936612237311477051515489379149809299939453066438590039236061683221617327802010037056849924042444611729864935911922 +/- 7.60e-119]",
"radius": "6.2925609e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.388270135064088078 +/- 7.60e-19]"
},
{
"params": {
"p": "9",
"v": "1/16"
},
"integral_ball": "[1.0000063627817932745374768633459510785117141091762931273505188593118493358035364435768232304305099391974380243217671554 +/- 6.13e-119]",
"radius": "6.1170051e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[-0.1974380243217671554 +/- 6.13e-20]"
},
{
"params": {
"p": "9",
"v": "1/4"
},
"integral_ball": "[1.0000256032152650602474460058178310745878730153766688257377462918763654509296048682461948670891787275963186217468070762 +/- 7.00e-119]",
"radius": "6.1007588e-119",
"stored_contains_integral": true,
"residual_in_stored_ulps": "[0.4036813782531929238 +/- 7.00e-20]"
}
],
"seconds": 42.88150119781494,
"method": "450-bit Arb analytic quadrature on [0,420] plus explicit exponential tail",
"skill_manifest": "skill-manifest.json",
"skill_bundle_sha256": "d6661c2f21613524889fa3a57d3c95f8330344ca62e5a856211c08a282b7dbab",
"limitations": "Independent formula and implementation; shared Arb arithmetic and series-to-moment identity. This is builder evidence, not a critic verdict."
}