Kaleidoscope Vjc Verified Patched Jun 2026

Prior work on shader verification (e.g., F* for HLSL) focuses on GPU execution, not CPU JIT for live VJ. No existing system provides end-to-end verification from visual DSL to rendered frame with timing guarantees.

Halfway through the night, a woman stepped forward from the back—thin, silver at the temple, with eyes that had the steady patience of someone who’d been asked the same question a thousand times. She introduced herself as Ana Aster, Miriam’s sister. She had been in the crowd at the community center closing two decades ago and had taken one trunk of Miriam’s belongings to store in a box beneath her bed. She had not wanted to throw anything away, and now the box was empty. kaleidoscope vjc verified