VeriPhy：用于世界模型评估与改进的智能体物理推理系统

VeriPhy 是一套可审计的物理验证系统，由纯文本规划器将提示词编译为带类型的物理义务和静态验证执行计划，再调用冻结的低层专家模型（分割跟踪、计数、11 类物理测量、深度、OCR、音频事件检测）生成带来源的证据记录，并映射为支持、矛盾或未知的三值判定。