{
  "finding_id": "DF-2928",
  "title": "dead spin_lock_test_mode: debug.spin_lock_test=1 spins 60s and panics INVARIANTS kernels",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "none (sysctl-only PoC)",
    "run": "vm.sh run_root 'sysctl -w debug.spin_lock_test=1'   (or findings/poc/DF-2928/run.sh)",
    "expected": "one 'spin_lock_ex: sysctl_spin_lock_test, indefinite wait (N secs)!' msgbuf line per second for 60s with no break; panic at 60s; guest stops answering ssh"
  },
  "kernel_refs": [
    "sys/kern/kern_spinlock.c:91",
    "sys/kern/kern_spinlock.c:409",
    "sys/kern/kern_spinlock.c:417",
    "sys/kern/kern_spinlock.c:419",
    "sys/kern/kern_spinlock.c:420",
    "sys/kern/kern_spinlock.c:424",
    "sys/kern/kern_spinlock.c:206",
    "sys/kern/kern_spinlock.c:249",
    "sys/sys/indefinite2.h:171",
    "sys/sys/indefinite2.h:183",
    "sys/kern/kern_lock.c:71"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.sh", "run.sh",
    "run.log", "run.2.log", "run.3.log", "panic.txt", "env.txt",
    "fix.diff", "manifest.json", "verdict.json"
  ]
}