Executable Gram-determinant and scaled-coefficient surface for hex-gram-schmidt, split by subject across HexGramSchmidt/Int/*: array/loop machinery (Core), the scaled-coefficient and Gram-determinant surface (Scaled), the canonical-coefficient predicate (Canonical), its Bareiss row-invariant proofs (Invariant), the scaledCoeffRows correspondence (Correspondence), and the integer row-combination support (Combination). This module re-exports them.