fix(autoresearch): preserve contract on role migration

Invalidate incompatible executable role artifacts without erasing the accepted strategy tournament and research contract provenance needed for certified retries.

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

Author: 2 people

scripts/agent_gan_repl.py

@@ -5196,6 +5196,17 @@ def _run_typed_ir_v2(
     )
 
 
+def retain_contract_provenance_after_artifact_failure(
+    checkpoint: OrchestrationCheckpoint,
+) -> None:
+    """Invalidate executable role artifacts without erasing accepted strategy."""
+    checkpoint.validated_artifacts = {
+        role: reference
+        for role, reference in checkpoint.validated_artifacts.items()
+        if role in {"strategy_tournament", "research_contract"}
+    }
+
+
 def run_certified_decomposition(
     ledger: ProofObligationLedger,
     target_id: str,
@@ -5542,14 +5553,34 @@ def run_certified_decomposition(
                         flush=True,
                     )
             except (OSError, ValueError, TypeError, json.JSONDecodeError) as exc:
-                orchestration_checkpoint.validated_artifacts = {}
+                retain_contract_provenance_after_artifact_failure(
+                    orchestration_checkpoint,
+                )
                 orchestration_checkpoint.state = (
                     ProofState.DEFINITION_AUDITOR.value
                 )
                 orchestration_checkpoint.current_role = "definition_auditor"
                 orchestration_checkpoint.last_transition_reason = (
                     f"artifact-resume-invalidated:{type(exc).__name__}"
                 )
+                orchestration_checkpoint.recovery_events.append({
+                    "event_type": "EXECUTABLE_ARTIFACT_RESUME_INVALIDATED",
+                    "event_id": hashlib.sha256(
+                        (
+                            type(exc).__name__
+                            + orchestration_checkpoint.target_obligation_id
+                            + orchestration_checkpoint.research_contract_id
+                        ).encode()
+                    ).hexdigest(),
+                    "reason": type(exc).__name__,
+                    "preserved_artifact_roles": sorted(
+                        orchestration_checkpoint.validated_artifacts
+                    ),
+                    "research_contract_id": (
+                        orchestration_checkpoint.research_contract_id
+                    ),
+                    "created_at": time.time(),
+                })
                 save_orchestration_checkpoint(
                     checkpoint_path,
                     orchestration_checkpoint,

tests/inference_engine/bridge/test_agent_gan_repl.py

@@ -115,6 +115,7 @@
     save_checkpoint,
     run_isolated_premise_review,
     run_certified_decomposition,
+    retain_contract_provenance_after_artifact_failure,
     persist_verified_decomposition,
     validate_evidence_artifact,
 )
@@ -3633,6 +3634,29 @@ def test_true_binding_mismatch_preserves_accepted_contract(tmp_path):
     assert preserved.adapter_status == "INTEGRATION_BLOCKED"
 
 
+def test_artifact_migration_failure_preserves_contract_provenance():
+    checkpoint = OrchestrationCheckpoint(
+        research_contract_id="RC-root",
+        research_contract_hash="contract-hash",
+        selected_strategy_plan_id="SP-root",
+        selected_strategy_plan_hash="plan-hash",
+    )
+    checkpoint.validated_artifacts = {
+        "definition_auditor": object(),
+        "counterexample_worker": object(),
+        "strategy_tournament": object(),
+        "research_contract": object(),
+    }
+    retain_contract_provenance_after_artifact_failure(checkpoint)
+    assert set(checkpoint.validated_artifacts) == {
+        "strategy_tournament",
+        "research_contract",
+    }
+    assert checkpoint.research_contract_id == "RC-root"
+    assert checkpoint.research_contract_hash == "contract-hash"
+    assert checkpoint.selected_strategy_plan_id == "SP-root"
+
+
 @pytest.mark.skip(reason="legacy model-authored artifact execution is read-only")
 def test_resume_binding_mismatch_invalidates_cached_artifacts(tmp_path):
     state_path = tmp_path / "orchestration.json"