summaryrefslogtreecommitdiff
path: root/features.txt
diff options
context:
space:
mode:
authorGabriel Schneider <[email protected]>2026-09-21 23:53:58 -0300
committerGabriel Schneider <[email protected]>2026-10-01 00:12:14 -0300
commit16717a555695ef666e9d2cd1bacc762a2ab15f4b (patch)
treebc1dcfa686610e87ed81b8b4f4a11be9475a5655 /features.txt
parente714bbfa8b7cbf9970053cfbabbb9b1f02a2290e (diff)
downloadpardes-16717a555695ef666e9d2cd1bacc762a2ab15f4b.tar.gz
pardes-16717a555695ef666e9d2cd1bacc762a2ab15f4b.zip
Fixes from three adversarial reviews, and a destructive one among them
The registry sweep could delete a live socket, anywhere on the filesystem. A reviewer reproduced it: a socket that is bound but has not reached listen(2) answers ECONNREFUSED exactly like a dead one -- that window is every server's startup -- and the sweep then followed the entry's symlink and unlinked whatever absolute path it named. It now follows a target only into the directory our own sockets live in and only to a `pardes-9p-*.sock` name, it re-probes immediately before deleting rather than trusting a probe that is by then several syscalls old, and a readlink that exactly filled its buffer is treated as the truncation it is. The test grew a case for an entry whose target is not ours: the entry goes, the file does not. Ctrl-V in raw tty mode was a black hole when the yank register was empty -- neither typed nor forwarded -- so vim's visual block, readline's quoted-insert and every other program's Ctrl-V simply vanished. With nothing to paste the chord belongs to the program again. The lone-ESC flush added earlier was dead code. vaxis already returns Escape for a one-byte 0x1b (`Parser.parseGround` asserts `input.len == 1`), so the carried byte it waited for can never exist; a reviewer showed a 3 ms gap and a 60 ms gap behaving identically. Removed rather than left to imply a guarantee it never provided. A shell whose editor is gone can start one again. Naming a live but unreachable session made `pardes <file>` exit 1, which let a stale environment variable lock someone out of their own editor; it falls through to an ordinary session, as it did before the variable existed. Also: the macOS ABI check for `pardes_topbar_pane_border_px` had been replaced by a duplicate of the line above it; `--startup` now fails on a leak the way every other measurement in that file does, and stops calling its maximum a p95 below twenty samples; the served README and the skill no longer tell you to write to `data` with `>`, which truncates the whole body before the write lands; `docs/v9fs.md` described the allocate-on-walk design that was rejected; and `test/fs.py` keys nesting off `PARDES_PID`, so its forwarding case stops passing only when the runner happens to be inside a live pardes. fs-test now reaches its one documented pre-existing failure instead of dying early. Suite 778/783 with the two known crashes. Co-Authored-By: Claude Opus 5 (1M context) <[email protected]>
Diffstat (limited to 'features.txt')
-rw-r--r--features.txt11
1 files changed, 11 insertions, 0 deletions
diff --git a/features.txt b/features.txt
index 5583e7f3..eeadba39 100644
--- a/features.txt
+++ b/features.txt
@@ -156,3 +156,14 @@ when it is false and nothing is animating. 9P round trip on a local socket: gui
the problem -- instrumentation proved every request woke the loop early (wakes=210, woke_early=212, timed_out=38 over 250 ticks) -- the reply simply could not be
produced until the loop had finished drawing a frame it did not need. Verified the gui still paints (screen shows the file, and a write through 9P redraws) and
the full suite is unchanged at 778/783 with the two known crashes.
+
+Found by adversarial review and NOT fixed, because they are upstream or macOS-only rather than from this session's work:
+- Surface.mark_hover is never assigned true anywhere in the tree, so the whole macOS hover ABI is inert: PARDES_CELL_HOVER is never emitted, encodeCellFlags always
+ contributes 0, and PardesView's liquid-glass affordance never draws. The tests pass only because they set the flag by hand. The comment in the look_hover_preview
+ paint block claims it carries those cells out to the hosts; it does not.
+- -Dworkspace-tag is read only in src/macos.zig, and core.settings.workspace_tag is assigned only there, so the option builds cleanly for gui/tty/web and is
+ silently ignored. gui.zig hard-codes `true` at six taglineBandOffset call sites and still uses raw TOPBAR_H at five more.
+- The detached wire encodes the pointer shape in the frame header variant (full_link/diff_link), so the newer `.target` shape collapses to `.arrow` for an attached
+ frontend. Fixing it means a new header variant, i.e. a protocol change.
+- A shell that outlives its editor keeps PARDES_PID; if that pid is reused, `pardes <file>` now exits 1 instead of falling back to starting an editor. Exiting 1
+ only when the socket itself refused would keep the old behaviour.