Mindraw QA：画布 Locator 真实只读门

用户目标

执行 QA-OPS-MD-127-CANVAS-LOCATOR-HIDDEN-ABSENT-01：在不变候选同一唯一进程上严格执行两组 reviewed locator + diagnoser，只有两组均稳定 PASS 才可放行 locator Gate；禁止 Finder、输入、pasteboard、窗口/文档 mutation 和产品判定。

已完成事项

核对 crg-dfa4b01d47c1=PASS、候选身份/SHA、签名、公证/Gatekeeper。
精确绑定 locator、diagnoser 和 manifest；typecheck/self-test/no-args 通过。
新隔离环境中启动唯一候选进程并执行且仅执行两组配对。
第 1 组 locator exit 67 / fail closed，diagnoser PASS / exit 0。
第 2 组 locator PASS / exit 0 / AXWebArea / finite-positive geometry，diagnoser PASS / exit 0。
因 locator 两组不一致，以 NONDETERMINISTIC 收口；未执行第三组或重启重采样。
停止候选、卸载只读卷、确认进程归零和候选 SHA 不变。

关键决策

diagnoser 两组 PASS 不能覆盖 locator 的组间不一致；未达到稳定双 PASS，不能回报 LOCATOR_GATE_PASS。
不为追求一致结果增加采样，不执行 Finder，也不将 locator Gate 不稳定外推为产品 FAIL。

核心事实 / 变更快照

变更对象：Build202608140433 的真实只读 locator Gate 状态。
事实来源：输入 Gate crg-dfa4b01d47c1=PASS 与本轮 QA 报告/JSON。
变更前：hidden absent 语义已通过代码/隐私 Review，真实 locator 稳定性未知。
变更后：同一进程两组分别为 locator exit 67 与 exit 0，diagnoser 均 PASS；正式结果 NONDETERMINISTIC。
范围边界：产品 verdict 为 NOT_EVALUATED；Finder 拖放与 DMG 仍关闭。
验证证据：02-P/M4C-GitHubOpenSource/qa/qa-ops-md-127-canvas-locator-hidden-absent-01-report-20260814.md、JSON 和最小脱敏证据。

文件变更

新增 QA 报告、JSON、最小脱敏证据与会话记录。
更新统一台账、PMO_INBOX、matching assignment 和命令索引。
未修改工具、产品源码、测试、构建、版本、候选、DMG、Git 或发布状态。

可复用命令 / Runbook

用途：在 reviewed Gate 授权后，仅对同一唯一候选进程执行两组 locator+diagnoser Gate，并以稳定双 PASS 为唯一放行条件。

前置条件：候选身份/SHA、签名/公证/Gatekeeper、工具/manifest Gate 和离线合约全部通过；实际变量只存在一次性私有环境，版本化证据不保存 PID 或 geometry 数值。

HOME="$QA_ROOT/home" TMPDIR="$QA_ROOT/tmp" "$APP"

"$LOCATOR" "$CANDIDATE_PID"
"$DIAGNOSER" "$CANDIDATE_PID"
"$LOCATOR" "$CANDIDATE_PID"
"$DIAGNOSER" "$CANDIDATE_PID"

验证步骤：locator 每组必须 exit 0、第一行固定 status=PASS role=AXWebArea、第二行为四个有限数且 width/height 为正；diagnoser 每组必须严格 diagnosis=PASS / exit 0。两组任一不同即 NONDETERMINISTIC，不得第三组。

清理 / 恢复：退出候选、卸载只读卷、确认 Mindraw 进程为 0、复算候选 SHA，删除 raw QA_ROOT。

搜索关键词：CanvasTargetInspect、LOCATOR_GATE_PASS、NONDETERMINISTIC、finite-positive geometry。

未决问题与后续建议

PMO 应消费 NONDETERMINISTIC，不得直接派 Finder 图片拖放 QA。
若需进一步定位，必须另行派发严格只读、固定次数的新诊断任务。