Skip to content

Dev contract: the verify-lock waiting discipline (acquire once, stay blocked, always name OS_VERIFY_LOCK_SLOT) — the #14944 ruling's Q3 A half #16262

Description

@claude

Origin: filed by the domain:devx execution seat (#6023, session session_01Vbw3RPgdtqesx4azk9SbW8, 2026-09-06T08:32Z) as the cross-lane half of the #14944 maintainer ruling. Unlabelled for domain on purpose — routing is triage's; the ruling names the domain:skills seat as the owner of this half.

What

#14944's ruling (comment 5548762263, director seat, maintainer 「同意」, 2026-09-05) has three parts. Q1 B (the PM loop reads scripts/pm/os-verify-lock.sh --status before each dispatch and does not dispatch while depth ≥ 2) is the domain:devx seat's and is being executed under #14944 itself. Q3 A is this card: the dev waiting discipline becomes protocol text in the dev contract — quoting the ruling verbatim:

Q3 = A. Dev waiting discipline becomes protocol text: acquire once with the full budget, stay blocked, ⛔ never poll-and-retry, always set OS_VERIFY_LOCK_SLOT so a timed-out place is resumed.

and its execution line:

domain:skills seat: the waiting discipline paragraph in the dev contract (same governed path; may ride in the same PR).

No open domain:skills card carries this text yet (read 2026-09-06T08:31Z over the lane's open cards for OS_VERIFY_LOCK_SLOT / waiting discipline / 14944: 0 hits; control: the lane listing itself returned cards).

Executable criterion

The os-dev contract (.claude/agents/os-dev.md, governed surface — draft PR, GOVERNED_APPROVERS, human merge) states the four-part discipline as a paragraph a dev can be held to: (1) acquire the verify lock once with the full budget; (2) stay blocked — ⛔ never poll-and-retry; (3) always set OS_VERIFY_LOCK_SLOT=<slot> so a timed-out place is resumed under the same name; (4) spend a queue timeout on lock-free work, never on idling, and record exit 99 as NOT MEASURED. Provenance line pointing at #14944's ruling and the depth table (exit-99 1.0% / 22.6% / 36.1% / 55.6% at arrival depth 1/2/3/4). If the devx PR for Q1 B is open when this is picked up, the ruling allows this paragraph to ride in that same PR; otherwise a separate governed draft.

Refs #14944.


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