{
  "finding_id": "DF-3554",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -o /root/poc/tee_cycle_v1 /root/poc/tee_cycle.c",
    "run": "kldload netgraph ng_socket ng_tee (v1 stock); /root/poc/tee_cycle_v1 (root)",
    "expected": "sendto never returns; machine hard-wedges (ssh/ICMP dead, console silent, no panic banner/dump); only a QEMU reset recovers. 4/4 deterministic."
  },
  "kernel_refs": [
    "sys/netgraph/tee/ng_tee.c:277",
    "sys/netgraph/tee/ng_tee.c:311",
    "sys/netgraph/tee/ng_tee.c:339",
    "sys/netgraph/netgraph/ng_base.c:1678"
  ],
  "fix_diff": "fix.diff",
  "fix_evidence": "fix1_cycle.log: patched v1 core (NG_SEND_DEPTH_MAX=16 in ng_send_data, -Werror clean netgraph.ko rebuild) -> STEP sendto errno=62 (ELOOP), RESULT no-panic survived 30s, RUN_RC=0, guest healthy; stock wedges 4/4 (wedge_forensics.txt)",
  "artifacts": [
    "README.md", "VERDICT.md", "tee_cycle.c", "build.sh", "run.sh",
    "run.log", "boot_tail.txt", "wedge_forensics.txt",
    "fix.diff", "fix_build.log", "fix1_cycle.log", "env.txt",
    "manifest.json", "verdict.json"
  ]
}