{
 "run": "RUN-064",
 "subject": "BCODR LUC 02: the atomic cut of the frontier and its strict recomposition",
 "document": "main.zip!/BCODR/BCODR_LUC_02_Package_v0.1.zip!/BCODR_LUC_02_Atomic_Cut_and_Structural_Recomposition_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "W6": {
   "pass": true,
   "failures": []
  },
  "W7": {
   "pass": true,
   "failures": []
  },
  "W8": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "parents": [
   131,
   166,
   167,
   164,
   165,
   127,
   101,
   104,
   103
  ],
  "luc01_parents": true,
  "radii_luc01": [
   9,
   9
  ],
  "radii_rebuilt": 1e-09,
  "grid": [
   true,
   true,
   true
  ],
  "widths_even": true,
  "children": [
   288,
   288
  ],
  "ledger_boxes": true
 },
 "w2": {
  "same": [
   288,
   288
  ],
  "counts": {
   "BOTH": 9,
   "MINUS_ONLY": 187,
   "PLUS_ONLY": 4,
   "UNREACHED": 88
  },
  "aggregate": true,
  "per_parent": true,
  "T_plus": 1e-09,
  "T_minus": 4e-16,
  "nearest": [
   288,
   288
  ],
  "tied": [
   [
    "165:18",
    "165:19"
   ],
   [
    "UNREACHED"
   ]
  ],
  "margins": {
   "level1": [
    1.9e-05,
    0.0034
   ],
   "level2": [
    1.3e-05,
    2.5e-05
   ]
  },
  "root131": {
   "ray": 2,
   "prune": 8,
   "both": 0
  }
 },
 "w3": {
  "later": {
   "166": "T+",
   "167": "T+",
   "164": "T+",
   "165": "T+",
   "127": "T-",
   "101": "T+",
   "104": "T+",
   "103": "T+"
  },
  "attaining": {
   "166": 1,
   "167": 1,
   "164": 1,
   "165": 1,
   "127": 12,
   "101": 1,
   "104": 1,
   "103": 1
  },
  "both_within": true,
  "ray_end": 8,
  "ledger_on_radius": [
   19,
   19
  ]
 },
 "w4": {
  "127": {
   "near": [
    144,
    155
   ],
   "T_minus": "0.125",
   "float": [
    0.12499999999999978,
    0.12499999999999978
   ],
   "ledger": [
    144,
    0.12499999999999978
   ],
   "both_children": [
    [
     155
    ],
    [
     155
    ]
   ],
   "children": {
    "144": 8,
    "155": 24
   },
   "attaining": {
    "144": 4,
    "155": 8
   }
  },
  "101": {
   "near": [
    28
   ],
   "both_child": [
    [
     144
    ]
   ]
  },
  "ledger_flips": [
   101,
   127
  ],
  "flips": [
   101
  ]
 },
 "w5": {
  "classes": {
   "contact/parent": 17,
   "contact/own": 22,
   "face/parent": 19,
   "face/own": 23
  },
  "by_signature": {
   "BOTH": 7,
   "MINUS_ONLY": 6,
   "PLUS_ONLY": 2,
   "UNREACHED": 2
  },
  "ledger_partition": true,
  "file_partition": true,
  "own_role_differs": {
   "127": 16,
   "131": 16
  },
  "both_classes": [
   [
    [
     101
    ],
    [
     144
    ],
    1
   ],
   [
    [
     103
    ],
    [
     144
    ],
    1
   ],
   [
    [
     104
    ],
    [
     144
    ],
    1
   ],
   [
    [
     127
    ],
    [
     155
    ],
    2
   ],
   [
    [
     164
    ],
    [
     155
    ],
    1
   ],
   [
    [
     165
    ],
    [
     155
    ],
    1
   ],
   [
    [
     166,
     167
    ],
    [
     155
    ],
    2
   ]
  ],
  "cross_parent": [
   [
    166,
    167
   ]
  ],
  "both_meeting": []
 },
 "w6": {
  "records": true,
  "counts": true,
  "bits": true,
  "radii": 1e-09,
  "both": {
   "101:25": 1,
   "103:25": 1,
   "104:25": 1,
   "127:16": 6,
   "127:24": 3,
   "164:24": 1,
   "165:24": 1,
   "166:24": 1,
   "167:25": 1
  },
  "attaining": {
   "101:25": 1,
   "103:25": 1,
   "104:25": 1,
   "127:16": 8,
   "127:24": 4,
   "164:24": 1,
   "165:24": 1,
   "166:24": 1,
   "167:25": 1
  },
  "later": [
   "T+",
   "T-/127"
  ],
  "formula": true,
  "127": [
   9,
   0.140625
  ]
 },
 "w7": {
  "csv": [
   288,
   true,
   true
  ],
  "state": [
   9,
   288,
   17,
   7,
   3
  ],
  "state_matches": [
   true,
   true,
   true,
   true,
   true
  ],
  "graph_nodes": {
   "box": 9,
   "diamond": 3,
   "ellipse": 3,
   "oval": 7
  },
  "graph_families": {
   "SPLIT_155": [
    "R10"
   ],
   "TAIL_144": [
    "R14",
    "R15",
    "R16"
   ],
   "TAIL_155": [
    "R05",
    "R06",
    "R07"
   ]
  },
  "families": {
   "SPLIT_155": [
    "R10"
   ],
   "TAIL_144": [
    "R14",
    "R15",
    "R16"
   ],
   "TAIL_155": [
    "R05",
    "R06",
    "R07"
   ]
  },
  "graph_classes_are_both": true,
  "highest_priority": [
   127,
   "PROVENANCE_SWITCHING_THICK_INTERACTION_CORRIDOR"
  ],
  "next": "BCODR-LUC-03 — Deep Cut of Root 127 Provenance-Switching Corridor",
  "persistence_classes": true
 },
 "w8": {
  "lines": 40,
  "loads": [
   "1",
   "2",
   "3"
  ],
  "asserts": 15,
  "recomputes": false,
  "counts_from_children": false
 },
 "p1": {
  "digests": {
   "paper_sha256": true,
   "cut_sha256": true,
   "recomposition_sha256": true,
   "persistence_sha256": true,
   "csv_sha256": true,
   "graph_sha256": true,
   "verifier_sha256": true,
   "state_sha256": true
  },
  "dot_digested": false,
  "manifest": true,
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "replay": [
   "PASS",
   "children = 288",
   "signature counts = {'MINUS_ONLY': 187, 'UNREACHED': 88, 'PLUS_ONLY': 4, 'BOTH': 9}",
   "recomposed classes = 17",
   "BOTH geometric classes = 7",
   "root131 BOTH children = 0",
   "root127 BOTH grandchildren = 9"
  ]
 },
 "drill": {
  "plants": 18,
  "plants_caught_by_named_checks": 18,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 199,
  "must_stay_green_held": 199,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-cut-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-text-count",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-parents",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-luc01-radius",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-T-minus",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-signature",
    "kind": "mutation",
    "expected": [
     "W2",
     "W7"
    ],
    "tripped": [
     "W2",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-attains",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-ledger-off-radius",
    "kind": "mutation",
    "expected": [
     "W3",
     "W7"
    ],
    "tripped": [
     "W3",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-127-near",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-ledger-flip",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-class-label",
    "kind": "mutation",
    "expected": [
     "W5",
     "W7"
    ],
    "tripped": [
     "W5",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-own-role",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-level2-count",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-level2-attains",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-csv-value",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-graph-node",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-verifier-recount",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-paper-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}