back to table · edit · history · where entries came from · files · download
13515 bytes, as of the version from 2026-10-30 08:47 (current). Recorded here, not run.
{
"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."
}