RisingWave: An Open‑Source Stream‑Processing and Management Platform