repair-check.json

back to table · edit · history · where entries came from · files · download

5424 bytes, as of the version from 2026-11-09 18:56 (current). Recorded here, not run.

{
  "table": "T695",
  "sage": "10.9",
  "entry_count": 18,
  "generator_sha256": "a6fc713059fcc42db1e7e4f62f41fade07d68f41e31e70581109e0bc055c7e87",
  "instructions": {
    "manifest": "agents/runs/20261109T181032Z-repair-skills/manifest.json",
    "manifest_sha256": "c879ba3e40020535135932a0ac7d93e894d04b267cf416aa702c3c96617ec363",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
        "verified_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
        "verified_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
      }
    ],
    "independent_sidecar_sha256": "1ce34b213b3a404dfc8e9c442795c819e34949643f227e6d9b054cf9c63110e1"
  },
  "checks": [
    {
      "identity": [
        1,
        12,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        1,
        16,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        1,
        18,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        1,
        20,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        1,
        22,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        1,
        26,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        3,
        12,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        4,
        12,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        5,
        12,
        2
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        6,
        12,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        6,
        12,
        2
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        6,
        12,
        3
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        8,
        12,
        2
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        9,
        12,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        9,
        12,
        3
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        10,
        12,
        1
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        10,
        12,
        2
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    },
    {
      "identity": [
        10,
        12,
        3
      ],
      "exact_recomputation": "match",
      "primitive": true,
      "positive_leading_coefficient": true,
      "even": true,
      "reciprocal_identity": true
    }
  ],
  "program_control": "match",
  "new_values": false,
  "scope": "Exact generator recomputation and algebraic checks; no new independent analytic L-value check is claimed."
}