NASA Copilot: A stream-based runtime-verification framework | Heykuki News