{
 "run": "RUN-013",
 "subject": "Round 10: the reference dry run, replayed",
 "document": "main.zip!/AMRAL_LUC_FC_Round_10_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_10_Reference_Dry_Run_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "base_leaves": {
   "00": {
    "base_area_at_centre": 0.8347863502568111,
    "base_core_bound": 0.834649679832212
   },
   "01": {
    "base_area_at_centre": 0.8347946497590608,
    "base_core_bound": 0.834657899735346
   },
   "10": {
    "base_area_at_centre": 0.8347863484864525,
    "base_core_bound": 0.8346496799600718
   },
   "11": {
    "base_area_at_centre": 0.8347946506436679,
    "base_core_bound": 0.8346578998641045
   }
  },
  "volume_fraction_of_root": 1.096852872610155e-18
 },
 "w2": {
  "decoded": {
   "00": [
    2833,
    1417,
    21
   ],
   "01": [
    2853,
    1427,
    21
   ],
   "10": [
    2833,
    1417,
    21
   ],
   "11": [
    2853,
    1427,
    21
   ]
  },
  "totals": [
   11372,
   5688
  ]
 },
 "w3": {
  "trees": {
   "00": {
    "exact_worst_slack": 0.0003786467629511847,
    "exact_failures": 0
   },
   "01": {
    "exact_worst_slack": 0.0003907597356984649,
    "exact_failures": 0
   },
   "10": {
    "exact_worst_slack": 0.0003800269445015658,
    "exact_failures": 0
   },
   "11": {
    "exact_worst_slack": 0.0003892392431050773,
    "exact_failures": 0
   }
  },
  "alternatives_tree_00_failing_leaves": {
   "y before x": 108,
   "higher child first": 88
  }
 },
 "w4": {
  "00": {
   "worst_verified_slack": 3.869877959195023e-07,
   "byte_identical": true
  },
  "01": {
   "worst_verified_slack": 9.574949356716544e-07,
   "byte_identical": true
  },
  "10": {
   "worst_verified_slack": 3.545377512681469e-07,
   "byte_identical": true
  },
  "11": {
   "worst_verified_slack": 9.79400521350371e-07,
   "byte_identical": true
  }
 },
 "w5": {
  "00": {
   "nodes": 1625,
   "leaves": 813,
   "max_depth": 19,
   "text_leaves": 1417,
   "leaf_ratio": 1.7429274292742927
  },
  "01": {
   "nodes": 1615,
   "leaves": 808,
   "max_depth": 19,
   "text_leaves": 1427,
   "leaf_ratio": 1.766089108910891
  },
  "10": {
   "nodes": 1625,
   "leaves": 813,
   "max_depth": 19,
   "text_leaves": 1417,
   "leaf_ratio": 1.7429274292742927
  },
  "11": {
   "nodes": 1615,
   "leaves": 808,
   "max_depth": 19,
   "text_leaves": 1427,
   "leaf_ratio": 1.766089108910891
  }
 },
 "drill": {
  "plants": 14,
  "plants_caught_by_named_checks": 14,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 148,
  "must_stay_green_held": 148,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-pad-written-otherwise",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-core-radius-written-otherwise",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-node-count",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-t7-digit",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-leaf-claimed-base-pruned",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-table-leaves",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-manifest-digest",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-core-eroded-twice",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-tie-to-y",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-higher-child-first",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-64-directions",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-exact-claimed-larger",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-search-threshold",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-validation-summary",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-emitter-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}