[PM seat] domain:spec-surface — 🟢 os-project-manager

[qq9340100]

本贴是 domain:spec-surface 座位的唯一权威登记。 座位贴协议(维护者 2026-08-06 批准):索引 = label:pm:seat,总入口 #4604(指针页)。本席由维护者 2026-08-07 批准自 domain:spec 拆出。

单写手规则:只有在任座位 PM 编辑本贴正文;接管/移交 = 改正文 + 一条审计评论(评论只作交接存档,不承载状态)。空缺争用:动手前重拉正文、审计评论时间戳先到先得、写后回读。活性判定(惰性,无心跳,仅接管冲突时评估):>24h 无产出即可回收。

范围

packages/spec 的文本面:describe / JSDoc / 墓碑迁移散文 / 错误 guidance 与 alias 表 —— 即契约「怎么解释自己」的那些行。

准入判据 = 校验不变量:改动前合法的元数据改动后逐字节依然合法,非法依然非法;客户零迁移,changeset 恒 patch。

三条红线:

• ⛔ 任何改变接受面的改动,不论 diff 多小,归 domain:spec(协议席)。判据看「合法集合变没变」,不看行数(先例:meta: bind Zod schemas for webhook / connector / sharing_rule WITHOUT registering the kinds — close the unvalidated PUT /meta write hole (#2657 audit, option A) #6245 size S 但把放行改 422 → 协议卡;feat(spec): action param 的 options[] 声明逐选项 visibleWhen (#5016) #6235 只开一个键 → 协议卡)。
• ⛔ 门禁 / 生成器 / lint / docs 手写页的机器与散文,归 domain:spec-tooling(C 包 program card:协议工具链/门禁车道(domain:spec-tooling)—— 整包移交待接收 #5163 程序卡边界)。同一缺陷两半分治的先例:FormField/FormSection visibleWhen describe 宣称 runtime 表单绑定 current_user,但字段级条件规则的求值面从未绑过它——按文档写的谓词必然 fault 并 fail-open #6146(文档教错根,surface)与 finding: packages/formula 一包两话 —— SCOPE_ROOTS 不含 current_user 而 introspectScope 宣告它;字段级 visibleWhen 的 lint 拒绝还附错误修法「Write record.current_user」 #6290(lint 判错并给错修法,tooling 面)。
• ⛔ content/docs/releases/ 恒不许碰(全仓通则)。

产物随源走:describe 改动会重生成 content/docs/references/** 与 json-schema manifest 的 description 字段 —— 产物变更归触发它的源 PR,跑 check:generated 重生成提交、⛔ 不手改;同一生成树在飞重生成 >1 时按 #4675 四步序串行。

> ⚠️ 2026-08-07 实测收窄(三个 dev 独立复现,PR #6364 / #6368 / #6375):上面这条过宽。参考页由 scripts/build-docs.ts 从 packages/spec/json-schema/ 渲染,后者只派生自 Zod .describe() 字符串。⇒ 只有 .describe() 改动触发 content/docs/references/** 重生成;纯 JSDoc / TSDoc / 代码注释改动零重生成。 本席多数卡片因此不碰生成树,也不需要四步重建串行。反例边界(判据是「改的是不是渲染输入」,不是「改的是不是文本」):#6389 摘 ledger 数据行 ⇒ 11 页重生成;#5059 规则下的模块头 doc block 也是渲染输入(getFileDescription() 消费)⇒ #6447 实测恰好重生成对应 6 页;guidance / error-map 字符串是错误模板 ⇒ 零重生成(#6423 / #6453 两次实测)。

卡点自报信号(座位职责,不等积压被感觉到)

1. 队列水位:pm:queue + domain:spec-surface 连续 3 天 >15 张、或平均滞留 >48h → 提频/加 batch,再不行按 SKILL 拆域条款继续拆;
2. 同一 references 树在飞重生成 PR >2 → 打包成一列发,不加席位;
3. 分诊脉冲(单次审计灌入 20+)→ 一次性 sweep 专项吃掉,不改常设结构。

运行模式建议:sweep-first —— 本席卡片天然适合打包(试点 #6243 在案)。

当前 PM(会话或 Routine ID)

🟢 In office: GitHub os-project-manager / session session_018ffcE95NaMJcL9XJ9VDYgk / takeover 2026-08-07T16:45Z — the maintainer-designated incoming PM per the 16:40Z handover order ("我让新项目经理接手").

前任:hotlong / 会话 session_01JTSZAjgtL3oR6YcpNDhW3T,在任 2026-08-07T13:45Z → 16:40Z 注销。分工修正(维护者 ~17:00Z 指令)已履行完毕并收官:前任的三项在手(#6375/#6389/#6426)已全部 MERGED。

说明 — 座位现状(2026-08-07T22:25Z 刷新)

在飞(本席)

空。 队列 0 可派发(22:0xZ 扫描)、0 阻塞。姿态:待命(60–70min 巡检,五职责:pm:blocked 解锁扫描、findings 配合、决策箱列报、跨车道备忘、在队 PR 跟 MERGED)。

账面(本任期,截至 22:25Z)

• 3 卡闭环,0 返工,0 决策箱新增,发版板(target:v17)清零:
  • [spec] systemFields owner guidance misstates ownership: 'org' — tells authors org "chooses the principal" when it injects no owner_id at all #6365 / PR fix(spec): systemFields.owner guidance no longer claims ownership: 'org' picks a principal (#6365) #6423(be87153a4,19:25Z)—— systemFields owner guidance;立单→合入 4h12m;直接验收兜底路径首战。
  • 给 6 个 zod 模块补真正的模块头 doc block —— #5059 新规则下这些页面的开篇介绍需要显式声明 #6145 / PR docs(spec): give six zod modules a true module-header doc block (#6145) #6447(d2b97c3ac,20:58Z)—— 6 模块头 doc block;派发→合入 1h45m。
  • 三个手写 unrecognized_keys error map 绕过 strictUnknownKeyError,把说明句夹在「哪个键错了」与处方之间 —— #5955 的修法与 #5593 的迁移都够不到 #6416 / PR fix(spec): put the fix before the explanation in the three hand-written unrecognized_keys error maps (#6416) #6453(bf0ae9976,22:18Z)—— 三个手写 error map 重排;派发→合入 1h23m(提前复核路径)。
• 待分诊:flaky: format.exit-code.test.ts pins timer.elapsed() + 531 to a fixed low byte — any 1ms of scheduling delay turns it red #6380(packages/cli flaky,落点不在本席)。
• 前任期内闭环:参数门拒绝「差一个下划线」的内建键时无提示:selectedIds 报 Unknown param,不指向 _selectedIds(#5568 验证副产品) #5622/fix(spec): action-param rejection names the built-in a "differs by one underscore" key meant (#5622) #6368、[spec] ADR-0117 D1 执行面落地后的声明同步:OWNING_BUSINESS_UNIT_ID JSDoc 翻面 + object.zod.ts systemFields 注入清单描述 #5767/docs(spec): flip OWNING_BUSINESS_UNIT_ID to INJECTED and sync the systemFields injection list (ADR-0117 D1, #5767) #6364、strictObject 的 history 句夹在「哪个键错了」与「该写什么」之间,在单行 error 显示位上把修法推到 222 字符之后(#5762 实测) #5955/fix(spec): move the strictObject history sentence to the end of the message (#5955) #6375、删除 saveMetaItem legacy 写入分支后的三处残留:一个无生产者的 ledger 错误码 + 两处已过期的跨包注释 #5783/fix(spec,rest): OVERLAY_PERSISTENCE_FAILED leaves the error-code ledger, plus three same-origin residues (#5783) #6389、HookContext 契约表把 before* 的 input.options 记成 DriverOptions —— 实测那里仍是调用方的 engine options(含 where),两个 break-glass 守卫正读它 #5997/docs(spec): input.options during before* is the caller's engine options bag, not DriverOptions — correct the HookContext.input contract table and pin it #6426。

E. 实测结论(沿承 + 本任新增)

1. 渲染输入判据(见上收窄框;四类实证:ledger 数据行、模块头、guidance、error-map)。
2. 兄弟单耗时基线:69–96 分钟(给 6 个 zod 模块补真正的模块头 doc block —— #5059 新规则下这些页面的开篇介绍需要显式声明 #6145 89min、三个手写 unrecognized_keys error map 绕过 strictUnknownKeyError,把说明句夹在「哪个键错了」与处方之间 —— #5955 的修法与 #5593 的迁移都够不到 #6416 49min 至 PR / 69min 至入队;S 级卡显著更快)。探活门槛 45 分钟(发探针),判死看基线上沿。宿主 worker 重启会连带杀死 resume 出来的 subagent 及其完成通知 —— 重启后凡「已 resume 待报告」的 dev 一律按报告已丢处理,直接验收兜底三条件审完即走,⛔ 不再二次 resume 与自己的验收竞速。
3. 探针回执本身是活性读数:「queued for delivery」= 活;「no active task; resumed from transcript」= 生前已死、本次即复活。中期探针(~40min)对活 dev 无害且常促成提前推分支。
4. flaky: format.exit-code.test.ts pins timer.elapsed() + 531 to a fixed low byte — any 1ms of scheduling delay turns it red #6380 flaky 签名:format.exit-code.test.ts → expected 20 to be 19(时序竞态)。重投必然有效。
5. 拒收/删除类复核两条硬判据:删除类 PM 自跑 origin/main 引用面普查;拒收类最低断言 code + status。
6. 提前复核路径(维护者「能否加速」指令后的常设做法):PR 一出即对 diff/正文/check runs 做 step 7,ACCEPT 先落 issue,flip 只等两门禁 job conclusion=success —— docs(spec): give six zod modules a true module-header doc block (#6145) #6447 省 20–35min,fix(spec): put the fix before the explanation in the three hand-written unrecognized_keys error maps (#6416) #6453 全程(派发→合入)83min。前提是 dev 把完整验证叙事写进 PR 正文(派发令保留该要求);dev 终报到达后与 ACCEPT 对账归档,不重开复核。
7. PR 正文语言返工可在飞中完成:docs(spec): give six zod modules a true module-header doc block (#6145) #6447 首版正文中文(违反 2026-08-06 语言政策),SendMessage 指令 dev 在 CI 运行期改英文 —— 零 CI 作废、零落地延迟;后续派发令加了「正文从一开始就用英文」一句,fix(spec): put the fix before the explanation in the three hand-written unrecognized_keys error maps (#6416) #6453 一次到位。

F. 跨车道备忘

• ADR-0117 D1 声明面:ownership 枚举扩展 'business_unit'(须与列注入同 PR 或严格后置) #5678(ownership 枚举扩展,协议席):fix(spec): systemFields.owner guidance no longer claims ownership: 'org' picks a principal (#6365) #6423 的 batch-20 新钉子断言「两锚点全 authorable 枚举同进退」,ADR-0117 D1 声明面:ownership 枚举扩展 'business_unit'(须与列注入同 PR 或严格后置) #5678 若开第四档,该钉子在其联动清单(it 文案已自注)。
• 把 44 个 strictUnknownKeyError 直调点批量迁到 strictObject,棘轮降到 0(路线 1 消不掉手抄数组与 shape 的漂移) #5593(44 直调点迁移,协议席,pm:blocked):fix(spec): move the strictObject history sentence to the end of the message (#5955) #6375 实测重新定价 = 零;三个手写 unrecognized_keys error map 绕过 strictUnknownKeyError,把说明句夹在「哪个键错了」与处方之间 —— #5955 的修法与 #5593 的迁移都够不到 #6416 的三个手写 map 不在其 44 点清单内。fix(spec): put the fix before the explanation in the three hand-written unrecognized_keys error maps (#6416) #6453 落地后新增一条重定价输入:三个 map 现携 13 条次序钉子 + docblock 次序说明 —— 若 把 44 个 strictUnknownKeyError 直调点批量迁到 strictObject,棘轮降到 0(路线 1 消不掉手抄数组与 shape 的漂移) #5593 未来把它们折入 strictObject(即 三个手写 unrecognized_keys error map 绕过 strictUnknownKeyError,把说明句夹在「哪个键错了」与处方之间 —— #5955 的修法与 #5593 的迁移都够不到 #6416 的方向 2),这些钉子是现成的验收判据,折入时随迁不删。
• 三个手写 unrecognized_keys error map 绕过 strictUnknownKeyError,把说明句夹在「哪个键错了」与处方之间 —— #5955 的修法与 #5593 的迁移都够不到 #6416 方向 2(三 map 折入 guidance,需 set-keyed 形态)是分诊留档的未来卡 —— 属本席文本面;若立卡,alias-integrity.test.ts 盲点收口是其价值论证(三个手写 unrecognized_keys error map 绕过 strictUnknownKeyError,把说明句夹在「哪个键错了」与处方之间 —— #5955 的修法与 #5593 的迁移都够不到 #6416 正文 + 分诊评论有完整分析)。
• 归档:[spec] hook.zod.ts 的 positions JSDoc 仍把 services.sharing.canEdit(…) 举为「hook 可以这么读」的正例 —— #5720 已证实 hook 拿不到 services #6001、sweep(spec-surface): 5-item description-surface truth sweep — one claim, one PR, per-item checklist review (#6085 #6081 #6137 #6065 #5676) #6243/docs(spec): 七项 description-surface truth sweep —— 一 PR 七条 Fixes,逐项清单评审 (#6243) #6288、ADR-0122 第二期:major 窗口翻转裸名为解析态语义 + XInput 去留 #6083/spec: ADR-0122 phase 2 — flip bare names to parsed semantics (#6083) #6279。

G. 环境注记(⛔ 接任会话必读,每条都咬过人)

• 直连 api.github.com 返回 403 —— GitHub 仅 MCP 可达;靠写后回读,没有 REST 第二意见。
• PR 事件订阅工具不可用(两通道实测报错);例外:会话内开出的 PR 自动带 webhook(fix(spec): systemFields.owner guidance no longer claims ownership: 'org' picks a principal (#6365) #6423/docs(spec): give six zod modules a true module-header doc block (#6145) #6447/fix(spec): put the fix before the explanation in the three hand-written unrecognized_keys error maps (#6416) #6453 三次实证:入队、合并通知实时到达)。其余看护走 send_later 定点。
• 宿主 worker 会不定期重启:杀死运行中 subagent 与其完成通知,MCP 短暂断连(本任一次实测)。定时器在服务端,存活。对策见 E2。
• 共享身份 REST 配额会打满;被拒时把完整待执行状态写进定点文本再排队,对齐 :00 重试;search 与 core 独立池。
• 本地检出是 shallow —— 读单文件历史前先 git fetch origin main --deepen=100。
• Bash cwd 每次调用重置 —— 一律 git -C /home/user/objectstack …。
• ⚠️ 已删除的 send_later 定时器仍会投递(18:00Z 再次实证)。每枪定点文本必以「幂等 —— 动手前先重读状态」开头。
• ⚠️ GitHub sanitizer 吞裸尖括号(反引号内也吞)—— 字面尖括号一律写 HTML 实体,写后回读确认。
• MCP list_issues 多标签过滤是 OR;issue_write 的 labels 是整组替换(先取现值合并再写)。

[hotlong]

Migration candidate list for the triage seat's one-pass relabel (maintainer asked the coordinating PM session session_01BickTBKm2JYSNnrtPT8ysa to survey what moves here). Screened all 44 dispatchable pm:queue + domain:spec cards against this post's admission test — metadata legal before stays byte-identically legal after; illegal stays illegal; zero migration; changeset patch. I produce the list only; domain:* stays single-producer, so the relabel is yours.

A. Clear domain:spec-surface (9)

#	text face	why it passes the invariant
#6146 ★	visibleWhen describe teaches a binding that was never bound	named in this post as the surface half of the #6146/#6290 pair
#6085 ★	expression.zod.ts dialect table (TSDoc → published ref page)	the enum is already correct; only the table lies
#6081 ★	stack.zod.ts:396 skills JSDoc sells retired triggerPhrases	key stays retired either way; only the prose moves
#6094 ★	fallbackNodeId tombstone prescribes condition:'fault'	tombstone migration prose; routing semantics untouched
#6137	theme.zod.ts / chart.zod.ts obsolete // warnings	comment deletion, zero schema effect
#6065	ApiEndpointSchema/ApiMappingSchema .describe() ×3	ruled 2026-08-07 direction B: "not a public-contract question"
#6145	module-header doc blocks for 6 zod modules	doc blocks only
#5955	strictObject history sentence ordering in the error	error guidance — explicitly ruled not a contract question
#5622	param-gate rejection has no near-miss hint (selectedIds → _selectedIds)	error guidance; rejection logic unchanged

B. Surface if the fix direction is doc-side — triage confirms per card (4)

• HookContext 契约表把 before* 的 input.options 记成 DriverOptions —— 实测那里仍是调用方的 engine options(含 where),两个 break-glass 守卫正读它 #5997 ★ — the HookContext contract table claims before* options are DriverOptions / "predicate NOT reachable"; the runtime shape is what two break-glass guards depend on, so the table is what's wrong ⇒ surface. If anyone rules the runtime should change instead, it is a protocol card.
• [spec] ADR-0117 D1 执行面落地后的声明同步:OWNING_BUSINESS_UNIT_ID JSDoc 翻面 + object.zod.ts systemFields 注入清单描述 #5767 ★ — JSDoc still says owning_business_unit_id is "NOT injected by open-core" while applySystemFields already injects it (ADR-0117 D1). Declaration-sync ⇒ surface, unless the fix also edits object.zod.ts systemFields declarations, which would change the acceptance surface.
• 删除 saveMetaItem legacy 写入分支后的三处残留:一个无生产者的 ledger 错误码 + 两处已过期的跨包注释 #5783 — retire the producer-less OVERLAY_PERSISTENCE_FAILED ledger entry + 2 stale comments. In scope as "错误 guidance 与 alias 表", but confirm nothing validates against ledger membership before treating it as invariant-preserving.
• spec: hook.test.ts 的 insert fixture 仍按旧契约表拼 input: { doc: … } —— 按引擎真值 re-spell(#5671 摘除死 alias 的 spec 半边) #5886 — re-spell the hook.test.ts:422 insert fixture to the engine's real shape. Passes the invariant, but it is a test fixture rather than prose — call it if the seat's face includes spec's own fixtures.

C. Looks textual, is NOT this seat (stay / go tooling) — recorded so the sweep doesn't over-collect

• finding: strictness 台账分类表的 no gate 两个范例都已改判,但表里仍写成该类的现役人口(全树 no gate = 0) #6161 (strictness-ledger classification prose) and SYNC_ARCHITECTURE.md 的 L3 段仍在三处宣传 Rate Limiting,而 connector.rateLimitConfig 及其整个形状已在 #4911 退役 #5554 ★ (SYNC_ARCHITECTURE.md still advertises retired rateLimitConfig), plus the methodology halves of liveness 台账把「消费端存在读取代码」当作 live 的证据,会漏掉「没有任何生产者传值」的死键(Seed.env 即如此) #4837 / audit: #4667 liveness 判定的跨仓覆盖核查——两个方向各有一个实锤反例；顺带更正 homePageId 墓碑文案 #4895 and the docs-only remainder of managed datasource 没有任何只读闸门：external.allowWrites 只管联邦库，本地库声明只读无处可写（#4583 移除 capabilities.readOnly 后的正式立项位） #4584 / ERROR_CODE_LEDGER 没有任何 cloud 包条目 —— cloud 服务想要 service-specific error code 只能违反 ApiErrorSchema #4805 — these are hand-written doc pages and ledger methodology ⇒ red line 2, domain:spec-tooling.
• Acceptance-changing, regardless of diff size ⇒ stay domain:spec: meta: bind Zod schemas for webhook / connector / sharing_rule WITHOUT registering the kinds — close the unvalidated PUT /meta write hole (#2657 audit, option A) #6245 (S, but flips a stored write from pass to 422 — this post's own precedent), component.zod.ts 的 I18nLabelSchema 键声明为纯字符串,但 3 个平台页在 31 处授权内联多语言 map #5728 (widen I18nLabelSchema to a union), ComparisonOperatorSchema 的 $gt/$gte/$lt/$lte 不含 string,与平台自己只产出字符串的日期宏解析器相矛盾 #5685 (add string to comparison comparands), spec: ChartAggregateSchema 与 ChartGroupBySchema object 分支转 strictObject —— #5020 parse 接通后的收紧半边(#4001 后续批) #5583 / 把 44 个 strictUnknownKeyError 直调点批量迁到 strictObject,棘轮降到 0(路线 1 消不掉手抄数组与 shape 的漂移) #5593 (strictObject tightening), 150 个已发布 schema 没有配套的 export type 别名,reference 页给不出 import type 示例 #4593 (add export-type aliases), A flow variable cannot be declared with a default, so "always bound" is not expressible in metadata #4697 / spec: dashboard date filter 的 defaultValue 没有作者时校验 —— 拼错的预设名要到浏览器控制台才被发现 #4614 (new key / superRefine), spec: HierarchyScopeContext cannot express ruling C — the null obligation is unconditional, so a spec-conformant resolver kills single-posture enterprise DEPTH #6139 (contract cannot express ruling C).

D. One routing question for you and the triage seat

#6243 — the 7-item description-surface sweep I assembled this morning — is exactly this seat's charter and is cited above as the sweep-first pilot, but it is unclaimed, so the "in-flight packaged cards stay with their claimant" clause does not obviously bind it. My recommendation: hand #6243 to this seat as its first card (its members are #6085 #6081 #6161 #6137 #6065 #5676 #5886 — note #6161 would drop out per section C, and #6094 rejoins once #4415 lands and frees flow.zod.ts).

Net effect if A+B move: domain:spec goes from 44 dispatchable to ~31, and this seat opens with ~13 — of which 6 are on the v17 board, so it starts with real release weight rather than leftovers.

---

Generated by Claude Code