Role contracts + docs rewrite for in-turn gates (#477 child) #481

Closed
opened 2026-08-22 11:40:48 +00:00 by jared · 3 comments
Owner

Context

Parent: #477. Prose contracts invert for gated producers only. Programmer: must run the gate and iterate until green before stopping. Test-writer: gate until red for the right reason. Reviewer: no gate. Wiring: keeps external gate, no Bash grant.

Tasks

  • Rewrite agents/programmer.md and agents/test-writer.md contracts (description line + Bash rule)
  • Update wiring.md wording (external gate retained)
  • Rewrite reference/deterministic-gates.md core rule and settlement description
  • Update OVERVIEW.md hook-run-tests claims, CONTEXT.md Gate/Settlement glossary, skills/implement/SKILL.md settlement description
  • Update docs/implementation-status/os-sdlc.md current-shape gate paragraph + one changelog row
  • Record amendment notes on ADR-0097/0107/0134/0137 per the supersession ADR

Acceptance criteria

  • No os-sdlc document still states that agents never run tests or that settlement is detached

Blocked by: supersession ADR only (parallel with the code chain).

## Context Parent: #477. Prose contracts invert for gated producers only. Programmer: must run the gate and iterate until green before stopping. Test-writer: gate until red for the right reason. Reviewer: no gate. Wiring: keeps external gate, no Bash grant. ## Tasks - [ ] Rewrite agents/programmer.md and agents/test-writer.md contracts (description line + Bash rule) - [ ] Update wiring.md wording (external gate retained) - [ ] Rewrite reference/deterministic-gates.md core rule and settlement description - [ ] Update OVERVIEW.md hook-run-tests claims, CONTEXT.md Gate/Settlement glossary, skills/implement/SKILL.md settlement description - [ ] Update docs/implementation-status/os-sdlc.md current-shape gate paragraph + one changelog row - [ ] Record amendment notes on ADR-0097/0107/0134/0137 per the supersession ADR ## Acceptance criteria - [ ] No os-sdlc document still states that agents never run tests or that settlement is detached Blocked by: supersession ADR only (parallel with the code chain).
Author
Owner

Work starting on branch worktree-sdlc+478 (shared #477-children worktree) via the os-sdlc pipeline.

Work starting on branch worktree-sdlc+478 (shared #477-children worktree) via the os-sdlc pipeline.
Author
Owner

Pipeline implementation 2 failed: bound_exhausted:reviewer/fail after 3 review rounds. Remaining blocking findings: F6 reference/agent-design-principles.md:12 stale no-Bash claim; F7 reference/pipeline-stages.md:18,29,34 hooks-run-tests framing; F8 OVERVIEW.md:63 'programmer: no Bash' table row. Reopening a fresh implementation to complete them (sanctioned recovery path).

Pipeline implementation 2 failed: bound_exhausted:reviewer/fail after 3 review rounds. Remaining blocking findings: F6 reference/agent-design-principles.md:12 stale no-Bash claim; F7 reference/pipeline-stages.md:18,29,34 hooks-run-tests framing; F8 OVERVIEW.md:63 'programmer: no Bash' table row. Reopening a fresh implementation to complete them (sanctioned recovery path).
Author
Owner

Resolution

Done: Rewrote all os-sdlc docs/contracts for in-turn gates (ADR-0141): CONTEXT.md glossary, OVERVIEW.md, reference/deterministic-gates.md (core rule, presence check, resolved Open-questions bullet), reference/agent-design-principles.md, reference/pipeline-stages.md, skills/implement + pipeline-state-investigate SKILL.md, agents/programmer/test-writer/refactorer gate-CLI contracts, wiring.md external-gate wording; amendment notes added to ADR-0097/0107/0134/0137; implementation-status leaf gate paragraph + one History row

Evidence: os-sdlc pipeline implementations 2+3 on branch worktree-sdlc+478; final reviewer verdict pass (opus) after 6 review rounds; gates green each round (1017 runs, 2593 assertions, 0 failures; lint clean); repo-wide sweep finds no remaining agents-never-run-tests or detached-settlement claims outside intentional negations

Follow-ups: Dropped: refresh deterministic-gates.md 'Status: settled -- as of 2026-07-16' date line (cosmetic, pre-existing, reviewer-rated non-blocking). Otherwise none.

## Resolution **Done:** Rewrote all os-sdlc docs/contracts for in-turn gates (ADR-0141): CONTEXT.md glossary, OVERVIEW.md, reference/deterministic-gates.md (core rule, presence check, resolved Open-questions bullet), reference/agent-design-principles.md, reference/pipeline-stages.md, skills/implement + pipeline-state-investigate SKILL.md, agents/programmer/test-writer/refactorer gate-CLI contracts, wiring.md external-gate wording; amendment notes added to ADR-0097/0107/0134/0137; implementation-status leaf gate paragraph + one History row **Evidence:** os-sdlc pipeline implementations 2+3 on branch worktree-sdlc+478; final reviewer verdict pass (opus) after 6 review rounds; gates green each round (1017 runs, 2593 assertions, 0 failures; lint clean); repo-wide sweep finds no remaining agents-never-run-tests or detached-settlement claims outside intentional negations **Follow-ups:** Dropped: refresh deterministic-gates.md '_Status: settled -- as of 2026-07-16_' date line (cosmetic, pre-existing, reviewer-rated non-blocking). Otherwise none.
jared closed this issue 2026-08-22 13:24:16 +00:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
jared/cc-os#481
No description provided.