在评估契约里显式引入延迟真值字段和对账状态，把需要外部验证的 case 从通过/失败二元判断里拆出来，是 LangSmith 用户可以落地的最小动作。