{
  "finding_id": "DF-4111",
  "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'  # -> vtnet0 lo0 (no tl device)",
    "expected": "Hardware-gated: tl_start never executes on this guest; source-level certainty (ignored return at if_tl.c:1856)."
  },
  "kernel_refs": [
    "sys/dev/netif/tl/if_tl.c:1856",
    "sys/dev/netif/tl/if_tl.c:1773",
    "sys/dev/netif/tl/if_tl.c:1865"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "presence_probe.sh",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}