update

openspec/specs/agent-open-api/spec.md

@@ -26,6 +26,25 @@
 - **WHEN** 查询或写入
 - **THEN** 请求被统一拒绝且不泄露资源存在性
 
+### Requirement: 代理开放接口查询不触发可靠卡观测
+
+系统 SHALL 对卡流量、卡状态、实名状态和设备流量查询返回当前本地业务事实，且 MUST NOT 因查询成功而提交卡观测序列、展开设备绑定卡观测或安排 Gateway 后台刷新任务。
+
+#### Scenario: 查询单卡本地事实
+
+- **WHEN** 已通过认证和数据范围校验的代理查询单卡流量、状态或实名状态
+- **THEN** 系统返回当前本地业务事实，且不创建卡观测序列或后台观测任务
+
+#### Scenario: 查询设备流量
+
+- **WHEN** 已通过认证和数据范围校验的代理查询设备流量，或以设备标识查询卡流量
+- **THEN** 系统返回当前本地业务事实，且不展开该设备的绑定卡来创建后台观测任务
+
+#### Scenario: 查询后本地事实仍可能由既有机制更新
+
+- **WHEN** 代理完成上述查询后发生既有轮询、回调或可靠业务事件驱动的本地事实更新
+- **THEN** 系统按对应既有机制更新本地事实，查询请求本身不承担触发该更新的责任
+
 ## 可达操作索引
 
 本节只用于入口导航，不是行为 Requirement；业务义务以上述 Requirements 为准。