{
  "finding_id": "DF-4342",
  "verdict": "inconclusive",
  "impact_on_guest": "none",
  "finding_confidence": "certain",
  "reproduce": {
    "build": "n/a — kernel driver 'optional mn netgraph'",
    "run": "./run.sh         # hardware: trigger_alias.sh on mn0 (root)\n./run.sh guest   # executed; documents surface absence",
    "expected": "Hardware: 'ts2-3' mkpeer accepted while ts2 is DOWN; after rmhook ts2 the ts2-3 hook is blackholed and 'textconfig line e1u' is refused forever. Guest: SURFACE ABSENT."
  },
  "kernel_refs": [
    "sys/dev/netif/mn/if_mn.c:447-480",
    "sys/dev/netif/mn/if_mn.c:651-666",
    "sys/dev/netif/mn/if_mn.c:743-797",
    "sys/dev/netif/mn/if_mn.c:305-311"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "trigger_alias.sh",
    "run.sh",
    "run.log",
    "env_guest.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}