{
 "run": "RUN-063",
 "subject": "BCODR LUC 01: the bidirectional kernel closure of root 6217's shape space",
 "document": "main.zip!/BCODR/BCODR_LUC_01_Package_v0.1.zip!/BCODR_LUC_01_Root6217_Bidirectional_Kernel_Closure_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "text": true,
  "ledger": [
   true,
   true,
   true
  ]
 },
 "w2": {
  "T_plus": 2e-09,
  "T_minus": 3e-16,
  "prune_roots": [
   140,
   140
  ],
  "ties": [
   1,
   6,
   31,
   51,
   64,
   74,
   96,
   127,
   168
  ],
  "formulas_below_1e-12": [
   true,
   true,
   true,
   true
  ],
  "score_median": 0.766444,
  "median_of_all": 0.696945
 },
 "w3": {
  "rounding_below": true,
  "overlaps_all": 0,
  "pairs": [
   64,
   35
  ],
  "dims": {
   "1": 40,
   "2": 14,
   "3": 8,
   "4": 2
  },
  "touching": [
   55,
   55
  ],
  "positive_overlaps": 0
 },
 "w4": {
  "nexus": [
   131
  ],
  "ray_holders": [
   [
    131
   ]
  ],
  "finite": 140,
  "top8": [
   166,
   167,
   164,
   165,
   127,
   101,
   104,
   103
  ],
  "text_top8": true,
  "ledger_top8": [
   166,
   167,
   164,
   165,
   127,
   101,
   104,
   103
  ],
  "at_end": 178,
  "cuts": {
   "0.001": [
    164,
    165,
    127,
    166,
    167,
    101,
    104,
    103
   ],
   "0.002": [
    164,
    166,
    165,
    167,
    127,
    101,
    104,
    103
   ],
   "0.003": [
    166,
    167,
    164,
    165,
    127,
    101,
    104,
    103
   ],
   "0.004": [
    166,
    167,
    164,
    165,
    160,
    168,
    127,
    101
   ],
   "0.006": [
    166,
    167,
    165,
    164,
    100,
    101,
    104,
    168
   ]
  }
 },
 "w5": {
  "classes": {
   "LOCAL_ONLY": 10,
   "SPLIT_AT_RHO_CUT": 44,
   "TAIL_ONLY": 141
  },
  "covered": 0.559,
  "missing_in_branch": 0.146
 },
 "w6": {
  "state_counts": true,
  "csv": [
   195,
   true,
   true
  ],
  "graph_cells": [
   101,
   103,
   104,
   127,
   131,
   164,
   165,
   166,
   167
  ],
  "graph_is_nexus_and_top8": true,
  "schema_roles": [
   "ZERO_RADIUS_CONTACT_NEXUS",
   "OUTWARD_SEED_CONTACT",
   "INWARD_CERT_BOUNDARY_CONTACT",
   "FINITE_RADIUS_FIELD_CELL"
  ],
  "next": "BCODR-LUC-02 — Atomic Cut and Structural Recomposition"
 },
 "w7": {
  "lines": 32,
  "reads_boxes": false,
  "asserts_constants": 4,
  "prints_pairs_unchecked": true
 },
 "p1": {
  "digests": {
   "paper_sha256": true,
   "ledger_sha256": true,
   "csv_sha256": true,
   "schema_sha256": true,
   "graph_sha256": true,
   "verifier_sha256": true,
   "state_sha256": true
  },
  "dot_digested": false,
  "manifest": true,
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "replay": [
   "PASS",
   "shape-active cells = 195",
   "boundary contact pairs = 35",
   "positive-measure active/prune overlap = 0",
   "zero-radius nexus ids = [131]",
   "top finite balanced ids = [166, 167, 164, 165, 127, 101, 104, 103]"
  ]
 },
 "drill": {
  "plants": 15,
  "plants_caught_by_named_checks": 15,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 155,
  "must_stay_green_held": 155,
  "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-ledger-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-text-pairs",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-domain",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-T-plus",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-tie",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-pairs",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-contact-cells",
    "kind": "mutation",
    "expected": [
     "W3",
     "W6"
    ],
    "tripped": [
     "W3",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-ray-holder",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-cut",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-coverage",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-rho-class",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-graph-node",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-csv-value",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-verifier-boxes",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-paper-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}