先理解控制面，
再重构页面。

反例：taskId == nil 被猜作本地卡并跳过 owner guard。回应：owner guard 先执行；本地卡只由 session-bound durable registry 识别，reset 同步清 registry。

a6259a09…a191 的独立复审已确认 startup recovery 与 foreground mirror 共用串行 owner；这个关闭结论只属于该快照，新候选仍需回归。

反例：backend response 没有 Apple link 时 delete 直接返回，pending create 的 EventKit object 与 ledger 可长期残留。回应：先按 backend ID cleanup + absence readback，再完成 ledger；失败可重试。

反例：factory-returned Logger 与同一声明第二 binding 不在 sink inventory。回应：增加 repository Logger summary 与两个精确 compile-valid mutation。

反例：wrapper 接收 credential trailing closure，跨文件调用后进入日志。回应：对 body 直接含 credential source 的 higher-order assignment 做保守 summary；不宣称完整语言 taint。

Reviewer 对 bb65577e…4fcc 已形成两类 P1，但最终复算变为 db110943…8d54a；按 FREEZE 合同立即停止，既不外推 finding，也不给 exact verdict。

反例：删除失败只可人工二次调用，startup 仍误走 create/link GET。回应：side effect 前 durable deletePending，startup 直接重试 delete，测试断言 backend GET=0。

反例：ordinary closure argument、调用 tainted helper 的 trailing closure、computed Logger property。回应：direct/indirect closure summary 与 computed Logger inventory，新增三条 compile-valid mutation。

反例：普通已完成 mirror 没有 pending-create ledger，EventKit failure/crash 后无 startup owner。回应：每次 linked delete 都先建立独立 durable delete intent，失败与 completion failure 均由启动恢复。

反例：mirrorEnabled guard 可让断开日历的用户跳过既有 pending cleanup。回应：owner cleanup 先于 preference，新增 disabled-preference case 与 mutation。

反例：labeled closure、tainted-property trailing closure 与 typed-factory computed Logger。回应：fixed-point summary 扩展并新增第 26–28 个 compile-valid mutation。

97f1… 反例：backend DELETE 在 durable local owner 前发生。response-lost / crash 可留下永久 EventKit mirror；现有 linked-delete tests 从太晚的 mirrorDelete seam 起步。

97f1… 反例：Logger alias 与 Logger.init 构造都 typecheck-valid 且通过 28-mutant guard；repository-wide known-sink 声明因此失效。

b915… 在请求前持久化 backendDeletePending；第十轮确认 linked/pending 主状态机进入生产路径，同时发现 backend-only event 的相邻 owner 缺口。

b915… 增加 Logger-valued alias、Logger.init 与 os.Logger qualification；第十轮确认三条直接反例关闭，同时发现五种相邻 grammar。

b915… 反例：event 没有 Apple link 时 production DELETE 仍可无 ledger 发送，commit→response-lost 后 startup 无 owner。回应：a8b8… 允许 externalID 为空的 durable row，success/404 后才 complete。

b915… 反例：immediate receiver、parenthesized / optional / computed alias 与 .notice 都 typecheck-valid 且可绕过。回应：五个 exact mutant + real typecheck，credential 扩到 36/36。

a8b8… 的第十一轮确认 backend-only owner 与五种 Logger grammar 直接反例已进入实现，同时在同一 exact 快照发现 logout/reset handoff 与两种 constructor grammar 的相邻 P1。

a8b8… 反例：session revoke 后 generic reset 可 complete 未知结果的 backendDeletePending，或只删 EventKit 而不确认 backend。回应：987a… 在同一 serial owner 内先结算，再提交 reset；generic reset fail closed。

a8b8… 反例：typed Logger = .init(...) 与 outer-parenthesized (Logger(...)) 均 typecheck-valid 且可绕过。回应：两个 exact mutant + real typecheck，credential 扩到 38/38。

987a… 的第十二轮确认 settlement/backend retry/reset commit 共用同一 serial owner，generic reset 对未知 outcome fail closed；该关闭结论只属于 exact 快照，current 仍做有限回归。

987a… 反例：Logger typealias constructor 与 Optional(Logger(...))! 均 typecheck-valid 且可绕过。回应：45ba… 加 typealias fixed point、wrapper inventory 与两个 exact mutants，credential 扩到 40/40。

45ba… 复审确认指定两条已闭合，但括号 typealias、Optional.some 与 typed closure receiver 仍可绕过。结论不是“再补三条就语言完备”，而是升级 AST/SwiftSyntax 或收窄版本化语法合同。

e76… 的 49/49 与四类 P1 同时成立：default arity、nested closure ownership、higher-order/cast callable 与 multiline parameter-return。回应：统一 SwiftSyntax declaration/call graph；该快照 verdict 保持 0 P0 + 4 P1。

5da… 虽有 55/55，仍跳过 member call、只消费 variadic 首参、让 local name 遮住跨文件 overload，并排除 member source-return；另可接受成功但空的 analyzer JSON。Exact verdict：0 P0 + 5 P1。

五条 5da exact mutation与 envelope negatives均独立通过；新反例是 overload/container scope 合并、带标签 variadic 中间实参、computed/nested member source。Manifest 首末均为 f42e41cb…a4a91。

Stable scope、labeled middle actual与member property/call/wrapper直接反例已关闭；新反例是不可见nested/closure/receiver candidate遮蔽、typealias/generic误排除、variadic吞trailing closure、member subscript无fact，以及successful-empty/poisoned cache。Manifest首末均匹配。

400508九条direct regression均关闭；新反例是source/alias仍file-shadow、Substring compound误判、default+required trailing closure、callAsFunction、_read/yield，以及非空伪造sink fact。Manifest首末均匹配。

独立复审发现 cache 原地加入 characterOffset，导致后续 mutant 用无关 schema failure 冒充 kill；另有 source visibility、required/default + typealias closure、bound/factory callable、method-value 与 non-sink fact completeness 五类缺口。旧 83/83 已失效。

cache 改为 immutable copy；mutant cache 隔离且拒绝 analyzer/schema 错误归因；全部六类 fact 绑定 source slice；连续 validate、五类 fact 删除、closure 顺序/typealias、higher-order source、direct/bound/optional/factory callable 与 method-value 已进入 90/90。System Lightweight、HEAD RED与diff-check通过；独立 review 尚待。

当前 ordinary logout 已 strict server unregister；但离线/过期凭据会使退出保持 recovery shell。需后端 generation/receipt 与产品恢复体验共同决策。

当前65/65、credential90/90与account/effect89/89只覆盖已枚举合同；旧credential83/83保持失效。新逐项mutant仍只保证parse-valid，代表性typecheck由聚合oracle提供。Protected CI与真实账号UI/extension/system replay仍缺。