devrites 6.0.3 → 6.0.4

package/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 All notable changes to DevRites are documented here. The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and DevRites adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). Releases are generated automatically by [semantic-release](https://semantic-release.gitbook.io/) from Conventional Commits on `main`.
 
+## [6.0.4](https://github.com/ViktorsBaikers/DevRites/compare/v6.0.3...v6.0.4) (2026-10-15)
+
+### Changed
+
+* **devrites:** anchor root bundles, wright self-review, per-slice cost ([#105](https://github.com/ViktorsBaikers/DevRites/issues/105)) ([3569ab3](https://github.com/ViktorsBaikers/DevRites/commit/3569ab3d7c313a05c6371c696df9b2b40971ce2b))
+
 ## [6.0.3](https://github.com/ViktorsBaikers/DevRites/compare/v6.0.2...v6.0.3) (2026-10-14)
 
 ### Changed

package/README.md

@@ -31,7 +31,7 @@ history can't lose it. After you clear the conversation, switch hosts, or hand
 the feature to another engineer, the next session reads the same plan,
 decisions, and evidence before it continues.
 
-**Status:** [`v6.0.3`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v6.0.3): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
+**Status:** [`v6.0.4`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v6.0.4): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
 
 This is the latest published release; `main` may contain unreleased work.
 

package/docs/engine/commands.md

@@ -27,15 +27,15 @@ workflow strategy.
 | `check diff-scope <slug> --allow <csv>\|--allow-file <path> [--worktree\|--staged\|--base <ref>]` | Verify the changed-path set stays inside the declared allowlist; the mechanical gate run before reviewer dispatch. |
 | `check skill-trust <path>` | Scan one skill/agent Markdown file for structural trust violations. |
 | `check indexes [--root <dir>]` | Report install manifest and code-index presence as JSON. |
-| `observe summary <slug>` | Emit sanitized JSON workspace summary from one retained observation. `task_graph.ok` is true iff `task_graph.problems` is empty; `problems` lists cycle, unknown-dep, malformed-token, duplicate-id, and missing-`Dependencies` blockers. |
+| `observe summary <slug>` | Emit sanitized JSON workspace summary from one retained observation. `task_graph.ok` is true iff `task_graph.problems` is empty; `problems` lists cycle, unknown-dep, malformed-token, duplicate-id, and missing-`Dependencies` blockers. `inflight_waves` lists dispatch waves still `open` or `sealed`, with their pending roles. |
 | `orient <slug>` | Alias for `observe summary`. |
 | `observe slice <slug> <SLICE-ID>` | Print one `SLICE-###` section of `tasks.md` so Build reads a slice, not the file. |
 | `next [slug]` | Print the minimal remaining lifecycle path plus advisory skips. |
 | `handoff [slug]` | Emit the deterministic resume record: cursor fields, `awaiting_human`, open `questions.md` gate kinds, the `gates.md` reduction with unmet/stale/abandoned ids, `decisions.md` dead ends, missing required files, and the canonical read-next order. Read-only; the `/rite-handoff` spine and the compaction-fallback entry point. |
-| `context [slug] (--phase <p>\|--skill <name>) [--role <r>] [--slice <SLICE-ID>] [--trigger a,b]` | Emit one deduplicated read-set bundle per phase/role/skill from each skill's `loads:` manifest; `--skill` works without a workspace when `--out` is given. A `--role` bundle leads with the role's agent contract and names the manifest's `rootOnly` paths instead of inlining them. `--slice` inlines that slice's `tasks.md` block and turns each over-budget artifact into a by-reference index (path, SHA-256, headings, line hits for every ID the block cites); repeat `--slice` for several slices; an unknown slice exits `3`. |
-| `dispatch <slug> <open\|start\|seal\|return\|status\|abandon>` | Launch-wave barrier for parallel dispatch: seal needs a handle per role, return needs seal; start/return auto-record metrics. A build wave with a wright role needs `--slice <SLICE-ID>` per slice, and a slice-bound vet wave takes it too; every 5 rounds of either kind on one slice, `open` exits `3` until `--reslice-review <DRIFT-ID>` names an unused `drift.md` `## <DRIFT-ID>` heading for that slice. |
+| `context [slug] (--phase <p>\|--skill <name>) [--role <r>] [--slice <SLICE-ID>] [--trigger a,b]` | Emit one deduplicated read-set bundle per phase/role/skill from each skill's `loads:` manifest; `--skill` works without a workspace when `--out` is given. A bundle without `--role` (the root's own read) gives over-budget artifacts as by-reference indexes; a `--role` bundle leads with the role's agent contract and names the manifest's `rootOnly` paths instead of inlining them. `--slice` inlines that slice's `tasks.md` block and turns each over-budget artifact into a by-reference index (path, SHA-256, headings, line hits for every ID the block cites); repeat `--slice` for several slices; an unknown slice exits `3`. |
+| `dispatch <slug> <open\|start\|seal\|return\|status\|abandon>` | Launch-wave barrier for parallel dispatch: seal needs a handle per role, return needs seal; start/return auto-record metrics. A build wave with a wright role needs `--slice <SLICE-ID>` per slice, and a slice-bound vet wave takes it too; every 5 rounds of either kind on one slice, `open` exits `3` until `--reslice-review <DRIFT-ID>` names an unused `drift.md` `## <DRIFT-ID>` heading for that slice. `open` also warns when an earlier wave for the same slice never returned. |
 | `metrics record <slug> --phase <p> --event <e> [--role r] [--bytes n] [--note s]` | Append an event to the workspace's `metrics.jsonl` ledger. |
-| `metrics summary [slug]` | Reduce `metrics.jsonl` into a per-phase roll-up. |
+| `metrics summary [slug] [--by-slice]` | Reduce `metrics.jsonl` into a per-phase roll-up. `--by-slice` reads `dispatch.json` instead: per slice, build wright rounds, slice-bound Vet rechecks, and agent-minutes (role start to `returned_at`; abandoned waves excluded). |
 | `claim <add\|release\|list\|check>` | Advisory session-scoped file claims in `.devrites/claims.jsonl` (append-only). `add` records intent to write a path set with a TTL (1–240 min, default 30); a live claim by another session exits `3` and names the holder. `release` appends a release event owned by the claiming session. `list` shows live claims (`--all` includes expired/released). `check` is the read-only preflight for a path set. Coordination aid only — never a substitute for one-writer-per-worktree. |
 | `note <add\|list\|check\|rm> <slug> ...` | Anchored workspace notes in `notes.md`: `add <slug> <subject> <quote> <title> [body]` binds a note to a verbatim quote in one repository file and assigns `NOTE-###`; `list` and `check` regrade each anchor `exact`/`moved`/`stale`/`ambiguous`/`lost` by searching the repo for the quote (dependency and workspace trees excluded); `check --repair` rewrites a `moved` subject to its new file; `rm` deletes by ID. `check seal` refuses a malformed `notes.md` and any non-`exact` anchor. |
 | `gates <scaffold\|status\|run\|reverify\|lint\|attest\|abandon> <slug>` | Operate the `gates.md` acceptance ledger: seed per-AC gates, execute runnable gates bound to `test-plan.md` preflight rows, attest manual gates, and reduce to `all-met`/`not-met`/`handoff`/`malformed`. |

package/engine/internal/lib/context.go

@@ -204,7 +204,10 @@ func RunContext(root string, args []string, stdout, stderr io.Writer) int {
 		}
 		for _, rel := range workspaceList {
 			abs := filepath.Join(featureDir, filepath.FromSlash(rel))
-			if opts.slice == "" {
+			// Role bundles without --slice (full Vet, Review, Seal) read
+			// everything; root and --slice bundles take over-budget
+			// artifacts by anchor.
+			if opts.slice == "" && opts.role != "" {
 				if writeContextEntry(&bundle, abs, "workspace/"+rel, seen, false) {
 					loaded++
 				}
@@ -269,6 +272,8 @@ func RunContext(root string, args []string, stdout, stderr io.Writer) int {
 	fmt.Fprintln(stdout, ")")
 	if opts.slice != "" {
 		fmt.Fprintf(stdout, "scope: slice %s (%d whole, %d by-reference)\n", opts.slice, whole, byReference)
+	} else if byReference > 0 {
+		fmt.Fprintf(stdout, "scope: root (%d whole, %d by-reference over budget)\n", whole, byReference)
 	}
 	if workspaceScoped {
 		fmt.Fprintf(stdout, "workspace: role-scoped for %s (%d of %d declared artifacts)\n",
@@ -334,16 +339,17 @@ func expandIncludes(abs string, data []byte) []byte {
 	})
 }
 
-// writeSliceEntry writes one workspace artifact of a --slice bundle: tasks.md
-// as the slice block plus a by-reference index, any other canonical artifact
-// over its line/byte budget as a by-reference index, everything else whole.
+// writeSliceEntry writes one workspace artifact of a --slice or root bundle:
+// with a slice, tasks.md as the slice block plus a by-reference index; any
+// canonical artifact over its line/byte budget as a by-reference index;
+// everything else whole.
 func writeSliceEntry(bundle *strings.Builder, project, abs, label, slice, block string, ids []citedID, seen map[string]bool) (loaded, byRef bool) {
 	if seen[abs] {
 		return false, false
 	}
 	data, err := os.ReadFile(abs) // #nosec G304 -- abs is resolved from the validated feature workspace
 	name := filepath.Base(abs)
-	if err == nil && name == "tasks.md" {
+	if err == nil && name == "tasks.md" && slice != "" {
 		seen[abs] = true
 		fmt.Fprintf(bundle, "===== %s (%s block) =====\n%s\n", label, slice, block)
 	} else if status, ok := state.ArtifactBudget(name, data); err != nil || !ok || !status.Over {

package/engine/internal/lib/context_next_test.go

@@ -858,3 +858,55 @@ func TestContextRepeatedSliceUnion(t *testing.T) {
 		t.Fatalf("union of slice blocks wrong:\n%s", text)
 	}
 }
+
+func TestContextRootBundleAnchorsOverBudgetArtifacts(t *testing.T) {
+	root, featureDir := newWorkspace(t, "build")
+	skills := newSkillsRoot(t)
+	writeFile(t, filepath.Join(skills, "rite-build", "SKILL.md"), "---\nname: rite-build\n---\n<!-- loads: {\"always\":[\"devrites-lib/reference/standards/core.md\"],\"workspace\":[\"decisions.md\",\"spec.md\"]} -->\n# build\n")
+	writeFile(t, filepath.Join(featureDir, "decisions.md"), "# Decisions\n"+strings.Repeat("filler decision row\n", 250)+"## DEC-010 Use the store\n")
+	writeFile(t, filepath.Join(featureDir, "spec.md"), "# spec\nsmall spec body\n")
+	run := func(args ...string) string {
+		stdout, stderr := &bytes.Buffer{}, &bytes.Buffer{}
+		if code := RunContext(root, append([]string{"feat", "--phase", "build", "--skills-root", skills}, args...), stdout, stderr); code != 0 {
+			t.Fatalf("code=%d\n%s%s", code, stdout, stderr)
+		}
+		return stdout.String()
+	}
+	out := run()
+	if !strings.Contains(out, "scope: root (1 whole, 1 by-reference over budget)") {
+		t.Fatalf("root scope line missing:\n%s", out)
+	}
+	rootBundle, _ := os.ReadFile(filepath.Join(featureDir, "ctx", "build.bundle.md"))
+	if text := string(rootBundle); !strings.Contains(text, "workspace/decisions.md (by reference)") || strings.Contains(text, "filler decision row") || !strings.Contains(text, "small spec body") {
+		t.Fatalf("root bundle must anchor only the over-budget artifact:\n%s", text)
+	}
+	run("--role", "code-reviewer")
+	roleBundle, _ := os.ReadFile(filepath.Join(featureDir, "ctx", "build-code-reviewer.bundle.md"))
+	if !strings.Contains(string(roleBundle), "filler decision row") {
+		t.Fatalf("a role bundle without --slice must stay whole:\n%s", roleBundle)
+	}
+}
+
+func TestMetricsSummaryBySlice(t *testing.T) {
+	root, featureDir := newWorkspace(t, "build")
+	writeFile(t, filepath.Join(featureDir, "dispatch.json"), `{"waves":{
+ "w1":{"phase":"build","state":"complete","slices":["SLICE-001"],"roles":{"slice-wright":{"handle":"a","started":"2026-10-15T10:00:00Z","returned":true,"returned_at":"2026-10-15T10:30:00Z"}}},
+ "w2":{"phase":"build","state":"complete","slices":["SLICE-001","SLICE-002"],"roles":{"slice-wright":{"handle":"b","started":"2026-10-15T11:00:00Z","returned":true,"returned_at":"2026-10-15T11:20:00Z"}}},
+ "w3":{"phase":"build","state":"abandoned","slices":["SLICE-001"],"roles":{"slice-wright":{"handle":"c"}}},
+ "v1":{"phase":"vet","state":"complete","slices":["SLICE-002"],"roles":{"plan-reviewer":{"handle":"d","started":"2026-10-15T12:00:00Z","returned":true}}},
+ "f1":{"phase":"vet","state":"complete","roles":{"plan-reviewer":{"handle":"e"}}}
+}}`)
+	stdout, stderr := &bytes.Buffer{}, &bytes.Buffer{}
+	if code := RunMetrics(root, []string{"summary", "feat", "--by-slice"}, stdout, stderr); code != 0 {
+		t.Fatalf("code=%d\n%s", code, stderr)
+	}
+	out := stdout.String()
+	for _, want := range []string{
+		"metrics: SLICE-001 wright_rounds=2 vet_rechecks=0 agent_minutes=40\n",
+		"metrics: SLICE-002 wright_rounds=1 vet_rechecks=1 agent_minutes=10\n",
+	} {
+		if !strings.Contains(out, want) {
+			t.Fatalf("missing %q:\n%s", want, out)
+		}
+	}
+}

package/engine/internal/lib/dispatch.go

@@ -56,9 +56,10 @@ type dispatchWave struct {
 }
 
 type dispatchRole struct {
-	Handle    string `json:"handle,omitempty"`
-	StartedAt string `json:"started,omitempty"`
-	Returned  bool   `json:"returned,omitempty"`
+	Handle     string `json:"handle,omitempty"`
+	StartedAt  string `json:"started,omitempty"`
+	Returned   bool   `json:"returned,omitempty"`
+	ReturnedAt string `json:"returned_at,omitempty"`
 }
 
 func dispatchPath(root, slug string) string {
@@ -270,7 +271,7 @@ func dispatchLocked(root, slug, sub, phase, wave, role, handle, reason string, r
 		if r.Returned {
 			return fail("role %q already returned", role)
 		}
-		r.Returned = true
+		r.Returned, r.ReturnedAt = true, nowStamp()
 		all := true
 		for _, o := range w.Roles {
 			if !o.Returned {
@@ -400,12 +401,16 @@ func admitWrightRounds(root, slug string, f *dispatchFile, w *dispatchWave, revi
 	var lines, overCap []string
 	for _, id := range w.Slices {
 		prior, reviews := 0, 0
-		for _, other := range f.Waves {
+		var unreturned []string
+		for name, other := range f.Waves {
 			if other.State == "abandoned" || roundKind(other) != kind {
 				continue
 			}
 			if slices.Contains(other.Slices, id) {
 				prior++
+				if other.State == "open" || other.State == "sealed" {
+					unreturned = append(unreturned, name)
+				}
 			}
 			if slices.Contains(other.ResliceReviewed, id) {
 				reviews++
@@ -416,6 +421,10 @@ func admitWrightRounds(root, slug string, f *dispatchFile, w *dispatchWave, revi
 			overCap = append(overCap, id)
 		}
 		lines = append(lines, fmt.Sprintf("dispatch: %s %s round %d (reslice review every %d)", id, kind, round, wrightRoundsPerReview))
+		if len(unreturned) > 0 {
+			sort.Strings(unreturned)
+			lines = append(lines, fmt.Sprintf("dispatch: WARNING: %s earlier wave(s) %s never returned; record `dispatch return` or `dispatch abandon --reason`", id, strings.Join(unreturned, ",")))
+		}
 	}
 	if len(overCap) == 0 {
 		if review != "" {
@@ -457,6 +466,36 @@ func driftHeading(drift, id string) string {
 	return re.FindString(drift)
 }
 
+// InflightWave is a dispatch wave whose agents have not all returned.
+type InflightWave struct {
+	Wave    string   `json:"wave"`
+	Phase   string   `json:"phase"`
+	State   string   `json:"state"`
+	Pending []string `json:"pending"`
+	Slices  []string `json:"slices,omitempty"`
+}
+
+// inflightWaves lists open or sealed waves with the roles still awaiting a
+// return, sorted by wave name.
+func inflightWaves(f *dispatchFile) []InflightWave {
+	var out []InflightWave
+	for name, w := range f.Waves {
+		if w.State != "open" && w.State != "sealed" {
+			continue
+		}
+		var pending []string
+		for role, r := range w.Roles {
+			if !r.Returned {
+				pending = append(pending, role)
+			}
+		}
+		sort.Strings(pending)
+		out = append(out, InflightWave{Wave: name, Phase: w.Phase, State: w.State, Pending: pending, Slices: w.Slices})
+	}
+	sort.Slice(out, func(i, j int) bool { return out[i].Wave < out[j].Wave })
+	return out
+}
+
 func waveState(w *dispatchWave) string {
 	if w == nil {
 		return "absent"

package/engine/internal/lib/metrics.go

@@ -7,6 +7,7 @@ import (
 	"io"
 	"os"
 	"path/filepath"
+	"slices"
 	"sort"
 	"strconv"
 	"strings"
@@ -23,7 +24,7 @@ const MetricsFile = "metrics.jsonl"
 const metricsUsage = `usage: devrites-engine metrics <record|summary> ...
 
   metrics record <slug> --phase <p> --event <e> [--role r] [--bytes n] [--note s]
-  metrics summary [slug]
+  metrics summary [slug] [--by-slice]
 `
 
 type metricEvent struct {
@@ -150,6 +151,8 @@ func recordMetric(root, slug, phase, event, role string, bytes int64) {
 }
 
 func metricsSummary(root string, args []string, stdout, stderr io.Writer) int {
+	bySlice := slices.Contains(args, "--by-slice")
+	args = slices.DeleteFunc(slices.Clone(args), func(a string) bool { return a == "--by-slice" })
 	slug, code, err := ActiveSlug(root, args)
 	if err != nil {
 		fmt.Fprintf(stderr, "metrics: %v\n", err)
@@ -163,6 +166,9 @@ func metricsSummary(root string, args []string, stdout, stderr io.Writer) int {
 		fmt.Fprintf(stderr, "metrics: %v\n", err)
 		return 2
 	}
+	if bySlice {
+		return sliceCostSummary(root, slug, stdout, stderr)
+	}
 	f, err := os.Open(filepath.Join(dir, MetricsFile)) // #nosec G304 -- dir is a validated workspace and filename is fixed
 	if err != nil {
 		fmt.Fprintf(stdout, "metrics: no events recorded for %s\n", slug)
@@ -258,3 +264,70 @@ func metricsSummary(root string, args []string, stdout, stderr io.Writer) int {
 	fmt.Fprintln(stdout)
 	return 0
 }
+
+// sliceCostSummary reports, per slice named on dispatch waves, the build wright
+// rounds, slice-bound Vet rechecks, and agent-minutes (role start to return; a
+// wave naming several slices splits its minutes evenly). Abandoned waves are
+// excluded, and waves recorded before returns were timestamped count rounds only.
+func sliceCostSummary(root, slug string, stdout, stderr io.Writer) int {
+	f, _, err := loadDispatch(root, slug)
+	if err != nil {
+		fmt.Fprintf(stderr, "metrics: %v\n", err)
+		return 2
+	}
+	type cost struct {
+		wright, vet int
+		minutes     float64
+		timed       bool
+	}
+	per := map[string]*cost{}
+	for _, w := range f.Waves {
+		kind := roundKind(w)
+		if kind == "" || w.State == "abandoned" {
+			continue
+		}
+		minutes, timed := 0.0, false
+		for _, r := range w.Roles {
+			start, startErr := time.Parse(time.RFC3339, r.StartedAt)
+			end, endErr := time.Parse(time.RFC3339, r.ReturnedAt)
+			if startErr == nil && endErr == nil && !end.Before(start) {
+				minutes += end.Sub(start).Minutes()
+				timed = true
+			}
+		}
+		for _, id := range w.Slices {
+			c := per[id]
+			if c == nil {
+				c = &cost{}
+				per[id] = c
+			}
+			if kind == "wright" {
+				c.wright++
+			} else {
+				c.vet++
+			}
+			if timed {
+				c.minutes += minutes / float64(len(w.Slices))
+				c.timed = true
+			}
+		}
+	}
+	if len(per) == 0 {
+		fmt.Fprintf(stdout, "metrics: no slice-tagged dispatch waves for %s\n", slug)
+		return 0
+	}
+	ids := make([]string, 0, len(per))
+	for id := range per {
+		ids = append(ids, id)
+	}
+	sort.Strings(ids)
+	for _, id := range ids {
+		c := per[id]
+		minutes := "n/a"
+		if c.timed {
+			minutes = strconv.FormatFloat(c.minutes, 'f', 0, 64)
+		}
+		fmt.Fprintf(stdout, "metrics: %s wright_rounds=%d vet_rechecks=%d agent_minutes=%s\n", id, c.wright, c.vet, minutes)
+	}
+	return 0
+}

package/engine/internal/lib/observe_budgets_test.go

@@ -394,3 +394,35 @@ func TestObserveArtifactBudgetsOversizedArtifactIsOverWithoutFullRead(t *testing
 		t.Fatalf("allocated %d bytes for a %d byte artifact; the read must be bounded", allocated, size)
 	}
 }
+
+func TestUnreturnedWavesWarnAndSurfaceInOrient(t *testing.T) {
+	root, _ := writeBudgetWorkspace(t, map[string]string{
+		"state.md": "| phase | build |\n| schema | 4 |\n",
+		"tasks.md": budgetTasks,
+	})
+	open := func(wave string) string {
+		stdout, stderr := &bytes.Buffer{}, &bytes.Buffer{}
+		args := []string{"feature", "open", "--phase", "build", "--wave", wave, "--role", "slice-wright", "--slice", "SLICE-001"}
+		if code := RunDispatch(root, args, stdout, stderr); code != 0 {
+			t.Fatalf("open %s: code=%d\n%s%s", wave, code, stdout, stderr)
+		}
+		return stdout.String()
+	}
+	if out := open("r1"); strings.Contains(out, "WARNING") {
+		t.Fatalf("first wave must not warn:\n%s", out)
+	}
+	if out := open("r2"); !strings.Contains(out, "WARNING: SLICE-001 earlier wave(s) r1 never returned") {
+		t.Fatalf("unreturned earlier wave not warned:\n%s", out)
+	}
+	summary, err := ObserveSummaryFor(root, "feature")
+	if err != nil {
+		t.Fatal(err)
+	}
+	if len(summary.InflightWaves) != 2 {
+		t.Fatalf("inflight waves=%+v", summary.InflightWaves)
+	}
+	first := summary.InflightWaves[0]
+	if first.Wave != "r1" || first.State != "open" || len(first.Pending) != 1 || first.Pending[0] != "slice-wright" || first.Slices[0] != "SLICE-001" {
+		t.Fatalf("inflight wave=%+v", first)
+	}
+}

package/engine/internal/lib/observe_summary.go

@@ -51,6 +51,7 @@ type ObserveSummary struct {
 	ArtifactBudgets   []ArtifactBudget       `json:"artifact_budgets,omitempty"`
 	BulkFiles         []BulkFile             `json:"bulk_files,omitempty"`
 	Sequence          *ObserveSequenceCursor `json:"sequence,omitempty"`
+	InflightWaves     []InflightWave         `json:"inflight_waves,omitempty"`
 }
 
 // ObserveSummaryFor builds a summary for one feature slug.
@@ -91,6 +92,13 @@ func ObserveSummaryFor(root, slug string) (ObserveSummary, error) {
 			OK:         len(graph.Problems) == 0,
 		}
 	}
+	// Open or sealed waves are agents whose results the root never recorded;
+	// a resume reconciles them before starting new work.
+	if waves, _, err := loadDispatch(root, slug); err == nil {
+		summary.InflightWaves = inflightWaves(waves)
+	} else {
+		summary.Unreadable = append(summary.Unreadable, "dispatch.json")
+	}
 	if report.SequenceParent != "" || report.SequencePosition != "" || report.SequenceWorkspacesRemaining != "" || report.SequenceRole != "" {
 		summary.Sequence = &ObserveSequenceCursor{
 			Parent:              report.SequenceParent,

package/engine/main.go

@@ -51,7 +51,7 @@ Usage:
   devrites-engine context [slug] (--phase <p> | --skill <name>) [--role <r>] [--slice <id>] [--trigger a,b]
                                          Emit one deduplicated read-set bundle for a phase, skill, or dispatch role
   devrites-engine metrics record <slug> --phase <p> --event <e> [--role r] [--bytes n] [--note s]
-  devrites-engine metrics summary [slug]   Summarize the per-feature metrics.jsonl event ledger
+  devrites-engine metrics summary [slug] [--by-slice]  Summarize the metrics ledger, or per-slice rounds and agent-minutes
   devrites-engine dispatch <slug> <sub>    Launch-wave barrier for parallel dispatch: open/start/seal/return/status/abandon (build wright waves: --slice, round cap)
   devrites-engine claim <add|release|list|check>   Advisory session-scoped file claims for same-tree concurrent sessions (.devrites/claims.jsonl)
   devrites-engine note <subcommand> <slug>         Anchored workspace notes bound to verbatim code quotes; drift regrades them (notes.md)

package/pack/.claude/agents/devrites-slice-wright.md

@@ -120,7 +120,10 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
    new fingerprint. At the limit return the gate and repro. `Escalation` is only for product/irreversible choices
    or human-only access; technical failure is a blocker.
    Before handoff, inspect your cumulative slice diff against the contract and
-   scenario matrix, including correction-affected adjacent variants. Fix supported
+   scenario matrix, including correction-affected adjacent variants, then against
+   the reviewers' own checks: [code review § What to check](../skills/devrites-lib/reference/standards/code-review.md#what-to-check-tests-first)
+   and test analysis (each acceptance criterion has a test that fails without the
+   change; no assertion-free, tautological, or mock-asserting test). Fix supported
    in-scope gaps together, rerun affected proof, and report remaining gaps. Self-check
    never replaces independent review; green tests do not prove all possible cases.
 5. **TRANSFER when isolated.** After green writer-safe proof, verify the diff again,

package/pack/.claude/skills/rite-build/reference/afk-discipline.md

@@ -9,7 +9,9 @@ contract for the sentinel schema, defaults, gate ceiling, and mutable-counter
 ownership. This file owns only Build's dispatch, charging, and red-path behavior.
 
 Rules: green before `built`; hard `max_slices` cap; gates before the action they
-control; irreversible work (destructive/auth/public API) always pauses.
+control; irreversible work (destructive/auth/public API) always pauses; a tick
+never ends with an open or sealed wave — wait for its returns or
+`dispatch abandon --reason`.
 
 ## Iteration cap
 

package/pack/.claude/skills/rite-build/reference/output.md

@@ -9,7 +9,7 @@ Evidence: acceptance met; tests <cmd> → pass; browser <summary|n/a>; drift <no
 Open: <none|blockers|questions>
 Next: /rite-build
 Record: .devrites/work/<slug>/evidence.md
-↻ Hygiene: /clear between slices; /rite-handoff if away > a few hours
+↻ Hygiene: /clear between slices (none in `orient` `inflight_waves`); /rite-handoff if away > a few hours
 ```
 
 **All built:**

package/pack/.claude/skills/rite-build/reference/phase-contract.md

@@ -14,6 +14,8 @@ Spec Drift Guard still applies.
    `Implementation readiness: READY`, current `Readiness inputs SHA-256`, exact
    required accounts, ID/meaning traceability and green proof preflight.
    Run `devrites-engine check readiness <slug>`; any miss/nonzero blocks.
+   Non-empty `orient` `inflight_waves` is reconciled first: `dispatch return` each
+   role whose account is in hand, else `dispatch abandon --reason` and re-dispatch.
 2. **Select.** Pick the lowest pending slice whose `depends_on` are all built, using
    `orient` `task_graph.slices` plus the `state.md` built list — never by scanning
    `tasks.md`; then `observe slice` it. Restate its goal, ACs, exclusions and exact paths. Include

package/pack/generated/claude/agents/devrites-slice-wright.md

@@ -120,7 +120,10 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
    new fingerprint. At the limit return the gate and repro. `Escalation` is only for product/irreversible choices
    or human-only access; technical failure is a blocker.
    Before handoff, inspect your cumulative slice diff against the contract and
-   scenario matrix, including correction-affected adjacent variants. Fix supported
+   scenario matrix, including correction-affected adjacent variants, then against
+   the reviewers' own checks: [code review § What to check](../skills/devrites-lib/reference/standards/code-review.md#what-to-check-tests-first)
+   and test analysis (each acceptance criterion has a test that fails without the
+   change; no assertion-free, tautological, or mock-asserting test). Fix supported
    in-scope gaps together, rerun affected proof, and report remaining gaps. Self-check
    never replaces independent review; green tests do not prove all possible cases.
 5. **TRANSFER when isolated.** After green writer-safe proof, verify the diff again,

package/pack/generated/claude/skills/rite-build/reference/afk-discipline.md

@@ -9,7 +9,9 @@ contract for the sentinel schema, defaults, gate ceiling, and mutable-counter
 ownership. This file owns only Build's dispatch, charging, and red-path behavior.
 
 Rules: green before `built`; hard `max_slices` cap; gates before the action they
-control; irreversible work (destructive/auth/public API) always pauses.
+control; irreversible work (destructive/auth/public API) always pauses; a tick
+never ends with an open or sealed wave — wait for its returns or
+`dispatch abandon --reason`.
 
 ## Iteration cap
 

package/pack/generated/claude/skills/rite-build/reference/output.md

@@ -9,7 +9,7 @@ Evidence: acceptance met; tests <cmd> → pass; browser <summary|n/a>; drift <no
 Open: <none|blockers|questions>
 Next: /rite-build
 Record: .devrites/work/<slug>/evidence.md
-↻ Hygiene: /clear between slices; /rite-handoff if away > a few hours
+↻ Hygiene: /clear between slices (none in `orient` `inflight_waves`); /rite-handoff if away > a few hours
 ```
 
 **All built:**

package/pack/generated/claude/skills/rite-build/reference/phase-contract.md

@@ -14,6 +14,8 @@ Spec Drift Guard still applies.
    `Implementation readiness: READY`, current `Readiness inputs SHA-256`, exact
    required accounts, ID/meaning traceability and green proof preflight.
    Run `devrites-engine check readiness <slug>`; any miss/nonzero blocks.
+   Non-empty `orient` `inflight_waves` is reconciled first: `dispatch return` each
+   role whose account is in hand, else `dispatch abandon --reason` and re-dispatch.
 2. **Select.** Pick the lowest pending slice whose `depends_on` are all built, using
    `orient` `task_graph.slices` plus the `state.md` built list — never by scanning
    `tasks.md`; then `observe slice` it. Restate its goal, ACs, exclusions and exact paths. Include

package/pack/generated/codex/agents/devrites-slice-wright.toml

@@ -118,7 +118,10 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
    new fingerprint. At the limit return the gate and repro. `Escalation` is only for product/irreversible choices
    or human-only access; technical failure is a blocker.
    Before handoff, inspect your cumulative slice diff against the contract and
-   scenario matrix, including correction-affected adjacent variants. Fix supported
+   scenario matrix, including correction-affected adjacent variants, then against
+   the reviewers' own checks: [code review § What to check](../skills/devrites-lib/reference/standards/code-review.md#what-to-check-tests-first)
+   and test analysis (each acceptance criterion has a test that fails without the
+   change; no assertion-free, tautological, or mock-asserting test). Fix supported
    in-scope gaps together, rerun affected proof, and report remaining gaps. Self-check
    never replaces independent review; green tests do not prove all possible cases.
 5. **TRANSFER when isolated.** After green writer-safe proof, verify the diff again,

package/pack/generated/codex/skills/rite-build/reference/afk-discipline.md

@@ -9,7 +9,9 @@ contract for the sentinel schema, defaults, gate ceiling, and mutable-counter
 ownership. This file owns only Build's dispatch, charging, and red-path behavior.
 
 Rules: green before `built`; hard `max_slices` cap; gates before the action they
-control; irreversible work (destructive/auth/public API) always pauses.
+control; irreversible work (destructive/auth/public API) always pauses; a tick
+never ends with an open or sealed wave — wait for its returns or
+`dispatch abandon --reason`.
 
 ## Iteration cap
 

package/pack/generated/codex/skills/rite-build/reference/output.md

@@ -9,7 +9,7 @@ Evidence: acceptance met; tests <cmd> → pass; browser <summary|n/a>; drift <no
 Open: <none|blockers|questions>
 Next: $rite-build
 Record: .devrites/work/<slug>/evidence.md
-↻ Hygiene: /clear between slices; $rite-handoff if away > a few hours
+↻ Hygiene: /clear between slices (none in `orient` `inflight_waves`); $rite-handoff if away > a few hours
 ```
 
 **All built:**

package/pack/generated/codex/skills/rite-build/reference/phase-contract.md

@@ -14,6 +14,8 @@ Spec Drift Guard still applies.
    `Implementation readiness: READY`, current `Readiness inputs SHA-256`, exact
    required accounts, ID/meaning traceability and green proof preflight.
    Run `devrites-engine check readiness <slug>`; any miss/nonzero blocks.
+   Non-empty `orient` `inflight_waves` is reconciled first: `dispatch return` each
+   role whose account is in hand, else `dispatch abandon --reason` and re-dispatch.
 2. **Select.** Pick the lowest pending slice whose `depends_on` are all built, using
    `orient` `task_graph.slices` plus the `state.md` built list — never by scanning
    `tasks.md`; then `observe slice` it. Restate its goal, ACs, exclusions and exact paths. Include

package/pack/generated/devin/agents/devrites-slice-wright.md

@@ -125,7 +125,10 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
    new fingerprint. At the limit return the gate and repro. `Escalation` is only for product/irreversible choices
    or human-only access; technical failure is a blocker.
    Before handoff, inspect your cumulative slice diff against the contract and
-   scenario matrix, including correction-affected adjacent variants. Fix supported
+   scenario matrix, including correction-affected adjacent variants, then against
+   the reviewers' own checks: [code review § What to check](../skills/devrites-lib/reference/standards/code-review.md#what-to-check-tests-first)
+   and test analysis (each acceptance criterion has a test that fails without the
+   change; no assertion-free, tautological, or mock-asserting test). Fix supported
    in-scope gaps together, rerun affected proof, and report remaining gaps. Self-check
    never replaces independent review; green tests do not prove all possible cases.
 5. **TRANSFER when isolated.** After green writer-safe proof, verify the diff again,

package/pack/generated/devin/skills/rite-build/reference/afk-discipline.md

@@ -9,7 +9,9 @@ contract for the sentinel schema, defaults, gate ceiling, and mutable-counter
 ownership. This file owns only Build's dispatch, charging, and red-path behavior.
 
 Rules: green before `built`; hard `max_slices` cap; gates before the action they
-control; irreversible work (destructive/auth/public API) always pauses.
+control; irreversible work (destructive/auth/public API) always pauses; a tick
+never ends with an open or sealed wave — wait for its returns or
+`dispatch abandon --reason`.
 
 ## Iteration cap
 

package/pack/generated/devin/skills/rite-build/reference/output.md

@@ -9,7 +9,7 @@ Evidence: acceptance met; tests <cmd> → pass; browser <summary|n/a>; drift <no
 Open: <none|blockers|questions>
 Next: /rite-build
 Record: .devrites/work/<slug>/evidence.md
-↻ Hygiene: /clear between slices; /rite-handoff if away > a few hours
+↻ Hygiene: /clear between slices (none in `orient` `inflight_waves`); /rite-handoff if away > a few hours
 ```
 
 **All built:**

package/pack/generated/devin/skills/rite-build/reference/phase-contract.md

@@ -14,6 +14,8 @@ Spec Drift Guard still applies.
    `Implementation readiness: READY`, current `Readiness inputs SHA-256`, exact
    required accounts, ID/meaning traceability and green proof preflight.
    Run `devrites-engine check readiness <slug>`; any miss/nonzero blocks.
+   Non-empty `orient` `inflight_waves` is reconciled first: `dispatch return` each
+   role whose account is in hand, else `dispatch abandon --reason` and re-dispatch.
 2. **Select.** Pick the lowest pending slice whose `depends_on` are all built, using
    `orient` `task_graph.slices` plus the `state.md` built list — never by scanning
    `tasks.md`; then `observe slice` it. Restate its goal, ACs, exclusions and exact paths. Include

package/pack/generated/omp/agents/devrites-slice-wright.md

@@ -118,7 +118,10 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
    new fingerprint. At the limit return the gate and repro. `Escalation` is only for product/irreversible choices
    or human-only access; technical failure is a blocker.
    Before handoff, inspect your cumulative slice diff against the contract and
-   scenario matrix, including correction-affected adjacent variants. Fix supported
+   scenario matrix, including correction-affected adjacent variants, then against
+   the reviewers' own checks: [code review § What to check](../skills/devrites-lib/reference/standards/code-review.md#what-to-check-tests-first)
+   and test analysis (each acceptance criterion has a test that fails without the
+   change; no assertion-free, tautological, or mock-asserting test). Fix supported
    in-scope gaps together, rerun affected proof, and report remaining gaps. Self-check
    never replaces independent review; green tests do not prove all possible cases.
 5. **TRANSFER when isolated.** After green writer-safe proof, verify the diff again,

package/pack/generated/omp/skills/rite-build/reference/afk-discipline.md

@@ -9,7 +9,9 @@ contract for the sentinel schema, defaults, gate ceiling, and mutable-counter
 ownership. This file owns only Build's dispatch, charging, and red-path behavior.
 
 Rules: green before `built`; hard `max_slices` cap; gates before the action they
-control; irreversible work (destructive/auth/public API) always pauses.
+control; irreversible work (destructive/auth/public API) always pauses; a tick
+never ends with an open or sealed wave — wait for its returns or
+`dispatch abandon --reason`.
 
 ## Iteration cap
 

package/pack/generated/omp/skills/rite-build/reference/output.md

@@ -9,7 +9,7 @@ Evidence: acceptance met; tests <cmd> → pass; browser <summary|n/a>; drift <no
 Open: <none|blockers|questions>
 Next: /rite-build
 Record: .devrites/work/<slug>/evidence.md
-↻ Hygiene: /clear between slices; /rite-handoff if away > a few hours
+↻ Hygiene: /clear between slices (none in `orient` `inflight_waves`); /rite-handoff if away > a few hours
 ```
 
 **All built:**

package/pack/generated/omp/skills/rite-build/reference/phase-contract.md

@@ -14,6 +14,8 @@ Spec Drift Guard still applies.
    `Implementation readiness: READY`, current `Readiness inputs SHA-256`, exact
    required accounts, ID/meaning traceability and green proof preflight.
    Run `devrites-engine check readiness <slug>`; any miss/nonzero blocks.
+   Non-empty `orient` `inflight_waves` is reconciled first: `dispatch return` each
+   role whose account is in hand, else `dispatch abandon --reason` and re-dispatch.
 2. **Select.** Pick the lowest pending slice whose `depends_on` are all built, using
    `orient` `task_graph.slices` plus the `state.md` built list — never by scanning
    `tasks.md`; then `observe slice` it. Restate its goal, ACs, exclusions and exact paths. Include

package/pack/generated/pi/agents/devrites-slice-wright.md

@@ -119,7 +119,10 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
    new fingerprint. At the limit return the gate and repro. `Escalation` is only for product/irreversible choices
    or human-only access; technical failure is a blocker.
    Before handoff, inspect your cumulative slice diff against the contract and
-   scenario matrix, including correction-affected adjacent variants. Fix supported
+   scenario matrix, including correction-affected adjacent variants, then against
+   the reviewers' own checks: [code review § What to check](../skills/devrites-lib/reference/standards/code-review.md#what-to-check-tests-first)
+   and test analysis (each acceptance criterion has a test that fails without the
+   change; no assertion-free, tautological, or mock-asserting test). Fix supported
    in-scope gaps together, rerun affected proof, and report remaining gaps. Self-check
    never replaces independent review; green tests do not prove all possible cases.
 5. **TRANSFER when isolated.** After green writer-safe proof, verify the diff again,

package/pack/generated/pi/skills/rite-build/reference/afk-discipline.md

@@ -9,7 +9,9 @@ contract for the sentinel schema, defaults, gate ceiling, and mutable-counter
 ownership. This file owns only Build's dispatch, charging, and red-path behavior.
 
 Rules: green before `built`; hard `max_slices` cap; gates before the action they
-control; irreversible work (destructive/auth/public API) always pauses.
+control; irreversible work (destructive/auth/public API) always pauses; a tick
+never ends with an open or sealed wave — wait for its returns or
+`dispatch abandon --reason`.
 
 ## Iteration cap
 

package/pack/generated/pi/skills/rite-build/reference/output.md

@@ -9,7 +9,7 @@ Evidence: acceptance met; tests <cmd> → pass; browser <summary|n/a>; drift <no
 Open: <none|blockers|questions>
 Next: /rite-build
 Record: .devrites/work/<slug>/evidence.md
-↻ Hygiene: /clear between slices; /rite-handoff if away > a few hours
+↻ Hygiene: /clear between slices (none in `orient` `inflight_waves`); /rite-handoff if away > a few hours
 ```
 
 **All built:**

package/pack/generated/pi/skills/rite-build/reference/phase-contract.md

@@ -14,6 +14,8 @@ Spec Drift Guard still applies.
    `Implementation readiness: READY`, current `Readiness inputs SHA-256`, exact
    required accounts, ID/meaning traceability and green proof preflight.
    Run `devrites-engine check readiness <slug>`; any miss/nonzero blocks.
+   Non-empty `orient` `inflight_waves` is reconciled first: `dispatch return` each
+   role whose account is in hand, else `dispatch abandon --reason` and re-dispatch.
 2. **Select.** Pick the lowest pending slice whose `depends_on` are all built, using
    `orient` `task_graph.slices` plus the `state.md` built list — never by scanning
    `tasks.md`; then `observe slice` it. Restate its goal, ACs, exclusions and exact paths. Include

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "devrites",
-  "version": "6.0.3",
+  "version": "6.0.4",
   "description": "DevRites: a disciplined senior-engineer workflow pack for Claude Code, Codex, omp, pi, and Devin CLI",
   "license": "SEE LICENSE IN LICENSE",
   "homepage": "https://github.com/ViktorsBaikers/DevRites#readme",