Remark: The ball section must not be excluded by its shape alone

En08-A's ball-section and orthant examples witness different nonimplications CheungEn08A (prop:ball, prop:orthant). In the continuum,

Indeed, a nonzero Lorentz-cone vector has $t>0$ and equals $t(1,x/t)$, and the reverse inclusion follows from the triangle inequality.

A Euclidean-ball section is therefore not, by itself, a falsifier of Lorentz-cone selection. An exclusion audit for En08-A's discrete ball model must examine its complete event representation, not declare every Euclidean ball inadmissible.