{
 "run": "RUN-004",
 "subject": "Round 01: reduction chain and placement compiler",
 "document": "main.zip!/AMRAL_LUC_FC_Round_01_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_01_Support_ConstantWidth_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "pass": true,
   "failures": []
  },
  "S1": {
   "pass": true,
   "failures": []
  },
  "S2": {
   "pass": true,
   "failures": []
  },
  "S3": {
   "pass": true,
   "failures": []
  },
  "S4": {
   "pass": true,
   "failures": []
  },
  "S5": {
   "pass": true,
   "failures": []
  },
  "S6": {
   "pass": true,
   "failures": []
  },
  "S7": {
   "pass": true,
   "failures": []
  },
  "S8": {
   "pass": true,
   "failures": []
  },
  "N1": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "s8_witness": {
  "n3_amplitude": "2/pi",
  "min_r3": "1/2 - 2/pi",
  "min_r3_float": -0.13661977236758135
 },
 "n1_max_error": 3.982481011632899e-11,
 "drill": {
  "plants": 24,
  "plants_caught_by_named_checks": 24,
  "controls": 6,
  "controls_undisturbed": 6,
  "must_stay_green_assertions": 334,
  "must_stay_green_held": 334,
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K1-inversion-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K2-sanity-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K3-reuleaux-rotated",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K4-venue-unescaped",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "K5-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "ok": true
   },
   {
    "case": "M1-odd-modes-claimed-zero",
    "kind": "mutation",
    "expected": [
     "S1"
    ],
    "tripped": [
     "S1"
    ],
    "ok": true
   },
   {
    "case": "M2-steiner-doubled",
    "kind": "mutation",
    "expected": [
     "S2"
    ],
    "tripped": [
     "S2"
    ],
    "ok": true
   },
   {
    "case": "M3-antipodal-sign",
    "kind": "mutation",
    "expected": [
     "S3"
    ],
    "tripped": [
     "S3"
    ],
    "ok": true
   },
   {
    "case": "M4-moment-weight-cos2",
    "kind": "mutation",
    "expected": [
     "S4"
    ],
    "tripped": [
     "S4"
    ],
    "ok": true
   },
   {
    "case": "M5-inversion-plus",
    "kind": "mutation",
    "expected": [
     "N1",
     "S5"
    ],
    "tripped": [
     "N1",
     "S5"
    ],
    "ok": true
   },
   {
    "case": "M6-inversion-sign",
    "kind": "mutation",
    "expected": [
     "N1",
     "S5"
    ],
    "tripped": [
     "N1",
     "S5"
    ],
    "ok": true
   },
   {
    "case": "M7-width-kernel-cos2",
    "kind": "mutation",
    "expected": [
     "S6"
    ],
    "tripped": [
     "S6"
    ],
    "ok": true
   },
   {
    "case": "M8-sanity-sign",
    "kind": "mutation",
    "expected": [
     "S7"
    ],
    "tripped": [
     "S7"
    ],
    "ok": true
   },
   {
    "case": "M9-sanity-bound-1/8",
    "kind": "mutation",
    "expected": [
     "S7"
    ],
    "tripped": [
     "S7"
    ],
    "ok": true
   },
   {
    "case": "M10-truncation-disc",
    "kind": "mutation",
    "expected": [
     "S8"
    ],
    "tripped": [
     "S8"
    ],
    "ok": true
   },
   {
    "case": "M11-geometry-plain-triangle",
    "kind": "mutation",
    "expected": [
     "N1"
    ],
    "tripped": [
     "N1"
    ],
    "ok": true
   },
   {
    "case": "M12-doc-bound-edited",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "ok": true
   },
   {
    "case": "M13-doc-inversion-edited",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "ok": true
   },
   {
    "case": "M14-ref-title",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M15-ref-volume",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M16-ref-article",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M17-ref-year",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M18-ref-author",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M19-arxiv-year",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "ok": true
   },
   {
    "case": "M20-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "ok": true
   },
   {
    "case": "M21-review-duplicated",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "ok": true
   },
   {
    "case": "M22-review-for-no-judgment",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "ok": true
   },
   {
    "case": "M23-definition-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "ok": true
   },
   {
    "case": "M24-verdict-outside-vocabulary",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "ok": true
   }
  ]
 }
}