# DF-0080 — REPRODUCED (source-only, root-only)

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

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

## Expected
none (root-only) on the unfixed kernel; after applying `fix.diff` the cited defect is closed.
This finding was verified by source-tracing `sys/kern/kern_memio.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
mem_ioctl MEMRANGE_SET receives flags arg but never checks FWRITE. mmopen enforces securelevel>0||kernel_mem_readonly only for /dev/mem O_RDWR open at :155-158; root at securelevel>=1 opens /dev/mem O_RDONLY (check skipped), issues MEMRANGE_SET to mutate memory range attributes — bypass of the securelevel write gate.