{
 "run": "RUN-048",
 "subject": "UESFCM Cycles 12-14: root 6217 - the 124-root certificate, the symmetric contact, the rho5 = 0 reduction and its 2-D certificate, the rotation profile and the eight-root rotation-tail certificate",
 "documents": [
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_12_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_12_Root6217_Symmetric_Contact_Reduction_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_13_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_13_Root6217_Rho0_Closure_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_14_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_14_Rotation_Tail_and_Boundary_Locking_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": []
  },
  "W9": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "printed": true,
  "rho_range": [
   0.0,
   0.0
  ],
  "subroots": 200,
  "split": [
   124,
   76,
   true,
   true
  ],
  "c14": [
   [
    4,
    5,
    48,
    50,
    84,
    96,
    112,
    113
   ],
   true,
   true,
   68
  ],
  "boxes": [
   true,
   true,
   true
  ],
  "rectangle": [
   0.0,
   0.0,
   9e-19,
   -9e-19
  ],
  "rectangle_stated": true,
  "root93": [
   30,
   30,
   30,
   true
  ]
 },
 "w2": {
  "oriented": [
   103,
   63,
   25,
   5,
   4
  ],
  "classes": [
   166,
   25,
   9
  ],
  "ratios": [
   2.0,
   4.0,
   4.0,
   4.0,
   6.0
  ],
  "stated": [
   [
    166,
    25,
    9
   ],
   [
    2.0,
    4.0,
    4.0,
    4.0,
    6.0
   ],
   200,
   124,
   76
  ]
 },
 "w3": {
  "c12": {
   "wrong_trees": [],
   "totals": [
    32568,
    16151,
    195,
    15
   ],
   "leaves": 16151,
   "failing": 0,
   "apriori": 0,
   "least": [
    3.7845403e-08,
    181
   ],
   "precise": 3.7845403e-08,
   "per_tree": 7e-16,
   "tiling": [
    16222,
    943,
    3e-18,
    3.3e-18
   ]
  },
  "c13": {
   "wrong_trees": [],
   "totals": [
    299,
    150,
    0,
    10
   ],
   "leaves": 150,
   "failing": 0,
   "apriori": 0,
   "least": [
    3.1819403e-06,
    0
   ],
   "precise": 3.18194034e-06,
   "per_tree": 2e-16,
   "tiling": [
    149,
    4,
    3.5e-18,
    1.8e-18
   ]
  },
  "c14": {
   "wrong_trees": [],
   "totals": [
    102062,
    50626,
    409,
    19
   ],
   "leaves": 50626,
   "failing": 0,
   "apriori": 0,
   "least": [
    6.3395956e-09,
    112
   ],
   "precise": 6.33959533e-09,
   "per_tree": 4e-16,
   "tiling": [
    51027,
    4460,
    3e-18,
    2.3e-18
   ]
  },
  "stated": {
   "c12": 9e-16,
   "c13": -2e-16,
   "c14": 7e-16
  }
 },
 "w4": {
  "c12": {
   "area": 16151,
   "certified": 16151,
   "failures": 0,
   "escalated": 0,
   "least": [
    2.597e-05,
    181,
    1024
   ],
   "notf3": [
    195,
    195
   ],
   "notf3_least": 1.31e-05
  },
  "c13": {
   "area": 150,
   "certified": 150,
   "failures": 0,
   "escalated": 0,
   "least": [
    3.456e-05,
    0,
    1024
   ],
   "notf3": [
    0,
    0
   ],
   "notf3_least": null
  },
  "c14": {
   "area": 50626,
   "certified": 50626,
   "failures": 0,
   "escalated": 0,
   "least": [
    2.61e-05,
    96,
    1024
   ],
   "notf3": [
    409,
    409
   ],
   "notf3_least": 1.93e-06
  }
 },
 "w5": {
  "x3_star": true,
  "theta": [
   true,
   "0.4540452162931832966751150439895469148442"
  ],
  "x5": [
   true,
   "0.0197709463479475491438550793632155310301"
  ],
  "area": [
   0.8349861105592,
   -2e-16
  ],
  "gap": 0.0,
  "x5_opt": [
   -3e-14,
   9e-16,
   -1.51e-10
  ],
  "supports": [
   6e-17
  ],
  "pieces": [
   false,
   true,
   17,
   17,
   17
  ],
  "gradients": {
   "left": [
    -0.033,
    -0.0357
   ],
   "right": [
    -0.2126,
    0.4037
   ]
  },
  "mix": [
   -0.04756,
   -7e-18
  ]
 },
 "w6": {
  "arc_in_root": [
   true,
   0.00886,
   1.5666
  ],
  "symmetric_point": [
   0.834986110559,
   -2e-16
  ],
  "arc_least": [
   0.8349861106,
   3.142,
   0.0002049
  ],
  "monotone_from_pi": false,
  "arc_end": [
   0.835483446,
   -0.012122,
   0.0088199
  ],
  "coverage_arc": {
   "c12": 145,
   "none": 3899,
   "open": 6812
  },
  "coverage_rectangle": {
   "c12": 68,
   "none": 5969,
   "open": 3107
  }
 },
 "w7": {
  "reevaluated": 1e-15,
  "locking": [
   2.4e-08,
   2.365e-08
  ],
  "monotone": true,
  "ratios": [
   0.173793,
   0.245696
  ],
  "stated_ratios": [
   true,
   true
  ],
  "circle": [
   27,
   8.3e-08,
   true,
   true,
   [
    0.1738,
    0.2254
   ],
   0.8351052259
  ],
  "free": [
   4.3e-06,
   0.0022,
   20
  ],
  "box": [
   4.3e-06,
   0.00091,
   0.1
  ],
  "stated_free": [
   4.27e-06,
   0.000696,
   0.0789
  ],
  "skeletons": [
   2,
   3,
   4,
   2e-13,
   [
    1,
    8,
    17,
    1
   ]
  ],
  "raw": [
   true,
   true,
   true
  ],
  "convexity": {
   "vertical": 2.8,
   "horizontal": 3.0,
   "mixed": 3.1
  }
 },
 "w8": {
  "C12": [
   true,
   true,
   -9e-16,
   true,
   true,
   true,
   true
  ],
  "C13": [
   "CLOSED",
   true,
   true,
   2e-16
  ],
  "C14": [
   true,
   true,
   -7e-16,
   [
    4,
    2
   ],
   true,
   "CLOSED"
  ]
 },
 "w9": {
  "lines": {
   "12": 87,
   "13": 54,
   "14": 87
  },
  "defs": {
   "12": [
    "pair_lt",
    "quicksort_idx",
    "cross",
    "hull_area_numba",
    "unpack"
   ],
   "13": [
    "unpack_bits",
    "split2",
    "main"
   ],
   "14": [
    "pair_lt",
    "quicksort_idx",
    "cross",
    "hull_area_numba",
    "unpack"
   ]
  },
  "absolute": {
   "12": true,
   "13": false,
   "14": true
  },
  "ships_c10": {
   "12": false,
   "13": true,
   "14": false
  },
  "lines_differing_from_c11": {
   "12": 1,
   "14": 0
  },
  "c13_split": true,
  "c13_tests_reduction": false
 },
 "p1": {
  "C12": true,
  "C13": true,
  "C14": true,
  "statuses": true,
  "replays": true,
  "manifest": true,
  "copies": true,
  "c14_verifier_is_c11": true
 },
 "drill": {
  "plants": 22,
  "plants_caught_by_named_checks": 22,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 249,
  "must_stay_green_held": 249,
  "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-certificate-nodes-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-local-index-swap",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-remaining-index",
    "kind": "mutation",
    "expected": [
     "W1",
     "W2"
    ],
    "tripped": [
     "W1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-root93-depth",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-centre-skeleton",
    "kind": "mutation",
    "expected": [
     "W2",
     "W8"
    ],
    "tripped": [
     "W2",
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-resolution-ratio",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-flipped-bit",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-tree-count",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-witness-least",
    "kind": "mutation",
    "expected": [
     "W3",
     "W8"
    ],
    "tripped": [
     "W3",
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-exact-margin",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-theta-digit",
    "kind": "mutation",
    "expected": [
     "W5",
     "W8"
    ],
    "tripped": [
     "W5",
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-branch-gradient",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-support",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-arc-dip",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-coverage",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-profile-sample",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-locking",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-convexity",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-crystal-remaining",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-c13-split",
    "kind": "mutation",
    "expected": [
     "W9"
    ],
    "tripped": [
     "W9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M21-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M22-copy-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}