/**
 * Teto esgotado é diferente de falha por bug.
 *
 * Os dois terminavam idênticos (`abort` + veredito `FAIL`), e a diferença é
 * justamente o que decide o passo seguinte: subir o teto e rodar de novo, ou
 * investigar a causa. Estes testes protegem a distinção e o teto de custo, que
 * o Healer não consultava.
 */
export {};
//# sourceMappingURL=human-required.test.d.ts.map