{
  "finding_id": "DF-4856",
  "title": "agp_amd64_via_init reads AGP3_VIA_ATTBASE as the source for the AGP3_VIA_GARTCTRL write (register confusion, upstream-inherited)",
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "n/a (config-space programming bug; no userspace trigger exists)",
    "run": "n/a — requires VIA K8T800-class host bridge + 0:1:0 secondary AGP bridge; QEMU guest presents only i440FX 0x12378086",
    "expected": "on affected boards: VIA secondary-bridge GARTCTRL loaded with gatt physical-address bits | 0x180 instead of preserved GARTCTRL bits | 0x180"
  },
  "kernel_refs": [
    "sys/dev/agp/agp_amd64.c:454-463",
    "sys/dev/agp/agpreg.h:98-101"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "upstream_check.txt", "manifest.json", "verdict.json"]
}