{
  "finding_id": "DF-5481",
  "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:481", "sys/dev/misc/efirt/efidev.c:77", "sys/dev/misc/efirt/efidev.c:205"],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}