Variable TerminationReasonSchemaConst

TerminationReasonSchema: ZodEnum<
    {
        error: "error";
        max_tokens: "max_tokens";
        no_progress: "no_progress";
        solution_found: "solution_found";
        convergence: "convergence";
        max_time: "max_time";
        max_depth: "max_depth";
    },
> = ...