[REQ-128][DOC] Phase 4 方案基线入库:managed npm OpenCode Plugin(窄而闭合的竖线)

[jinjunnn]

这份稿子是什么

REQ-128 Phase 4 的方案基线。让一个真会在引擎进程里跑代码的第三方插件
(opencode-notify)从签名 Catalog 被发现 → 授权屏说清「与引擎同权限执行代码」→
一次事务装上 → 引擎真的重扫并把事件派发给它 → 卸得掉。

范围窄(一个包、只对上游 V1 ABI),但用户路径逐跳闭合 —— Phase 3 验证过的形态。

为什么不是照着 alpha-web#99 / alpha-code#699 写

那两张票判作废重开。 它们写于 2026-07-30,而 Phase 1/2/3 已经把它们引用的东西改掉了。
§3 用表格列了 22 条已作废的旧断言,其中最贵的三条:

• ac#699 的 ABI 验收门对准了一个不存在的成员 —— 上游 V1 插件 Hooks 21 键里
  有 dispose,没有 init,也没有 cancel(两轴零命中)。照票面写「invalid dispose/cancel」
  的语料,在真实加载器里根本不会被检查 = 一组恒绿断言。
• 引擎同进程里还挂着第二个插件加载器 ConfigExternalPlugin(ABI 完全不同、自己再调一次
  npm.add、失败被 Effect.ignoreCause 静默吞掉)。2026-07-30 那份基线全文零字提及。
• 签名 package 的三个安装入口一个都不调 refreshEngine() ⇒ 纯 plugin 包装完,
  界面说「已安装」而用户下一条消息里什么都没有。Phase 3 在本地导入线上修过这个洞(G20),
  签名 package 这条线从来没修过,而且三张旧票一张都没提。

审计账(开发前方案,预算 2 轮,未超支)

• R1 全量:16 条(2 Blocker + 12 Major + 2 Minor)全部采纳。 其中 12 条让方案变小 ——
  删掉新造的 capability token、删掉不可达的运行时 probe、删掉整张 T6、删掉 CAS pin 与第 9 类、
  删掉三道到不了的 compile gate、删掉第 6 类的生产 else 改造。
• R2:13 FIXED / 2 PARTIAL / 1 NOT-FIXED + 3 条新 Major,无 Blocker。
  按规程走「筛完直接改、改完不复审、直接合」,不开第三轮。
• 全账在 §8。

R1 里最该记的一条:我自己设计的 pre-switch 探针没过第零问 —— 打包体没有 Node 可执行文件、
runAsNode fuse 是关的,那个探针在生产里根本跑不起来;而且它的形状断言 {} 就能满足。
R2 里最该记的一条:T7 的两条退出条件按字面互斥,实现方照做会卡死。

九张票与硬序

T1 → {T2a, T2b} → T5;T1 →(**同一 merge unit**)→ T4;T1 → T3 → T3b;汇合 T7 → T8。

T1 与 T4 必须在同一个 alpha-code PR 里落地 —— 不是形式:
packages/alpha-contracts-consumer/src/extension-package-artifact.test.ts:107 要求 vendored 宿主副本
与本仓活的 host artifact 逐字节相同,而 scripts/alpha-check.sh 会跑 consumer 测试
⇒ T1 单独合并时本仓自己的正式门就是红的。

门

bash scripts/alpha-check.sh 全绿(7/7 步):north-star 零上游改动、零字面 NUL、
typecheck 三包、Ran 3756 tests across 255 files / 0 fail、闸门文件在位、seed 资产、docs 链接。
本 PR 纯文档,git diff --name-only 只有一个 md 文件。

Refs #699