From 244f97657721d33f71fef8f30dc9bd5339e1fae7 Mon Sep 17 00:00:00 2001 From: Merouane Benthameur Date: Sun, 5 Jul 2026 08:08:31 -0400 Subject: [PATCH] fix(schemas): add missing 'executive_synthesis_skipped' to Event.type enum MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The reporter's executive-synthesis fallback emits Event(type='executive_synthesis_skipped', ...) when the exec-summary LLM call raises, but that value is absent from the Event.type Literal in schemas.py. Pydantic then raises ValidationError, crashing the entire run at the reporter stage — after the (expensive) jury + consensus work is already done. The graceful fallback is itself the failure path. Adding the enum value lets the run degrade to the deterministic summary as intended. Found while evaluating a fleet of internal agents; reproduced reliably when the harness LLM returns malformed JSON / times out on the exec-synthesis call. --- src/proofagent_harness/schemas.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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