Repository navigation
spec 双源清账 C4:Session / SessionSchema(./api ≠ ./identity)—— 2 条 #4641
Description
Activity
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
- 判源成立:
- added a commit that references this issue
on Oct 7, 2026
#4535 C 组第四簇(C4)。同一个名字在两个入口解析到不同声明,消费者拿到哪个类型只取决于 import 路径(#4411 陷阱)。合并后
packages/spec/dual-source-exports.baseline.json恰好 24 → 22(删除下列 2 行,只减不增):处置手册(#4411 先例;#4535 正文有完整版)
cloud+objectui),裸名从哪个入口被真实 import、有没有 runtime 读取(接进父 schema / 校验路径 / 会话签发与校验 / REST 响应)。不要用名字出现次数。./identity侧大概率是认证域的会话记录(登录态、过期、设备),./api侧可能是 REST 会话响应体。若两侧都活,优先收敛 + re-export(MetadataManagerConfig模式);若确属两个概念,按 C1 的OpenApiWebhookEvent先例改名一侧,命名可争议时报needs_decision。验收
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 处理@objectstack/specmajor,写明 FROM→TO 导出面变化content/docs/releases/关联:#4535(主账本)、#4610 → PR #4638(C3 先例)、#4587 → PR #4603(C2)、#4572 → PR #4581(C1)、ADR-0049