skills: 说明书与实现脱节的卡默认改文档,不进决策箱 —— 维护者 2026-09-09 裁定(objectui#8318),写入 pm-dispatch 的分诊与决策箱入箱判据

[huangyiirene]

由项目总监席立卡(summon #18,session_017Js5kTpTtxieBjPyScgxJ3,2026-09-09),执行维护者对 objectui#8318 的裁定中「写入技能」的那一半。skills 车道;本席 ⛔ 不写技能文本、⛔ 不派发。

维护者原话(总监席现场对话,2026-09-09,答批 #104 第 4 张 objectui#8318「结构性(说明书与实现脱节)」)

所有这种文档错的都应该改文档,没有什么好决裁的,这个应该写入技能。

要落的原则(措辞归 skills 席四维之后定,⛔ 本卡不替它写)

说明书类文本(JSDoc @default、README、参考文档、docblock)与实现不一致,而实现行为本身没有被裁为错 ⇒ 缺陷在文档,修文档,走 pm:queue,⛔ 不立 needs-user-decision、⛔ 不呈报决策箱。分诊席与派发席按此判,总监席在决策箱入口按此退回。

两条已有裁决给出边界,skills 席措辞时一并读

• objectui#8318(本裁定):41 个去默认值的键复测后,2 个 loading 键的 @default true 是 07-13 批量 JSDoc 复制 zod 旧默认值的产物,实际默认 false;7 个键的 @default 没有任何渲染器读。裁:改标签(A1 + B1),⛔ 不在这张卡上退役键、⛔ 不改组件行为。键本身该不该存在归 ADR-0049 liveness 工作簿(objectui#4631、[finding] ADR-0002's "already discarded in v3.4's ADR-0001" points at a document this repo never contained — the number it cites held an unrelated decision #7963),不归决策卡。
• objectstack#16549(2026-09-08 裁 1):Setup 页承诺「connect as yourself」,引擎做的是交集;维护者选改引擎不改文案。区别在于那句文案是被裁定的意图(ADR-0090 D10 的 on-behalf-of 模型),实现偏离了它。

⇒ 判据的形状大致是:文档句有裁定出处(ADR / 维护者裁决)而实现偏离 ⇒ 实现错;文档句无出处、只是描述(含复制来的默认值)⇒ 文档错。哪一边都不需要决策卡,前者进队列修实现,后者进队列修文档。⚠️ 这一段是本席的读法,不是裁定;skills 席按四维定稿。

落点(供 skills 席定位,⛔ 不限定)

• .claude/skills/pm-dispatch/SKILL.md 决策形状 / 决策箱入箱判据一段,以及 finding 三类的 (b)「违背已声明契约」的注脚:说明书与实现脱节不自动等于 (b)。
• references/lanes/triage.md 分诊判据;references/lanes/director.md 决策箱入口的退回条款;references/decision-analysis.md。
• 机械化项(SKILL.md 282 行「可机械化项 → 门禁/脚本卡」):若 check-half-states 能识别「needs-user-decision 且卡题含 说明书/文档/JSDoc/README 与实现脱节」的形状,可另立脚本卡;⛔ 本卡不含。

验收

• 一条规则、有具名读者(分诊席、派发席、总监席入箱),自含失效模式与边界(上面两条先例的区别),⛔ 不引 issue 编号进操作文本(id-lint)。
• 复核时回答「谁在读这一行」;经验教训散文 ⛔ 不入技能文本。

Related: objectui#8318(裁决评论见该卡),objectstack#16549,ADR-0049,ADR-0078,SKILL.md 「决策形状 ⇒ 决策箱带四棱块,⛔ 永不自裁」一节。

[yinlianghui]

Claim: PM loop round 1 — flight M: the maintainer's 2026-09-09 ruling on objectui#8318 written into the pm-dispatch corpus as a rule with a named reader — a card whose only defect is that a describing text (JSDoc @default, README, reference docs, a docblock) disagrees with an implementation that has not itself been ruled wrong is a documentation fix in pm:queue, never a needs-user-decision card; the boundary with the opposite case (a sentence that IS a ruled intent, so the implementation is what moves) stated beside it; landed where triage, the dispatching seat and the director's decision-box entry each read, with the core-rules copy moved in the same PR
Session: session_01HxLw5aKDPR5RJgyUR7Exkd
Branch: claude/issue-17031-doc-vs-impl-cards-fix-docs
Worktree: objectstack-issue-17031
Domain: domain:skills
File surface: .claude/skills/pm-dispatch/SKILL.md — the decision-box criteria region (line 343 「needs-user-decision = …」 and the finding class (b) line 347 「违背已声明契约」) and/or the 升级与决策 section's 具名不升级 list, in place at 811/811; references/core-rules.md (150/150) if the rule's shape is a core clause; references/lanes/director.md (72/72) decision-box entry return clause; references/lanes/triage.md (7/7) or references/decision-analysis.md (50/50) only if a reader sits there; every file pays its own lines (⛔ no re-wrap). ⛔ Fenced regions in SKILL.md, untouched: lines 58–62 (flight G, PR #17024), 346–353 and 776–780 (flight D, PR #17023 at lines 348 / 352 / 778) and 628–636 (flight A, PR #17021 at 631–634) — if the rule must live inside a fence, stop and report SERIAL (stop on breach; explain in the report)
Container & model: M (one rule, two or three homes, four-axis wording), mode:subagent, model: claude-fable-5-1 — --tier output at 01:45Z for .claude/skills/pm-dispatch/SKILL.md: "Model tier — MANDATORY: claude-fable-5-1 (derived from the file surface, not recalled)"; a new rule is not the one-line mechanical exit
Clause-②: no
Thread-read: (no comments on the card at 03:20Z; body read in full, including the director seat's reading of the boundary, which is a reading and not a ruling)
Serial constraints cleared: SKILL.md newest touch 92949593 (#16915) on origin/main 2e8e1185 read 03:25Z; open PRs on the file: #17021 (A), #17023 (D), #17024 (G), all at the human terminal, each region-declared above — answered PARALLEL by region with the fences; fold gate ① fails against #16993 / #17007 / #17032 (different rules). ⚠️ Line 347's neighbour 348 is flight D's — the fence is the answer, not a guess. H17 trigger-file index: no hit. Verify lock free at 03:25Z. Governed ⇒ draft at the human terminal, four-piece; skip-changeset. No priority on the card: filed by the director seat from a maintainer ruling, taken as p2 by this seat (a ruling waiting to be written is the lane's first job).

---

Generated by Claude Code

[yinlianghui]

os-dev-report

{
  "issue": 17031,
  "status": "done",
  "branch": "claude/issue-17031-doc-vs-impl-cards-fix-docs",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/17083",
  "premise_still_valid": true,
  "summary": "The maintainer's ruling (describing text vs. an implementation not itself ruled wrong = documentation defect, pm:queue, never a decision card) landed as seven in-place line rewrites, zero net lines, all three files still exactly at their ceilings. Triage reads it on the pm:queue / needs-user-decision criteria lines (SKILL.md:342/344, where the finding-class (b) boundary is stated as 有裁定出处才是 (b)); the dispatching seat reads it in the named non-escalation class (SKILL.md:714, next to the needs_decision review line); the director seat reads it as a decision-box-entry return clause applying the existing class-1 self-ruling gate (director.md:48). core-rules twins 86/87/137 changed in the same PR. The design-fork escape (SKILL.md:645/712) and the class-1 gate are untouched. Draft PR, governed surface, human merge; skip-changeset attached and read back.",
  "files_changed": [
    ".claude/skills/pm-dispatch/SKILL.md (lines 342, 344, 714)",
    ".claude/skills/pm-dispatch/references/core-rules.md (lines 86, 87, 137)",
    ".claude/skills/pm-dispatch/references/lanes/director.md (line 48: triple-restated tier-fuse line deleted, return clause added)"
  ],
  "line_budget": {
    "SKILL.md": {
      "ceiling": 812,
      "before": 812,
      "after": 812,
      "rewritten_lines_bytes": {
        "342": "66 -> 115",
        "344": "77 -> 120",
        "714": "109 -> 113"
      }
    },
    "core-rules.md": {
      "ceiling": 151,
      "before": 151,
      "after": 151,
      "rewritten_lines_bytes": {
        "86": "85 -> 118",
        "87": "111 -> 120",
        "137": "102 -> 120"
      }
    },
    "director.md": {
      "ceiling": 72,
      "before": 72,
      "after": 72,
      "rewritten_lines_bytes": {
        "48": "69 (deleted) -> 119 (new)"
      }
    },
    "cap": "120 bytes per rewritten line; no ceiling raised; no re-wrap funding; paid by deleting director.md:48 (stated also at director.md:14, SKILL.md:400, core-rules.md:95) and dropping 落卡即带四棱块 from core-rules.md:87 (verbatim at core-rules.md:146)"
  },
  "gates": {
    "derived_by": "node scripts/pm/dispatch-gates.mjs --commands --repo objectstack-ai/objectstack at edf59e359; 16 families; --ran reconciliation: 16 derived, 16 run, 0 NOT-MEASURED, 0 UNRUN",
    "results": {
      "check:pm-skill-ratchet": "0 — SKILL.md 812/812, core-rules.md 151/151, director.md 72/72, headroom 0 each",
      "check:pm-skill-id-lint": "0 — 26 file(s) clean",
      "check:skill-frame-sync": "0 — 2 copies isomorphic, 4 axes",
      "check:pm-governed-merges": "0 — self-test 274 assertions",
      "check:pm-governed-prose": "0",
      "check:nul-bytes": "0 — no raw ASCII control bytes",
      "check:doc-authoring": "0",
      "check:agent-test-spelling": "0",
      "check:watch-hint-literal": "0",
      "check:refd-timer-probe": "0",
      "check-closing-keyword-parity (+ --self-test)": "0 / 0",
      "check-comment-mask-corpus": "0 — 6406 files, 0 disagree",
      "check-governed-queue-guard --self-test": "0 — 144 cases",
      "check:driver-memory-census": "0",
      "lint check:doc-formula-expressions": "first run 3 = PREREQUISITE NOT MET (formula/lint not built, nothing measured); built both under os-verify-lock (VERDICT command-exit 0, held 188s, waited 81s); rerun 0"
    },
    "rerun_on_final_head_7d030b7c2": "pm-skill-ratchet 0, pm-skill-id-lint 0, skill-frame-sync 0, pm-governed-prose 0, nul-bytes 0",
    "governed_test": "check-governed-merges --test on the three paths: exit 3, 3 of 3 hit .claude/** — draft, human merge only; output quoted in the PR body",
    "control_byte_self_scan": "grep -naP over the control range on the three files: no hits",
    "build_test_closure": "none owed — diff touches no package"
  },
  "tests": "No test suite reads these files. Mechanical checks that do: the 16 derived gate families above, all exit 0 with codes captured before any pipe; ratchet family re-run on the merged head 7d030b7c2. Ablation not applicable (prose rule, governed surface).",
  "mcp_calls": "0 — issue body via the public-page payload channel, comments/PR/labels via REST (repo-scoped read probe answered 200 first)",
  "deviations": [
    "A fourth home beyond the dispatch's '(b) 派发席——同一处即可': SKILL.md:714 / core-rules.md:137 (the named non-escalation class) now list 说明书脱节; named reader = the dispatching seat reviewing a dev's needs_decision (SKILL.md:715). Costs: 恢复不变量的修复 -> 恢复不变量, 技术任务间的顺序与依赖 -> 技术任务间顺序与依赖.",
    "The finding-class (b) boundary landed on SKILL.md:344 (the needs-user-decision exclusion line) instead of a separate line beside :347-:349 — headroom 0 and no strict restatement exists in SKILL.md (mechanical 9-gram scan over all bullets found none); :347 and :349 untouched, so os-dev.md:42 stays consistent.",
    "director.md: the return clause replaced line 48 (不达档 ⇒ 通道整体跳过…, stated three times elsewhere and sitting under :47's own ⛔ 不另抄) rather than adding a line.",
    "origin/main moved from edf59e35 to 854639b31 (one engine commit, nothing under .claude/) before the PR; merged per mechanism assumption 3 — merge-tree probe clean, ceilings 812/151/72 on the merged tree.",
    "PR-body attribution: the repo's AGENTS.md footer form (rule line + one session-URL footer) was used instead of the harness 'Generated with' line; the commit keeps the harness-written Co-Authored-By trailer (the reporting exemption)."
  ],
  "open_questions": [],
  "out_of_scope_findings": [
    "noted, not filed: published skills/objectstack-pm-dispatch/SKILL.md lines 204-207 carry a deliberately generalized Auto-queue / Maintainer-confirm criteria pair without this rule (generalized by design, route B in the frame-sync header; outside this card's file surface). 承接者:无 — the skills lane only if the maintainer wants the rule shipped to third-party projects.",
    "noted, not filed: .claude/agents/os-dev.md:42 states class (b) as 违背已声明契约(引契约原文); unchanged and consistent since SKILL.md:347 was not touched. 承接者:无."
  ]
}

---

Generated by Claude Code

[yinlianghui]

ACCEPT — flight M, #17031 (skills seat, session session_01HxLw5aKDPR5RJgyUR7Exkd, contract-tier review in the seat, 2026-09-09T07:03Z)

PR #17083 (Fixes #17031, head 7d030b7c = origin/main 854639b3 merged onto the content commit 52c493cd), draft, three files (+7/−7): SKILL.md :342 / :344 / :714, core-rules.md :86 / :87 / :137, director.md :48. Verified against GitHub and the fetched head, not the report (5597599937):

• Path face (check-governed-merges.mjs --test on the three paths): exit 3 — GOVERNED ⇒ draft at the human terminal — the maintainer merges, or an authorised approval (os-zhuang / hotlong) lets this seat enqueue. ⛔ No ready flip, no auto-merge, no queue from this seat.
• The ruling landed where each reader reads it, read line by line on the head: triage at the pm:queue / needs-user-decision criteria (:342 adds 「实现未被裁错的说明书脱节(修文档)」 to the queue; :344 excludes it from the decision box with the boundary 「有裁定出处才是 (b),否则改文档」); the dispatching seat at the named non-escalation class (:714 adds 说明书脱节); the director seat at the decision-box entry (director.md:48 — a return clause: such a card is self-ruled under the existing class-1 channel, recorded and moved to pm:queue, ⛔ not presented). The three core-rules twins say the same in the core file. The design-fork escape (:645 / :712) and the class-1 gate are untouched, so the rule cannot be read as 「碰到就自裁」.
• Payments checked for lost rules: the deleted director.md:48 (不达档 ⇒ 通道整体跳过) is stated at director.md:14, SKILL.md:400 and core-rules.md:95 on the head; 「落卡即带四棱块」 dropped from core-rules.md:87 is verbatim at :146; the two shortened class names at :714 lose no member. One wording loss noted and accepted: :344's 「碰存量数据迁移形状」 became 「碰迁移形状」 to fit 120 B — 迁移形状 still reads as the data-migration shape in that sentence.
• Re-run on the head in the seat's scratch worktree: ratchet exit 0 (812/812, 151/151, 72/72); check:pm-skill-id-lint 26 files clean; check:skill-frame-sync 2 copies isomorphic (the frame block now sits at :735–753 after PR skills(pm-dispatch): the queue-entry rule names its third case — red BY DESIGN on a non-required check — and the two ceilings rise by one as ruled #17021's added line — a move, not a change); control-byte scan 0 on the three files; every rewritten line ≤120 B (max exactly 120). Labels read back: size/s, skip-changeset. Closing keyword: exactly Fixes #17031. mergeable: true. The maintainer's sentence is quoted verbatim in the PR body.
• CI on 7d030b7c at 07:02Z: 12 success / 12 skipped / 4 in progress — draft-time reading; the terminal is human either way.
• Deviations accepted: the fourth home (the non-escalation class) has a named reader (the seat reviewing a dev's needs_decision, :715); the (b) boundary landed on :344 rather than a new line beside :347 (headroom 0, no restatement to delete — measured); director.md:48 replaced rather than added; base moved one engine commit and merged cleanly; the PR-body footer form and the harness trailer are the reporting exemption at work.

Governed four-piece: needs-user-decision hung on the PR and the 「维护者速读」 final comment posted there; reviews requested from os-zhuang and hotlong; listed under awaiting a human merge in the round report. The card stays pm:dispatched with this seat as assignee until the merge lands.

---

Generated by Claude Code

[yinlianghui]

Landing record (skills seat, session session_01HxLw5aKDPR5RJgyUR7Exkd, 2026-09-09T08:08Z): PR #17083 (flight M) MERGED 08:07Z as 37f6b492 on main via the merge queue (approved and readied by os-zhuang, the authorised approver, at 07:4xZ; auto-merge armed by os-zhuang); this card closes by its Fixes line. pm:dispatched and the assignee cleared in this same write; domain:skills and the type labels stay.

---

Generated by Claude Code