{
 "run": "RUN-047",
 "subject": "UESFCM Cycles 10-11: the 27- and 617-root finite erosion certificates and the two-root frontier",
 "documents": [
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_10_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_10_27Root_Finite_Closure_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_11_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_11_617Root_Batch_and_TwoRoot_Frontier_v0.1.md"
 ],
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "X1": {
   "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": []
  }
 },
 "x1": {
  "missing": [],
  "eps0": 1.0016e-12,
  "perimeter": 8.0258,
  "hull_term": 8.04e-12,
  "shoelace_term": 1.7095e-09,
  "sum_S": 5012.35,
  "eta": 1.7176e-09
 },
 "w1": {
  "c10": [
   27,
   true
  ],
  "c11": [
   617,
   true
  ],
  "boxes": true,
  "disjoint": true
 },
 "w2": {
  "c10": {
   "wrong_trees": [],
   "totals": [
    2699,
    1363,
    0,
    13
   ],
   "summary_equal": true,
   "largest": [
    8006,
    2153
   ],
   "tiling": [
    1336,
    280,
    2.5e-18,
    3.3e-18
   ],
   "gap_area": 2e-17
  },
  "c11": {
   "wrong_trees": [],
   "totals": [
    109037,
    54786,
    41,
    16
   ],
   "summary_equal": true,
   "largest": [
    8018,
    13181
   ],
   "tiling": [
    54210,
    15915,
    4.7e-18,
    3.3e-18
   ],
   "gap_area": 3.7e-17
  }
 },
 "w3": {
  "c10": {
   "leaves": 1363,
   "failing": 0,
   "apriori": 0,
   "least": [
    3.8179494e-08,
    8006
   ],
   "precise": 3.81794932e-08
  },
  "c11": {
   "leaves": 54786,
   "failing": 0,
   "apriori": 0,
   "least": [
    2.5376479e-09,
    21309
   ],
   "precise": 2.53764884e-09
  },
  "differences": {
   "c10_search": 8.9e-16,
   "c10_verifier": 8.6e-16,
   "c11_verifier": -3.6e-16,
   "c10_precise_vs_theirs": 2.7e-16,
   "c10_precise_vs_mine": -5.9e-16,
   "c11_precise_vs_theirs": 6.1e-16,
   "c11_precise_vs_mine": 9.7e-16
  },
  "c11_per_tree": [
   0,
   7e-16
  ],
  "eta_model": [
   true,
   1.1488e-10,
   3.4e-16,
   true
  ],
  "c10_hull_error": 1e-15
 },
 "w4": {
  "c10": {
   "area": 1363,
   "certified": 1363,
   "failures": 0,
   "escalated": 0,
   "least": [
    2.352e-05,
    8006,
    1024
   ],
   "notf3": [
    0,
    0
   ],
   "notf3_least": null
  },
  "c11": {
   "area": 54786,
   "certified": 54786,
   "failures": 0,
   "escalated": 0,
   "least": [
    2.277e-05,
    20561,
    1024
   ],
   "notf3": [
    41,
    41
   ],
   "notf3_least": 1.31e-05
  }
 },
 "w5": {
  "batch": [
   622,
   true,
   616,
   [
    3766,
    6217,
    8001,
    8015,
    8016,
    8018
   ],
   true,
   true
  ],
  "certificate": [
   616,
   true,
   13181,
   true
  ],
  "without_area_leaves": [
   7989
  ],
  "chain": {
   "hard5": true,
   "round2": true,
   "round3": true,
   "non6217": true,
   "r3766": true,
   "final": true
  },
  "chain_counts": [
   51,
   91,
   242,
   31,
   25
  ],
  "frontier": {
   "by_parent": {
    "3766": 25,
    "6217": 200
   },
   "reached": 225,
   "depth": [
    4,
    28
   ],
   "stored_depth_is_path": 225,
   "excursion": 2.3e-18,
   "nested": 0,
   "overlapping": 489,
   "overlap": 5.9e-18,
   "duplicates": 0
  },
  "centre": {
   "6217": [
    0.8349695459155,
    -2e-16,
    0.0,
    0.8350052734
   ],
   "3766": [
    0.8352612051955,
    -1e-16,
    0.0,
    0.8353009037
   ]
  },
  "summary": [
   true,
   true
  ]
 },
 "w6": {
  "C10": [
   true,
   true,
   true,
   true,
   -9e-16,
   true,
   true
  ],
  "C11": [
   true,
   true,
   true,
   true,
   4e-16,
   true,
   true
  ]
 },
 "w7": {
  "lines": {
   "10": 210,
   "11": 87
  },
  "defs": {
   "10": [
    "reuleaux_corners",
    "f_apriori",
    "core_points",
    "hull_area_hand",
    "box_lower",
    "d3_upper",
    "d3_lower",
    "split_box",
    "unpack_bits",
    "verify"
   ],
   "11": [
    "pair_lt",
    "quicksort_idx",
    "cross",
    "hull_area_numba",
    "unpack"
   ]
  },
  "imports": {
   "10": [
    "base64",
    "json",
    "math",
    "numpy",
    "sys"
   ],
   "11": [
    "argparse",
    "base64",
    "importlib",
    "json",
    "numba",
    "numpy",
    "sys",
    "time"
   ]
  },
  "c10": {
   "weights": [
    ".7*h[0],.7*h[1],1.5*CIRC5*h[2],1.5*h[3],1.5*h[4]",
    "1.5*h[0],1.5*h[1],CIRC5*h[2],h[3],h[4]"
   ],
   "asserts_constants": true,
   "eta_from_certificate": true,
   "accept_tolerance": true
  },
  "c11": {
   "loads_c10_by_absolute_path": true,
   "ships_it": false,
   "numba": true,
   "checks_constants": false,
   "eta_fixed": true
  }
 },
 "p1": {
  "C10": true,
  "C11": true,
  "statuses": true,
  "replays": true,
  "manifest": true,
  "copies": true,
  "stub_digest_unmatched": true
 },
 "drill": {
  "plants": 18,
  "plants_caught_by_named_checks": 18,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 190,
  "must_stay_green_held": 190,
  "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-node-total-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-snapshot-eps0",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-root-order",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-flipped-bit",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-tree-count",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-tiling-gap",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-witness-least",
    "kind": "mutation",
    "expected": [
     "W3",
     "W6"
    ],
    "tripped": [
     "W3",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-eta-model",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-exact-margin",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-notf3-outside",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-batch-row",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-chain",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-frontier-parent",
    "kind": "mutation",
    "expected": [
     "W5",
     "W6"
    ],
    "tripped": [
     "W5",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-centre-diagnostic",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-crystal-debt",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-verifier-path",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-copy-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}