{
 "run": "RUN-005",
 "subject": "Round 02: the finite shape compiler",
 "document": "main.zip!/AMRAL_LUC_FC_Round_02_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_02_Finite_Compiler_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "pass": true,
   "failures": []
  },
  "K1": {
   "pass": true,
   "failures": []
  },
  "K2": {
   "pass": true,
   "failures": []
  },
  "K3": {
   "pass": true,
   "failures": []
  },
  "K4": {
   "pass": true,
   "failures": []
  },
  "K5": {
   "pass": true,
   "failures": []
  },
  "K6": {
   "pass": true,
   "failures": []
  },
  "K7": {
   "pass": true,
   "failures": []
  },
  "K8": {
   "pass": true,
   "failures": []
  },
  "K9": {
   "pass": true,
   "failures": []
  },
  "K10": {
   "pass": true,
   "failures": []
  },
  "K11": {
   "pass": true,
   "failures": []
  },
  "K12": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "k4_worst_ratio": 1.0000000000000002,
 "k5_ratios": {
  "1": 0.28810934721896003,
  "2": 0.2357310546200629,
  "8": 0.17407879281767355,
  "64": 0.15480443264751054,
  "256": 0.15268943536309026
 },
 "k12_rows": {
  "2": {
   "actual": 0.06059711728576755,
   "mu_half": 0.18367675690670596,
   "E_N": 0.7791792948228441
  },
  "4": {
   "actual": 0.028667580715009494,
   "mu_half": 0.06426329854090351,
   "E_N": 0.3289868133696453
  },
  "8": {
   "actual": 0.009647811510917086,
   "mu_half": 0.019324107379372155,
   "E_N": 0.11100782046215026
  },
  "16": {
   "actual": 0.002847455173739743,
   "mu_half": 0.0053169666346622214,
   "E_N": 0.032587843445636915
  },
  "32": {
   "actual": 0.0007749327907126857,
   "mu_half": 0.0013952869846708322,
   "E_N": 0.008852955677058752
  },
  "64": {
   "actual": 0.00020234509550750088,
   "mu_half": 0.00035740844234170274,
   "E_N": 0.0023087739558176686
  }
 },
 "sanity_recomputed": {
  "original_r_min": "0.10768588783870782",
  "original_r_max": "0.89231411216129218",
  "smoothing_actual_support_error": "0.00639466922143404",
  "interiorized_r_min": "0.22264683443315808",
  "interiorized_r_max": "0.77735316556684192",
  "quantized_r_min": "0.22289998745740615",
  "quantized_r_max": "0.77710001254259385",
  "total_support_error": "0.0094617496713189537",
  "smoothing_theoretical_bound_E_N": "0.11100782046215025",
  "q": "3.7202380952380952e-5",
  "A_N": "672",
  "theorem_total_bound": "0.16126823712881692"
 },
 "known_display_slips": {
  "0.77710000": "quantized curvature maximum; the value is 0.7771000125..."
 },
 "drill": {
  "plants": 24,
  "plants_caught_by_named_checks": 24,
  "controls": 6,
  "controls_undisturbed": 6,
  "must_stay_green_assertions": 417,
  "must_stay_green_held": 417,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-S_N-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-E_N-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-fejer-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K4-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K5-record-float-noise",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-fejer-coefficient",
    "kind": "mutation",
    "expected": [
     "K1"
    ],
    "tripped": [
     "K1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-S_N-denominator",
    "kind": "mutation",
    "expected": [
     "K2",
     "K3"
    ],
    "tripped": [
     "K2",
     "K3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-first-integral",
    "kind": "mutation",
    "expected": [
     "K3"
    ],
    "tripped": [
     "K3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-E_N-slightly-small",
    "kind": "mutation",
    "expected": [
     "K3",
     "K6",
     "K9"
    ],
    "tripped": [
     "K3",
     "K6",
     "K9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-E_N-tenfold-too-strong",
    "kind": "mutation",
    "expected": [
     "K12",
     "K3",
     "K5",
     "K6",
     "K9"
    ],
    "tripped": [
     "K12",
     "K3",
     "K5",
     "K6",
     "K9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-jordan-too-strong",
    "kind": "mutation",
    "expected": [
     "K4"
    ],
    "tripped": [
     "K4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-A_N-halved",
    "kind": "mutation",
    "expected": [
     "K7",
     "K9"
    ],
    "tripped": [
     "K7",
     "K9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-five-sixths-wrong",
    "kind": "mutation",
    "expected": [
     "K7"
    ],
    "tripped": [
     "K7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-coefficient-box-1",
    "kind": "mutation",
    "expected": [
     "K8"
    ],
    "tripped": [
     "K8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-count-bound-too-small",
    "kind": "mutation",
    "expected": [
     "K8"
    ],
    "tripped": [
     "K8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-recorded-error-off",
    "kind": "mutation",
    "expected": [
     "K9"
    ],
    "tripped": [
     "K9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-recorded-min-outside",
    "kind": "mutation",
    "expected": [
     "K9"
    ],
    "tripped": [
     "K9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-kernel-fejer",
    "kind": "mutation",
    "expected": [
     "K12",
     "K9"
    ],
    "tripped": [
     "K12",
     "K9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-table-entry",
    "kind": "mutation",
    "expected": [
     "K6"
    ],
    "tripped": [
     "K6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-display-digit",
    "kind": "mutation",
    "expected": [
     "K10"
    ],
    "tripped": [
     "K10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-known-slip-gone",
    "kind": "mutation",
    "expected": [
     "K10"
    ],
    "tripped": [
     "K10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-unpinned-slip",
    "kind": "mutation",
    "expected": [
     "K10"
    ],
    "tripped": [
     "K10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-doc-A_N-edited",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-package-sha",
    "kind": "mutation",
    "expected": [
     "K11"
    ],
    "tripped": [
     "K11"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-package-dollars",
    "kind": "mutation",
    "expected": [
     "K11"
    ],
    "tripped": [
     "K11"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M21-ref-year",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M22-ref-title",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M23-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M24-definition-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}