repair-checks.json

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

2797 bytes, as of the version from 2026-11-02 09:34 (current). Recorded here, not run.

{
  "table": "T673",
  "checks_passed": true,
  "sage_version": "10.9",
  "enumerated_and_recomputed": 816,
  "representation_identities": [
    {
      "grade": 0,
      "character_indices": [
        2
      ],
      "degrees": [
        "248"
      ],
      "sign": 1,
      "stored": "248",
      "expected": "248"
    },
    {
      "grade": 4,
      "character_indices": [
        4,
        5
      ],
      "degrees": [
        "27000",
        "27000"
      ],
      "sign": 1,
      "stored": "54000",
      "expected": "54000"
    },
    {
      "grade": 5,
      "character_indices": [
        9,
        10
      ],
      "degrees": [
        "85995",
        "85995"
      ],
      "sign": -1,
      "stored": "-171990",
      "expected": "-171990"
    },
    {
      "grade": 8,
      "character_indices": [
        17,
        18
      ],
      "degrees": [
        "1707264",
        "1707264"
      ],
      "sign": 1,
      "stored": "3414528",
      "expected": "3414528"
    },
    {
      "grade": 9,
      "character_indices": [
        22,
        23
      ],
      "degrees": [
        "4096000",
        "4096000"
      ],
      "sign": -1,
      "stored": "-8192000",
      "expected": "-8192000"
    },
    {
      "grade": 12,
      "character_indices": [
        40,
        40
      ],
      "degrees": [
        "44330496",
        "44330496"
      ],
      "sign": 1,
      "stored": "88660992",
      "expected": "88660992"
    }
  ],
  "program_example": "26523498870",
  "perturbed_controls_rejected": 6,
  "method": "Exact Sage integers; all stored values recomputed by the unchanged generator; six representation identities checked against live character degrees and the cited primary source. This is repair verification, not a new independent critique.",
  "new_values": 0,
  "argument_uncertainty": "None: conjugacy classes and integer grades are exact discrete indices.",
  "skill_manifest": "agents/runs/20261102T092822Z-repair-skills/manifest.json",
  "skill_manifest_sha256": "2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  ],
  "inputs_sha256": {
    "before.json": "8ed5140b4cd9c20a7379a2e7b6883fd1b01bf806b9ab931efbb2f20011e5681e",
    "related-2.json": "dbd216d2f0df492de530c657aa58427e51bdd11129abe7216ae649a030e155be",
    "generate.py": "e8618dd8c7844fccdc55ffde82466967ad17e03785d897764c8f38349e903f04",
    "eta-data.json": "7bc39f02107bc1eaebb0dea06852b49e4d9070111ccc27c4780c5846a5343910"
  }
}