{
  "finding_id": "DF-0825",
  "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": "leak:4bytes+panic",
  "confidence": "certain",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh",
    "expected": "kernel panic; see panic.txt / run.log. On a fixed kernel: exits 0, no panic."
  },
  "kernel_refs": [
    "sys/vfs/nfs/nfs_syscalls.c:1115",
    "sys/vfs/nfs/nfs_syscalls.c:1116",
    "sys/vfs/nfs/nfs_syscalls.c:1117",
    "sys/vfs/nfs/nfs_syscalls.c:1118",
    "sys/vfs/nfs/nfs_syscalls.c:1119",
    "sys/vfs/nfs/nfs_socket.c:1212",
    "sys/vfs/nfs/nfs_socket.c:1237",
    "sys/vfs/nfs/nfs_socket.c:1238",
    "sys/vfs/nfs/nfsm_subs.c:195",
    "sys/vfs/nfs/nfsm_subs.c:206",
    "sys/kern/kern_slaballoc.c:1675"
  ],
  "artifacts": [
    {
      "path": "df0825_harness.c",
      "type": "trigger-source",
      "desc": "KLD module that calls real nfs_getnickauth() with planted nickname to prove the off-by-4"
    },
    {
      "path": "Makefile",
      "type": "build-config",
      "desc": "KLD module Makefile"
    },
    {
      "path": "build.sh",
      "type": "build-script",
      "desc": "Builds the KLD module in-guest"
    },
    {
      "path": "run.sh",
      "type": "run-script",
      "desc": "Loads the module and shows output"
    },
    {
      "path": "fix.diff",
      "type": "suggested-fix",
      "desc": "Replace *nickp++/*nickp with nickp[0]/nickp[1] to preserve base pointer"
    },
    {
      "path": "build.log",
      "type": "build-log",
      "desc": "Final successful module build (baseline)"
    },
    {
      "path": "run.log",
      "type": "run-log",
      "desc": "Baseline run #1 (unpatched, BUG CONFIRMED)"
    },
    {
      "path": "run.2.log",
      "type": "run-log",
      "desc": "Baseline runs 2 & 3 (consistent off-by-4)"
    },
    {
      "path": "fix_build.log",
      "type": "build-log",
      "desc": "Full fixed-kernel nativekernel build log"
    },
    {
      "path": "fix_run.log",
      "type": "run-log",
      "desc": "Fixed-kernel run (bug GONE, auth_str aligned)"
    },
    {
      "path": "panic.txt",
      "type": "panic-signature",
      "desc": "Deferred slab corruption panic from kfree(P+4)"
    },
    {
      "path": "env.txt",
      "type": "environment",
      "desc": "Guest uname, cc version, INVARIANTS config"
    },
    {
      "path": "VERDICT.md",
      "type": "verdict",
      "desc": "Full narrative analysis"
    },
    {
      "path": "README.md",
      "type": "readme",
      "desc": "Human reproduction guide"
    },
    {
      "path": "manifest.json",
      "type": "manifest",
      "desc": "This file"
    },
    {
      "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"
    }
  ]
}