{
  "finding_id": "DF-5648",
  "file": "sys/bus/pci/isa_pci.c",
  "verdict": "reproduced",
  "impact": "none",
  "severity": "Info",
  "confidence": "certain",
  "reproduce": {
    "build": "none (live introspection — guest boots with the defect)",
    "run": "dfbsd-qemu/vm.sh run_root \"$(cat findings/poc/DF-5648/trigger.sh)\"",
    "expected": "dmesg: isab0 <ACPI Generic ISA bridge> on acpi0 + isa0 on isab0 (empty phantom) BEFORE isab1 <PCI-ISA bridge> at device 1.0 on pci0 + isa1 on isab1 (real bus hosting vga0/orm0); devinfo: children only under isa1"
  },
  "kernel_refs": [
    "sys/bus/pci/isa_pci.c:60",
    "sys/bus/pci/isa_pci.c:84-86",
    "sys/bus/pci/isa_pci.c:100-102",
    "sys/bus/pci/isa_pci.c:113",
    "sys/bus/isa/isa_common.c:1046-1054",
    "sys/dev/acpica/acpi_isab.c:93-105",
    "sys/kern/subr_bus.c:1072-1081",
    "sys/bus/isa/isahint.c:121-129",
    "sys/kern/subr_bus.c:2402-2412"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "trigger.sh",
    "run.log",
    "run.2.log",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}