{
  "finding_id": "DF-4875",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -o proof4875 proof.c (host) or any C compiler",
    "run": "./proof4875",
    "expected": "17 > 16 byte render for device-controlled mediasize on both capacity paths (proof.txt)"
  },
  "kernel_refs": [
    "sys/dev/disk/nata/atapi-fd.c:446-451",
    "sys/dev/disk/nata/atapi-fd.c:384",
    "sys/dev/disk/nata/atapi-fd.c:396"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "proof.c",
    "proof.txt",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}