# DF-2900 PoC evidence pack

## What
procfs_rwmem ignores kmem_alloc_pageable failure: kva=0 reaches pmap_kenter_quick(0, pa).

## Build
```
(none)
```

## Run
```
(none)
```

## Expected
static confirmation: kmem_alloc_pageable returns 0 (vm_kern.c:176-178); call site unchecked

Guest: DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:04 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
All logs are full untrimmed captures unless noted. fix.diff is the
git-apply-able verified fix (authored after verification; never applied
to the audit tree).