back to table · edit · history · where entries came from · files · download
16525 bytes, as of the version from 2026-10-29 06:33 (current). Recorded here, not run.
{
"table": "T602",
"run": "20261029T062758Z",
"skill_manifest": "agents/runs/20261029T062758Z-repair-skills/manifest.json",
"skill_versions_read": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
}
],
"document_sha256": "859a0f03622c1ddb6777f98167ab96245e26d41c2518985d0e71e12fc98f27d6",
"generator_sha256": "d1e6625e5570466b91b5883d1b825ae6fe67f872d9e37b0c368792f61919ad84",
"scope": "Regression checks using the unchanged attached checker; not a fresh independent critique. No new values or argument choices.",
"enumeration_matches_all_38": true,
"printed_program": [
{
"normalization": "unit-length",
"printed": "0.07341026582832900937179089835065613159370491413834416715216232339707316312607345522854936307815067964",
"stored": "0.07341026582832900937179089835065613159370491413834416715216232339707316312607345522854936307815067964",
"exact_decimal_match": true
},
{
"normalization": "unit-area",
"printed": "0.0326267848125906708319070659336249473749799618392640742898499215098102947226993134349108280347336354",
"stored": "0.03262678481259067083190706593362494737497996183926407428984992150981029472269931343491082803473363540",
"exact_decimal_match": true
}
],
"regression": {
"table": "T602",
"skill_manifest": "agents/runs/20261029T055510Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"numberdb_version": "0.1.10",
"working_bits": 501,
"repeat_working_bits": 665,
"output_digits": 100,
"entries": 38,
"minimum_relative_accuracy_bits": 495,
"maximum_ball_radius": "1.3059853e-150",
"measure_raw": {
"entries": 38,
"longest": 170,
"longest_at": [
"equilateral-triangle",
"unit-length"
],
"block_kb": 8.7626953125
},
"spectral_checks": [
{
"domain": "rectangle-1-1",
"tail_upper": "4.85331149102669840254274984016410808200986766776754545497533695778616797612390591321011870186997652941424862733996753772478103793613412463939104276241200882824120087486692032127968029988880407545691668712787576e-9",
"cutoff": 256
},
{
"domain": "rectangle-4-3",
"tail_upper": "1.15041457565077295467679996211297376758752418791527003377193172332709166841455547572387998859140184400930337833243674968291106084412068139600380272886803172224976613330178852059962792293660541047867654806078661e-8",
"cutoff": 256
},
{
"domain": "rectangle-3-2",
"tail_upper": "1.63799262822151071085817807105538647767833033787154659105417622325283169194181824570841506188111707867730891172723904398211360030344526706579447693231405297953140529526758560843189210121247137546670938190646085e-8",
"cutoff": 256
},
{
"domain": "rectangle-5-3",
"tail_upper": "2.24690346806791592710312492600190188981938317952201178471080414712322591487217866352320310271758172658067066080554052672443566571117320585156992720482037445751907447910505570429614828698555744234116513293022526e-8",
"cutoff": 256
},
{
"domain": "rectangle-2-1",
"tail_upper": "3.88264919282135872203419987213128646560789413421403636398026956622893438089912473056809496149598122353139890187197403017982483034890729971151283420992960706259296069989353625702374423991104326036553334970230061e-8",
"cutoff": 256
},
{
"domain": "rectangle-5-2",
"tail_upper": "7.58329920472921625397304662525641887814041823088678977339896399654088746269360298939081047167183832720976348021869927769497037177520956974904850431626876379412687636697956300199950046857625636790143232364398895e-8",
"cutoff": 256
},
{
"domain": "rectangle-3-1",
"tail_upper": "1.31039410257720856868654245684430918214266427029723727284334097860226535355345459656673204950489366294184712938179123518569088024275621365263558154585124238362512423621406848674551368096997710037336750552516868e-7",
"cutoff": 256
},
{
"domain": "rectangle-4-1",
"tail_upper": "3.10611935425708697762735989770502917248631530737122909118421565298314750471929978445447596919678497882511912149757922414385986427912583976921026736794368565007436855991482900561899539192883460829242667976184049e-7",
"cutoff": 256
},
{
"domain": "rectangle-5-1",
"tail_upper": "6.06663936378337300317843730020513510251233458470943181871917119723270997015488239151264837733747066176781078417495942215597629742016765579923880345301501103530150109358365040159960037486100509432114585891519116e-7",
"cutoff": 256
},
{
"domain": "rectangle-6-1",
"tail_upper": "1.04831528206176685494923396547544734571413141623778981827467278288181228284276367725338563960391493035347770350543298814855270419420497092210846523668099390690009938897125478939641094477598168029869400442013494e-6",
"cutoff": 256
},
{
"domain": "right-isosceles-triangle",
"tail_upper": "3.63628275276813633549673993621651059678688521692137045356335020850688710509831030122854091575578938252041114439102438428174826694762979854385733004410143921084521658288775808478313830369328925245346407107695026e-9",
"cutoff": 256
}
],
"sage_version": "10.9",
"maximum_correction_tail_bound": "2.00488482921821145722608588751308498784949508561467607978182085177821035831858362038158894121539378612286907598512705114402664601766287534399540003198574307429171438450284534185312488165765862077783138050406631e-231",
"measure_written": {
"entries": 38,
"longest": 104,
"longest_at": [
"equilateral-triangle",
"unit-length"
],
"block_kb": 6.1708984375
},
"oeis_checks": [
{
"sequence": "A180314",
"decimal_places": 91,
"scale": "J=4T"
},
{
"sequence": "A180310",
"decimal_places": 105,
"scale": "J=4T"
},
{
"sequence": "A180311",
"decimal_places": 105,
"scale": "J=4T"
}
],
"stored_readback": "all 38 intervals, identities and spectral checks passed",
"elapsed_seconds": 6.777,
"checks_passed": [
"all finite and positive",
"150/200 working decimal-digit agreement",
"all written intervals contain higher-precision enclosures",
"all 19 scale conversions",
"Saint-Venant bound on all nondisk domains",
"square convention equality",
"exact Poisson polynomial and boundary checks",
"sector sine-series telescoping",
"all 10 rectangle axis exchanges",
"11 independent spectral enclosures",
"3 OEIS engineering constants"
],
"values": [
{
"params": {
"domain": "disk",
"normalization": "unit-length"
},
"number": "0.3926990816987241548078304229099378605246461749218882276218680740384770507857761248285043531677646335"
},
{
"params": {
"domain": "disk",
"normalization": "unit-area"
},
"number": "0.03978873577297383394222094084312859050861491143511411218691683601472419940855663377252845069156327149"
},
{
"params": {
"domain": "equilateral-triangle",
"normalization": "unit-length"
},
"number": "0.005412658773652741542273269817205851146696266418157439462674396810787290677840000115878581833616401799"
},
{
"params": {
"domain": "equilateral-triangle",
"normalization": "unit-area"
},
"number": "0.02886751345948128822545743902509787278238008756350634380093011632419888361514666728468576977928747626"
},
{
"params": {
"domain": "right-isosceles-triangle",
"normalization": "unit-length"
},
"number": "0.006522412927878237769549483982233887849768386959143599648177129438447688447536557365237229384234212781"
},
{
"params": {
"domain": "right-isosceles-triangle",
"normalization": "unit-area"
},
"number": "0.02608965171151295107819793592893555139907354783657439859270851775379075379014622946094891753693685112"
},
{
"params": {
"domain": "half-disk",
"normalization": "unit-length"
},
"number": "0.07438919551493348327006289616490913645572688344097533012653338592068345551732305464827674763525846159"
},
{
"params": {
"domain": "half-disk",
"normalization": "unit-area"
},
"number": "0.03014880535909737903119555261825960766220630115054414180934045519656055045624457693721214352799100581"
},
{
"params": {
"domain": "slit-disk",
"normalization": "unit-length"
},
"number": "0.2195139212929315602151852427176024338156580538777090819186967025342099322054134582254929631666294058"
},
{
"params": {
"domain": "slit-disk",
"normalization": "unit-area"
},
"number": "0.02224141033137079822324712135103284574067278083026719906791061031285451118245461947710060838834339625"
},
{
"params": {
"domain": "rectangle-1-1",
"normalization": "unit-length"
},
"number": "0.03514425373878842889711718268443277881689827970752306701848953722821897821913010930142943728243245389"
},
{
"params": {
"domain": "rectangle-1-1",
"normalization": "unit-area"
},
"number": "0.03514425373878842889711718268443277881689827970752306701848953722821897821913010930142943728243245389"
},
{
"params": {
"domain": "rectangle-4-3",
"normalization": "unit-length"
},
"number": "0.06015242557729066455729721838475935157781642221442221008448696685014799122986419275430988587895112203"
},
{
"params": {
"domain": "rectangle-4-3",
"normalization": "unit-area"
},
"number": "0.03383573938722599881347968534142713526252173749561249317252391885320824506679860842429931080691000614"
},
{
"params": {
"domain": "rectangle-3-2",
"normalization": "unit-length"
},
"number": "0.07341026582832900937179089835065613159370491413834416715216232339707316312607345522854936307815067964"
},
{
"params": {
"domain": "rectangle-3-2",
"normalization": "unit-area"
},
"number": "0.03262678481259067083190706593362494737497996183926407428984992150981029472269931343491082803473363540"
},
{
"params": {
"domain": "rectangle-5-3",
"normalization": "unit-length"
},
"number": "0.08692167144116837407690913438063403947445054161330713629094946582643376048466065262934301981861783055"
},
{
"params": {
"domain": "rectangle-5-3",
"normalization": "unit-area"
},
"number": "0.03129180171882061466768728837702825421080219498079056906474180769751615377447783494656348713470241900"
},
{
"params": {
"domain": "rectangle-2-1",
"normalization": "unit-length"
},
"number": "0.1143408385597853825128004797625789736895041898896650940262085228993049658853478879730270357749487687"
},
{
"params": {
"domain": "rectangle-2-1",
"normalization": "unit-area"
},
"number": "0.02858520963994634562820011994064474342237604747241627350655213072482624147133697199325675894373719217"
},
{
"params": {
"domain": "rectangle-5-2",
"normalization": "unit-length"
},
"number": "0.1558531716926164872226462767339573658538511721131313144096922917633579408578968163918488235361447291"
},
{
"params": {
"domain": "rectangle-5-2",
"normalization": "unit-area"
},
"number": "0.02493650747081863795562340427743317853661618753810101030555076668213727053726349062269581176578315666"
},
{
"params": {
"domain": "rectangle-3-1",
"normalization": "unit-length"
},
"number": "0.1974876982511250798152918368445814328393239640232965557971735253745416346889820708769352443662309356"
},
{
"params": {
"domain": "rectangle-3-1",
"normalization": "unit-area"
},
"number": "0.02194307758345834220169909298273127031548044044703295064413039170828240385433134120854836048513677062"
},
{
"params": {
"domain": "rectangle-4-1",
"normalization": "unit-length"
},
"number": "0.2808129583076773784824632411598978785739065260602522565068463692187538634353764600309945603867151386"
},
{
"params": {
"domain": "rectangle-4-1",
"normalization": "unit-area"
},
"number": "0.01755080989422983615515395257249361741086915787876576603167789807617211646471102875193716002416969616"
},
{
"params": {
"domain": "rectangle-5-1",
"normalization": "unit-length"
},
"number": "0.3641459427349860857969735336572619150436447717510009827382248635912373122246232036309989766410197316"
},
{
"params": {
"domain": "rectangle-5-1",
"normalization": "unit-area"
},
"number": "0.01456583770939944343187894134629047660174579087004003930952899454364949248898492814523995906564078926"
},
{
"params": {
"domain": "rectangle-6-1",
"normalization": "unit-length"
},
"number": "0.4474792609906705066558127072414405679171593222649354655718340353344281854473215790466193721724027055"
},
{
"params": {
"domain": "rectangle-6-1",
"normalization": "unit-area"
},
"number": "0.01242997947196306962932813075670668244214331450735931848810650098151189404020337719573942700478896404"
},
{
"params": {
"domain": "ellipse-3-2",
"normalization": "unit-length"
},
"number": "0.8156057850665809369085708783514094026281112863762293958300336922337600285550734900284321181176650080"
},
{
"params": {
"domain": "ellipse-3-2",
"normalization": "unit-area"
},
"number": "0.03672806379043738517743471462442639123872145670933610355715400247513003022328304655925703140759686599"
},
{
"params": {
"domain": "ellipse-2-1",
"normalization": "unit-length"
},
"number": "1.256637061435917295385057353311801153678867759750042328389977836923126562514483599451213930136846827"
},
{
"params": {
"domain": "ellipse-2-1",
"normalization": "unit-area"
},
"number": "0.03183098861837906715377675267450287240689192914809128974953346881177935952684530701802276055325061719"
},
{
"params": {
"domain": "ellipse-3-1",
"normalization": "unit-length"
},
"number": "2.120575041173110435962284283713664446833089344578196429158087599807776074243191074073923507105929021"
},
{
"params": {
"domain": "ellipse-3-1",
"normalization": "unit-area"
},
"number": "0.02387324146378430036533256450587715430516894686106846731215010160883451964513398026351707041493796289"
},
{
"params": {
"domain": "ellipse-4-1",
"normalization": "unit-length"
},
"number": "2.956793085731570106788370243086590949832630022941276066799947851583827205916431998708738659145521946"
},
{
"params": {
"domain": "ellipse-4-1",
"normalization": "unit-area"
},
"number": "0.01872411095198768656104514863206051318052466420475958220560792283045844678049723942236632973720624541"
}
]
}
}