devrites 3.0.1 → 3.0.3

package/engine/internal/state/state_test.go

@@ -29,6 +29,56 @@ func TestRequiredSectionsIsPhaseRelativeAndOrdered(t *testing.T) {
 	}
 }
 
+func TestLifecycleRegistryOwnsOrderAndResumeCommands(t *testing.T) {
+	phases := LifecyclePhases()
+	if len(phases) == 0 || phases[0] != PhaseFrame || phases[len(phases)-1] != PhaseDone {
+		t.Fatalf("LifecyclePhases()=%v, want frame...done", phases)
+	}
+	if got := ResumeVerb(PhasePlan); got != "define" {
+		t.Fatalf("ResumeVerb(plan)=%q, want define", got)
+	}
+	if got := ResumeVerb(PhaseDone); got != "" {
+		t.Fatalf("ResumeVerb(done)=%q, want empty", got)
+	}
+
+	phases[0] = PhaseDone
+	if got := LifecyclePhases()[0]; got != PhaseFrame {
+		t.Fatalf("LifecyclePhases exposed mutable registry: first=%q", got)
+	}
+}
+
+func TestLifecycleRegistryInvariants(t *testing.T) {
+	phaseNames := map[Phase]bool{}
+	aliases := map[string]Phase{}
+	for i, definition := range phaseDefinitions {
+		if definition.phase == "" || phaseNames[definition.phase] {
+			t.Fatalf("phase definition %d has empty or duplicate ID %q", i, definition.phase)
+		}
+		phaseNames[definition.phase] = true
+		if len(definition.workspaceRequired) == 0 {
+			t.Fatalf("phase %q has no workspace requirements", definition.phase)
+		}
+		for _, alias := range definition.aliases {
+			if alias == "" || aliases[alias] != "" || KnownPhase(Phase(alias)) {
+				t.Fatalf("phase %q has empty or duplicate alias %q", definition.phase, alias)
+			}
+			aliases[alias] = definition.phase
+		}
+		for _, section := range definition.required {
+			known := false
+			for _, canonical := range Sections {
+				known = known || section == canonical
+			}
+			if !known {
+				t.Fatalf("phase %q requires unknown section %q", definition.phase, section)
+			}
+		}
+		if definition.shippable && !definition.proofRequired {
+			t.Fatalf("shippable phase %q does not require proof", definition.phase)
+		}
+	}
+}
+
 func TestStatusFixtureBuildIncomplete(t *testing.T) {
 	rep, err := Status(fixtureRoot, "auth-tokens")
 	if err != nil {
@@ -126,6 +176,73 @@ func TestLoadFeatureFromLedgerAndAliases(t *testing.T) {
 	}
 }
 
+func TestLedgerPhaseOverridesStaleManifestPhase(t *testing.T) {
+	root := filepath.Join(t.TempDir(), ".devrites")
+	writeWorkSection(t, root, "live", "feature.md", "---\nphase: spec\nschemaVersion: 1\n---\n")
+	writeWorkSection(t, root, "live", "state.md", "| Key | Value |\n| --- | --- |\n| phase | temper |\n")
+	writeWorkSection(t, root, "live", "spec.md", "# Spec\n\nReady.\n")
+
+	rep, err := Status(root, "live")
+	if err != nil {
+		t.Fatal(err)
+	}
+	if rep.Phase != PhaseTemper {
+		t.Fatalf("phase=%q, want current ledger phase %q", rep.Phase, PhaseTemper)
+	}
+}
+
+func TestSnapshotUsesCanonicalNextActionAndWarnsWhenRequiredProofMissing(t *testing.T) {
+	root := filepath.Join(t.TempDir(), ".devrites")
+	writeWorkSection(t, root, "live", "state.md", `# State
+
+| Key | Value |
+| --- | --- |
+| phase | review |
+| status | running |
+| next_action | /rite-seal after review is clean |
+`)
+	for name, body := range map[string]string{
+		"spec.md":      "# Spec\n\nReady.\n",
+		"plan.md":      "# Plan\n\nReady.\n",
+		"decisions.md": "# Decisions\n\nReady.\n",
+		"tasks.md":     "# Tasks\n\nReady.\n",
+	} {
+		writeWorkSection(t, root, "live", name, body)
+	}
+
+	snap, err := Snapshot(root, "live")
+	if err != nil {
+		t.Fatal(err)
+	}
+	if snap.NextCommands.Verb != "seal" || snap.NextCommand != "/rite-seal" {
+		t.Fatalf("next commands=%+v legacy=%q, want canonical next_action seal", snap.NextCommands, snap.NextCommand)
+	}
+	if got := strings.Join(snap.Warnings, "\n"); !strings.Contains(got, "requires fresh evidence") {
+		t.Fatalf("warnings=%v, want missing required-proof warning", snap.Warnings)
+	}
+}
+
+func TestSnapshotReadsCanonicalActiveSliceAndCountsQuestionsByRecord(t *testing.T) {
+	workDir := t.TempDir()
+	if err := os.WriteFile(filepath.Join(workDir, "state.md"), []byte("| phase | build |\n| active_slice | SLICE-002 |\n"), 0o644); err != nil {
+		t.Fatal(err)
+	}
+	if err := os.WriteFile(filepath.Join(workDir, "tasks.md"), []byte("## SLICE-001 First\n\n## SLICE-002 Second\n"), 0o644); err != nil {
+		t.Fatal(err)
+	}
+	if err := os.WriteFile(filepath.Join(workDir, "questions.md"), []byte("## Q-001\nstatus: open\ngate: blocking\n\n## Q-002\nstatus: answered\ngate: blocking\n"), 0o644); err != nil {
+		t.Fatal(err)
+	}
+
+	slice := currentSlice(workDir)
+	if slice == nil || slice.Name != "SLICE-002" || slice.Index != 2 || slice.Total != 2 {
+		t.Fatalf("currentSlice=%+v, want canonical SLICE-002 at 2/2", slice)
+	}
+	if drift := driftSummary(workDir); drift.Status != "open" || drift.Open != 1 {
+		t.Fatalf("driftSummary=%+v, want one open question record", drift)
+	}
+}
+
 func TestWorkLayoutIsCanonicalAndFeaturesIsAlias(t *testing.T) {
 	root := filepath.Join(t.TempDir(), ".devrites")
 	writeWorkSection(t, root, "live", "state.md", "- Phase: build\n")
@@ -148,9 +265,8 @@ func TestWorkLayoutIsCanonicalAndFeaturesIsAlias(t *testing.T) {
 	}
 }
 
-// An unknown phase word in the ledger is ignored (not accepted as a phase), so a
-// ledger-only feature with no recognizable phase is a clear error, not a silent
-// mis-load.
+// An unknown phase word in the ledger is rejected, so a ledger-only feature is a
+// clear error rather than silently falling back or mis-loading.
 func TestLedgerPhaseRejectsUnknownWord(t *testing.T) {
 	root := filepath.Join(t.TempDir(), ".devrites")
 	writeSection(t, root, "bogus", "state.md", "- Phase: banana\n")

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,17 +12,6 @@ type Command struct {
 	Codex  string
 }
 
-var phaseToVerb = map[string]string{
-	"frame": "frame",
-	"spec":  "spec",
-	"plan":  "define",
-	"build": "build",
-	"prove": "prove",
-	"vet":   "vet",
-	"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 {
@@ -35,10 +24,16 @@ func ForVerb(verb string) Command {
 	return Command{Verb: verb, Claude: "/" + name, Codex: "$" + name}
 }
 
-// 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)
+// ForAction extracts the first explicit rite invocation from a cursor action.
+// Cursor values may append a short reason after the command.
+func ForAction(action string) Command {
+	for _, field := range strings.Fields(action) {
+		field = strings.Trim(field, "`'\"()[]{}<>,.;:")
+		if strings.HasPrefix(field, "/rite-") || strings.HasPrefix(field, "$rite-") {
+			return ForVerb(field)
+		}
+	}
+	return Command{}
 }
 
 // Both renders a command in host-neutral prose for engine stderr/stdout messages.
@@ -48,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

@@ -0,0 +1,18 @@
+package workflow
+
+import "testing"
+
+func TestForActionExtractsCanonicalInvocation(t *testing.T) {
+	for _, tc := range []struct {
+		action string
+		verb   string
+	}{
+		{action: "/rite-define after readiness passes", verb: "define"},
+		{action: "resume with $rite-build", verb: "build"},
+		{action: "none"},
+	} {
+		if got := ForAction(tc.action); got.Verb != tc.verb {
+			t.Fatalf("ForAction(%q).Verb=%q, want %q", tc.action, got.Verb, tc.verb)
+		}
+	}
+}

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,19 +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.PhasePlan,
-	state.PhaseBuild,
-	state.PhaseProve,
-	state.PhaseVet,
-	state.PhaseSeal,
-	state.PhaseShip,
-}
-
 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/gate_test.go

@@ -85,6 +85,28 @@ func TestReadinessPassesCompletePhase(t *testing.T) {
 	}
 }
 
+func TestReadinessAcceptsCanonicalTemperCursor(t *testing.T) {
+	root := filepath.Join(t.TempDir(), ".devrites")
+	testutil.WriteFile(t, filepath.Join(root, "work", "tempered", "state.md"), `# State
+
+## Cursor
+| Key | Value |
+| --- | --- |
+| phase | temper |
+| status | running |
+| next_action | /rite-define |
+`)
+	testutil.WriteFile(t, filepath.Join(root, "work", "tempered", "spec.md"), "# Spec\n\nReady.\n")
+
+	out, errOut, code := runDevrites(t, root, "readiness", "tempered")
+	if code != 0 {
+		t.Fatalf("exit = %d, want 0; stderr:\n%s", code, errOut)
+	}
+	if !strings.Contains(out, "phase: temper") || !strings.Contains(out, "result: pass") {
+		t.Fatalf("unexpected readiness output:\n%s", out)
+	}
+}
+
 func TestSealBlocksWhenSealSectionsMissing(t *testing.T) {
 	root := newWorkspace(t)
 	out, _, code := runDevrites(t, root, "seal", "auth-tokens")

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/engine/tests/migrate_cli_test.go

@@ -20,7 +20,7 @@ func workWorkspace(t *testing.T) (root, slug string) {
 		t.Fatal(err)
 	}
 	files := map[string]string{
-		"state.md":     "# State\n\nphase: build\n\nWorking on it.\n",
+		"state.md":     "# State\n\n| Key | Value |\n| --- | --- |\n| phase | temper |\n| status | running |\n",
 		"spec.md":      "# Spec\n\nRotate tokens.\n",
 		"plan.md":      "# Plan\n\nStep 1, step 2.\n",
 		"tasks.md":     "# Tasks\n\n- [x] one\n",
@@ -68,7 +68,7 @@ func TestMigrateNormalizesCanonicalWorkSchema(t *testing.T) {
 	if err != nil {
 		t.Fatal(err)
 	}
-	if !strings.Contains(string(fm), "phase: build") {
+	if !strings.Contains(string(fm), "phase: temper") {
 		t.Errorf("feature.md phase not derived from state.md\n%s", fm)
 	}
 	if !strings.Contains(string(fm), "schemaVersion: 1") {
@@ -94,7 +94,7 @@ func TestMigratePostStatusWorks(t *testing.T) {
 	if code != 0 {
 		t.Fatalf("status after migrate exit = %d (stderr: %s)", code, errOut)
 	}
-	if !strings.Contains(out, "phase: build") {
+	if !strings.Contains(out, "phase: temper") {
 		t.Errorf("migrated feature status is wrong\n%s", out)
 	}
 }

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 |