{
  "table": "T603",
  "skill_manifest": "agents/runs/20261029T073226Z-repair-skills/manifest.json",
  "skill_sha256": {
    "local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
    "live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
  },
  "generator_sha256": "42226aa3ee26dd9330c1970dbbf2a244403674381ba639d0e4b4dd88fdb2b381",
  "stored_entries_checked": 40,
  "minimum_accuracy_bits": 500,
  "enumeration_matches_in_order": true,
  "controls": [
    "d=1 spectral zeta derivative",
    "d=1 determinant 2*pi",
    "displayed d=2 and d=3 formulas"
  ],
  "scope": "Same-generator interval verification and low-dimension controls; no new values, no independent argument-review verdict.",
  "sage_version": "10.9",
  "python_version": "3.12.3",
  "rows": [
    {
      "params": {
        "d": "1",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 512
    },
    {
      "params": {
        "d": "1",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 513
    },
    {
      "params": {
        "d": "2",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 511
    },
    {
      "params": {
        "d": "2",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "3",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 511
    },
    {
      "params": {
        "d": "3",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "4",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "4",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 507
    },
    {
      "params": {
        "d": "5",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 511
    },
    {
      "params": {
        "d": "5",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 507
    },
    {
      "params": {
        "d": "6",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "6",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 505
    },
    {
      "params": {
        "d": "7",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "7",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 506
    },
    {
      "params": {
        "d": "8",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "8",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 503
    },
    {
      "params": {
        "d": "9",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "9",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 500
    },
    {
      "params": {
        "d": "10",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "10",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 505
    },
    {
      "params": {
        "d": "11",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 509
    },
    {
      "params": {
        "d": "11",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 504
    },
    {
      "params": {
        "d": "12",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "12",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 505
    },
    {
      "params": {
        "d": "13",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 509
    },
    {
      "params": {
        "d": "13",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 505
    },
    {
      "params": {
        "d": "14",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "14",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 506
    },
    {
      "params": {
        "d": "15",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 509
    },
    {
      "params": {
        "d": "15",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 506
    },
    {
      "params": {
        "d": "16",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 509
    },
    {
      "params": {
        "d": "16",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 506
    },
    {
      "params": {
        "d": "17",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 509
    },
    {
      "params": {
        "d": "17",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 506
    },
    {
      "params": {
        "d": "18",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 510
    },
    {
      "params": {
        "d": "18",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 506
    },
    {
      "params": {
        "d": "19",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 509
    },
    {
      "params": {
        "d": "19",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 505
    },
    {
      "params": {
        "d": "20",
        "convention": "det"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 509
    },
    {
      "params": {
        "d": "20",
        "convention": "logdet"
      },
      "contained_in_stored_interval": true,
      "accuracy_bits": 506
    }
  ]
}