{
 "run": "RUN-026",
 "subject": "Round 23: witness portfolio closure, strict incidence and residual-frontier routing",
 "document": "main.zip!/AMRAL_LUC_FC_Round_23_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_23_Portfolio_Closure_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": {
  "monotonicity_least_gain": 0.0005044165733671946,
  "frontier_criterion_holds": true
 },
 "w2": {
  "cells_below_T": 85,
  "outer_below_T": 77,
  "marker_worst": 4.451994328746878e-14
 },
 "w3": {
  "edges_exact": 12,
  "pending_exact": 54,
  "harmonic_node_gap": [
   26,
   64
  ],
  "harmonic_pending_gap": [
   -2,
   0
  ],
  "b7_all_exact": true,
  "b7_40_direction_matches": 0,
  "routes": {
   "B7": 0,
   "H11": 0,
   "H13": 0,
   "H17": 0,
   "H19": 12
  },
  "b7_40_first": [
   3031,
   957,
   559
  ]
 },
 "w4": {
  "crossover": [
   {
    "cell": 0,
    "B7": 5.170356328898172e-05,
    "H19": 5.427447114465701e-05,
    "winner": "B7",
    "package": "B7",
    "B7_package": 5.170356328898165e-05,
    "H19_package": 5.427447114465692e-05
   },
   {
    "cell": 1,
    "B7": 5.5699470398009204e-05,
    "H19": 5.5907169689079125e-05,
    "winner": "B7",
    "package": "B7",
    "B7_package": 5.569947039800913e-05,
    "H19_package": 5.590716968907904e-05
   },
   {
    "cell": 2,
    "B7": 5.420534860941632e-05,
    "H19": 5.507806495948977e-05,
    "winner": "B7",
    "package": "B7",
    "B7_package": 5.4205348609416244e-05,
    "H19_package": 5.507806495948968e-05
   },
   {
    "cell": 3,
    "B7": 5.8548725901837496e-05,
    "H19": 5.678729624818167e-05,
    "winner": "H19",
    "package": "H19",
    "B7_package": 5.854872590183742e-05,
    "H19_package": 5.678729624818158e-05
   }
  ],
  "cell0": {
   "B7": [
    12515,
    4770,
    1488
   ],
   "H11": [
    19457,
    4894,
    4835
   ],
   "H13": [
    19095,
    4661,
    4887
   ],
   "H17": [
    16309,
    3770,
    4385
   ],
   "H19": [
    15785,
    3638,
    4255
   ]
  },
  "cell0_rank": [
   "B7",
   "H19",
   "H17",
   "H13",
   "H11"
  ]
 },
 "w5": {
  "closes": [
   [
    30,
    18555,
    0,
    342
   ],
   [
    31,
    22009,
    0,
    361
   ],
   [
    31,
    26189,
    0,
    363
   ],
   [
    34,
    36193,
    0,
    379
   ],
   [
    31,
    21271,
    0,
    342
   ],
   [
    30,
    18509,
    0,
    343
   ],
   [
    33,
    31209,
    0,
    358
   ],
   [
    35,
    45401,
    0,
    378
   ],
   [
    32,
    26439,
    0,
    364
   ],
   [
    34,
    41077,
    0,
    377
   ],
   [
    33,
    31793,
    0,
    359
   ],
   [
    30,
    21895,
    0,
    365
   ]
  ]
 },
 "w6": {
  "table": [
   {
    "H11": [
     0.8342391911198084,
     0.8342391923015212
    ],
    "H13": [
     0.833988698375571,
     0.8339886999898973
    ],
    "H17": [
     0.8333754456942917,
     0.8333754469587549
    ],
    "H19": [
     0.8333377331995864,
     0.8333377348774631
    ]
   },
   {
    "H11": [
     0.8341674452466291,
     0.8341674464382718
    ],
    "H13": [
     0.8339184308339048,
     0.8339184323840372
    ],
    "H17": [
     0.8333035692234154,
     0.8333035705142429
    ],
    "H19": [
     0.8332659875259674,
     0.8332659893402592
    ]
   },
   {
    "H11": [
     0.8341739996039673,
     0.8341740007145262
    ],
    "H13": [
     0.8339186211682342,
     0.8339186228354696
    ],
    "H17": [
     0.8333187098959182,
     0.8333187113818813
    ],
    "H19": [
     0.8332722008528218,
     0.8332722026053038
    ]
   },
   {
    "H11": [
     0.8341028881538155,
     0.8341028892646105
    ],
    "H13": [
     0.8338449002692745,
     0.833844902148305
    ],
    "H17": [
     0.8332473339195637,
     0.8332473354199249
    ],
    "H19": [
     0.8332005957884437,
     0.8332005975727061
    ]
   },
   {
    "H11": [
     0.8342519187403065,
     0.8342519198556483
    ],
    "H13": [
     0.8339968510594399,
     0.8339968526641331
    ],
    "H17": [
     0.8334024177106515,
     0.8334024190774285
    ],
    "H19": [
     0.8333507421969715,
     0.8333507438863107
    ]
   },
   {
    "H11": [
     0.8342391792219058,
     0.8342391804338863
    ],
    "H13": [
     0.8339895780661348,
     0.8339895795504461
    ],
    "H17": [
     0.8333754750322128,
     0.8333754762225979
    ],
    "H19": [
     0.8333377212158781,
     0.8333377229366798
    ]
   },
   {
    "H11": [
     0.834188061864538,
     0.8341880634697625
    ],
    "H13": [
     0.8339242758810624,
     0.8339242771371987
    ],
    "H17": [
     0.8333558495192577,
     0.8333558508143026
    ],
    "H19": [
     0.8332911468889177,
     0.8332911482963941
    ]
   },
   {
    "H11": [
     0.8341118191944125,
     0.8341118204669302
    ],
    "H13": [
     0.833846031994873,
     0.8338460332491275
    ],
    "H17": [
     0.8332721662595749,
     0.833272167612745
    ],
    "H19": [
     0.8332127518766004,
     0.8332127531928559
    ]
   },
   {
    "H11": [
     0.8341744140484953,
     0.8341744149617218
    ],
    "H13": [
     0.8339175213820625,
     0.8339175230434565
    ],
    "H17": [
     0.8333186971740228,
     0.8333186985893793
    ],
    "H19": [
     0.8332721994530764,
     0.8332722010988627
    ]
   },
   {
    "H11": [
     0.8340994799461181,
     0.8340994817658759
    ],
    "H13": [
     0.8337977827565962,
     0.8337977840421604
    ],
    "H17": [
     0.8332266049830481,
     0.8332266061447168
    ],
    "H19": [
     0.8331726081704786,
     0.8331726095670244
    ]
   },
   {
    "H11": [
     0.8341869923421521,
     0.8341869937374058
    ],
    "H13": [
     0.8339252265077151,
     0.8339252277479953
    ],
    "H17": [
     0.8333556587347363,
     0.83335566007958
    ],
    "H19": [
     0.8332912945060085,
     0.8332912958415738
    ]
   },
   {
    "H11": [
     0.8341673261370103,
     0.8341673273707231
    ],
    "H13": [
     0.833916984849335,
     0.8339169863572082
    ],
    "H17": [
     0.8333001243159356,
     0.8333001256083907
    ],
    "H19": [
     0.8332658683254913,
     0.833265870059757
    ]
   }
  ],
  "highest_upper_end": {
   "H11": 0.8342519198556483,
   "H13": 0.8339968526641331,
   "H17": 0.8334024190774285,
   "H19": 0.8333507438863107
  }
 },
 "w7": {
  "ships_code": false,
  "states_directions": false,
  "states_root": false,
  "records_placements": false
 },
 "p1": {
  "winners": [
   "B7",
   "B7",
   "B7",
   "H19"
  ]
 },
 "p2": {
  "matrix_has_12_cells": true,
  "matrix_has_60_edges": true,
  "strict_edge_count_zero": true,
  "strict_set_cover_infeasible": true,
  "H19_shallow_proxy_wins_all_12": true,
  "B7_depth22_wins_3_of_first4_vs_H19": true
 },
 "drill": {
  "plants": 15,
  "plants_caught_by_named_checks": 15,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 194,
  "must_stay_green_held": 194,
  "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-matrix-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-cover-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-winner",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-cover-constraint",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-marker-outer",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-edge-pending",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-rebuild-claim",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-deep-B7-volume",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-exact-claim",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-limit-claim",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-limit-value",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-ships-code",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-margin",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-crystal-value",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}