{
 "run": "RUN-002",
 "subject": "Round 00 v0.2: external baseline and support-function interface",
 "document": "main.zip!/AMRAL_Lebesgue_Finite_Closure_Round_00_Methodology_v0.2.md",
 "snapshot_retrieved": "2026-09-24",
 "claims": {
  "upper": "0.8440935944",
  "lower_date": "2026-08-31",
  "lower": "0.8344",
  "hierarchy_date": "2026-09-01",
  "rate": "CM^{-2}",
  "limit": "\\lim_{M\\to\\infty}\\Lambda_M",
  "monotone": "\\Lambda_1\n\\le\n\\Lambda_2\n\\le\n\\cdots\n\\le\na_{\\mathrm{Leb}}",
  "gap_minuend": "0.8440935944",
  "gap_subtrahend": "0.8344",
  "gap": "0.0096935944",
  "interval_lower": "0.8344",
  "interval_upper": "0.8440935944",
  "references": {
   "1810.10089": {
    "authors": [
     "Philip Gibbs"
    ],
    "title": "An Upper Bound for Lebesgue's Covering Problem",
    "date": "2018"
   },
   "2608.30538": {
    "authors": [
     "Ujjwal Mishra"
    ],
    "title": "Curves of constant width and Lebesgue's covering problem",
    "date": "2026-08-31"
   },
   "2609.01284": {
    "authors": [
     "Shuai Zeng"
    ],
    "title": "An exact hierarchy for Lebesgue's universal covering constant and a certified 0.834 lower bound",
    "date": "2026-09-01"
   },
   "2606.14625": {
    "authors": [
     "Wacharin Wichiramala",
     "Chatchawan Panraksa"
    ],
    "title": "Wetzel's 30-60-90 Triangle Covers Unit Arcs",
    "date": "2026"
   }
  }
 },
 "checks": {
  "A1": {
   "pass": true,
   "failures": []
  },
  "A2": {
   "pass": true,
   "failures": []
  },
  "A3": {
   "pass": true,
   "failures": []
  },
  "B1": {
   "pass": true,
   "failures": []
  },
  "B2": {
   "pass": true,
   "failures": []
  },
  "B3": {
   "pass": true,
   "failures": []
  }
 },
 "b2_witness": {
  "body": [
   [
    "0",
    "0"
   ],
   [
    "3",
    "0"
   ],
   [
    "1",
    "2"
   ]
  ],
  "orientation_sign": -1,
  "mirror_orientation_sign": 1
 },
 "drill": {
  "plants": 20,
  "plants_caught_by_named_checks": 20,
  "controls": 8,
  "controls_undisturbed": 8,
  "must_stay_green_assertions": 146,
  "must_stay_green_held": 146,
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K1-crlf-document",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K2-title-html-entity",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K3-trailing-zero-number",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K4-law-periodic-rewrite",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K5-law-as-inverse-rotation",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "M1-lower-bound-edited",
    "kind": "mutation",
    "expected": [
     "A2",
     "A3"
    ],
    "tripped": [
     "A2",
     "A3"
    ],
    "ok": true
   },
   {
    "case": "M2-gap-edited",
    "kind": "mutation",
    "expected": [
     "A3"
    ],
    "tripped": [
     "A3"
    ],
    "ok": true
   },
   {
    "case": "M3-lower-date-is-v2",
    "kind": "mutation",
    "expected": [
     "A2"
    ],
    "tripped": [
     "A2"
    ],
    "ok": true
   },
   {
    "case": "M4-title-one-char",
    "kind": "mutation",
    "expected": [
     "A2"
    ],
    "tripped": [
     "A2"
    ],
    "ok": true
   },
   {
    "case": "M5-arxiv-id-edited",
    "kind": "mutation",
    "expected": [
     "A1",
     "A2"
    ],
    "tripped": [
     "A1",
     "A2"
    ],
    "ok": true
   },
   {
    "case": "M6-rate-removed",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M7-conflicting-lower",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M8-upper-edited-in-interval-only",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M9-source-number-changed",
    "kind": "mutation",
    "expected": [
     "A2"
    ],
    "tripped": [
     "A2"
    ],
    "ok": true
   },
   {
    "case": "M10-source-rate-missing",
    "kind": "mutation",
    "expected": [
     "A2"
    ],
    "tripped": [
     "A2"
    ],
    "ok": true
   },
   {
    "case": "M11-source-authors-reordered",
    "kind": "mutation",
    "expected": [
     "A2"
    ],
    "tripped": [
     "A2"
    ],
    "ok": true
   },
   {
    "case": "M12-law-sign-of-phi",
    "kind": "mutation",
    "expected": [
     "B1"
    ],
    "tripped": [
     "B1"
    ],
    "ok": true
   },
   {
    "case": "M13-law-translation-sign",
    "kind": "mutation",
    "expected": [
     "B1"
    ],
    "tripped": [
     "B1"
    ],
    "ok": true
   },
   {
    "case": "M14-law-translation-rotated",
    "kind": "mutation",
    "expected": [
     "B1"
    ],
    "tripped": [
     "B1"
    ],
    "ok": true
   },
   {
    "case": "M15-law-rotation-dropped",
    "kind": "mutation",
    "expected": [
     "B1"
    ],
    "tripped": [
     "B1"
    ],
    "ok": true
   },
   {
    "case": "M16-law-improper-used-for-proper",
    "kind": "mutation",
    "expected": [
     "B1"
    ],
    "tripped": [
     "B1"
    ],
    "ok": true
   },
   {
    "case": "K6-other-scalene-body",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K7-interior-point-of-annulus-hole",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "M17-isosceles-body-has-no-chirality",
    "kind": "mutation",
    "expected": [
     "B2"
    ],
    "tripped": [
     "B2"
    ],
    "ok": true
   },
   {
    "case": "M18-disc-taken-closed",
    "kind": "mutation",
    "expected": [
     "B3"
    ],
    "tripped": [
     "B3"
    ],
    "ok": true
   },
   {
    "case": "M19-annulus-hole-closed-up",
    "kind": "mutation",
    "expected": [
     "B3"
    ],
    "tripped": [
     "B3"
    ],
    "ok": true
   },
   {
    "case": "M20-point-inside-open-disc",
    "kind": "mutation",
    "expected": [
     "B3"
    ],
    "tripped": [
     "B3"
    ],
    "ok": true
   }
  ]
 }
}