Vibe coding permite que qualquer pessoa crie um aplicativo web com um prompt em linguagem natural, prometendo que você nunca lerá o código gerado. No entanto, as falhas silenciosas continuam sendo um problema importante. A interface pode parecer boa, mas clicar em um botão 'Adicionar ao carrinho' pode mostrar uma mensagem de sucesso e atualizar a contagem do carrinho sem realmente salvar os dados no banco de dados. A depuração requer interagir com a interface, ler logs e, em última análise, ler o código gerado, frustrando o propósito de Vibe coding.

Um estudo de aplicativos do mundo real codificados com Vibe coding descobriu que mesmo modelos de fronteira frequentemente introduzem falhas silenciosas ao longo das iterações. Isso inclui falhas no rastreamento de atualizações de estado, desconexões de estado entre manipuladores e feedback de interface desconectado—onde uma mensagem de sucesso aparece, mas os dados não são salvos. Por exemplo, adicionar um recurso de código promocional pode exibir 'Desconto aplicado!' sem persistir ou mostrar o novo total.

Os métodos de verificação atuais são inadequados. LLMs como juízes não são confiáveis, frequentemente alucinando ou perdendo bugs. Testes de unidade exigem escrever mais código, carecem de cobertura de integração de interface para backend e são inacessíveis para não programadores. A análise estática é precisa, mas tem uma curva de aprendizado íngreme.

Flow Check, desenvolvido por um estudante de doutorado no DAP Lab da Columbia, é uma linguagem de restrição e um pipeline de análise estática que permite aos usuários especificar como um aplicativo deve se comportar diretamente da interface. Os usuários selecionam componentes de interface, APIs e armazenamento por meio de uma sobreposição, expressando restrições como 'Quando eu faço [action], estes atualizam: [component]', e então os verifica em relação ao código real sem ler uma única linha.

Entidades principais: Empresas: Towards Data Science, Claude, Deep Seek, Gemini | Pessoas: Tim Cook, Elon Musk | Locais: Columbia