Is there a formal cl_khr_icd specification? Are ICD tests part of the conformance tests?

NVIDIA and AMD are currently doing a poor job with ICD interoperability and it would be good to know what the problem is.