Verification and evalsFeedback from outside the model, for the agent at runtime and for the builder over time.