fix: 影子到期误摘 PHASER 修复（工程改进首项）——一行判例+全值矩阵绊线

[LamSpace]

缺陷（v11 落地审查发现，ROADMAP 工程改进首项）

ShadowTable.expireUpTo（LEASE_EXPIRE_ENTRY 应用点影子清扫）的无租约家族跳过清单含 LATCH/BARRIER/QUEUE/ATOMIC/TIMER 而独缺 PHASER。phaser 镜像条目到期字段恒 0，被任一租约到期误摘，危害两面：

1. 管理面静置 phaser 键无限期失踪——自愈依赖该键后续镜像事件，静置键（到场完毕无人再动）永无后续；违反 admin-observability 既有承诺（phaser 键详情照常命中、MUST NOT 未命中壳）。
2. lease.expired.total 累计虚增——幻影键随 freed_keys 计入到期释放计数线，"实际释放计数"条款被违；累计值无自愈。

引擎账簿无恙：镜像投影实现缺陷，非契约变更。

修复

• expireUpTo 内联跳过条件提取为静态单一判定点 isLeaselessFamilyType（判据来源注 Javadoc：获取路径入租约到期堆者即租约形态 0–5），清单补 PHASER 分支。
• 方法级 Javadoc 与家族枚举括注同步补全（含 TIMER 落地时的历史欠账）。
• SEMAPHORE 不入清单的不变式论证（release() 持有归零即摘除）维持原样入档设计。

测试（红先）

• StateMachinePhaserTest.expireSweepLeavesPhaserMirrorUntouched：phaser 建账静置 + 短租约锁 + 到期条目混合序列。修复前实测红：Expecting ["p","mk"] to contain exactly ["mk"]；断言镜像三计数逐项保真 / freed_keys 恰等真实到期键 / 双份回放 digest 一致。
• ShadowTableLeaselessFamilyMatrixTest：LockType 全值矩阵绊线（0–5 不得入跳过集、其余必入）——v12+ 新形态不判类即红，终结"每家族补一行"的判例式复发面。红性实证：临时摘除 PHASER 分支精确红于 LOCK_TYPE_PHASER(14)，已还原零残留。

规格与文档

• core-lock-engine MODIFIED"PHASER 条目生命周期与会话清理"：补"不被租约到期清扫回收"影子半句 + 场景"到期清扫与租约机制对 phaser 零触碰"（措辞逐字对齐队列判例，既有四场景逐字保留）；主规格已 sync。
• ROADMAP 工程改进首项 → 已落地；change 归档至 openspec/changes/archive/2026-10-07-fix-shadow-sweep-phaser/。
• wire/协议/SDK/双语指南/WATCHLIST 零触碰（非对外 API 面）。

验证

• mvn -s settings.xml clean verify：8/8 模块 BUILD SUCCESS（0 失败 0 错误；唯一跳过 ClientChaosIT 为既有环境门槛，与本项无关）。
• check-source-citations.sh 零命中；check-links.sh 零死链；openspec validate --strict 与 --specs（17/17）通过；delta 段头零残留双查。
• -Pdrill 不需要：纯镜像投影修复，无进程/时序面变化（判例同原子家族误扫修复）。

Non-goals

不追溯修正历史 lease.expired.total 值（重启归零）；不为幻影键唤醒遍历加网关侧防御（freed_keys 收敛后自然空转）。