back to table · edit · history · where entries came from · files · download
9941 bytes, as of the version from 2026-10-28 01:15. Recorded here, not run.
{
"table": "T567",
"stage": "build",
"run": "20261028T010346Z",
"skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261028T010346Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
],
"offline_checks": {
"exactness": "passed",
"saddle_full_polynomials": 13,
"published_controls_k": "0..3",
"reciprocal_stirling_endpoints": 13,
"recurrence_transitions": 12,
"degree_parity_valuation_origin": 13,
"gaussian_moment_control": [
1,
0,
1,
0,
3,
0,
15
],
"deliberate_corruption_detected": true,
"measure": {
"entries": 13,
"longest": 706,
"longest_at": 12,
"block_kb": 3.798828125
},
"values": {
"0": "1",
"1": "-5/24*p^3 + 1/8*p",
"2": "385/1152*p^6 - 77/192*p^4 + 9/128*p^2",
"3": "-85085/82944*p^9 + 17017/9216*p^7 - 4563/5120*p^5 + 75/1024*p^3",
"4": "37182145/7962624*p^12 - 7436429/663552*p^10 + 144001/16384*p^8 - 96833/40960*p^6 + 3675/32768*p^4",
"5": "-5391411025/191102976*p^15 + 5391411025/63700992*p^13 - 108313205/1179648*p^11 + 250881631/5898240*p^9 - 67608983/9175040*p^7 + 59535/262144*p^5",
"6": "5849680962125/27518828544*p^18 - 1169936192425/1528823808*p^16 + 4445922195/4194304*p^14 - 33010308331/47185920*p^12 + 1441372804469/6606028800*p^10 - 388895895/14680064*p^8 + 2401245/4194304*p^6",
"7": "-1267709431363375/660451885056*p^21 + 1774793203908725/220150628352*p^19 - 36927006432745/2717908992*p^17 + 10559432785187/905969664*p^15 - 1602251736839/301989888*p^13 + 1007390378503/838860800*p^11 - 25388505925/234881024*p^9 + 57972915/33554432*p^7",
"8": "2562040760785380875/126806761930752*p^24 - 512408152157076175/5283615080448*p^22 + 75358832548684685/391378894848*p^20 - 39803268297948155/195689447424*p^18 + 3542717254441859/28991029248*p^16 - 276439228010667/6710886400*p^14 + 667955999804539/93952409600*p^12 - 928090660435/1879048192*p^10 + 13043905875/2147483648*p^8",
"9": "-6653619855759634132375/27390260577042432*p^27 + 1330723971151926826475/1014454095446016*p^25 - 3128960418491082175/1043677052928*p^23 + 35348759075759093965/9393093476352*p^21 - 17618708259302571707/6262062317568*p^19 + 817138105244771959/644245094400*p^17 - 3739063570455884033/11274289152000*p^15 + 1359491937582325/30064771072*p^13 - 472414367256615/188978561024*p^11 + 418854310875/17179869184*p^9",
"10": "4318199286388002551911375/1314732507698036736*p^30 - 4318199286388002551911375/219122084616339456*p^28 + 91891691150784941691275/1803473947459584*p^26 - 16705838021516291703055/225434243432448*p^24 + 19941766574064397067317/300578991243264*p^22 - 5227733363217471800551/139156940390400*p^20 + 1232816120293110459821/92771293593600*p^18 - 35892416277828185849/12884901888000*p^16 + 45660648644355162105/148159191842816*p^14 - 20993386079260455/1511828488192*p^12 + 30241281245175/274877906944*p^10",
"11": "-1556514560957130010757145625/31553580184752881664*p^33 + 3424332034105686023665720375/10517860061584293888*p^31 - 365967912305800454531456575/389550372651270144*p^29 + 201734750392525792544487385/129850124217090048*p^27 - 11694306169843138084657687/7213895789838336*p^25 + 164293183874328160710877/148434069749760*p^23 - 23186185730591085896097833/46756731971174400*p^21 + 527174389121818780771231/3710851743744000*p^19 - 329641577686894230674187/13469017440256000*p^17 + 241770821762631191867/107752139522048*p^15 - 26416375998266454375/314460325543936*p^13 + 1212400457192925/2199023255552*p^11",
"12": "7404339766473067461171741738125/9087431093208829919232*p^36 - 1480867953294613492234348347625/252428641478023053312*p^34 + 38826657063629086145255937175/2077601987473440768*p^32 - 323782209780772997264458503055/9349208943630483456*p^30 + 171527591207538652048777279465/4155203974946881536*p^28 - 1058890883945614567899138703/32061759065948160*p^26 + 40295057240679430076066704447/2244323134616371200*p^24 - 12275126748382902959849354203/1870269278846976000*p^22 + 1440134927609056360249131941/923589767331840000*p^20 - 1247431715337149394208117/5541538603991040*p^18 + 4288535808487871046652577/246536895226445824*p^16 - 1383228778609739182725/2515682604351488*p^14 + 213786613951685775/70368744177664*p^12"
},
"mode": "offline",
"versions": {
"sage": "10.9",
"python": "3.12.3",
"numberdb": "0.1.10"
}
},
"precision": "Exact rational polynomials; no finite-digit or asymptotic error claim.",
"independent_method": "Full symbolic saddle expansion of DLMF 10.32.9; see independent-derivation.md.",
"source_sha256": {
"generate.py": "1b02ef79b479e34d7906f4fd09326c56ac8f076d472c39493b222a8780f857aa",
"checks.py": "4190d7aac389369a12989e2feb85335b4ac71976806f83fca92ca964c42d4971",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"argument-selection.md": "13ad7efe0bc0b53baa9604f4c39739dac8ac5fb96bc82c2a34436d21228c1f9d",
"independent-derivation.md": "24858fad265693a0d904e60f1eb3664293fe071ff605ddd22268cbfdc66ca759"
},
"limits": "This build is exact. Separate independent critique and argument-selection acceptance remain the controller's next stage.",
"program_check": "Standalone Programs snippet exactly reproduces k=0,...,12",
"readback_checks": {
"exactness": "passed",
"saddle_full_polynomials": 13,
"published_controls_k": "0..3",
"reciprocal_stirling_endpoints": 13,
"recurrence_transitions": 12,
"degree_parity_valuation_origin": 13,
"gaussian_moment_control": [
1,
0,
1,
0,
3,
0,
15
],
"deliberate_corruption_detected": true,
"measure": {
"entries": 13,
"longest": 706,
"longest_at": 12,
"block_kb": 3.798828125
},
"values": {
"0": "1",
"1": "-5/24*p^3 + 1/8*p",
"2": "385/1152*p^6 - 77/192*p^4 + 9/128*p^2",
"3": "-85085/82944*p^9 + 17017/9216*p^7 - 4563/5120*p^5 + 75/1024*p^3",
"4": "37182145/7962624*p^12 - 7436429/663552*p^10 + 144001/16384*p^8 - 96833/40960*p^6 + 3675/32768*p^4",
"5": "-5391411025/191102976*p^15 + 5391411025/63700992*p^13 - 108313205/1179648*p^11 + 250881631/5898240*p^9 - 67608983/9175040*p^7 + 59535/262144*p^5",
"6": "5849680962125/27518828544*p^18 - 1169936192425/1528823808*p^16 + 4445922195/4194304*p^14 - 33010308331/47185920*p^12 + 1441372804469/6606028800*p^10 - 388895895/14680064*p^8 + 2401245/4194304*p^6",
"7": "-1267709431363375/660451885056*p^21 + 1774793203908725/220150628352*p^19 - 36927006432745/2717908992*p^17 + 10559432785187/905969664*p^15 - 1602251736839/301989888*p^13 + 1007390378503/838860800*p^11 - 25388505925/234881024*p^9 + 57972915/33554432*p^7",
"8": "2562040760785380875/126806761930752*p^24 - 512408152157076175/5283615080448*p^22 + 75358832548684685/391378894848*p^20 - 39803268297948155/195689447424*p^18 + 3542717254441859/28991029248*p^16 - 276439228010667/6710886400*p^14 + 667955999804539/93952409600*p^12 - 928090660435/1879048192*p^10 + 13043905875/2147483648*p^8",
"9": "-6653619855759634132375/27390260577042432*p^27 + 1330723971151926826475/1014454095446016*p^25 - 3128960418491082175/1043677052928*p^23 + 35348759075759093965/9393093476352*p^21 - 17618708259302571707/6262062317568*p^19 + 817138105244771959/644245094400*p^17 - 3739063570455884033/11274289152000*p^15 + 1359491937582325/30064771072*p^13 - 472414367256615/188978561024*p^11 + 418854310875/17179869184*p^9",
"10": "4318199286388002551911375/1314732507698036736*p^30 - 4318199286388002551911375/219122084616339456*p^28 + 91891691150784941691275/1803473947459584*p^26 - 16705838021516291703055/225434243432448*p^24 + 19941766574064397067317/300578991243264*p^22 - 5227733363217471800551/139156940390400*p^20 + 1232816120293110459821/92771293593600*p^18 - 35892416277828185849/12884901888000*p^16 + 45660648644355162105/148159191842816*p^14 - 20993386079260455/1511828488192*p^12 + 30241281245175/274877906944*p^10",
"11": "-1556514560957130010757145625/31553580184752881664*p^33 + 3424332034105686023665720375/10517860061584293888*p^31 - 365967912305800454531456575/389550372651270144*p^29 + 201734750392525792544487385/129850124217090048*p^27 - 11694306169843138084657687/7213895789838336*p^25 + 164293183874328160710877/148434069749760*p^23 - 23186185730591085896097833/46756731971174400*p^21 + 527174389121818780771231/3710851743744000*p^19 - 329641577686894230674187/13469017440256000*p^17 + 241770821762631191867/107752139522048*p^15 - 26416375998266454375/314460325543936*p^13 + 1212400457192925/2199023255552*p^11",
"12": "7404339766473067461171741738125/9087431093208829919232*p^36 - 1480867953294613492234348347625/252428641478023053312*p^34 + 38826657063629086145255937175/2077601987473440768*p^32 - 323782209780772997264458503055/9349208943630483456*p^30 + 171527591207538652048777279465/4155203974946881536*p^28 - 1058890883945614567899138703/32061759065948160*p^26 + 40295057240679430076066704447/2244323134616371200*p^24 - 12275126748382902959849354203/1870269278846976000*p^22 + 1440134927609056360249131941/923589767331840000*p^20 - 1247431715337149394208117/5541538603991040*p^18 + 4288535808487871046652577/246536895226445824*p^16 - 1383228778609739182725/2515682604351488*p^14 + 213786613951685775/70368744177664*p^12"
},
"generator_verify": "<VerifyReport T567: 13/13 matched, 0 differing, 0 missing, 0 extra>",
"mode": "authenticated website readback"
},
"site_audit": {
"tid": "T567",
"title": "Debye polynomials $U_k(p)$",
"findings": [],
"clean": true
}
}