{
 "run": "RUN-007",
 "subject": "Round 04: the candidate-cover compiler",
 "document": "main.zip!/AMRAL_LUC_FC_Round_04_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_04_Candidate_Cover_Compiler_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "pass": true,
   "failures": []
  },
  "C1": {
   "pass": true,
   "failures": []
  },
  "C2": {
   "pass": true,
   "failures": []
  },
  "C3": {
   "pass": true,
   "failures": []
  },
  "C4": {
   "pass": true,
   "failures": []
  },
  "C5": {
   "pass": true,
   "failures": []
  },
  "C6": {
   "pass": true,
   "failures": []
  },
  "C7": {
   "pass": true,
   "failures": []
  },
  "C8": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "c4_rows": {
  "sec33": {
   "excess": 0.0006224936758760791,
   "eps_global_R": 0.08339137281575232,
   "eps_true_R": 0.026287158719965127
  },
  "hexagon": {
   "excess": 0.006634762789089921,
   "eps_global_R": 0.08339137281575232,
   "eps_true_R": 0.02885721913584296
  },
  "chiral": {
   "excess": 0.0006124726512238832,
   "eps_global_R": 0.08339137281575232,
   "eps_true_R": 0.027291794117343858
  }
 },
 "c5_rows": {
  "sec33": {
   "area_U": 0.8327576726503144,
   "area_P": 0.8336391643823979,
   "inflation": 0.0008814917320835169,
   "area_P_gamma_support": 0.8663329901861224,
   "area_P_gamma_steiner": 0.8663329562094295
  },
  "hexagon": {
   "area_U": 0.8660254037844386,
   "area_P": 0.87407311176258,
   "inflation": 0.00804770797814136,
   "area_P_gamma_support": 0.9090403741534061,
   "area_P_gamma_steiner": 0.9090399589385665
  },
  "chiral": {
   "area_U": 0.8815497481532176,
   "area_P": 0.8824547389836827,
   "inflation": 0.0009049908304650245,
   "area_P_gamma_support": 0.9160909893325805,
   "area_P_gamma_steiner": 0.9160909524134759
  }
 },
 "c7": {
  "definition_area": 0.8336391643823979,
  "definition_excess": 0.0006224936758760791,
  "recorded_area": 0.8337053574119659,
  "recorded_excess": 0.0006459849700081177,
  "pinned_extra_levels_at": [
   0,
   16,
   48,
   64,
   80,
   112
  ]
 },
 "drill": {
  "plants": 15,
  "plants_caught_by_named_checks": 15,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 189,
  "must_stay_green_held": 189,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-eps-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-quantize-by-floor-plus-one",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-area-doubled",
    "kind": "mutation",
    "expected": [
     "C1"
    ],
    "tripped": [
     "C1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-R-arithmetic",
    "kind": "mutation",
    "expected": [
     "C1"
    ],
    "tripped": [
     "C1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-quantize-downward",
    "kind": "mutation",
    "expected": [
     "C2"
    ],
    "tripped": [
     "C2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-eps-missing-R-d",
    "kind": "mutation",
    "expected": [
     "C3",
     "C7"
    ],
    "tripped": [
     "C3",
     "C7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-eps-without-q",
    "kind": "mutation",
    "expected": [
     "C3",
     "C7"
    ],
    "tripped": [
     "C3",
     "C7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-beta-without-square",
    "kind": "mutation",
    "expected": [
     "C7"
    ],
    "tripped": [
     "C7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6b-eps-tiny",
    "kind": "mutation",
    "expected": [
     "C3",
     "C4",
     "C5",
     "C7"
    ],
    "tripped": [
     "C3",
     "C4",
     "C5",
     "C7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-overhead-too-small",
    "kind": "mutation",
    "expected": [
     "C5"
    ],
    "tripped": [
     "C5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-K_q-short",
    "kind": "mutation",
    "expected": [
     "C6"
    ],
    "tripped": [
     "C6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-recorded-area",
    "kind": "mutation",
    "expected": [
     "C7"
    ],
    "tripped": [
     "C7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-pin-dropped",
    "kind": "mutation",
    "expected": [
     "C7"
    ],
    "tripped": [
     "C7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-doc-eps-edited",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-package-sha",
    "kind": "mutation",
    "expected": [
     "C8"
    ],
    "tripped": [
     "C8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-ref-year",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}