# DF-4031 evidence pack

r600 CS tracked offsets are computed in u32 while the GPU addresses 40 bits: vgt_strmout_size = raw*4 wraps (r600_cs.c:1096, u32 field) so VGT_STRMOUT_BUFFER_SIZE_0=0x40000000 validates as size 0 (che

## 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.