ADR-0049:`plugin-runtime.zod.ts` 剩余家族(DynamicLoadRequest / DynamicUnloadRequest / DynamicPluginResult / PluginSource / DynamicPluginOperation)四仓零 runtime consumer —— enforce-or-remove 悬置待裁

[os-zhuang]

#4657 实施(PR #4831)中的范围外发现,只记录不修,需维护者裁决。

事实

packages/spec/src/kernel/plugin-runtime.zod.ts 在 #3896 follow-up(删 island config)与 #4657(删 activationEvents + ActivationEventSchema)之后,剩余五个导出:DynamicLoadRequestSchema、DynamicUnloadRequestSchema、DynamicPluginResultSchema、PluginSourceSchema、DynamicPluginOperationSchema(及对应类型)。

三仓(objectstack / cloud / objectui)裸名扫描:除 spec 自身源码与测试外零命中。 没有任何 runtime 接收 DynamicLoadRequest、执行 load/unload/reload、或产出 DynamicPluginResult —— "Runtime load/unload of plugins without kernel restart" 这层能力整体是 declared-but-unenforced。#4657 的 kernel 侧墓碑之所以还值得立(而非直接裸删),恰是因为这个家族仍以 json-schema / IDE bundle / ./kernel 导出的形式发布,读者会把它当作能力。

既有决定

remove-unenforced-plugin-loading-config changeset(#3896 follow-up)当时明确写下:

the remainder (DynamicLoadRequest, DynamicUnloadRequest, DynamicPluginResult, PluginSource, DynamicPluginOperation) also has no runtime consumer today; it is left in place because those are operation contracts, not security promises, and the enforce-or-remove call on them is a design decision rather than a correction.

即:悬置是有记录的刻意决定,但只活在一份 changeset 散文里,没有 issue 承载,ADR-0049 的 worklist 也未覆盖(这些不是 metadata-type,liveness ledger 不走这里)。cloud-v1 ROADMAP 把 dynamic loading 排在 v0.4.0 —— 若那是活路线图,按 ADR-0049 应标 experimental 而非静默发布;若不是,则按 remove 处置(#4618 IDataEngine.batch 的形状:def 整删 + 基线有意删,tsc 为通道)。

待裁问题

对这五个 schema:enforce(cloud-v1 v0.4.0 真的会建 runtime?)/ experimental 标注 / remove,三选一。两个轴:长期架构上"写 runtime 再声明它 enforce 的东西"是既有先例(#3896 注释原话);AI 误用面上,一套发布进 IDE bundle 的 request/result 词表是模型会直接拿来构造调用的东西。

关联:#3896、#4657、PR #4831、#4618、ADR-0049、cloud-v1 ROADMAP v0.4.0。

---

Generated by Claude Code — session session_0176qgxgCXTJCUv4YFLtusP9

[os-zhuang]

维护者裁决(2026-08-03):remove —— 删除 plugin-runtime.zod.ts 剩余五个 schema

按三轴评估,三条同向,无两难:

① 实际业务需求 —— 热加载是真实的未来能力,但今天零在建实现、无业务拉动时间表。一套 request/result 词表在没有 server 的情况下发布了多个大版本、零投诉 —— 与 crypto.hash(#4391)同款的「零投诉即最强活性证据」。

② 平台长远 —— 今天已裁过两次同形状问题,答案都是 remove:#4391(「实现先行、声明随实现走」)与 #4657(给不存在的 runtime 声明词表 = 语义撒谎)。这五个是同族里最大的一块:它们描述的操作(load / unload / reload)整个不存在。

留 experimental 的问题在于:它只是 describe 文案,拦不住 import —— 三个通道里最弱的一个。remove 不封死未来:热加载真要建时按能力准入流程走新 ADR,词表随实现一起进 schema —— 而那时的词表未必长这样(cloud-v1 ROADMAP v0.4.0 的设计与今天这五个形状对不上的概率不低,留着反而是未来设计的包袱)。

③ 防 AI 犯错 —— 立单人那句点得准:「一套发布进 IDE bundle 的 request/result 词表是模型会直接拿来构造调用的东西」。AI 见 DynamicLoadRequestSchema 会合理推断平台支持热加载,构造出 parse 全绿、永远无人受理的请求 —— #3950 形状(有导出无消费者被读成能力)的教科书例。remove 后是作者时的 TS2305,响亮且带处方。

#3896 的悬置到此终结:当时「这是 operation contract 不是 security promise,enforce-or-remove 是设计决策」的判断成立,但那个决策只活在一份 changeset 散文里、无 issue 承载 —— 本单即是那个决策,答案是 remove。

---

🔒 认领:PM 会话 session_0176qgxgCXTJCUv4YFLtusP9,分支 claude/issue-4834-plugin-runtime-family-retire。v17 限时(TS 导出面 breaking),.changeset/pre.json 仍 mode: pre。

---

Generated by Claude Code

[os-zhuang]

实施完成 —— PR #4878(draft)

按裁决 remove 实施完毕。分支 claude/issue-4834-plugin-runtime-family-retire,会话 session_0176qgxgCXTJCUv4YFLtusP9。

整个文件就此清空:五个 def 之外只剩两块 REMOVED 注释(#3896 的 discovery/sandbox 岛、#4657 的 ActivationEventSchema),无残留活物 —— 因此 plugin-runtime.zod.ts(275 行)与 kernel/index.ts 的 export * 一并删除,同删其单测 plugin-runtime.test.ts。共 12 个公共名退出导出面。

三仓复核:objectui(785b8a5)、cloud(5df2c69)裸名扫描均 0 命中,两个空结果都用邻近词(PluginContext、@objectstack/spec/kernel importer)反查证明扫描器与路径有效;objectstack 侧命中全在自身声明、自身单测、生成物与历史散文里。

退役形态:json-schema.manifest.json ratchet(#2978)先开火要求有意删除五个 def key,随后 per-key ratchet 自行判定为 #4650 路径 3(def no longer emitted by this build),23 条 authorable 行全部自证。四张 ratchet 确有变化(−12 / −23 / −5,零新增)—— 与 #4391 枚举值收窄的「四张全零」形成对照,异常信号未出现。

#4657 的 activationEvents 墓碑随形状一并带走(「整个请求形状已移除」严格强于「该键已移除」),changeset 与 D3 都写了合并后的两层话术:作者要做的不再是删键,而是删掉整个 DynamicLoadRequest 值。studio 半边完全不受影响,defineStudioPlugin 仍以自己的处方拒绝该键。

#4657 的 D3 条目 plugin-activation-events-retired:保留并修正,不删。 该条目是双 surface 的,studio 那一半至今活着;删掉整条会连带删掉一条仍在生效的迁移记录并截断历史链。只改写 kernel 半边的散文与 acceptanceCriteria,使其不再声称存在一个已不复存在的 retiredKey() 墓碑。

ADR-0087:五个 schema 逐条论证均不需要 D2(全是根请求/结果载荷形状,无父 schema 嵌入、不在 stack 树、无 sys_metadata 行可改写;PluginSource 单独判定过,唯一可达路径是 DynamicLoadRequest.source,gen:schema 的可达性 BFS 亦证实它不从任何 metadata-type root 可达),统一登记为一条 D3 SemanticMigration plugin-runtime-family-retired。

Pin:新增 compiler-API 符号身份断言,枚举全部 16 个公共入口,对 12 个名字断言 holdersOf(name) 精确相等 [],三道防空转守卫;sabotage 三项(复活声明 / 从 ./studio 顶名 re-export / 空转检验)实跑输出已贴在 PR body §6。

验证:check:generated 8/8、check:dual-source-exports 0、源码审计组全 PASS、spec 295 files / 7360 tests、全仓 typecheck 122/122、全仓 build 71/71。已两次同步 main(0e96e4628 → a2ebea2e8),均走 git merge,migrations/registry.ts 冲突时两边条目全部保留;合并后四单迁移条目并存已逐条实查。

⛔ content/docs/releases/ 一个字未碰。PR 保持 draft,未 auto-merge、未 ready。

---

Generated by Claude Code

---

Generated by Claude Code