devrites 3.0.5 → 3.0.7

package/engine/internal/lib/doubtcoverage.go

@@ -10,14 +10,14 @@ import (
 
 // DoubtCoverage answers a single deterministic question: did the build doubt the
 // decisions it stood? It reads only records /rite-build writes, so it is
-// zero-token and cannot fabricate a verdict-per-decision match — the seal's prose
+// zero-token and cannot fabricate a verdict-per-decision match: the seal's prose
 // gate and the reviewer fan-out judge the rest.
 //
 // Two signals, checked in order:
 //
-//  1. decisions.md `doubt: MISSING` — a stood decision recorded but never
+//  1. decisions.md `doubt: MISSING`: a stood decision recorded but never
 //     doubted. The unambiguous skip; checked first, on every path.
-//  2. footprint.log `wright` vs `doubt` lines — wright dispatch(es) with zero
+//  2. footprint.log `wright` vs `doubt` lines: wright dispatch(es) with zero
 //     doubt is the coarse "no doubt ran at all" signal.
 //
 // base is the project directory that contains the .devrites tree.
@@ -39,26 +39,26 @@ func DoubtCoverage(root string, args []string, stdout, stderr io.Writer) int {
 	dir := featureDir(root, slug)
 
 	// A recorded stood decision that was never doubted is the unambiguous
-	// failure — checked first, and on every path (it survives the inline-build
+	// failure: checked first, and on every path (it survives the inline-build
 	// case below, where the footprint heuristic cannot apply).
 	if dec, ok := readFileOK(filepath.Join(dir, "decisions.md")); ok && strings.Contains(dec, "doubt: MISSING") {
-		fmt.Fprintln(stdout, "doubt-coverage: SKIPPED — a '## Decisions stood' entry in decisions.md has doubt: MISSING.")
+		fmt.Fprintln(stdout, "doubt-coverage: SKIPPED: a '## Decisions stood' entry in decisions.md has doubt: MISSING.")
 		fmt.Fprintln(stdout, "A decision was stood and recorded but never doubted. Re-dispatch doubt or escalate.")
 		return 3
 	}
 
 	// Inline build (Task tool unavailable): the wright + doubt ran in-context,
-	// dispatching nothing, so the footprint heuristic does not apply — the
+	// dispatching nothing, so the footprint heuristic does not apply: the
 	// decisions.md check above is the assessment.
 	if isFile(filepath.Join(dir, ".reconcile-inline")) {
-		fmt.Fprintln(stdout, "doubt-coverage: inline build (.reconcile-inline) — footprint heuristic n/a; no MISSING")
+		fmt.Fprintln(stdout, "doubt-coverage: inline build (.reconcile-inline): footprint heuristic n/a; no MISSING")
 		fmt.Fprintln(stdout, "verdict recorded. Verify by hand that each stood decision carries a devrites-doubt verdict.")
 		return 0
 	}
 
 	f, err := os.Open(filepath.Join(dir, "footprint.log"))
 	if err != nil {
-		fmt.Fprintln(stdout, "doubt-coverage: no footprint log — nothing to assess (pass)")
+		fmt.Fprintln(stdout, "doubt-coverage: no footprint log: nothing to assess (pass)")
 		return 0
 	}
 	defer f.Close()
@@ -81,7 +81,7 @@ func DoubtCoverage(root string, args []string, stdout, stderr io.Writer) int {
 
 	if wright > 0 && doubt == 0 {
 		fmt.Fprintf(stdout, "doubt-coverage: no doubt dispatched across %d wright run(s). Either every slice's\n", wright)
-		fmt.Fprintln(stdout, "'Decisions stood' was genuinely empty, or doubt was skipped — verify against decisions.md.")
+		fmt.Fprintln(stdout, "'Decisions stood' was genuinely empty, or doubt was skipped: verify against decisions.md.")
 		return 1
 	}
 	return 0

package/engine/internal/lib/evidencefresh.go

@@ -23,8 +23,8 @@ var touchedPathRe = regexp.MustCompile("`([^`]+)`")
 // base is the project directory that contains the .devrites tree. slug defaults
 // to the active feature named in .devrites/ACTIVE.
 //
-//	0  fresh — the proof post-dates every touched file, or there is nothing to compare
-//	3  stale — a touched file is newer than the proof
+//	0  fresh: the proof post-dates every touched file, or there is nothing to compare
+//	3  stale: a touched file is newer than the proof
 //	5  no workspace, or no proof to check
 func EvidenceFresh(root string, args []string, stdout, stderr io.Writer) int {
 	slug := ""
@@ -51,13 +51,13 @@ func EvidenceFresh(root string, args []string, stdout, stderr io.Writer) int {
 		filepath.Join(workDir, "browser-evidence.md"),
 	)
 	if !haveProof {
-		fmt.Fprintf(stderr, "evidence-fresh: no evidence.md / proof.md / browser-evidence.md in %s — run %s\n", workDir, workflow.ForVerb("prove").Both())
+		fmt.Fprintf(stderr, "evidence-fresh: no evidence.md / proof.md / browser-evidence.md in %s: run %s\n", workDir, workflow.ForVerb("prove").Both())
 		return 5
 	}
 
 	touched, err := os.ReadFile(filepath.Join(workDir, "touched-files.md"))
 	if err != nil {
-		fmt.Fprintln(stdout, "evidence-fresh: no touched-files.md — nothing to compare (treating as fresh).")
+		fmt.Fprintln(stdout, "evidence-fresh: no touched-files.md: nothing to compare (treating as fresh).")
 		return 0
 	}
 
@@ -77,9 +77,9 @@ func EvidenceFresh(root string, args []string, stdout, stderr io.Writer) int {
 	}
 
 	if newestCode > newestProof {
-		fmt.Fprintf(stderr, "evidence-fresh: STALE — %s is newer than the proof. Re-run %s before GO.\n", newestPath, workflow.ForVerb("prove").Both())
+		fmt.Fprintf(stderr, "evidence-fresh: STALE: %s is newer than the proof. Re-run %s before GO.\n", newestPath, workflow.ForVerb("prove").Both())
 		return 3
 	}
-	fmt.Fprintln(stdout, "evidence-fresh: OK — evidence post-dates every touched file.")
+	fmt.Fprintln(stdout, "evidence-fresh: OK: evidence post-dates every touched file.")
 	return 0
 }

package/engine/internal/lib/extensions.go

@@ -15,14 +15,14 @@ import (
 // Extensions is the project-local extension surface: user-authored rites and
 // reviewers that live under .devrites/extensions/<name>/ and are held to the same
 // schema as the shipped pack, then mirrored into the harness's skill/agent dirs.
-// It is DevRites' answer to "add a rite or reviewer without forking the pack" —
+// It is DevRites' answer to "add a rite or reviewer without forking the pack":
 // deliberately project-scoped, with no channel/marketplace/registry apparatus.
 //
 // Layout of one extension:
 //
 //	.devrites/extensions/<name>/
-//	  skill/SKILL.md      (optional) a user skill — must carry name + description frontmatter
-//	  agent.md            (optional) a user reviewer agent — must carry name + description
+//	  skill/SKILL.md      (optional) a user skill: must carry name + description frontmatter
+//	  agent.md            (optional) a user reviewer agent: must carry name + description
 //	  extension.yaml      (optional) metadata: aliases (prior names, so a rename doesn't orphan)
 //
 // base is the .devrites root; the project directory (where .claude lives) is its
@@ -60,7 +60,7 @@ type extension struct {
 }
 
 // discoverExtensions returns the extensions under extDir, sorted by name. A
-// missing extensions dir is not an error — it means the project declares none.
+// missing extensions dir is not an error: it means the project declares none.
 func discoverExtensions(extDir string) ([]extension, error) {
 	entries, err := os.ReadDir(extDir)
 	if err != nil {
@@ -124,7 +124,7 @@ func extensionsList(extDir string, stdout io.Writer) int {
 		if len(provides) == 0 {
 			provides = []string{"(empty)"}
 		}
-		line := fmt.Sprintf("  %s — %s", e.name, strings.Join(provides, "+"))
+		line := fmt.Sprintf("  %s: %s", e.name, strings.Join(provides, "+"))
 		if len(e.aliases) > 0 {
 			line += " · aliases: " + strings.Join(e.aliases, ", ")
 		}
@@ -139,7 +139,7 @@ func extensionsList(extDir string, stdout io.Writer) int {
 // name. Reserved pack prefixes (rite-, devrites-) are a collision warning.
 //
 //	0  every extension well-formed (or none)
-//	1  a schema violation — an extension that would install broken
+//	1  a schema violation: an extension that would install broken
 func extensionsValidate(extDir string, stdout, stderr io.Writer) int {
 	exts, err := discoverExtensions(extDir)
 	if err != nil {
@@ -179,7 +179,7 @@ func extensionsValidate(extDir string, stdout, stderr io.Writer) int {
 				}
 				seenSkill[name] = e.name
 				if reservedPackName(name) {
-					fmt.Fprintf(stdout, "  warning: %s skill name %q uses a reserved pack prefix (rite-/devrites-) — it will shadow or collide with the shipped pack\n", e.name, name)
+					fmt.Fprintf(stdout, "  warning: %s skill name %q uses a reserved pack prefix (rite-/devrites-): it will shadow or collide with the shipped pack\n", e.name, name)
 				}
 			}
 		}
@@ -207,7 +207,7 @@ func extensionsValidate(extDir string, stdout, stderr io.Writer) int {
 		}
 		return 1
 	}
-	fmt.Fprintf(stdout, "extensions: OK — %d extension(s) well-formed, %d manifest(s) checked\n", len(exts), manifestCount)
+	fmt.Fprintf(stdout, "extensions: OK: %d extension(s) well-formed, %d manifest(s) checked\n", len(exts), manifestCount)
 	return 0
 }
 
@@ -479,7 +479,7 @@ func allowedComponentWriteRoot(root string) bool {
 // Claude-to-Codex generation path.
 func extensionsSync(extDir, projectDir string, stdout, stderr io.Writer) int {
 	if code := extensionsValidate(extDir, io.Discard, stderr); code != 0 {
-		fmt.Fprintln(stderr, "extensions: not syncing — validation failed (run `devrites-engine extensions validate`)")
+		fmt.Fprintln(stderr, "extensions: not syncing: validation failed (run `devrites-engine extensions validate`)")
 		return code
 	}
 	exts, _ := discoverExtensions(extDir)

package/engine/internal/lib/footprint.go

@@ -10,8 +10,8 @@ import (
 	"time"
 )
 
-// Footprint reports the fan-out footprint of a feature run — how many subagents
-// were dispatched, of which kinds, across how many slices and minutes — from the
+// Footprint reports the fan-out footprint of a feature run: how many subagents
+// were dispatched, of which kinds, across how many slices and minutes: from the
 // append-only dispatch log at .devrites/work/<slug>/footprint.log. It never
 // derives a token or dollar figure: those cannot be sourced truthfully, and
 // inventing one would violate the proof thesis.
@@ -53,7 +53,7 @@ func Footprint(root string, args []string, stdout, stderr io.Writer) int {
 }
 
 // footprintLog appends one dispatch record. Recording is best-effort: with no
-// workspace, or an unwritable log, it silently succeeds — bookkeeping must never
+// workspace, or an unwritable log, it silently succeeds: bookkeeping must never
 // fail the orchestrator it instruments.
 func footprintLog(dir, logPath string, rest []string, stderr io.Writer) int {
 	kind, label := "", ""
@@ -78,7 +78,7 @@ func footprintLog(dir, logPath string, rest []string, stderr io.Writer) int {
 
 	// Match footprint.sh's `printf '%s %s %s\n'` exactly: three fields always,
 	// so an empty label still writes its trailing space. render/roster tokenize
-	// on whitespace, so the extra field is harmless — but keeping the byte format
+	// on whitespace, so the extra field is harmless, but keeping the byte format
 	// identical means the persisted log is parity-clean too.
 	record := strconv.FormatInt(time.Now().Unix(), 10) + " " + kind + " " + label
 	fmt.Fprintln(f, record)
@@ -87,8 +87,8 @@ func footprintLog(dir, logPath string, rest []string, stderr io.Writer) int {
 
 // footprintRender prints the one-line footprint: the subagent count with a
 // per-kind breakdown, the slice count (one per wright dispatch), and the active
-// span in whole minutes between the first and last record. A "skip" record — a
-// conscious non-dispatch — is not a subagent and never counts.
+// span in whole minutes between the first and last record. A "skip" record: a
+// conscious non-dispatch: is not a subagent and never counts.
 func footprintRender(logPath string, stdout io.Writer) int {
 	f, err := os.Open(logPath)
 	if err != nil {
@@ -129,8 +129,8 @@ func footprintRender(logPath string, stdout io.Writer) int {
 	return 0
 }
 
-// kindBreakdown renders the dispatched kinds in a fixed order — wright, reviewer,
-// audit, doubt — each with its count, joined by " · ". Only kinds actually
+// kindBreakdown renders the dispatched kinds in a fixed order: wright, reviewer,
+// audit, doubt: each with its count, joined by " · ". Only kinds
 // present appear; reviewers and audits pluralize, wright and doubt do not.
 func kindBreakdown(byKind map[string]int) string {
 	kinds := []struct {
@@ -158,7 +158,7 @@ func kindBreakdown(byKind map[string]int) string {
 }
 
 // footprintRoster is the review fan-out accounting gate. Every reviewer on the
-// roster must carry a recorded decision — dispatched, or a conscious skip. An
+// roster must carry a recorded decision: dispatched, or a conscious skip. An
 // unaccounted reviewer is the silent omission this catches. The roster mirrors
 // devrites-lib/reference/parallel-dispatch.md, its single source of truth.
 //
@@ -171,7 +171,7 @@ func footprintRoster(logPath string, stdout io.Writer) int {
 
 	f, err := os.Open(logPath)
 	if err != nil {
-		fmt.Fprintln(stdout, "roster: n/a (no dispatch records — fan-out did not run)")
+		fmt.Fprintln(stdout, "roster: n/a (no dispatch records: fan-out did not run)")
 		return 0
 	}
 	defer f.Close()
@@ -198,7 +198,7 @@ func footprintRoster(logPath string, stdout io.Writer) int {
 		case dispatched[r]:
 			fmt.Fprintf(stdout, "  %s: dispatched\n", r)
 		case skipped[r]:
-			fmt.Fprintf(stdout, "  %s: skipped (always-on — verify carry-forward)\n", r)
+			fmt.Fprintf(stdout, "  %s: skipped (always-on: verify carry-forward)\n", r)
 			alwaysOnSkipped = append(alwaysOnSkipped, r)
 		default:
 			fmt.Fprintf(stdout, "  %s: UNACCOUNTED\n", r)
@@ -219,10 +219,10 @@ func footprintRoster(logPath string, stdout io.Writer) int {
 
 	switch {
 	case len(unaccounted) > 0:
-		fmt.Fprintf(stdout, "roster: UNACCOUNTED — %s\n", strings.Join(unaccounted, " "))
+		fmt.Fprintf(stdout, "roster: UNACCOUNTED: %s\n", strings.Join(unaccounted, " "))
 		return 3
 	case len(alwaysOnSkipped) > 0:
-		fmt.Fprintf(stdout, "roster: always-on skipped — %s\n", strings.Join(alwaysOnSkipped, " "))
+		fmt.Fprintf(stdout, "roster: always-on skipped: %s\n", strings.Join(alwaysOnSkipped, " "))
 		return 1
 	default:
 		fmt.Fprintln(stdout, "roster: complete (every reviewer accounted for)")

package/engine/internal/lib/jsonout.go

@@ -11,7 +11,7 @@ import (
 // The machine-readable agent contract. A `--json` run of an AFK-parsed command
 // wraps its normal text output in a stable envelope so an unattended driver reads
 // a structured result instead of scraping prose. The command's own logic is
-// unchanged — the envelope captures its stdout (as data.text), its stderr (parsed
+// unchanged: the envelope captures its stdout (as data.text), its stderr (parsed
 // into diagnostics), and the exit code. Full contract: docs/engine/agent-contract.md.
 
 // Envelope is the top-level JSON result of a `--json` command run.
@@ -92,7 +92,7 @@ func parseDiagnostic(command, line string) Diagnostic {
 }
 
 // diagnosticCode assigns a stable, greppable code. It is intentionally coarse in
-// v1 — a `<command>_<severity>` slug — so the catalog in agent-contract.md can grow
+// v1 (a `<command>_<severity>` slug) so the catalog in agent-contract.md can grow
 // specific codes over time without breaking consumers that match on the prefix.
 func diagnosticCode(command, severity, message string) string {
 	base := diagCodeWord.ReplaceAllString(strings.ToLower(command), "_")

package/engine/internal/lib/lanes.go

@@ -30,7 +30,7 @@ func Lanes(root string, args []string, stdout, stderr io.Writer) int {
 	}
 	tasks, ok := readFileOK(filepath.Join(featureDir(root, slug), "tasks.md"))
 	if !ok {
-		fmt.Fprintf(stdout, "lanes: no tasks.md for %s — no parallel write lanes.\n", slug)
+		fmt.Fprintf(stdout, "lanes: no tasks.md for %s: no parallel write lanes.\n", slug)
 		return 0
 	}
 	slices := parseLaneSlices(tasks)
@@ -62,7 +62,7 @@ func Lanes(root string, args []string, stdout, stderr io.Writer) int {
 		if len(s.paths) > 0 {
 			conflict = strings.Join(s.paths, ", ")
 		}
-		fmt.Fprintf(stdout, "- %s: %s — %s\n", s.name, kind, conflict)
+		fmt.Fprintf(stdout, "- %s: %s: %s\n", s.name, kind, conflict)
 	}
 	return 0
 }

package/engine/internal/lib/learnings.go

@@ -28,7 +28,7 @@ import (
 // entries at or above DEVRITES_LEARNING_CONFIDENCE_THRESHOLD (default 0.7) are
 // injected into the SessionStart orientation, capped at
 // DEVRITES_MAX_INJECTED_LEARNINGS (default 5). An unmarked entry defaults to 0.5
-// — below the floor — so nothing auto-injects until a human promotes it via
+// (below the floor) so nothing auto-injects until a human promotes it via
 // /rite-learn. The human gate is preserved; only the bounded surfacing is new.
 //
 // Exit codes: 0 ok · 2 bad args.
@@ -118,7 +118,7 @@ func Learnings(root string, args []string, stdout, stderr io.Writer) int {
 	case "mine":
 		arch := archiveDir(root, args)
 		if !isDir(arch) {
-			fmt.Fprintf(stdout, "learnings: no archive at %s — nothing to mine.\n", arch)
+			fmt.Fprintf(stdout, "learnings: no archive at %s: nothing to mine.\n", arch)
 			return 0
 		}
 		fmt.Fprintln(stdout, "learnings: repeated finding/decision phrases across archived features (count >= 2):")
@@ -134,7 +134,7 @@ func Learnings(root string, args []string, stdout, stderr io.Writer) int {
 			fmt.Fprintf(stdout, "  %2d×  %s\n", c.count, c.phrase)
 			printed++
 		}
-		fmt.Fprintln(stdout, "(review these — a stable recurring class is a candidate for a project rule or a ledger entry.)")
+		fmt.Fprintln(stdout, "(review these: a stable recurring class is a candidate for a project rule or a ledger entry.)")
 		return 0
 
 	case "nudge":
@@ -166,7 +166,7 @@ func Learnings(root string, args []string, stdout, stderr io.Writer) int {
 		if len(phrase) > 48 {
 			phrase = phrase[:48]
 		}
-		fmt.Fprintf(stdout, "learnings: a pattern recurs %sx across shipped features (\"%s…\") — review + maybe promote it to a rule with %s.\n",
+		fmt.Fprintf(stdout, "learnings: a pattern recurs %sx across shipped features (\"%s…\"): review + maybe promote it to a rule with %s.\n",
 			strconv.Itoa(top.count), phrase, workflow.ForVerb("learn").Both())
 		return 0
 
@@ -176,7 +176,7 @@ func Learnings(root string, args []string, stdout, stderr io.Writer) int {
 	}
 }
 
-// Injection defaults — the threshold + cap that bound how much of the ledger
+// Injection defaults: the threshold + cap that bound how much of the ledger
 // reaches the SessionStart orientation, so a growing ledger can never bloat the
 // context window.
 const (
@@ -260,7 +260,7 @@ func InjectMax() int {
 	return defaultInjectMax
 }
 
-// archiveDir is the archive to mine — an explicit second argument, or archive/
+// archiveDir is the archive to mine: an explicit second argument, or archive/
 // under root by default.
 func archiveDir(root string, args []string) string {
 	if arch := argAt(args, 1); arch != "" {
@@ -271,14 +271,14 @@ func archiveDir(root string, args []string) string {
 
 // learningsHeader is the ledger preamble written when `add` first creates it.
 const learningsHeader = "# DevRites learnings ledger\n\n" +
-	"Project-local lessons mined from shipped features — recurring corrections,\n" +
+	"Project-local lessons mined from shipped features: recurring corrections,\n" +
 	"dismissed-finding classes, and dead-ends. Loaded by the review skills before a fan-out so\n" +
 	"the same false positive or the same mistake does not recur. Untrusted prior: live code\n" +
 	"always overrides a ledger entry (see standards/security.md).\n\n"
 
 var (
 	// findingLine matches a bullet, or a line mentioning a finding/dead-end/drift/
-	// dismissal — the candidate lines worth clustering.
+	// dismissal: the candidate lines worth clustering.
 	findingLine = regexp.MustCompile(`(?i)^[-*] |finding|dead end|drift|dismiss`)
 	// Normalisers applied to each candidate line so wording clusters despite
 	// incidental differences.
@@ -380,7 +380,7 @@ func anyFileNewerThan(arch string, t time.Time) bool {
 	return newer
 }
 
-// asciiLower lowercases ASCII A–Z, leaving every other byte untouched.
+// asciiLower lowercases ASCII A-Z, leaving every other byte untouched.
 func asciiLower(s string) string {
 	return strings.Map(func(r rune) rune {
 		if r >= 'A' && r <= 'Z' {

package/engine/internal/lib/ledger.go

@@ -7,7 +7,7 @@ import (
 	"strings"
 )
 
-// The capability ledger — DevRites' living "what the system does now" layer.
+// The capability ledger: DevRites' living "what the system does now" layer.
 // Each capability owns `<root>/specs/<capability>/spec.md`, a flat list of proven
 // Requirement blocks. A feature's spec.md carries deltas (ADDED/MODIFIED/REMOVED,
 // per standards/spec-grammar.md); on ship, `ledger sync` folds those deltas in.
@@ -15,7 +15,7 @@ import (
 //
 // The fold is a plain upsert/delete keyed on requirement header identity, and so
 // is idempotent: re-syncing the same feature is a no-op. ADDED vs MODIFIED is a
-// classification the spec-validate `--against` check enforces at the spec gate —
+// classification the spec-validate `--against` check enforces at the spec gate:
 // the fold itself does not need the distinction, which keeps re-runs safe.
 //
 // Exit codes: 0 ok · 1 grammar violation (validate) or nothing to do where a
@@ -181,7 +181,7 @@ func ledgerSync(root string, args []string, stdout, stderr io.Writer, dryRun boo
 			continue
 		}
 		any = true
-		fmt.Fprintf(stdout, "ledger %s: capability %q — +%d added, ~%d modified, -%d removed\n",
+		fmt.Fprintf(stdout, "ledger %s: capability %q: +%d added, ~%d modified, -%d removed\n",
 			verb, f.capability, len(f.added), len(f.modified), len(f.removed))
 		for _, n := range f.added {
 			fmt.Fprintf(stdout, "  + %s\n", n)
@@ -201,7 +201,7 @@ func ledgerSync(root string, args []string, stdout, stderr io.Writer, dryRun boo
 		}
 	}
 	if !any {
-		fmt.Fprintf(stdout, "ledger %s: no changes — the ledger already reflects this feature\n", verb)
+		fmt.Fprintf(stdout, "ledger %s: no changes: the ledger already reflects this feature\n", verb)
 	}
 	return 0
 }
@@ -209,7 +209,7 @@ func ledgerSync(root string, args []string, stdout, stderr io.Writer, dryRun boo
 func writeLedgerCapability(root string, f capabilityFold) error {
 	dir := ledgerSpecsDir(root) + "/" + f.capability
 	if len(f.blocks) == 0 {
-		// The last requirement was removed — drop the now-empty capability spec.
+		// The last requirement was removed: drop the now-empty capability spec.
 		_ = os.Remove(ledgerCapabilityPath(root, f.capability))
 		return nil
 	}
@@ -222,7 +222,7 @@ func writeLedgerCapability(root string, f capabilityFold) error {
 func ledgerValidate(root string, stdout, stderr io.Writer) int {
 	caps := ledgerCapabilities(root)
 	if len(caps) == 0 {
-		fmt.Fprintln(stdout, "ledger validate: no capabilities in the ledger yet — nothing to lint")
+		fmt.Fprintln(stdout, "ledger validate: no capabilities in the ledger yet: nothing to lint")
 		return 0
 	}
 	violations := 0
@@ -241,7 +241,7 @@ func ledgerValidate(root string, stdout, stderr io.Writer) int {
 			violations += len(findings)
 			continue
 		}
-		fmt.Fprintf(stdout, "ledger validate: OK — %s: %d requirement(s) / %d scenario(s)\n", capability, reqs, scens)
+		fmt.Fprintf(stdout, "ledger validate: OK: %s: %d requirement(s) / %d scenario(s)\n", capability, reqs, scens)
 	}
 	if violations > 0 {
 		fmt.Fprintf(stderr, "ledger validate: %d grammar error(s) across the ledger (see standards/spec-grammar.md)\n", violations)
@@ -253,7 +253,7 @@ func ledgerValidate(root string, stdout, stderr io.Writer) int {
 func ledgerList(root string, stdout, stderr io.Writer) int {
 	caps := ledgerCapabilities(root)
 	if len(caps) == 0 {
-		fmt.Fprintln(stdout, "ledger: empty — no proven capabilities recorded yet")
+		fmt.Fprintln(stdout, "ledger: empty: no proven capabilities recorded yet")
 		return 0
 	}
 	for _, capability := range caps {

package/engine/internal/lib/ledger_test.go

@@ -29,7 +29,7 @@ func TestLedgerSyncFoldLifecycle(t *testing.T) {
 		return string(b)
 	}
 
-	// 1. ADD a new requirement — seeds the capability.
+	// 1. ADD a new requirement: seeds the capability.
 	code, out, errs := sync(t, "add-dark-mode", `## ADDED Requirements — capability: theming
 ### Requirement: Dark mode honors the system preference
 The system SHALL default to the OS colour-scheme.
@@ -46,7 +46,7 @@ The system SHALL default to the OS colour-scheme.
 		t.Fatal("ledger missing the added requirement")
 	}
 
-	// 2. Re-sync the SAME feature — idempotent (ADDED becomes an in-place upsert).
+	// 2. Re-sync the SAME feature: idempotent (ADDED becomes an in-place upsert).
 	code, out, _ = sync(t, "add-dark-mode-again", `## ADDED Requirements — capability: theming
 ### Requirement: Dark mode honors the system preference
 The system SHALL default to the OS colour-scheme.
@@ -57,7 +57,7 @@ The system SHALL default to the OS colour-scheme.
 		t.Fatalf("re-sync should upsert, not re-add: %q", out)
 	}
 
-	// 3. MODIFY the requirement — replaces in place.
+	// 3. MODIFY the requirement: replaces in place.
 	_, out, _ = sync(t, "persist-choice", `## MODIFIED Requirements — capability: theming
 ### Requirement: Dark mode honors the system preference
 The system SHALL default to the OS colour-scheme and persist an override.
@@ -71,10 +71,10 @@ The system SHALL default to the OS colour-scheme and persist an override.
 		t.Fatalf("modify did not replace the block: %q", body)
 	}
 
-	// 4. REMOVE it — the empty capability spec is dropped.
+	// 4. REMOVE it: the empty capability spec is dropped.
 	_, out, _ = sync(t, "drop-dark-mode", `## REMOVED Requirements — capability: theming
 ### Requirement: Dark mode honors the system preference
-Removed — theming moved to a plugin.
+Removed: theming moved to a plugin.
 `)
 	if !strings.Contains(out, "-1 removed") {
 		t.Fatalf("want -1 removed, got %q", out)

package/engine/internal/lib/mutationgate.go

@@ -8,11 +8,11 @@ import (
 )
 
 // MutationGate advises whether the slice's tests are strong enough to back "done".
-// Coverage says a line ran; mutation testing says it is actually checked. Running a
+// Coverage says a line ran; mutation testing says it is checked. Running a
 // mutation suite is slow, so this does not run one: it detects which runner the
 // project has, prints the command to run it scoped to the changed files, and leaves
 // the resulting score for /rite-seal to band. With no runner installed it prints a
-// hand-mutation note instead — a project without mutation tooling is never blocked.
+// hand-mutation note instead: a project without mutation tooling is never blocked.
 //
 // Exit codes: 0 advisory printed · 2 no active workspace. (Turning a low score into
 // a NO-GO is /rite-seal's job against the recorded score, so this always exits 0
@@ -48,7 +48,7 @@ func MutationGate(root string, args []string, stdout, stderr io.Writer) int {
 
 	// Detect the mutation runner. A stryker config commits the project to stryker:
 	// if its config is present but npx is not, the tool stays unset (no fall-through
-	// to the other runners) — the project chose stryker, it just is not installed.
+	// to the other runners): the project chose stryker, it just is not installed.
 	tool := ""
 	if isFile(base+"/stryker.conf.json") || isFile(base+"/stryker.config.js") || isFile(base+"/stryker.config.mjs") {
 		if _, err := exec.LookPath("npx"); err == nil {
@@ -63,7 +63,7 @@ func MutationGate(root string, args []string, stdout, stderr io.Writer) int {
 	}
 
 	if tool == "" {
-		fmt.Fprintln(stdout, "mutation-gate: no mutation runner detected (stryker / mutmut / cosmic-ray / pitest) — advisory skipped.")
+		fmt.Fprintln(stdout, "mutation-gate: no mutation runner detected (stryker / mutmut / cosmic-ray / pitest): advisory skipped.")
 		fmt.Fprintln(stdout, "  Strengthen the criticals by hand-mutating (flip a comparison, drop a guard) and confirming a test goes red (standards/testing.md).")
 		return 0
 	}

package/engine/internal/lib/overrides.go

@@ -11,7 +11,7 @@ import (
 
 // subversionPhrase matches an override trying to talk a reviewer OUT of a gate
 // rather than adding emphasis to it. Overrides are advisory reviewer input; they
-// can raise the bar, never lower it. This is a heuristic tripwire, not a parser —
+// can raise the bar, never lower it. This is a heuristic tripwire, not a parser:
 // it exists so a human notices an override that reads like "waive the gate".
 var subversionPhrase = regexp.MustCompile(`(?i)\b(disable|skip|waive|bypass|ignore|suppress|turn off|don'?t (?:block|flag|enforce))\b[^.\n]{0,40}\b(gate|critical|no-?go|review|principle|check|severity|finding)\b|` +
 	`\b(downgrade|lower|relax|treat)\b[^.\n]{0,40}\b(critical|severity|no-?go|blocker)\b`)
@@ -19,7 +19,7 @@ var subversionPhrase = regexp.MustCompile(`(?i)\b(disable|skip|waive|bypass|igno
 // Overrides is the linter for the project's reviewer-override layer:
 // .devrites/overrides/<agent-name>.md, advisory text a reviewer reads AFTER its
 // governing standards to pick up house rules. The layer lets a project tune a
-// shipped reviewer without forking the pack; this command keeps it honest — an
+// shipped reviewer without forking the pack; this command keeps it honest: an
 // override may add checks, never relax a gate.
 //
 //	list       enumerate override files and the agent each targets
@@ -40,7 +40,7 @@ func Overrides(root string, args []string, stdout, stderr io.Writer) int {
 }
 
 // overrideFiles returns the *.md override files under dir, sorted. A missing dir
-// means the project declares no overrides — not an error.
+// means the project declares no overrides: not an error.
 func markdownFiles(dir, kind string) ([]string, error) {
 	entries, err := os.ReadDir(dir)
 	if err != nil {
@@ -79,7 +79,7 @@ func overridesList(dir string, stdout io.Writer) int {
 
 // overridesValidate checks each override is a non-empty file that reads as added
 // emphasis, not a gate waiver. An orphan (no matching agent in the installed pack)
-// is a warning, not a failure — the pack layout differs across harnesses. A
+// is a warning, not a failure: the pack layout differs across harnesses. A
 // subversion phrase is a hard finding, since an override that waives a gate is the
 // one thing this layer must never do.
 //
@@ -105,7 +105,7 @@ func overridesValidate(dir, projectDir string, stdout, stderr io.Writer) int {
 	for _, f := range files {
 		body, _ := readFileOK(filepath.Join(dir, f))
 		if strings.TrimSpace(body) == "" {
-			fmt.Fprintf(stdout, "  warning: %s is empty — no override applied\n", f)
+			fmt.Fprintf(stdout, "  warning: %s is empty: no override applied\n", f)
 			continue
 		}
 		agent := strings.TrimSuffix(f, ".md")
@@ -113,7 +113,7 @@ func overridesValidate(dir, projectDir string, stdout, stderr io.Writer) int {
 			fmt.Fprintf(stdout, "  warning: %s targets %q, which is not an installed agent (orphan override)\n", f, agent)
 		}
 		if subversionPhrase.MatchString(body) {
-			fmt.Fprintf(stderr, "  VIOLATION: %s reads like it waives a gate — an override may add checks, never relax one.\n", f)
+			fmt.Fprintf(stderr, "  VIOLATION: %s reads like it waives a gate: an override may add checks, never relax one.\n", f)
 			subversions++
 		}
 	}
@@ -121,11 +121,11 @@ func overridesValidate(dir, projectDir string, stdout, stderr io.Writer) int {
 		rel := filepath.ToSlash(filepath.Join("templates", f))
 		body, _ := readFileOK(filepath.Join(dir, "templates", f))
 		if strings.TrimSpace(body) == "" {
-			fmt.Fprintf(stdout, "  warning: %s is empty — no template override applied\n", rel)
+			fmt.Fprintf(stdout, "  warning: %s is empty: no template override applied\n", rel)
 			continue
 		}
 		if subversionPhrase.MatchString(body) {
-			fmt.Fprintf(stderr, "  VIOLATION: %s reads like it waives a gate — a template override may add structure, never relax one.\n", rel)
+			fmt.Fprintf(stderr, "  VIOLATION: %s reads like it waives a gate: a template override may add structure, never relax one.\n", rel)
 			subversions++
 		}
 		for _, term := range requiredTemplateGateTerms(f) {
@@ -140,7 +140,7 @@ func overridesValidate(dir, projectDir string, stdout, stderr io.Writer) int {
 		fmt.Fprintf(stderr, "overrides: %d override(s) attempt to relax a gate. A gate stays authoritative; remove the waiver.\n", subversions)
 		return 1
 	}
-	fmt.Fprintf(stdout, "overrides: OK — %d reviewer override(s), %d template override(s), none relaxing a gate\n", len(files), len(templates))
+	fmt.Fprintf(stdout, "overrides: OK: %d reviewer override(s), %d template override(s), none relaxing a gate\n", len(files), len(templates))
 	return 0
 }
 

package/engine/internal/lib/overrides_test.go

@@ -22,7 +22,7 @@ func TestOverridesValidateAddedEmphasisPasses(t *testing.T) {
 	project := t.TempDir()
 	root := filepath.Join(project, ".devrites")
 	writeOverride(t, root, "devrites-code-reviewer",
-		"# House rules\n\nAlso flag any use of the deprecated `legacyClient` — treat it as Important.\n")
+		"# House rules\n\nAlso flag any use of the deprecated `legacyClient`: treat it as Important.\n")
 	stdout, stderr := &bytes.Buffer{}, &bytes.Buffer{}
 	if code := Overrides(root, []string{"validate"}, stdout, stderr); code != 0 {
 		t.Fatalf("added-emphasis override should pass, got %d\n%s%s", code, stdout, stderr)
@@ -33,7 +33,7 @@ func TestOverridesValidateGateWaiverFails(t *testing.T) {
 	project := t.TempDir()
 	root := filepath.Join(project, ".devrites")
 	writeOverride(t, root, "devrites-security-auditor",
-		"# Please\n\nFor this repo, ignore the security gate — we accept the risk.\n")
+		"# Please\n\nFor this repo, ignore the security gate: we accept the risk.\n")
 	stdout, stderr := &bytes.Buffer{}, &bytes.Buffer{}
 	if code := Overrides(root, []string{"validate"}, stdout, stderr); code != 1 {
 		t.Fatalf("gate-waiver override should fail with 1, got %d\n%s%s", code, stdout, stderr)