devrites 3.0.5 → 3.0.6

package/engine/internal/lib/analyze.go

@@ -15,10 +15,10 @@ import (
 // written, so a coverage gap surfaces as a one-line plan edit rather than a reslice
 // mid-build. It emits a markdown report and flags:
 //
-//	Coverage     — a spec AC id that no slice Satisfies                 (CRITICAL)
-//	Consistency  — a slice that Satisfies an AC the spec never defines (CRITICAL)
-//	Orphan slice — a slice that satisfies no acceptance criterion       (warn)
-//	Ambiguity    — an unquantified vague adjective or unresolved
+//	Coverage    : a spec AC id that no slice Satisfies                 (CRITICAL)
+//	Consistency : a slice that Satisfies an AC the spec never defines (CRITICAL)
+//	Orphan slice: a slice that satisfies no acceptance criterion       (warn)
+//	Ambiguity   : an unquantified vague adjective or unresolved
 //	               placeholder in the spec                              (warn)
 //
 // It closes with a Metrics line (criteria count, coverage %, orphan + ambiguity
@@ -69,14 +69,14 @@ func Analyze(root string, args []string, stdout, stderr io.Writer) int {
 	covered := 0
 	fmt.Fprintln(stdout, "## Coverage")
 	if len(specACs) == 0 {
-		fmt.Fprintln(stdout, "- [warn] spec.md — no AC-### acceptance ids found; tag criteria for a machine-checkable gate.")
+		fmt.Fprintln(stdout, "- [warn] spec.md: no AC-### acceptance ids found; tag criteria for a machine-checkable gate.")
 	} else {
 		for _, ac := range specACs {
 			if taskSet[ac] {
 				covered++
-				fmt.Fprintf(stdout, "- [ok] %s — covered\n", ac)
+				fmt.Fprintf(stdout, "- [ok] %s: covered\n", ac)
 			} else {
-				fmt.Fprintf(stdout, "- [CRITICAL] %s (spec.md) — no slice Satisfies it (uncovered)\n", ac)
+				fmt.Fprintf(stdout, "- [CRITICAL] %s (spec.md): no slice Satisfies it (uncovered)\n", ac)
 				crit++
 			}
 		}
@@ -88,7 +88,7 @@ func Analyze(root string, args []string, stdout, stderr io.Writer) int {
 	if len(taskACs) > 0 {
 		for _, ac := range taskACs {
 			if !specSet[ac] {
-				fmt.Fprintf(stdout, "- [CRITICAL] %s (tasks.md) — referenced by a slice but not defined in spec.md (dangling)\n", ac)
+				fmt.Fprintf(stdout, "- [CRITICAL] %s (tasks.md): referenced by a slice but not defined in spec.md (dangling)\n", ac)
 				crit++
 			}
 		}
@@ -99,7 +99,7 @@ func Analyze(root string, args []string, stdout, stderr io.Writer) int {
 	for _, name := range orphanSlices(tasksData) {
 		if name != "" {
 			orphans++
-			fmt.Fprintf(stdout, "- [warn] slice '%s' — satisfies no acceptance criterion (add Satisfies: or justify)\n", name)
+			fmt.Fprintf(stdout, "- [warn] slice '%s': satisfies no acceptance criterion (add Satisfies, or justify)\n", name)
 		}
 	}
 
@@ -127,17 +127,17 @@ func Analyze(root string, args []string, stdout, stderr io.Writer) int {
 
 	fmt.Fprintln(stdout)
 	if crit > 0 {
-		fmt.Fprintf(stdout, "## Verdict: BLOCKED — %d CRITICAL finding(s). Resolve before %s.\n", crit, workflow.ForVerb("build").Both())
+		fmt.Fprintf(stdout, "## Verdict: BLOCKED: %d CRITICAL finding(s). Resolve before %s.\n", crit, workflow.ForVerb("build").Both())
 		return 1
 	}
-	fmt.Fprintln(stdout, "## Verdict: clear — spec/tasks consistent and fully mapped.")
+	fmt.Fprintln(stdout, "## Verdict: clear: spec/tasks consistent and fully mapped.")
 	return 0
 }
 
 // ambiguityFindings scans spec text for unfalsifiable criteria: a vague quality
 // adjective (fast, robust, secure …) on a line with no number to pin it down, or an
 // unresolved placeholder (TODO, ???, <placeholder> …). Code fences are skipped. One
-// finding per line — a placeholder takes precedence over an adjective. 1-based lines.
+// finding per line: a placeholder takes precedence over an adjective. 1-based lines.
 func ambiguityFindings(specData []byte) []string {
 	var out []string
 	inFence := false
@@ -151,16 +151,16 @@ func ambiguityFindings(specData []byte) []string {
 		}
 		ln := i + 1
 		if m := placeholderRe.FindString(line); m != "" {
-			out = append(out, fmt.Sprintf("- [warn] spec.md:L%d — unresolved placeholder %q", ln, m))
+			out = append(out, fmt.Sprintf("- [warn] spec.md:L%d: unresolved placeholder %q", ln, m))
 			continue
 		}
-		// Strip the AC id before the digit gate — else the id's own digit masks
+		// Strip the AC id before the digit gate: else the id's own digit masks
 		// a vague adjective on the very criterion line it tags.
 		bare := acIDRe.ReplaceAllString(line, "")
 		bare = taskACRe.ReplaceAllString(bare, "")
 		if !analyzeDigitRe.MatchString(bare) {
 			if m := vagueAdjRe.FindString(bare); m != "" {
-				out = append(out, fmt.Sprintf("- [warn] spec.md:L%d — %q is not quantified; state a measurable target", ln, m))
+				out = append(out, fmt.Sprintf("- [warn] spec.md:L%d: %q is not quantified; state a measurable target", ln, m))
 			}
 		}
 	}

package/engine/internal/lib/archivesearch.go

@@ -10,7 +10,7 @@ import (
 )
 
 // ArchiveSearch surfaces shipped features whose spec.md overlaps a query, so
-// /rite-spec can spot prior art before writing a new spec — an extension, a
+// /rite-spec can spot prior art before writing a new spec: an extension, a
 // conflict, or a re-spec of solved work. It is advisory, not a gate: it always
 // exits 0 when it runs (empty output means no overlap), and reserves exit 2 for
 // a missing query. The query is the feature's key nouns, one or many args; a
@@ -36,7 +36,7 @@ func ArchiveSearch(root string, args []string, stdout, stderr io.Writer) int {
 
 	entries, err := os.ReadDir(filepath.Join(root, "archive"))
 	if err != nil {
-		// No archive yet — no prior art to surface. Silent, successful no-op.
+		// No archive yet: no prior art to surface. Silent, successful no-op.
 		return 0
 	}
 
@@ -80,7 +80,7 @@ func ArchiveSearch(root string, args []string, stdout, stderr io.Writer) int {
 }
 
 // specTitle returns the spec's first Markdown heading, or its first non-empty
-// line, as a one-line label — empty when the spec has neither.
+// line, as a one-line label: empty when the spec has neither.
 func specTitle(b []byte) string {
 	for _, line := range strings.Split(string(b), "\n") {
 		line = strings.TrimSpace(line)

package/engine/internal/lib/budget.go

@@ -10,7 +10,7 @@ import (
 // The context-budget lint. A feature is deliberately a directory of small,
 // single-concern files rather than one long document: each file stays
 // context-cheap to read, and completeness is self-evident from which files
-// exist. That discipline only holds if the files stay small — a spec.md that
+// exist. That discipline only holds if the files stay small: a spec.md that
 // grows to 800 lines is a "sausage" that an agent must load whole, spending the
 // context window it was meant to conserve. Budget measures every workspace file
 // against a per-file line ceiling and flags the overgrown ones.
@@ -107,10 +107,10 @@ func Budget(root string, args []string, stdout, stderr io.Writer) int {
 		return 0
 	}
 	if strict {
-		fmt.Fprintf(stdout, "budget: %d file(s) over the line budget — split or trim them\n", over)
+		fmt.Fprintf(stdout, "budget: %d file(s) over the line budget: split or trim them\n", over)
 		return 3
 	}
-	fmt.Fprintf(stdout, "budget: %d file(s) over the line budget (advisory — pass --strict to fail)\n", over)
+	fmt.Fprintf(stdout, "budget: %d file(s) over the line budget (advisory: pass --strict to fail)\n", over)
 	return 0
 }
 

package/engine/internal/lib/buildreadiness.go

@@ -12,7 +12,7 @@ import (
 )
 
 // BuildReadiness decides whether a feature is ready to build, reading only its
-// recorded state (state.md) — an open HITL question, a blocked plan, or an
+// recorded state (state.md): an open HITL question, a blocked plan, or an
 // unapproved plan each stops the build with a distinct, actionable exit code
 // rather than trusting the model to honour a prose checklist. It never mutates
 // the workspace.
@@ -33,7 +33,7 @@ func BuildReadiness(root string, args []string, stdout, stderr io.Writer) int {
 		if shown == "" {
 			shown = "<unset>"
 		}
-		fmt.Fprintf(stderr, "readiness: no active workspace/state.md (slug=%s) — run %s <feature>\n", shown, workflow.ForVerb("spec").Both())
+		fmt.Fprintf(stderr, "readiness: no active workspace/state.md (slug=%s): run %s <feature>\n", shown, workflow.ForVerb("spec").Both())
 		return 5
 	}
 
@@ -43,16 +43,16 @@ func BuildReadiness(root string, args []string, stdout, stderr io.Writer) int {
 	status := readinessField(lines, "Status")
 	switch status {
 	case "awaiting_human":
-		fmt.Fprintf(stderr, "readiness: STOP — Status: awaiting_human. Resume with %s <qid> \"<answer>\".\n", workflow.ForVerb("resolve").Both())
+		fmt.Fprintf(stderr, "readiness: STOP: Status: awaiting_human. Resume with %s <qid> \"<answer>\".\n", workflow.ForVerb("resolve").Both())
 		return 3
 	case "blocked":
-		fmt.Fprintf(stderr, "readiness: STOP — Status: blocked. Repair with %s repair (or unblock).\n", workflow.ForVerb("plan").Both())
+		fmt.Fprintf(stderr, "readiness: STOP: Status: blocked. Repair with %s repair (or unblock).\n", workflow.ForVerb("plan").Both())
 		return 4
 	}
 
 	approved := readinessField(lines, "Plan approved")
 	if approved == "" || approved == "none" {
-		fmt.Fprintf(stderr, "readiness: STOP — plan not approved (state.md has no \"Plan approved\"). Run %s.\n", workflow.ForVerb("define").Both())
+		fmt.Fprintf(stderr, "readiness: STOP: plan not approved (state.md has no \"Plan approved\"). Run %s.\n", workflow.ForVerb("define").Both())
 		return 2
 	}
 
@@ -60,7 +60,7 @@ func BuildReadiness(root string, args []string, stdout, stderr io.Writer) int {
 	if shownStatus == "" {
 		shownStatus = "running"
 	}
-	fmt.Fprintf(stdout, "readiness: OK — plan approved %s, status %s. Ready to build.\n", approved, shownStatus)
+	fmt.Fprintf(stdout, "readiness: OK: plan approved %s, status %s. Ready to build.\n", approved, shownStatus)
 	return 0
 }
 

package/engine/internal/lib/checkacceptance.go

@@ -9,7 +9,7 @@ import (
 	"strings"
 )
 
-// Executable acceptance criteria — a port of check-acceptance.sh. Grades the
+// Executable acceptance criteria: a port of check-acceptance.sh. Grades the
 // AC-### acceptance criteria in spec.md against seal.md: each spec
 // criterion must be checked ([x]) in seal.md. Without ids it falls back to a
 // count/unchecked heuristic. The spec-time mirror is SpecValidate (shape); this
@@ -41,7 +41,7 @@ func CheckAcceptance(ws string, stdout, stderr io.Writer) int {
 		return 5
 	}
 	if !isFile(seal) {
-		fmt.Fprintf(stderr, "check-acceptance: no seal.md in %s — feature not sealed\n", ws)
+		fmt.Fprintf(stderr, "check-acceptance: no seal.md in %s: feature not sealed\n", ws)
 		return 5
 	}
 
@@ -57,14 +57,14 @@ func CheckAcceptance(ws string, stdout, stderr io.Writer) int {
 	}
 
 	if sectionEmpty(specBody) {
-		fmt.Fprintln(stderr, "check-acceptance: spec.md has no \"## Acceptance criteria\" section — nothing to grade")
+		fmt.Fprintln(stderr, "check-acceptance: spec.md has no \"## Acceptance criteria\" section: nothing to grade")
 		return 1
 	}
 
 	specIDs := sortedUniqueIDs(specBody)
 
 	if len(specIDs) > 0 {
-		// ID mode — each spec AC id must be checked ([x]) in seal.md.
+		// ID mode: each spec AC id must be checked ([x]) in seal.md.
 		checkedIDs := map[string]bool{}
 		for _, line := range sealBody {
 			if checkedRe.MatchString(line) {
@@ -85,18 +85,18 @@ func CheckAcceptance(ws string, stdout, stderr io.Writer) int {
 				total-len(missing), total, " "+strings.Join(missing, " "))
 			return 1
 		}
-		fmt.Fprintf(stdout, "check-acceptance: OK — all %d acceptance criteria (%s) proven + checked in seal.md\n",
+		fmt.Fprintf(stdout, "check-acceptance: OK: all %d acceptance criteria (%s) proven + checked in seal.md\n",
 			total, strings.Join(specIDs, " "))
 		return 0
 	}
 
-	// Fallback (no ids) — count spec criteria vs seal checked/unchecked items.
+	// Fallback (no ids): count spec criteria vs seal checked/unchecked items.
 	specN := countMatching(specBody, bulletRe)
 	sealTotal := countMatching(sealBody, checkboxRe)
 	sealUnchecked := countMatching(sealBody, uncheckedRe)
 
 	if sealTotal < specN {
-		fmt.Fprintf(stderr, "check-acceptance: seal.md lists %d acceptance items but spec.md has %d criteria — %d dropped. (Tag criteria AC-### to grade by id.)\n",
+		fmt.Fprintf(stderr, "check-acceptance: seal.md lists %d acceptance items but spec.md has %d criteria: %d dropped. (Tag criteria AC-### to grade by id.)\n",
 			sealTotal, specN, specN-sealTotal)
 		return 1
 	}
@@ -104,12 +104,12 @@ func CheckAcceptance(ws string, stdout, stderr io.Writer) int {
 		fmt.Fprintf(stderr, "check-acceptance: %d acceptance criterion(s) unchecked in seal.md (unproven). (Tag criteria AC-### to grade by id.)\n", sealUnchecked)
 		return 1
 	}
-	fmt.Fprintf(stdout, "check-acceptance: OK — %d acceptance items all checked in seal.md (no ids; add AC-### for id-level grading)\n", sealTotal)
+	fmt.Fprintf(stdout, "check-acceptance: OK: %d acceptance items all checked in seal.md (no ids; add AC-### for id-level grading)\n", sealTotal)
 	return 0
 }
 
 // acSection returns the body lines under an "## Acceptance Criteria" heading
-// (case-insensitive on the words), up to the next "## " heading — mirroring the
+// (case-insensitive on the words), up to the next "## " heading: mirroring the
 // awk one-liner in check-acceptance.sh.
 func acSection(file string) ([]string, error) {
 	f, err := os.Open(file)
@@ -140,7 +140,7 @@ func acSection(file string) ([]string, error) {
 // sectionEmpty reports whether the acceptance body is empty in the bash sense:
 // awk emits each in-section line with a trailing newline, $() strips the trailing
 // newlines, and `[ -z ]` tests the remainder. A body of only blank lines collapses
-// to "" — so a heading followed by blanks is "nothing to grade", not a fallback.
+// to "", so a heading followed by blanks is "nothing to grade", not a fallback.
 func sectionEmpty(lines []string) bool {
 	return strings.TrimRight(strings.Join(lines, "\n"), "\n") == ""
 }

package/engine/internal/lib/closeout.go

@@ -9,7 +9,7 @@ import (
 
 // CloseOut retires a shipped feature: it moves the feature directory into the
 // archive and, when the feature is still the active one, clears the ACTIVE cursor
-// so the next /rite-spec starts clean. The workspace is relocated, never deleted —
+// so the next /rite-spec starts clean. The workspace is relocated, never deleted:
 // the audit trail is preserved under archive/<slug>.
 //
 // args is `<slug> [devrites-dir]`. The optional second argument overrides the
@@ -18,7 +18,7 @@ import (
 //
 //	0  archived (ACTIVE cleared if it pointed here)
 //	4  no slug given, or the feature has no workspace
-//	5  an archive already exists at the destination — refuse to clobber it
+//	5  an archive already exists at the destination: refuse to clobber it
 func CloseOut(root string, args []string, stdout, stderr io.Writer) int {
 	slug := argAt(args, 0)
 	dv := argAt(args, 1)
@@ -41,12 +41,12 @@ func CloseOut(root string, args []string, stdout, stderr io.Writer) int {
 	// A broken symlink at the destination still counts as "already there", so use
 	// Lstat rather than Stat to avoid silently overwriting it.
 	if _, err := os.Lstat(arch); err == nil {
-		fmt.Fprintf(stderr, "close-out: archive already exists at %s — refusing to clobber\n", arch)
+		fmt.Fprintf(stderr, "close-out: archive already exists at %s: refusing to clobber\n", arch)
 		return 5
 	}
 
 	// Fail closed: if the move does not happen, leave the cursor alone and do not
-	// claim success — a lost audit trail must never look like a clean close-out.
+	// claim success: a lost audit trail must never look like a clean close-out.
 	if err := os.MkdirAll(filepath.Join(dv, "archive"), 0o755); err != nil {
 		fmt.Fprintf(stderr, "close-out: cannot create archive dir: %v\n", err)
 		return 1
@@ -64,6 +64,6 @@ func CloseOut(root string, args []string, stdout, stderr io.Writer) int {
 			return 0
 		}
 	}
-	fmt.Fprintf(stdout, "close-out: archived %s -> %s (ACTIVE pointed elsewhere — left as-is)\n", slug, filepath.ToSlash(arch))
+	fmt.Fprintf(stdout, "close-out: archived %s -> %s (ACTIVE pointed elsewhere: left as-is)\n", slug, filepath.ToSlash(arch))
 	return 0
 }

package/engine/internal/lib/conventions.go

@@ -162,7 +162,7 @@ func conventionsPromote(args []string, stdout, stderr io.Writer) int {
 	}
 	if !already {
 		e.Corroborations++
-		e.Proofs = append(e.Proofs, fmt.Sprintf("%s %s — %s", slug, conventionDate(date), evidence))
+		e.Proofs = append(e.Proofs, fmt.Sprintf("%s %s: %s", slug, conventionDate(date), evidence))
 	}
 	entries[key] = e
 	if err := saveConventions(root, entries); err != nil {
@@ -202,7 +202,7 @@ func conventionsContradict(args []string, stdout, stderr io.Writer) int {
 	}
 	when := conventionDate(date)
 	e.Contradictions++
-	e.Proofs = append(e.Proofs, fmt.Sprintf("%s %s — CONTRADICTED: %s", slug, when, evidence))
+	e.Proofs = append(e.Proofs, fmt.Sprintf("%s %s: CONTRADICTED: %s", slug, when, evidence))
 	entries[key] = e
 	if err := saveConventions(root, entries); err != nil {
 		fmt.Fprintln(stderr, err)
@@ -240,7 +240,7 @@ func conventionsContradict(args []string, stdout, stderr io.Writer) int {
 			return 1
 		}
 	}
-	fmt.Fprintf(stdout, "DRIFT: convention '%s' contradicted by %s — now %s\n", key, slug, state)
+	fmt.Fprintf(stdout, "DRIFT: convention '%s' contradicted by %s: now %s\n", key, slug, state)
 	return 0
 }
 

package/engine/internal/lib/coverage.go

@@ -49,11 +49,11 @@ func Coverage(root string, args []string, stdout, stderr io.Writer) int {
 
 	specBytes, err := os.ReadFile(filepath.Join(dir, "spec.md"))
 	if err != nil {
-		fmt.Fprintln(stderr, "coverage: no spec.md — nothing to map.")
+		fmt.Fprintln(stderr, "coverage: no spec.md: nothing to map.")
 		return 2
 	}
 
-	// tasks.md / seal.md are optional inputs — a missing one just yields
+	// tasks.md / seal.md are optional inputs: a missing one just yields
 	// UNCOVERED slices / pending proof, never an error.
 	tasks, haveTasks := readFileOK(filepath.Join(dir, "tasks.md"))
 	seal, haveSeal := readFileOK(filepath.Join(dir, "seal.md"))
@@ -69,7 +69,7 @@ func Coverage(root string, args []string, stdout, stderr io.Writer) int {
 			slices = slicesForAC(tasks, ac)
 		}
 		if slices == "" {
-			slices = "— (UNCOVERED)"
+			slices = "(UNCOVERED)"
 		}
 		proven := "pending"
 		if haveSeal && provenInSeal(seal, ac) {
@@ -108,7 +108,7 @@ func acIDs(spec string) []string {
 // slicesForAC returns the `;`-joined slice headers whose `Satisfies:` line names
 // ac, in file order. It reproduces the script's awk exactly, including its two
 // quirks: the current `## Slice …` header persists to the next Satisfies line,
-// and the match is a substring test — so ac "AC1" also matches a slice that
+// and the match is a substring test, so ac "AC1" also matches a slice that
 // satisfies "AC10". Faithful parity requires preserving both.
 func slicesForAC(tasks, ac string) string {
 	var matched []string

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), "_")