Lazy lossless compression by symbol lookahead invalidation in universal adaptive stream-based entropy coding (JDSA, 2026)