{
  "table": "T596",
  "skill_manifest": "agents/runs/20261029T013520Z-repair-skills/manifest.json",
  "skill_sha256": {
    "local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
    "live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
  },
  "entry_count": 120,
  "enumeration_unchanged": true,
  "generator_digits": 100,
  "generator_sha256": "8d757ce7d75fbec3377865b5f514bb912e567a91a99935aa92a14de34c8a9d1d",
  "document_sha256": "fbe8fafa567599fcc707a981eeddfebbe27f7026bfae2c64c5c6469f87c8d4d0",
  "checks_sha256": "5391e7c731b8be2bd2d5567b6017cc55c8c61232916f5a611fdd54e3805c7893",
  "versions": {
    "numberdb": "0.1.10",
    "mpmath": "1.4.1"
  },
  "checks": [
    {
      "identity": "1,0",
      "exact": true
    },
    {
      "identity": "2,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "1,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "3,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "2,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "4,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "3,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "2,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "5,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "4,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "3,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "6,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "5,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "4,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "3,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "6,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "5,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "4,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "6,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "5,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "4,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "6,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "5,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "6,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "5,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "6,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "6,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "14,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "7,7",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "15,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "14,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,7",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "16,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "15,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "14,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,7",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "8,8",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "17,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "16,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "15,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "14,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,7",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,8",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "18,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "17,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "16,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "15,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "14,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,7",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,8",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "9,9",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "19,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "18,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "17,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "16,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "15,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "14,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,7",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,8",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,9",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "20,0",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "19,1",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "18,2",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "17,3",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "16,4",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "15,5",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "14,6",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "13,7",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "12,8",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "11,9",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    },
    {
      "identity": "10,10",
      "ball_contained": true,
      "relative_width_below_1e_minus_120": true
    }
  ],
  "independent_controls": [
    {
      "identity": "1,0",
      "within_stored_interval": true
    },
    {
      "identity": "1,1",
      "within_stored_interval": true
    },
    {
      "identity": "2,0",
      "within_stored_interval": true
    },
    {
      "identity": "2,1",
      "within_stored_interval": true
    },
    {
      "identity": "2,2",
      "within_stored_interval": true
    },
    {
      "identity": "3,3",
      "within_stored_interval": true
    },
    {
      "identity": "4,4",
      "within_stored_interval": true
    },
    {
      "identity": "5,5",
      "within_stored_interval": true
    },
    {
      "identity": "6,6",
      "within_stored_interval": true
    },
    {
      "identity": "7,7",
      "within_stored_interval": true
    },
    {
      "identity": "8,8",
      "within_stored_interval": true
    },
    {
      "identity": "9,9",
      "within_stored_interval": true
    },
    {
      "identity": "10,10",
      "within_stored_interval": true
    }
  ],
  "program_matches_stored_interval": true,
  "scope": "All stored values recomputed using the unchanged generator; independent closed forms at 13 distinct entries and the Programs quadrature checked. No new values, altered inputs, or new certification claims."
}