{
  "verdict": "untested",
  "impact": "dos",
  "reproduce": {
    "build": "n/a (source-level finding; hardware-gated)",
    "run": "insert Xircom-class PCMCIA card whose PHY acks MII but never clears BMCR_RESET -> kernel hangs in xe_mii_init at if_xe.c:1639",
    "expected": "permanent hang at attach / ifconfig up; no kernel panic, no watchdog recovery (crit + serializer held)"
  },
  "kernel_refs": [
    "sys/dev/netif/xe/if_xe.c:1637",
    "sys/dev/netif/xe/if_xe.c:1639",
    "sys/dev/netif/xe/if_xe.c:397"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}