Repository navigation
[spec] 退役 HookContext session.roles —— #4839 双删后零消费方零生产方(ADR-0049) #5050
Description
Activity
认领:spec 车道恢复后第 1 批(batch:2)
会话:session_018fxLGQdatPbBUvCgiVxg6D
分支:claude/issue-5050-retire-session-roles
Worktree:objectstack-issue-5050
域:domain:spec
文件面:packages/spec/src/data/hook.zod.ts、packages/spec/src/conversions/**(墓碑/条目)、生成物全套(spec-changes / authorable-surface / 台账 / references docs)、pin 测试。前置
Blocked-by: #5049已核实满足(PR #5049 于 08-04 01:34 MERGED)。墓碑文案按 issue 要求写「declared, read by two dead exemption branches (removed in #5049), never produced」;跨仓消费方核查(objectui / cloud)照 #4895 双向做。注:#5478 已让 spec 测试层进 tsc —— 新写的类型层 pin 现在是真的会被求值的,按新现实写。
Generated by Claude Code
验收通过(spec 车道 PM,
session_018fxLGQdatPbBUvCgiVxg6D,2026-08-05)—— PR #5621,ADR-0049 退役按 playbook 全套落地。- 前提复核带双方向阳性对照(cloud/objectui 零命中 + 同轮反查阳性,audit: #4667 liveness 判定的跨仓覆盖核查——两个方向各有一个实锤反例；顺带更正 homePageId 墓碑文案 #4895/[移交自 objectui · v17 阻塞]
app.homePageId退役墓碑写着「no shell ever read it」,但 objectui 的 AppContent 正在读它 #4865 纪律),零生产方结论口径收窄为「无任何东西喂给 HookContext」并显式点名 runtime 侧buildActionSession邻居——未来不会被 action ctx 的roles误证伪。 - 路线:
retiredKey()墓碑(HookContext 刻意非 strict,直接删=静默 strip);ADR-0087 走 SemanticMigration 而非 conversion(运行时现建、从不落库、无源可改,三判例同形)——PM 初审已认可,否决窗口开放。 - 5 条 pin 双通道(parse + tsc)反向自证方向预测准确;「墓碑≠变 strict」单独钉住;四张 ratchet 零变化为内联嵌套键收窄的正常读数,liveness 台账无涉——判读全部给了依据。
- 真发现:文档渲染器把墓碑渲染成
any([docs-gen] 生成的 reference 把retiredKey()墓碑渲染成any—— 嵌套两层时连[REMOVED]处方都没有,退役键读起来像自由槽 #5606,当下已伤 theme.mdx),本 PR 置底绕开并注明是绕开非修好。 - 范围外三单齐备:[spec] HookContext.session 少声明了
positions/preserveAudit—— 引擎在生产、消费方在读、文档在教,契约里没有(#5050 的镜像方向) #5605(session 缺positions/preserveAudit声明,镜像方向,待裁定)、[docs-gen] 生成的 reference 把retiredKey()墓碑渲染成any—— 嵌套两层时连[REMOVED]处方都没有,退役键读起来像自由槽 #5606、[runtime] action body 的ctx.session仍在生产roles(值是ec.positions)—— 自称「mirroring hook ctx.session」,而 hook 侧该键已按 ADR-0049 退役 #5613(action ctx 把 ADR-0090 D3 禁的拼法翻译回来,安全词汇,待裁定)。 - major changeset(v17 退役窗口);spec 全量 8015 绿 + 9/9 审计闸门 + check:generated 10/10。
落地暂缓等 #5604 修复后合 main 重跑 → ready → auto-merge。
Generated by Claude Code
- 前提复核带双方向阳性对照(cloud/objectui 零命中 + 同轮反查阳性,audit: #4667 liveness 判定的跨仓覆盖核查——两个方向各有一个实锤反例；顺带更正 homePageId 墓碑文案 #4895/[移交自 objectui · v17 阻塞]
背景
#4839(PR #5049,维护者裁定方案 3)删除了
session.roles的最后两个消费方(plugin-approvals 的记录锁与 delegation 守卫的 admin 豁免)。该 PR 合并后,spec 的 HookContext session 里roles: z.array(z.string()).optional()(packages/spec/src/data/hook.zod.ts)将零消费方、零生产方(buildSession()从不填充,全仓无写入点 —— #4839 正文有完整 grep 证据)。任务
按 ADR-0049 enforce-or-remove 退役该键:tombstone 文案注意 —— 不能写「no consumer ever read it」,历史上 plugin-approvals 读过(死读),准确表述是「declared, read by two dead exemption branches (removed in #5049), never produced」。ADR-0087 conversion / 生成物 / 表单 / docs / pin 测试按 spec-property-retirement playbook 走全。
session.roles)。Blocked-by: objectstack-ai/objectstack#5049(合并前不动手)来源:#4839 裁定评论;发现:#4775 实现过程。
Generated by Claude Code