diff --git a/src/proofagent_harness/schemas.py b/src/proofagent_harness/schemas.py index cfc9899..8f37dda 100644 --- a/src/proofagent_harness/schemas.py +++ b/src/proofagent_harness/schemas.py @@ -871,7 +871,7 @@ class Event(BaseModel): "artifact_image_converted", "bundle_loaded", "bundle_consistency_check", "rubric_pack_applied", "business_case_autoderived", "agent_trace_loaded", - "done", "error", + "done", "error", "executive_synthesis_skipped", ] turn: int | None = None metric: str | None = None