{
  "status": "exact_checked_complete",
  "schema": "scissors-split-move-v2",
  "split_operations": 19,
  "move_operations": 20,
  "moved_piece_identities": 20,
  "physical_pieces": 21,
  "checked_face_contacts": 20,
  "final_piece_pair_checks": 210,
  "assemblies": {
    "icosidodecahedron": {
      "physical_pieces": 21,
      "volume_exact": [
        "-221/5",
        "0",
        "0",
        "9/25",
        "0",
        "0"
      ],
      "piece_pair_checks": 210,
      "uncovered_volume_exact": "0"
    }
  },
  "max_internal_cells_per_piece": 34,
  "volume_exact": [
    "-221/5",
    "0",
    "0",
    "9/25",
    "0",
    "0"
  ],
  "uncovered_volume_exact": "0",
  "limits": [
    "Endpoint geometry only; continuous paths and fabrication are not certified",
    "Connectivity means chains of positive-area facet contacts, not minimum feature size",
    "Trusted exact field, canonical roots, clipping and face-contact kernels"
  ],
  "proper_nonidentity_rotations": 20,
  "construction": "Hafner step 1: split the icosahedron and transfer its 20 pyramids",
  "stationary_piece": "icosidodecahedron",
  "finish_assemblies": {
    "augmented_icosidodecahedron": [
      "icosidodecahedron",
      "p0",
      "p2",
      "p4",
      "p6",
      "p8",
      "p10",
      "p12",
      "p14",
      "p16",
      "p18",
      "p20",
      "p22",
      "p24",
      "p26",
      "p28",
      "p30",
      "p32",
      "p34",
      "p36",
      "p37"
    ]
  },
  "source_files_sha256": {
    "construction/library/geometry.geom": "1bb3c8a38fdcaf3e61310d9d6242b8ec8e365f3af32a50f8843c586f2adde749",
    "construction/examples/hafner_nineteen_splits.geom": "cba4036b55379fc7b1fa2501544168b0af4075b3dd10234ea8afd46c295ee7da",
    "construction/examples/split_move_hafner.py": "58743d49bc40963fe634ac2809df19a42595a87b95ec7fbf8a6a760facec79d0",
    "construction/arrays.py": "c2b7bd177a86e3fb057174bebdf20355244784578416ff990f1535c6f1b4193a",
    "construction/history.py": "7bf0a3dd8c849c59c3c9143597b9d1025244b549d4ec91e127ae54dcb43c1bcc",
    "construction/contact.py": "288f6b144292bbcefb231647cee22fdf5a64833315b59b86c163169bb67ab00d",
    "construction/pieces.py": "4272601717b093e0946b27d489443729106a698af373e51ec4585a329216ebc3",
    "construction/goals.py": "f16a58090dbec4d9a6301d36c4f3722fd69ce7ca0d303f85e599c9d01a14374b",
    "construction/primitives.py": "455f2cbeafbf0e549a01b51edf10ca4f6ff4f7389208963b9e6aa5d0b48bee86",
    "construction/solids.py": "949d034f6d910fb4d2551c10f77391930ad866575e9c8d8131949354523244bc",
    "construction/vocabulary.py": "12ccbbbd91d7a3dd8191e6cb00aed351d0a1f5e09be4fea1e1f05ccefe59b339",
    "construction/relations.py": "bec6ab048176c805ffe3e14131b740588fdf70322506bb43bae9c48f95964405",
    "construction/definitions.py": "f4216810161fa5cd03541968c0768f92867d783664c8a54a3ba11710e14e450f",
    "construction/cycle_syntax.py": "3e3519a3604698679e1d7a139a5c3e49d85f8426aa889558670117aaa680f453",
    "construction/subroutines.py": "d5c87e6ca771c2f34ecd2956d3025f77e68b2376133dc4e611a11b9eed972cfd",
    "construction/language.py": "dac1e9205f1c167665f1e2300993c08300a4350e2981350eb922814e3583bd59",
    "experiments/certification/field.py": "6a45c6c81d4a5550d74db785dddfc1622684b4aa758f086275e12bb3d86c387e",
    "experiments/certification/geometry.py": "44ca875996973872c3e2eb7e161a2bbfed63a16429e66f52010ff11496aa280b",
    "experiments/certification/partition.py": "77d7036bdd4f6379885bb9853a903bc92a1b264bf54e616dfd5376ba6fd82d5c",
    "experiments/certification/certificate.py": "5e7b69c80d61cd89a4b8b39bd7bb4937d01d589552c9691d95136b6089f1311b"
  }
}