{
  "finding_id": "DF-4110",
  "file": "sys/dev/netif/tl/if_tl.c",
  "verdict": "untested",
  "impact_class": "none",
  "reproduce": {
    "build": "(none - hardware-gated)",
    "run": "vm.sh run_root 'ifconfig -l; pciconf -l | grep -E \"0x104[cC]|0x0[eE]11\"'  # -> no ThunderLAN device present",
    "expected": "Hardware-gated: no tl(4) NIC on the audit guest, so the device-fed OOB read cannot be entered; source-level certainty only (missing MCLBYTES clamp at if_tl.c:1405/1422)."
  },
  "kernel_refs": [
    "sys/dev/netif/tl/if_tl.c:1405",
    "sys/dev/netif/tl/if_tl.c:1422",
    "sys/dev/netif/tl/if_tl.c:1347"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "presence_probe.sh",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}