back to table · edit · history · where entries came from · files · download
15922 bytes, as of the version from 2026-10-29 01:41 (current). Recorded here, not run.
{
"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."
}