spec 双源清账 C4:Session / SessionSchema(./api ≠ ./identity)—— 2 条

[os-zhuang]

#4535 C 组第四簇(C4)。同一个名字在两个入口解析到不同声明,消费者拿到哪个类型只取决于 import 路径(#4411 陷阱)。合并后 packages/spec/dual-source-exports.baseline.json 恰好 24 → 22(删除下列 2 行,只减不增):

Session — [./api (type)] ≠ [./identity (type)]
SessionSchema — [./api (const)] ≠ [./identity (const)]

处置手册(#4411 先例;#4535 正文有完整版)

1. 先判真源:import 语句级扫描三仓(本仓 + cloud + objectui),裸名从哪个入口被真实 import、有没有 runtime 读取(接进父 schema / 校验路径 / 会话签发与校验 / REST 响应)。不要用名字出现次数。
   • 提示:会话是跨层概念 —— ./identity 侧大概率是认证域的会话记录(登录态、过期、设备),./api 侧可能是 REST 会话响应体。若两侧都活,优先收敛 + re-export(MetadataManagerConfig 模式);若确属两个概念,按 C1 的 OpenApiWebhookEvent 先例改名一侧,命名可争议时报 needs_decision。
2. 零消费方一侧 ⇒ 死删(v17 rc 是 major 窗口)。
3. 收敛 ≠ 无行为变化:存活形状比被删侧窄/宽时,在 changeset 里写清消费方类型如何变。
4. 导出类型,非可作者化 metadata key,一般不需要 tombstone / ADR-0087。

验收

• 基线恰好 −2(24 → 22),check:dual-source-exports 绿(stale 分支点名的行即删行凭证)
• 务必跑全 packages/spec 的源码审计,不止 check:generated:check:liveness、check:strictness-ledger、check:empty-state、check:variant-docs、check:exported-any、check:skill-examples。C3(feat(spec)!: 双源 C3 收敛 — 通知语汇归 ./api,./ui 与 ./system 侧死删 (#4610) #4638)就是栽在 check:strictness-ledger 上 —— 删掉 zod 形状会让 docs/audits/2026-07-unknown-key-strictness-ledger.md 里该文件的站点数与章节总计过期,必须同步更新
• 若涉及导出名增删,build-docs 的 import-surface 基线(fix(#4570): reference 页的 import 示例改由真实导出面生成,并加只减不增的棘轮兜底 #4595 ratchet)按 shrink-only 处理
• changeset:@objectstack/spec major,写明 FROM→TO 导出面变化
• ⛔ 不碰 content/docs/releases/
• 回归 pin:编译期条件类型优先(C1 先例,不吃 vitest 超时)

关联:#4535(主账本)、#4610 → PR #4638(C3 先例)、#4587 → PR #4603(C2)、#4572 → PR #4581(C1)、ADR-0049

[os-zhuang]

ACCEPT —— PR #4643。

PM 独立复核(不依赖 agent 自述):

• 判源成立:./identity 的 Session / SessionSchema 在 framework + cloud + objectui 三仓 零 import 站点;./api 侧是活合同 —— api/auth.zod.ts:42 声明,:83 接进 SessionResponseSchema(/get-session、/me、/refresh 的响应体)。
• 「已漂移」的证据核实过:被强制执行的 sys_session 平台对象列名实测为 token / expires_at / active_organization_id,没有 session_token、expires、fingerprint —— 与 ./api 一致,与 ./identity 声称的形状不一致。死删判定站得住,且这正是 ADR-0049 要清的 declared-but-unenforced。
• 范围干净:12 个文件,spec 源码 + 生成的 reference docs + 三个 surface/manifest + 基线 + 台账 + changeset;content/docs/releases/ 零改动。
• 基线恰好 −2(24 → 22),两行 Session* 全清。
• 严格性台账已同步(identity/ 粗粒度行 34 → 33)—— C3 的教训已生效。

范围外发现 #4642 值得单独说:agent 实测发现手册推荐的「编译期条件类型 pin」在 packages/spec 里不可能失败 —— tsconfig.json 的 exclude 含 **/*.test.ts(实测确认),且 vitest.config.ts 未开 typecheck.enabled,两条路径都不做类型检查;它还用 sabotage 验证了这一点。这意味着 #4581 / #4638 已落地的 pin 是装饰性的。本 PR 没有跟着写一个假门禁,改用运行时模块命名空间断言(sabotage 下确实红)。这个发现比本簇的清账本身更有价值,已按军规立案(unassigned),本 PR 不修。

已转正并开启 auto-merge(squash),CI 绿后自动进队。

---

Generated by Claude Code