{
  "finding_id": "DF-5557",
  "title": "vkernel npxprobemask() lacks the mxcsr_mask==0 fallback guard (DF-5526 twin)",
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "n/a",
    "run": "n/a",
    "expected": "requires hardware whose FXSAVE reports MXCSR_MASK==0 — absent on the audit rig"
  },
  "kernel_refs": [
    "sys/platform/vkernel64/x86_64/npx.c:120",
    "sys/platform/vkernel64/x86_64/npx.c:341",
    "sys/platform/vkernel64/x86_64/npx.c:218",
    "sys/platform/pc64/x86_64/npx.c:126"
  ],
  "artifacts": ["README.md", "verdict.json", "manifest.json"]
}