/**
 * Juiz semântico: a camada que decide o que nenhum check determinístico decide.
 *
 * A regra que estes testes protegem: um juiz que não respondeu NÃO reprova e
 * NÃO aprova. Confundir ausência de veredito com reprovação inventa falha; com
 * aprovação, inventa sucesso. As duas são piores que "sem evidência".
 */
export {};
//# sourceMappingURL=judge.test.d.ts.map