{
 "finding_id": "DF-2325",
 "status": "reproduced",
 "impact": "none",
 "reproduce": {
  "build": "sh rig/build.sh DFPCI (shared harness with DF-2323)",
  "run": "vm.sh run_root \"sysctl debug.dfpcih.cmd=bar_31\" (bar 16, bar 30, bar 31, bar 31 realadd); rig/run_2325.sh",
  "expected": "bar 31: resource_list_add(type=3 rid=0x10 start=0x40000000 end=0xffffffffbfffffff count=0xffffffff80000000); bar 30/16 correct; fixed kernel: end=0xbfffffff count=0x80000000 at 31, controls unchanged"
 },
 "kernel_refs": [
  "sys/bus/pci/pci.c:2644",
  "sys/bus/pci/pci.c:2650",
  "sys/bus/pci/pci.c:451",
  "sys/bus/pci/pcivar.h:48"
 ],
 "artifacts": [
  "README.md",
  "VERDICT.md",
  "build.log",
  "env.txt",
  "manifest.json",
  "rig/bar_capture.log",
  "rig/build.sh",
  "rig/cflags_evidence.txt",
  "rig/check_verbatim.sh",
  "rig/check_verbatim_fixed.sh",
  "rig/dfpci_post.c",
  "rig/dfpci_pre.c",
  "rig/fix.diff",
  "rig/fixed_runs.log",
  "rig/gen.sh",
  "rig/gen_fixed.sh",
  "rig/mk_extract.py",
  "rig/run_2325.sh",
  "run.log",
  "verdict.json"
 ],
 "fix_diff": "rig/fix.diff"
}