Tensor shape — rank and dimension sizes.
A Shape is an ordered sequence of dimension sizes. Each size is a
u64; the sentinel value DYNAMIC (u64::MAX) marks a dimension whose
concrete size is not known at descriptor-write time.
See docs/spec/data-model.md for the normative definition.