{
 "run": "RUN-044",
 "subject": "UESFCM Cycles 01-03: the B7 separator gate, the minimizer atlas and exact exchange, orbit localization",
 "documents": [
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_01_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_01_B7_Separator_Gate_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_02_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_02_Minimizer_Atlas_and_Exact_Exchange_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_03_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_03_Orbit_Localization_and_Scalar_Closure_v0.1.md"
 ],
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "X1": {
   "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": []
  },
  "W8": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "x1": {
  "missing": [],
  "forest_roots": 4194304,
  "seed_roots": 4194304,
  "remark20": [
   true,
   true
  ],
  "remark20_factor": 169,
  "remark34_boxes": [
   25425568,
   27350260
  ],
  "f070": true
 },
 "w1": {
  "placement_as_shown": true,
  "areas": {
   "repository": 0.834780945912,
   "paper": 0.83478094594
  },
  "grid": {
   "min": 0.009382983648263432,
   "at": 193,
   "loss": 0.0017531209004407328,
   "lower": 0.007629862747822699,
   "paper_placement": 0.00938298364328
  },
  "ranking": {
   "7": 0.009383,
   "9": 0.00517,
   "11": 0.004727,
   "13": 0.003512,
   "15": 0.002646,
   "17": 0.002138,
   "19": 0.001713,
   "21": 0.001402,
   "25": 0.0009883,
   "31": 0.0006423,
   "41": 0.0003669
  },
  "table_within_one_unit": {
   "7": true,
   "9": true,
   "11": true,
   "13": true,
   "15": true,
   "17": true,
   "19": true,
   "21": true,
   "25": true,
   "31": true,
   "41": true
  },
  "decreasing": true,
  "loss_with_R7": 0.0008991
 },
 "w2": {
  "R5": "0.525731112119",
  "hausdorff_worst": 0.92,
  "box_holds_the_sublevel": true,
  "difference": "0.001713954",
  "four_body_search": 0.8364914416,
  "ceiling": {
   "uniform_1e6": 2.45e-07,
   "repository_1e6": 2.45e-07,
   "handovers": 17,
   "uniform_1e4": 3.42e-06,
   "with_handovers_1e4": 1.2e-08
  }
 },
 "w3": {
  "at_A3": [
   0.694929333199893,
   0.193949748872303,
   0.197117585445617
  ],
  "text_agrees": [
   true,
   true,
   true
  ],
  "factor": 164.271784679,
  "at_08344": [
   true,
   true,
   true
  ],
  "exclusion_least_excess": {
   "3": 0.0905,
   "5": 0.134
  }
 },
 "w4": {
  "minima": [
   [
    6.2e-05,
    0.01208567841
   ],
   [
    0.220843,
    0.009385623167
   ],
   [
    0.449237,
    0.01267971752
   ],
   [
    0.676813,
    0.009384687909
   ]
  ],
  "converged": true,
  "deep_basins": 2,
  "slack": 0.000112,
  "within_slack": [
   63,
   16
  ],
  "s7": 0.009384687909,
  "cycle03_minus_s7": 1.52e-07,
  "cycle01_grid_below": true
 },
 "w5": {
  "headroom": 2.451e-07,
  "negative": [
   0,
   0
  ],
  "least": [
   0.00841,
   0.00839,
   1.12e-05
  ],
  "radius": 0.044,
  "valley": {
   "turn_share": 0.987,
   "slopes": [
    1.1e-05,
    6.9e-05
   ],
   "reach": [
    0.00099,
    0.00078
   ],
   "reach_along_axes_at_most": 2.9e-05
  },
  "trap": {
   "32": {
    "grid_min": 0.8347809459,
    "exact_there": 0.8347809459,
    "false_low": false
   },
   "64": {
    "grid_min": 0.8347809459,
    "exact_there": 0.8347809459,
    "false_low": false
   },
   "128": {
    "grid_min": 0.8347809459,
    "exact_there": 0.8347809459,
    "false_low": false
   }
  }
 },
 "w6": {
  "area": 0.8305410847,
  "outer_1000": 0.8309188653,
  "outer_1e6": 0.8305414988,
  "vs_text": -9.8e-05,
  "below_seed": true
 },
 "w7": {
  "C01": [
   true,
   true,
   true,
   true
  ],
  "C02": [
   true,
   true
  ],
  "C03_domain_ulps": [
   1,
   0,
   4
  ],
  "C03_factor": 164.271784679,
  "C03_replacement": [
   9.8e-05,
   3.9e-05
  ]
 },
 "w8": {
  "lines": {
   "1": 141,
   "2": 175,
   "3": 66
  },
  "cycle01": {
   "repository_placement": true,
   "directions": true,
   "loss": true,
   "prints": [
    "B7"
   ]
  },
  "cycle02": {
   "split_weights": true,
   "inflate": true,
   "injected": true,
   "root": true
  },
  "cycle03": {
   "bisection": true,
   "imports": [
    [
     "math",
     ""
    ]
   ],
   "says_it_imports_geom": true
  }
 },
 "p1": {
  "1": {
   "sha256": "52b4d6ee8e281a485b61e7fec82e91b939c430947ad7f813d32f807e591d213f",
   "bytes": 11909,
   "lines": 1074,
   "controls": 0,
   "delimiters": true
  },
  "2": {
   "sha256": "0e87797622c190318d75bd33f58362599c1f2c8340772af03e9950c4d069b574",
   "bytes": 16893,
   "lines": 1691,
   "controls": 0,
   "delimiters": true
  },
  "3": {
   "sha256": "0912a45916bc3c6bad0bd341f511f1d87a1fc8a9357bfd37a2a233bb2f615fab",
   "bytes": 14877,
   "lines": 1249,
   "controls": 0,
   "delimiters": true
  }
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 190,
  "must_stay_green_held": 190,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-orientation-loss",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-snapshot-remark20",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-seed-depth",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-grid-value",
    "kind": "mutation",
    "expected": [
     "W1",
     "W7"
    ],
    "tripped": [
     "W1",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-ranking-row",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-hausdorff",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6b-ceiling-handovers",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-domain-text",
    "kind": "mutation",
    "expected": [
     "A0",
     "W3"
    ],
    "tripped": [
     "A0",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-exclusion",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-margin-far-point",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-negative-slope",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-replacement-area",
    "kind": "mutation",
    "expected": [
     "W6",
     "W7"
    ],
    "tripped": [
     "W6",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-crystal-loss",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-script-directions",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-crystal-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}