{
  "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
    }
  ]
}