Mindraw QA：Finder Isolation Mutation Stage 诊断

用户目标

在固定候选上只执行一次 bounded 前置、一次 isolate 与一次 formal restore，捕获固定 mutation stage/rollback；禁止布局、拖放、输入和产品判定。

已完成事项

• 候选、签名/公证/Gatekeeper、七工具 SHA/manifest 与离线门通过。
• 新隔离 QA 环境、QA-only fixture 与空 .mindraw 建立。
• bounded readiness、initial locator、single-shot diagnoser 各 1 次 PASS。
• isolate production 恰好 1 次，捕获 SOURCE_READBACK_MISMATCH / rollback PASS / exit 72。
• 同一 state/exact source formal restore 恰好 1 次，exit 0。
• AXInspect、Place、post-layout locator、NativeDrag、输入调用均为 0。
• QA Finder 窗口、候选、卷和进程清理完成，SHA 与空包不变。

关键决策

• 结果为 DIAGNOSIS_CAPTURED，产品判定 NOT_EVALUATED。
• 分型证明前五个 mutation stage 已越过，首失败发生在 geometry readback mismatch；不推断具体偏差值。
• rollback 与 formal restore 均 PASS，不开放下一步拖放。

文件变更

• 新增 stage diagnosis Markdown、JSON 与最小脱敏 evidence。
• 回写统一台账、PMO_INBOX 与 active assignment。
• 未修改工具、产品、源码、测试、构建、候选、包、Git 或发布状态。

可复用命令 / Runbook

"$DIAGNOSER" --wait "$CANDIDATE_PID"
"$LOCATOR" "$CANDIDATE_PID"
"$DIAGNOSER" "$CANDIDATE_PID"
"$FINDER_ISOLATION" isolate "$FINDER_STATE" "$EXACT_SOURCE_ID"
"$FINDER_ISOLATION" restore "$FINDER_STATE" "$EXACT_SOURCE_ID"

验证：isolate 最多一次，只接受固定七类 stage=<ENUM> rollback=PASS|FAIL 或成功输出；state 存在时 formal restore 必须一次。禁止调用布局与拖放工具。

搜索关键词：SOURCE_READBACK_MISMATCH、rollback=PASS、isolation stage diagnosis、formalRestoreCalls=1。

未决问题与后续建议

PMO 可基于 readback mismatch 另派最小、脱敏的 readback 分类或容差证据策略；QA 不记录原始 geometry，不自行放宽容差。