Mente: Impressionado O fuzzing Claude + Foundry é muito (muito) bom, mas o teste invariante Claude + Foundry é OP!! O mesmo invariante do QT, mas desta vez descoberto por testes invariantes - não fuzzing direcionado (claro que foi eliminado de um só golpe por Claude) Em vez de tentar adivinhar como o invariante quebra, Claude escreveu um handler genérico que envolve todas as funções voltadas para o usuário e que mudam de estado e deixa o fuzzer fazer seu trabalho Adicionar outro invariante é trivial, basta escrever o próprio invariante – não precisa de nova lógica de reprodução Parece uma atualização gradual de função na forma como os protocolos são testados Um enorme obrigado à lendária @gndizzy e a todos os gigantes que estão construindo essa tecnologia inacreditável