fix(dag): batch A residuals — zero tech debt (phantom cancelled state, stale-read budget, lint ratchet restored)

[LeXwDeX]

批次 A 残留技术债清零（无技术债原则），三次主题提交，11 文件 / 476+ / 55-，写集互斥经审计核验。

三票内容

A — 消除 phantom cancelled 节点态（台账票 10，方案 A 对齐实现）

• 消费方核验：仅 TUI 存在 phantom dead branch 读节点级 cancelled（投影写 status=failed 故永不触发）
• 转移表 T5 改写 to=failed(cancelled)，状态空间收敛，CONTEXT.md 同步；投影注释固化契约；新增 core 测试断言 failed + error_reason 承载取消语义

B — 陈旧读不再消耗延长预算（台账票 11，方案 A 锁内新鲜读）

• watchdog 以 staleDeadlineMs 守卫判定：陈旧读触发的延长被新鲜读否决，不发布 NodeDeadlineExtended、不递增 timeoutExtensions
• 真红→绿：case1（陈旧读抑制）vs case2（真实超时延长）对照测试；-2/0/1 三值契约与 N1 监督不变式保持

C — lint 棘轮回降

• 三个批 A 测试文件的 36 处 'as never' unsafe 断言全部类型安全化（fixture 正路类型），断言语义零变化
• 棘轮 4888→4852，_lint_ratchet_note 同步修订；实测本地 4838 ≤ 4852

深审证据链（DAG 全流程）

• 实现波审计 PASS（写集/验收/manifest fail-closed）
• 确定性验证 PASS：typecheck 29/29；test/dag 389 pass ×2 确定性一致；core dag 90 pass；回归 194+7+37 pass/0 fail；lint 4838
• reasoner 推演 + 三路对抗审查（检察官/辩护人/证据矩阵）+ 第四方 claim 核验
• 终审 PASS：唯一开放担忧 U1 经 Effect v4 源码裁决 REFUTED（Effect.timeout=Cause.Fail，raceAllFirst 败者中断不经 hasInterrupts → 无孤立节点）；N1 抑制守卫细节经三方一致论证为有界自愈（延迟 ≤1 escalateIntervalMs，预算不丢、节点不孤立）
• 写集指纹：6360dcfbdc091865488bb63044cb58e9febb7d1ca2d67e844b04fe51e7c50c75

收尾动作（合入后）

• 台账票 10/11 状态翻 closed
• 本地分支清理（含 opencode/* 残留 worktree 检查）