Typo in description of VkCmdBuildAccelerationStructures

[PtrMan]

The spec states

VUID-vkCmdBuildAccelerationStructuresKHR-pInfos-10126
For each pInfos[i], dstAccelerationStructure must have been created with a value of
VkAccelerationStructureCreateInfoKHR::size greater than or equal to either:
◦ the memory size required by the build operation, as returned by
vkGetAccelerationStructureBuildSizesKHR with pBuildInfo = pInfos[i] and with each
element of the pMaxPrimitiveCounts array greater than or equal to the equivalent
ppBuildRangeInfos[i][j].primitiveCount values for j in [0,pInfos[i].geometryCount) or,

[0, doesn't make any sense as an index.

[oddhack]

The intent is that the condition must be true for each j in the specified range. How are you reading it?

[PtrMan]

maybe it means "for j in range 0 to pInfos[i].geometryCount exclusive or,". Then it's clear how the iteration/enumeration is supposed to happen, if that is the right intention/meaning here.

[oddhack]

maybe it means "for j in range 0 to pInfos[i].geometryCount exclusive or,". Then it's clear how the iteration/enumeration is supposed to happen, if that is the right intention/meaning here.

This is standard mathematical notation for a half-open interval, commonly used in CS documents (such as the C99 Specification, to pick one of many examples). We're not going to rewrite every interval - or other equation - in the specification purely in words.