devrites 3.0.2 → 3.0.3

package/engine/internal/state/workflow_manifest.json

@@ -0,0 +1,310 @@
+{
+  "generatedBy": "go generate ./internal/state; DO NOT EDIT",
+  "schemaVersion": 1,
+  "phases": [
+    {
+      "id": "frame",
+      "resumeVerb": "frame",
+      "workspaceRequired": [
+        "state.md"
+      ]
+    },
+    {
+      "id": "spec",
+      "resumeVerb": "spec",
+      "aliases": [
+        "specced",
+        "specifying"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md"
+      ]
+    },
+    {
+      "id": "temper",
+      "resumeVerb": "temper",
+      "aliases": [
+        "tempered",
+        "tempering"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md"
+      ]
+    },
+    {
+      "id": "define",
+      "resumeVerb": "define",
+      "aliases": [
+        "defined",
+        "defining"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md"
+      ],
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "plan",
+      "resumeVerb": "define",
+      "aliases": [
+        "planned",
+        "planning"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md"
+      ],
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "vet",
+      "resumeVerb": "vet",
+      "aliases": [
+        "vetted",
+        "vetting"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md"
+      ],
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "build",
+      "resumeVerb": "build",
+      "aliases": [
+        "building",
+        "wip",
+        "in",
+        "in-progress"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md"
+      ],
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "converge",
+      "resumeVerb": "converge",
+      "aliases": [
+        "converged",
+        "converging"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md"
+      ],
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "prove",
+      "resumeVerb": "prove",
+      "aliases": [
+        "proving",
+        "proven",
+        "testing"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md",
+        "evidence.md",
+        "touched-files.md"
+      ],
+      "proofRequired": true,
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "polish",
+      "resumeVerb": "polish",
+      "aliases": [
+        "polished",
+        "polishing"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md",
+        "evidence.md",
+        "touched-files.md"
+      ],
+      "proofRequired": true,
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "review",
+      "resumeVerb": "review",
+      "aliases": [
+        "reviewed",
+        "reviewing"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md",
+        "evidence.md",
+        "touched-files.md"
+      ],
+      "proofRequired": true,
+      "blocksOpenQuestions": true
+    },
+    {
+      "id": "seal",
+      "resumeVerb": "seal",
+      "aliases": [
+        "sealed",
+        "sealing"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md",
+        "evidence.md",
+        "touched-files.md"
+      ],
+      "proofRequired": true,
+      "blocksOpenQuestions": true,
+      "shippable": true
+    },
+    {
+      "id": "ship",
+      "resumeVerb": "ship",
+      "aliases": [
+        "shipped",
+        "shipping"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md",
+        "evidence.md",
+        "touched-files.md"
+      ],
+      "proofRequired": true,
+      "blocksOpenQuestions": true,
+      "shippable": true
+    },
+    {
+      "id": "done",
+      "aliases": [
+        "closed",
+        "complete",
+        "completed"
+      ],
+      "workspaceRequired": [
+        "brief.md",
+        "spec.md",
+        "architecture.md",
+        "plan.md",
+        "tasks.md",
+        "traceability.md",
+        "state.md",
+        "decisions.md",
+        "assumptions.md",
+        "questions.md",
+        "evidence.md",
+        "touched-files.md"
+      ],
+      "proofRequired": true,
+      "blocksOpenQuestions": true,
+      "shippable": true
+    }
+  ],
+  "cursorKeyAliases": [
+    {
+      "alias": "nextstep",
+      "canonical": "next_action"
+    },
+    {
+      "alias": "qid",
+      "canonical": "question_id"
+    }
+  ]
+}

package/engine/internal/workflow/commands.go

@@ -12,22 +12,6 @@ type Command struct {
 	Codex  string
 }
 
-var phaseToVerb = map[string]string{
-	"frame":    "frame",
-	"spec":     "spec",
-	"temper":   "temper",
-	"define":   "define",
-	"plan":     "define", // plan is the artifact state produced by rite-define.
-	"vet":      "vet",
-	"build":    "build",
-	"converge": "converge",
-	"prove":    "prove",
-	"polish":   "polish",
-	"review":   "review",
-	"seal":     "seal",
-	"ship":     "ship",
-}
-
 // ForVerb returns the Claude and Codex forms for a public rite verb. The empty
 // verb returns an empty command so callers can omit suggestions safely.
 func ForVerb(verb string) Command {
@@ -52,12 +36,6 @@ func ForAction(action string) Command {
 	return Command{}
 }
 
-// ForPhase returns the next public command for a workflow phase.
-func ForPhase(phase string) Command {
-	verb := phaseToVerb[strings.TrimSpace(strings.ToLower(phase))]
-	return ForVerb(verb)
-}
-
 // Both renders a command in host-neutral prose for engine stderr/stdout messages.
 func (c Command) Both() string {
 	if c.Verb == "" {
@@ -65,17 +43,3 @@ func (c Command) Both() string {
 	}
 	return c.Claude + " (Claude) / " + c.Codex + " (Codex)"
 }
-
-// ClaudeOrCodex returns the command for a known harness. Empty/unknown harnesses
-// deliberately get the host-neutral rendering so CLI output remains safe when the
-// engine is run outside a hook.
-func (c Command) ClaudeOrCodex(harness string) string {
-	switch strings.ToLower(strings.TrimSpace(harness)) {
-	case "claude", "claude-code", "claudecode":
-		return c.Claude
-	case "codex":
-		return c.Codex
-	default:
-		return c.Both()
-	}
-}

package/engine/internal/workflow/commands_test.go

@@ -16,20 +16,3 @@ func TestForActionExtractsCanonicalInvocation(t *testing.T) {
 		}
 	}
 }
-
-func TestForPhaseCoversCurrentLifecycle(t *testing.T) {
-	for _, phase := range []string{
-		"frame", "spec", "temper", "define", "vet", "build", "converge",
-		"prove", "polish", "review", "seal", "ship",
-	} {
-		if got := ForPhase(phase).Verb; got != phase {
-			t.Fatalf("ForPhase(%q).Verb=%q, want %q", phase, got, phase)
-		}
-	}
-	if got := ForPhase("plan").Verb; got != "define" {
-		t.Fatalf("ForPhase(plan).Verb=%q, want define compatibility route", got)
-	}
-	if got := ForPhase("done").Verb; got != "" {
-		t.Fatalf("ForPhase(done).Verb=%q, want empty", got)
-	}
-}

package/engine/testdata/golden/TestParityProgress/arg=allbuilt.golden

@@ -1,4 +1,4 @@
 exit 0
 ── rite-build ─────────
 Slices 2/2  ██████████  ✅ ALL BUILT
-Flow   spec ✓ define ✓ build ◉ prove ○ polish ○ review ○ seal ○ ship ○
+Flow   spec ✓ define ✓ plan ✓ build ◉ prove ○ polish ○ review ○ seal ○ ship ○

package/engine/testdata/golden/TestParityProgress/arg=done.golden

@@ -1,3 +1,3 @@
 exit 0
 ── rite-done ─────────
-Flow   spec ✓ define ✓ build ✓ prove ✓ polish ✓ review ✓ seal ✓ ship ✓
+Flow   spec ✓ define ✓ plan ✓ build ✓ prove ✓ polish ✓ review ✓ seal ✓ ship ✓

package/engine/testdata/golden/TestParityProgress/arg=mid.golden

@@ -1,4 +1,4 @@
 exit 0
 ── rite-build ─────────
 Slice 2/3  ███████░░░  detail ✓
-Flow   spec ✓ temper ✓ define ✓ vet ✓ build ◉ prove ○ polish ○ review ○ seal ○ ship ○
+Flow   spec ✓ temper ✓ define ✓ plan ✓ vet ✓ build ◉ prove ○ polish ○ review ○ seal ○ ship ○

package/engine/testdata/golden/TestParityProgress/arg=nophase.golden

@@ -1,3 +1,3 @@
 exit 0
 ── rite-spec ─────────
-Flow   spec ◉ define ○ build ○ prove ○ polish ○ review ○ seal ○ ship ○
+Flow   spec ◉ define ○ plan ○ build ○ prove ○ polish ○ review ○ seal ○ ship ○

package/engine/testdata/golden/TestParityProgress/arg=noslice.golden

@@ -1,3 +1,3 @@
 exit 0
 ── rite-spec ─────────
-Flow   spec ◉ define ○ build ○ prove ○ polish ○ review ○ seal ○ ship ○
+Flow   spec ◉ define ○ plan ○ build ○ prove ○ polish ○ review ○ seal ○ ship ○

package/engine/testdata/golden/TestParityProgress/arg=plan.golden

@@ -1,4 +1,4 @@
 exit 0
 ── rite-plan ─────────
 Slice 2/3  ███████░░░  detail ✓
-Flow   spec ✓ define ✓ build ◉ prove ○ polish ○ review ○ seal ○ ship ○
+Flow   spec ✓ define ✓ plan ◉ build ○ prove ○ polish ○ review ○ seal ○ ship ○

package/engine/testdata/golden/TestParityProgress/arg=seal.golden

@@ -1,3 +1,3 @@
 exit 0
 ── rite-seal ─────────
-Flow   spec ✓ define ✓ build ✓ prove ✓ polish ✓ review ✓ seal ◉ ship ○
+Flow   spec ✓ define ✓ plan ✓ build ✓ prove ✓ polish ✓ review ✓ seal ◉ ship ○

package/engine/tests/adr_0004_required_by_phase_test.go

@@ -12,25 +12,8 @@ import (
 	"github.com/devrites/devrites/internal/state"
 )
 
-// phaseArc is the canonical order the lifecycle advances through (ADR-0004).
-var phaseArc = []state.Phase{
-	state.PhaseFrame,
-	state.PhaseSpec,
-	state.PhaseTemper,
-	state.PhaseDefine,
-	state.PhasePlan,
-	state.PhaseVet,
-	state.PhaseBuild,
-	state.PhaseConverge,
-	state.PhaseProve,
-	state.PhasePolish,
-	state.PhaseReview,
-	state.PhaseSeal,
-	state.PhaseShip,
-	state.PhaseDone,
-}
-
 func TestADR0004RequiredSectionsAreAdditiveDownTheArc(t *testing.T) {
+	phaseArc := state.LifecyclePhases()
 	for _, p := range phaseArc {
 		if !state.KnownPhase(p) {
 			t.Fatalf("phase %q in the arc is not a known phase", p)

package/engine/tests/lib_parity_test.go

@@ -795,7 +795,7 @@ func TestParityPreamble(t *testing.T) {
 //
 // Golden: the header rule width, the slice meter (round-half math, ✅ ALL BUILT
 // vs the last-built tail), and the flow ribbon (conditional temper/vet, the
-// plan→build and done cursor rules) are checked against golden snapshots.
+// explicit plan and terminal done cursor rules) are checked against golden snapshots.
 
 func TestParityProgress(t *testing.T) {
 	work := t.TempDir()

package/pack/.claude/skills/devrites-lib/reference/workspace-artifact-schema.md

@@ -9,9 +9,11 @@ workspace map; `proof.md` may stand in for `evidence.md`.
 
 | Phase | Required artifacts |
 | --- | --- |
+| frame | `state.md` |
 | spec | `README.md`/`index.md`/`feature.md`, `brief.md`, `spec.md`, `state.md`, `decisions.md`, `assumptions.md`, `questions.md` |
-| define/plan/vet/build | spec artifacts plus `architecture.md`, `plan.md`, `tasks.md`, `traceability.md` |
-| prove/polish/review/seal/ship | plan artifacts plus `evidence.md`/`proof.md`, `touched-files.md` |
+| temper | spec artifacts |
+| define/plan/vet/build/converge | spec artifacts plus `architecture.md`, `plan.md`, `tasks.md`, `traceability.md` |
+| prove/polish/review/seal/ship/done | plan artifacts plus `evidence.md`/`proof.md`, `touched-files.md` |
 | conditional | `flows.md` when diagrams clarify; `design-brief.md` and `browser-evidence.md` for UI; `drift.md` for drift; `handoff.md` only when requested; `references.md` + `references/` when references exist |
 
 ## What each file owns
@@ -33,7 +35,7 @@ workspace map; `proof.md` may stand in for `evidence.md`.
 | `evidence.md` / `proof.md` | `EVID-###` command/action, result, timestamp if available, related AC/slice IDs, limitation | 280 lines |
 | `browser-evidence.md` | UI route/viewports/screenshots/console/network/interactions and Visual Verdict | 220 lines |
 | `drift.md` | `DRIFT-###` spec/plan drift and resolution | 160 lines |
-| `touched-files.md` | implementation files, slice ownership, reason, and a concern-ordered `## Review trail` of `path:line` stops for human review | 180 lines |
+| `touched-files.md` | implementation files, slice ownership, reason, and a concern-ordered `## Review trail` of `path:line` stops for human review | 160 lines |
 | `design-brief.md` | UI design direction, states, interaction model | 160 lines |
 | `handoff.md` | cold-resume guide: current objective, last completed slice, next action, blockers, read-next links | 120 lines |
 

package/pack/generated/claude/skills/devrites-lib/reference/workspace-artifact-schema.md

@@ -9,9 +9,11 @@ workspace map; `proof.md` may stand in for `evidence.md`.
 
 | Phase | Required artifacts |
 | --- | --- |
+| frame | `state.md` |
 | spec | `README.md`/`index.md`/`feature.md`, `brief.md`, `spec.md`, `state.md`, `decisions.md`, `assumptions.md`, `questions.md` |
-| define/plan/vet/build | spec artifacts plus `architecture.md`, `plan.md`, `tasks.md`, `traceability.md` |
-| prove/polish/review/seal/ship | plan artifacts plus `evidence.md`/`proof.md`, `touched-files.md` |
+| temper | spec artifacts |
+| define/plan/vet/build/converge | spec artifacts plus `architecture.md`, `plan.md`, `tasks.md`, `traceability.md` |
+| prove/polish/review/seal/ship/done | plan artifacts plus `evidence.md`/`proof.md`, `touched-files.md` |
 | conditional | `flows.md` when diagrams clarify; `design-brief.md` and `browser-evidence.md` for UI; `drift.md` for drift; `handoff.md` only when requested; `references.md` + `references/` when references exist |
 
 ## What each file owns
@@ -33,7 +35,7 @@ workspace map; `proof.md` may stand in for `evidence.md`.
 | `evidence.md` / `proof.md` | `EVID-###` command/action, result, timestamp if available, related AC/slice IDs, limitation | 280 lines |
 | `browser-evidence.md` | UI route/viewports/screenshots/console/network/interactions and Visual Verdict | 220 lines |
 | `drift.md` | `DRIFT-###` spec/plan drift and resolution | 160 lines |
-| `touched-files.md` | implementation files, slice ownership, reason, and a concern-ordered `## Review trail` of `path:line` stops for human review | 180 lines |
+| `touched-files.md` | implementation files, slice ownership, reason, and a concern-ordered `## Review trail` of `path:line` stops for human review | 160 lines |
 | `design-brief.md` | UI design direction, states, interaction model | 160 lines |
 | `handoff.md` | cold-resume guide: current objective, last completed slice, next action, blockers, read-next links | 120 lines |
 

package/pack/generated/codex/AGENTS.md

@@ -18,6 +18,6 @@ This project has DevRites installed for both Claude Code and Codex.
 ## Workflow contract
 
 - Keep all feature state in `.devrites/work/<slug>/` and preserve `.devrites/ACTIVE`.
-- Follow the DevRites lifecycle: spec -> define -> build -> prove -> polish -> review -> seal -> ship.
+- Follow the DevRites lifecycle: frame -> spec -> temper -> define -> plan -> vet -> build -> converge -> prove -> polish -> review -> seal -> ship -> done.
 - Claims of completion need recorded evidence in the feature workspace, not confidence alone.
 <!-- END DEVRITES CODEX -->

package/pack/generated/codex/skills/devrites-lib/reference/workspace-artifact-schema.md

@@ -9,9 +9,11 @@ workspace map; `proof.md` may stand in for `evidence.md`.
 
 | Phase | Required artifacts |
 | --- | --- |
+| frame | `state.md` |
 | spec | `README.md`/`index.md`/`feature.md`, `brief.md`, `spec.md`, `state.md`, `decisions.md`, `assumptions.md`, `questions.md` |
-| define/plan/vet/build | spec artifacts plus `architecture.md`, `plan.md`, `tasks.md`, `traceability.md` |
-| prove/polish/review/seal/ship | plan artifacts plus `evidence.md`/`proof.md`, `touched-files.md` |
+| temper | spec artifacts |
+| define/plan/vet/build/converge | spec artifacts plus `architecture.md`, `plan.md`, `tasks.md`, `traceability.md` |
+| prove/polish/review/seal/ship/done | plan artifacts plus `evidence.md`/`proof.md`, `touched-files.md` |
 | conditional | `flows.md` when diagrams clarify; `design-brief.md` and `browser-evidence.md` for UI; `drift.md` for drift; `handoff.md` only when requested; `references.md` + `references/` when references exist |
 
 ## What each file owns
@@ -33,7 +35,7 @@ workspace map; `proof.md` may stand in for `evidence.md`.
 | `evidence.md` / `proof.md` | `EVID-###` command/action, result, timestamp if available, related AC/slice IDs, limitation | 280 lines |
 | `browser-evidence.md` | UI route/viewports/screenshots/console/network/interactions and Visual Verdict | 220 lines |
 | `drift.md` | `DRIFT-###` spec/plan drift and resolution | 160 lines |
-| `touched-files.md` | implementation files, slice ownership, reason, and a concern-ordered `## Review trail` of `path:line` stops for human review | 180 lines |
+| `touched-files.md` | implementation files, slice ownership, reason, and a concern-ordered `## Review trail` of `path:line` stops for human review | 160 lines |
 | `design-brief.md` | UI design direction, states, interaction model | 160 lines |
 | `handoff.md` | cold-resume guide: current objective, last completed slice, next action, blockers, read-next links | 120 lines |
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "devrites",
-  "version": "3.0.2",
+  "version": "3.0.3",
   "description": "DevRites — disciplined senior-engineer workflow skills pack for Claude Code and Codex",
   "license": "SEE LICENSE IN LICENSE",
   "homepage": "https://github.com/ViktorsBaikers/DevRites#readme",

package/scripts/codex-generate.sh

@@ -132,7 +132,7 @@ This project has DevRites installed for both Claude Code and Codex.
 ## Workflow contract
 
 - Keep all feature state in `.devrites/work/<slug>/` and preserve `.devrites/ACTIVE`.
-- Follow the DevRites lifecycle: spec -> define -> build -> prove -> polish -> review -> seal -> ship.
+- Follow the DevRites lifecycle: frame -> spec -> temper -> define -> plan -> vet -> build -> converge -> prove -> polish -> review -> seal -> ship -> done.
 - Claims of completion need recorded evidence in the feature workspace, not confidence alone.
 <!-- END DEVRITES CODEX -->
 EOF

package/scripts/grade-feature.sh

@@ -77,9 +77,11 @@ fi
 
 # 7 — state phase / status
 if [ -f "$st" ]; then
-  sfield() { awk -v k="$1" 'match($0,"^[[:space:]]*-?[[:space:]]*" k ":[[:space:]]*"){r=substr($0,RLENGTH+1); sub(/[[:space:]]*(#|\|).*$/,"",r); sub(/[[:space:]]+$/,"",r); print r; exit}' "$st"; }
-  ph="$(sfield Phase)"; stt="$(sfield Status)"
-  case "$ph" in seal|ship|done) ;; *) problems+=("state.md Phase='${ph}' (expected seal/ship/done)") ;; esac
+  ph="$(python3 "$ROOT/scripts/workflow_schema.py" field "$st" phase 2>/dev/null || true)"
+  stt="$(python3 "$ROOT/scripts/workflow_schema.py" field "$st" status 2>/dev/null || true)"
+  if ! python3 "$ROOT/scripts/workflow_schema.py" phase-property "$ph" shippable; then
+    problems+=("state.md Phase='${ph}' (expected a shippable phase)")
+  fi
   case "$stt" in awaiting_human|blocked) problems+=("state.md Status='${stt}' (not shippable)") ;; esac
 else
   problems+=("state.md missing")

package/scripts/run-outcome-evals.sh

@@ -23,6 +23,27 @@ else
   echo "  FAIL — a known-shippable workspace should grade GO"; fail=1
 fi
 
+echo
+echo "== grade synthetic/canonical-cursor (expect GO) =="
+canonical="$tmp/canonical-cursor"
+mkdir -p "$canonical"
+cp -R "$good/." "$canonical/"
+cat > "$canonical/state.md" <<'MD'
+# State
+
+## Cursor
+| Key | Value |
+| --- | --- |
+| phase | done |
+| status | done |
+| next_action | archived |
+MD
+if bash "$GRADER" "$canonical"; then
+  echo "  PASS — canonical cursor graded GO"
+else
+  echo "  FAIL — canonical cursor should grade GO"; fail=1
+fi
+
 echo
 echo "== grade golden/blocked-feature (expect NO-GO) =="
 if bash "$GRADER" "$bad"; then