{
  "finding_id": "DF-0729",
  "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64",
  "code_hash": "b9a306d0f9e7f73e4c245b4cc038294a3be6c13dd327ab55b89b5a9764a94a47",
  "tested_at": "2026-07-22T18:10:00Z",
  "verdict": "REPRODUCED",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "cd findings/poc/DF-0729 && make && cc -O2 -o df729_trigger df729_trigger.c -lpthread",
    "run": "kldload ./df729_harness.ko && sysctl -w dev.df729.trigger=1",
    "expected": "kernel panic; see panic.txt / run.log. On a fixed kernel: exits 0, no panic."
  },
  "kernel_refs": [
    "sys/netinet6/ip6_forward.c:138",
    "sys/netinet6/ip6_forward.c:248",
    "sys/netinet6/ip6_forward.c:259",
    "sys/netinet6/icmp6.c:250",
    "sys/netinet6/icmp6.c:264"
  ],
  "artifacts": [
    {
      "path": "df729_harness.c",
      "type": "trigger-source",
      "desc": "kernel module: deterministic mbuf drain + icmp6_error(NULL) trigger reproducing ip6_forward.c:259"
    },
    {
      "path": "Makefile",
      "type": "build-config",
      "desc": "kernel module build (bsd.kmod.mk)"
    },
    {
      "path": "df729_trigger.c",
      "type": "trigger-source",
      "desc": "userspace mbuf-exhaustion flood (proves objcache exhaustion)"
    },
    {
      "path": "df729_udp_trigger.c",
      "type": "trigger-source",
      "desc": "network-path UDP trigger for gif routing loop"
    },
    {
      "path": "setup.sh",
      "type": "setup-script",
      "desc": "gif self-tunnel + IPv6 forwarding + route configuration"
    },
    {
      "path": "build.sh",
      "type": "build-script",
      "desc": "build all components"
    },
    {
      "path": "run.sh",
      "type": "run-script",
      "desc": "run deterministic harness"
    },
    {
      "path": "fix.diff",
      "type": "suggested-fix",
      "desc": "git-apply-able fix: if(mcopy) guard at ip6_forward.c:259 + if(m==NULL) return in icmp6_error"
    },
    {
      "path": "VERDICT.md",
      "type": "verdict",
      "desc": "full analysis: mechanism, trigger conditions, fix validation"
    },
    {
      "path": "README.md",
      "type": "readme",
      "desc": "reproduce instructions"
    },
    {
      "path": "panic.txt",
      "type": "panic-signature",
      "desc": "baseline panic: Fatal trap 12 at 0x1c, icmp6_error+0x54"
    },
    {
      "path": "boot_harness_panic.log",
      "type": "run-log",
      "desc": "full serial console log of baseline harness panic"
    },
    {
      "path": "boot_patched_survived.log",
      "type": "run-log",
      "desc": "serial log showing harness survived on patched kernel"
    },
    {
      "path": "fix_build.log",
      "type": "build-log",
      "desc": "single-fix kernel build log (NK_DONE rc=0)"
    },
    {
      "path": "fix_run.log",
      "type": "run-log",
      "desc": "patched-kernel run: harness returned normally (no panic)"
    },
    {
      "path": "env.txt",
      "type": "environment",
      "desc": "uname, cc version"
    },
    {
      "path": "manifest.json",
      "type": "manifest",
      "desc": "this catalog"
    },
    {
      "path": "build.log",
      "type": "build-log",
      "desc": "kernel build log excerpt proving -Werror clean compile of patched source"
    },
    {
      "path": "fix_apply.log",
      "type": "apply-log",
      "desc": "patch --dry-run output proving fix.diff applies cleanly on with-src"
    },
    {
      "path": "../fix_build_combined.log",
      "type": "build-log",
      "desc": "Combined 41-finding kernel build (rc=0, -Werror clean)"
    },
    {
      "path": "../fix_build_summary.txt",
      "type": "build-summary",
      "desc": "Summary of the combined 41-finding kernel build"
    }
  ]
}