Skip to content

Commit 942dbb8

Browse files
committed
docs(coordination): specify promotion plan binding
Signed-off-by: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
1 parent 51002fa commit 942dbb8

2 files changed

Lines changed: 10 additions & 2 deletions

File tree

‎docs/architecture/rfcs/shared-goal-authority-state-provider-v0.md‎

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1813,7 +1813,12 @@ It derives the compact projection from the current canonical Todo and
18131813
task-lease views, reports only counts and digests, and requires `--execute`
18141814
before invoking bootstrap or promotion. `promote` is effect-free without
18151815
`--execute`; its preview returns the exact qualified revision, projection
1816-
digest, writer-fence identity, and rollback identity. Apply holds the shared
1816+
digest, qualification policy, canonical promotion-plan digest, writer-fence
1817+
identity, and rollback identity. The plan digest binds the Goal, operation,
1818+
exact shadow revision/projection, minimum operation count, and normalized
1819+
required event kinds; the durable fence, event, and receipt carry the same
1820+
digest, so only the exact reviewed plan can recover a fence-before-canonical
1821+
interruption. Apply holds the shared
18171822
maintenance and legacy source locks while it revalidates the source snapshot,
18181823
qualifies the exact shadow lineage, engages the durable writer fence, commits
18191824
the canonical head, and reads back the promotion receipt. v0 rejects a Goal

‎docs/architecture/rfcs/shared-goal-authority-state-provider-v0.zh-CN.md‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1448,7 +1448,10 @@ loopx coordination-shadow rollback --goal-id <goal-id> \
14481448
它从当前 canonical Todo 与 task-lease view 派生紧凑 projection,只报告计数与摘要,
14491449
并要求 `--execute` 才调用 bootstrap 或 promotion。`promote` 未带 `--execute` 时零写入;
14501450
preview 返回精确的 qualified revision、projection digest、writer-fence identity 和
1451-
rollback identity。apply 会在同一段 maintenance 与 legacy source 锁生命周期内重新
1451+
rollback identity,并返回 canonical promotion-plan digest 及资格策略。该 digest 会绑定
1452+
Goal、operation、精确 shadow revision/projection、最小 operation 数与规范化后的必需
1453+
event kind;持久 fence、event 与 receipt 都携带同一 digest,因此 fence 已落盘而 canonical
1454+
尚未提交的中断只能由完全相同的受评审 plan 恢复。apply 会在同一段 maintenance 与 legacy source 锁生命周期内重新
14521455
验证 source snapshot、资格化精确 shadow lineage、engage 持久 writer fence、提交
14531456
canonical head,并读回 promotion receipt。v0 会拒绝尚未资格化为 `hard_lease` 的 Goal,
14541457
且绝不会把 handoff mode 变化藏在 promotion 副作用中。写入成功后会立即通过 typed parity inspection

0 commit comments

Comments
 (0)