Matching between shader execution model and stage is not specified

VUID-VkPipelineShaderStageCreateInfo-pName-00707 says:
> `pName` **must** be the name of an `OpEntryPoint` in `module` with an execution model that matches `stage`

It is not defined anywhere, that I can tell, which stages match which execution models. There seems to be a mostly obvious 1:1 mapping between the two, but it would still be nice to have this explicitly stated in the spec, perhaps in the form of a table.