技能库

FSP 设备标识和能力修订号
设备技能描述
质量评估报告
由技能描述生成的函数式技能

公共数据类型
设备命名空间及操作函数
统一结果与诊断类型

def open_caps(
    container_type,
    container_count,
    container_ids,
    open_cap_bottle_ids,
    keep_cap
) -> StepResult:
    ...

def close_caps(
    container_type,
    container_count,
    container_ids,
    close_cap_bottle_ids
) -> StepResult:
    ...

def add_liquid_with_material(
    container_type,
    container_count,
    container_ids,
    dispensing_plan
) -> StepResult:
    ...

Summary
Preconditions
Cautions
Args
Constraints
State Changes
Returns
Example

容器类型与状态枚举
嵌套操作参数类型
StepResult：操作结果、状态变化与诊断

{
  "status": "succeeded",
  "result": {
    "containers": []
  },
  "state_changes": [],
  "diagnostics": []
}

def open_caps(
    container_type: Literal["离心瓶", "50ml耐热瓶"],
    container_count: int,
    container_ids: list[int],
    open_cap_bottle_ids: list[OpenCapBottle],
    keep_cap: int = 1,
) -> StepResult:
    """
    Summary:
        打开指定容器的瓶盖。

    Preconditions:
        容器状态必须为“有盖”。

    Cautions:
        后续关盖操作必须使用本次保留的瓶盖。

    Args:
        container_count: 范围为 1..10。
        container_ids: 最大编号不得大于 container_count。
        keep_cap: 枚举值为 0 或 1。

    Constraints:
        MUST: 1 <= container_count <= 10；违反类别为参数范围错误。
        MUST: max(container_ids) <= container_count；违反类别为容器约束错误。
        MUST: 每个 bottle_id 属于 container_ids；违反类别为容器约束错误。

    State Changes:
        container_status: 有盖 → 无盖。
        sample_status: 保持不变。

    Returns:
        返回已开盖容器编号、容器状态、样品状态和诊断。

    Example:
        对 1、2 号离心瓶调用，返回 opened_bottles=[1, 2]。
    """
    ...

第一阶段：检查全部 MUST 与 SHOULD 条件，记录 errors[] 与 warnings[]
第二阶段：仅当 errors[] 为空时，写入声明的 State Changes 并生成结果

设备编码
设备名称
技能说明
可用技能及请求分类
函数签名
适用容器和状态
参数约束
来源修订号
质量评估结果

{
  "device_id": "2002186824385539",
  "device_name": "Liquid_Handling_Station_1ml_V2",
  "revision": "12",
  "quality": {"score": 95.0, "passed": true, "threshold": 60},
  "skills": [
    {"command_id": "open_caps", "request_class": "invoke", "function_name": "open_caps"},
    {"command_id": "add_liquid_with_material", "request_class": "invoke", "function_name": "add_liquid_with_material"},
    {"command_id": "close_caps", "request_class": "invoke", "function_name": "close_caps"}
  ],
  "object_types": ["container.sample_vial"]
}