Co ukazuje, že tvrzení o produktu je pravdivé: tvrzení spojená s provedeními zaznamenanými pro jejich testy, případy užití, které nástroj spouští sám proti sobě, měření rychlosti a nákladů na tokeny, která jsou zaznamenána, ne napsána, a původ každého záznamu. Běh proti tomuto commitu se nikdy nehlásí jako totéž co běh, jehož vstupy se prostě nezměnily.
Není v této doméně: verdikt o jedné úloze, což je dokončení; a pravidla, o nichž tvrzení je, což je správa.