
Experimental infrastructure and frozen pilot campaigns for evaluating oracle-gated behavioural repair of LLM-generated finite state machines. Includes JSON schemas, deterministic scoring and patch application, diagnostic projection, analysis scripts, Tier-A table and figure regeneration, tests, and three frozen 90-slot pilot arms (default, operation-aware, and operation-inferred repair representation) cited by the IST repairability protocol manuscript.
