back to table · edit · history · where entries came from · files · download
2625 bytes, as of the version from 2026-10-30 19:31 (current). Recorded here, not run.
{
"inertia_derivation": {
"I_over_Ma2": "2/5",
"inertia_factor": "8/15",
"linked_n_zero_matches": true,
"mass_factor": "4/3",
"method": "exact polynomial integrals over cylindrical slices z=c*u",
"spherical_limit": "a=c=R"
},
"python_version": "3.12.3",
"sage_version": "10.9",
"skill_manifest": "agents/runs/20261030T192745Z-repair-skills/manifest.json",
"skill_sha256": {
"live": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e",
"local": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e"
},
"table": "T628",
"unchanged_energy_regression": [
{
"full_enclosures_inside_stored_interval": true,
"k": 1,
"radius_500_bits": "7.9556876e-128",
"radius_700_bits": "7.9556876e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 2,
"radius_500_bits": "6.6625986e-128",
"radius_700_bits": "6.6625986e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 3,
"radius_500_bits": "6.0618653e-128",
"radius_700_bits": "6.0618653e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 4,
"radius_500_bits": "5.7142720e-128",
"radius_700_bits": "5.7142720e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 5,
"radius_500_bits": "5.4875430e-128",
"radius_700_bits": "5.4875430e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 6,
"radius_500_bits": "5.3279415e-128",
"radius_700_bits": "5.3279415e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 7,
"radius_500_bits": "5.2094880e-128",
"radius_700_bits": "5.2094880e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 8,
"radius_500_bits": "5.1180815e-128",
"radius_700_bits": "5.1180815e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 9,
"radius_500_bits": "5.0454053e-128",
"radius_700_bits": "5.0454053e-128",
"same_root_bracket": true
},
{
"full_enclosures_inside_stored_interval": true,
"k": 10,
"radius_500_bits": "4.9862360e-128",
"radius_700_bits": "4.9862360e-128",
"same_root_bracket": true
}
]
}