验证

候选方法
  → 代码安全与规范化检查
  → 函数和参数可计算性检查
  → 容器与样品状态仿真
  → 科学语义评审
  → 通过后转换

{
  "method_file": "A01_最小闭环实验方案.py",
  "entrypoint": "generate_recipe",
  "capability_snapshot": {
    "2002186824385539": "12",
    "1664783667397632": "5"
  },
  "initial_state": {
    "1": {"container_status": "有盖", "sample_status": "空"},
    "2": {"container_status": "有盖", "sample_status": "空"}
  },
  "required_checks": [
    "registered_function",
    "parameter_constraint",
    "state_transition",
    "version_compatibility"
  ]
}

候选方法 + 版本快照 + 初始状态副本
  → 调用白名单检查
  → 参数与约束检查
  → 状态链仿真
  → 科学语义审查
  → 通过 / 带诊断阻断

{
  "example_id": "A01-minimal-closed-loop",
  "source_question": "A01 不同 Fe 配位环境对 NiFe 基催化剂碱性 OER 活性演化的影响",
  "scope": "研究对象样品准备与 UV-Vis 表征子流程，不代表完整 A01 实验",
  "simulation_status": "passed",
  "verified_by": "run_simulation.py",
  "command_exit_code": 0,
  "workflow_file": "A01_最小闭环实验方案.py",
  "operation_count": 6,
  "checks": [
    "调用仅使用已准入设备函数",
    "容器总数固定为 2，实际作用对象由 container_ids 指定",
    "开盖、加液、关盖和检测构成研究对象从 St 到 St+1 的状态演化",
    "强制条件失败时不提交研究对象的模拟状态"
  ],
  "limitations": [
    "未连接真实实验室或设备",
    "未验证催化剂制备、OER 测试和真实测量结果",
    "未替代现场安全与设备联锁"
  ]
}

{
  "example_id": "A01-full-candidate",
  "workflow_file": "A01_CoFeNi_HEO_实验方案.py",
  "simulation_status": "blocked",
  "stage": "函数库导入",
  "observed_error": "ImportError: 当前函数式技能快照中缺少原始方案导入的 SourceBottle 或 ElectrochemicalTask 类型",
  "meaning": "方案代码与函数式技能、公共数据类型并非同一冻结版本，无法建立可执行调用环境。",
  "state_commit": "未开始仿真，不存在研究对象状态提交。",
  "required_fix": [
    "为方案、函数式技能、公共类型和仿真器固定同一版本快照",
    "重新执行 AST 准入和状态仿真",
    "只有无强制错误的版本才能生成可下游消费的执行 JSON"
  ]
}