{
  "finding_id": "DF-5479",
  "verdict": "inconclusive",
  "impact": "none",
  "reproduce": { "build": "n/a (analysis-only pack)", "run": "n/a", "expected": "n/a — see VERDICT.md trace; rig boots legacy BIOS so EFI runtime paths cannot be driven" },
  "kernel_refs": ["sys/platform/pc64/x86_64/efirt.c:327", "sys/platform/pc64/x86_64/efirt.c:342", "sys/platform/pc64/x86_64/efirt.c:354", "sys/platform/pc64/x86_64/efirt.c:356", "sys/platform/pc64/x86_64/pmap.c:1366", "sys/platform/pc64/x86_64/pmap.c:1383", "sys/platform/pc64/x86_64/pmap.c:1389", "sys/platform/pc64/x86_64/npx.c:340", "sys/platform/pc64/x86_64/trap.c:917", "sys/platform/pc64/x86_64/trap.c:961"],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}