repair-results-20261101T225849Z.json

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

7560 bytes, as of the version from 2026-11-02 08:29 (current). Recorded here, not run.

{
  "table": "T661",
  "sage_version": "10.9",
  "generator_sha256": "5f6126152b021ec48e3a6be241cdcd64ebec5486d12c4fa4d6bd71be68ca7039",
  "skill_manifest": "agents/runs/20261101T225849Z-repair-skills/manifest.json",
  "skill_sha256": {
    "local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
    "live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
  },
  "ordered_enumeration_matches": true,
  "retained_cubic_values_exact": 77,
  "retained_noninteger_values_enclosed": 77,
  "minimum_recomputed_accuracy_bits": 590,
  "gap_controls": {
    "CyclicGroup(2)": {
      "1": 2
    },
    "SymmetricGroup(3)": {
      "1": 2,
      "2": 1
    },
    "AbelianGroup([2,2,2])": {
      "1": 8
    },
    "WreathProduct(AbelianGroup(IsPermGroup,[2,2,2]),SymmetricGroup(2))": {
      "1": 16,
      "2": 28
    }
  },
  "cube_entries_independently_checked": [
    {
      "m": 2,
      "q": 8,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 2,
      "q": 8,
      "s": "3",
      "passed": true
    },
    {
      "m": 3,
      "q": 27,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 3,
      "q": 27,
      "s": "3",
      "passed": true
    },
    {
      "m": 4,
      "q": 64,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 4,
      "q": 64,
      "s": "3",
      "passed": true
    },
    {
      "m": 5,
      "q": 125,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 5,
      "q": 125,
      "s": "3",
      "passed": true
    },
    {
      "m": 6,
      "q": 216,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 6,
      "q": 216,
      "s": "3",
      "passed": true
    },
    {
      "m": 7,
      "q": 343,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 7,
      "q": 343,
      "s": "3",
      "passed": true
    },
    {
      "m": 8,
      "q": 512,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 8,
      "q": 512,
      "s": "3",
      "passed": true
    },
    {
      "m": 9,
      "q": 729,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 9,
      "q": 729,
      "s": "3",
      "passed": true
    },
    {
      "m": 10,
      "q": 1000,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 10,
      "q": 1000,
      "s": "3",
      "passed": true
    },
    {
      "m": 11,
      "q": 1331,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 11,
      "q": 1331,
      "s": "3",
      "passed": true
    },
    {
      "m": 12,
      "q": 1728,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 12,
      "q": 1728,
      "s": "3",
      "passed": true
    },
    {
      "m": 13,
      "q": 2197,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 13,
      "q": 2197,
      "s": "3",
      "passed": true
    },
    {
      "m": 14,
      "q": 2744,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 14,
      "q": 2744,
      "s": "3",
      "passed": true
    },
    {
      "m": 15,
      "q": 3375,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 15,
      "q": 3375,
      "s": "3",
      "passed": true
    },
    {
      "m": 16,
      "q": 4096,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 16,
      "q": 4096,
      "s": "3",
      "passed": true
    },
    {
      "m": 17,
      "q": 4913,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 17,
      "q": 4913,
      "s": "3",
      "passed": true
    },
    {
      "m": 18,
      "q": 5832,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 18,
      "q": 5832,
      "s": "3",
      "passed": true
    },
    {
      "m": 19,
      "q": 6859,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 19,
      "q": 6859,
      "s": "3",
      "passed": true
    },
    {
      "m": 20,
      "q": 8000,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 20,
      "q": 8000,
      "s": "3",
      "passed": true
    },
    {
      "m": 21,
      "q": 9261,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 21,
      "q": 9261,
      "s": "3",
      "passed": true
    },
    {
      "m": 22,
      "q": 10648,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 22,
      "q": 10648,
      "s": "3",
      "passed": true
    },
    {
      "m": 23,
      "q": 12167,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 23,
      "q": 12167,
      "s": "3",
      "passed": true
    },
    {
      "m": 24,
      "q": 13824,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 24,
      "q": 13824,
      "s": "3",
      "passed": true
    },
    {
      "m": 25,
      "q": 15625,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 25,
      "q": 15625,
      "s": "3",
      "passed": true
    },
    {
      "m": 26,
      "q": 17576,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 26,
      "q": 17576,
      "s": "3",
      "passed": true
    },
    {
      "m": 27,
      "q": 19683,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 27,
      "q": 19683,
      "s": "3",
      "passed": true
    },
    {
      "m": 28,
      "q": 21952,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 28,
      "q": 21952,
      "s": "3",
      "passed": true
    },
    {
      "m": 29,
      "q": 24389,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 29,
      "q": 24389,
      "s": "3",
      "passed": true
    },
    {
      "m": 30,
      "q": 27000,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 30,
      "q": 27000,
      "s": "3",
      "passed": true
    },
    {
      "m": 31,
      "q": 29791,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 31,
      "q": 29791,
      "s": "3",
      "passed": true
    },
    {
      "m": 32,
      "q": 32768,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 32,
      "q": 32768,
      "s": "3",
      "passed": true
    },
    {
      "m": 33,
      "q": 35937,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 33,
      "q": 35937,
      "s": "3",
      "passed": true
    },
    {
      "m": 34,
      "q": 39304,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 34,
      "q": 39304,
      "s": "3",
      "passed": true
    },
    {
      "m": 35,
      "q": 42875,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 35,
      "q": 42875,
      "s": "3",
      "passed": true
    },
    {
      "m": 36,
      "q": 46656,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 36,
      "q": 46656,
      "s": "3",
      "passed": true
    },
    {
      "m": 37,
      "q": 50653,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 37,
      "q": 50653,
      "s": "3",
      "passed": true
    },
    {
      "m": 38,
      "q": 54872,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 38,
      "q": 54872,
      "s": "3",
      "passed": true
    },
    {
      "m": 39,
      "q": 59319,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 39,
      "q": 59319,
      "s": "3",
      "passed": true
    },
    {
      "m": 40,
      "q": 64000,
      "s": "9/4",
      "passed": true
    },
    {
      "m": 40,
      "q": 64000,
      "s": "3",
      "passed": true
    }
  ],
  "scope": "All 154 retained values recomputed with unchanged generator; 78 cube-slice values independently checked by orbit formula and exact fourth-root isolation. No new values."
}