# DF-1194 — ciss off-by-one (<= vs <) (build/run scripts)

Hardware-gated (HP Smart Array ciss). See `VERDICT.md` for source-level
confirmation. No runtime PoC possible on this guest.

## Files
- `VERDICT.md`  — detailed source-level analysis
- `fix.diff`    — git-apply-able patch changing `<=` to `<` in two loops
- `env.txt`     — guest environment snapshot
- `fix_build.log` — kernel-build output (cumulative batch)

## build.sh
```sh
#!/bin/sh
echo 'build.sh: no userspace PoC for DF-1194 (hardware-gated driver bug).'
echo 'To validate the fix, apply fix.diff and build a kernel:'
echo '  cd /usr/src && patch -p1 < fix.diff && make -j6 nativekernel KERNCONF=X86_64_GENERIC'
```

## run.sh
```sh
#!/bin/sh
echo 'run.sh: DF-1194 is hardware-gated (HP Smart Array ciss).'
echo 'No HP controller is present on this guest.'
echo 'See VERDICT.md for the source-level confirmation.'
```