 姚章浩
|
513aa9e6f5
|
fix(library): 收紧恢复派发真实绑定与同事务授权
build / build (push) Has been cancelled
为什么：Astra 复核证实五组实现缺陷——正式装配缺 scope/快照且来源与 before-image
混用；激活撤销不在 CAS 事务内、lease 用事务起始时间；激活只接受任意字符串且撤销可
被 SQL 重置/删除；准入忽略绑定冲突与 prepared 矛盾、收尾只看当前 plan；prepared 已
提交但 mark-intent 未落盘时被误判 legacy。
改了什么：
- 绑定来自原锚点（scope/来源快照/backup/实例/目标指纹/索引 UUID/恢复投递），每次
重建都实时重读目标身份并与冻结值比较；
- activation 行锁与 CAS 同事务，lease 用 clock_timestamp()，同事务核对 job/operation/
attempt/维护窗口/恢复 queue 与 operation，同 effect 换 plan 摘要拒绝；
- 激活消费带摘要的证据文件（writer 退出+排空、目标/治理库身份、有效期），撤销终局，
down 在 activation 有行时拒绝；
- 前置/收尾共用权威窗口全集，绑定冲突与 prepared 矛盾零写 held，合法 dispatching+
精确 marker 仍可确认；
- prepared 无 mark-intent 仅在绑定一致且无矛盾时补同内容意图，旧无台账意图仍 held。
验证：真 PG 锁等待覆盖撤销先胜/CAS 先胜/等锁跨租约/错锚点/plan 别名/恢复投递；
COMMIT 已到服务端但回包丢失与未决事务分别读回；真 ES+PG+对象存储的 DS01 用例全部
通过；go test ./... 全绿。未迁移正式库、未部署、未激活。
|
2026-11-02 18:09:26 +08:00 |
|