修复反馈

openspec/specs/asset-device/spec.md

@@ -26,6 +26,20 @@
 - **WHEN** 执行绑定或解绑
 - **THEN** 后续设备卡列表反映该关系变化
 
+### Requirement: ICCID 按原始长度精确唯一
+
+系统 SHALL 将未删除卡的 ICCID 唯一性按原始 ICCID 长度分别约束：原始长度为 19 的卡以 `iccid_19` 唯一；原始长度为 20 的卡以 `iccid_20` 唯一。20 位 ICCID 卡共享相同的前 19 位 SHALL 被视为有效数据。
+
+#### Scenario: 20 位 ICCID 共享前缀
+
+- **WHEN** 两张未删除卡具有不同的 20 位完整 ICCID，但其前 19 位相同
+- **THEN** 数据库接受两张卡，并通过各自的 `iccid_20` 保证完整 ICCID 唯一
+
+#### Scenario: 19 位 ICCID 重复
+
+- **WHEN** 两张未删除卡具有相同的 19 位完整 ICCID
+- **THEN** 数据库拒绝第二张卡的重复值
+
 ## 可达操作索引
 
 本节只用于入口导航，不是行为 Requirement；业务义务以上述 Requirements 为准。