编译/解释器 - AI-native Laboratory Language

编译/解释器读取科学目标、对象初始状态和 FSP 设备定义，将设备操作转换为类型化函数，并生成候选中间程序。它不直接调用物理设备。

输入

{
  "goal": {
    "name": "向目标容器加入液体",
    "success_criteria": ["实际加液量为 0.5 mL", "容器状态可确认"]
  },
  "initial_objects": [
    {
      "container_id": "container-01",
      "object_type_id": "container.centrifuge_tube",
      "container_status": "无盖",
      "sample_status": "空"
    }
  ],
  "fsp_definitions": [
    {
      "device_id": "device-01",
      "revision": "12",
      "operations": ["add_liquid"],
      "objects": ["container.centrifuge_tube"],
      "system_states": ["idle", "busy", "fault"]
    }
  ]
}

处理过程

校验操作是否完整定义对象要求、参数 Schema、执行前置条件、系统围栏和响应结构；
校验实验目标所需容器与操作兼容；
将参数类型、范围、枚举和状态变化编译为类型化函数契约；
组织带依赖关系的候选中间程序；
固定设备定义、对象状态和系统状态修订号。

输出

{
  "program_id": "program-001",
  "status": "compiled",
  "definition_revisions": {"device-01": "12"},
  "steps": [
    {
      "step_id": "step-1",
      "device_id": "device-01",
      "operation_id": "add_liquid",
      "object": {
        "container_id": "container-01",
        "expected_container_status": "无盖"
      },
      "operation": {
        "parameters": {"source_container_id": "source-01", "volume_mL": 0.5}
      },
      "system": {
        "expected_device_state": "idle",
        "execution_mode": "async"
      }
    }
  ],
  "diagnostics": []
}

编译/解释器必须拒绝未在 FSP 定义中声明的操作或参数。compiled 只表示结构通过，不表示已仿真或已执行。