{
 "run": "RUN-010",
 "subject": "Round 07: the minimizer atlas and threshold-conditioned witness lifting",
 "document": "main.zip!/AMRAL_LUC_FC_Round_07_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_07_Minimizer_Atlas_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "pass": true,
   "failures": []
  },
  "X1": {
   "pass": true,
   "failures": []
  },
  "X2": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "D1": {
   "pass": true,
   "failures": []
  },
  "D2": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "d_star_08344": 0.6938306487133412,
  "d_star_0835": 0.6955591513830561,
  "t": {
   "0.8344": {
    "3": 0.19236641152566084,
    "5": 0.1958907146437106
   },
   "0.835": {
    "3": 0.19485618090886492,
    "5": 0.19782067040055226
   }
  }
 },
 "w2": {
  "exact_hull": 0.8347809459115401,
  "classical_exact_hull": 0.833597536505196,
  "normalized_phi5": 2.4128951082724726e-05,
  "headroom": 0.00021905408799993697
 },
 "w3": {
  "rows": {
   "7": {
    "J": 0.8371345412488157,
    "found_by": "search",
    "placement": [
     0.2513270004264114,
     -0.0003373622510660715,
     0.012672509858033643
    ],
    "search": 0.8371345412488157,
    "polish": 0.8371345427189025,
    "exact_at_package_placement": 0.8371345892164941,
    "package_sampled": 0.8371327764081523,
    "sampled_at_J": 0.8371345411494575,
    "text": 0.83713
   },
   "9": {
    "J": 0.8356306847170577,
    "found_by": "search",
    "placement": [
     0.349065858149803,
     -0.0034216033290235966,
     -1.0605798523216038e-08
    ],
    "search": 0.8356306847170577,
    "polish": 0.8356306856185759,
    "exact_at_package_placement": 0.835630836881353,
    "package_sampled": 0.8356291500819925,
    "sampled_at_J": 0.8356306846051176,
    "text": 0.83563
   },
   "11": {
    "J": 0.8361324157185968,
    "found_by": "polish from the package's placement",
    "placement": [
     0.5174607969158509,
     -0.00188824023400949,
     -0.0031395502877100906
    ],
    "search": 0.836140124054539,
    "polish": 0.8361324157185968,
    "exact_at_package_placement": 0.8361325595779256,
    "package_sampled": 0.8361309369262695,
    "sampled_at_J": 0.836132415620826,
    "text": 0.83613
   },
   "13": {
    "J": 0.8359056346814462,
    "found_by": "search",
    "placement": [
     0.031738632246959816,
     -0.0027317890324898607,
     -0.0016747411057747865
    ],
    "search": 0.8359056346814462,
    "polish": 0.8359689628895799,
    "exact_at_package_placement": 0.8359690148778989,
    "package_sampled": 0.8359676133932494,
    "sampled_at_J": 0.8359056345807356,
    "text": 0.83597
   }
  },
  "order": [
   7,
   11,
   13,
   9
  ]
 },
 "w4": {
  "four_body_search": 0.8364914415826941,
  "sampled_hull": 0.8364914414681638,
  "placement": [
   -0.002622267508949356,
   0.0022429717466441327,
   1.2275062298519455,
   0.024893679533787835,
   0.0031659621606620683,
   0.19799587025401166,
   0.0027453888310991657,
   0.012748321636015764
  ],
  "fixed_seed_J7": 0.8371345412488157,
  "repository_optimum": 0.836494901,
  "search_minus_repository": -3.459417305951007e-06
 },
 "w5": {
  "exponent": 5.503497855368444,
  "margin": 0.0014949010000000484,
  "boxes": 5527213056235.918,
  "days": 5635.835903097865,
  "alternatives": {
   "least-squares centre": {
    "boxes": 4946241768016.038,
    "days": 5043.447151026054
   },
   "anchored at the nearest run": {
    "boxes": 4847582019065.405,
    "days": 4942.848503991944
   }
  }
 },
 "d2": {
  "joint_min": 0.8379417120545344,
  "sampled": 0.8379417119273613,
  "A7_at_joint": 0.8371355977848772,
  "A9_at_joint": 0.8358767875829622,
  "J7": 0.8371345412488157,
  "J9": 0.8356306847170577
 },
 "drill": {
  "plants": 20,
  "plants_caught_by_named_checks": 20,
  "controls": 5,
  "controls_undisturbed": 5,
  "must_stay_green_assertions": 330,
  "must_stay_green_held": 330,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-f-as-phi",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-t-by-cos",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K4-omega-factored",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-seed-area",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-ref-year",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-slack-misquoted",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-four-body-misquoted",
    "kind": "mutation",
    "expected": [
     "X2"
    ],
    "tripped": [
     "X2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-seed-digit",
    "kind": "mutation",
    "expected": [
     "X2"
    ],
    "tripped": [
     "X2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-f-arccos-sign",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-t-far-corner",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-dstar-digit",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-phi5-norm",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-headroom",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-B7-lift",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-ranking",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-gate-too-high",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-cost-boxes",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-omega-without-pi",
    "kind": "mutation",
    "expected": [
     "D1"
    ],
    "tripped": [
     "D1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-switch-additive",
    "kind": "mutation",
    "expected": [
     "D2"
    ],
    "tripped": [
     "D2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-recorded-exact-area",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-spec-threshold",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-package-sha",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}