{
 "run": "RUN-018",
 "subject": "Round 15: global proof capacity and the threshold ladder",
 "document": "main.zip!/AMRAL_LUC_FC_Round_15_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_15_Proof_Capacity_Ladder_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": []
  }
 },
 "w4": {
  "lift_root_capacity": 0.835,
  "targets": {
   "0.8350001": {
    "t7_at_target": 0.196935350429375,
    "sliver_width": 3.0365820713473823e-07,
    "apriori_in_sliver": 0.8350000499999938,
    "covered": false
   },
   "0.83500035": {
    "t7_at_target": 0.1969361095742423,
    "sliver_width": 1.0628030744364025e-06,
    "apriori_in_sliver": 0.8350001749999252,
    "covered": false
   }
  },
  "actual_hull_in_sliver_least": 1.0046175687762569,
  "reference_says_root_capacity": "INFINITE-WITHIN-FIXED-LOCAL-SCOPE"
 },
 "w5": {
  "t": {
   "d_star": 0.6998605440613184,
   "Reuleaux3": 0.20102352900741138,
   "Reuleaux5": 0.20261828623043537,
   "Reuleaux7": 0.20147344578628762
  },
  "volume_ratios": [
   1.1165530181282401,
   1.0466213926738839
  ],
  "four_body_optimum_run010": 0.8364914415826941,
  "four_body_logged": 0.836494901,
  "phase_target": 0.8365
 },
 "drill": {
  "plants": 10,
  "plants_caught_by_named_checks": 10,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 115,
  "must_stay_green_held": 115,
  "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-capacity-by-routes",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-repair-by-exhaustion",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-root-capacity",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-capacity-min-max-swapped",
    "kind": "mutation",
    "expected": [
     "W1",
     "W3"
    ],
    "tripped": [
     "W1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-repair-always-split",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-text-deficit",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-promotion-assumed-supported",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-phase-t7-digit",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-four-body-above-phase",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-protocol-dp-dropped",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-planner-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}