We implement VJC Verified in OCaml + Coq extraction. The verified core is ~5,200 lines of Coq spec and proof, extracted to ~2,100 lines of OCaml. The unverified runtime (frame buffer management, audio sync) is separate.
We live in an era of infinite visual noise. Every second, thousands of kaleidoscopic patterns are generated by bots, AI models, and casual creators. Most are forgettable. Some are dangerous (epilepsy triggers). A rare few are transcendent works of algorithmic art. kaleidoscope vjc verified
Upload the raw file (TIFF or PNG only; JPEGs are rejected due to compression artifacts) to an authorized VJC verification node. The scanner performs three tests: We implement VJC Verified in OCaml + Coq extraction