{
  "date": "2026-09-21",
  "scope": "Known marking consequence extension; point-support coronas; all reflected orientations; no generated assignments or patches bundled.",
  "arithmetic": "Integer twelfths on A2 or its index-3 sublattice. Missing marking component is free, assigned zero is not.",
  "timing": "Final benchmark arms ran sequentially without concurrent experiment jobs. Derivation and independent replay costs are separate. Enumeration timings involved concurrent enumeration jobs.",
  "sourceSha256": {
    "scripts/experiment-a2-corona-consensus.mjs": "9c0decdcaef88717c1fe93a2081191ea93d481b58fdaa3e70f3dcea1d190cb04",
    "scripts/compact-a2-corona-consensus.mjs": "321e3083e4dafece6b24d12ed3bfa0ef5939e368a8e310f216d2e23c594451f9",
    "scripts/benchmark-a2-corona-consensus.mjs": "5fef524b1f20792af8b601c57b74685ec1a137c646119207244c5a4f20da93a2",
    "assets/a2-tiling-engine.js": "81222404c9855db2c9f5f64e4f8fb9f79a89c1b346b619e6bdda7700663e60a0",
    "apps/3d-lattice-tiler/growth-search.js": "f1c6810ea9d29d631a200eb6a6672b59e240f502c1f6e6abd5f9a0c61b65ca5a",
    "apps/3d-lattice-tiler/corona-graph.js": "9df101d036e52662eca7d275903a34f26261ae458e57b7dc64d6990e391a0ecd"
  },
  "enumerations": [
    {
      "tile": "turtle",
      "rank": 3,
      "lattice": "index3",
      "radius": 1,
      "complete": true,
      "reason": null,
      "nodes": 245,
      "dead": 32,
      "duplicates": 0,
      "states": 246,
      "solutions": 73,
      "elapsedMs": 625.3429580000001,
      "baseValues": 39,
      "commonValues": 102,
      "addedValues": 63,
      "addedPoints": 40,
      "commonPoints": 53,
      "patchTileRange": [
        7,
        8
      ]
    },
    {
      "tile": "turtle",
      "rank": 3,
      "lattice": "index3",
      "radius": 2,
      "complete": true,
      "reason": null,
      "nodes": 4428,
      "dead": 651,
      "duplicates": 0,
      "states": 4429,
      "solutions": 618,
      "elapsedMs": 11608.316292000001,
      "baseValues": 39,
      "commonValues": 191,
      "addedValues": 152,
      "addedPoints": 85,
      "commonPoints": 98,
      "patchTileRange": [
        19,
        23
      ],
      "compaction": {
        "translationAlignments": 5824,
        "capacityLegal": 5548,
        "knownPass": 5109,
        "newConflicts": 3758,
        "originalValues": 39,
        "extendedValues": 191,
        "compactValues": 109,
        "compactAddedValues": 70,
        "scope": "Exhaustive relative marking-support alignments, including mark-only contacts; retains every original entry and every additional pair conflict.",
        "elapsedMs": 198.97716699999998,
        "points": 69
      }
    },
    {
      "tile": "turtle",
      "rank": 3,
      "lattice": "index3",
      "radius": 3,
      "complete": true,
      "reason": null,
      "nodes": 33184,
      "dead": 6053,
      "duplicates": 0,
      "states": 33185,
      "solutions": 3005,
      "elapsedMs": 84257.232583,
      "baseValues": 39,
      "commonValues": 327,
      "addedValues": 288,
      "addedPoints": 149,
      "commonPoints": 162,
      "patchTileRange": [
        39,
        47
      ],
      "compaction": {
        "translationAlignments": 11094,
        "capacityLegal": 10818,
        "knownPass": 10379,
        "newConflicts": 7375,
        "originalValues": 39,
        "extendedValues": 327,
        "compactValues": 144,
        "compactAddedValues": 105,
        "scope": "Exhaustive relative marking-support alignments, including mark-only contacts; retains every original entry and every additional pair conflict.",
        "elapsedMs": 621.539583,
        "points": 93
      }
    },
    {
      "tile": "turtle",
      "rank": 3,
      "lattice": "A2",
      "radius": 2,
      "complete": true,
      "reason": null,
      "nodes": 4102,
      "dead": 664,
      "duplicates": 0,
      "states": 4103,
      "solutions": 569,
      "elapsedMs": 35858.962916000004,
      "baseValues": 84,
      "commonValues": 743,
      "addedValues": 659,
      "addedPoints": 254,
      "commonPoints": 282,
      "patchTileRange": [
        19,
        23
      ],
      "compaction": {
        "translationAlignments": 16950,
        "capacityLegal": 15903,
        "knownPass": 14927,
        "newConflicts": 13352,
        "originalValues": 84,
        "extendedValues": 743,
        "compactValues": 274,
        "compactAddedValues": 190,
        "scope": "Exhaustive relative marking-support alignments, including mark-only contacts; retains every original entry and every additional pair conflict.",
        "elapsedMs": 2037.3362499999998,
        "points": 153
      }
    },
    {
      "tile": "hat",
      "rank": 1,
      "lattice": "index3",
      "radius": 2,
      "complete": true,
      "reason": null,
      "nodes": 12260,
      "dead": 5773,
      "duplicates": 95,
      "states": 12166,
      "solutions": 679,
      "elapsedMs": 19075.406875,
      "baseValues": 18,
      "commonValues": 113,
      "addedValues": 95,
      "addedPoints": 95,
      "commonPoints": 113,
      "patchTileRange": [
        19,
        23
      ],
      "compaction": {
        "translationAlignments": 5383,
        "capacityLegal": 5177,
        "knownPass": 4929,
        "newConflicts": 3349,
        "originalValues": 18,
        "extendedValues": 113,
        "compactValues": 67,
        "compactAddedValues": 49,
        "scope": "Exhaustive relative marking-support alignments, including mark-only contacts; retains every original entry and every additional pair conflict.",
        "elapsedMs": 130.711583,
        "points": 67
      }
    },
    {
      "tile": "hat",
      "rank": 1,
      "lattice": "index3",
      "radius": 3,
      "complete": false,
      "reason": "time limit",
      "nodes": 58053,
      "dead": 27686,
      "duplicates": 284,
      "states": 57769,
      "solutions": 1331,
      "elapsedMs": 90015.86275,
      "baseValues": 18,
      "commonValues": 240,
      "addedValues": 222,
      "addedPoints": 222,
      "commonPoints": 240,
      "patchTileRange": [
        39,
        47
      ]
    }
  ],
  "benchmarks": [
    {
      "tile": "turtle",
      "rank": 3,
      "lattice": "index3",
      "radius": 3,
      "compaction": {
        "translationAlignments": 11094,
        "capacityLegal": 10818,
        "knownPass": 10379,
        "newConflicts": 7375,
        "originalValues": 39,
        "extendedValues": 327,
        "compactValues": 144,
        "compactAddedValues": 105,
        "scope": "Exhaustive relative marking-support alignments, including mark-only contacts; retains every original entry and every additional pair conflict.",
        "elapsedMs": 621.539583
      },
      "source": {
        "complete": true,
        "solutions": 3005,
        "nodes": 33184,
        "elapsedMs": 84257.232583,
        "baseValues": 39,
        "commonValues": 327,
        "addedValues": 288
      },
      "validation": {
        "coronas": 3005,
        "baseValid": 3005,
        "extendedCompatible": 2996,
        "extendedFrontierViable": 1782
      },
      "protocol": {
        "target": 300,
        "ms": 20000,
        "nodeLimit": 100000,
        "seeds": [
          1,
          3,
          10
        ],
        "allowReflections": true,
        "knownExtent": 1,
        "ordering": "Identical original-marking score in both arms; shared GCTS-I engine; arm order alternates",
        "trainingChargedSeparately": true
      },
      "rows": [
        {
          "kind": "known",
          "seed": 1,
          "target": 300,
          "budgetMs": 20000,
          "nodeLimit": 100000,
          "result": "yes",
          "tiles": 300,
          "elapsedMs": 14001.206916000003,
          "verificationMs": 59.57904199999757,
          "nodes": 883,
          "backtracks": 584,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 1,
          "target": 300,
          "budgetMs": 20000,
          "nodeLimit": 100000,
          "result": "yes",
          "tiles": 300,
          "elapsedMs": 11219.04862500001,
          "verificationMs": 54.509957999995095,
          "nodes": 496,
          "backtracks": 197,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 3,
          "target": 300,
          "budgetMs": 20000,
          "nodeLimit": 100000,
          "result": "yes",
          "tiles": 300,
          "elapsedMs": 12535.646957999998,
          "verificationMs": 52.12520899999072,
          "nodes": 632,
          "backtracks": 333,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "known",
          "seed": 3,
          "target": 300,
          "budgetMs": 20000,
          "nodeLimit": 100000,
          "result": "unknown",
          "tiles": 154,
          "elapsedMs": 20009.911125000013,
          "verificationMs": 27.713541999997688,
          "nodes": 2094,
          "backtracks": 1944,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "known",
          "seed": 10,
          "target": 300,
          "budgetMs": 20000,
          "nodeLimit": 100000,
          "result": "yes",
          "tiles": 300,
          "elapsedMs": 13533.324500000002,
          "verificationMs": 57.58712499999092,
          "nodes": 877,
          "backtracks": 578,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 10,
          "target": 300,
          "budgetMs": 20000,
          "nodeLimit": 100000,
          "result": "yes",
          "tiles": 300,
          "elapsedMs": 10325.432,
          "verificationMs": 52.0496250000142,
          "nodes": 471,
          "backtracks": 172,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        }
      ]
    },
    {
      "tile": "turtle",
      "rank": 3,
      "lattice": "A2",
      "radius": 2,
      "compaction": {
        "translationAlignments": 16950,
        "capacityLegal": 15903,
        "knownPass": 14927,
        "newConflicts": 13352,
        "originalValues": 84,
        "extendedValues": 743,
        "compactValues": 274,
        "compactAddedValues": 190,
        "scope": "Exhaustive relative marking-support alignments, including mark-only contacts; retains every original entry and every additional pair conflict.",
        "elapsedMs": 2037.3362499999998
      },
      "source": {
        "complete": true,
        "solutions": 569,
        "nodes": 4102,
        "elapsedMs": 35858.962916000004,
        "baseValues": 84,
        "commonValues": 743,
        "addedValues": 659
      },
      "validation": {
        "coronas": 569,
        "baseValid": 569,
        "extendedCompatible": 569,
        "extendedFrontierViable": 490
      },
      "protocol": {
        "target": 100,
        "ms": 10000,
        "nodeLimit": 50000,
        "seeds": [
          1,
          3,
          10
        ],
        "allowReflections": true,
        "knownExtent": 1,
        "ordering": "Identical original-marking score in both arms; shared GCTS-I engine; arm order alternates",
        "trainingChargedSeparately": true
      },
      "rows": [
        {
          "kind": "known",
          "seed": 1,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "yes",
          "tiles": 100,
          "elapsedMs": 3947.2038749999992,
          "verificationMs": 82.04970799999865,
          "nodes": 256,
          "backtracks": 157,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 1,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "yes",
          "tiles": 100,
          "elapsedMs": 8603.561041,
          "verificationMs": 86.07341699999961,
          "nodes": 168,
          "backtracks": 69,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 3,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "yes",
          "tiles": 100,
          "elapsedMs": 8177.484290999997,
          "verificationMs": 79.1174170000013,
          "nodes": 168,
          "backtracks": 69,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "known",
          "seed": 3,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "yes",
          "tiles": 100,
          "elapsedMs": 3934.678875000005,
          "verificationMs": 79.0844999999972,
          "nodes": 256,
          "backtracks": 157,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "known",
          "seed": 10,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "yes",
          "tiles": 100,
          "elapsedMs": 3828.2793749999983,
          "verificationMs": 78.69170799999847,
          "nodes": 256,
          "backtracks": 157,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 10,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "yes",
          "tiles": 100,
          "elapsedMs": 8084.397250000002,
          "verificationMs": 77.07387500000186,
          "nodes": 168,
          "backtracks": 69,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        }
      ]
    },
    {
      "tile": "hat",
      "rank": 1,
      "lattice": "index3",
      "radius": 2,
      "compaction": {
        "translationAlignments": 5383,
        "capacityLegal": 5177,
        "knownPass": 4929,
        "newConflicts": 3349,
        "originalValues": 18,
        "extendedValues": 113,
        "compactValues": 67,
        "compactAddedValues": 49,
        "scope": "Exhaustive relative marking-support alignments, including mark-only contacts; retains every original entry and every additional pair conflict.",
        "elapsedMs": 130.711583
      },
      "source": {
        "complete": true,
        "solutions": 679,
        "nodes": 12260,
        "elapsedMs": 19075.406875,
        "baseValues": 18,
        "commonValues": 113,
        "addedValues": 95
      },
      "validation": {
        "coronas": 679,
        "baseValid": 679,
        "extendedCompatible": 679,
        "extendedFrontierViable": 679
      },
      "protocol": {
        "target": 100,
        "ms": 10000,
        "nodeLimit": 50000,
        "seeds": [
          1,
          3,
          10
        ],
        "allowReflections": true,
        "knownExtent": 1,
        "ordering": "Identical original-marking score in both arms; shared GCTS-I engine; arm order alternates",
        "trainingChargedSeparately": true
      },
      "rows": [
        {
          "kind": "known",
          "seed": 1,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "unknown",
          "tiles": 86,
          "elapsedMs": 10002.551667,
          "verificationMs": 9.946917000001122,
          "nodes": 2760,
          "backtracks": 2675,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 1,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "unknown",
          "tiles": 86,
          "elapsedMs": 10005.817333,
          "verificationMs": 9.239333000001352,
          "nodes": 2253,
          "backtracks": 2171,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 3,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "unknown",
          "tiles": 89,
          "elapsedMs": 10005.652417000001,
          "verificationMs": 8.812417000001005,
          "nodes": 2194,
          "backtracks": 2121,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "known",
          "seed": 3,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "unknown",
          "tiles": 94,
          "elapsedMs": 10003.592166999999,
          "verificationMs": 8.097084000000905,
          "nodes": 2651,
          "backtracks": 2574,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "known",
          "seed": 10,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "unknown",
          "tiles": 94,
          "elapsedMs": 10002.568707999999,
          "verificationMs": 9.069541999997455,
          "nodes": 2707,
          "backtracks": 2621,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        },
        {
          "kind": "extended",
          "seed": 10,
          "target": 100,
          "budgetMs": 10000,
          "nodeLimit": 50000,
          "result": "unknown",
          "tiles": 89,
          "elapsedMs": 10006.309125,
          "verificationMs": 7.561000000001513,
          "nodes": 2240,
          "backtracks": 2167,
          "originalCompatible": true,
          "extendedCompatible": true,
          "extendedFrontierViable": true,
          "engineReportedMarkingPrunes": 0
        }
      ]
    }
  ],
  "notes": [
    "The 0 engineReportedMarkingPrunes counter does not count cached frontier-domain invalidations. Use exhaustive additional pair conflicts and measured attempts/backtracks as evidence.",
    "Complete is the enumerator termination result with independent witness and intersection replay, not an external exhaustive proof certificate.",
    "Incomplete Hat 3-corona intersection was not promoted."
  ]
}