410 型优卡特称重台 · 2026.09.09

扫码中断后续 AI 可执行 Use Case

硬件类型澄清(用户2026-09-09确认):本项目使用扫码器扫描二维码。rfidData / rfidLen 是厂商SDK字段名,不代表此设备采用射频识别;原字节码证据和变量名保留。

本文件是本次审计的后续任务契约草案。没有创建/修改云效条目,没有授权实现、替换 SDK、安装设备或发布。审计可完成,开发就绪状态另行管理;以下 P0 待确认未关闭,整体 DoR: BLOCKED。

UC-YKSCAN-001:得到可归因的扫码中断证据

主流程

  1. M1 固定设备、版本、配置及安装升级来源;盘码/人员标识脱敏。
  2. M2 在串口接收、组帧、SDK 输出、业务清洗、计数、会话状态六个位置记录同一事件链的单调时间与诊断标识;记录原始字节摘要、长度、校验和状态,必要原始帧仅存受控本地证据。
  3. M3 同步记录放盘、拿盘、换盘的物理动作;使录像/动作时间与程序事件可对齐。
  4. M4 复现后冻结故障前后环形记录,核对输入是明确空码、异常码、陈旧帧还是没有回包。
  5. M5 在隔离回放中重放最小样本,逐层比较;输出可证实原因与仍未排除的原因。

分支、异常与恢复

规则、页面/API/数据

验收、测试与非功能

UC-YKSCAN-002:异常串口数据不冒充物理离盘

主流程

  1. M1 接收字节并记录接收时间,在容量受控的缓存中追加。
  2. M2 依据已确认协议定位完整帧,校验长度/内容/校验和,循环处理所有完整帧,保留最后半帧。
  3. M3 输出有效盘码、协议明确空码、非法帧/码、陈旧输入等有区别的结果;时序元数据跟随结果。
  4. M4 业务根据质量状态分流:只有契约允许的空盘观测进入离盘判定;协议错误单独诊断。

分支、异常与恢复

规则、页面/API/数据

验收、测试与非功能

UC-YKSCAN-003:连续取餐、真实离盘与换盘各自闭环

主流程

  1. M1 A 盘进入取餐,分配会话标识,记录身份及起始稳定重量。
  2. M2 首个合格空盘观测出现,进入疑似离盘并记录起点,保留 A 会话。
  3. M3 在已确认 W 内同盘有效结果恢复,清除疑似状态并继续 A,不能另建一次取餐。
  4. M4 明确空盘持续达到契约条件,进入待收尾/待稳定状态,按既有业务规则计算、保存 A 的一次取餐。
  5. M5 保存/上报结果可追溯到同一会话,完成后才进入下一次正常取餐。

分支、异常与恢复

规则、页面/API/数据

验收、测试与非功能

追踪矩阵

审计发现/任务 Use Case / 步骤 验收/测试 本次已有证据
T1/T2 版本、配置和根因证据 UC-001 M1–M5 AC-01–03 / UT-01、IT-01–02 哈希、分支、配置隔离验证;现场缺证
S1 合帧只处理一帧 UC-002 M2/A1 AC-04 / UT-02 实际SDK双帧/空闲/后续输入验证
S2/APP-01 错误变空 UC-002 M3/E1 AC-05/07 / UT-03/05、IT-03 SDK长度异常与应用短码验证,分层执行
S3 尾字符碰撞 UC-002 E2 AC-06 / UT-04 人工帧SDK校验与组帧结果不一致
APP-02 升级仍3 UC-001 M1 AC-02 / UT-01 实际策略编译验证
APP-03 次数与时间不同 UC-003 M2–M4 AC-08/12 / IT-04、PERF-03 原方法无延时调用验证、条件模型
APP-04 快速换盘 UC-003 A3 AC-10 / IT/E2E-06 路由测试+静态收尾链,完整记录待验
APP-05/06 诊断与管理码 UC-001 M2、UC-003 A4 AC-01/11 / IT-01、IT/E2E-07 日志静态审计、管理码特征验证
补充页A02/A03差异 UC-003 A5/A6 AC-11A / IT/E2E-07A 3项既有测试+7项实际策略/路由特征检查

下一阶段仅当对应P0项关闭才可把开发切片标 Ready。若用户后续要求进入云效,需把父 Use Case / 开发执行切片直接写入正文并 CLI 回读,不能只放本文件链接。