[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 / feat(spec): action param 的 options[] 声明逐选项 visibleWhen (#5016) #6235)。
• ⛔ 门禁 / 生成器 / lint 的机器与散文,归 domain:spec-tooling(C 包 program card:协议工具链/门禁车道(domain:spec-tooling)—— 整包移交待接收 #5163 边界);docs 手写页教约面漂移按 FormField/FormSection visibleWhen describe 宣称 runtime 表单绑定 current_user,但字段级条件规则的求值面从未绑过它——按文档写的谓词必然 fault 并 fail-open #6146 先例归 surface(widget-contract.mdx 整页 + quick-reference.mdx 一行仍在教 #5055 退役的 WidgetManifest 家族 —— 手写散文面,门禁不覆盖 #6413 分诊确认)。
• ⛔ content/docs/releases/ 恒不许碰(全仓通则)。

渲染输入判据 —— 现在有免费代理,不必再测

⚠️ 判据是「改的是不是渲染输入」,不是「改的是不是文本」。

免费代理(2026-08-09 实证):看 PR 上 Build Docs 作业是 run 还是 skipped。 run = 触达参考页(#6852 重生成 permission.mdx 两格),skipped = 不触达(#6846)。双向实证,任何 PR 一眼可读。

机制:packages/spec/scripts/build-docs.ts:186 是 if (!entry.name.endsWith('.zod.ts')) continue; —— 生成器只遍历 .zod.ts。

九类实证:

面	触达
.describe()	✅ 参考页(#6852)
registry reason	✅ upgrade-guide + spec-changes(#6495)
registry acceptanceCriteria	✅ 仅 upgrade-guide —— spec-changes.json 不含该字段(#6875 实测,grep -c = 0)
#6389 ledger 数据行	✅ 11 页
#5059 模块头	✅ 恰好 6 页(#6447)
guidance / error-map	❌ 零(#6423/#6453)
contracts/** 纯 JSDoc	❌ 零(#6463)
TSDoc @example	❌ 零(#6729 证伪)
非 .zod.ts 文件的 JSDoc	❌ 零(#6846/#6759)

卡点自报信号

1. 队列水位:连续 3 天 >15 张或平均滞留 >48h → 提频/加 batch/继续拆域;
2. 同一 references 树在飞重生成 PR >2 → 打包;
3. 分诊脉冲(单次灌入 20+)→ 一次性 sweep 专项。

运行模式:sweep-first。并发:维护者 2026-08-08 令「至少三个」,实测舒适区 4;5 dev + 1 审计会打满共享身份 REST 配额。

当前 PM(会话或 Routine ID)

🟢 In office: GitHub os-project-manager / session session_018ffcE95NaMJcL9XJ9VDYgk / takeover 2026-08-07T16:45Z。

前任:hotlong / session_01JTSZAjgtL3oR6YcpNDhW3T,2026-08-07T13:45Z → 16:40Z 注销;其三项在手由其自己跟完。

说明 — 座位现状(2026-08-09T02:2xZ 全量刷新)

在飞 0 / 队列 0

#6875(#6844)在合并队列中,已 ACCEPT + ready + arm。合入后账面 18 卡。

账面(本任期,2026-08-07T16:45Z 起)

17 卡闭环(16 PR 合入 + 1 证伪收卡)+ 1 张在队 + 14 张新单入库;0 返工;0 决策箱新增;发版板本席清零 ×2。

已闭环:#6365/#6423、#6145/#6447、#6416/#6453、#6438/#6463、#5781+#5809/#6495、#6605/#6689、#6641/#6729(v17)、#6630(#6701 part 1 + #6753 part 2)、#6628/#6759、#6631/#6789、#6619/#6804、#6696/#6846、#6698/#6852、#6758/#6847、#6756/#6854、#6413(证伪)。

待分诊供给(8,⛔ 只读跟踪,domain:* 单一生产者是分诊席)

本车道 finding:#6805(strictToolError/strictCapabilitiesError 仍在 alias-integrity 视野外;更省修法 = 把 #6804 的闭合钉放宽到「任何新手写 unrecognized_keys map」)、#6856(migrate 动词 rewrite 32 : remove 6,filer 明说未审计哪些盖在 strip 上)、#6762(using describe 在 ADR-0058 后 under-promise)。
他车道:#6855(domain:cli,NDJSON e2e flaky)、#6750、#6763、#6842、objectui#3901。

决策箱(本席相关 0;全仓 5,只列不 nag)

#6640(metadata, v17)、#6604(spec, v17)、#5617(devx)、#4585、#1825(engine-core)。

E. 实测结论(接任者直接可用)

1. 渲染输入判据 —— 见上,含免费代理。
2. 耗时基线:S 卡 ~40–65min 至 PR,M 卡 ~50–90min;判死看 93–96min 上沿。宿主 worker 重启与账号级 session limit都会整批杀 dev(后者报 You've hit your session limit · resets HH:MM);reset 后 SendMessage 原 agent 即从 transcript 复活续跑,已推送工作零损失(三只同批 + 一只二次实证)。
3. 探针回执即活性读数;中期探针无害且常促早推。
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 自跑引用面普查;拒收类最低断言 code + status。
6. 提前复核 + 翻转前置(E6):PR 一出即复核、ACCEPT 先落 issue;ready 翻转必须等 (a) 两门禁族作业 success 且 (b) dev 终报已达或确认死亡。序:先 ready 后 arm(draft 转换掉队列与 auto-merge)。
7. 被合并解锁的卡,解锁前在合并后 ref 重验文件面(E7)。
8. 编辑口径 (a):已发布 CHANGELOG 永不改写;未消费 changeset 直接改;活源散文直接改。
9. PM 供词里的数字与锚点一律标「须实测」(E9) —— 六度实证(docs(spec): correct #4610's falsified "zero importers" evidence and its uncompilable FROM → TO, forward-note the stale rc.2 areas caveat (#5781, #5809) #6495 枚举数、[finding][spec] lifecycle.storage guidance says "Rotation does not reap by age … DROPs the oldest shard whole (O(1) reclaim)" — true only on SQLite; Postgres/MySQL take the age-based rotation-fallback leg #6631 锚点、[finding][spec] position.delegatable JSDoc names a security-delegatable-admin-position lint rule that does not exist — the runtime D12 gate is the only enforcer #6628/rls.zod.ts 的 check @example status IN ('draft', 'pending') 编译不出来 —— 照抄 schema 自带示例的策略会 fail-closed 拒绝全部访问 #6641 regen 假设、[finding][spec] The dashboard.widgets[].aria tombstone sends the author to app.aria as a surviving live surface — App.aria is itself a retiredKey() tombstone removed in the same major #6756 的 dashboard.mdx 路径根本不存在、spec: the D3 ledger's resume-authority-undeclared… acceptance criteria still says "supportsPause is a declaration nothing enforces (#5703)" — the same staleness #6749 fixed in the TSDoc, one channel over #6844 的「两个通道」实为一个)。卡片正文也会错,不只是 PM 的口述。
10. 卡片文件面以读完整正文为准(E10);撞面优先拆两半派(Part of 不带 Fixes)。
11. ⛔ 门控判断只读 issue_read / git log,永不读 search_issues(E11) —— 索引可滞后 2.5h+,曾致四卡错挂 50min。搜索只用于发现。
12. 补丁轮续派原 dev(E12),SendMessage 投诊断签名 + 修法口子 + 红线(fix(spec): the RLS check clause's enumerated-values @example is CEL, and compiles (#6641) #6729 实证)。
13. changeset 判据(E13,已收口):判「这段散文有没有触达使用方」,不判「文件发不发布」。参考页 / .d.ts / parse 可达错误串,任一即算 ⇒ patch。三者皆不沾 ⇒ skip-changeset(fix(spec): stop teaching the retired ETL layer as a live retry surface in flow.zod.ts (#6630, part 2) #6753)。关键 datum:docs(spec): describeHighPrivilegeBits 的裸通配符举例换成仍带 '*' 的 viewer_readonly (#6696) #6846 的源文件不在 files glob,但 dist 在,文案经 dist/**/*.d.ts 悬停触达 ⇒ patch(先例 8ad609c69)。
14. ⚠️ 字面量 pin 检索对转义正则断言是盲的(E14) —— fix(spec): aria 墓碑不再指向同一大版本里已退休的落点 (#6756) #6854 dev 自曝:expect(msg).toMatch(/app\.aria/) 字面量搜不到,两条钉住缺陷的既有断言因此漏检,修复后才炸出来。问「这段文案有没有 pin」必须连 toMatch(/…/) 写法一起搜。docs(spec): D3 账本 resumeAuthority 一条不再要求手工排查 supportsPause 不一致 (#6844) #6875 已按此执行并明确报告。
15. 队列失败三路分诊 + 同签名只重排一次(E15) —— ①失败在本 PR 触及的包 ⇒ 真回归;②无关且他处见过 ⇒ flaky,立卡别重排;③两者皆非 ⇒ 可能同批语义冲突,重排一次。⛔ 同签名再红 = 升级,不重复重排(每次烧全队列重建)。fix(spec): wait-timeout 处方改印能真正解析的 timerDuration: '60000'（#6758） #6847 实证:重排即过,最终样本三过一失败。
16. dev 死亡时,其未竟的只读核验步骤 PM 可自行完成 —— refactor(spec): 三个手写 unrecognized_keys 错误映射折叠进 strictObject 的按集合取键 guidance（#6619） #6804 实测(消费半径清扫走 git grep 即可),E6 的「确认死亡」分支因此能提前满足,省 3.5h 空等。⛔ 边界:只读核验可代做,写代码不行。

F. 跨车道备忘

• objectui 配套:#5055 退役 spec 的 WidgetManifest / WidgetSource 后,parity tripwire 按设计打红,packages/types/src/widget.ts 的锚点注释指向不存在的名字 #6275(RuntimeXxx 命名 A/B,repo:objectui,v17)未裁。
• [finding] Gate idea: flag a retired symbol whose retirement issue number appears in SOME but not ALL of its mentions within one file — the partial-update signal that found #6630 mechanically #6635(通用「退役后散文漂移」门禁)的设计空间被 fix(spec): stop teaching the retired ETL layer as a live retry surface in flow.zod.ts (#6630, part 2) #6753 复核明确保护:⛔ 不许被一次性 readFileSync 正则提前钉死。[finding][spec] #6619's inventory of hand-written $ZodErrorMaps was two short — strictToolError and strictCapabilitiesError survive the fold, still invisible to alias-integrity.test.ts #6805 提出的「闭合钉放宽到任何新手写 map」与之相邻,不冲突。
• ServiceStatus 在 ./api 与 ./system 各有一个不同声明,#4593 的别名补齐卡在这个名字上 #6604(协议席决策箱)若裁决改 type-alias-convention.pin.test.ts,与 test(spec): put the pin file's two prose counts under the counting assertion (#6605) #6689 已落地计数形状同文件。
• ⚠️ sweep(spec-surface): 5-item description-surface truth sweep — one claim, one PR, per-item checklist review (#6085 #6081 #6137 #6065 #5676) #6243 台账更正(2026-08-09 查清):sweep 确实落地(026101660 … (#6243) (#6288)),抽查成员 expression.zod.ts 的方言表仍把 js 列为活方言(还写着用于 "mapping"),且漏了 template —— 12 行之下的枚举正好相反 #6085 = closed/completed。问题是容器卡没关,仍带 pm:queue + target:v17 ⇒ 发版板上的一条假条目,且会被队列扫描当成可派卡捞出来。已于 01:09Z 在卡上留只读观察 + 两条处置分支;⛔ 不关不重标不重指派(assignee qq9340100,非本席)。同类残留是全仓性的:已关闭的成员卡也留着 pm:queue/target:v17。
• 归档:[spec] hook.zod.ts 的 positions JSDoc 仍把 services.sharing.canEdit(…) 举为「hook 可以这么读」的正例 —— #5720 已证实 hook 拿不到 services #6001、ADR-0122 第二期:major 窗口翻转裸名为解析态语义 + XInput 去留 #6083/spec: ADR-0122 phase 2 — flip bare names to parsed semantics (#6083) #6279、把 44 个 strictUnknownKeyError 直调点批量迁到 strictObject,棘轮降到 0(路线 1 消不掉手抄数组与 shape 的漂移) #5593、ADR-0117 D1 声明面:ownership 枚举扩展 'business_unit'(须与列注入同 PR 或严格后置) #5678。

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

• 直连 api.github.com 返回 403 —— GitHub 仅 MCP 可达;靠写后回读。
• 会话内开出的 PR 自动带 webhook;其余看护走 send_later 定点。⚠️ 已删除/过期的定时器仍会投递,每枪文本必以幂等头开头,且必须 date -u 取准时间 —— 心跳文本曾偏差数小时。
• 共享身份让 actor 字段失去区分度 —— PR 状态类动作靠评论留痕自证。
• 宿主 worker 会不定期重启;定时器在服务端存活。
• 共享身份 REST 配额会打满(实测水位 5 dev + 1 审计)。git 协议读数(git log / ls-remote)不吃 REST 配额 —— 配额紧张时一律用它。
• 本地检出 shallow —— 先 git fetch origin main --deepen=100。Bash cwd 每次重置 —— 一律 git -C。
• ⚠️ GitHub sanitizer 吞裸尖括号;MCP 读 issue 正文可能截断 —— 派发令要求 dev 直接在 GitHub 上读全文。
• list_issues 多标签过滤是 OR;issue_write 的 labels 整组替换(先读现值合并再写)。⚠️ pm:queue 与 pm:dispatched 会因 dev 认领时的整组回写并存 —— 派发后与收卡后各回读一次清残留。
• ⚠️ issue_read get_labels 不解析 PR 号(GraphQL 只认 issue);PR 标签写用 issue_write 可行(REST 视 PR 为 issue)。功能性回读:补打 skip-changeset 后 rerun_failed_jobs,门禁转绿即证明标签生效(fix(ci): Check Changeset 实时读 skip-changeset 标签,首个 run 不再永久红 (#5580) #5625 门禁读实时标签)。
• ⚠️ TEST_DEBT 棘轮([finding] DEBT ledger counts in check-type-check-coverage.mjs drift silently — @objectstack/metadata-protocol records 28, actually reports 63 #5278)重测会掀掉包自身 tsconfig 的 *.test.ts exclude —— 文件可对 pnpm typecheck 完全隐形却照样顶棘轮;CommonJS 目标包里每个 import.meta 恒定两个 raw error(TS1470+TS2339,fix(spec): the RLS check clause's enumerated-values @example is CEL, and compiles (#6641) #6729 实证)。⚠️ packages/spec 已于 @ts-expect-error 退役 pin 在 packages/spec 里是幽灵检查:tsconfig 把 **/*.test.ts 排除出唯一的 tsc --noEmit #5286 从 TEST_DEBT 毕业,改用按文件的 test-typecheck-debt.json(由 check:test-typecheck 校验)—— spec 侧加测试动不了 TEST_DEBT 数字,跨包加测试会(fix(spec): wait-timeout 处方改印能真正解析的 timerDuration: '60000'（#6758） #6847 实测)。--re-measure 需要先建全闭包,首次拒绝是已知假红。
• ⚠️ fresh worktree 未构建依赖假红:Failed to resolve entry for package @objectstack/… 与 check:api-surface 的「stale」 —— 先 pnpm --filter '<pkg>^...' build 再判(三次实证)。
• ⚠️ 合并队列会在无失败签名时把 PR 弹出(fix(spec): stop teaching the retired ETL layer as a live retry surface (#6630, part 1) #6701)—— 判为队列重建过渡,重 arm 一次并设升级检查点。有失败签名的走 E15。
• ⚠️ skip-changeset 不会自动打 —— 曾有 dev 报称自动化,已用 check-run 时间戳证伪。

[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