Vulkan spec is missing tons of stuff. Implementers check they pass the conformance tests (tho those also miss stuff)

directx also has conformance tests.

The directx specs are arguably better in many ways than the vulkan specs. They go into bit level details how various math is required to work, especially in samplers