{
 "run": "RUN-032",
 "subject": "Round 29: the necessity markers' directed rational upper certificates and the first whole shard",
 "document": "main.zip!/AMRAL_LUC_FC_Round_29_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_29_Marker_Whole_Shard_ABI_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "markers": 77,
  "inside": 77,
  "axes_equal": 77,
  "ids_path_order": true,
  "centre_ulps": 7
 },
 "w2": {
  "certified": 77,
  "ladder": {
   "128": 51,
   "256": 26
  },
  "least": [
   47,
   1.4996147563446147e-06
  ],
  "exact_least": [
   47,
   1.856783932985273e-05
  ],
  "bridges": [
   11
  ],
  "all_below_exact": true,
  "margins": [
   7.5938003396483255e-06,
   2.75505135427733e-05,
   3.02605992117637e-05,
   2.7407192404744975e-06,
   3.7851884927225025e-05,
   1.598077867894868e-05,
   5.573284156846082e-06,
   2.2372847294659326e-05,
   7.621593212082173e-05,
   2.448774186618763e-05,
   1.6335576379574557e-05,
   2.5926912880548496e-05,
   3.048280522965226e-05,
   1.7908043895410592e-06,
   2.0483435465654418e-05,
   1.9051306741911806e-05,
   4.344002100663704e-05,
   5.628851372861601e-05,
   2.765865278713129e-05,
   6.36315456682747e-05,
   3.8234439588618206e-05,
   8.457680736691093e-05,
   1.7631194422863593e-05,
   2.2342793121611566e-05,
   9.271093526654444e-06,
   4.3605617866346973e-05,
   3.660179147183566e-05,
   5.6445445575967086e-05,
   2.3812973109131637e-05,
   8.35323485643845e-06,
   4.359921427378248e-05,
   1.557833395059123e-05,
   3.0553420386864876e-05,
   3.0357313730019273e-05,
   1.5419330199880726e-05,
   3.572577130616044e-05,
   4.866335270230936e-06,
   7.326740066698146e-05,
   3.5870936533918654e-05,
   2.2365727190632367e-05,
   8.740020979337374e-05,
   2.5637527826724618e-05,
   7.725755369083244e-05,
   1.0565928664075426e-05,
   7.84507258062394e-06,
   2.776016696428509e-05,
   8.608352025004072e-05,
   1.4996147563446147e-06,
   4.028306961197044e-05,
   2.4825925315990006e-05,
   1.1685977351794858e-05,
   3.805468163748388e-05,
   2.402204565131366e-05,
   2.3950119640640662e-05,
   0.00011187230540774787,
   2.978038254059612e-05,
   5.479297234192152e-05,
   6.804385321313653e-05,
   6.547500337680318e-05,
   0.00012604895502667566,
   5.418212818477427e-06,
   1.6862765238191202e-06,
   1.4087099569153909e-05,
   6.105895006060088e-05,
   4.629620107005173e-06,
   0.0001158638523625387,
   0.00010979458897914895,
   5.707684131142046e-05,
   9.961572239094077e-05,
   5.070240264558226e-06,
   0.00013675030022222711,
   8.24183962939387e-05,
   1.1058119998788397e-05,
   4.146957925946504e-05,
   3.983181442028239e-05,
   7.618893728138815e-05,
   1.7451451239390935e-05
  ],
  "exact_margins": [
   6.860787530338364e-05,
   8.765953946121563e-05,
   4.668480569092193e-05,
   1.9616772541697358e-05,
   9.920824559006558e-05,
   3.2810765167590183e-05,
   2.112102181028863e-05,
   3.768614071264498e-05,
   0.0001370342067392727,
   4.141142893376859e-05,
   7.750892633162643e-05,
   8.722141876593703e-05,
   9.204803126350303e-05,
   6.129545405908488e-05,
   3.684629126543548e-05,
   3.535311422653287e-05,
   0.00010354662376554913,
   0.0001162101268039617,
   4.377164330149341e-05,
   0.0001241080170195641,
   5.473852491277853e-05,
   0.00014452441912626846,
   7.854666517470577e-05,
   8.260487681810424e-05,
   2.4966845854956787e-05,
   5.98088533141361e-05,
   5.266362113687251e-05,
   0.00011678567706963072,
   8.459387941939234e-05,
   2.4520142292150382e-05,
   6.047091789862513e-05,
   3.14901572375792e-05,
   8.96291850169817e-05,
   9.001114689533019e-05,
   3.122132021382562e-05,
   9.517145958426454e-05,
   6.492338556940425e-05,
   0.00013243546712482512,
   9.562424407838499e-05,
   3.8250174660525715e-05,
   0.0001475935088988134,
   8.516651235745964e-05,
   0.00013744865277887097,
   2.6824883661236143e-05,
   6.754332223501969e-05,
   8.895734933622723e-05,
   0.0001467775146587469,
   1.856783932985273e-05,
   0.00010222745468868588,
   4.181835201322315e-05,
   2.8219430190823402e-05,
   9.958855701641678e-05,
   8.500215727358373e-05,
   8.573781395038171e-05,
   0.00017333249257378558,
   4.630072674050023e-05,
   0.00011588578270704808,
   0.00013064038965315827,
   0.00012815444269698162,
   0.00018832782834943274,
   6.838959766486408e-05,
   6.182826899259197e-05,
   3.047846315595848e-05,
   0.00012096542154349521,
   6.552849864416288e-05,
   0.00017617175579565103,
   0.00017084801269917627,
   0.0001171336277180357,
   0.0001612202817038444,
   6.738115081084128e-05,
   0.0001981579684356971,
   0.00014280245040965145,
   2.7267709691525255e-05,
   0.00010136922328563003,
   5.611873938982104e-05,
   0.00013790529424184683,
   7.873645672273888e-05
  ]
 },
 "w3": {
  "valid_upper": 77,
  "counts_equal": 77,
  "area_difference": 1.2598866394597508e-10,
  "loss_ratio": [
   1.3132319981728813,
   5.51429571444892
  ],
  "start_rule": [
   73,
   4
  ],
  "marker47": {
   "reference_loss": 1.8279320929348586e-05,
   "package_loss": 1.1000646286118965e-05,
   "exact_margin": 1.856783932985273e-05
  },
  "least_package": [
   6,
   6.106217252494817e-07
  ],
  "losses": [
   3.787615968864344e-05,
   5.1346554672759837e-05,
   4.499339425712012e-05,
   1.818207370951619e-05,
   3.1273549934818234e-05,
   1.9716211337450495e-05,
   2.0510400085105296e-05,
   2.1842000745064816e-05,
   5.911861336083124e-05,
   2.2082036909343294e-05,
   3.768190185560183e-05,
   2.3419736104757227e-05,
   2.0216176267906505e-05,
   2.803567196585366e-05,
   3.119411796592697e-05,
   2.244320844868586e-05,
   3.703185808001663e-05,
   8.680328662058479e-05,
   4.04944215697256e-05,
   6.630585668709887e-05,
   4.480246309990221e-05,
   0.00010961197321479599,
   3.30326785968893e-05,
   4.460029554098632e-05,
   2.2410201817812947e-05,
   4.138219798821563e-05,
   4.291957872293306e-05,
   0.00011218769044318844,
   2.939559375914058e-05,
   1.846671728977789e-05,
   4.4558869361055464e-05,
   2.452322610202451e-05,
   3.512952949968895e-05,
   4.780218558853022e-05,
   2.5233813673142258e-05,
   2.7202596576181293e-05,
   3.316792054430806e-05,
   0.00011023663177534004,
   4.5938985211657624e-05,
   2.2317234429913846e-05,
   8.385265103094675e-05,
   4.489122718376315e-05,
   9.763654837913194e-05,
   2.351673168665691e-05,
   3.6135641391155104e-05,
   1.966279816401073e-05,
   6.67037692408945e-05,
   1.1000646286118965e-05,
   3.480099622088506e-05,
   2.31962581630496e-05,
   1.5791668704912e-05,
   5.024545034593153e-05,
   4.8740070759278886e-05,
   5.176224869052337e-05,
   4.69061159377171e-05,
   4.145529912480406e-05,
   2.7850043543664604e-05,
   7.314162632598986e-05,
   8.760178162037224e-05,
   0.00010944539760082694,
   4.9373873477365215e-05,
   4.489052898670742e-05,
   1.284802168166621e-05,
   8.068716249931551e-05,
   3.7196074593293105e-05,
   4.130698509430264e-05,
   6.597811206110471e-05,
   7.0634836401684e-05,
   5.677503619538893e-05,
   3.9778559045244855e-05,
   0.0001056594185462334,
   7.725372637956696e-05,
   1.5968194579940587e-05,
   4.5642873570006515e-05,
   2.107553406693885e-05,
   7.23927821723036e-05,
   3.873885199157101e-05
  ]
 },
 "w4": {
  "rows": [
   [
    6,
    true,
    true,
    true,
    4962,
    4900
   ],
   [
    47,
    true,
    true,
    true,
    10255,
    10204
   ],
   [
    70,
    true,
    true,
    true,
    1317,
    1284
   ]
  ],
  "status": "PASS",
  "same_in_summary": true
 },
 "w5": {
  "path": true,
  "point": true,
  "axes": true,
  "upper": true,
  "lower": true,
  "flags": true
 },
 "w6": {
  "r29_marker_a1_verify.py": {
   "lines": 92,
   "absolute_path": true,
   "uses": [
    "AMRAL_LUC_FC_Round_29_A1_MARKER_AUDIT.json",
    "AMRAL_LUC_FC_Round_29_reference"
   ],
   "not_in_archive": [],
   "normal_scale": 9,
   "sector_support": true,
   "start_from_reference_margin": false
  },
  "r29_marker_migrate.py": {
   "lines": 190,
   "absolute_path": true,
   "uses": [
    "AMRAL_LUC_FC_Round_26_FULL_ATLAS_LEDGER.json",
    "AMRAL_LUC_FC_Round_28_ROOT_RECONSTRUCTION.json",
    "AMRAL_LUC_FC_Round_29_reference",
    "r25_incremental_wave.py"
   ],
   "not_in_archive": [],
   "normal_scale": 9,
   "sector_support": true,
   "start_from_reference_margin": true
  }
 },
 "p1": {
  "density_counts": {
   "4096": 21,
   "8192": 39,
   "16384": 16,
   "32768": 1
  },
  "median": 3.504320532290024e-05
 },
 "p2": {
  "marker_count_77": true,
  "all_marker_pass": true,
  "no_marker_inconclusive": true,
  "all_marker_paths_zero_override": true,
  "marker_A1_sample_pass": true,
  "marker70_path_matches_round28": true,
  "marker70_upper_pass": true,
  "round28_lower_all_pass": true,
  "whole_shard_not_publication_candidate": true,
  "whole_shard_not_theorem_ready": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 15,
  "plants_caught_by_named_checks": 15,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 173,
  "must_stay_green_held": 173,
  "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-summary-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-shard-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-margin",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-point-outside",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-axis-trace",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-upper-claim",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-area-below-exact",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-package-claim",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-audit-area",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-shard-margin",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-shard-leaves",
    "kind": "mutation",
    "expected": [
     "P2",
     "W5"
    ],
    "tripped": [
     "P2",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-code-claim",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-summary-counts",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-crystal",
    "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
   }
  ]
 }
}