Files
cmbuyer/docs/tasks/T-104.md
T

13 KiB
Raw Blame History

id, title, phase, deps, status, created, vikunja_task_id, context_ref, work_branch, needs_device, needs_human_review, write_paths
id title phase deps status created vikunja_task_id context_ref work_branch needs_device needs_human_review write_paths
T-104 验证规格选择能力安全退出 1
T-103
DOING 2026-08-04 32 29fb528 task/t-104-safe-exit true true
docs/tasks/T-104.md
client/src/cmbuyer_client/pdd/sku_selection.py
client/src/cmbuyer_client/pdd/sku_selection_runner.py
client/tests/pdd/test_sku_selection.py
client/tests/pdd/fixtures/product_exit_8_17_0.xml
client/scripts/capture_sku_exit_spike.py
client/scripts/run_t103_sku_selection.py
docs/current-state.md

问题 / 背景

T-103 已实现受控规格选择、闸门一读价、规格面板原始截图和单次 Back,但当前 exit_sku_panel_safely() 只要 hierarchy 变化且规格面板判据不再成立就返回成功。现有纯 mock 测试还把 Back 后的空 hierarchy 当成成功并允许 runner 发布 safe_exit=completed。2026-08-04 的只读诊断同时证明:通知栏覆盖时 app_current 仍可能报告拼多多,而节点树全部属于 SystemUI。因此“面板消失”或“前台包仍是 PDD”都不是安全退出的充分条件;T-104 必须先取得独立 post-exit 真机证据,再把后置条件收紧为稳定回到同一目标商品详情页。

关联需求与交互

  • 功能:F-006 单趟流程中的安全退出边界。
  • 架构/API:复用并收紧 SkuSelectionFlow.exit_sku_panel_safely() 与现有 runner;不改变服务端 API,不新建第二套采购流程。
  • 依赖:T-103 完成真机规格选择、读价、原始截图和人工安全退出验收后才可开工;T-105 与 T-306 消费本任务结果。
  • status 保持 TODO,needs_device 与 needs_human_review 均保持 true;开始后也必须由人完成真机验收。

方案

  1. 阶段 A 只新增窄取证脚本。人先把手机停在已验证的拼多多 8.17.0、goods_id 937122477375 目标规格面板;脚本必须先在内存中核验版本、PDD 前台、已知面板结构、目标颜色/尺码选中态与已取证当前价,任一不符时零动作、零产物。
  2. 阶段 A 唯一状态改变是一次命名 Android Back。脚本不得发送商品 intent,不得调用任何页面 click,不得点击关闭坐标、空白、购买、数量、确认、提交或支付控件;Back 调用前即封存本次机会,超时、响应不明或故障调和均不得重试。
  3. Back 返回后只读采集 post-exit screenshot/XML/App/设备/goods_id 摘要并原子发布本机证据。此阶段 manifest 只能声明 human_review_required 与 back_attempts=1,人工确认前绝不能写 safe_exit=completed,也不得由 agent 根据“面板消失”自行判定成功。
  4. 人必须确认 post-exit 截图确为同一 goods_id 937122477375 商品详情、规格面板已关闭、未进入确认/提交/支付或外部支付页、未创建订单,且截图/XML 对应。只有完成该确认后,阶段 B 才能从本项目 post-exit XML 提取不含个人信息或支付凭据的最小 product_exit_8_17_0.xml fixture。
  5. T-103 的旧 product_entry_8_17_0.xml 只有通用“快要抢光”五层入口链和“免拼购买”,不能单独证明是同一商品。它最多作为新证据中的候选结构,必须由本轮 post-exit 证据重新验证,并与新证据里的同商品唯一正锚共同成立;不得把 Activity、旧 XML、前序项目、OCR、裸坐标、相似文本或其他购买文案当作同商品证明。
  6. 如果新的真实 XML 没有可唯一绑定同一目标商品的正锚,任务开始后保持 DOING 并记录等待新证据,不编造 selector、不把通用入口链升级为同商品判据,也不放宽为“任意 PDD 商品页”。
  7. 阶段 B 只收紧现有 Flow/runner:版本和前台包正确、节点树属于证据绑定的 PDD 受控页面、同一商品详情正判据精确唯一,并连续两次轮询命中后才算退出成功。两次之间发生漂移必须重新计数,超时仍失败。
  8. 空 hierarchy、SystemUI、锁屏、非 PDD overlay、PDD 其他页、面板仍在、正锚缺失/重复/属性漂移、版本或前台漂移、确认/提交/支付危险语义均不得成功,且不得发布 completed manifest。危险词只能作为保守硬拒绝;没有 T-106/T-107 真机证据时不得把合成反例宣称为真实确认页或支付页分类器。
  9. 所有正常、失败、超时和 finally 调和路径的 Back 总数都必须小于等于 1;Back 结果不明不重试。只有规格选择、闸门一读价、规格面板截图和严格安全退出全部成功,runner 才能原子发布结果与 safe_exit=completed。
  10. SkuSelectionRunResult 必须显式返回规格面板原始 screenshot_path 和 UTC-aware captured_at。captured_at 在截图 RPC 成功附近获取,并把同一个值写入 manifest,禁止在退出后重新猜时间。若本机另存 post-exit 截图,必须使用独立文件名和独立角色;它没有 SKU_PANEL_GATE_1 资格,不能成为 result.screenshot_path,也不能被 T-306 上传。
  11. 原始完整 post-exit XML 只保存在 %LOCALAPPDATA%\cmbuyer\artifacts\T-104\...,不得上传、提交 Git、写入 Vikunja 或普通日志;runner/CLI 不输出页面正文、设备 serial 或敏感路径。

验收要点

  • 阶段 A 证据记录 screenshot/XML 路径与 SHA-256、PKG110、Android 16、Wi-Fi/USB、拼多多 8.17.0、goods_id 和 back_attempts=1;人工确认前没有 safe_exit=completed。
  • 用新的 product_exit_8_17_0.xml 正例替换旧“空 hierarchy 即成功”的 fake;空 hierarchy 必须失败。成功需连续两次正判据,单次命中后漂移必须重置。
  • 离线覆盖面板未退、SystemUI/锁屏、非 PDD overlay、PDD 其他页、正锚缺失/重复/漂移、版本/前台漂移和保守危险语义反例;所有分支 Back 调用总数小于等于 1,失败无 target、manifest 或 staging 残留。
  • runner 成功结果的 screenshot_path 精确指向规格面板原始 PNG,captured_at 是 UTC-aware 且与 manifest 同值;post-exit 图不能冒充 Gate1。
  • 静态 API、AST 和导入检查证明取证脚本零 intent/页面 click,T-104 不可达数量、确认页导航、授权、提交围栏、submit_order_once() 或任何支付能力。
  • 只有人能确认真实最终页面为同一商品详情、未进入确认/提交/支付页且未创建订单;agent 完成离线实现后仍保持 DOING,不得自行标 DONE。
  • client focused/full unittest、compileall、完整 init、上下文校验、Vikunja 导出检查与 diff-check 全部通过。

执行记录

2026-08-04T13:46:33Z · ila

2026-08-04 T-306 预研反向约束 T-104:成功 SkuSelectionRunResult 必须显式携带规格面板原始 screenshot_path 与实际 UTC captured_at;只有规格选择、闸门一读价、截图和严格安全退出全成功才返回。T-306 不枚举目录、不读 manifest 猜文件/时间,post-exit 商品详情截图不得冒充 gate1 证据。

2026-08-05T09:04:13Z · ila

2026-08-05 T-103 已在 git/线上完成,T-104 依赖解除,现由 root 领取并转 DOING;领取基线 29fb528,沿用工作路径 task/t-104-safe-exit。

先证据后判据的实施顺序保持不变:

  1. 先只读审计 T-103 最新生产 Flow、最终 Back 前/后本地证据与 T-104 任务边界。T-103 的 sku-selection-production-20260805-final 与 sku-selection-after-back-20260805-final 已获人确认,可用于设计窄取证脚本和寻找候选正锚;但它们不是同一 T-104 原子 manifest,不能直接冒充阶段 A 验收证据。
  2. 唯一 client 写入者先实现 capture_sku_exit_spike.py:输入只允许显式 serial 与全新 output-dir;无商品 intent、页面 click、坐标、规格动作、数量、确认、提交或支付能力。前置复用 T-103 已证目标颜色/M/12.88 classifier;唯一 mutation 为 RPC 前封存且最多一次的 Android Back。
  3. Back 后只读连续采集 screenshot/XML/App/版本并原子发布本机证据;manifest 仅记录 back_attempts=1、RPC outcome、哈希和 human_review_required,人工确认前绝不写 safe_exit=completed。结果不明不重试、不发送任何后续 mutation。
  4. 离线脚本、原子性、超时/重入、静态 API/AST 测试经独立审计和 root 门禁通过后,才由项目所有者把手机手工停在已验目标规格面板并执行阶段 A;人确认同 goods 商品详情、面板关闭、未进入确认/提交/支付且未创建订单。
  5. 只有上述人验后,才从新 raw 提取 privacy-safe 的 product_exit_8_17_0.xml 最小 fixture,并设计阶段 B。若 raw 不含唯一同商品正锚,保持 DOING,不编造 selector、不放宽为任意 PDD 商品页。
  6. 阶段 B 收紧现有 Flow/runner:版本/PDD 包、同 goods 正锚、无危险页与连续两帧稳定全部成立才返回安全退出;空 hierarchy/SystemUI/锁屏/其他 PDD 页/面板未退/锚点漂移全部失败。成功结果同时补齐规格面板 screenshot_path 与截图附近 UTC captured_at,post-exit 图不得冒充 Gate1。

写路径严格限于 T-104 frontmatter;共享 current-state 由 root 合入。needs_device/needs_human_review 保持,agent 不得自行 DONE。

边界

  • T-104 必须等待 T-103 完成人工真机验收后才可转 DOING。本任务先取证、后写退出成功判据;不得从 当前实现、前序项目、旧 XML、Activity 名或推理直接声明商品详情页。
  • 阶段 A 取证脚本必须先在内存中核验拼多多 8.17.0、goods_id 937122477375 的已知目标规格面板、 目标颜色/尺码选中态和已取证当前价。唯一状态改变是一次命名 Android Back;不得发送 intent,不得调用 页面 click,不得点击关闭坐标、空白、购买、数量、确认、提交或支付控件。Back 调用前即封存机会, 超时、响应不明和 finally 调和均不得重试。
  • 阶段 A 在 Back 后只能只读采集 post-exit screenshot/XML/App/设备摘要并原子发布本机证据;manifest 只能声明 human_review_required 与 back_attempts=1。人工确认前绝不能写 safe_exit=completed, agent 也不得把“面板消失”或“前台包仍是 PDD”自行解释为安全退出。
  • 人确认 post-exit 截图确为同一目标商品详情、面板已关闭、未进入确认/提交/支付或外部支付页、未创建 订单,且截图/XML 对应后,才允许从本项目 XML 提取最小 product_exit_8_17_0.xml fixture。
  • 旧 product_entry_8_17_0.xml 只有通用“快要抢光”五层入口链和“免拼购买”,不能单独证明同一 商品;它最多是新证据中的候选结构,必须与新证据的同商品唯一正锚共同成立。若真实 XML 没有唯一 正锚,任务开始后保持 DOING 等待新证据,不臆造 selector、不放宽为任意 PDD 商品页。
  • “规格面板已消失”不是退出成功。阶段 B 成功必须由本项目 post-exit 证据证明:版本和前台包正确、 节点树属于证据绑定的 PDD 受控页面、同一目标商品详情正判据精确唯一,并连续两次轮询命中;中间漂移 必须重新计数。空 hierarchy、SystemUI/锁屏、非 PDD overlay、PDD 其他页、面板仍在、正锚缺失/ 重复/属性漂移、版本或前台漂移一律失败且不得发布 completed manifest。
  • 确认/提交/支付文字只能作为保守硬拒绝。T-106/T-107 真机取证前,不得把合成反例宣称为真实确认页、 提交页或支付页分类器;未知页面只能 fail closed,不能加同义、包含、OCR、裸坐标或 Activity 兜底。
  • 只收紧现有 SkuSelectionFlow 与 runner 的退出后置条件,不新建第二套采购流程,不新增通用 click、 数量、确认页导航、授权、提交围栏、创建待付款订单或支付能力。第一趟与任何真实提交函数继续静态隔离。
  • 原始完整 XML 只保存在 %LOCALAPPDATA%\cmbuyer\artifacts\T-104\...,不得上传、提交 Git、写入 Vikunja 或日志。Git 中最小 fixture 只能保留退出判据所需结构,并由人确认不含地址、手机号或支付凭据。
  • 所有正常、失败、超时和 finally 调和路径的 Back 总数都必须小于等于 1;Back 结果不明不重试。 只有规格选择、闸门一读价、规格面板截图和严格安全退出全部成功,runner 才能原子发布结果与 safe_exit=completed;旧的空 hierarchy success 测试必须改成失败反例。
  • 供 T-306 消费的 SkuSelectionRunResult 必须显式携带规格面板原始 screenshot_path 与截图 RPC 成功附近取得的 UTC-aware captured_at,并把同一个时间值写入 manifest。不得枚举目录或读取 manifest 猜文件/时间;post-exit 商品详情截图必须使用独立文件名和角色,绝不能冒充 Gate1 证据。
  • needs_device: true:agent 不得自行标 DONE。只有人确认 post-exit 截图为同一目标商品详情、面板 已关闭、未进入确认/提交/支付页、未创建订单,且截图/XML 对应后,任务才可完成。
  • 本任务不实现、不调用 set_quantity_and_readback()、go_to_order_confirm()、 create_submission_fence()、submit_order_once()、支付、免密支付、先用后付或任何扣款能力;既有 三道价格闸门、服务端围栏、只点一次且不重试的约束不得放宽。