{
 "run": "RUN-027",
 "subject": "Round 24: the portfolio residual core and joint-witness admission",
 "document": "main.zip!/AMRAL_LUC_FC_Round_24_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_24_Residual_Joint_Admission_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "dominance_least_gain": 0.0005044165733671946,
  "joint_core_hull_below": 1.0
 },
 "w2": {
  "sources": {
   "cell0": {
    "16": "96",
    "22": "96",
    "24": "exact",
    "26": "exact",
    "28": "exact",
    "30": "exact"
   },
   "cell3": {
    "16": "96",
    "22": "96",
    "30": "exact"
   }
  },
  "cell3_ratio_mixed": 392.61744966442956,
  "cell3_ratio_exact_only": 217.29690346083788,
  "cell0_exact_d16_d22": [
   0.0007605427374121181,
   2.5122094259364102e-05
  ]
 },
 "w3": {
  "nodes": 18555,
  "cert": 9278,
  "pending": 0,
  "topology_matches": true,
  "slack": 4.1174202158877904e-08,
  "closest_call": 4.15302781053839e-09,
  "topology_bytes": 2320
 },
 "w4": {
  "1": {
   "d30_open": 5,
   "closes_at": 31,
   "nodes": 22009
  },
  "2": {
   "d30_open": 152,
   "closes_at": 31,
   "nodes": 26189
  },
  "3": {
   "d30_open": 1098,
   "closes_at": 34,
   "nodes": 36193,
   "d30_nodes": 31797
  }
 },
 "w5": {
  "residual_at_tested_budgets": [
   3
  ],
  "residual_at_36": [],
  "states_at_tested_budgets": {
   "0": "REDUNDANT",
   "1": "REDUNDANT",
   "2": "REDUNDANT",
   "3": "DEFERRED-CONTRACTING"
  }
 },
 "w6": {
  "this_tree": [
   38037,
   11985
  ],
  "package": [
   38015,
   11987
  ],
  "gap": [
   22,
   -2
  ],
  "b7_record_is_exact_tree": true
 },
 "w7": {
  "ships_code": false,
  "states_lower_rule": true,
  "states_pad": true,
  "pad": 1e-10,
  "lower_rule": "APR max exact-inner-hull(common base cores, B7 eroded core) - 1e-10",
  "split_rule": "B7-EXACT-MOTION-RADIUS-AXIS"
 },
 "p1": {
  "edges": [
   [
    0,
    30
   ],
   [
    1,
    32
   ],
   [
    2,
    32
   ]
  ]
 },
 "p2": {
  "cell0_complete": true,
  "cell1_complete": true,
  "cell2_complete": true,
  "cell3_contracting_partial": true,
  "certificate_nodes_match_replay": true,
  "certificate_pending_zero": true,
  "forest_identity": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 203,
  "must_stay_green_held": 203,
  "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-residual-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-manifest-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-ratio",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-admission-warning",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-tail-source",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-recorded-d22",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-topology-bit",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-slack",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-cell1-nodes",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-cell3-closure-claim",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-residual-claim",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-cell3-state",
    "kind": "mutation",
    "expected": [
     "P2",
     "W5"
    ],
    "tripped": [
     "P2",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-h19-pending",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-ships-code",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-crystal",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}