FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps — Vir et al. (2026)

1 More Paper · Oct 7, 2026 · 1h 2m · transcript

Vibe-coded applications often contain silent behavioral failures in which the interface appears functional even though user-visible information does not flow to the expected state or output. We introduce FlowCheck, a constraint language to specify these user-visible information flows directly through the application interface, where constraints can also be displayed and inspected without reading code, and are structured enough for reliable LLM generation. FlowCheck translates the constraints into deterministic CodeQL analyses, and we evaluate it across four applications generated via Claude…