fix(autoresearch): reopen certified blocked contract

Allow an operator Strategy redirect to leave stale BLOCKED state and re-enter the validated tournament-to-contract path.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: 2 people

scripts/launch_rh_strategy_tournament.py

@@ -225,7 +225,12 @@ def main() -> int:
             card for item in plans for card in item.theorem_card_ids
         ),
     )
-    if context_changed:
+    if checkpoint.proof_state == ProofState.BLOCKED:
+        checkpoint.transition(
+            ProofState.STRATEGY_TOURNAMENT,
+            "operator-strategy-redirect:resume-certified-contract",
+        )
+    elif context_changed:
         checkpoint.transition(
             ProofState.MATHEMATICAL_STAGNATION,
             "operator-strategy-redirect:replace-audit-only-exhaustion",