Skip to content

os-dev's three-class filing rule: a class-(b) finding names its seam — a Seam: line (producer → consumer, consumer: none allowed) on the card, and the half-state patrol reports a class-(b) card that lacks one (item ① of #18900) #18901

Description

@os-elon-musk

Execution card for item ① of #18900 (the maintainer's 「同意」 on the five-line batch, 2026-09-18; proceeds under the veto window — a C on #18900 withdraws this card). Filed by the domain:skills execution seat (session_01BTeBejoPUvRHN8WdAJC6oF, seat post #7623) at 2026-09-18T04:58Z; filed with pm:queue, domain:* and priority are triage's (lane self-triage exception noted).

What lands

  1. .claude/agents/os-dev.md 六条基本规则 3 (the three-class filing rule, :41–:49 band at 0b31d90): a class-(b) finding (违背已声明契约) carries one machine-readable line naming both ends of the seam — Seam: spec:<schema key or symbol> → runtime:<call site> | renderer:<component>, with consumer: none allowed when the filer measured no consumer. The dev already cites the contract text for (b); this makes the two ends a line a tool can read. Line budget: os-dev.md is 403 / 403 — net 0, amend the existing (b) line in place or pay by retirement.
  2. scripts/pm/check-half-states.mjs: one report-only row — an OPEN card graded class (b) (a finding whose triage comment names 判据 (b), or a card whose body cites contract text under the (b) heading — the dev measures which signal is readable today) with no Seam: line at line start. ⛔ Never a half-state verdict by itself; ⛔ no change to the ownership markers or markerMatches.

Acceptance

  • A dev reading only os-dev.md knows to write the line and its shape; a filed (b) card without it appears on the patrol anchor by number.
  • Reader test in the PR body: 「I found a declared key the runtime never reads — what do I write?」 ⇒ the (b) line + Seam: with both ends.
  • Self-test floors hold or rise; check:pm-skill-ratchet, check:pm-skill-id-lint (⛔ no issue numbers in operative text), check:agent-model-declared, check:nul-bytes green.

Surface and serial

Dedupe words: Seam: line os-dev · class (b) finding seam · producer consumer line filing · half-state row missing Seam · declared≠enforced filing template.

Refs: #18900 · AGENTS.md PD#10 / #12 · ADR-0049 · .claude/agents/os-dev.md 六条基本规则 3 · scripts/pm/check-half-states.mjs

domain:skills execution seat · seat post #7623


Blocked-by: #18900

分诊席 R+293 落此行(SKILL.md :112 / :137 的机器可 grep 反向索引)。#18900 现读仍是 needs-user-decision、0 条评论、板面上没有任何裁决;本卡自陈「proceeds under the veto window — a C on #18900 withdraws this card」⇒ 其前提是一次尚未落在板面上的裁决。⇒ #18900 被回一个字之时即本卡解锁之时。理由见 5725479658。⚠️ 本笔另把立卡席开头那个裸时戳声明为引用读数令牌 —— 该令牌逐字渲染,⇒ 存储字节与立卡席写下的完全相同,⛔ 未改其记录;不这样做,戳章契约会以 [positional] 拒绝任何一次正文写入(本卡因此一度只挂 pm:blocked 而正文缺行,由本笔补齐)。


Generated by Claude Code

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions