Skip to content

Commit 953327a

Browse files
committed
docs(lease): record producer isolation and retained recovery boundary
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
1 parent 2075d38 commit 953327a

3 files changed

Lines changed: 38 additions & 0 deletions

File tree

‎docs/architecture/rfcs/typescript-control-plane-migration-v0.md‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,13 @@ is disabled. This removes optional capture work from ordinary legacy writes,
7777
without changing their output, history retention or outbox recovery. Python
7878
retains this Host IO adapter until its last supported source writer is replaced;
7979
this is neither whole-writer retirement nor default-provider qualification.
80+
Unpromoted lease acquire now loads the capture adapter only when the typed
81+
result carries a capture request. The real CLI and normal-wheel oracle cover
82+
acquire/replay, rejected stale renewal, renewal, transfer and release with the
83+
four legacy shadow producer modules physically absent and with no enabled
84+
capture or active binding. An active binding still delivers capture after the
85+
setting is removed. This retires a default-off dependency, not the supported
86+
source writer or pending capture/history recovery.
8087

8188
Handoff/continuation display decisions now belong to the existing TypeScript Todo
8289
context owner. Summary reuses its normalized identity/claim/exclusion/class

‎docs/architecture/rfcs/typescript-control-plane-migration-v0.zh-CN.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,11 @@ normalization crossing,不删除仍受支持的 writer 或迁移 reader。
6565
省去可选捕获工作,输出、历史保留及 outbox 恢复保持原契约。Python 保留这层
6666
Host IO 适配,直到最后受支持的源 writer 被替换;本批不代表整个 writer 退役或
6767
默认 provider 资格通过。
68+
未迁移 lease acquire 现在仅在 typed 结果带有 capture 请求时加载 capture 适配器。
69+
真实 CLI 与正常 wheel 检查覆盖领取/重放、陈旧续约拒绝、续约、转交及释放:没有
70+
启用 capture 或活跃 binding 时,可物理移除四个旧 shadow producer 模块。已有活跃
71+
binding 在移除配置后仍完成 capture。这只退役默认关闭时的依赖,不删除仍受支持的
72+
源 writer,也不结束待处理 capture/历史恢复窗口。
6873

6974
handoff/continuation 显示决策已归入既有 TypeScript Todo context owner。summary
7075
在同一个 batch 复用已归一化的身份、claim、exclusion 和任务类型事实;index 在单个

‎docs/reference/canonical-lease-renew.md‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -570,3 +570,29 @@ L3/R5 的独立领取/接管及维护由此可用,跨外部 effect 的 executo
570570
锁和自动结果返回仍需各自验收。D2 soak、D3、默认 profile、活动 Goal 迁移和跨主机
571571
部署没有改变。回滚保留 canonical state/receipt/fence 并恢复兼容代码,不得复活旧
572572
lease 文件。演练仅修改隔离副本,核对源与无关记录不变,不能代替完整持久性资格。
573+
574+
## Unpromoted lease capture isolation / 未迁移租约的 capture 隔离
575+
576+
For an unpromoted Goal with no enabled runtime shadow and no active durable
577+
binding, lease acquire, replay, renew, transfer and release do not require the
578+
legacy shadow producer modules. Python loads capture settlement only when the
579+
existing typed lease result carries a capture request. The normal CLI keeps
580+
the original source and registry unchanged, creates no shadow outbox, and
581+
preserves lease versions, generations, scopes and idempotent receipts. A stale
582+
renewal still fails without changing the stored lease.
583+
584+
Removing a setting does not retire an active binding: enabled capture and
585+
active-binding recovery retain durable preparation and delivery. This removes
586+
an unused default-off dependency; it does not change provider defaults,
587+
promote a Goal, retire supported Markdown writers, or authorize deleting
588+
capture history and pending outbox records.
589+
590+
未迁移 Goal 没有启用 runtime shadow、也没有活跃持久 binding 时,领取、重放、
591+
续约、转交和释放不依赖旧 shadow producer 模块。Python 仅在既有 typed 租约结果
592+
带有 capture 请求时加载结算适配器。正常 CLI 保持源和 registry 不变,不产生
593+
shadow outbox,并保留租约版本、generation、scope 及幂等回执;陈旧续约仍须拒绝,
594+
且不修改已存租约。
595+
596+
移除配置不会退役活跃 binding:启用 capture 及已有 binding 的恢复仍须持久准备
597+
并送达。本项只移除默认关闭时无用途的依赖,不改变 provider 默认值、不迁移 Goal、
598+
不删除受支持的 Markdown writer,也不授予删除 capture 历史和待处理 outbox 的权限。

0 commit comments

Comments
 (0)