The docs say Grep is a literal search, that a write's own status comes before the log's last err, and that Delcol opens no +Unsaved

Co-Authored-By: Claude Opus 5.5 <[email protected]>

1 files changed, 6 insertions, 2 deletions

diff --git a/docs/typ/reference.typ b/docs/typ/reference.typ
index 7cbcea29..745d7a47 100644
--- a/docs/typ/reference.typ
+++ b/docs/typ/reference.typ
@@ -53,7 +53,10 @@ is not UTF-8 `\xNN`, so a name decodes to the bytes it is.
 = Rules for every file <rules>
 
 *Failure.* A write fails whenever what it asked for fails, and logs one
-`err <serial|-> <file>: <why>` record, with no `msg`. Only writes log: a
+`err <serial|-> <file>: <why>` record, with no `msg`; a write that succeeds
+logs none. So check a write's status first, and read the log's last `err`
+only for a write that failed (`echo x > f || tail -1 log`): after a success
+the tail may still hold an older `err`. Only writes log: a
 refused open or truncation (an OTRUNC open such as `> data` after a failed
 `addr`), create or remove answers its error alone, as do a write to
 #file("pane/new") (`permission denied`) and a write on a read-only fid
@@ -273,7 +276,8 @@ Writes take settings and session builtins (`scope = .session` in
   and the list stays in a `+Unsaved` pane (in the active pane's directory,
   or the session's when that directory is not on disk). #word("Restore"), #word("Del"),
   #word("Delcol") and a pane's `get` refuse the same way with their own
-  word.
+  word, except that #word("Delcol") opens no `+Unsaved` pane: it names the
+  panes only in its `unsaved` records and its notice.
 - #word("Dump") writes `pardes-<date>-<time>.zon` (UTC) in #word("DumpDir"),
   logs `dump <path>`, and adds a `Restore <path>` word naming it to the
   workspace tag (the last dump's, replacing an earlier one's).