back to table · edit · history · where entries came from · files · download
2069 bytes, as of the version from 2026-10-30 06:50 (current). Recorded here, not run.
{
"table": "T616",
"skill_manifest": "agents/runs/20261030T032655Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
"sage": "10.9",
"python": "3.12.3",
"checks": {
"lane_emden_residual": "0",
"theta_at_center": "1",
"theta_prime_at_center": "0",
"theta_second_at_center": "-1/3",
"central_taylor": "-1/1307674368000*z^14 + 1/6227020800*z^12 - 1/39916800*z^10 + 1/362880*z^8 - 1/5040*z^6 + 1/120*z^4 - 1/6*z^2 + 1",
"mass_integral": "pi",
"moment_integral": "-6*pi + pi^3",
"closed_form": "2/3-4/pi^2",
"arb_bits": 512,
"arb_value": "[0.261381932097315580891148813827756111049231567977680471284230539089974182817724901901829570964179316212177688953923788339943752262722326350389319127346067 +/- 2.85e-154]",
"arb_radius": "1.9936632e-154",
"stored_100_digit_interval_contains_arb_ball": true,
"enumeration_matches_all_ten_entries": true,
"generator_n0_exact": true,
"generator_n1_comment_correct": true,
"only_generator_change_is_comment_literal": true,
"n_third_rejections": {
"generator": "Use one of the selected finite polytropic indices.",
"solver": "This solver supports integer/half-integer 0 <= n < 5"
}
},
"limitations": "No numerical values or selected arguments changed. Rechecked n=0 and n=1; did not rerun the other eight ODE integrations. No general-rational solver was added. All pi uncertainty is propagated by Arb.",
"files": {
"generate-before.py": "2ec78f913765a4b855c5fc7d812b3a40b68cc11740d05c2e982b4db97e42a3e5",
"generate.py": "c9e06377929f6fb0d211fd3ddeca38c751903beebb7fdf8a66554f898b8f5719",
"solver.py": "96e0f2f3c1010020a1698a0654417456bfea4c888f76df525f9455540f108b0b",
"document-before.json": "06cdeb063a56f7b0e88705a9b6e886ef0ec719b05370dba6b257110bbc7d1dfb",
"repair_checks.py": "6138f6146247637a9c4bb8b083779bc6b49444f3c3dfba5c35bfeae43be4da0c"
}
}