devrites 3.0.4 → 3.0.6

package/engine/internal/gate/gate.go

@@ -2,7 +2,7 @@
 //
 // Enforcement is phase-relative, gate-scoped, and transition-fired: a gate
 // checks only the sections required to make its transition, and only when it is
-// run — never on every tool call. A block is a HITL pause (a structured
+// run: never on every tool call. A block is a HITL pause (a structured
 // "missing X" the human resolves and retries), never a crash. Judgment gates
 // stay advisory; these deterministic gates are the ones allowed to block.
 package gate
@@ -23,10 +23,10 @@ type Kind string
 
 const (
 	// Readiness checks the sections required to LEAVE the feature's current
-	// phase — the gate fired when advancing to the next phase.
+	// phase: the gate fired when advancing to the next phase.
 	Readiness Kind = "readiness"
 	// Seal checks the full seal-phase requirement set regardless of the
-	// feature's current phase — the final completeness gate before shipping.
+	// feature's current phase: the final completeness gate before shipping.
 	Seal Kind = "seal"
 )
 
@@ -44,7 +44,7 @@ type Result struct {
 // Check runs a gate against feature <slug> under root, reading the files
 // directly (the files are always the source of truth, so a gate never trusts a
 // possibly-stale cache). It returns an error only for a genuinely broken request
-// (unknown slug, unreadable state) — a legitimately incomplete feature is a
+// (unknown slug, unreadable state): a legitimately incomplete feature is a
 // Result with Blocked set, not an error.
 func Check(kind Kind, root, slug string) (*Result, error) {
 	f, err := state.LoadFeature(root, slug)
@@ -68,7 +68,7 @@ func Check(kind Kind, root, slug string) (*Result, error) {
 
 // Render produces the deterministic, greppable gate output (with a trailing
 // newline). A block names exactly the missing sections and the resolve step, so
-// a human — or an AFK agent — knows precisely what to fix.
+// a human (or an AFK agent) knows precisely what to fix.
 func (r *Result) Render() string {
 	var b strings.Builder
 	fmt.Fprintf(&b, "gate: %s\n", r.Kind)
@@ -92,10 +92,10 @@ func (r *Result) Render() string {
 // StopGate evaluates the stop-hook rest-point invariant for the active feature:
 // a feature that CLAIMS completion (it has advanced to seal, ship, or done)
 // must not have an empty proof section. This is a rest-point check, NOT
-// whole-feature completeness — normal in-progress incompleteness never trips it,
+// whole-feature completeness: normal in-progress incompleteness never trips it,
 // so a mid-build turn is never blocked.
 //
-// It returns a zero StopResult (Blocked false) — silent, no block — when there
+// It returns a zero StopResult (Blocked false) (silent, no block) when there
 // is no active feature or the workspace can't be read, keeping the stop hook
 // fail-open.
 func StopGate(root string) (StopResult, error) {
@@ -108,7 +108,7 @@ func StopGate(root string) (StopResult, error) {
 		return StopResult{}, nil // fail-open: a broken workspace never wedges Stop
 	}
 	// Fail-on-red: the redwatch hook marks a known-red suite by writing .red. A turn
-	// must not rest while it is set — evidence over confidence. This is a rest-point
+	// must not rest while it is set: evidence over confidence. This is a rest-point
 	// invariant (a concrete, provable inconsistency), not whole-feature completeness.
 	featureDir := devritespaths.FeatureDir(root, slug)
 	if _, statErr := os.Stat(filepath.Join(featureDir, ".red")); statErr == nil {
@@ -116,7 +116,7 @@ func StopGate(root string) (StopResult, error) {
 			Slug:    slug,
 			Blocked: true,
 			Reason: fmt.Sprintf(
-				"feature %q has tests/build RED (.red is set) — fix to green, or record the failure and next step, before stopping",
+				"feature %q has tests/build RED (.red is set): fix to green, or record the failure and next step, before stopping",
 				slug),
 		}, nil
 	}
@@ -125,7 +125,7 @@ func StopGate(root string) (StopResult, error) {
 			Slug:    slug,
 			Blocked: true,
 			Reason: fmt.Sprintf(
-				"feature %q has open %s human question(s) in questions.md but state.md is not awaiting_human — surface the gate before stopping",
+				"feature %q has open %s human question(s) in questions.md but state.md is not awaiting_human: surface the gate before stopping",
 				slug, strings.Join(gates, "/")),
 		}, nil
 	}
@@ -135,7 +135,7 @@ func StopGate(root string) (StopResult, error) {
 			Slug:    slug,
 			Blocked: true,
 			Reason: fmt.Sprintf(
-				"feature %q is at phase %q but proof.md is empty — record acceptance evidence, or move the phase back, before stopping",
+				"feature %q is at phase %q but proof.md is empty: record acceptance evidence, or move the phase back, before stopping",
 				slug, f.Phase),
 		}, nil
 	}

package/engine/internal/harness/compliance.go

@@ -95,7 +95,7 @@ func RenderMatrix() string {
 	}
 	b.WriteString("\nTiers: **Native** (the harness exposes and delivers the surface directly; policy notes state whether it blocks) · **Adapter-backed** ")
 	b.WriteString("(supported through a translation shim) · **Instruction-backed** ")
-	b.WriteString("(no runtime surface — rides on a directive the model may under-fire) · ")
+	b.WriteString("(no runtime surface: rides on a directive the model may under-fire) · ")
 	b.WriteString("**Conditional** (native but gated on an operator precondition).\n\n")
 	b.WriteString(MatrixEndMarker)
 	return b.String()

package/engine/internal/harness/harness.go

@@ -3,7 +3,7 @@
 // One binary serves both Claude Code and Codex. The shared gate/orientation
 // logic lives in the middle (internal/orient, internal/gate); this package
 // translates each harness's hook stdin schema and its exit/decision convention.
-// The engine never calls a model — these adapters only shape stdin/stdout.
+// The engine never calls a model: these adapters only shape stdin/stdout.
 package harness
 
 import (
@@ -93,7 +93,7 @@ type StopInput struct {
 }
 
 // ParseStopInput decodes a Stop hook's stdin. An empty or malformed payload is
-// not an error — it decodes to the zero value (StopHookActive false), so a
+// not an error: it decodes to the zero value (StopHookActive false), so a
 // harness that sends nothing simply gets a first-pass gate check. This keeps the
 // hook fail-open: bad stdin never crashes it.
 func (h Harness) ParseStopInput(r io.Reader) StopInput {
@@ -107,8 +107,8 @@ func (h Harness) ParseStopInput(r io.Reader) StopInput {
 }
 
 // PreToolInput is the subset of a PreToolUse hook's stdin the reviewer-readonly
-// guard reads: which tool is about to run, its command, and — for the optional
-// agent-scoping gate — the calling subagent's name. Every field is best-effort:
+// guard reads: which tool is about to run, its command, and: for the optional
+// agent-scoping gate: the calling subagent's name. Every field is best-effort:
 // a hook that can't identify the tool simply falls through to its silent no-op.
 type PreToolInput struct {
 	ToolName  string
@@ -118,7 +118,7 @@ type PreToolInput struct {
 
 // ParsePreToolInput decodes a PreToolUse payload. Like ParseStopInput it never
 // errors: an empty or malformed payload decodes to the zero value so a guard hook
-// stays fail-open. AgentType reads `agent_type` ONLY — matching
+// stays fail-open. AgentType reads `agent_type` ONLY: matching
 // devrites-reviewer-readonly.sh's node parse exactly (it does not consult the
 // subagent_type / agentType aliases; SubagentAgentType does, for the subagent
 // hook that needs them).
@@ -145,7 +145,7 @@ func (h Harness) ParsePreToolInput(r io.Reader) PreToolInput {
 
 // SubagentAgentType decodes just the spawned subagent's name from a SubagentStart
 // payload, reading whichever of agent_type / subagent_type / agentType the harness
-// populates (Claude and Codex differ) — the exact 3-way fallback
+// populates (Claude and Codex differ): the exact 3-way fallback
 // devrites-subagent-orient.sh uses. Never errors: bad stdin yields "".
 func (h Harness) SubagentAgentType(r io.Reader) string {
 	var raw struct {
@@ -198,7 +198,7 @@ type preToolEnvelope struct {
 // GuardInput is the fuller PreToolUse / PostToolUse payload the write-guards read:
 // the tool + its command / target path, the calling subagent's identity (both the
 // agent_id Claude sends and the agent_type Codex sends), and the tool's response
-// text (for the post-hooks that inspect output). Best-effort — bad stdin yields
+// text (for the post-hooks that inspect output). Best-effort: bad stdin yields
 // the zero value so a guard stays fail-open.
 type GuardInput struct {
 	ToolName     string

package/engine/internal/install/install.go

@@ -1185,6 +1185,8 @@ func containsDevritesHook(v any) bool {
 
 func isDevritesHooksComment(comment string) bool {
 	return comment == "DevRites hooks" ||
+		strings.HasPrefix(comment, "DevRites hooks: every event invokes the global `devrites-engine` engine binary") ||
+		strings.HasPrefix(comment, "DevRites hooks: auto-approve the read-only orientation/gate scripts") ||
 		strings.HasPrefix(comment, "DevRites hooks — every event invokes the global `devrites-engine` engine binary") ||
 		strings.HasPrefix(comment, "DevRites hooks — auto-approve the read-only orientation/gate scripts") ||
 		strings.HasPrefix(comment, "DevRites hooks for Codex. Project hooks load only after")

package/engine/internal/install/install_test.go

@@ -195,7 +195,7 @@ func TestInstallMergesClaudeHooksIntoExistingSettings(t *testing.T) {
 }`+"\n")
 	target := t.TempDir()
 	testutil.WriteFile(t, filepath.Join(target, ".claude", "settings.json"), `{
-  "$comment": "DevRites hooks — keep my local notes",
+  "$comment": "DevRites hooks: keep my local notes",
   "theme": "dark",
   "statusLine": {"type":"command","command":"DEVRITES_THEME=dark echo user-status"},
   "hooks": {"Stop":[{"hooks":[
@@ -209,7 +209,7 @@ func TestInstallMergesClaudeHooksIntoExistingSettings(t *testing.T) {
 	runInstall(t, target, payload, func(o *Options) { o.Stderr = &stderr })
 
 	settings := testutil.ReadFile(t, filepath.Join(target, ".claude", "settings.json"))
-	for _, preserved := range []string{"DevRites hooks — keep my local notes", `"theme": "dark"`, "echo user-status", "echo user-stop"} {
+	for _, preserved := range []string{"DevRites hooks: keep my local notes", `"theme": "dark"`, "echo user-status", "echo user-stop"} {
 		if !strings.Contains(settings, preserved) {
 			t.Fatalf("Claude settings lost user content %q:\n%s", preserved, settings)
 		}
@@ -229,7 +229,7 @@ func TestInstallMergesClaudeHooksIntoExistingSettings(t *testing.T) {
 
 	runUninstall(t, target)
 	settings = testutil.ReadFile(t, filepath.Join(target, ".claude", "settings.json"))
-	for _, preserved := range []string{"DevRites hooks — keep my local notes", `"theme": "dark"`, "echo user-status", "echo user-stop"} {
+	for _, preserved := range []string{"DevRites hooks: keep my local notes", `"theme": "dark"`, "echo user-status", "echo user-stop"} {
 		if !strings.Contains(settings, preserved) {
 			t.Fatalf("Claude settings uninstall lost user content %q:\n%s", preserved, settings)
 		}

package/engine/internal/iohooks/detach_unix.go

@@ -5,7 +5,7 @@ package iohooks
 import "syscall"
 
 // detachSysProcAttr starts the refresh worker in its own session so it outlives the
-// Stop hook that spawned it — the detached-background contract of refresh-indexes.
+// Stop hook that spawned it: the detached-background contract of refresh-indexes.
 func detachSysProcAttr() *syscall.SysProcAttr {
 	return &syscall.SysProcAttr{Setsid: true}
 }

package/engine/internal/iohooks/iohooks.go

@@ -1,6 +1,6 @@
 package iohooks
 
-// IO hooks: the ported bash hooks that do network or process-orchestration IO —
+// IO hooks: the ported bash hooks that do network or process-orchestration IO:
 // the source-citation cache (a conditional-HEAD revalidation cache) and the
 // code-index refresher (a detached background reindex). Unlike the deterministic
 // control-plane hooks these reach the network / spawn processes; they are kept in
@@ -47,7 +47,7 @@ type sourceCacheEntry struct {
 
 func sourceCacheOff() bool { return os.Getenv("DEVRITES_SOURCE_CACHE") == "off" }
 
-// ioProjectDir is the repo root the IO hooks key off — CLAUDE_PROJECT_DIR or CWD,
+// ioProjectDir is the repo root the IO hooks key off: CLAUDE_PROJECT_DIR or CWD,
 // like the shell hooks. (The cache is project-global under .devrites/, not
 // feature-scoped, so it does not use the feature-dir resolver.)
 func ioProjectDir() string {
@@ -61,7 +61,7 @@ func ioProjectDir() string {
 }
 
 // sourceCachePath is the entry path for a URL: .devrites/source-cache/<key>.json,
-// keyed on the first 32 hex chars of sha256(url) — matching the shell hooks.
+// keyed on the first 32 hex chars of sha256(url): matching the shell hooks.
 func sourceCachePath(url string) string {
 	sum := sha256.Sum256([]byte(url))
 	key := hex.EncodeToString(sum[:])[:32]
@@ -69,7 +69,7 @@ func sourceCachePath(url string) string {
 }
 
 // hookSourceCachePre serves a cached page reading ONLY after revalidating it with a
-// conditional HEAD that returns 304 — a fresh verification, not a memory read.
+// conditional HEAD that returns 304: a fresh verification, not a memory read.
 // Ported from devrites-source-cache-pre.sh. Cache hit → the reading on stderr +
 // exit 2 (Claude hands that to the agent in place of the fetch); miss/uncertain →
 // exit 0 (the real WebFetch proceeds). Fail-open on every uncertainty.
@@ -124,7 +124,7 @@ func SourceCachePre(stdin io.Reader, stdout, stderr io.Writer) int {
 		fetched = "a previous fetch"
 	}
 	fmt.Fprintf(stderr, "[devrites-source-cache] Cache hit for %s\n", url)
-	fmt.Fprintf(stderr, "Revalidated via HTTP 304 — the page is unchanged since %s, so this cached reading is still a valid citation.\n", fetched)
+	fmt.Fprintf(stderr, "Revalidated via HTTP 304: the page is unchanged since %s, so this cached reading is still a valid citation.\n", fetched)
 	if e.Prompt != "" {
 		fmt.Fprintf(stderr, "Cached under the prompt: %q. If your angle differs, judge whether this reading still covers it before re-fetching.\n", e.Prompt)
 	}
@@ -135,7 +135,7 @@ func SourceCachePre(stdin io.Reader, stdout, stderr io.Writer) int {
 }
 
 // hookSourceCachePost stores a completed WebFetch keyed on sha256(url) together with
-// the origin's validator headers — but only when the origin supplies a validator
+// the origin's validator headers, but only when the origin supplies a validator
 // (else a later 304 could never prove freshness). Ported from
 // devrites-source-cache-post.sh. Always exit 0.
 func SourceCachePost(stdin io.Reader, stdout, stderr io.Writer) int {
@@ -390,7 +390,7 @@ func computeRefreshState(root string) refreshState {
 }
 
 // repoChangedSince reports whether any tracked file under root is newer than the
-// stamp, skipping the excluded directories — the Go form of the script's `find
+// stamp, skipping the excluded directories: the Go form of the script's `find
 // -newer`. It returns on the first newer file found.
 func repoChangedSince(root, stamp string) bool {
 	info, err := os.Stat(stamp)
@@ -505,7 +505,7 @@ func runIndexTool(out io.Writer, timeout time.Duration, name string, args ...str
 	}
 }
 
-// cbmRegistered reports whether codebase-memory-mcp is installed AND tracks root —
+// cbmRegistered reports whether codebase-memory-mcp is installed AND tracks root:
 // a cheap repo-local marker first, then the project registry.
 func cbmRegistered(root string) bool {
 	if !hasTool("codebase-memory-mcp") {

package/engine/internal/lib/adoption.go

@@ -320,7 +320,7 @@ func Decisions(root string, args []string, stdout, stderr io.Writer) int {
 			}
 		}
 		for _, e := range matches {
-			fmt.Fprintf(stdout, "%s:%d %s — %s\n", e.Path, e.Line, e.Slug, e.Text)
+			fmt.Fprintf(stdout, "%s:%d %s: %s\n", e.Path, e.Line, e.Slug, e.Text)
 		}
 		if len(matches) == 0 {
 			fmt.Fprintln(stdout, "decisions: no matches.")

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
 }