From 5ec72f8723d795d0b02d7e9ebb9f555f0c7e6a2e Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Sun, 2 Aug 2026 23:43:08 -0300 Subject: rebrand to notevi: one CLI over the jj sidecar vr and vrsite become a single binary. vrsite/ folds into a web package in one module (0x4200.cafe/notevi); "notevi web" serves and exports exactly what vrsite did, and "notevi read/grep/note/query" is unchanged. The sidecar is renamed with it: notevi_log, notevi-log.jsonl, and the description "private: notevi log". The pre-rebrand names are still recognized, so an old repository opens and reads; it is renamed in place on the first write, or up front with "notevi migrate DIR...". That rename cannot be a single mv inside jj run. jj only auto-tracks a *new* file in the run working copy below a size limit it does not take from the command line, so writing a whole log under a name the change has never held is silently dropped while jj reports success. ensureLogFile creates the file empty first and lets every later byte be a modification of a tracked file, which snapshots at any size; that also fixes the same latent bug when importing a large legacy vr-log.jsonl. Adds a bem-te-vi mark (favicon and nav brand) and a README. Co-Authored-By: Claude Opus 5 (1M context) --- constrain/notevi-only.rules | 44 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 constrain/notevi-only.rules (limited to 'constrain/notevi-only.rules') diff --git a/constrain/notevi-only.rules b/constrain/notevi-only.rules new file mode 100644 index 0000000..f618f18 --- /dev/null +++ b/constrain/notevi-only.rules @@ -0,0 +1,44 @@ +# codex execpolicy: force file reading through notevi (which logs every read). +# Activate: cp notevi-only.rules ~/.codex/rules/ +# Deactivate: rm ~/.codex/rules/notevi-only.rules +# The engine parses through `/bin/zsh -lc '...'` wrappers, so these match the +# inner command. Editing tools (apply_patch) are unaffected — this only +# constrains reading. Known hole: scripting runtimes can still open files; +# uncomment the last block to close it at the cost of breaking legit scripts. + +prefix_rule(pattern=["notevi"], decision="allow") + +prefix_rule(pattern=["cat"], decision="forbidden") +prefix_rule(pattern=["head"], decision="forbidden") +prefix_rule(pattern=["tail"], decision="forbidden") +prefix_rule(pattern=["less"], decision="forbidden") +prefix_rule(pattern=["more"], decision="forbidden") +prefix_rule(pattern=["sed"], decision="forbidden") +prefix_rule(pattern=["awk"], decision="forbidden") +prefix_rule(pattern=["cut"], decision="forbidden") +prefix_rule(pattern=["rg"], decision="forbidden") +prefix_rule(pattern=["grep"], decision="forbidden") +prefix_rule(pattern=["egrep"], decision="forbidden") +prefix_rule(pattern=["fgrep"], decision="forbidden") +prefix_rule(pattern=["find"], decision="forbidden") +prefix_rule(pattern=["fd"], decision="forbidden") +prefix_rule(pattern=["strings"], decision="forbidden") +prefix_rule(pattern=["xxd"], decision="forbidden") +prefix_rule(pattern=["hexdump"], decision="forbidden") +prefix_rule(pattern=["od"], decision="forbidden") +prefix_rule(pattern=["tac"], decision="forbidden") +prefix_rule(pattern=["nl"], decision="forbidden") +prefix_rule(pattern=["jj", "file", "show"], decision="forbidden") +prefix_rule(pattern=["jj", "diff"], decision="forbidden") +prefix_rule(pattern=["git", "show"], decision="forbidden") +prefix_rule(pattern=["git", "diff"], decision="forbidden") +prefix_rule(pattern=["git", "grep"], decision="forbidden") +prefix_rule(pattern=["git", "cat-file"], decision="forbidden") +prefix_rule(pattern=["git", "blame"], decision="forbidden") +prefix_rule(pattern=["git", "log"], decision="forbidden") + +# prefix_rule(pattern=["python3"], decision="forbidden") +# prefix_rule(pattern=["python"], decision="forbidden") +# prefix_rule(pattern=["node"], decision="forbidden") +# prefix_rule(pattern=["perl"], decision="forbidden") +# prefix_rule(pattern=["ruby"], decision="forbidden") -- cgit v1.3