The docs say sel is writable, Edit blocks may span writes, and sig INT stops a REPL

sel's write was documented in fs.md only; the skill says it now. With
command lines held per open, an Edit block may come in several writes (a
shell's line-at-a-time printf), so the heredoc advice goes. Kill never
stopped what a REPL runs, since pardes did not start it; the docs point at
pty/ctl sig INT.

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

1 files changed, 9 insertions, 5 deletions

diff --git a/.agents/skills/pardes-9p/SKILL.md b/.agents/skills/pardes-9p/SKILL.md
index 0cd52715..037f2d83 100644
--- a/.agents/skills/pardes-9p/SKILL.md
+++ b/.agents/skills/pardes-9p/SKILL.md
@@ -162,7 +162,10 @@ record written back from such a file's body goes to its REPL, as the click
 would. `Repl -` unbinds; a bare `Repl` says the binding. With several
 REPLs bound for a language an exec asks which, logged `ask <serial> repl a b`
 (Del's side from the keyboard is `ask <serial> del k j`): answer with
-`echo 'answer a' > $m/pane/<serial>/ctl`, or `answer -` to send nothing (the log says `answer <serial> a|-`). Multi-line code
+`echo 'answer a' > $m/pane/<serial>/ctl`, or `answer -` to send nothing (the
+log says `answer <serial> a|-`). Kill does not stop what a REPL runs (it was
+typed, not started by pardes): `echo 'sig INT' > $m/pane/<repl>/pty/ctl`
+interrupts it. Multi-line code
 written to `pty/data` should be a bracketed paste, `\e[200~<code>\e[201~`,
 then, in a separate write once the REPL has echoed the paste (Python 3.13+
 takes a `\r` read with the paste as part of it, even for one line), `\r`.
@@ -182,10 +185,11 @@ Rename everywhere, or any sam edit, is one write: `echo 'Edit ,x/foo/c/bar/'
 v c a i d s p = m t u` and `{ }` (commands in braces one to a line, so from
 exec or a tag, not a one-line ctl write). Its changes are one undo step, and
 one that fails changes nothing and fails the write with acme's words (`Edit:
-no substitution`), logged as `err`. A block goes in one write to the pane's
-`ctl`, the root `ctl` (the active pane) or `exec`: an `Edit` line takes the
-lines after it until its `{` closes or its `a`/`c`/`i` text ends with `.`.
-bash's builtin `printf` writes line by line, so use a heredoc or `env printf`:
+no substitution`), logged as `err`. A block goes to the pane's `ctl`, the
+root `ctl` (the active pane) or `exec` on one open, in one write or several
+(bash's `printf` writes line by line): an `Edit` line takes the lines after it
+until its `{` closes or its `a`/`c`/`i` text ends with `.`, and runs then. `sel`
+reads the selected text, and a write to it replaces the selection:
 
 ```sh
 cat > $pane/ctl <<'END'