{
 "run": "RUN-030",
 "subject": "Round 27: residual continuation and the first rational / interval leaf certificates",
 "document": "main.zip!/AMRAL_LUC_FC_Round_27_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_27_Residual_Interval_Replay_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "common": {
   "36": 51,
   "37": 56,
   "38": 57,
   "39": 63,
   "40": 63
  },
  "open_at_40": [
   1,
   2,
   6,
   7,
   13,
   23,
   24,
   25,
   26,
   27,
   31,
   32,
   33,
   34
  ],
  "depths": {
   "0": 39,
   "1": null,
   "2": null,
   "4": 37,
   "6": null,
   "7": null,
   "13": null,
   "14": 37,
   "16": 39,
   "18": 39,
   "23": null,
   "24": null,
   "25": null,
   "26": null,
   "27": null,
   "28": 39,
   "29": 39,
   "31": null,
   "32": null,
   "33": null,
   "34": null,
   "35": 37,
   "36": 37,
   "37": 38,
   "44": 39,
   "51": 37
  },
  "ratio_40_max": 0.6076692121924157,
  "contracting_40": true,
  "continuation_joins": true,
  "frontier_40": 825168,
  "records_matched": 14
 },
 "w2": {
  "leaves": 9278,
  "phi_equal": 12,
  "xy_ulps": 4,
  "root_ulps": 4,
  "t7_ulps_above_exact": [
   7.39,
   3.39
  ],
  "phi_root_short": 3.4989908547067234e-17,
  "bound_difference": 7.771561172376096e-16,
  "cell": "0001110001100111000100010001001111011111",
  "root": [
   "0x1.9c9e1c2550f76p-3",
   [
    "0x1.9c9e1c2550f72p-3"
   ]
  ],
  "slacks": [
   4.2074202122321935e-08,
   7.393349144013683e-08,
   1.2945267724440157e-07,
   1.7121232398498165e-07,
   2.164038009899727e-07,
   2.3425369155560816e-07,
   3.1451419857386753e-07,
   3.3605567073546894e-07,
   3.8458212259229185e-07,
   3.893567879220683e-07,
   3.988784477160223e-07,
   4.1434902131598506e-07
  ]
 },
 "w3": {
  "passed": [
   12,
   12
  ],
  "failures": [
   0,
   0
  ],
  "counts_match": true,
  "stored_identical": true,
  "margin_difference": [
   4.8150077577593334e-17,
   4.8150077577593334e-17
  ],
  "least_margin": [
   3.194892273812446e-08,
   3.1948922774257185e-08
  ],
  "areas": [
   "0.83500003194892273812",
   "0.83500006415439350409",
   "0.83500011567309923634",
   "0.83500015723539716109",
   "0.83500020268749348380",
   "0.83500022387897438611",
   "0.83500030345195479087",
   "0.83500032344213856490",
   "0.83500037109027028333",
   "0.83500037545738309581",
   "0.83500038721996120246",
   "0.83500040147374126816"
  ],
  "margins": [
   3.194892273812446e-08,
   6.41543935040952e-08,
   1.1567309923634969e-07,
   1.5723539716109437e-07,
   2.0268749348380238e-07,
   2.2387897438611462e-07,
   3.034519547908737e-07,
   3.2344213856490635e-07,
   3.710902702833341e-07,
   3.7545738309581365e-07,
   3.8721996120246926e-07,
   4.0147374126816896e-07
  ],
  "shipped_margins": [
   3.1948922774257185e-08,
   6.415439350323177e-08,
   1.1567309923634969e-07,
   1.5723539714936934e-07,
   2.0268749349469306e-07,
   2.2387897438611462e-07,
   3.034519547910426e-07,
   3.2344213856490635e-07,
   3.710902702833341e-07,
   3.7545738309581365e-07,
   3.8721996120246926e-07,
   4.0147374126816896e-07
  ]
 },
 "w4": {
  "enclosures": true,
  "inside_hull": true,
  "gap": [
   9.879097908788533e-09,
   1.407692679663419e-08
  ],
  "outward": [
   3170,
   0,
   false
  ],
  "sparse": [
   806,
   0,
   false,
   -1.8046716792384747e-07
  ],
  "corner_width": 2.158394419722938e-58
 },
 "w5": {
  "fast_negative_prefilter.py": {
   "lines": 46,
   "absolute_path": true,
   "uses": [
    "r26_fastgeom",
    "r26_wave_scheduler"
   ],
   "not_in_archive": [
    "r26_fastgeom",
    "r26_wave_scheduler"
   ],
   "interval": false,
   "decimal17": false
  },
  "interval_polygon_replay.py": {
   "lines": 171,
   "absolute_path": true,
   "uses": [
    "AMRAL_LUC_FC_Round_24_reference/cell0_B7_complete_edge/manifest.json",
    "AMRAL_LUC_FC_Round_27_INTERVAL_POLYGON_REPLAY.json",
    "r25_incremental_wave.py",
    "r27_cell0_worst_leaf.json"
   ],
   "not_in_archive": [
    "r27_cell0_worst_leaf.json"
   ],
   "interval": true,
   "decimal17": true
  },
  "tight_leaf_interval_batch.py": {
   "lines": 72,
   "absolute_path": true,
   "uses": [
    "AMRAL_LUC_FC_Round_24_reference/cell0_B7_complete_edge/manifest.json",
    "AMRAL_LUC_FC_Round_27_INTERVAL_TIGHT_LEAF_AUDIT.json",
    "r25_incremental_wave.py",
    "r27_cell0_tight12.json"
   ],
   "not_in_archive": [
    "r27_cell0_tight12.json"
   ],
   "interval": true,
   "decimal17": true
  }
 },
 "p1": {
  "distribution": {
   "38": 8,
   "36": 5,
   "40": 1
  },
  "volumes": [
   2.9744075452249496e-10,
   1.77552513145264e-08,
   6.408602296014797e-08
  ]
 },
 "p2": {
  "canonical_common_d36_51": true,
  "known_le38_at_least_57": true,
  "known_le40_at_least_63": true,
  "tight5_all_pass": true,
  "worst_leaf_exact_margin_positive": true,
  "worst_leaf_membership_failures_zero": true,
  "publication_scope_false": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 161,
  "must_stay_green_held": 161,
  "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-progress-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-audit-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-cell-pending",
    "kind": "mutation",
    "expected": [
     "P1",
     "W1"
    ],
    "tripped": [
     "P1",
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-lower-bound",
    "kind": "mutation",
    "expected": [
     "P1",
     "W1"
    ],
    "tripped": [
     "P1",
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-residual-claim",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-reference-box",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-cell",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-audit-area",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-audit-count",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-theorem-claim",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-code-claim",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-replay-fraction",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-backend-precision",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "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
   }
  ]
 }
}