{
  "date": "2026-09-22",
  "scope": "Bounded family of learned signed rank-3 markings on index-3 Turtle and Hat systems; complete rooted one-corona labels; successive corona consensus. No assignments or patches bundled.",
  "protocol": {
    "learningSeed": 9173,
    "starts": 32,
    "maxImprovingSupportChangesPerStart": 6,
    "selectedAlternatives": 3,
    "radiusBudgetsMs": [
      60000,
      60000,
      60000
    ],
    "turtleModel0Radius3RetryMs": 240000,
    "knownMarkingSupplied": false,
    "independentCatalogueReplay": true,
    "independentIntersectionReplay": true,
    "independentReductionPairComparison": true,
    "concurrentDerivationJobs": true,
    "sequentialGrowthBenchmarks": true
  },
  "sourceSha256": {
    "scripts/experiment-a2-corona-workflow.mjs": "ca42e0c6ef1d2171542a6a1fab3b519e913c978858753a8c2d36a59103dc11bd",
    "scripts/benchmark-a2-corona-workflow.mjs": "fc9ed6d09e5c0515a293b4d403e93935fa81d7bbd00ecaefd85271c1a77eaa1f",
    "scripts/test-a2-corona-workflow.mjs": "0f200047596d929a580ae4a63f2cca81925a4f0beda25985d5a68ca85f9d1244",
    "scripts/experiment-a2-corona-consensus.mjs": "9c0decdcaef88717c1fe93a2081191ea93d481b58fdaa3e70f3dcea1d190cb04",
    "assets/a2-tiling-engine.js": "81222404c9855db2c9f5f64e4f8fb9f79a89c1b346b619e6bdda7700663e60a0",
    "assets/tile-connection-learning.js": "b60a0f7ad3249af49900ac03970d02bb4a315bc249fd5dfad4de734f3713a81b",
    "assets/marking-reduction.js": "9aa143f610ae502d6ad67ba7dbc6393cd614011cf7ea0d23644d0461d8fc638a",
    "assets/learning-lattice.js": "a122f54730d63e32d44cd41c78d233e311fb0f50879213ae2dfd2bf74441a4c9",
    "apps/3d-lattice-tiler/growth-search.js": "f1c6810ea9d29d631a200eb6a6672b59e240f502c1f6e6abd5f9a0c61b65ca5a",
    "apps/3d-lattice-tiler/corona-graph.js": "9df101d036e52662eca7d275903a34f26261ae458e57b7dc64d6990e391a0ecd"
  },
  "systems": [
    {
      "tile": "turtle",
      "workflow": {
        "tile": "turtle",
        "catalog": {
          "tile": "turtle",
          "rank": 3,
          "lattice": "index3",
          "radius": 1,
          "complete": true,
          "reason": null,
          "nodes": 1150,
          "dead": 864,
          "duplicates": 3,
          "states": 1148,
          "solutions": 74,
          "elapsedMs": 1178.713125,
          "baseValues": 0,
          "commonValues": 0,
          "addedValues": 0,
          "addedPoints": 0,
          "points": 0
        },
        "domain": 90,
        "positive": 41,
        "negative": 206,
        "fitMs": 860.7205000000001,
        "fits": 17313,
        "distinct": 8,
        "denseBlocked": 176,
        "results": [
          {
            "id": 0,
            "initialValues": 30,
            "initialPoints": 21,
            "blocked": 193,
            "stages": [
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 1,
                "complete": true,
                "reason": null,
                "nodes": 232,
                "dead": 71,
                "duplicates": 2,
                "states": 231,
                "solutions": 37,
                "elapsedMs": 514.0332079999998,
                "baseValues": 30,
                "commonValues": 40,
                "addedValues": 10,
                "addedPoints": 9,
                "points": 26,
                "compactValues": 36,
                "compactPoints": 25
              },
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 2,
                "complete": true,
                "reason": null,
                "nodes": 2802,
                "dead": 601,
                "duplicates": 6,
                "states": 2797,
                "solutions": 360,
                "elapsedMs": 6258.326375000001,
                "baseValues": 36,
                "commonValues": 65,
                "addedValues": 29,
                "addedPoints": 25,
                "points": 44,
                "compactValues": 61,
                "compactPoints": 44
              },
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 3,
                "complete": true,
                "reason": null,
                "nodes": 19321,
                "dead": 3413,
                "duplicates": 60,
                "states": 19262,
                "solutions": 1945,
                "elapsedMs": 67161.068542,
                "baseValues": 61,
                "commonValues": 103,
                "addedValues": 42,
                "addedPoints": 40,
                "points": 78,
                "compactValues": 99,
                "compactPoints": 77,
                "priorAttempts": [
                  {
                    "tile": "turtle",
                    "rank": 3,
                    "lattice": "index3",
                    "radius": 3,
                    "complete": false,
                    "reason": "time limit",
                    "nodes": 17423,
                    "dead": 3128,
                    "duplicates": 60,
                    "states": 17363,
                    "solutions": 1623,
                    "elapsedMs": 60033.616708,
                    "baseValues": 61,
                    "commonValues": 105,
                    "addedValues": 44,
                    "addedPoints": 42,
                    "points": 80
                  }
                ]
              }
            ]
          },
          {
            "id": 1,
            "initialValues": 24,
            "initialPoints": 18,
            "blocked": 191,
            "stages": [
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 1,
                "complete": true,
                "reason": null,
                "nodes": 206,
                "dead": 54,
                "duplicates": 0,
                "states": 207,
                "solutions": 37,
                "elapsedMs": 430.41795800000546,
                "baseValues": 24,
                "commonValues": 24,
                "addedValues": 0,
                "addedPoints": 0,
                "points": 18,
                "compactValues": 24,
                "compactPoints": 18
              },
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 2,
                "complete": true,
                "reason": null,
                "nodes": 2740,
                "dead": 677,
                "duplicates": 0,
                "states": 2741,
                "solutions": 385,
                "elapsedMs": 5439.003042000011,
                "baseValues": 24,
                "commonValues": 30,
                "addedValues": 6,
                "addedPoints": 6,
                "points": 24,
                "compactValues": 30,
                "compactPoints": 24
              },
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 3,
                "complete": true,
                "reason": null,
                "nodes": 22441,
                "dead": 5242,
                "duplicates": 0,
                "states": 22442,
                "solutions": 2592,
                "elapsedMs": 51510.708709,
                "baseValues": 30,
                "commonValues": 36,
                "addedValues": 6,
                "addedPoints": 6,
                "points": 30,
                "compactValues": 36,
                "compactPoints": 30
              }
            ]
          },
          {
            "id": 2,
            "initialValues": 28,
            "initialPoints": 21,
            "blocked": 188,
            "stages": [
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 1,
                "complete": true,
                "reason": null,
                "nodes": 455,
                "dead": 205,
                "duplicates": 6,
                "states": 450,
                "solutions": 74,
                "elapsedMs": 1075.036374999996,
                "baseValues": 28,
                "commonValues": 31,
                "addedValues": 3,
                "addedPoints": 3,
                "points": 22,
                "compactValues": 29,
                "compactPoints": 21
              },
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 2,
                "complete": true,
                "reason": null,
                "nodes": 8655,
                "dead": 3777,
                "duplicates": 29,
                "states": 8627,
                "solutions": 679,
                "elapsedMs": 19765.983874999976,
                "baseValues": 29,
                "commonValues": 37,
                "addedValues": 8,
                "addedPoints": 8,
                "points": 26,
                "compactValues": 37,
                "compactPoints": 26
              },
              {
                "tile": "turtle",
                "rank": 3,
                "lattice": "index3",
                "radius": 3,
                "complete": false,
                "reason": "time limit",
                "nodes": 22832,
                "dead": 9078,
                "duplicates": 26,
                "states": 22807,
                "solutions": 2011,
                "elapsedMs": 60027.48533300002,
                "baseValues": 37,
                "commonValues": 201,
                "addedValues": 164,
                "addedPoints": 115,
                "points": 129,
                "compactValues": null,
                "compactPoints": null
              }
            ]
          }
        ],
        "elapsedMs": 315119.84233300004
      },
      "growth": {
        "tile": "turtle",
        "protocol": {
          "target": 100,
          "ms": 6000,
          "seeds": [
            1,
            3
          ],
          "nodeLimit": 100000,
          "score": "Zero in every arm",
          "derivationExcluded": true,
          "order": "Forward for first seed, reversed for second",
          "concurrentExperimentJobs": false
        },
        "rows": [
          {
            "arm": "unmarked",
            "seed": 1,
            "result": "unknown",
            "tiles": 68,
            "nodes": 1780,
            "backtracks": 1726,
            "values": 0,
            "elapsedMs": 6004.194165999999,
            "verificationMs": 3.258625000000393,
            "verified": true
          },
          {
            "arm": "m0-initial",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 377,
            "backtracks": 278,
            "values": 30,
            "elapsedMs": 2184.0233749999998,
            "verificationMs": 7.634749999999258,
            "verified": true
          },
          {
            "arm": "m0-c1",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 492,
            "backtracks": 393,
            "values": 36,
            "elapsedMs": 2368.9890419999992,
            "verificationMs": 8.5434580000001,
            "verified": true
          },
          {
            "arm": "m0-c2",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 140,
            "backtracks": 41,
            "values": 61,
            "elapsedMs": 941.876624999999,
            "verificationMs": 10.571750000000975,
            "verified": true
          },
          {
            "arm": "m0-c3",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 130,
            "backtracks": 31,
            "values": 99,
            "elapsedMs": 1290.3315000000002,
            "verificationMs": 15.306957999999213,
            "verified": true
          },
          {
            "arm": "m1-initial",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 130,
            "backtracks": 31,
            "values": 24,
            "elapsedMs": 775.0849159999998,
            "verificationMs": 4.974375000001601,
            "verified": true
          },
          {
            "arm": "m1-c1",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 130,
            "backtracks": 31,
            "values": 24,
            "elapsedMs": 824.1788749999996,
            "verificationMs": 4.972624999998516,
            "verified": true
          },
          {
            "arm": "m1-c2",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 130,
            "backtracks": 31,
            "values": 30,
            "elapsedMs": 816.4852499999997,
            "verificationMs": 6.298958999999741,
            "verified": true
          },
          {
            "arm": "m1-c3",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 130,
            "backtracks": 31,
            "values": 36,
            "elapsedMs": 860.6983749999999,
            "verificationMs": 6.597084000000905,
            "verified": true
          },
          {
            "arm": "m2-initial",
            "seed": 1,
            "result": "unknown",
            "tiles": 85,
            "nodes": 1273,
            "backtracks": 1204,
            "values": 28,
            "elapsedMs": 6004.986500000001,
            "verificationMs": 5.144749999999476,
            "verified": true
          },
          {
            "arm": "m2-c1",
            "seed": 1,
            "result": "unknown",
            "tiles": 85,
            "nodes": 1266,
            "backtracks": 1185,
            "values": 29,
            "elapsedMs": 6006.199291000001,
            "verificationMs": 5.98412499999904,
            "verified": true
          },
          {
            "arm": "m2-c2",
            "seed": 1,
            "result": "unknown",
            "tiles": 85,
            "nodes": 1231,
            "backtracks": 1151,
            "values": 37,
            "elapsedMs": 6013.607124999999,
            "verificationMs": 6.5460410000014235,
            "verified": true
          },
          {
            "arm": "m2-c2",
            "seed": 3,
            "result": "unknown",
            "tiles": 89,
            "nodes": 1219,
            "backtracks": 1142,
            "values": 37,
            "elapsedMs": 6003.244249999996,
            "verificationMs": 5.993249999999534,
            "verified": true
          },
          {
            "arm": "m2-c1",
            "seed": 3,
            "result": "unknown",
            "tiles": 89,
            "nodes": 1234,
            "backtracks": 1157,
            "values": 29,
            "elapsedMs": 6009.465666999997,
            "verificationMs": 5.271749999999884,
            "verified": true
          },
          {
            "arm": "m2-initial",
            "seed": 3,
            "result": "unknown",
            "tiles": 89,
            "nodes": 1240,
            "backtracks": 1158,
            "values": 28,
            "elapsedMs": 6002.900167,
            "verificationMs": 6.193166999997629,
            "verified": true
          },
          {
            "arm": "m1-c3",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 163,
            "backtracks": 64,
            "values": 36,
            "elapsedMs": 957.0936250000013,
            "verificationMs": 7.616874999999709,
            "verified": true
          },
          {
            "arm": "m1-c2",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 163,
            "backtracks": 64,
            "values": 30,
            "elapsedMs": 876.8212500000009,
            "verificationMs": 7.450750000003609,
            "verified": true
          },
          {
            "arm": "m1-c1",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 163,
            "backtracks": 64,
            "values": 24,
            "elapsedMs": 824.3790829999998,
            "verificationMs": 6.684166999999434,
            "verified": true
          },
          {
            "arm": "m1-initial",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 163,
            "backtracks": 64,
            "values": 24,
            "elapsedMs": 814.4857090000005,
            "verificationMs": 6.441499999993539,
            "verified": true
          },
          {
            "arm": "m0-c3",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 353,
            "backtracks": 254,
            "values": 99,
            "elapsedMs": 2582.4887910000034,
            "verificationMs": 16.11333300000115,
            "verified": true
          },
          {
            "arm": "m0-c2",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 141,
            "backtracks": 42,
            "values": 61,
            "elapsedMs": 957.1484160000036,
            "verificationMs": 10.224957999998878,
            "verified": true
          },
          {
            "arm": "m0-c1",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 145,
            "backtracks": 46,
            "values": 36,
            "elapsedMs": 915.5381669999988,
            "verificationMs": 6.995875000000524,
            "verified": true
          },
          {
            "arm": "m0-initial",
            "seed": 3,
            "result": "yes",
            "tiles": 100,
            "nodes": 500,
            "backtracks": 401,
            "values": 30,
            "elapsedMs": 2465.1977499999994,
            "verificationMs": 6.653874999996333,
            "verified": true
          },
          {
            "arm": "unmarked",
            "seed": 3,
            "result": "unknown",
            "tiles": 68,
            "nodes": 2089,
            "backtracks": 2023,
            "values": 0,
            "elapsedMs": 6004.693500000001,
            "verificationMs": 2.127374999996391,
            "verified": true
          }
        ]
      },
      "finding": "A grows 30 \u2192 36 \u2192 61 \u2192 99 assigned values. B plateaus at its first round, then grows 24 \u2192 30 \u2192 36. C has an unfinished third catalogue, so its provisional intersection is excluded.",
      "benchmarkFinding": "For A, the second extension reached 100 tiles in 0.94\u20130.96 s, versus 2.18\u20132.47 s initially. B already reached the target in about 0.8 s before extension. Unmarked growth timed out at 6 s on both seeds. The best initial classification score did not identify the fastest marking."
    },
    {
      "tile": "hat",
      "workflow": {
        "tile": "hat",
        "catalog": {
          "tile": "hat",
          "rank": 3,
          "lattice": "index3",
          "radius": 1,
          "complete": true,
          "reason": null,
          "nodes": 2349,
          "dead": 1866,
          "duplicates": 15,
          "states": 2335,
          "solutions": 105,
          "elapsedMs": 1975.537084,
          "baseValues": 0,
          "commonValues": 0,
          "addedValues": 0,
          "addedPoints": 0,
          "points": 0
        },
        "domain": 78,
        "positive": 44,
        "negative": 183,
        "fitMs": 844.7509999999997,
        "fits": 15009,
        "distinct": 6,
        "denseBlocked": 0,
        "results": [
          {
            "id": 0,
            "initialValues": 16,
            "initialPoints": 12,
            "blocked": 102,
            "stages": [
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 1,
                "complete": true,
                "reason": null,
                "nodes": 807,
                "dead": 452,
                "duplicates": 16,
                "states": 792,
                "solutions": 74,
                "elapsedMs": 1255.3832920000004,
                "baseValues": 16,
                "commonValues": 19,
                "addedValues": 3,
                "addedPoints": 3,
                "points": 14,
                "compactValues": 18,
                "compactPoints": 14
              },
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 2,
                "complete": true,
                "reason": null,
                "nodes": 13492,
                "dead": 6662,
                "duplicates": 111,
                "states": 13382,
                "solutions": 679,
                "elapsedMs": 20237.990792,
                "baseValues": 18,
                "commonValues": 23,
                "addedValues": 5,
                "addedPoints": 5,
                "points": 18,
                "compactValues": 22,
                "compactPoints": 18
              },
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 3,
                "complete": false,
                "reason": "time limit",
                "nodes": 36463,
                "dead": 17795,
                "duplicates": 151,
                "states": 36312,
                "solutions": 685,
                "elapsedMs": 60015.82037500001,
                "baseValues": 22,
                "commonValues": 96,
                "addedValues": 74,
                "addedPoints": 61,
                "points": 72,
                "compactValues": null,
                "compactPoints": null
              }
            ]
          },
          {
            "id": 1,
            "initialValues": 19,
            "initialPoints": 16,
            "blocked": 83,
            "stages": [
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 1,
                "complete": true,
                "reason": null,
                "nodes": 790,
                "dead": 475,
                "duplicates": 8,
                "states": 783,
                "solutions": 69,
                "elapsedMs": 1368.4651250000024,
                "baseValues": 19,
                "commonValues": 23,
                "addedValues": 4,
                "addedPoints": 4,
                "points": 19,
                "compactValues": 23,
                "compactPoints": 19
              },
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 2,
                "complete": true,
                "reason": null,
                "nodes": 10309,
                "dead": 4896,
                "duplicates": 76,
                "states": 10234,
                "solutions": 639,
                "elapsedMs": 18194.436291000005,
                "baseValues": 23,
                "commonValues": 38,
                "addedValues": 15,
                "addedPoints": 13,
                "points": 31,
                "compactValues": 36,
                "compactPoints": 29
              },
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 3,
                "complete": false,
                "reason": "time limit",
                "nodes": 25267,
                "dead": 11540,
                "duplicates": 179,
                "states": 25089,
                "solutions": 558,
                "elapsedMs": 60019.80099999999,
                "baseValues": 36,
                "commonValues": 206,
                "addedValues": 170,
                "addedPoints": 131,
                "points": 149,
                "compactValues": null,
                "compactPoints": null
              }
            ]
          },
          {
            "id": 2,
            "initialValues": 23,
            "initialPoints": 17,
            "blocked": 48,
            "stages": [
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 1,
                "complete": true,
                "reason": null,
                "nodes": 1365,
                "dead": 957,
                "duplicates": 14,
                "states": 1352,
                "solutions": 88,
                "elapsedMs": 2559.6925000000047,
                "baseValues": 23,
                "commonValues": 29,
                "addedValues": 6,
                "addedPoints": 6,
                "points": 19,
                "compactValues": 29,
                "compactPoints": 19
              },
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 2,
                "complete": true,
                "reason": null,
                "nodes": 11313,
                "dead": 6053,
                "duplicates": 112,
                "states": 11202,
                "solutions": 679,
                "elapsedMs": 22894.714499999973,
                "baseValues": 29,
                "commonValues": 81,
                "addedValues": 52,
                "addedPoints": 47,
                "points": 65,
                "compactValues": 81,
                "compactPoints": 65
              },
              {
                "tile": "hat",
                "rank": 3,
                "lattice": "index3",
                "radius": 3,
                "complete": false,
                "reason": "time limit",
                "nodes": 13634,
                "dead": 4888,
                "duplicates": 150,
                "states": 13484,
                "solutions": 555,
                "elapsedMs": 60037.560750000004,
                "baseValues": 81,
                "commonValues": 465,
                "addedValues": 384,
                "addedPoints": 306,
                "points": 341,
                "compactValues": null,
                "compactPoints": null
              }
            ]
          }
        ],
        "elapsedMs": 256986.425708
      },
      "growth": {
        "tile": "hat",
        "protocol": {
          "target": 100,
          "ms": 6000,
          "seeds": [
            1,
            3
          ],
          "nodeLimit": 100000,
          "score": "Zero in every arm",
          "derivationExcluded": true,
          "order": "Forward for first seed, reversed for second",
          "concurrentExperimentJobs": false
        },
        "rows": [
          {
            "arm": "unmarked",
            "seed": 1,
            "result": "unknown",
            "tiles": 79,
            "nodes": 2542,
            "backtracks": 2483,
            "values": 0,
            "elapsedMs": 6004.822875,
            "verificationMs": 2.7095829999998386,
            "verified": true
          },
          {
            "arm": "m0-initial",
            "seed": 1,
            "result": "yes",
            "tiles": 100,
            "nodes": 1692,
            "backtracks": 1593,
            "values": 16,
            "elapsedMs": 3965.6014999999998,
            "verificationMs": 7.664542000000438,
            "verified": true
          },
          {
            "arm": "m0-c1",
            "seed": 1,
            "result": "unknown",
            "tiles": 98,
            "nodes": 2169,
            "backtracks": 2077,
            "values": 18,
            "elapsedMs": 6012.263084,
            "verificationMs": 3.501709000000119,
            "verified": true
          },
          {
            "arm": "m0-c2",
            "seed": 1,
            "result": "unknown",
            "tiles": 95,
            "nodes": 1219,
            "backtracks": 1151,
            "values": 22,
            "elapsedMs": 6006.232624999999,
            "verificationMs": 4.109249999997701,
            "verified": true
          },
          {
            "arm": "m1-initial",
            "seed": 1,
            "result": "unknown",
            "tiles": 88,
            "nodes": 2187,
            "backtracks": 2104,
            "values": 19,
            "elapsedMs": 6009.0692500000005,
            "verificationMs": 5.045500000000175,
            "verified": true
          },
          {
            "arm": "m1-c1",
            "seed": 1,
            "result": "unknown",
            "tiles": 88,
            "nodes": 2505,
            "backtracks": 2440,
            "values": 23,
            "elapsedMs": 6006.462834000002,
            "verificationMs": 3.868957999999111,
            "verified": true
          },
          {
            "arm": "m1-c2",
            "seed": 1,
            "result": "unknown",
            "tiles": 86,
            "nodes": 2448,
            "backtracks": 2366,
            "values": 36,
            "elapsedMs": 6008.426791999998,
            "verificationMs": 4.9568750000034925,
            "verified": true
          },
          {
            "arm": "m2-initial",
            "seed": 1,
            "result": "unknown",
            "tiles": 77,
            "nodes": 1753,
            "backtracks": 1689,
            "values": 23,
            "elapsedMs": 6008.743583000003,
            "verificationMs": 3.7888329999987036,
            "verified": true
          },
          {
            "arm": "m2-c1",
            "seed": 1,
            "result": "unknown",
            "tiles": 91,
            "nodes": 1460,
            "backtracks": 1377,
            "values": 29,
            "elapsedMs": 6005.071415999999,
            "verificationMs": 5.146875000005821,
            "verified": true
          },
          {
            "arm": "m2-c2",
            "seed": 1,
            "result": "unknown",
            "tiles": 97,
            "nodes": 1501,
            "backtracks": 1415,
            "values": 81,
            "elapsedMs": 6003.3526249999995,
            "verificationMs": 11.863541999999143,
            "verified": true
          },
          {
            "arm": "m2-c2",
            "seed": 3,
            "result": "unknown",
            "tiles": 80,
            "nodes": 1645,
            "backtracks": 1570,
            "values": 81,
            "elapsedMs": 6005.4957090000025,
            "verificationMs": 9.424374999995052,
            "verified": true
          },
          {
            "arm": "m2-c1",
            "seed": 3,
            "result": "unknown",
            "tiles": 93,
            "nodes": 1666,
            "backtracks": 1577,
            "values": 29,
            "elapsedMs": 6005.516457999991,
            "verificationMs": 4.629458999988856,
            "verified": true
          },
          {
            "arm": "m2-initial",
            "seed": 3,
            "result": "unknown",
            "tiles": 94,
            "nodes": 1722,
            "backtracks": 1638,
            "values": 23,
            "elapsedMs": 6009.394249999998,
            "verificationMs": 4.218207999991137,
            "verified": true
          },
          {
            "arm": "m1-c2",
            "seed": 3,
            "result": "unknown",
            "tiles": 90,
            "nodes": 2654,
            "backtracks": 2595,
            "values": 36,
            "elapsedMs": 6005.722041999994,
            "verificationMs": 4.45412499998929,
            "verified": true
          },
          {
            "arm": "m1-c1",
            "seed": 3,
            "result": "unknown",
            "tiles": 90,
            "nodes": 2544,
            "backtracks": 2464,
            "values": 23,
            "elapsedMs": 6002.335208000004,
            "verificationMs": 3.574457999988226,
            "verified": true
          },
          {
            "arm": "m1-initial",
            "seed": 3,
            "result": "unknown",
            "tiles": 94,
            "nodes": 2391,
            "backtracks": 2329,
            "values": 19,
            "elapsedMs": 6006.043875000003,
            "verificationMs": 3.5486670000100276,
            "verified": true
          },
          {
            "arm": "m0-c2",
            "seed": 3,
            "result": "unknown",
            "tiles": 97,
            "nodes": 1237,
            "backtracks": 1148,
            "values": 22,
            "elapsedMs": 6002.316124999998,
            "verificationMs": 4.311333000005106,
            "verified": true
          },
          {
            "arm": "m0-c1",
            "seed": 3,
            "result": "unknown",
            "tiles": 98,
            "nodes": 2510,
            "backtracks": 2423,
            "values": 18,
            "elapsedMs": 6011.935958000002,
            "verificationMs": 2.998166000004858,
            "verified": true
          },
          {
            "arm": "m0-initial",
            "seed": 3,
            "result": "unknown",
            "tiles": 98,
            "nodes": 2285,
            "backtracks": 2195,
            "values": 16,
            "elapsedMs": 6010.243208,
            "verificationMs": 3.5692500000004657,
            "verified": true
          },
          {
            "arm": "unmarked",
            "seed": 3,
            "result": "unknown",
            "tiles": 75,
            "nodes": 3119,
            "backtracks": 3057,
            "values": 0,
            "elapsedMs": 6008.115708000012,
            "verificationMs": 1.873583000007784,
            "verified": true
          }
        ]
      },
      "finding": "Allowing individual free components found useful Hat restrictions where the fully assigned marking blocked no failed attachments. All three alternatives completed two extension rounds; all third rounds remain unknown.",
      "benchmarkFinding": "The Hat extensions did not improve these growth runs. The initial A marking reached 100 tiles on seed 1; its extensions hit the time limit. See both seeds and every alternative below. Stronger constraints need not produce faster growth."
    }
  ]
}