一份契约要说清什么
契约怎样对应到设备
在同一命名范围内，operation_id 和 contract_version 共同确定动作含义。不同设备使用同名同版契约时，参数含义、单位和完成要求必须一致。
契约对应到具体设备实现时，绑定键至少包含：
FSP 函数状态协议
动作契约
说清一项动作的名称、参数、前置条件、结果和完成证据。
动作契约是 FSP 服务对一项设备动作的稳定定义。它回答“这项动作是什么、输入什么、什么情况算完成”，不包含某台设备的串口地址、厂商命令或连接密码。
找不到目标设备的实现时必须拒绝，不能改用另一台设备的同名动作。设备可以使用比契约更严格的参数范围，但不能扩大范围、改变单位或降低完成要求。
例如，某设备只能确认“命令已收到”，就不能绑定到要求“液体已加入且体积已核验”的契约。