{
 "run": "RUN-049",
 "subject": "UESFCM Cycles 15-17: root 6217's boundary locking, its upper references, and the competitive-core closures",
 "documents": [
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_15_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_15_Corrected_Boundary_Locking_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_16_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_16_Tight_Reference_and_Local_Secant_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_17_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_17_Hierarchical_Competitive_Core_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": []
  },
  "W8": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "convexity": 2.9,
  "counterexample": [
   -2e-09,
   -0.04569,
   -0.04569,
   -0.04569,
   0.093,
   1.6e-07,
   7.2e-09,
   0.8360391072,
   4e-10,
   true
  ]
 },
 "w2": {
  "candidate": [
   true,
   true,
   71
  ],
  "c15": [
   8e-16,
   43
  ],
  "c16": [
   2e-15,
   2e-15
  ],
  "exact": 0.8349861105592,
  "true_slack": [
   1.389e-05,
   3.894e-07
  ],
  "excess": [
   7.8e-06,
   2.7e-07,
   3.3e-08
  ],
  "with_handovers": [
   17,
   3.1e-09,
   4.9e-12
  ]
 },
 "w3": {
  "contact": [
   3.27e-06,
   3.8e-05,
   0.213
  ],
  "profile_low": [
   8,
   9.88424e-06,
   -3e-09,
   8
  ],
  "below_tight": [
   2,
   2,
   true
  ]
 },
 "w4": {
  "trees": [
   5,
   [
    28,
    36,
    68,
    144,
    155
   ],
   []
  ],
  "totals": [
   61487,
   30467,
   279
  ],
  "witness": [
   30467,
   0,
   3.5828319e-09,
   155,
   3e-16
  ],
  "exact": [
   30467,
   30467,
   0,
   0,
   2.656e-05
  ],
  "notf3": [
   279,
   279,
   1.93e-06
  ]
 },
 "w5": {
  "h131": {
   "structure": [
    40859,
    40859,
    0,
    40858,
    true,
    true
   ],
   "types": [
    38893,
    1966,
    38893,
    1966
   ],
   "witness": [
    38893,
    0,
    1.2396455e-09
   ],
   "exact": [
    38893,
    38893,
    0,
    0,
    3.022e-05
   ],
   "notf3": [
    1966,
    1966,
    8.37e-06
   ]
  },
  "h129": {
   "structure": [
    48590,
    48590,
    0,
    48589,
    true,
    true
   ],
   "types": [
    46151,
    2439,
    46151,
    2439
   ],
   "witness": [
    46151,
    0,
    6.1271319e-09
   ],
   "exact": [
    46151,
    46151,
    0,
    0,
    3.183e-05
   ],
   "notf3": [
    2439,
    2439,
    8.37e-06
   ]
  }
 },
 "w6": {
  "ledger": [
   68,
   true,
   [
    28,
    36,
    68,
    129,
    131,
    144,
    155
   ],
   true,
   true
  ],
  "minsearch": [
   1e-15,
   68,
   [
    [
     14,
     -6.5e-08
    ],
    [
     28,
     -2.3e-12
    ]
   ],
   [
    131,
    129,
    125,
    152,
    150
   ],
   true,
   true,
   [
    131
   ],
   [
    131,
    129,
    125,
    152,
    150
   ]
  ],
  "outside_200": 0.4415
 },
 "w7": {
  "C15": [
   "CLOSED",
   true,
   "OPEN"
  ],
  "C16": [
   68,
   true
  ],
  "C17": [
   68,
   true,
   true,
   true
  ]
 },
 "w8": {
  "lines": {
   "15": 72,
   "16": 93,
   "17a": 91,
   "17h": 91
  },
  "defs": {
   "15": [
    "reuleaux_piece_data_mp",
    "support_piece_mp",
    "main"
   ],
   "16": [
    "regular_reuleaux",
    "main"
   ],
   "17a": [
    "pair_lt",
    "quicksort_idx",
    "cross",
    "hull_area_numba",
    "unpack"
   ],
   "17h": [
    "pair_lt",
    "quicksort_idx",
    "cross",
    "hull_area_numba",
    "main"
   ]
  },
  "c15_dps": [
   "70"
  ],
  "c16_longdouble": true,
  "c10_from_package": {
   "17a": true,
   "17h": true
  },
  "ships_c10": true,
  "hier_checks": {
   "leaf is prefix of another": true,
   "incomplete binary coverage": true,
   "bad NOT-F3 leaf": true
  }
 },
 "p1": {
  "C15": true,
  "C16": true,
  "C17": true,
  "statuses": true,
  "replays": true,
  "manifest": true,
  "copies": true,
  "unrecorded": [
   "UESFCM_Lebesgue_Cycle_17_68Cell_MinSearch_Diagnostic.npz",
   "UESFCM_Lebesgue_Cycle_17_VALIDATION.json"
  ]
 },
 "drill": {
  "plants": 20,
  "plants_caught_by_named_checks": 20,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 208,
  "must_stay_green_held": 208,
  "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": "M1-aref5-nodes-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-counterexample-slope",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-ray-convexity",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-c15-area-digit",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-c16-padded-area",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-exact-hull",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-profile-secant",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-profile-sample",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-aref5-tree-count",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-aref5-exact",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-h131-leaf-dropped",
    "kind": "mutation",
    "expected": [
     "P1",
     "W5"
    ],
    "tripped": [
     "P1",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-h129-leaf-type",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-h131-witness",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-remaining-index",
    "kind": "mutation",
    "expected": [
     "W6",
     "W7"
    ],
    "tripped": [
     "W6",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-minsearch-value",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-ranking",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-crystal-cells",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-hier-verifier",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-copy-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}