Bounds are a conservative promise
An axis-aligned box gives a cheap question: can this ray reach anything stored below this node? A false positive costs extra work; a false negative can erase geometry. Keep the primitive intersection as the oracle while you learn the interval test.
The companion handles a zero direction component as a parallel slab instead of dividing by zero. It accepts a ray on a slab boundary conservatively and rejects boxes wholly behind the ray. Query origins, directions, and bounds have a finite bounded contract before traversal begins.
These tests are a bounded educational baseline, not a complete proof of floating-point robustness for every grazing configuration. When integrating triangles, motion, or transformed instances later, extend the conservative-bound policy and adversarial tests instead of assuming a sphere exercise establishes all those cases.
Calculate the three slab intervals for an axis-aligned ray, including a signed-zero component and an origin exactly on a face.
