在不变候选上使用 cumulative reviewed source-bound isolation、bounded readiness、locator 与 NativeDrag 完成一次真实 Finder 图片拖放闭环;只有 delivery/data/privacy/persistence/restore 全部闭环才 PASS。
.mindraw 建立。PARTIAL_AUTOMATION_LIMIT,产品判定 NOT_EVALUATED。用途:执行 source-bound reviewed Finder drop 严格 fail-closed 序列。
"$DIAGNOSER" --wait "$CANDIDATE_PID"
"$LOCATOR" "$CANDIDATE_PID"
"$DIAGNOSER" "$CANDIDATE_PID"
"$FINDER_ISOLATION" isolate "$FINDER_STATE" "$EXACT_SOURCE_ID"
"$AX_INSPECT" "$FINDER_PID" "$EXACT_SOURCE_ID"
"$PLACE_SOURCE" "$EXACT_SOURCE_ID"
"$LOCATOR" "$CANDIDATE_PID"
"$NATIVE_DRAG" "$START_X" "$START_Y" "$END_X" "$END_Y"
"$FINDER_ISOLATION" restore "$FINDER_STATE" "$EXACT_SOURCE_ID"
验证:任一 snapshot/mutation/readback/geometry/restore 门失败立即停止;NativeDrag 最多一次。state 已生成时,无论终态都必须正式 restore。
搜索关键词:source-bound isolation exit 72、eager rollback、NativeDragCallCount=0、PARTIAL_AUTOMATION_LIMIT。
evidence-tool 责任人需精确区分 isolation mutation 阶段的具体失败点并形成新 reviewed Gate;QA 不猜测失败属性、不绕过安全布局、不重试拖放。