{
  "version": 1,
  "status": "certified subset-minimal forbidden triple",
  "scope": "No complete face/edge/vertex surround of the fixed core. Proper pairs have witnessed surrounds. Not an assertion that the raw packing overlaps, nor a new Heesch-number proof.",
  "fixed": [
    [
      0,
      [
        0,
        0,
        0
      ]
    ],
    [
      1,
      [
        -3,
        -1,
        -2
      ]
    ],
    [
      2,
      [
        -1,
        -3,
        1
      ]
    ]
  ],
  "deadPoint": [
    -1,
    -1,
    0
  ],
  "coverBlockers": [
    {
      "placement": [
        0,
        [
          -3,
          -1,
          0
        ]
      ],
      "roles": [
        1
      ]
    },
    {
      "placement": [
        0,
        [
          -2,
          -1,
          0
        ]
      ],
      "roles": [
        0,
        1
      ]
    },
    {
      "placement": [
        0,
        [
          -1,
          -3,
          0
        ]
      ],
      "roles": [
        2
      ]
    },
    {
      "placement": [
        0,
        [
          -1,
          -2,
          0
        ]
      ],
      "roles": [
        0,
        2
      ]
    },
    {
      "placement": [
        0,
        [
          -1,
          -1,
          0
        ]
      ],
      "roles": [
        0,
        1,
        2
      ]
    },
    {
      "placement": [
        0,
        [
          -1,
          0,
          0
        ]
      ],
      "roles": [
        0
      ]
    },
    {
      "placement": [
        0,
        [
          -1,
          1,
          0
        ]
      ],
      "roles": [
        0
      ]
    },
    {
      "placement": [
        0,
        [
          0,
          -1,
          0
        ]
      ],
      "roles": [
        0
      ]
    },
    {
      "placement": [
        0,
        [
          1,
          -1,
          0
        ]
      ],
      "roles": [
        0
      ]
    },
    {
      "placement": [
        1,
        [
          -3,
          -1,
          0
        ]
      ],
      "roles": [
        1
      ]
    },
    {
      "placement": [
        1,
        [
          -2,
          -1,
          0
        ]
      ],
      "roles": [
        0,
        1
      ]
    },
    {
      "placement": [
        1,
        [
          -1,
          -1,
          -2
        ]
      ],
      "roles": [
        1
      ]
    },
    {
      "placement": [
        1,
        [
          -1,
          -1,
          -1
        ]
      ],
      "roles": [
        1,
        2
      ]
    },
    {
      "placement": [
        1,
        [
          -1,
          -1,
          0
        ]
      ],
      "roles": [
        0,
        1,
        2
      ]
    },
    {
      "placement": [
        1,
        [
          -1,
          -1,
          1
        ]
      ],
      "roles": [
        2
      ]
    },
    {
      "placement": [
        1,
        [
          -1,
          -1,
          2
        ]
      ],
      "roles": [
        2
      ]
    },
    {
      "placement": [
        1,
        [
          0,
          -1,
          0
        ]
      ],
      "roles": [
        0
      ]
    },
    {
      "placement": [
        1,
        [
          1,
          -1,
          0
        ]
      ],
      "roles": [
        0
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          -3,
          0
        ]
      ],
      "roles": [
        2
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          -2,
          0
        ]
      ],
      "roles": [
        0,
        2
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          -1,
          -2
        ]
      ],
      "roles": [
        1
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          -1,
          -1
        ]
      ],
      "roles": [
        1,
        2
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          -1,
          0
        ]
      ],
      "roles": [
        0,
        1,
        2
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          -1,
          1
        ]
      ],
      "roles": [
        2
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          -1,
          2
        ]
      ],
      "roles": [
        2
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          0,
          0
        ]
      ],
      "roles": [
        0
      ]
    },
    {
      "placement": [
        2,
        [
          -1,
          1,
          0
        ]
      ],
      "roles": [
        0
      ]
    }
  ],
  "pairs": [
    {
      "status": "SAT",
      "fixed": [
        [
          0,
          [
            0,
            0,
            0
          ]
        ],
        [
          1,
          [
            -3,
            -1,
            -2
          ]
        ]
      ],
      "outer": [
        [
          0,
          [
            -6,
            -4,
            -3
          ]
        ],
        [
          0,
          [
            -6,
            -4,
            -2
          ]
        ],
        [
          0,
          [
            -6,
            -1,
            0
          ]
        ],
        [
          0,
          [
            -6,
            -1,
            1
          ]
        ],
        [
          0,
          [
            -4,
            1,
            -5
          ]
        ],
        [
          0,
          [
            -4,
            2,
            -4
          ]
        ],
        [
          0,
          [
            -1,
            -5,
            0
          ]
        ],
        [
          0,
          [
            -1,
            -5,
            1
          ]
        ],
        [
          0,
          [
            -1,
            3,
            0
          ]
        ],
        [
          0,
          [
            -1,
            4,
            1
          ]
        ],
        [
          0,
          [
            0,
            0,
            1
          ]
        ],
        [
          0,
          [
            2,
            3,
            1
          ]
        ],
        [
          0,
          [
            3,
            -3,
            0
          ]
        ],
        [
          0,
          [
            3,
            -3,
            1
          ]
        ],
        [
          0,
          [
            5,
            -1,
            -1
          ]
        ],
        [
          1,
          [
            -8,
            -2,
            -1
          ]
        ],
        [
          1,
          [
            -6,
            -1,
            -3
          ]
        ],
        [
          1,
          [
            -6,
            0,
            -3
          ]
        ],
        [
          1,
          [
            -3,
            0,
            -2
          ]
        ],
        [
          1,
          [
            -3,
            1,
            1
          ]
        ],
        [
          1,
          [
            -2,
            -1,
            -6
          ]
        ],
        [
          1,
          [
            -2,
            0,
            -6
          ]
        ],
        [
          1,
          [
            -2,
            1,
            -2
          ]
        ],
        [
          1,
          [
            -2,
            2,
            -1
          ]
        ],
        [
          1,
          [
            -1,
            3,
            -3
          ]
        ],
        [
          1,
          [
            0,
            -2,
            -4
          ]
        ],
        [
          1,
          [
            0,
            -1,
            -3
          ]
        ],
        [
          1,
          [
            0,
            0,
            -3
          ]
        ],
        [
          1,
          [
            1,
            1,
            -1
          ]
        ],
        [
          1,
          [
            1,
            2,
            -2
          ]
        ],
        [
          1,
          [
            1,
            2,
            3
          ]
        ],
        [
          1,
          [
            3,
            0,
            -2
          ]
        ],
        [
          1,
          [
            3,
            0,
            3
          ]
        ],
        [
          1,
          [
            3,
            1,
            3
          ]
        ],
        [
          1,
          [
            4,
            1,
            0
          ]
        ],
        [
          2,
          [
            -5,
            -3,
            -1
          ]
        ],
        [
          2,
          [
            -5,
            -2,
            -4
          ]
        ],
        [
          2,
          [
            -5,
            2,
            -1
          ]
        ],
        [
          2,
          [
            -4,
            -3,
            -4
          ]
        ],
        [
          2,
          [
            -4,
            -2,
            -7
          ]
        ],
        [
          2,
          [
            -4,
            -2,
            -1
          ]
        ],
        [
          2,
          [
            -4,
            0,
            2
          ]
        ],
        [
          2,
          [
            -3,
            -4,
            -2
          ]
        ],
        [
          2,
          [
            -3,
            -2,
            -5
          ]
        ],
        [
          2,
          [
            -3,
            -2,
            1
          ]
        ],
        [
          2,
          [
            -2,
            -4,
            -5
          ]
        ],
        [
          2,
          [
            -2,
            -2,
            -1
          ]
        ],
        [
          2,
          [
            -2,
            -1,
            2
          ]
        ],
        [
          2,
          [
            -1,
            -2,
            -1
          ]
        ],
        [
          2,
          [
            -1,
            -1,
            2
          ]
        ],
        [
          2,
          [
            0,
            -4,
            -1
          ]
        ],
        [
          2,
          [
            0,
            -3,
            2
          ]
        ],
        [
          2,
          [
            0,
            5,
            -1
          ]
        ],
        [
          2,
          [
            1,
            -2,
            -1
          ]
        ],
        [
          2,
          [
            1,
            -1,
            2
          ]
        ],
        [
          2,
          [
            1,
            5,
            -1
          ]
        ],
        [
          2,
          [
            2,
            -2,
            -1
          ]
        ],
        [
          2,
          [
            2,
            -1,
            2
          ]
        ]
      ],
      "haloCells": 162,
      "roles": [
        0,
        1
      ]
    },
    {
      "status": "SAT",
      "fixed": [
        [
          0,
          [
            0,
            0,
            0
          ]
        ],
        [
          2,
          [
            -1,
            -3,
            1
          ]
        ]
      ],
      "outer": [
        [
          0,
          [
            -4,
            -2,
            -2
          ]
        ],
        [
          0,
          [
            -3,
            -4,
            -1
          ]
        ],
        [
          0,
          [
            -3,
            -1,
            0
          ]
        ],
        [
          0,
          [
            -2,
            -6,
            1
          ]
        ],
        [
          0,
          [
            -2,
            -4,
            0
          ]
        ],
        [
          0,
          [
            -2,
            -4,
            2
          ]
        ],
        [
          0,
          [
            -2,
            -4,
            3
          ]
        ],
        [
          0,
          [
            -2,
            -1,
            -1
          ]
        ],
        [
          0,
          [
            -2,
            1,
            1
          ]
        ],
        [
          0,
          [
            -2,
            3,
            0
          ]
        ],
        [
          0,
          [
            -1,
            0,
            2
          ]
        ],
        [
          0,
          [
            -1,
            4,
            1
          ]
        ],
        [
          0,
          [
            0,
            3,
            -1
          ]
        ],
        [
          0,
          [
            1,
            0,
            -1
          ]
        ],
        [
          0,
          [
            1,
            0,
            1
          ]
        ],
        [
          0,
          [
            1,
            4,
            0
          ]
        ],
        [
          0,
          [
            2,
            -2,
            2
          ]
        ],
        [
          0,
          [
            2,
            -2,
            3
          ]
        ],
        [
          0,
          [
            2,
            3,
            1
          ]
        ],
        [
          0,
          [
            3,
            1,
            0
          ]
        ],
        [
          0,
          [
            4,
            -1,
            1
          ]
        ],
        [
          0,
          [
            4,
            1,
            -1
          ]
        ],
        [
          1,
          [
            -5,
            0,
            1
          ]
        ],
        [
          1,
          [
            -5,
            1,
            -1
          ]
        ],
        [
          1,
          [
            -4,
            -3,
            1
          ]
        ],
        [
          1,
          [
            -4,
            -2,
            1
          ]
        ],
        [
          1,
          [
            -3,
            0,
            -3
          ]
        ],
        [
          1,
          [
            -2,
            -4,
            -4
          ]
        ],
        [
          1,
          [
            -2,
            -4,
            6
          ]
        ],
        [
          1,
          [
            -2,
            -3,
            -4
          ]
        ],
        [
          1,
          [
            -1,
            -6,
            4
          ]
        ],
        [
          1,
          [
            -1,
            -5,
            4
          ]
        ],
        [
          1,
          [
            -1,
            -3,
            6
          ]
        ],
        [
          1,
          [
            -1,
            -2,
            5
          ]
        ],
        [
          1,
          [
            -1,
            1,
            -2
          ]
        ],
        [
          1,
          [
            -1,
            2,
            -2
          ]
        ],
        [
          1,
          [
            1,
            -4,
            4
          ]
        ],
        [
          1,
          [
            2,
            -6,
            2
          ]
        ],
        [
          1,
          [
            2,
            -5,
            2
          ]
        ],
        [
          1,
          [
            2,
            -4,
            -1
          ]
        ],
        [
          2,
          [
            -3,
            -1,
            3
          ]
        ],
        [
          2,
          [
            -2,
            -1,
            4
          ]
        ],
        [
          2,
          [
            -1,
            -7,
            0
          ]
        ],
        [
          2,
          [
            -1,
            -2,
            -2
          ]
        ],
        [
          2,
          [
            0,
            -8,
            0
          ]
        ],
        [
          2,
          [
            0,
            -5,
            -2
          ]
        ],
        [
          2,
          [
            0,
            -3,
            1
          ]
        ],
        [
          2,
          [
            0,
            -2,
            -3
          ]
        ],
        [
          2,
          [
            0,
            -1,
            4
          ]
        ],
        [
          2,
          [
            0,
            2,
            3
          ]
        ],
        [
          2,
          [
            1,
            -3,
            0
          ]
        ],
        [
          2,
          [
            2,
            -1,
            -2
          ]
        ],
        [
          2,
          [
            3,
            -1,
            -3
          ]
        ],
        [
          2,
          [
            3,
            1,
            3
          ]
        ]
      ],
      "haloCells": 156,
      "roles": [
        0,
        2
      ]
    },
    {
      "status": "SAT",
      "fixed": [
        [
          1,
          [
            -3,
            -1,
            -2
          ]
        ],
        [
          2,
          [
            -1,
            -3,
            1
          ]
        ]
      ],
      "outer": [
        [
          0,
          [
            -6,
            -2,
            -5
          ]
        ],
        [
          0,
          [
            -6,
            1,
            -3
          ]
        ],
        [
          0,
          [
            -6,
            1,
            -2
          ]
        ],
        [
          0,
          [
            -4,
            -4,
            0
          ]
        ],
        [
          0,
          [
            -4,
            -4,
            3
          ]
        ],
        [
          0,
          [
            -4,
            -4,
            4
          ]
        ],
        [
          0,
          [
            -4,
            0,
            1
          ]
        ],
        [
          0,
          [
            -4,
            1,
            -1
          ]
        ],
        [
          0,
          [
            -4,
            1,
            0
          ]
        ],
        [
          0,
          [
            -2,
            -7,
            0
          ]
        ],
        [
          0,
          [
            -2,
            -6,
            1
          ]
        ],
        [
          0,
          [
            -2,
            -5,
            2
          ]
        ],
        [
          0,
          [
            -2,
            -4,
            -5
          ]
        ],
        [
          0,
          [
            -2,
            2,
            2
          ]
        ],
        [
          0,
          [
            -1,
            0,
            -1
          ]
        ],
        [
          0,
          [
            -1,
            0,
            0
          ]
        ],
        [
          0,
          [
            0,
            2,
            -3
          ]
        ],
        [
          0,
          [
            0,
            2,
            -2
          ]
        ],
        [
          1,
          [
            -7,
            -1,
            -1
          ]
        ],
        [
          1,
          [
            -7,
            0,
            -1
          ]
        ],
        [
          1,
          [
            -6,
            -2,
            -1
          ]
        ],
        [
          1,
          [
            -3,
            -2,
            -2
          ]
        ],
        [
          1,
          [
            -2,
            -2,
            2
          ]
        ],
        [
          1,
          [
            -2,
            -1,
            2
          ]
        ],
        [
          1,
          [
            -1,
            -6,
            -2
          ]
        ],
        [
          1,
          [
            -1,
            -5,
            -2
          ]
        ],
        [
          1,
          [
            -1,
            -4,
            -2
          ]
        ],
        [
          1,
          [
            -1,
            -3,
            -4
          ]
        ],
        [
          1,
          [
            0,
            -2,
            -3
          ]
        ],
        [
          1,
          [
            0,
            -1,
            -3
          ]
        ],
        [
          1,
          [
            2,
            -6,
            0
          ]
        ],
        [
          1,
          [
            2,
            -5,
            1
          ]
        ],
        [
          1,
          [
            2,
            -4,
            -1
          ]
        ],
        [
          1,
          [
            2,
            -3,
            4
          ]
        ],
        [
          1,
          [
            2,
            -2,
            1
          ]
        ],
        [
          2,
          [
            -5,
            -3,
            -3
          ]
        ],
        [
          2,
          [
            -5,
            0,
            -4
          ]
        ],
        [
          2,
          [
            -4,
            -3,
            -3
          ]
        ],
        [
          2,
          [
            -4,
            -1,
            -7
          ]
        ],
        [
          2,
          [
            -4,
            0,
            -4
          ]
        ],
        [
          2,
          [
            -3,
            -3,
            1
          ]
        ],
        [
          2,
          [
            -3,
            0,
            -5
          ]
        ],
        [
          2,
          [
            -3,
            2,
            -2
          ]
        ],
        [
          2,
          [
            -2,
            -3,
            -1
          ]
        ],
        [
          2,
          [
            -2,
            -3,
            5
          ]
        ],
        [
          2,
          [
            -2,
            -1,
            -7
          ]
        ],
        [
          2,
          [
            -2,
            0,
            -4
          ]
        ],
        [
          2,
          [
            -1,
            -8,
            2
          ]
        ],
        [
          2,
          [
            -1,
            -4,
            4
          ]
        ],
        [
          2,
          [
            -1,
            0,
            -4
          ]
        ],
        [
          2,
          [
            -1,
            0,
            3
          ]
        ],
        [
          2,
          [
            0,
            -8,
            2
          ]
        ],
        [
          2,
          [
            0,
            -4,
            3
          ]
        ],
        [
          2,
          [
            0,
            -3,
            0
          ]
        ],
        [
          2,
          [
            0,
            0,
            4
          ]
        ],
        [
          2,
          [
            0,
            1,
            1
          ]
        ]
      ],
      "haloCells": 168,
      "roles": [
        1,
        2
      ]
    }
  ],
  "marking": {
    "kind": "constraint-valued-section",
    "fiberStates": 3,
    "allowedMasks": [
      6,
      5,
      3
    ],
    "trials": [
      {
        "fiberStates": 1,
        "status": "UNSAT"
      },
      {
        "fiberStates": 2,
        "status": "UNSAT"
      },
      {
        "fiberStates": 3,
        "status": "SAT"
      }
    ],
    "semantics": "At each marked point/channel, intersect admissible fiber states. Empty intersection rejects. This replaces fixed-value equality only in this isolated prototype."
  },
  "search": {
    "attemptedTriples": 1,
    "unknownPairQueries": 0,
    "seconds": 0.121997,
    "completeCatalogue": false
  },
  "finiteBoundaryRule": "Apply a learned obstruction in a finite-corona search only when its transformed dead point is an active required cell. An outer boundary hole need not be filled."
}