{
  "finding_id": "DF-5480",
  "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:399", "sys/platform/pc64/x86_64/efirt.c:404", "sys/platform/pc64/x86_64/efirt.c:405", "sys/platform/pc64/x86_64/efirt.c:428", "sys/platform/pc64/x86_64/efirt.c:433", "sys/platform/pc64/x86_64/efirt.c:440", "sys/platform/pc64/x86_64/efirt.c:499", "sys/platform/pc64/x86_64/machdep.c:2674", "sys/sys/efi.h:115"],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}