{
  "finding_id": "DF-5597",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cc -o ioapic_drift_now ioapic_drift.c && cc -DDRIFT -o ioapic_drift_sim ioapic_drift.c && cc -c guard_ok.c && cc -c guard_drift.c",
    "run": "sh run.sh",
    "expected": "drift_now.log: 16==16 INVARIANT HOLDS; drift_sim.log: 24!=16 consumers diverge with no build error today; guard_drift.log: static assertion FAILED (fix works)"
  },
  "kernel_refs": [
    "sys/platform/pc64/x86_64/genassym.c:273-278",
    "sys/platform/pc64/apic/ioapic_abi.h:50-58",
    "sys/platform/pc64/apic/ioapic_ipl.s:80",
    "sys/platform/pc64/apic/ioapic_ipl.s:97",
    "sys/platform/pc64/apic/apic_vector.s:55-59"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "ioapic_drift.c", "guard_ok.c", "guard_drift.c",
    "build.sh", "run.sh", "drift_now.log", "drift_sim.log",
    "guard_ok.log", "guard_drift.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}