back to table · edit · history · where entries came from · files · download
17332 bytes, as of the version from 2026-09-27 14:34 (current). Recorded here, not run.
{
"table": "T438",
"baseline_sha256": "949c729a5c39361ad91a23b586cab855731c11c023656fdbb4deb49eecee0eec",
"candidate_sha256": "4378e5ff80a0f35f55f4c04bb8de48725baafa224d2e3d98c6ec9159a560ec5d",
"proof": {
"generator_sha256": "013523e7e8fe44b5eb5c069d3b38b0ec81fc27063d17cb95ac554eb1c6953b14",
"entries_sha256": "51ab450fa3b521c2889c7c266114da2771c9930136b25fe622bc050582ca3314",
"all_entries_checked": true,
"independent_checks": [
{
"method": "Independent Taylor ODE shooting and variational-identity normalization",
"files": [
"ode-controls.json",
"ode-status.json"
],
"branch_count": 8,
"entries_checked": 104,
"nonexact_entries_checked": 92,
"analytic_control_runs": 10,
"maximum_difference_in_output_units": "0.493471147234859469522178306574",
"maximum_profile_difference_in_output_units": "1.42461236212960445264173127939E-26",
"case_summaries": [
{
"n": 1,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "-10.605368138792706072948333110964396468214830451492137108359514712248634640370068336023276701422028158089580430675792732653140381236317222048",
"boundary": "neumann",
"last_newton_correction": "-1.68975763165568157022842e-135",
"normalization_integral": "144.1497160496211354874168910547759151037",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "-10.605368138792706072948333110964396468214830451492137108359514712248634640370068336023276701422028158089580430675792732653140381236317246327566476780478410147787218287624",
"boundary": "neumann",
"last_newton_correction": "-1.164703007434097714753347e-170",
"normalization_integral": "144.1497160496211354874168910547759151037",
"iterations": 5
}
],
"elapsed_seconds": 4.258675187011249
},
{
"n": 2,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "-0.38936177018206776979566381842751644188736086971400946990907968880920057521045104901715636745170492780489428414027158396787967151487454774124",
"boundary": "dirichlet",
"last_newton_correction": "-5.90544911283831383479393e-130",
"normalization_integral": "5.422004128320336799034317162875174106796",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "-0.38936177018206776979566381842751644188736086971400946990907968880920057521045104901715636745170492780489428414027158396787967151428395689663528958986832765402785390205446",
"boundary": "dirichlet",
"last_newton_correction": "1.331500701213520436947998e-170",
"normalization_integral": "5.422004128320336799034317162875174106796",
"iterations": 5
}
],
"elapsed_seconds": 4.259605239029042
},
{
"n": 3,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "8.7099143576051738995026829712818969380280266532237120869480152330465161452340691318459075388128456093768987809534960551101363281579851424292",
"boundary": "neumann",
"last_newton_correction": "-1.480903808625121467682142e-127",
"normalization_integral": "0.5821204704604989159803694178881137963237",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "8.7099143576051738995026829712818969380280266532237120869480152330465161452340691318459075388128456093768987809534960551101363283060753343082252202905629602293746432271621",
"boundary": "neumann",
"last_newton_correction": "-4.253571800933739322735022e-171",
"normalization_integral": "0.5821204704604989159803694178881137963237",
"iterations": 5
}
],
"elapsed_seconds": 4.322587333037518
},
{
"n": 4,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "17.18252777078917734143156198357782353425625412103507458703889632948600056497274813960724033336510671637314709673526721526151036378453477223",
"boundary": "dirichlet",
"last_newton_correction": "-1.154924255427209342352358e-125",
"normalization_integral": "0.136021346832896467403160627981720560272",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "17.182527770789177341431561983577823534256254121035074587038896329486000564972748139607240333365106716373147096735267215261510375333777697303418729559776610817180050521205",
"boundary": "dirichlet",
"last_newton_correction": "2.362506898946770470629042e-170",
"normalization_integral": "0.136021346832896467403160627981720560272",
"iterations": 5
}
],
"elapsed_seconds": 5.702140167937614
},
{
"n": 5,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "26.220999472655604969471320248769667100022174440265101523105560742592134991324739969996655411410026475824860030152980382227982229965512520386",
"boundary": "neumann",
"last_newton_correction": "-3.810622134255225504206368e-131",
"normalization_integral": "0.05430576549551882620806893616643409927229",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "26.22099947265560496947132024876966710002217444026510152310556074259213499132473996999665541141002647582486003015298038222798222996554979100436525882679126993571499994793",
"boundary": "neumann",
"last_newton_correction": "1.08248966485864770112565e-170",
"normalization_integral": "0.05430576549551882620806893616643409927229",
"iterations": 5
}
],
"elapsed_seconds": 4.843881602049805
},
{
"n": 6,
"q": "8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "36.917213090343370654570542619488543178565975883229034860299772624890629622627524479938839883003126536414923005222266874326201824217446779624",
"boundary": "dirichlet",
"last_newton_correction": "-2.310052606411651757307823e-133",
"normalization_integral": "0.03002920580331235990023339644833616789348",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "36.917213090343370654570542619488543178565975883229034860299772624890629622627524479938839883003126536414923005222266874326201824217450161000578240744798631766278731726362",
"boundary": "dirichlet",
"last_newton_correction": "-1.651584821227995317880762e-170",
"normalization_integral": "0.03002920580331235990023339644833616789348",
"iterations": 5
}
],
"elapsed_seconds": 4.367457565967925
},
{
"n": 1,
"q": "1/8",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "0.87307722484013590962925547081020568689611015381042087521936547050973575310525405517673177393663481254850692785179295274860985715228254586168",
"boundary": "neumann",
"last_newton_correction": "-2.546389432149951551122787e-133",
"normalization_integral": "0.8627161061195806170606880995825473137451",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "0.87307722484013590962925547081020568689611015381042087521936547050973575310525405517673177393663481254850692785179295274860985715228280050061666662861689652364736901540542",
"boundary": "neumann",
"last_newton_correction": "1.35651579037199876197856e-171",
"normalization_integral": "0.8627161061195806170606880995825473137451",
"iterations": 5
}
],
"elapsed_seconds": 4.207686120993458
},
{
"n": 4,
"q": "1",
"entries_checked": 13,
"profiles": [
{
"profile": [
140,
100,
10
],
"eigenvalue": "16.032970081405794409245725214331177933798465766479726171639387515656287843614985344898639576423918963746346647223020954144324163589309030453",
"boundary": "dirichlet",
"last_newton_correction": "-8.789685185508857028314085e-129",
"normalization_integral": "0.05283522384853663947161950000784420428195",
"iterations": 4
},
{
"profile": [
170,
130,
14
],
"eigenvalue": "16.032970081405794409245725214331177933798465766479726171639387515656287843614985344898639576423918963746346647223020954144324163598098715638764987912733822756550620036904",
"boundary": "dirichlet",
"last_newton_correction": "-1.309555273021378795746266e-170",
"normalization_integral": "0.05283522384853663947161950000784420428195",
"iterations": 5
}
],
"elapsed_seconds": 4.67179115395993
}
]
}
],
"evidence_sha256": {
"attachment-checks/group-00.json": "809095886dac0c77d81dba9685ae565a2e256149b0a4cf8e17c13abdd8ce69f5",
"attachment-checks/group-01.json": "14cb208296a59b2a14397267b1390f9fb5ead4ce83855ff540e0cf451bbbc1ab",
"attachment-checks/group-02.json": "d31f5839d812cf710a9d2ae34058a8b4df90b1bf7703a7fbcc67d618e43339a7",
"attachment-checks/group-03.json": "6b2418802c88aed79346eff1cc907f2ad50ca15b1a4e7891a4c46f721e979c53",
"attachment-checks/group-04.json": "38a67839ef1d86532717348f621669e3cd2b1541db6436340f3826675b9c8114",
"attachment-checks/group-05.json": "7a48e7f7664b8b1340220ce94197d8a4ba60d677d4751eb1362cc43253d9ab5f",
"attachment-checks/group-06.json": "a2ecd9c6efb990eb114460d2b45bbb27bef60ece270a814f1eaab71a557e64fa",
"attachment-checks/group-07.json": "97b88d7933fa6c46145dc4396548d52d6496f117cf4705946c547f2e6d9267f4",
"attachment-checks/group-08.json": "cef1a863156ecc1ce5c05a8a4ad171dbb9139acd18ec26fca8611faed3e87004",
"attachment-checks/group-09.json": "9c2164d47728783138a677f598722f99a0fc2a66c46dd0e932766cec4e5f2c2d",
"attachment-checks/group-10.json": "49d23bc64d8ceeadf29d20fc25b27859b1fb1d0c829641214c34ff263b5fce14",
"attachment-checks/group-11.json": "41f623e3c7f083da155bd8c498695eb6ca4e7b51810960665f7cecb9d095d12b",
"attachment-checks/group-12.json": "fcf948d6afa52c83b89d5d2de5580db8455d3860c91a2633522265aadd9a1a00",
"attachment-checks/group-13.json": "1dfb9ac5f76b0484489b24931f5007cadce53e89d51e43bda6713ca2c56a6f6b",
"attachment-checks/group-14.json": "57c68236de21b342ddded79d0fab18e91f2d72a636cbd191aaf3de6ce08c3c3d",
"attachment-checks/group-15.json": "fe4e35e5b34d25b6b7a63a1320a7b2e284c907d36ab2f2ce68361d6236f1ebc2",
"attachment-checks/group-16.json": "5c953150b59bb56a01457078a263a6140f0e75be08fec7716533db5ce1c93d2d",
"attachment-checks/group-17.json": "31ec39915f00af86bcff9970fbcad33d2afacde1fcfec472e5109ba758fb9a7e",
"attachment-checks/group-18.json": "0cc2c7f570fe92e2426a9083ba236c564c9220450f3ae1c4bff0dec6dd02cdde",
"attachment-checks/group-19.json": "98068a8005afae77008d8ba04aa346e146ff6fc760ab4eb3b2092254865431f6",
"attachment-checks/group-20.json": "4da2442aae3c49f93dede188a34d02a03c7e374ce565e1486d954391e96d3dfc",
"attachment-checks/group-21.json": "44b2ec46cda0ca2d2414e07229116052b835f1fc34f2777261a147422547a5f7",
"attachment-checks/group-22.json": "b2ad6b31db14404805e36e0ff5018728d9b61a4f3b45dc52f7c7d6996b4bbc59",
"attachment-checks/group-23.json": "c6ef7c28c34ccd9c202cdae982154fc4bb43b5dfa5f0d6752cbb1bca6ead8403",
"attachment-checks/group-24.json": "1a24bba935e6cd23aaac3afd7410538f0ce34017b8b5f71a5a4a197596166ba9",
"attachment-checks/group-25.json": "8f6f7ad855c6e0e931ffbae958775eb95dbb394e8c93d1cd3f20242ffe40b88e",
"attachment-checks/group-26.json": "a8e18de4c63ff6af898b8796fa2e33b959b2c2243e21421c49d2f90c2a8cf05a",
"attachment-checks/group-27.json": "9d3dfc40d8044c35bbc56462af001d5dd9ba3987ac3fdc782a572cd06cb07b94",
"attachment-checks/group-28.json": "2444f9d54b9ca21df286e35bc33cc2f606a6021290d00503ae694a357b43fbfd",
"attachment-checks/group-29.json": "984ae827cff1b3c7e7a8393efa083c01c67e484dd67f6130e6d792345df2b3f5",
"ode/case-00.json": "22bcd19d7e90132897cddcafee8817f581d9341255d7779b254472a0ee0d1beb",
"ode/case-01.json": "cf0241b31480aa63920d379286ce9f4ba373fe48bd53a34da9daa4a1f946c4f0",
"ode/case-02.json": "30a1d2f40b677db533e95e055227e508b7b392a62b9a97fe756d2cf67302c4e1",
"ode/case-03.json": "56124b9052bd3e98abe33668cbb2d101f389d3465c0c02ab6bf31081507ec4b0",
"ode/case-04.json": "9738b878bd4b659a5c3e097b7fe5724004e03116f9b19586551b2744553a65a7",
"ode/case-05.json": "c066ed6c915f1aace90b1035ebe7e8669cc08b1c96ac0c0f229b8cfe3505a728",
"ode/case-06.json": "218f14e1cec7f3158d0dbf2250338b19e0fde35dfc21cfb6f5ab30b5dfca00fd",
"ode/case-07.json": "e437d0a1b8d9e2261633b32c8e84964b4b3bc7f555c61a7de3fd6eca673e75be",
"attachment-check-status.json": "1fd570962fd41f22eee6f9a4eb3e24942b314e6ffff6df73ec04436727e8e282",
"ode-status.json": "2448c96e0e8753ebf8592956e3d91cffc8f51c2ca5924f8137c7be469f63531d",
"ode-controls.json": "3a10d1033beaa62853dfb26ec8e4e8af08fb538fd6d1cee18d6ab6db350f2fde",
"attachment-manifest.json": "4ae1abfd373bab5f1d34a3c8b9d90c299d771a45116fe03f94ead23f61b8c04e"
},
"limitations": "Heuristic agreement-checked, not proven. Finite Fourier sections have no certified infinite-operator tail bound. Independent ODE Taylor shooting and its normalization have no rigorous remainder enclosure. ODE checks cover selected branches and all stored angles on those branches, not every coupling/order. SciPy checks only branch and sign conventions at double precision. No website publication or independent approval is implied.",
"baseline_sha256": "cc5be216e906e5972d039eb29a0fab0beb54a5a3aff208458a6dc3440feb0b10",
"status": "candidate_only_requires_independent_review",
"support_files": {},
"runtime_dependencies": [
"numberdb",
"mpmath"
],
"reproduction_scope": "Self-contained attached generator produced every row using both settings.",
"anonymous_api_readable_at_assembly": true
},
"provenance": {
"pipeline": "precision-repair",
"engine": "codex-cli",
"model": "gpt-5.2",
"stage": "independently-checked-refinement"
},
"batch": "mathieu-20260927",
"authority": "Website database and revisions; cloud files are supporting evidence."
}