October 1, 2025Algebraic Composition for Streaming Data Reduction: A Type-Safe Framework with Numerical Stability