
Execute
- 79 installs
- 1 repo stars
- Updated August 3, 2026
- davidlee/doctrine
Implements one planned, approved phase of a slice with TDD red/green/refactor, moving the phase to in_progress and ending green.
About
Executes a single planned phase of a slice, confirming entrance criteria, building it TDD-style, keeping runtime notes current, and surfacing blockers early. A developer uses it once a phase's design, plan, and runtime sheet are ready.
- Flips slice/phase status which auto-records the conformance boundary
- TDD red/green/refactor in small coherent units
Execute by the numbers
- 79 all-time installs (skills.sh)
- Ranked #1,455 of 3,282 Productivity & Planning skills by installs in the Skillselion catalog
- Data as of Aug 4, 2026 (Skillselion catalog sync)
npx skills add https://github.com/davidlee/doctrine --skill executeAdd your badge
Show developers this skill is listed on Skillselion. Paste this into your README.
| Installs | 79 |
|---|---|
| repo stars | ★ 1 |
| Last updated | August 3, 2026 |
| Repository | davidlee/doctrine ↗ |
What it does
Implements one planned, approved phase of a slice with TDD red/green/refactor, moving the phase to in_progress and ending green.
Files
Execute
You are executing one phase of planned work.
Inputs:
- the active runtime phase sheet (
state/.../phases/phase-NN.md) plan.toml/plan.mddesign.md(canonical design reference)slice-nnn.md(scope)
Process
1. Confirm the phase's entrance criteria (EN-) are met for the active phase. 2. Read design.md + plan.toml + the runtime phase sheet before coding. If the sheet is not yet filled, run /phase-plan first; use /preflight if confirmed inputs, assumptions, and tensions are not yet surfaced. 3. Identify the concrete files or components you expect to touch first and run /retrieve-memory against those paths before deep reading or editing, so any scope-bound gotchas or patterns surface early. 4. Ensure status matches reality before implementation proceeds:
- first phase starting → move the slice:
doctrine slice status <id> started
(bare number), if not already there.
- flip the phase to
in_progresswithdoctrine slice phase(see
using-doctrine.md). This auto-records the conformance boundary — the handler stamps code_start_oid = HEAD into the phase sheet. No extra call; the binding rides the transition you already issue (design D5). (It self-skips in a dispatch coordination context, where the funnel beat is the recorder instead.) 5. Implement phase tasks in small coherent units, TDD red/green/refactor write a failing test, make it pass, then refactor. Test behaviour, not trivial implementation. Build and improve test helpers and fixtures as you go. 6. After each meaningful unit, run /notes. 7. If that unit produced a durable gotcha, pattern, or subsystem fact worth future retrieval, run /record-memory before moving on. 8. Lint as you go (cargo clippy, zero warnings) and keep the tree buildable. 9. Follow the repo's commit policy: frequent, small conventional commits scoped with the slice id (e.g. feat(SL-009): …). Bias toward a clean tree; don't let .doctrine/** workflow edits drift in a stale uncommitted pile. 10. If /preflight or implementation reveals unresolved design ambiguity, unexpected obstacles, tradeoffs, or policy ambiguity, stop and /consult before improvising past it. 11. Keep the runtime phase sheet current as work progresses — never record progress in authored plan.toml / plan.md (the storage rule). 12. Before declaring the phase ready, run the verification gate — doctrine check gate (lint + test + format) — and review the touched subsystems and notes once more for missed memory-capture candidates. 13. When exit criteria (EX-) and verification (VT-, plus any agent/human VA-/VH- modes) are satisfied, flip the phase to completed with doctrine slice phase. This closes the conformance boundary — the handler captures code_end_oid = HEAD, applies the F-6 ancestor/non-merge guard, and upserts the phase's row into the slice's arm-neutral registry. Deterministic, on the critical path — not a "remember to also record" step; slice record-delta is only the manual fallback (correct a range, or bootstrap a pre-binding phase). Then hand off: /phase-plan for the next phase, or — when the slice's phases are all done — doctrine slice status <id> audit and /audit.
Optional: solo isolation (opt-in)
Default execution runs in-tree — the path above is unchanged unless isolation is requested.
Opt-in only — never automatic. Run the phase on its own worktree fork only when the user or the plan explicitly asks for isolation. Absent that annotation, implement in-tree.
When isolation is requested, before implementing (i.e. before step 5) invoke /worktree with:
mode = solo,allow_work_in_place = true(solo MAY degrade to in-tree on
sandbox denial);
branch = slice/SL-NNN-slug(the slice id is in scope — e.g.
slice/SL-029-dispatch-worktree-creation), worktree dir keyed by the durable id (.worktrees/SL-029).
/worktree handles detection, the creation ladder (doctrine worktree fork), provisioning, the spawn guards, and the green baseline; the fork branch it returns is the deliverable.
Assert a clean direct-writer entry. Solo /execute is its own orchestrator — worker mode is never used here (that is /dispatch's path). Before the TDD loop, at the solo→direct-writer transition, run:
doctrine worktree status --assert # non-zero `stale-marker` if a stray marker sits hereA stray worker marker in this worktree would make doctrine-mediated writes refuse mid-work and confuse a direct writer. --assert is exit 0 on a clean entry and non-zero (stale-marker) otherwise — clear it with doctrine worktree marker --clear --operator before proceeding (bare --clear is refused in a linked worktree — the §3 accident-fence). (This is the §3 chokepoint the gate PHASE-05 shipped, now actually called.)
Carry out the TDD loop (steps 5–12) inside the fork. When green, land the fork onto the coordination branch — /execute is the sole caller of land:
doctrine worktree land --fork slice/SL-NNN-slug # merge --no-ff, ancestry preserved (NEVER squash)
doctrine worktree gc --fork slice/SL-NNN-slug # reap the spent fork once the oracle proves it landedland preserves the multi-commit TDD history via git merge --no-ff (it cannot express a squash); gc deletes only after the two-leg landed oracle certifies the fork (§8.1) — both fail closed with a distinct token, never auto-merge.
Outcomes
- Phase objectives are implemented with traceable evidence, ending green.
- Phase status matches reality during implementation, not only at closure.
- Notes and durable memory stay current throughout execution.