{
  "finding_id": "DF-5482",
  "verdict": "untested",
  "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:396", "sys/platform/pc64/x86_64/efirt.c:352", "sys/platform/pc64/x86_64/efirt.c:367", "sys/platform/pc64/x86_64/pmap.c:6408"],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}