Expand description
SoftGPU Phase 8 sanitizers (functional fidelity).
Declared subset (honest, not AMDGPU memory-model evidence):
- Shadow tracks allocated / uninitialized / initialized / freed per byte
- SoftGPU race: different workitems, overlapping bytes, ≥1 non-atomic write, same workgroup, same barrier generation (no SoftGPU barrier between them)
- Cross-workgroup non-atomic conflicting global accesses are findings
- SoftGPU atomics on the same address do not race with each other under the SoftGPU sequential interpreter; they still mark bytes initialized
- Divergent barriers remain validate-time errors (Phase 7)
Blind spots (documented): full GPU memory orders, silent aliasing through host pointers, and true hardware concurrency are out of scope.