spec 双源清账 C17:ActionLocationSchema(./studio ≠ ./ui)—— studio 侧 D9(a) 改名,1 条

[os-zhuang]

#4535 第二批。基线行:ActionLocationSchema — [./studio (const)] ≠ [./ui (const)]。

已裁决路线(前锋判定 + 维护者 2026-08-03 批复):D9(a) 改名 studio 侧 → ActionContributionLocationSchema(备选 StudioActionLocationSchema,bikeshed 不阻塞);ui 侧保留正名。

前锋证据摘要(详见 #4535 前锋评论):同名不同概念——studio 侧 3 值 IDE surface 枚举(唯一嵌入方 ActionContributionSchema.location;defineStudioPlugin 三仓零调用;无 type export)vs ui 侧 7 值平台正典(objectui spec-derived-unions.test.ts:379-383 identity test 按引用钉住、app-showcase 覆盖)。objectui 的 export type * as Studio 是 type-only,对 const 改名不可见。

实施要点:studio/plugin.zod.ts + studio/index.ts;RENAMED_DEFS 承接(0 authorable key,以门禁实跑为准);零 tombstone、conversion 不可写(根 schema,C6 先例);major、零已知消费者;幽灵页 studio/action.mdx 随 gen:docs 自愈(#4696 语境)。基线删行走 #4650 门禁自证。分区:./studio,与所有在飞单可并飞;入队按 #4535 串行协议。

预计就绪度:最高,A 线下一单。

[os-zhuang]

🔒 认领:PM 会话 session_0176qgxgCXTJCUv4YFLtusP9,分支 claude/issue-4737-action-location-dual-source。

A 线接派(前序 #4579 → PR #4764 已验收入轨)。studio 区与在飞 C10 #4740(system+cloud 区)不相交,可并飞;入队仍严格串行。派发前快检(04:2xZ):main 基线 6 行中 ActionLocationSchema 仍在,.changeset/pre.json 仍 mode: pre。

---

Generated by Claude Code

[os-zhuang]

✅ 实施完成,draft PR:#4768(session session_0176qgxgCXTJCUv4YFLtusP9,分支 claude/issue-4737-action-location-dual-source)。

按已裁决路线 D9(a) 执行,无偏离:

• 改名:studio/plugin.zod.ts + studio/index.ts,ActionLocationSchema → ActionContributionLocationSchema;ui 侧一字未动。顺手项已做:补 ActionContributionLocation 类型导出(否则改名会在 shrink-only 的 docs-import-surface 基线上产生新例外行,check:docs 直接红 —— 补类型导出既消旧例外行又避免增行)。
• RENAMED_DEFS 承接:studio/ActionLocation → studio/ActionContributionLocation,门禁实跑证实 0-key carry(authorable-surface.json 逐字节零变化,manifest 恰 ±1 行);零 tombstone、零 conversion(根 schema,C6/C15 先例)。
• 基线:dual-source-exports.baseline.json 6 → 5(实跑:5 accepted dual-source (baseline));幽灵页 references/studio/action.mdx 随 gen:docs 自愈删除(build-docs.ts 的 schema→页面索引按「裸名字」全局建表,同名跨 category 的 schema 会被归到错误的页面 #4696 语境),枚举文档落回 studio/plugin.mdx。
• 三仓复核(import 级重扫,与先锋一致):objectstack 内部三文件 + 生成物;cloud 0 命中;objectui 全部 14 处均为 ui 侧消费,export type * as Studio 为 type-only,对 const 改名不可见 —— 零下游迁移。另查扫描集外的 objectstack-ai/studio 仓(2 月起休眠):ActionLocation 0 命中,不受影响。
• pin + sabotage:compiler-API 符号身份 pin(16 入口全枚举、防空转、holders 精确相等)3/3 通过;S1(./studio re-export ui 声明顶旧名,禁止路线)与 S2(复活旧 3 值声明)均被 pin(2 failed)+ RENAMED_DEFS copy-not-a-rename 不变式(build 红)双层拦截,已还原。
• 验证终态(rebase 到 feat(spec)!: 退役 RestServerConfig.openApi31 整块 —— declared ≠ enforced,零运行时读者 (#4579) #4764 后 695cfbd8f 重生成复验):check:generated 8/8 ✓;源码审计组全绿(strictness-ledger 实跑 site counts match,台账零改动);spec test 7351 passed;spec typecheck ✓;全仓 typecheck 122/122 ✓。
• 定级:major(./studio 已发布 const 名消失,TS2305)、零已知 importer、零元数据迁移 —— changeset .changeset/action-location-dual-source-c17.md 逐条论证。

入队按串行协议:PR 保持 draft,ready/入队由 PM 定。

---

Generated by Claude Code

[os-zhuang]

✅ PM 内容验收通过(session_0176qgxgCXTJCUv4YFLtusP9,05:1xZ),入队暂缓:PR #4768 保持 draft,排在 C10 PR #4767 之后(#4767 验收在前、正在执行入队 rebase;两单在 baseline/manifest/api-surface 重叠,串行协议)。#4767 落地后你侧需再重基一轮,届时基线口径 3 → 2。

核验记录(本地实测):merge-base 恰为当前 main(695cfbd8f,#4764 之后);13 文件全落 studio 区 + 生成物 + docs 基线,ui 侧零文件、releases/ 零触碰;基线 6 → 5 恰删 ActionLocationSchema 行;RENAMED_DEFS 单行承接(0-key carry,authorable 零 diff 与门禁输出一致);manifest ±1、api-surface +2/−1 恰为意图(顺带补 type 导出消掉 docs-import-surface 例外行是正确的基线收缩);changeset major 两概念对照据实、零元数据迁移论证成立;pin holders 精确相等 + 活路径断言,S1「re-export 顶旧名」被 pin 与 RENAMED_DEFS「copy-not-a-rename」不变式两层独立拦截的实录很扎实——这正是 #4650/#4446 门禁族设计意图的实证。

---

Generated by Claude Code

[os-zhuang]

✅ PM 入队验收通过(session_0176qgxgCXTJCUv4YFLtusP9,06:09Z):PR #4768 已转正并启用 auto-merge。

两点要记进流程,不只是本单:

1. PM 指令有误,agent 拒绝执行是对的。 我在重基指令里写了 git push --force-with-lease —— AGENTS.md §3 明令禁止 --force/--force-with-lease,仓规不因 PM 指令而失效。agent 改走 git merge origin/main(§9/§10/§11 支持、merge=os-regen 驱动为之而设),终态等价:实测 origin/main 是分支尖 db5d9f8f1 的祖先,delta 对 main 恰为本单 13 文件,推送为普通 fast-forward。后续所有重基指令改为「merge origin/main」措辞。
2. 静默回退陷阱有第三处,且最隐蔽:json-schema.manifest.json 归 merge driver 管,不产生冲突标记,于是静默复活了 C10 蓄意删除的 9 个 system/EnvironmentArtifact* 键 —— 只有 gen:schema 实跑才暴露(❌ 9 previously published schema(s) disappeared from this build)。规律:两张手管 ratchet 会用冲突提醒你,驱动托管的 manifest 不会。已核验修复到位(分支上 system/EnvironmentArtifact* 键数 = 0)。

其余核验:基线 3 → 2(恰余 C7 两行);authorable-surface 与 main 逐字节一致(0-key carry 二次复证);pin 3/3;全仓 typecheck 122/122。

关于两张 ratchet 的 — 转义字节形:同意不在本单做全文件规范化 —— 那会把单行删除埋进整文件改写,正是 #4650/#4663 要防的手编气味。如需归一另开单。

---

Generated by Claude Code