Graham Leese enhanced shader validation reliability in the KhronosGroup/SPIRV-Tools repository by extending support for the SPV_KHR_fma extension. He implemented new validation logic in C++ to ensure fused multiply-add (FMA) operations are checked for correct types and operands, aligning with the SPIR-V specification. To verify robustness, Graham developed comprehensive unit tests that exercised the new validation paths, focusing on both correct and erroneous FMA usage. His work addressed a key gap in SPIR-V validation coverage, improving spec compliance for downstream shader tooling. The contribution demonstrated depth in software validation and unit testing, with careful attention to specification-driven correctness.