feat(runtime): establish managed mutation lifecycle authority - #3741
Draft
zhiiw wants to merge 5 commits into
Draft
feat(runtime): establish managed mutation lifecycle authority#3741zhiiw wants to merge 5 commits into
zhiiw wants to merge 5 commits into
Conversation
zhiiw
marked this pull request as draft
August 25, 2026 02:01
Contributor
Author
|
The required CI check is now green on cf63fb9. The first run exposed two issues, both fixed at their actual owner boundary:
Verification after the fix:
中文说明required CI 已在 cf63fb9 全绿。 首轮 CI 暴露了两个问题,并且都在真正的 owner 边界修复:
修复后:
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Primary invariant
From a managed Write/Edit T1 until a trusted terminal state, one workspace instance has exactly one durable mutation owner. A successful tool outcome, successor workspace fact, version projection, and canonical head are committed atomically; after managed T1, Runtime never silently falls back to generic T2.
Ownership and atomic boundaries
Failure and rollback
Scope
This PR combines the former extraction slices for successor authority, durable reservation, and Runtime settlement because together they prove one managed mutation lifecycle invariant. It deliberately does not add Git candidate capture, filesystem mutation, Runtime Host composition, or Desktop/CLI enablement.
The branch was rebuilt directly on current upstream/main. It spans schema and runtime protocol, but not Host lifecycle or platform filesystem I/O.
Verification
中文说明
主要不变量
从 managed Write/Edit 的 T1 到可信终态,同一个 workspace instance 只能有一个 durable mutation owner。成功工具结果、successor workspace fact、version projection 和 canonical head 必须在同一个事务中全部可见或全部不可见;managed T1 以后 Runtime 禁止静默回退 generic T2。
Owner 与原子边界
失败与回滚
范围
这个 PR 合并旧的 successor authority、durable reservation 和 Runtime settlement 三个 extraction slices,因为它们共同证明一个 mutation lifecycle 不变量。它不包含 Git candidate、文件写入、Runtime Host composition 或 Desktop/CLI 开关。
分支直接从最新 upstream/main 重建,只跨 schema 与 runtime protocol,没有跨 Host lifecycle 或平台文件 I/O。
验证