os-dev: the "build spec" verification step passes without measuring anything off `packages/spec/src` — condition it on the file surface or replace it by the dispatch-gates derivation (#16104 section 3.1)

[claude]

Split out of #16104 (section 3, item 1) by the skills seat at flight P's ACCEPT, as that card's claim prescribed.

The reading

.claude/agents/os-dev.md's verification sequence carries a "build spec" step (step ①) that passes without measuring anything when the change set is test-only or lies outside packages/spec/src — measured by the spec seat on its 2026-09-05 shift. A step that cannot go red on the diff it runs against is not a gate; it reads as coverage it does not provide.

What

Either condition the step on the file surface (it runs only when the diff touches packages/spec/src, and says so when it does not), or replace it by the dispatch-gates.mjs --commands derivation, which already lists the commands the diff needs and reconciles them with --ran. The dev measures which of the two the file's own wording supports and lands one; line-neutral at the pinned 403; rules-only register.

Acceptance

• check-skill-line-ratchet (os-dev.md 403/403), check-skill-id-lint, check-governed-merges --test exit 3, check-half-states --self-test; whole-repo lint.
• Governed (.claude/**): draft PR, seat review, os-zhuang + hotlong, human merge.

Serial

os-dev.md is held by PR #16357 (flight B) and PR #16375 (flight M), both at the governed terminal; dispatched after both merge.

Refs #16104.

---

Generated by Claude Code

[claude]

Blocked-by: #14768

os-dev.md is held by PR #16357 (flight B) and PR #16375 (flight M) at the governed terminal; dispatched after both merge.

---

Generated by Claude Code

[claude]

Riders recorded from flight Q (#16389, premise falsified 17:3xZ), for this card's os-dev.md flight — only if a fold pays, rules-only: (B) for a graph-root package (packages/spec: 0 workspace dependencies, 75 of 79 consumers) the affected set equals the consumer closure, so --affected narrows nothing — measured 491 s / 72 tasks both ways; (C) the consumer sweep the contract prescribes rebuilds 72 packages to run a tsc-shaped absence check, while the tree-scoped absence pin the retirement playbook already mandates needs no build — the sweep line may name that instrument as the default for a retired key.

---

Generated by Claude Code