{
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cd /root/elcrx && sh build.sh   (bsd.kmod.mk; cc -Werror -> elcrx.ko)",
    "run": "cd /root/elcrx && sh run.sh      (phase R: two pinned kthreads, 300k elcr_write_trigger() each on irq5/irq7, read-back mismatch counting)",
    "expected": "R1: done=2 waited=2s lost_irq5=1827 lost_irq7=2158 (read-back mismatches = lost trigger-mode updates) ; R2: restored ... ok=YES ; E9: coherent=YES guest HEALTHY"
  },
  "kernel_refs": [
    "sys/platform/pc64/icu/elcr.c:103",
    "sys/platform/pc64/icu/elcr.c:108",
    "sys/platform/pc64/icu/elcr.c:111",
    "sys/platform/pc64/icu/elcr.c:113",
    "sys/platform/pc64/icu/elcr.c:115",
    "sys/platform/pc64/icu/elcr.c:117",
    "sys/platform/pc64/icu/icu_abi.c:366",
    "sys/platform/pc64/icu/icu_abi.c:463",
    "sys/platform/pc64/acpica/acpi_fadt.c:195"
  ],
  "artifacts": [
    "elcrx.c", "Makefile", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}