{
  "finding_id": "DF-0806",
  "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": "corruption",
  "confidence": "certain",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh",
    "expected": "bug manifests; see run.log / VERDICT.md. On a fixed kernel: no effect."
  },
  "kernel_refs": [
    "sys/vfs/dirfs/dirfs_vnops.c:1328",
    "sys/vfs/dirfs/dirfs_vnops.c:1329",
    "sys/vfs/dirfs/dirfs_vnops.c:1333",
    "sys/vfs/dirfs/dirfs_vnops.c:1334",
    "sys/kern/vfs_syscalls.c:3211",
    "sys/platform/vkernel64/conf/files:optional dirfs"
  ],
  "artifacts": [
    {
      "path": "harness.c",
      "type": "trigger-source",
      "desc": "deterministic guard-page transcription of dirfs_readlink :1328-1334 (OOB write + OOB read detection)"
    },
    {
      "path": "build.sh",
      "type": "build-script",
      "desc": "cc -O2 -Wall -o harness harness.c"
    },
    {
      "path": "run.sh",
      "type": "run-script",
      "desc": "./harness (several kmalloc bucket sizes)"
    },
    {
      "path": "build.log",
      "type": "build-log",
      "desc": "final successful harness build"
    },
    {
      "path": "run.log",
      "type": "run-log",
      "desc": "decisive harness run: BUG CONFIRMED + FIX VALIDATED"
    },
    {
      "path": "run.stress.log",
      "type": "run-log",
      "desc": "two additional runs (deterministic, byte-identical)"
    },
    {
      "path": "fix.diff",
      "type": "suggested-fix",
      "desc": "kmalloc(uio_resid+1) + uiomove(buf,nlen); git-apply-able, applies cleanly (RC=0)"
    },
    {
      "path": "fix_run.log",
      "type": "fix-log",
      "desc": "Phase 8: compile-neutrality proof (patched==unpatched errors; dirfs_vfsops.o built clean) + patched source lines"
    },
    {
      "path": "env.txt",
      "type": "environment",
      "desc": "uname, cc, dirfs absence in kernel/modules, config presence (vkernel-only), fix applied"
    },
    {
      "path": "VERDICT.md",
      "type": "verdict",
      "desc": "full narrative: line-by-line mechanism, reachability, harness proof, impact ceiling, fix validation"
    },
    {
      "path": "manifest.json",
      "type": "manifest",
      "desc": "this catalog"
    },
    {
      "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"
    }
  ]
}