{
 "run": "RUN-009",
 "subject": "Round 06: the finite witness exchange compiler",
 "document": "main.zip!/AMRAL_LUC_FC_Round_06_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_06_Witness_Exchange_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "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": []
  },
  "D1": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "a1": {
  "xie_cited_title_is_version": [
   "1",
   "2"
  ],
  "xie_current_version": "4",
  "xie_current_title": "A Certified Lower Bound for Lebesgue's Universal Cover Problem"
 },
 "w1": {
  "disc": 0.7853981633974483,
  "disc_triangle": 0.8257117835909435,
  "disc_reuleaux_triangle": 0.8257117835909435,
  "pal": 0.8257117835909434,
  "least_displacement_increase": 5.178306177633374e-06
 },
 "w2": {
  "grid_margin": 0.07735026918962576,
  "sigma": 1,
  "bracket": [
   -0.07379967782989241,
   0.08065553957138677
  ],
  "largest_random_target_margin": 0.026351191095304392
 },
 "w3": {
  "attained_distance": 0.07735026918962584,
  "least_random_distance": 0.08317081524727632,
  "gamma_at_delta": 0.013437873397831757,
  "actual_gain": 0.04031362019349516
 },
 "w4": {
  "largest_single_body_turn_change": 0.016844080926774696
 },
 "w5": {
  "mishra_placement_areas": {
   "reuleaux": 0.834780945939869,
   "polygon": 0.833597536558429
  },
  "search": {
   "reuleaux": {
    "area": 0.8347809459519859,
    "sampled_hull": 0.8347809459033065,
    "placement": [
     0.006079479087197992,
     0.010530024148809148,
     0.4189004610412939,
     -0.011501274899092634,
     -0.01991386168250848
    ]
   },
   "polygon": {
    "area": 0.8335973878341463,
    "sampled_hull": 0.8335973877724439,
    "placement": [
     0.0045579486588910555,
     -0.00789848908269113,
     0.20932309307672148,
     0.011989370957669105,
     -0.020730807023457642
    ]
   }
  },
  "dominance_gap_at_least": 0.0008026121658537555,
  "lambda_F3_bracket": [
   0.8344,
   0.834780945939869
  ]
 },
 "p1": {
  "toy_errors_over_delta": 0.125
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 255,
  "must_stay_green_held": 255,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-gamma-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-dim-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-margin-edited",
    "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-xie-pin-dropped",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-mishra-eta",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-pal-pair-misnamed",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-pal-value",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-margin",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-gamma-too-small",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-gamma-too-large",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-dimension",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4"
    ],
    "tripped": [
     "P1",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-mishra-lower-too-high",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-classical-lower-too-high",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-pentagon-shrunk",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-lipschitz-half",
    "kind": "mutation",
    "expected": [
     "D1"
    ],
    "tripped": [
     "D1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-recorded-budget",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-package-sha",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}