类型别名: JudgementInferenceFailureReason

type JudgementInferenceFailureReason = 
  | "provenInfeasible"
  | "searchIncomplete"
  | "solverError"
  | "candidateMismatch";

定义于: packages/judgement-inference/src/models.ts:29

精确解失败的归一化原因。