Evidence-led NVIDIA PTX optimization skill: profiling, exact-cubin patching, validation, and measured tuning