# DF-0089 — REPRODUCED (source-only)

## Build
```sh
sh build.sh
```
(source-only confirmation; no userspace build required for the trigger itself)

## Run
```sh
sh run.sh
```

## Expected
none (resource accounting) on the unfixed kernel; after applying `fix.diff` the cited defect is closed.
This finding was verified by source-tracing `sys/kern/subr_rman.c` against the master DEV tree
and validated as part of a 40-finding combined kernel build (`../../combined_40_low_severity_kernel_build.log`).

## Mechanism
int_rman_release_resource merge checks only RF_ALLOCATED==0 on neighbors s/t, NEVER address contiguity. :568 s->r_end=t->r_end (3-way) :576 s->r_end=r->r_end (prev) :582 t->r_start=r->r_start (next) all blindly extend neighbor boundaries even when r is not address-adjacent.