Skip to content

Bind continuation claims to accepted workspace heads - #27

Closed
zhiiw wants to merge 2 commits into
codex/m2-4-gitoxide-write-edit-v2from
codex/m3-workspace-bound-continuation-v1
Closed

zhiiw wants to merge 2 commits into
codex/m2-4-gitoxide-write-edit-v2from
codex/m3-workspace-bound-continuation-v1

Conversation

@zhiiw

@zhiiw zhiiw commented Aug 23, 2026

Copy link
Copy Markdown
Owner

Summary

Bind durable continuation claims to both the immutable RuntimeEvent replay boundary and the exact accepted managed-workspace head.

Primary invariant

A workspace-bound continuation claim is valid only when SQLite can atomically re-derive the same storage-root binding, workspace epoch, accepted version, Git object identity, and RuntimeEvent prefix. The v1 authority cannot consume v2 claims.

Scope

  • ContinuationClaimV2 and continuation_source_v3
  • schema 15 workspace-bound continuation authority
  • strict rebuild/tamper validation
  • schema 14 -> 15 populated migration
  • real-process claim transaction crash coverage

This remains a stacked Draft. It does not expose a Desktop/CLI product entry.

中文说明

本切片只证明 workspace-bound continuation claim 的持久化权威:SQLite 必须在同一事务中重建并校验 RuntimeEvent 前缀、storage root、workspace epoch/head/version 与 Git 对象身份。v1 authority 无权消费 v2 claim。

包含 schema 15、严格重建/篡改拒绝、schema 14→15 populated migration 与真实子进程 claim 崩溃测试。当前保持 stacked Draft,不开放 Desktop/CLI 产品入口。

@zhiiw
zhiiw force-pushed the codex/m2-4-gitoxide-write-edit-v2 branch from d91ab88 to 3cc447f Compare August 24, 2026 03:36
@zhiiw
zhiiw force-pushed the codex/m3-workspace-bound-continuation-v1 branch from 914339c to 3009d57 Compare August 24, 2026 03:38
@zhiiw
zhiiw force-pushed the codex/m2-4-gitoxide-write-edit-v2 branch from 9fb709b to 6ac4a52 Compare August 24, 2026 04:15
@zhiiw
zhiiw force-pushed the codex/m3-workspace-bound-continuation-v1 branch 3 times, most recently from 0824588 to ed4dd80 Compare August 24, 2026 06:33
@zhiiw
zhiiw force-pushed the codex/m3-workspace-bound-continuation-v1 branch from ed4dd80 to 0688fc2 Compare August 24, 2026 07:41
@zhiiw

zhiiw commented Aug 30, 2026

Copy link
Copy Markdown
Owner Author

Closed as an obsolete extraction/integration slice. The current delivery path is the merged Gitoxide foundation followed by #40 -> #41 -> #42. This PR remains available as design and implementation history.

中文说明

该 PR 属于旧 extraction/integration 栈,现已失去独立合并价值。当前交付路径是已合并的 Gitoxide 基础,然后依次审查 #40#41#42。这里继续保留设计、实现与审查历史。

@zhiiw zhiiw closed this Aug 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant