{
  "table": "T620",
  "purpose": "Presentation repair verification; no numerical edits",
  "skill_manifest": "agents/runs/20261030T074414Z-repair-skills/manifest.json",
  "skill_versions": [
    {
      "source": "local",
      "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
    },
    {
      "source": "live",
      "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
    }
  ],
  "document_sha256": "079dd17d970698fe64abd87be5835d17a570591b538c76dfd9e5094b431d9751",
  "generator_sha256": "b22be46f83e0163723a21720b903e1ff3c3fc1b65d5e8708a8a0cb9af0493462",
  "script_sha256": "0440f180deee623b46d1e741d88d4870e28821046f22c3279006939b8f3142c2",
  "versions": {
    "sage": "10.9",
    "python": "3.12.3"
  },
  "enumeration_matches_all_56_stored_rows": true,
  "checked_entries": [
    {
      "params": {
        "n": "3",
        "convention": "det"
      },
      "default_accuracy_bits": 506,
      "fresh_accuracy_bits": 743,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "3",
        "convention": "logdet"
      },
      "default_accuracy_bits": 506,
      "fresh_accuracy_bits": 743,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "4",
        "convention": "det"
      },
      "default_accuracy_bits": 507,
      "fresh_accuracy_bits": 745,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "4",
        "convention": "logdet"
      },
      "default_accuracy_bits": 507,
      "fresh_accuracy_bits": 744,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "5",
        "convention": "det"
      },
      "default_accuracy_bits": 505,
      "fresh_accuracy_bits": 742,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "5",
        "convention": "logdet"
      },
      "default_accuracy_bits": 505,
      "fresh_accuracy_bits": 742,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "6",
        "convention": "det"
      },
      "default_accuracy_bits": 506,
      "fresh_accuracy_bits": 743,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "6",
        "convention": "logdet"
      },
      "default_accuracy_bits": 506,
      "fresh_accuracy_bits": 743,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "7",
        "convention": "det"
      },
      "default_accuracy_bits": 504,
      "fresh_accuracy_bits": 741,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "7",
        "convention": "logdet"
      },
      "default_accuracy_bits": 504,
      "fresh_accuracy_bits": 741,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "8",
        "convention": "det"
      },
      "default_accuracy_bits": 506,
      "fresh_accuracy_bits": 743,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "8",
        "convention": "logdet"
      },
      "default_accuracy_bits": 506,
      "fresh_accuracy_bits": 742,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "9",
        "convention": "det"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 740,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "9",
        "convention": "logdet"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 740,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "10",
        "convention": "det"
      },
      "default_accuracy_bits": 504,
      "fresh_accuracy_bits": 741,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "10",
        "convention": "logdet"
      },
      "default_accuracy_bits": 504,
      "fresh_accuracy_bits": 741,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "11",
        "convention": "det"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 740,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "11",
        "convention": "logdet"
      },
      "default_accuracy_bits": 502,
      "fresh_accuracy_bits": 739,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "12",
        "convention": "det"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 740,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "12",
        "convention": "logdet"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 740,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "13",
        "convention": "det"
      },
      "default_accuracy_bits": 502,
      "fresh_accuracy_bits": 739,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "13",
        "convention": "logdet"
      },
      "default_accuracy_bits": 502,
      "fresh_accuracy_bits": 739,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "14",
        "convention": "det"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 740,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "14",
        "convention": "logdet"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 740,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "15",
        "convention": "det"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "15",
        "convention": "logdet"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "16",
        "convention": "det"
      },
      "default_accuracy_bits": 503,
      "fresh_accuracy_bits": 739,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "16",
        "convention": "logdet"
      },
      "default_accuracy_bits": 502,
      "fresh_accuracy_bits": 739,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "17",
        "convention": "det"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "17",
        "convention": "logdet"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "18",
        "convention": "det"
      },
      "default_accuracy_bits": 502,
      "fresh_accuracy_bits": 739,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "18",
        "convention": "logdet"
      },
      "default_accuracy_bits": 502,
      "fresh_accuracy_bits": 739,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "19",
        "convention": "det"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "19",
        "convention": "logdet"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "20",
        "convention": "det"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "20",
        "convention": "logdet"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "21",
        "convention": "det"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "21",
        "convention": "logdet"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "22",
        "convention": "det"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "22",
        "convention": "logdet"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "23",
        "convention": "det"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "23",
        "convention": "logdet"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "24",
        "convention": "det"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "24",
        "convention": "logdet"
      },
      "default_accuracy_bits": 501,
      "fresh_accuracy_bits": 738,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "25",
        "convention": "det"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "25",
        "convention": "logdet"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "26",
        "convention": "det"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "26",
        "convention": "logdet"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "27",
        "convention": "det"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "27",
        "convention": "logdet"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "28",
        "convention": "det"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "28",
        "convention": "logdet"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "29",
        "convention": "det"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "29",
        "convention": "logdet"
      },
      "default_accuracy_bits": 498,
      "fresh_accuracy_bits": 735,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "30",
        "convention": "det"
      },
      "default_accuracy_bits": 500,
      "fresh_accuracy_bits": 737,
      "both_enclosures_inside_stored_interval": true
    },
    {
      "params": {
        "n": "30",
        "convention": "logdet"
      },
      "default_accuracy_bits": 499,
      "fresh_accuracy_bits": 736,
      "both_enclosures_inside_stored_interval": true
    }
  ],
  "triangle_square_closed_form_controls_passed": true,
  "program": {
    "code": "# Download the attached generate.py into the current directory.\nfrom generate import PolygonDirichletDeterminants\ng = PolygonDirichletDeterminants()\nprint(g.value({'n': '31', 'convention': 'det'}, 100))\n",
    "output": "[0.468330175007067510941753449040925812184028891025510035839111582558509676816470170219573021131271981160663637938945650292773254675176806778636519919408 +/- 6.42e-151]\n",
    "n31_default_accuracy_bits": 498,
    "n31_fresh_accuracy_bits": 735,
    "n31_precision_enclosures_overlap": true,
    "row_added": false
  },
  "limitations": "Recomputed all stored enclosures with the attached generator at two precisions; triangle/square use separate Gamma closed forms. No new independent numerical proof for general n is asserted."
}