{
 "run": "RUN-028",
 "subject": "Round 25: the deep single-witness closure wave on the twelve reference cells",
 "document": "main.zip!/AMRAL_LUC_FC_Round_25_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_25_Deep_B7_Closure_Wave_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": {
  "largest_volume_increase": 0.0,
  "levels_where_open_count_grows": 259,
  "capacity": {
   "30": 3,
   "32": 7,
   "34": 11,
   "36": 12
  },
  "least_common_budget": 35
 },
 "w2": {
  "total_nodes": 340540,
  "mean_nodes": 28378.333333333332
 },
 "w3": {
  "checkpoints": 58,
  "slack_offsets": [
   8.999991862879142e-10,
   9.000018508231733e-10
  ]
 },
 "w4": {
  "closing_depths": [
   30,
   31,
   31,
   34,
   31,
   30,
   33,
   35,
   32,
   34,
   33,
   30
  ],
  "ledger_depths": [
   30,
   32,
   32,
   34,
   32,
   30,
   34,
   36,
   32,
   34,
   34,
   30
  ],
  "earlier_than_recorded": [
   1,
   2,
   4,
   6,
   7,
   10
  ],
  "statistics": {
   "max": 35,
   "mean": 32.0,
   "median": 31.5
  },
  "odd_depth_coverage": {
   "31": 6,
   "33": 9,
   "35": 12
  }
 },
 "w5": {
  "volumes": {
   "22": 3.3287643569115915e-05,
   "24": 1.04588525201502e-05,
   "26": 3.893837742655587e-06,
   "28": 9.897471005104763e-07,
   "30": 2.603311764644944e-07,
   "32": 4.2178265425621295e-08,
   "34": 1.611800167109422e-10,
   "36": 0.0
  },
  "pending_26_30": [
   1793,
   1918
  ],
  "ratio_26_30": 14.957247132429615
 },
 "w6": {
  "all_close": true
 },
 "w7": {
  "lines": 64,
  "computes": true,
  "reads_outside_package": true,
  "loads_round19_modules": true,
  "checkpoints": [
   22,
   24,
   26,
   28,
   30,
   32,
   34,
   36,
   38
  ]
 },
 "p1": {
  "rows": 12
 },
 "p2": {
  "all_12_complete": true,
  "max_depth_36": true,
  "coverage_30_is_3": true,
  "coverage_32_is_7": true,
  "coverage_34_is_11": true,
  "coverage_36_is_12": true,
  "all_forest_identities": true,
  "all_markers_below_target": true,
  "joint_reference_residual_empty": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 14,
  "plants_caught_by_named_checks": 14,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 182,
  "must_stay_green_held": 182,
  "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-ledger-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-policy-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-policy-monotonicity",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-cell-nodes",
    "kind": "mutation",
    "expected": [
     "P1",
     "W2"
    ],
    "tripped": [
     "P1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-checkpoint",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-slack-reading",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-depth-claim",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-statistics-claim",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-cell7-ratio",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-residual",
    "kind": "mutation",
    "expected": [
     "P2",
     "W6"
    ],
    "tripped": [
     "P2",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-runner-facts",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-crystal",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}