# DF-4030 evidence pack

SET_RESOURCE SQ_TEX_VTX_VALID_BUFFER computes (size + offset) in u32 (r600_cs.c:2001-2002); 0xFFFFFF00 + 0x100 wraps to 0 and the BO bound check passes (sim output in run.log); size=value+1 wraps to 0

## Build

    ./build.sh   (cc -O2 -Wall; verified on the DragonFly audit guest — build.log)

## Run

    ./run.sh     (verified on the DragonFly audit guest — run.log; triggers exit 2:
                 /dev/dri absent — no radeon GPU on the QEMU guest, see env.txt)

## Expected on r600/rv770 hardware

See VERDICT.md.