归档

openspec/specs/asset-device/spec.md

@@ -49,6 +49,25 @@
 - **WHEN** 查询临期资产列表并执行每日临期扫描
 - **THEN** 列表返回红色等级，且扫描创建当天的套餐临期通知
 
+### Requirement: 卡业务观测可靠事件标识
+
+系统 SHALL 为卡与设备控制及其后续网络、流量观测生成不超过公共可靠事件存储上限的稳定事件标识，相同业务事实重试时 SHALL 保持同一标识。
+
+#### Scenario: 停复机成功写入观测事件
+
+- **WHEN** 卡或设备停复机的上游调用成功且本地事务记录业务结果
+- **THEN** 系统在同一事务写入合法长度的业务观测可靠事件，不因事件标识超长回滚本地结果
+
+#### Scenario: 网络或流量变化写入可靠事件
+
+- **WHEN** 一次具有长观测标识的观测产生网络状态变化或流量正增量
+- **THEN** 系统写入合法长度且可重复计算的可靠事件标识
+
+#### Scenario: 非法可靠事件标识被边界拒绝
+
+- **WHEN** 生产者向公共可靠事件存储提交超过字段上限的事件标识或父事件标识
+- **THEN** 系统在持久化边界返回明确的参数错误而不是数据库字段错误
+
 ## 可达操作索引
 
 本节只用于入口导航，不是行为 Requirement；业务义务以上述 Requirements 为准。