Alexandre Possebom
a7736b7620
testar e publicar / ci (push) Successful in 3m36s
Retomada. O contexto grava `storage_state` a cada ciclo, na pausa e na saída, e o /vigiar tenta `retomar()` antes de qualquer login. Duas sessões ajudam: a do Projudi (morre em 60 min sem navegação) leva direto para a mesa, e mesmo morta, a do Keycloak (bem mais longa) faz o SSO passar sem senha nem OTP. Reinício de container deixa de custar tentativa da conta. A sondagem é gratuita POR CONSTRUÇÃO: `retomar()` nunca preenche campo nem submete formulário, então não tem como gastar tentativa, e falhar nela não conta para o orçamento do ADR 0002. Se não serve, o login roda num contexto NOVO, porque cookie de sessão morta é o estado sujo que faz o login cair num passo estranho. O `sessao.json` é um portador de sessão da intranet do TJPR: 0600, no mesmo /state onde o .env já guarda coisa pior (senha e semente, ADR 0004). Log de cada ciclo passa a mostrar os valores, com o denominador junto: `ok: Com Urgência 0 | Para Realizar 3 (2 contador(es) de 29 linhas)`. Os nomes vêm do CATEGORIAS do ADR 0005; sem eles a linha não diz QUAL fila estava em quanto. Um teste lê o bytecode de `retomar` (co_names) para travar a invariante, com controle positivo no `entrar()`, que casa a mesma regra. A primeira versão lia o texto do arquivo e reprovava a função por causa da palavra "credencial" na docstring: instrumento que mede comentário não mede código. O que fica sem cobertura: a orquestração retomada-e-fallback no supervisor não é exercitada ponta a ponta, e só o primeiro arranque no kauai prova se o Projudi aceita um JSESSIONID restaurado num contexto novo. Testar isso é grátis, porque nenhuma credencial é submetida na sondagem. 135 testes, 30 mutações, zero problemas.