# 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

```sh
"$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，不自行放宽容差。