pub fn evaluate_examples(stages: &[Stage]) -> Vec<TypeError>Expand description
Run the behavioral-evaluation pass over stages and return any
ExampleMismatch errors discovered. Returns the empty vec when every
example case passes (or when there are no eligible cases).
Stages that fail VM execution (panics, step-limit, etc.) surface as
ExampleMismatch with a synthetic “got” string describing the failure.
We deliberately do not wrap them in a separate error variant so the
downstream JSON envelope and repair-loop wiring stays uniform.