The offline matrix prover: the anchor catalog as vectors, verified twice

Paul: "the kernel can be simplified and rebuilt in terms of lists of vectors run through streaming transformations… think about ways to increase the verifiability and expressiveness of the musical kernel"

• hull() 38 dims proven in one pass (bpm/swing/fx/bass/lead/pad/drums) diff() DIFFERENTIAL cross-check against invariants.js's hand-rolled intervals: 37/38 dims EXACTLY EQUAL, 1 TIGHTER (fx.jux

• Vectorized with plain typed arrays (228×38 is instant); the BLAS/GSL-WASM seam is matrix()/hull()

Verified: prove-matrix.test.js gates it: differential agreement, witness, byte-equal determinism, and SENSITIVITY

▶ Play it: Barometric Stampede — the genre that is mostly drums, so the kit has nowhere to hide https://stellate.app/?genre=jungle&seed=6979&path=1718.20504,1737.20537,1699.20537&xdur=13.122

b8f9c65 https://github.com/aboard-io/stellate/commit/b8f9c653f3c20b910c3e315b44a468788a13a780