{
  "verdict": "reproduced",
  "impact": "memcorrupt (remote peer -> kernel heap OOB write, cross-object, contents verified byte-exact)",
  "reproduce": {
    "build": "cd /root/poc && make && cc -O2 -o drive3 drive3.c",
    "run": "kldload /root/poc/sppp_harness.ko && ./drive3",
    "expected": "LCP OPENED -> weapon frame -> AFTER dumps show stride-144 heap pointers + index bytes past the end of the 4656-byte pp_comp allocation (run.log); on fix.diff-patched sppp.ko the AFTER dumps stay zero (run.fixed.log)"
  },
  "kernel_refs": [
    "sys/net/sppp/if_spppsubr.c:2976",
    "sys/net/sppp/if_spppsubr.c:3167",
    "sys/net/sppp/if_spppsubr.c:964",
    "sys/net/ppp_layer/slcompress.c:sl_compress_init",
    "sys/net/slcompress.h:153"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "drive3.c", "poc_3272.c", "sppp_harness.c",
    "build.sh", "run.sh", "run.log", "run.fixed.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}