{
  "source": {
    "tiles": 7921,
    "vertices": 49246,
    "edges": 57166,
    "boundaryEdges": 3438,
    "sharedEdges": 53728,
    "maxHatReconstructionError": 3.609808855992622e-13,
    "source": "https://github.com/isohedral/hatviz",
    "method": "H metatile, four substitutions; coherent integer lift; no search engine"
  },
  "closedStars": 45808,
  "distinctCornerEquations": 26,
  "cornerRank": 14,
  "cornerWeights": [
    "2/3",
    "1/4",
    "1/3",
    "1/2",
    "1/3",
    "3/4",
    "1/3",
    "1/4",
    "1/3",
    "3/4",
    "1/3",
    "1/4",
    "2/3",
    "1/4"
  ],
  "sharedEdges": 53728,
  "edgeRank": 14,
  "edgeWeights": [
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2",
    "1/2"
  ],
  "cornerEquations": [
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1
    ],
    [
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      2,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      3,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      1
    ],
    [
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      3,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      2,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      2,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0
    ],
    [
      0,
      0,
      2,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      2,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      2,
      0,
      0,
      0,
      1,
      0,
      0,
      0
    ]
  ],
  "edgeEquations": [
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0
    ],
    [
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      1,
      0
    ],
    [
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0
    ]
  ],
  "mixedChecks": [
    {
      "path": "assets/j-search-patch-30.json",
      "tiles": 30,
      "closedCornerStars": 132,
      "sharedWholeEdges": 161
    },
    {
      "path": "sector-control-seed2.json",
      "tiles": 60,
      "closedCornerStars": 299,
      "sharedWholeEdges": 358
    }
  ],
  "cornerWeightsIntegerTwelfths": [
    8,
    3,
    4,
    6,
    4,
    9,
    4,
    3,
    4,
    9,
    4,
    3,
    8,
    3
  ],
  "edgeWeightsIntegerTwelfths": [
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6
  ],
  "engineValidation": {
    "mixed-corners": {
      "graphAudits": 17,
      "rollback": "exact",
      "independentTotals": "pass",
      "steps": 24
    },
    "mixed-edges": {
      "graphAudits": 18,
      "rollback": "exact",
      "independentTotals": "pass",
      "steps": 27
    },
    "pure-corners": {
      "graphAudits": 101,
      "rollback": "exact",
      "independentTotals": "pass",
      "steps": 276
    },
    "pure-edges": {
      "graphAudits": 17,
      "rollback": "exact",
      "independentTotals": "pass",
      "steps": 24
    },
    "scheduler": "global dead > global forced > earliest generation",
    "scope": "Exact integer finite-support point model on Z^4; unbounded growth activates newly exposed support only; no full-lattice or infinite-extension certificate."
  },
  "growth": {
    "mixed-corners": {
      "tiles": 30,
      "status": "consistent finite point patch",
      "stats": {
        "attempts": 365,
        "forced": 0,
        "branches": 38,
        "backtracks": 336,
        "capacityRejections": 43436,
        "graphAudits": 0,
        "candidates": 34750,
        "frontierPoints": 222,
        "pointNodes": 303
      },
      "auditSummary": "Overlapping polygons found in all three main projections. Corner values alone are insufficient."
    },
    "mixed-edges": {
      "tiles": 37,
      "status": "unknown",
      "stats": {
        "attempts": 2155,
        "forced": 308,
        "branches": 609,
        "backtracks": 2134,
        "capacityRejections": 615676,
        "graphAudits": 0,
        "candidates": 67984,
        "frontierPoints": 160,
        "pointNodes": 367
      },
      "auditSummary": "No polygon overlaps found in 21 sampled projections (Turtle \u2192 Spectre polygon \u2192 Hat)."
    },
    "pure-corners": {
      "tiles": 23,
      "status": "unknown",
      "stats": {
        "attempts": 2000,
        "forced": 0,
        "branches": 143,
        "backtracks": 2000,
        "capacityRejections": 271469,
        "graphAudits": 0,
        "candidates": 46400,
        "frontierPoints": 14,
        "pointNodes": 14
      },
      "auditSummary": "Overlapping polygons found in all three main projections. Corner values alone are insufficient."
    },
    "pure-edges": {
      "tiles": 100,
      "status": "consistent finite point patch",
      "stats": {
        "attempts": 1705,
        "forced": 306,
        "branches": 527,
        "backtracks": 1606,
        "capacityRejections": 503586,
        "graphAudits": 0,
        "candidates": 138829,
        "frontierPoints": 380,
        "pointNodes": 1491
      },
      "auditSummary": "No polygon overlaps found in 21 sampled projections (Turtle \u2192 Spectre polygon \u2192 Hat)."
    }
  },
  "limits": [
    "No proof of infinite extension or completeness of the inferred finite support.",
    "Unbounded growth activates exposed positive support; no claim of covering all Z^4.",
    "Projection audit is numerical at 21 samples, not a continuum certificate.",
    "No sector, edge-joining, polygon, or learned marking filter is used in point-search legality."
  ],
  "knownPatchReplay": {
    "tiles": 7921,
    "positiveSupportPoints": 106412,
    "maxIntegerCapacity": 12,
    "overfullPoints": 0,
    "completedPoints": 99536,
    "frontierPoints": 6876
  },
  "cornerSupportCount": 14,
  "midpointSupportCount": 28,
  "cornerEquationCount": 45808,
  "edgeEquationCount": 53728,
  "trainingScope": "Known substitution-derived pure patch plus sector-generated 30- and 60-tile mixed patches; finite evidence."
}