# DF-2825 — negative l_len rejected (non-POSIX) (Info-tier hardening verification)

## What
negative l_len rejected (non-POSIX)

## Build
    cc -Wall -O2 -o lockf_neg lockf_neg.c

## Run
    ./lockf_neg

## Expected
baseline (stock kernel): see verdict below
fix kernel (all-41-fixes build): the bad behavior is gone



## Files
README.md
VERDICT.md
build.sh
env.txt
fix.diff
lockf_neg.c
manifest.json
run.log
run.sh
verdict.json

Shared harness: `h41.c` (combined KLD, sysctl debug.h41.cmd=N driven).
Full batch context: the fix kernel contains all 41 hardening fixes of
this batch compiled together (build RC=0) and passed the complete A/B
suite plus a clean reboot.