back to table · edit · history · where entries came from · files · download
40252 bytes, as of the version from 2026-11-09 16:36 (current). Recorded here, not run.
{
"table": "T692",
"run_id": "20261109T150707Z",
"skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-resume-20261109/agents/runs/20261109T150707Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
}
],
"versions": {
"sage": "10.9",
"numberdb": "0.1.10"
},
"private_checks": {
"stage": "private_quick_checks",
"entries": 101,
"exact_rational_orders": [
0,
1
],
"working_bits": 717,
"minimum_generator_accuracy_bits": [
441,
100
],
"minimum_independent_accuracy_bits": 723,
"maximum_cancellation_decimal_digits": [
82.35554419085683,
100
],
"strict_written_interval_containment": true,
"perturbation_controls": 99,
"reciprocal_identities_checked": 99,
"maximum_stored_symmetry_radius": "3.1691267e-72",
"measurement": {
"entries": 101,
"longest": 104,
"longest_at": 100,
"block_kb": 13.59375
},
"cotangent_reconstructions": [
{
"x": "31/32",
"remainder_bound": "[1.576741348903021771381666783594125264407433672553458923299929759629053742722436365265474701991233666197096853003143466918873730801447372371476197736361764072067470668662592439856534497455242262555260133506028479735697374652870736782639989121394642598836171401919529005523674633029490173467562879925201e-151 +/- 5.13e-452]",
"residual_radius": "1.0080645e-103"
},
{
"x": "33/32",
"remainder_bound": "[1.576741348903021771381666783594125264407433672553458923299929759629053742722436365265474701991233666197096853003143466918873730801447372371476197736361764072067470668662592439856534497455242262555260133506028479735697374652870736782639989121394642598836171401919529005523674633029490173467562879925201e-151 +/- 5.13e-452]",
"residual_radius": "1.0080645e-103"
},
{
"x": "7/8",
"remainder_bound": "[1.122078506353766069279033589711148718394334974285588472025496941071338343936392195762308087779961589091927673500601572231581238539525650034927431959796334503372138391876539869380329556796433670180184500558035714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714e-90 +/- 4.43e-391]",
"residual_radius": "1.1220785e-90"
},
{
"x": "9/8",
"remainder_bound": "[1.122078506353766069279033589711148718394334974285588472025496941071338343936392195762308087779961589091927673500601572231581238539525650034927431959796334503372138391876539869380329556796433670180184500558035714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714e-90 +/- 4.43e-391]",
"residual_radius": "1.1220785e-90"
},
{
"x": "3/4",
"remainder_bound": "[3.318941481525942243810167495349399594981467823317955804320595527887839378152204501964770572333713929043715514429398657133181889851888020833333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333e-60 +/- 4.89e-361]",
"residual_radius": "3.3189415e-60"
},
{
"x": "5/4",
"remainder_bound": "[3.318941481525942243810167495349399594981467823317955804320595527887839378152204501964770572333713929043715514429398657133181889851888020833333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333e-60 +/- 4.89e-361]",
"residual_radius": "3.3189415e-60"
}
],
"published_ingredient_checks": {
"bernoulli_T13": 101,
"even_zeta_T14": 20,
"cotangent_T639": 31
},
"skill_manifest": "../20261109T150707Z-build-skills/manifest.json",
"skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"all_passed": true
},
"contour_checks": {
"stage": "contour_checks",
"entries": 101,
"all_passed": true,
"minimum_accuracy_bits": 113,
"tail_bound": "[6.0144052660090383258850534286223464485735151658847932e-37 +/- 3.86e-90]",
"working_bits": 180,
"truncation_T": 60,
"control": "integral of t from 0 to 1 is 1/2; g0=-1 and g1=1/2",
"deliberate_error_controls": 101,
"skill_manifest": "../20261109T150707Z-build-skills/manifest.json",
"skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
},
"contour_values": [
{
"n": 0,
"value": "-1.00000000000000000000000000000",
"radius": "6.0145603e-37",
"accuracy_bits": 119,
"seconds": 4.524042326025665
},
{
"n": 1,
"value": "0.500000000000000000000000000000",
"radius": "6.0145872e-37",
"accuracy_bits": 118,
"seconds": 3.040881081484258
},
{
"n": 2,
"value": "0.714978022282742145490805055549",
"radius": "6.0145673e-37",
"accuracy_bits": 119,
"seconds": 3.728666791692376
},
{
"n": 3,
"value": "0.357489011141371072745402527774",
"radius": "6.0145628e-37",
"accuracy_bits": 118,
"seconds": 3.521353426389396
},
{
"n": 4,
"value": "0.252000795560628526644335614672",
"radius": "6.0145669e-37",
"accuracy_bits": 118,
"seconds": 3.635645965114236
},
{
"n": 5,
"value": "0.199256687770257253593802158120",
"radius": "6.0145836e-37",
"accuracy_bits": 117,
"seconds": 3.608254519291222
},
{
"n": 6,
"value": "0.166022903712583714145807527388",
"radius": "6.0145833e-37",
"accuracy_bits": 117,
"seconds": 3.661100964061916
},
{
"n": 7,
"value": "0.142544281521259041499082309567",
"radius": "6.0145462e-37",
"accuracy_bits": 117,
"seconds": 3.24414726998657
},
{
"n": 8,
"value": "0.124888239480512288565810531915",
"radius": "6.0145716e-37",
"accuracy_bits": 116,
"seconds": 3.3971007503569126
},
{
"n": 9,
"value": "0.111088486732457981802084208065",
"radius": "6.0145681e-37",
"accuracy_bits": 116,
"seconds": 3.3045614287257195
},
{
"n": 10,
"value": "0.100007404034488091096927354336",
"radius": "6.0145990e-37",
"accuracy_bits": 116,
"seconds": 3.322471985593438
},
{
"n": 11,
"value": "0.0909217079516333080558299883952",
"radius": "6.0145620e-37",
"accuracy_bits": 116,
"seconds": 3.734924149699509
},
{
"n": 12,
"value": "0.0833431621079940600449029688946",
"radius": "6.0145871e-37",
"accuracy_bits": 116,
"seconds": 3.778933571651578
},
{
"n": 13,
"value": "0.0769289328124560172129554152935",
"radius": "6.0145901e-37",
"accuracy_bits": 116,
"seconds": 4.373695881105959
},
{
"n": 14,
"value": "0.0714313960775455830836882437187",
"radius": "6.0145930e-37",
"accuracy_bits": 116,
"seconds": 3.7885673670098186
},
{
"n": 15,
"value": "0.0666676703348553769329457608455",
"radius": "6.0145778e-37",
"accuracy_bits": 116,
"seconds": 4.041036472655833
},
{
"n": 16,
"value": "0.0625000959679428541264033170982",
"radius": "6.0146096e-37",
"accuracy_bits": 116,
"seconds": 6.141268041916192
},
{
"n": 17,
"value": "0.0588232722231536375053800198215",
"radius": "6.0146036e-37",
"accuracy_bits": 115,
"seconds": 4.479741405695677
},
{
"n": 18,
"value": "0.0555552302102820878466185418812",
"radius": "6.0145935e-37",
"accuracy_bits": 115,
"seconds": 4.149261229671538
},
{
"n": 19,
"value": "0.0526313047807121188909505785603",
"radius": "6.0145842e-37",
"accuracy_bits": 115,
"seconds": 4.1740984711796045
},
{
"n": 20,
"value": "0.0499998087745376104324429507875",
"radius": "6.0146234e-37",
"accuracy_bits": 115,
"seconds": 3.9881201507523656
},
{
"n": 21,
"value": "0.0476189321460810562200957617967",
"radius": "6.0146031e-37",
"accuracy_bits": 115,
"seconds": 4.4548313692212105
},
{
"n": 22,
"value": "0.0454544859689146982816842719124",
"radius": "6.0146114e-37",
"accuracy_bits": 115,
"seconds": 4.428879822604358
},
{
"n": 23,
"value": "0.0434782373667920439005222046303",
"radius": "6.0145872e-37",
"accuracy_bits": 115,
"seconds": 4.828741725534201
},
{
"n": 24,
"value": "0.0416666634427277326256985378541",
"radius": "6.0146041e-37",
"accuracy_bits": 115,
"seconds": 5.191409984603524
},
{
"n": 25,
"value": "0.0400000063852569644387752479443",
"radius": "6.0146350e-37",
"accuracy_bits": 115,
"seconds": 5.578665176406503
},
{
"n": 26,
"value": "0.0384615480147591554830126988880",
"radius": "6.0146190e-37",
"accuracy_bits": 115,
"seconds": 6.068103567697108
},
{
"n": 27,
"value": "0.0370370463464674582091849377630",
"radius": "6.0146140e-37",
"accuracy_bits": 115,
"seconds": 5.616279177367687
},
{
"n": 28,
"value": "0.0357142933046260746486077111573",
"radius": "6.0146227e-37",
"accuracy_bits": 115,
"seconds": 7.851145609281957
},
{
"n": 29,
"value": "0.0344827641262895846705918506157",
"radius": "6.0146146e-37",
"accuracy_bits": 115,
"seconds": 5.518103667534888
},
{
"n": 30,
"value": "0.0333333369420512599558083673902",
"radius": "6.0146155e-37",
"accuracy_bits": 115,
"seconds": 5.710291697643697
},
{
"n": 31,
"value": "0.0322580666305063972434546418375",
"radius": "6.0146246e-37",
"accuracy_bits": 115,
"seconds": 5.897370404563844
},
{
"n": 32,
"value": "0.0312500010518931895627123723845",
"radius": "6.0146065e-37",
"accuracy_bits": 115,
"seconds": 6.107306836172938
},
{
"n": 33,
"value": "0.0303030306666831176804073408781",
"radius": "6.0145981e-37",
"accuracy_bits": 114,
"seconds": 7.007255197502673
},
{
"n": 34,
"value": "0.0294117646686152357685033955438",
"radius": "6.0146024e-37",
"accuracy_bits": 114,
"seconds": 5.876463104039431
},
{
"n": 35,
"value": "0.0285714283345120539596428576441",
"radius": "6.0146020e-37",
"accuracy_bits": 114,
"seconds": 6.369100114330649
},
{
"n": 36,
"value": "0.0277777774705455494478586316696",
"radius": "6.0145929e-37",
"accuracy_bits": 114,
"seconds": 6.81579602509737
},
{
"n": 37,
"value": "0.0270270267246530669708986583298",
"radius": "6.0146075e-37",
"accuracy_bits": 114,
"seconds": 6.607663162052631
},
{
"n": 38,
"value": "0.0263157892138152342602478746472",
"radius": "6.0146054e-37",
"accuracy_bits": 114,
"seconds": 7.52861768938601
},
{
"n": 39,
"value": "0.0256410254373131877675638030269",
"radius": "6.0146172e-37",
"accuracy_bits": 114,
"seconds": 6.817728377878666
},
{
"n": 40,
"value": "0.0249999998521382349551340019459",
"radius": "6.0146041e-37",
"accuracy_bits": 114,
"seconds": 7.594544359482825
},
{
"n": 41,
"value": "0.0243902438030658894532063921374",
"radius": "6.0146091e-37",
"accuracy_bits": 114,
"seconds": 6.280205502174795
},
{
"n": 42,
"value": "0.0238095237486227820330308355808",
"radius": "6.0146037e-37",
"accuracy_bits": 114,
"seconds": 6.531469318084419
},
{
"n": 43,
"value": "0.0232558139209569603351406295858",
"radius": "6.0145976e-37",
"accuracy_bits": 114,
"seconds": 6.320157780312002
},
{
"n": 44,
"value": "0.0227272727142372392667982196866",
"radius": "6.0145953e-37",
"accuracy_bits": 114,
"seconds": 6.928674318827689
},
{
"n": 45,
"value": "0.0222222222215532294344655939892",
"radius": "6.0146309e-37",
"accuracy_bits": 114,
"seconds": 7.110086529515684
},
{
"n": 46,
"value": "0.0217391304411416232412715507174",
"radius": "6.0146576e-37",
"accuracy_bits": 114,
"seconds": 10.335687031969428
},
{
"n": 47,
"value": "0.0212765957543235053654875584007",
"radius": "6.0146234e-37",
"accuracy_bits": 114,
"seconds": 9.23688970785588
},
{
"n": 48,
"value": "0.0208333333438128629220924957692",
"radius": "6.0146344e-37",
"accuracy_bits": 114,
"seconds": 9.27698977291584
},
{
"n": 49,
"value": "0.0204081632751620470662479300801",
"radius": "6.0146271e-37",
"accuracy_bits": 114,
"seconds": 7.852531078271568
},
{
"n": 50,
"value": "0.0200000000084768144054363542253",
"radius": "6.0146077e-37",
"accuracy_bits": 114,
"seconds": 6.980267841368914
},
{
"n": 51,
"value": "0.0196078431440699392717057168439",
"radius": "6.0146067e-37",
"accuracy_bits": 114,
"seconds": 6.705830996856093
},
{
"n": 52,
"value": "0.0192307692359336020065235007427",
"radius": "6.0146187e-37",
"accuracy_bits": 114,
"seconds": 6.922065509483218
},
{
"n": 53,
"value": "0.0188679245319902082075427401985",
"radius": "6.0145965e-37",
"accuracy_bits": 114,
"seconds": 7.298957275226712
},
{
"n": 54,
"value": "0.0185185185209794840060558431248",
"radius": "6.0146125e-37",
"accuracy_bits": 114,
"seconds": 7.756603448651731
},
{
"n": 55,
"value": "0.0181818181833171061867739925137",
"radius": "6.0146343e-37",
"accuracy_bits": 114,
"seconds": 6.906977586448193
},
{
"n": 56,
"value": "0.0178571428579278717462604958129",
"radius": "6.0146266e-37",
"accuracy_bits": 114,
"seconds": 6.607142915949225
},
{
"n": 57,
"value": "0.0175438596494076355343745174872",
"radius": "6.0146439e-37",
"accuracy_bits": 114,
"seconds": 6.832546854391694
},
{
"n": 58,
"value": "0.0172413793103025242141334636763",
"radius": "6.0145986e-37",
"accuracy_bits": 114,
"seconds": 7.560247023589909
},
{
"n": 59,
"value": "0.0169491525421363082778363095040",
"radius": "6.0146076e-37",
"accuracy_bits": 114,
"seconds": 7.627549766562879
},
{
"n": 60,
"value": "0.0166666666663326931285513213887",
"radius": "6.0146419e-37",
"accuracy_bits": 114,
"seconds": 8.732850816100836
},
{
"n": 61,
"value": "0.0163934426225861970200485411560",
"radius": "6.0145951e-37",
"accuracy_bits": 114,
"seconds": 10.127130948007107
},
{
"n": 62,
"value": "0.0161290322577121252868363623226",
"radius": "6.0146207e-37",
"accuracy_bits": 114,
"seconds": 7.826221665367484
},
{
"n": 63,
"value": "0.0158730158727005806854705623952",
"radius": "6.0146391e-37",
"accuracy_bits": 114,
"seconds": 8.588539092801511
},
{
"n": 64,
"value": "0.0156249999997337339805560243437",
"radius": "6.0146479e-37",
"accuracy_bits": 113,
"seconds": 7.392737589776516
},
{
"n": 65,
"value": "0.0153846153844012843092926486103",
"radius": "6.0146499e-37",
"accuracy_bits": 113,
"seconds": 7.772021994926035
},
{
"n": 66,
"value": "0.0151515151513508003617985527457",
"radius": "6.0146467e-37",
"accuracy_bits": 113,
"seconds": 7.724903219379485
},
{
"n": 67,
"value": "0.0149253731342081882953897454293",
"radius": "6.0146073e-37",
"accuracy_bits": 113,
"seconds": 9.337691279128194
},
{
"n": 68,
"value": "0.0147058823528581738176796103781",
"radius": "6.0145983e-37",
"accuracy_bits": 113,
"seconds": 9.688998127356172
},
{
"n": 69,
"value": "0.0144927536231352542729944070104",
"radius": "6.0146000e-37",
"accuracy_bits": 113,
"seconds": 9.237409645691514
},
{
"n": 70,
"value": "0.0142857142856840800372336901118",
"radius": "6.0146135e-37",
"accuracy_bits": 113,
"seconds": 9.09056634362787
},
{
"n": 71,
"value": "0.0140845070422401631564849335289",
"radius": "6.0146103e-37",
"accuracy_bits": 113,
"seconds": 8.257843229919672
},
{
"n": 72,
"value": "0.0138888888888872617280617022085",
"radius": "6.0146298e-37",
"accuracy_bits": 113,
"seconds": 8.081366658210754
},
{
"n": 73,
"value": "0.0136986301369922960050911839266",
"radius": "6.0146147e-37",
"accuracy_bits": 113,
"seconds": 8.722597245126963
},
{
"n": 74,
"value": "0.0135135135135239646704947574948",
"radius": "6.0146133e-37",
"accuracy_bits": 113,
"seconds": 9.76821982767433
},
{
"n": 75,
"value": "0.0133333333333459057813851794166",
"radius": "6.0146204e-37",
"accuracy_bits": 113,
"seconds": 11.189044428057969
},
{
"n": 76,
"value": "0.0131578947368551592355604688841",
"radius": "6.0145799e-37",
"accuracy_bits": 113,
"seconds": 8.170735460706055
},
{
"n": 77,
"value": "0.0129870129870254415969897180002",
"radius": "6.0145841e-37",
"accuracy_bits": 113,
"seconds": 8.506976309232414
},
{
"n": 78,
"value": "0.0128205128205240264958321187948",
"radius": "6.0145628e-37",
"accuracy_bits": 113,
"seconds": 8.419622290879488
},
{
"n": 79,
"value": "0.0126582278481108941661501813993",
"radius": "6.0145569e-37",
"accuracy_bits": 113,
"seconds": 9.530386672355235
},
{
"n": 80,
"value": "0.0125000000000079484446538075994",
"radius": "6.0145662e-37",
"accuracy_bits": 113,
"seconds": 10.472029916010797
},
{
"n": 81,
"value": "0.0123456790123519969267384193239",
"radius": "6.0145820e-37",
"accuracy_bits": 113,
"seconds": 10.324838356114924
},
{
"n": 82,
"value": "0.0121951219512243423298692465399",
"radius": "6.0145813e-37",
"accuracy_bits": 113,
"seconds": 11.467168964445591
},
{
"n": 83,
"value": "0.0120481927710878723962696145459",
"radius": "6.0145991e-37",
"accuracy_bits": 113,
"seconds": 10.639879369176924
},
{
"n": 84,
"value": "0.0119047619047643563135861180204",
"radius": "6.0145840e-37",
"accuracy_bits": 113,
"seconds": 10.445661970414221
},
{
"n": 85,
"value": "0.0117647058823545186844963422483",
"radius": "6.0145698e-37",
"accuracy_bits": 113,
"seconds": 9.540166107006371
},
{
"n": 86,
"value": "0.0116279069767450835570464270320",
"radius": "6.0145944e-37",
"accuracy_bits": 113,
"seconds": 10.570354194380343
},
{
"n": 87,
"value": "0.0114942528735636071153792206838",
"radius": "6.0145730e-37",
"accuracy_bits": 113,
"seconds": 12.216508782468736
},
{
"n": 88,
"value": "0.0113636363636363887285716350340",
"radius": "6.0145638e-37",
"accuracy_bits": 113,
"seconds": 10.071586603298783
},
{
"n": 89,
"value": "0.0112359550561795555024385102089",
"radius": "6.0145491e-37",
"accuracy_bits": 113,
"seconds": 9.355389301665127
},
{
"n": 90,
"value": "0.0111111111111107403587779498751",
"radius": "6.0145494e-37",
"accuracy_bits": 113,
"seconds": 9.275697116740048
},
{
"n": 91,
"value": "0.0109890109890105389284668348661",
"radius": "6.0145923e-37",
"accuracy_bits": 113,
"seconds": 9.847143633291125
},
{
"n": 92,
"value": "0.0108695652173908274579413870257",
"radius": "6.0145497e-37",
"accuracy_bits": 113,
"seconds": 9.995706097222865
},
{
"n": 93,
"value": "0.0107526881720425437174846681685",
"radius": "6.0145822e-37",
"accuracy_bits": 113,
"seconds": 10.877977878786623
},
{
"n": 94,
"value": "0.0106382978723399922825914899641",
"radius": "6.0145561e-37",
"accuracy_bits": 113,
"seconds": 9.208652670495212
},
{
"n": 95,
"value": "0.0105263157894732987915550639034",
"radius": "6.0145606e-37",
"accuracy_bits": 113,
"seconds": 8.969599819742143
},
{
"n": 96,
"value": "0.0104166666666663357134050238498",
"radius": "6.0145719e-37",
"accuracy_bits": 113,
"seconds": 9.521343229338527
},
{
"n": 97,
"value": "0.0103092783505151887394553344031",
"radius": "6.0145509e-37",
"accuracy_bits": 113,
"seconds": 9.891011126339436
},
{
"n": 98,
"value": "0.0102040816326528395015531396580",
"radius": "6.0145430e-37",
"accuracy_bits": 113,
"seconds": 11.163383336737752
},
{
"n": 99,
"value": "0.0101010101010099281315939628730",
"radius": "6.0145502e-37",
"accuracy_bits": 113,
"seconds": 13.142186819575727
},
{
"n": 100,
"value": "0.00999999999999987008758803080414",
"radius": "6.0145381e-37",
"accuracy_bits": 113,
"seconds": 11.534312282688916
}
],
"written_values": {
"0": "-1",
"1": "1/2",
"2": "0.7149780222827421454908050555486750630729833004022661459118527431233358234677336246112096335399195684",
"3": "0.3574890111413710727454025277743375315364916502011330729559263715616679117338668123056048167699597842",
"4": "0.2520007955606285266443356146715930046848415867398846124437279571987265373214022225351441743738464564",
"5": "0.1992566877702572535938021581202207412590165550092603821876287500172558501151699276499138531757897925",
"6": "0.1660229037125837141458075273884724300217387529781478055726878910830921986980366663500614954434162347",
"7": "0.1425442815212590414990823095665360948787345657967910557783262062725820651754529218428981194438842300",
"8": "0.1248882394805122885658105319151631922985696226620479766456130893139235500362105444628822893706886736",
"9": "0.1110884867324579818020842080647294505155267381723474900950832370712157035247054593772432873205770132",
"10": "0.1000074040344880910969273543360640795173404901073217664517765575694304861746393767831443713692366932",
"11": "0.09092170795163330805582998839522303016847133783720460024298556441397631366436689939271578758182515640",
"12": "0.08334316210799406004490296889460069179241167771455380271680859721977234439524981215085588557390195905",
"13": "0.07692893281245601721295541529348574096283887077011239810142643182578562328083422709413167629189482851",
"14": "0.07143139607754558308368824371873934251446638758287104509123320794791159516934062831233719520446802103",
"15": "0.06666767033485537693294576084553452666374401173723107094639451555102630308281036696138076819934182968",
"16": "0.06250009596794285412640331709823828984519826397200101001718520474376786898913701052361954771861984286",
"17": "0.05882327222315363750538001982147719306630862807359309259878320159782605596509674841370050289915225371",
"18": "0.05555523021028208784661854188117980069957373750216727811831014768360036875018193147117255983346072153",
"19": "0.05263130478071211889095057856026558718830097070766100070396694880912797876188676060273734424124888709",
"20": "0.04999980877453761043244295078753350055619924506806632980601187403301289759893366366329776181614577612",
"21": "0.04761893214608105622009576179669057145223466786135626344514954555031261545726571654359994788701472456",
"22": "0.04545448596891469828168427191240850903363966455772141197477744911322639634052194369516540396492600501",
"23": "0.04347823736679204390052220463033248744255704343655891851904069604111484477018715963633665231424596842",
"24": "0.04166666344272773262569853785409391702248954114420037512612300750541686470106564071188143671315301269",
"25": "0.04000000638525696443877524794433766125936588966738888483188914710968104208675318473764219275186724411",
"26": "0.03846154801475915548301269888802271246494685737113734283911083219552843730889876068100507966380110745",
"27": "0.03703704634646745820918493776296261032204316872381392978880324924649954549409435878484634458398902824",
"28": "0.03571429330462607464860771115725356088079992400019092196442340814017510813870194688730808785378060388",
"29": "0.03448276412628958467059185061571657615564903654452637591002328564094167525328172796703990992120753798",
"30": "0.03333333694205125995580836739024976607016999057270088546996678237758874446042016376354169533238970481",
"31": "0.03225806663050639724345464183752898695592072705382655959037520842970109875818413315664787117380010305",
"32": "0.03125000105189318956271237238452379038299556927013221855034823342571944604155392403697262498993107546",
"33": "0.03030303066668311768040734087814911595582848762080544218369679717676291124439717099961009568344107768",
"34": "0.02941176466861523576850339554380295785751786087216055998128613904239740990094102796231085482470233227",
"35": "0.02857142833451205395964285764411937971731309481601628727423303550332119501625629235335787323676736983",
"36": "0.02777777747054554944785863166957480375872242524276234927020771865185594586910070020317035198896947478",
"37": "0.02702702672465306697089865832978379740262273014850704694195047355534114094189578814941532220153998154",
"38": "0.02631578921381523426024787464716484364007820746898491498986921911238983634952744473848779407811339363",
"39": "0.02564102543731318776756380302690199967923059504742678206346498924380045551163193885420644086496223588",
"40": "0.02499999985213823495513400194589098600810524102395644231938264744463766531713441740829171085493626231",
"41": "0.02439024380306588945320639213741978267760815519070436499452621588131104120747867262293078890489977921",
"42": "0.02380952374862278203303083558082190711431182801953090200894538732433595146138258034242043616036002334",
"43": "0.02325581392095696033514062958583795112837569683147364907916694438158280840439231625165023070258674281",
"44": "0.02272727271423723926679821968664030071815096805580644671012215916627863026962984209489823089170114318",
"45": "0.02222222222155322943446559398915330443539826157984499859582970470178132353543510047877009228245598091",
"46": "0.02173913044114162324127155071744226330131684172403350583490231357493328196540528434963747060688782198",
"47": "0.02127659575432350536548755840070836849393577909582542314518880001706710331049175869628501692200735481",
"48": "0.02083333334381286292209249576917439820059906839911412513475568857124083260406630172044965987403543690",
"49": "0.02040816327516204706624793008009286120926461918544824741872863741861174324449392485217907089720816950",
"50": "0.02000000000847681440543635422534270287613883263092658174752477842200009978478929715228256303571985376",
"51": "0.01960784314406993927170571684391785738498727292895708734860930017460444687827345855590339068561866951",
"52": "0.01923076923593360200652350074269574229241390078944453596974394183924364031846845611633866031249483920",
"53": "0.01886792453199020820754274019847186857771898176190979331745782699824705709508693336596497256484382067",
"54": "0.01851851852097948400605584312483363332952339820318015965357219434119522582714123621755394381497963453",
"55": "0.01818181818331710618677399251373081163770712179028818762422867218922672045021153101569423537080845815",
"56": "0.01785714285792787174626049581289829049341992469642872132411207729869981324267342557459336865806189057",
"57": "0.01754385964940763553437451748723014341143036038055902152455898239424504826957679298967087766795643324",
"58": "0.01724137931030252421413346367632894247668441594711205686274534898362814807150274517760182493685357607",
"59": "0.01694915254213630827783630950404684964243902984795082045295425391392013551077366408444484396859932496",
"60": "0.01666666666633269312855132138871179390517140545178668511740700873683684785158494162519621926235387012",
"61": "0.01639344262258619702004854115595520967557550411522242592447611880423648065384300914361195917056516245",
"62": "0.01612903225771212528683636232258906017619217989233145097038152088549431016343974168578818477872657456",
"63": "0.01587301587270058068547056239522571940531464389780390244831100250876945080250846354404914067116881968",
"64": "0.01562499999973373398055602434371995280677771166584361403272892756014684675780884255397993501708893029",
"65": "0.01538461538440128430929264861034978370538649495255612629680477877824371191172795797743378387763439470",
"66": "0.01515151515135080036179855274567610581053258067384143227534494878530164755947733451226464728536172131",
"67": "0.01492537313420818829538974542933745360756785486078041685967531170941722621894308826464515266957078043",
"68": "0.01470588235285817381767961037814623479056567516041222386074551731185481606227783864707377444421801507",
"69": "0.01449275362313525427299440701043375859553967110550201772135758051170450337749350572075756134845097877",
"70": "0.01428571428568408003723369011180417375556787588768580752785750945653895428502994420938839311964179952",
"71": "0.01408450704224016315648493352887823352025970551362269205920388943147584947112777325431098285809344805",
"72": "0.01388888888888726172806170220845283237853571573348088584237602330847614149756782450246860670802855382",
"73": "0.01369863013699229600509118392658510981965888615021920325713480267079904175236267447397163705156346514",
"74": "0.01351351351352396467049475749476308623087204537533942401360718690961870729013255057655274433501890142",
"75": "0.01333333333334590578138517941656193973297942495774725279037687706932931064112489641583690034725269335",
"76": "0.01315789473685515923556046888406615119083994030648304445015931731707410794971168013843466885571111891",
"77": "0.01298701298702544159698971800024370747592246623228038410350624965187256548775611842177143207366173436",
"78": "0.01282051282052402649583211879479877723632160258649899292505632839477142226686160627238188708854719998",
"79": "0.01265822784811089416615018139930046806073642051350231268728184989884228540302911269957376127801649233",
"80": "0.01250000000000794844465380759940764253086085628211048957612451347658792489099284208424451479429439905",
"81": "0.01234567901235199692673841932390167143022932126909959469969131363340800218494104191414824940768054678",
"82": "0.01219512195122434232986924653989956535629623087743310660868895526036624739097243448413049344988306625",
"83": "0.01204819277108787239626961454587863241567672184067864032503058579695000511437726084009335939112935239",
"84": "0.01190476190476435631358611802041854120102744248408305966801894330224585173181091421610949923228070374",
"85": "0.01176470588235451868449634224832381369568464384408506656048687354166260922740606915375177081309853217",
"86": "0.01162790697674508355704642703196795501982381575870529983525062223496837461690555102699452425697184951",
"87": "0.01149425287356360711537922068380999688927371740694281157323945465447509118173301971002303152444417363",
"88": "0.01136363636363638872857163503401325541765450410746566113382942349940519232695341597194731973009171949",
"89": "0.01123595505617955550243851020892035928757907889806312679028749400405752758651271343565364981176992279",
"90": "0.01111111111111074035877794987512435368181325657477658471990243072403311028275563143580191033863278719",
"91": "0.01098901098901053892846683486605421426679050245747392853503157522670320102719276078889097924392448517",
"92": "0.01086956521739082745794138702571661766392804549006286234902341003457833075198990881264038197499719857",
"93": "0.01075268817204254371748466816849085306966550532190304778802665638066203701541029979219688333803408877",
"94": "0.01063829787233999228259148996407985233333362909779552243165150001292392449398030636578217111688820979",
"95": "0.01052631578947329879155506390336838033137013679400819554403890474012048536296157885058144235178202426",
"96": "0.01041666666666633571340502384977918643221006280110694093401318536028304706226758884873029165960592285",
"97": "0.01030927835051518873945533440314006115265585287237504761559658982285358913874881319477241235824421504",
"98": "0.01020408163265283950155313965799492075140384959851551220802097744737589220404953284813666073140314267",
"99": "0.01010101010100992813159396287303982656345263266065810359121565398861881299312411945532516548045548525",
"100": "0.009999999999999870087588030804141595221292975812025365412360941634804981758528168355095733686330432291"
},
"program_checks": {
"orders": 101,
"all_passed": true
},
"dry_run_output": "OFFICIAL DRY RUN\n== the generator itself ==\n names its rings, initialises Sage\n\n== computing every entry ==\n 101 entries computed\n\n== exactness ==\n every value is exact, or carries its own error bound\n\n== exact in disguise ==\n none\n== prose ==\n no comment carries a backslash before a quote, or says below or above\n\n== size ==\n 101 entries, longest 233 characters at n=3, block 23.6 KB\n\nNothing was sent. Create the table only when the above is clean and\nthe identities have been checked; then fill it once.\nPROGRAM_CHECKS: all 101 orders match, including n=20 displayed example\n",
"source_archive_sha256": "a5204ff75244cd9415ba30d9db12259768a89f61765198b8e59a67d7ba8abfc0",
"source_url": "https://arxiv.org/html/2402.14216v1",
"source_files_sha256": {
"generate.py": "bc9755182c7e26ceaab4280e869225dd2e63c9d30ba0288791870b9dc8f9b39b",
"checks.py": "4d45edccead48922a14733b3b9aee6b0906fef3ae8c499f6dd512bf47c6071de",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"fixtures.json": "cca3ba725af57aef1f8041fec7ada395ef4647105af344f1d6400fd1c3589d27",
"argument-selection.md": "ecca55c9d97cb09f5e96fed23b171153943620a37f90ff25f80311c4e9610858",
"contour-bound.md": "4c1d7cbf4e149d6762f053121476a3e671c980cdc6c47121f34baa003323ab14"
},
"database_readback": {
"generator_verify": "101/101 matched, 0 differing, 0 missing, 0 extra",
"checks": [
{
"stage": "stored_quick_checks",
"entries": 101,
"exact_rational_orders": [
0,
1
],
"working_bits": 717,
"minimum_generator_accuracy_bits": [
441,
100
],
"minimum_independent_accuracy_bits": 723,
"maximum_cancellation_decimal_digits": [
82.35554419085683,
100
],
"strict_written_interval_containment": true,
"perturbation_controls": 99,
"reciprocal_identities_checked": 99,
"maximum_stored_symmetry_radius": "3.1691267e-72",
"measurement": {
"entries": 101,
"longest": 104,
"longest_at": 100,
"block_kb": 13.59375
},
"cotangent_reconstructions": [
{
"x": "31/32",
"remainder_bound": "[1.576741348903021771381666783594125264407433672553458923299929759629053742722436365265474701991233666197096853003143466918873730801447372371476197736361764072067470668662592439856534497455242262555260133506028479735697374652870736782639989121394642598836171401919529005523674633029490173467562879925201e-151 +/- 5.13e-452]",
"residual_radius": "1.0080645e-103"
},
{
"x": "33/32",
"remainder_bound": "[1.576741348903021771381666783594125264407433672553458923299929759629053742722436365265474701991233666197096853003143466918873730801447372371476197736361764072067470668662592439856534497455242262555260133506028479735697374652870736782639989121394642598836171401919529005523674633029490173467562879925201e-151 +/- 5.13e-452]",
"residual_radius": "1.0080645e-103"
},
{
"x": "7/8",
"remainder_bound": "[1.122078506353766069279033589711148718394334974285588472025496941071338343936392195762308087779961589091927673500601572231581238539525650034927431959796334503372138391876539869380329556796433670180184500558035714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714e-90 +/- 4.43e-391]",
"residual_radius": "1.1220785e-90"
},
{
"x": "9/8",
"remainder_bound": "[1.122078506353766069279033589711148718394334974285588472025496941071338343936392195762308087779961589091927673500601572231581238539525650034927431959796334503372138391876539869380329556796433670180184500558035714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714e-90 +/- 4.43e-391]",
"residual_radius": "1.1220785e-90"
},
{
"x": "3/4",
"remainder_bound": "[3.318941481525942243810167495349399594981467823317955804320595527887839378152204501964770572333713929043715514429398657133181889851888020833333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333e-60 +/- 4.89e-361]",
"residual_radius": "3.3189415e-60"
},
{
"x": "5/4",
"remainder_bound": "[3.318941481525942243810167495349399594981467823317955804320595527887839378152204501964770572333713929043715514429398657133181889851888020833333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333e-60 +/- 4.89e-361]",
"residual_radius": "3.3189415e-60"
}
],
"published_ingredient_checks": {
"bernoulli_T13": 101,
"even_zeta_T14": 20,
"cotangent_T639": 31
},
"skill_manifest": "../20261109T150707Z-build-skills/manifest.json",
"skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"all_passed": true
},
{
"stage": "stored_contour_comparison",
"entries": 101,
"all_passed": true
}
]
},
"submission": {
"method": "full document including the already-checked generated values",
"result": {
"tid": "T692",
"url": "Taylor_coefficients_of_the_Bettin_Conrey_reciprocity_function",
"revision": "160a27af45660d9a85a9fd451f01a479aaba4a0175dd3b098bdb7ced9da1ba15",
"unchanged": false,
"merged": false,
"reviewed": false
},
"note": "The empty-draft prose update endpoint refused the document. No source changes, replacement draft or placeholder values were used."
}
}