Vibe coding com property based testing: 3500 cenários antes do vídeo

O Autocut devolveu erro 500 e Thiago perguntou se o único jeito de achar esse tipo de problema é esperar o próximo vídeo que quebra. No terminal local, a suite rodou 3500 permutações caóticas em 2.4 segundos, custo financeiro 0, taxa de sucesso 100%. Property based testing, na live chamado de teste adversarial baseado em propriedades: um gerador inventa cortes piores do que o áudio daquele job e o invariante exige, em 100% dos casos, linha do tempo contínua, sem sobreposição.

Jogue 3500 cenários caóticos no motor em vez de esperar o vídeo que quebra. Cortes de 0.01 s, cortes encostados, invertidos, 5 camadas disputando o mesmo segundo. Se um caso falhar, o teste aponta o segundo exato antes de abrir o navegador.

O 500 que disparou o pente fino

Thiago estava num job do Autocut. 2 motores marcaram cortes que se cruzavam: o Cloud no roteiro e o compressor de silêncio no modo viral. Nenhum intervalo estava 100% dentro do outro. A trava de segurança, antes do FFmpeg, leu a lista e devolveu 500. O agente já tinha unificado aquele job. Thiago perguntou o que vem depois:

é só assim que eu vou descobrir esse tipo de problema. Não teria como eu fazer um pente fino [...] antes de ter que testar um vídeo para descobrir?

O motor cruza 7 fontes independentes. Testar um áudio fixo deixa passar a colisão que só aparece quando 2 fontes cortam quase o mesmo milissegundo. O 500 daquele vídeo já estava consertado. Faltava um jeito de achar o próximo sem depender de sorte.

Gerar o caos no vibe coding em vez de esperar o vídeo

O agente propôs teste adversarial baseado em propriedades, o gesto que a busca chama de property based testing. O gerador inventou cortes de 0.01 segundos, encostados e invertidos, palavras sobrepostas, pausas fantasma. O invariante exige linha do tempo contínua, sem sobreposição, recobrindo de 0 até a duração.

O plano falou em 5000 combinações em 2 a 3 segundos no terminal, inteiro na memória da máquina, sem chamada de API, custo 0. O agente perguntou se criava e rodava a suite.

Quero. Mete marcha. Rapaz, 5000 combinação de teste. Que loucura.

No vibe coding deste Autocut, o pente fino nasce no terminal: o gerador inventa o pior caso na memória e joga contra o motor, sem esperar o próximo arquivo do usuário.

3500 permutações em 2.4 segundos, custo 0

A suite executou 3500 permutações caóticas.

A suite gerou 2000 cenários de cortes com tempos desordenados, inversões, sobreposições parciais e cruzamento de detectores. Somou 1000 variações com transcrições: pausas artificiais, marcações de Cloud, janelas. E 500 sequências aleatórias de edição humana, o usuário clicando, cortando, restaurando, dividindo, arrastando bordas na timeline. Nos casos de borda: duração nula, micro segmentos, 5 camadas simultâneas de corte disputando o mesmo segundo.

A suite fechou as 3500 em 2.4 segundos, custo financeiro 0, taxa de sucesso 100%. A linha do tempo saiu contínua, sem sobreposição, em cada permutação.

Thiago pediu para traduzir.

Você quer dizer então que você achou vários cenários caóticos e já consertou os bugs? É isso. Eu não entendi muito bem. ficou meio confuso.

O agente traduziu: não esperamos novos vídeos para ver se aparecem mais erros. Um robô simulador inventou de propósito mais de 3500 situações na memória: 2 cortes brigando pelo mesmo milissegundo, cortes que se cruzam pela metade, pausas de silêncio coladas com texto de roteiro, clique acelerado na timeline. O robô jogou todas contra o motor. A nova trava unificou 100% e a linha do tempo ficou reta. Thiago respondeu: "Uau!"

O agente resumiu: "Consertamos o problema que deu no seu vídeo e comprovamos em 3500 simulações pesadas que o motor agora está blindado contra qualquer outra colisão parecida."

Escreva o invariante antes de mandar o próximo arquivo

Se o seu motor ainda espera um arquivo real para achar o próximo 500, o pente fino ainda não existe. Amanhã, no vibe coding do motor que cruza mais de uma fonte, escreva o invariante (timeline contínua em 100% dos casos, sem sobreposição, de 0 até a duração) e rode o gerador no terminal, local, sem API. O 500 deste Autocut só apareceu no vídeo; as 3500 seguintes cabem em 2.4 segundos.

Dá para assistir à live e ouvir o pente fino no 500 e o "Mete marcha" nas 5000, com as 3500 permutações fechando em 2.4 segundos.