back to table · edit · history · where entries came from · files · download
12286 bytes, as of the version from 2026-10-27 16:59 (current). Recorded here, not run.
{
"table": "T553",
"scope": "Presentation repair verification; no new or changed values.",
"policy": {
"manifest": "agents/runs/20261027T165135Z-repair-skills/manifest.json",
"sha256": {
"local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"canonical_snapshot_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"sources": [
{
"url": "https://dlmf.nist.gov/19.8#i",
"locators": "19.8.1, symmetry paragraph, 19.8.4 and 19.8.5; modulus converted to parameter m=k^2"
},
{
"url": "https://dlmf.nist.gov/19.2#E8",
"locators": "19.2.4 and 19.2.8"
}
],
"argument_uncertainty": "Exact integer/rational inputs; Arb encloses sqrt(2), Gamma arguments and subsequent arithmetic throughout.",
"control": "AGM(1,1)=1 passed before the square check.",
"agm_t51_error_ulps_upper": "[0.421222856252334109630979626658308710596997136359833842511763268142890603897067686016166500482811887218977133110220911556672394753900755886867577005169258786995900769819757051820101642687468787903478487203926438 +/- 1.97e-211]",
"square_capacity_error_ulps_upper": "[0.290678503524120100867247890076347503926590605267427125603206859989737515214615741071906677147623112446166440566273338628892193554733937675091390906331259249787754635545529122535278244412444889639513810989055229 +/- 1.27e-211]",
"elliptic_k_t25_error_ulps_upper": "[0.277771871037459802372491259744655273917533869714367985809471637411313296651990823927642033466719466312352317297806521326593738239593125501194502770352708846538982724076581633009899512940956300740994723559995185 +/- 5.91e-211]",
"agm_enclosure_width": "[5.50609967800506785235469214383452703372398448398551462022220797580967081078402820099480078564407940496710424193082135993887059497361307112882061150596806596168576081304331348270301087262410052757205983746774348e-210 +/- 2.34e-420]",
"generator_and_program_enumeration": "Both reproduce exactly n=3,...,30.",
"rows": [
{
"n": 3,
"decimal_error_ulps_upper": "[0.376372911915855269970676089709877329278746709016017603494263524307069272501491677508911442602219639902861965083974394815979433753086679776276557101373614595867242548418994411650662557754811370109599201874404297 +/- 5.81e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 4,
"decimal_error_ulps_upper": "[0.290678503524120100867247890076347503938244239647885302694746179135204639755352495560870099870846237438875182204415035000874618559211788299507324729652564299658834099399086697004506260138640344873039295994701546 +/- 3.93e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 5,
"decimal_error_ulps_upper": "[0.475423133020044004434604503115577764561172722377402884201344350061171310848685688718455612282066009352078727486309277345629791391376116208695883442270869919962276633502672471711434261774241270795452051253091044 +/- 5.76e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 6,
"decimal_error_ulps_upper": "[0.420921386192613831924758695887519201731628700385272585122972169867111501751857147698031610240773170906347971038532604371103296675749693058479972666122786707934797959966843187224277075142403619026985278615455335 +/- 4.41e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 7,
"decimal_error_ulps_upper": "[0.1758408612741176304100659788448201456078542564074612903292515870259836673004273257095250276022123387871293011455359076697376837519774403219405733350630053030121026144529984542867947702643811854489731768134230451 +/- 7.40e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 8,
"decimal_error_ulps_upper": "[0.356069778889637507329920185451580819770847580408268246825282255618739018505458523283359248323206743349099801421292282169336476164085593956635563023905209771773850418661948749160368318666033094957705651960315031 +/- 5.55e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 9,
"decimal_error_ulps_upper": "[0.0568445740173164356081347496789677103320987126937338401189416658221087811919819191299196425766282855674061410146612956482879394163014985121860220240054835057292805563994973466488507936246012896334626865630866428 +/- 1.42e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 10,
"decimal_error_ulps_upper": "[0.0584408106363772222716303288121143240904200414511529723893725359641394944968147051771442068939139520253946670827589397221039934855940583339432069881206081065239212639439817781388243824592847359050852340267456668 +/- 2.57e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 11,
"decimal_error_ulps_upper": "[0.2490744701390825021563258690089023706970679884288755150719617061742493337185830510043725885086658872903699225267463262595065312753852773900720891577978951234679671285878958898403719024963759263903080098996127959 +/- 5.37e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 12,
"decimal_error_ulps_upper": "[0.420457690723135269566037398341390280359138896833996344259302639559374204462177854441251270707121108875822022985731359797689037576953459541504290624081935540666542726771159344233007549792400885270356136013877191 +/- 4.73e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 13,
"decimal_error_ulps_upper": "[0.0314140231162786513244769877322138138266281165775961389596831509528842328621729000567753257570362700783800788841474178276641716385138712783405225527242316997649876249340892516922388952517508632396105410551191805 +/- 2.10e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 14,
"decimal_error_ulps_upper": "[0.484800774746041885685012705885515042376623508226975044682213126021326410995861906767212856661612774634878203214220788006872868743763150646989193113000115611986839559165882154584092666072962797145613347806583727 +/- 5.39e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 15,
"decimal_error_ulps_upper": "[0.0784973212670356984015791302127011894020283212988034088818881353374081718498557655923207566336507369463298616747129391325479482035213451303686390675132222771958571815013403866475898274812800135698537921303624159 +/- 3.23e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 16,
"decimal_error_ulps_upper": "[0.0345182017013967290764724110724432452588004874532593233261884575138012733582583805516844722792829613405616274497689853581906525476964972465392356641719003554892305523997169843673589044533581902124054703894193160 +/- 5.28e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 17,
"decimal_error_ulps_upper": "[0.302950759100091618051875447158766044438128518590445141081040707556917345169585349319557871027209779701613805011296796407615719941619329777308088978370135000422124882091098456196942366150708920116712463602840682 +/- 2.64e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 18,
"decimal_error_ulps_upper": "[0.271879071411031674936497456456494796177856241545059266887463046856499957853403229609808298787424199941729865437151436673590338177450885048966960428834925362491251081346158507205212488595629770481685795577704285 +/- 3.55e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 19,
"decimal_error_ulps_upper": "[0.2068849040105197183002301520966136652023323235772687041051488831113436205205964884695600033088932762903885200973744146100106992256072487168138578107512303594544291291877597734730311357156244599524429438197337678 +/- 9.16e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 20,
"decimal_error_ulps_upper": "[0.0989788350769926755501249754000246935860756449983875632937406618373983912947096298363528932815296860706234793504358827926046019929148415004133958833060755525506575184984779473089794834792130510408096384182492046 +/- 6.41e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 21,
"decimal_error_ulps_upper": "[0.1196420618125736795182495941167244241750446412567862833162933551009431897428056968188991246549058877935246752222725342588088777013843643745598207824082247254923707712371949126416426388966673806362690860720551774 +/- 3.60e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 22,
"decimal_error_ulps_upper": "[0.1252835317076055493214864632273318961556835688374121948435747988119438489815983641988439490335157561148392208668374151943265138640927556211671711095512406181526922571643526039491674201392673146394754984029311483 +/- 6.81e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 23,
"decimal_error_ulps_upper": "[0.378437769669929936884869583336843490846147578095153284243945165427488713349343166256416156181952580834846083540338037561030832400402229240789342948126198631906977796918207153019217215295089551366921011989171272 +/- 4.44e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 24,
"decimal_error_ulps_upper": "[0.251265410685922573897918723345180618631224174612786841418862306192449429827104814982945949434488015282198493194725270573132903094207917186342587440968352843598176688417004667903014007543002489566455499081730111 +/- 3.57e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 25,
"decimal_error_ulps_upper": "[0.428699168205156623118467107142799954659432122039310996932938703851675153186225661014437715890629521744155140867465855999707091695868586382348385022734328647366288018386150118706124751503637694690805707967003002 +/- 2.05e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 26,
"decimal_error_ulps_upper": "[0.2377555380227388391272746576527202110317672445376460045016389840092202598290232417483537390633400008216771647566544383134118906078815906317185616908506343721156990019564625481443756578586664421900205491719903684 +/- 9.33e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 27,
"decimal_error_ulps_upper": "[0.276187632664155403519335438522647002614898695188310940957687039746158924200354908292403892136115083818050438400237039166357527056025138880929015392945254056787907921461690390001796059503879201055790607598647128 +/- 5.60e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 28,
"decimal_error_ulps_upper": "[0.383627708439668021490841330201449750727537300261453099420349436460956684529653973916953174813585650011094303249112461455316719322315220918505511243640649511876408130376848060765940344900779180661282577833074771 +/- 4.86e-211]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 29,
"decimal_error_ulps_upper": "[0.398641097296119467276822052772669815612794514438597614814711645337976988406601355083953189831341646422924656567369419596754828993117138351311621703705705299873479370541641812084654799935747914785473437063274226 +/- 9.83e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
},
{
"n": 30,
"decimal_error_ulps_upper": "[0.1154484872789998439693921621335166600731872947957147839151131635313732323427288242281312906104587666118258933565980774205143376603384981078563362686988497454918261508952503990624221448716882963478354699289626125 +/- 4.19e-212]",
"gamma_identity": "pass",
"area_normalization": "pass"
}
],
"versions": {
"sage": "10.9",
"numberdb": "0.1.10"
}
}