devrites 3.2.23 → 3.2.24

package/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 All notable changes to DevRites are documented here. The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and DevRites adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). Releases are generated automatically by [semantic-release](https://semantic-release.gitbook.io/) from Conventional Commits on `main`.
 
+## [3.2.24](https://github.com/ViktorsBaikers/DevRites/compare/v3.2.23...v3.2.24) (2026-07-28)
+
+### Fixed
+
+* **devrites:** close review safety gaps ([33e736a](https://github.com/ViktorsBaikers/DevRites/commit/33e736a3d9d69fd166827235ed1ce2310aeca75a))
+
 ## [3.2.23](https://github.com/ViktorsBaikers/DevRites/compare/v3.2.22...v3.2.23) (2026-07-28)
 
 ### Fixed

package/README.md

@@ -25,7 +25,7 @@ final commit, push, and tag, and it requires a typed `GO` confirmation.
 Unattended runs may create local WIP checkpoint commits along the way, but only
 Ship collapses and pushes them.
 
-**Status:** [`v3.2.23`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v3.2.23): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
+**Status:** [`v3.2.24`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v3.2.24): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
 
 ## Quick start
 

package/engine/hooks.go

@@ -389,18 +389,37 @@ func safeReadonlyShellSegment(segment string) bool {
 	base := strings.ToLower(filepath.Base(strings.Trim(fields[0], `"'`)))
 	args := fields[1:]
 	switch base {
-	case "true", "false", "pwd", "ls", "cat", "head", "tail", "less", "more",
-		"grep", "rg", "wc", "sort", "uniq", "cut", "tr", "stat", "file",
-		"readlink", "realpath", "basename", "dirname", "cmp", "diff", "jq", "yq",
-		"tree", "du", "df", "printenv", "which", "date", "uname", "id", "whoami",
+	case "true", "false", "pwd", "ls", "cat", "head", "tail", "more",
+		"grep", "wc", "uniq", "cut", "tr", "stat", "file",
+		"readlink", "realpath", "basename", "dirname", "cmp", "jq",
+		"du", "df", "printenv", "which", "date", "uname", "id", "whoami",
 		"ps", "echo", "printf", "test", "[", "cd", "sha256sum", "shasum":
 		return true
+	case "less":
+		return !hasShellOption(args, "oO", "--log-file")
+	case "rg":
+		return !hasShellOption(args, "", "--pre", "--hostname-bin")
+	case "sort":
+		return !hasShellOption(args, "o", "--output", "--compress-program")
+	case "diff":
+		return !hasShellOption(args, "", "--output")
+	case "yq":
+		return !hasShellOption(args, "i", "--inplace", "--in-place")
+	case "tree":
+		return !hasShellOption(args, "o", "--output")
 	case "find":
-		return !hasAnyArg(args, "-delete", "-exec", "-execdir", "-ok", "-okdir", "-fprint", "-fprintf")
+		return !hasArgPrefix(args, "-delete") &&
+			!hasArgPrefix(args, "-exec") &&
+			!hasArgPrefix(args, "-ok") &&
+			!hasArgPrefix(args, "-fprint") &&
+			!hasArgPrefix(args, "-fprintf") &&
+			!hasArgPrefix(args, "-fls")
 	case "sed":
-		return !hasArgPrefix(args, "-i")
+		return !hasShellOption(args, "i", "--in-place", "--inplace")
 	case "git":
-		return len(args) > 0 && hasAnyArg(args[:1], "diff", "status", "show", "log", "rev-parse", "ls-files", "grep", "blame")
+		return len(args) > 0 &&
+			hasAnyArg(args[:1], "diff", "status", "show", "log", "rev-parse", "ls-files", "grep", "blame") &&
+			!hasShellOption(args[1:], "", "--output", "--ext-diff", "--textconv", "--open-files-in-pager")
 	case "go":
 		if len(args) == 0 || !hasAnyArg(args[:1], "test", "vet", "list", "version", "env") {
 			return false
@@ -453,6 +472,7 @@ func safePackageProof(args []string) bool {
 
 func hasAnyArg(args []string, wants ...string) bool {
 	for _, arg := range args {
+		arg = strings.Trim(arg, `"'`)
 		for _, want := range wants {
 			if arg == want {
 				return true
@@ -464,6 +484,7 @@ func hasAnyArg(args []string, wants ...string) bool {
 
 func hasArgPrefix(args []string, prefix string) bool {
 	for _, arg := range args {
+		arg = strings.Trim(arg, `"'`)
 		if strings.HasPrefix(arg, prefix) {
 			return true
 		}
@@ -471,6 +492,27 @@ func hasArgPrefix(args []string, prefix string) bool {
 	return false
 }
 
+func hasShellOption(args []string, shortOptions string, longOptions ...string) bool {
+	for _, arg := range args {
+		arg = strings.Trim(arg, `"'`)
+		if arg == "--" {
+			return false
+		}
+		if strings.HasPrefix(arg, "--") {
+			for _, option := range longOptions {
+				if arg == option || strings.HasPrefix(arg, option+"=") {
+					return true
+				}
+			}
+			continue
+		}
+		if strings.HasPrefix(arg, "-") && strings.ContainsAny(strings.TrimPrefix(arg, "-"), shortOptions) {
+			return true
+		}
+	}
+	return false
+}
+
 // hookReviewerReadonly keeps every DevRites leaf except slice-wright read only.
 // It always enforces declared DevRites runs. Undeclared runs keep the legacy
 // observe mode.

package/engine/internal/lib/reconcile.go

@@ -327,12 +327,12 @@ func Reconcile(root string, args []string, stdout, stderr io.Writer) int {
 		if pendingReceipt != "" {
 			defer func() { _ = os.Remove(pendingReceipt) }()
 		}
-		if err := closeWindow(); err != nil {
-			fmt.Fprintf(stderr, "reconcile: source baseline restored, but cannot close rejected slice window: %v\n", err)
+		if err := commitContentAddressedReceipt(receiptPath, pendingReceipt, receiptData); err != nil {
+			fmt.Fprintf(stderr, "reconcile: source baseline restored, but cannot persist abort receipt; retained window left open: %v\n", err)
 			return 6
 		}
-		if err := commitContentAddressedReceipt(receiptPath, pendingReceipt, receiptData); err != nil {
-			fmt.Fprintf(stderr, "reconcile: source baseline restored and window closed, but cannot persist abort receipt: %v\n", err)
+		if err := closeWindow(); err != nil {
+			fmt.Fprintf(stderr, "reconcile: source baseline restored and receipt persisted, but cannot close rejected slice window: %v\n", err)
 			return 6
 		}
 		fmt.Fprintf(stdout, "reconcile: aborted rejected slice window for %s; restored %d source path(s); receipt %s.\n", slug, len(changed), receiptName)
@@ -962,25 +962,17 @@ func restoreTreePaths(gitRoot string, env []string, targetTree string, changed [
 		return fmt.Errorf("create restore directory: %w", err)
 	}
 	defer func() { _ = os.RemoveAll(materialized) }()
-	index := filepath.Join(materialized, "index")
-	restoreEnv := append(append([]string{}, env...), "GIT_INDEX_FILE="+index)
-	if _, err := reconcileGitOutput(gitRoot, restoreEnv, "read-tree", targetTree); err != nil {
-		return err
-	}
 	materializedTree := filepath.Join(materialized, "tree")
 	if err := os.MkdirAll(materializedTree, 0o700); err != nil {
 		return fmt.Errorf("create restore tree: %w", err)
 	}
-	gitPrefix := filepath.ToSlash(materializedTree) + "/"
-	if _, err := reconcileGitOutput(
-		gitRoot,
-		restoreEnv,
-		"-c", "core.autocrlf=false",
-		"checkout-index", "--all", "--force", "--prefix="+gitPrefix,
-	); err != nil {
-		return err
-	}
 
+	type restoreEntry struct {
+		path, target, parent, source string
+		mode                         os.FileMode
+		symlink, exists              bool
+	}
+	entries := make([]restoreEntry, 0, len(changed))
 	for _, changedPath := range changed {
 		if changedPath == "." || changedPath == ".devrites" ||
 			strings.HasPrefix(changedPath, reconcileDevritesPathPrefix) ||
@@ -992,39 +984,111 @@ func restoreTreePaths(gitRoot string, env []string, targetTree string, changed [
 		if !safepath.WithinResolved(targetParent, gitRoot) {
 			return fmt.Errorf("restore parent escapes repository through a symlink: %s", changedPath)
 		}
-		source := filepath.Join(materializedTree, filepath.FromSlash(changedPath))
-		sourceInfo, sourceErr := os.Lstat(source)
-		if sourceErr != nil && !os.IsNotExist(sourceErr) {
-			return fmt.Errorf("inspect clean source %s: %w", changedPath, sourceErr)
+		if targetInfo, targetErr := os.Lstat(target); targetErr == nil {
+			if targetInfo.IsDir() {
+				return fmt.Errorf("refusing to remove live directory at restore path %s", changedPath)
+			}
+		} else if !os.IsNotExist(targetErr) {
+			return fmt.Errorf("inspect restore target %s: %w", changedPath, targetErr)
 		}
-		if err := os.RemoveAll(target); err != nil {
-			return fmt.Errorf("remove source path %s: %w", changedPath, err)
+
+		treeEntry, err := reconcileGitOutput(
+			gitRoot, env, "ls-tree", "-z", targetTree, "--", ":(top,literal)"+changedPath,
+		)
+		if err != nil {
+			return err
 		}
-		if os.IsNotExist(sourceErr) {
+		if len(treeEntry) == 0 {
+			entries = append(entries, restoreEntry{path: changedPath, target: target, parent: targetParent})
 			continue
 		}
-		if err := os.MkdirAll(targetParent, 0o755); err != nil {
-			return fmt.Errorf("create restore parent for %s: %w", changedPath, err)
+		record := strings.TrimSuffix(string(treeEntry), "\x00")
+		if strings.Contains(record, "\x00") {
+			return fmt.Errorf("ambiguous tree entry for %s", changedPath)
+		}
+		header, entryPath, ok := strings.Cut(record, "\t")
+		fields := strings.Fields(header)
+		if !ok || len(fields) != 3 || entryPath != changedPath {
+			return fmt.Errorf("invalid tree entry for %s", changedPath)
+		}
+		if fields[0] == "160000" || fields[1] == "commit" {
+			return fmt.Errorf("cannot safely restore changed submodule worktree %s", changedPath)
+		}
+		entry := restoreEntry{
+			path:    changedPath,
+			target:  target,
+			parent:  targetParent,
+			source:  filepath.Join(materializedTree, filepath.FromSlash(changedPath)),
+			exists:  true,
+			symlink: fields[0] == "120000",
+		}
+		switch fields[0] {
+		case "100644":
+			entry.mode = 0o644
+		case "100755":
+			entry.mode = 0o755
+		case "120000":
+		default:
+			return fmt.Errorf("unsupported tree mode %s for %s", fields[0], changedPath)
 		}
-		switch {
-		case sourceInfo.Mode()&os.ModeSymlink != 0:
-			link, err := os.Readlink(source)
-			if err != nil {
-				return fmt.Errorf("read clean symlink %s: %w", changedPath, err)
-			}
-			if err := os.Symlink(link, target); err != nil {
-				return fmt.Errorf("restore symlink %s: %w", changedPath, err)
-			}
-		case sourceInfo.Mode().IsRegular():
-			data, err := os.ReadFile(source)
+		if err := os.MkdirAll(filepath.Dir(entry.source), 0o700); err != nil {
+			return fmt.Errorf("create materialized parent for %s: %w", changedPath, err)
+		}
+		source, err := os.OpenFile(entry.source, os.O_WRONLY|os.O_CREATE|os.O_EXCL, 0o600)
+		if err != nil {
+			return fmt.Errorf("create materialized source %s: %w", changedPath, err)
+		}
+		writeErr := runGitCommandToWriter(gitRoot, env, source, "cat-file", "blob", fields[2])
+		closeErr := source.Close()
+		if writeErr != nil {
+			return fmt.Errorf("materialize source %s: %w", changedPath, writeErr)
+		}
+		if closeErr != nil {
+			return fmt.Errorf("close materialized source %s: %w", changedPath, closeErr)
+		}
+		entries = append(entries, entry)
+	}
+
+	for _, entry := range entries {
+		if err := os.RemoveAll(entry.target); err != nil {
+			return fmt.Errorf("remove source path %s: %w", entry.path, err)
+		}
+		if !entry.exists {
+			continue
+		}
+		if err := os.MkdirAll(entry.parent, 0o755); err != nil {
+			return fmt.Errorf("create restore parent for %s: %w", entry.path, err)
+		}
+		if entry.symlink {
+			link, err := os.ReadFile(entry.source)
 			if err != nil {
-				return fmt.Errorf("read clean file %s: %w", changedPath, err)
+				return fmt.Errorf("read clean symlink %s: %w", entry.path, err)
 			}
-			if err := os.WriteFile(target, data, sourceInfo.Mode().Perm()); err != nil {
-				return fmt.Errorf("restore file %s: %w", changedPath, err)
+			if err := os.Symlink(string(link), entry.target); err != nil {
+				return fmt.Errorf("restore symlink %s: %w", entry.path, err)
 			}
-		default:
-			return fmt.Errorf("unsupported clean tree entry for %s: %s", changedPath, sourceInfo.Mode())
+			continue
+		}
+		source, err := os.Open(entry.source)
+		if err != nil {
+			return fmt.Errorf("open clean file %s: %w", entry.path, err)
+		}
+		target, err := os.OpenFile(entry.target, os.O_WRONLY|os.O_CREATE|os.O_EXCL, entry.mode)
+		if err != nil {
+			_ = source.Close()
+			return fmt.Errorf("create restored file %s: %w", entry.path, err)
+		}
+		_, copyErr := io.Copy(target, source)
+		sourceCloseErr := source.Close()
+		targetCloseErr := target.Close()
+		if copyErr != nil {
+			return fmt.Errorf("restore file %s: %w", entry.path, copyErr)
+		}
+		if sourceCloseErr != nil {
+			return fmt.Errorf("close clean file %s: %w", entry.path, sourceCloseErr)
+		}
+		if targetCloseErr != nil {
+			return fmt.Errorf("close restored file %s: %w", entry.path, targetCloseErr)
 		}
 	}
 	return nil
@@ -1193,6 +1257,9 @@ func worktreeTree(gitRoot, objectDir string, excludedRoots ...string) (string, e
 			return "", fmt.Errorf("exclude %s from worktree snapshot: %w", rel, err)
 		}
 	}
+	if err := rewriteIndexWithRawWorktreeBytes(gitRoot, env); err != nil {
+		return "", err
+	}
 
 	out, err := runGitCommand(gitRoot, env, "write-tree")
 	if err != nil {
@@ -1205,6 +1272,83 @@ func worktreeTree(gitRoot, objectDir string, excludedRoots ...string) (string, e
 	return tree, nil
 }
 
+func rewriteIndexWithRawWorktreeBytes(gitRoot string, env []string) error {
+	out, err := runGitCommand(gitRoot, env, "ls-files", "--stage", "-z")
+	if err != nil {
+		return fmt.Errorf("list worktree snapshot entries: %w", err)
+	}
+	type rawEntry struct {
+		mode, path string
+	}
+	var batch, individual []rawEntry
+	for _, record := range strings.Split(string(out), "\x00") {
+		if record == "" {
+			continue
+		}
+		header, filename, ok := strings.Cut(record, "\t")
+		fields := strings.Fields(header)
+		if !ok || len(fields) != 3 || fields[2] != "0" {
+			return fmt.Errorf("invalid worktree snapshot index entry")
+		}
+		if fields[0] != "100644" && fields[0] != "100755" {
+			continue
+		}
+		entry := rawEntry{mode: fields[0], path: filename}
+		if strings.ContainsRune(filename, '\n') {
+			individual = append(individual, entry)
+		} else {
+			batch = append(batch, entry)
+		}
+	}
+
+	var indexInfo strings.Builder
+	if len(batch) > 0 {
+		var paths strings.Builder
+		for _, entry := range batch {
+			paths.WriteString(entry.path)
+			paths.WriteByte('\n')
+		}
+		hashes, err := runGitCommandInput(
+			gitRoot, env, []byte(paths.String()),
+			"hash-object", "-w", "--no-filters", "--stdin-paths",
+		)
+		if err != nil {
+			return fmt.Errorf("hash raw worktree files: %w", err)
+		}
+		objectIDs := strings.Fields(string(hashes))
+		if len(objectIDs) != len(batch) {
+			return fmt.Errorf("hash raw worktree files: got %d object ids for %d paths", len(objectIDs), len(batch))
+		}
+		for i, entry := range batch {
+			if !reconcileObjectID.MatchString(objectIDs[i]) {
+				return fmt.Errorf("hash raw worktree file %s: invalid object id", entry.path)
+			}
+			fmt.Fprintf(&indexInfo, "%s %s\t%s\x00", entry.mode, objectIDs[i], entry.path)
+		}
+	}
+	for _, entry := range individual {
+		hash, err := runGitCommand(gitRoot, env, "hash-object", "-w", "--no-filters", "--", entry.path)
+		if err != nil {
+			return fmt.Errorf("hash raw worktree file %s: %w", entry.path, err)
+		}
+		objectID := strings.TrimSpace(string(hash))
+		if !reconcileObjectID.MatchString(objectID) {
+			return fmt.Errorf("hash raw worktree file %s: invalid object id", entry.path)
+		}
+		fmt.Fprintf(&indexInfo, "%s %s\t%s\x00", entry.mode, objectID, entry.path)
+	}
+	if indexInfo.Len() == 0 {
+		return nil
+	}
+	if _, err := runGitCommandInput(
+		gitRoot, env, []byte(indexInfo.String()),
+		"update-index", "-z", "--index-info",
+	); err != nil {
+		return fmt.Errorf("record raw worktree files: %w", err)
+	}
+	return nil
+}
+
 func reconcileGitEnv(gitRoot, objectDir string) ([]string, error) {
 	out, err := runGitCommand(gitRoot, nil, "rev-parse", "--git-common-dir")
 	if err != nil {

package/engine/internal/lib/reconcile_test.go

@@ -392,6 +392,80 @@ func TestReconcileAbortRestoresOriginalSourceAndClosesWindow(t *testing.T) {
 	}
 }
 
+func TestReconcileAbortRestoresOriginalCRLFBytes(t *testing.T) {
+	gitRoot := newGitRepo(t)
+	root := workspace(t, "feat")
+	writeWrightAllowlist(t, root, "feat", "seed.go")
+	if out, err := exec.Command("git", "-C", gitRoot, "config", "core.autocrlf", "true").CombinedOutput(); err != nil {
+		t.Fatalf("configure core.autocrlf: %v\n%s", err, out)
+	}
+	baseline := []byte("package main\r\n\r\nfunc userWork() {}\r\n")
+	if err := os.WriteFile(filepath.Join(gitRoot, "seed.go"), baseline, 0o644); err != nil {
+		t.Fatal(err)
+	}
+
+	if code, out := runReconcile(t, root, "snapshot", "feat"); code != 0 {
+		t.Fatalf("snapshot = %d, want 0\n%s", code, out)
+	}
+	writeFile(t, filepath.Join(gitRoot, "seed.go"), "package main\n\nfunc rejectedWriterChange() {}\n")
+
+	if code, out := runReconcile(t, root, "abort", "feat"); code != 0 {
+		t.Fatalf("abort = %d, want 0\n%s", code, out)
+	}
+	restored, err := os.ReadFile(filepath.Join(gitRoot, "seed.go"))
+	if err != nil {
+		t.Fatal(err)
+	}
+	if !bytes.Equal(restored, baseline) {
+		t.Fatalf("restored bytes = %q, want original bytes %q", restored, baseline)
+	}
+}
+
+func TestReconcileAbortPreservesChangedSubmoduleWorktree(t *testing.T) {
+	submoduleOrigin := newGitRepo(t)
+	gitRoot := newGitRepo(t)
+	git := func(dir string, args ...string) string {
+		t.Helper()
+		cmd := exec.Command("git", append([]string{"-C", dir}, args...)...)
+		out, err := cmd.CombinedOutput()
+		if err != nil {
+			t.Fatalf("git %v: %v\n%s", args, err, out)
+		}
+		return strings.TrimSpace(string(out))
+	}
+	git(gitRoot, "-c", "protocol.file.allow=always", "submodule", "add", "-q", submoduleOrigin, "sub")
+	commitAll(t, gitRoot, "add submodule")
+
+	root := workspace(t, "feat")
+	writeWrightAllowlist(t, root, "feat")
+	if code, out := runReconcile(t, root, "snapshot", "feat"); code != 0 {
+		t.Fatalf("snapshot = %d, want 0\n%s", code, out)
+	}
+
+	writeFile(t, filepath.Join(submoduleOrigin, "seed.go"), "package changed\n")
+	commitAll(t, submoduleOrigin, "advance submodule")
+	advanced := git(submoduleOrigin, "rev-parse", "HEAD")
+	git(filepath.Join(gitRoot, "sub"), "-c", "protocol.file.allow=always", "fetch", "-q", "origin")
+	git(filepath.Join(gitRoot, "sub"), "checkout", "-q", advanced)
+	local := []byte("uncommitted submodule work\n")
+	if err := os.WriteFile(filepath.Join(gitRoot, "sub", "local.txt"), local, 0o644); err != nil {
+		t.Fatal(err)
+	}
+
+	code, out := runReconcile(t, root, "abort", "feat")
+	if code != 6 {
+		t.Fatalf("abort = %d, want fail-closed 6 for a changed submodule\n%s", code, out)
+	}
+	if restored, err := os.ReadFile(filepath.Join(gitRoot, "sub", "local.txt")); err != nil {
+		t.Fatalf("abort removed the live submodule worktree: %v\n%s", err, out)
+	} else if !bytes.Equal(restored, local) {
+		t.Fatalf("abort changed uncommitted submodule bytes: %q", restored)
+	}
+	if !isFile(filepath.Join(featureDir(root, "feat"), reconcileBaseName)) {
+		t.Fatal("failed abort removed its retained baseline marker")
+	}
+}
+
 func TestReconcileAbortFailsClosedWhenObjectDatabaseIsMissing(t *testing.T) {
 	gitRoot := newGitRepo(t)
 	root := workspace(t, "feat")

package/engine/internal/lib/util.go

@@ -5,6 +5,7 @@ import (
 	"context"
 	"errors"
 	"fmt"
+	"io"
 	"os"
 	"os/exec"
 	"path/filepath"
@@ -57,11 +58,27 @@ func (e *gitCommandError) Error() string {
 func (e *gitCommandError) Unwrap() error { return e.err }
 
 func runGitCommand(dir string, env []string, args ...string) ([]byte, error) {
+	return runGitCommandIO(dir, env, nil, nil, args...)
+}
+
+func runGitCommandInput(dir string, env []string, input []byte, args ...string) ([]byte, error) {
+	return runGitCommandIO(dir, env, input, nil, args...)
+}
+
+func runGitCommandToWriter(dir string, env []string, stdout io.Writer, args ...string) error {
+	_, err := runGitCommandIO(dir, env, nil, stdout, args...)
+	return err
+}
+
+func runGitCommandIO(dir string, env []string, input []byte, stdout io.Writer, args ...string) ([]byte, error) {
 	ctx, cancel := context.WithTimeout(context.Background(), gitCommandTimeout)
 	defer cancel()
 	commandArgs := append([]string{"-C", dir}, args...)
 	cmd := exec.CommandContext(ctx, "git", commandArgs...)
 	cmd.WaitDelay = 2 * time.Second
+	if input != nil {
+		cmd.Stdin = bytes.NewReader(input)
+	}
 	if env == nil {
 		env = os.Environ()
 	} else {
@@ -76,7 +93,11 @@ func runGitCommand(dir string, env []string, args ...string) ([]byte, error) {
 		"LC_ALL=C",
 	)
 	var output cappedGitOutput
-	cmd.Stdout = &output
+	if stdout == nil {
+		cmd.Stdout = &output
+	} else {
+		cmd.Stdout = stdout
+	}
 	cmd.Stderr = &output
 	err := cmd.Run()
 	if err == nil {

package/engine/tests/hook_test.go

@@ -293,6 +293,33 @@ func TestHookReviewerReadonlyAllowsSafeBash(t *testing.T) {
 	}
 }
 
+func TestHookReviewerReadonlyRejectsWriteCapableInspectionFlags(t *testing.T) {
+	root := newWorkspace(t)
+	env := []string{
+		"DEVRITES_AGENT_RUN=1",
+		"DEVRITES_ACTIVE_AGENT=devrites-code-reviewer",
+	}
+	for _, command := range []string{
+		"sed --in-place=.bak s/a/b/ src/app.go",
+		"sort -o src/app.go input.txt",
+		"find . -fls src/index.txt",
+		"git diff --output=src/diff.txt",
+	} {
+		in := hookPayload(t, map[string]any{
+			"tool_name":  "Bash",
+			"tool_input": map[string]any{"command": command},
+		})
+		out, errOut, code := runDevritesIO(t, root, in, env,
+			"hook", "reviewer-readonly", "--harness=codex")
+		if code != 0 {
+			t.Fatalf("%q exit=%d stderr=%q", command, code, errOut)
+		}
+		if decision, _ := parsePermissionDecision(t, out); decision != "deny" {
+			t.Errorf("write-capable inspection command was not denied: %q", command)
+		}
+	}
+}
+
 func TestHookReviewerReadonlyNonBashIsSilent(t *testing.T) {
 	root := newWorkspace(t)
 	in := `{"tool_name":"Read","tool_input":{"file_path":"secret.txt"}}`

package/package.json

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