Integer Gram-Schmidt core for hex-gram-schmidt: the executable/noncomputable basis and coefficient construction, its linearity and span/orthogonality support, the rational-valued API, and the integer-cast layer. Split by subject across HexGramSchmidt/Basic/*; this module re-exports them.