reverify：用确定性工具核验模型主张

reverify 将模型提出的结构和行为主张交给确定性工具检查，返回可支持或反驳主张的证据。 通过确定性工具检验模型结构与行为主张，并返回支持或反驳的证据。 检查流程把模型的文字主张转成工具可执行的验证项，用结果支撑后续判断。其用途是增加可复核证据，结论的范围仍由实际执行的检查项决定。