789fd74e

test: the wall's column era gets its legs

a73x 2026-08-24 18:06

Commit message

test: the wall's column era gets its legs

Three e2e legs at the end of the suite:

1. Span-clear survival — the engine oracle. Two beside panes at 80x24;
   flood the left pane's session with seq 1 200, then replay the wall
   client's full captured stdout through the render fixture (an engine,
   not a byte grep) and assert the right pane's marker survives on the
   replayed grid. A painter that emits too much passes byte greps, so
   only the replayed grid is the oracle — this leg catches a \x1b[2K
   full-line-clear regression forever.

2. hjkl focus walk. Split right then below (three panes), walk focus
   with h/l/j, type a distinct marker after each move, and assert via
   muxa capture which session received it.

3. Split births a session beside. From one pane, Ctrl-\ | → muxd stats
   names the new session; the new pane's label bar sits at a column
   right of the rail (same CUP+reverse-video idiom as the resize leg).

The final summary line now derives from the counters themselves —
`echo "e2e OK ($OK_COUNT scenarios, $CONV_COUNT convergence points)"` —
so it can never rot behind a hand-written number again. The pin checks
stay hand-written constants; they are the gate.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

test/e2e.sh

@@ @@ -372,9 +372,15 @@ ZMOUSESH="${TMPDIR:-/tmp}/mux-e2e-wallappmouse-$$.sh" @@
+SOCK53="${TMPDIR:-/tmp}/muxd-e2e-sbrect-$$.sock"
+SOCK54="${TMPDIR:-/tmp}/muxd-e2e-fullscreen-$$.sock"
+SOCK55="${TMPDIR:-/tmp}/muxd-e2e-resize-$$.sock"
+SOCK56="${TMPDIR:-/tmp}/muxd-e2e-spanclear-$$.sock"
+SOCK57="${TMPDIR:-/tmp}/muxd-e2e-hjkl-$$.sock"
+SOCK58="${TMPDIR:-/tmp}/muxd-e2e-splitbirth-$$.sock"
+D54PID=""
+D55PID=""
+D56PID=""
+D57PID=""
+D58PID=""
+D59PID=""
+# The wall as attach HISTORY (phase 2). A daemon AND a state home of its
+# own, for the dynamic-wall leg's reason turned up one notch: what these
@@ @@ -1275,6 +1281,9 @@ cleanup() { @@
+    [ -n "${D51PID:-}" ] && kill "$D51PID" 2>/dev/null || true
+    [ -n "${D52PID:-}" ] && kill "$D52PID" 2>/dev/null || true
+    [ -n "${D55PID:-}" ] && kill "$D55PID" 2>/dev/null || true
+    [ -n "${D57PID:-}" ] && kill "$D57PID" 2>/dev/null || true
+    [ -n "${D58PID:-}" ] && kill "$D58PID" 2>/dev/null || true
+    [ -n "${D59PID:-}" ] && kill "$D59PID" 2>/dev/null || true
+    # The ssh-agents the forwarding legs start. Not mux processes and so not
+    # the leak sweep's business, but they are daemons this file forked: left
+    # alive they outlive the suite holding a private key, which is the one
@@ @@ -1321,6 +1330,9 @@ cleanup() { @@
+    [ -S "$SOCK53" ] && "$MUXD" stop --sock "$SOCK53" 2>/dev/null || true
+    [ -S "$SOCK54" ] && "$MUXD" stop --sock "$SOCK54" 2>/dev/null || true
+    [ -S "$SOCK55" ] && "$MUXD" stop --sock "$SOCK55" 2>/dev/null || true
+    [ -S "$SOCK56" ] && "$MUXD" stop --sock "$SOCK56" 2>/dev/null || true
+    [ -S "$SOCK57" ] && "$MUXD" stop --sock "$SOCK57" 2>/dev/null || true
+    [ -S "$SOCK58" ] && "$MUXD" stop --sock "$SOCK58" 2>/dev/null || true
+    # ---- the leak sweep (hygiene kit, 6a) ----
+    # Here rather than at the bottom of the file, which `set -e` reaches only
@@ @@ -1336,7 +1348,7 @@ cleanup() { @@
+        "$D26PID" "$D27PID" "$D28PID" "$D29PID" "$D30PID" "$D31PID" \
+        "$D32PID" "$D33PID" "$D34PID" "$D35PID" "$D36PID" "$D37PID" \
+        "$D38PID" "$D39PID" "$D40PID" "$D41PID" "$D42PID" "$D43PID" "$D54PID" \
+        "$D55PID" "$D56PID" "$D57PID" "$D58PID" "$D59PID"
+    _leak=0
+    leak_sweep "$_rc" || _leak=1
@@ @@ -1411,7 +1423,14 @@ cleanup() { @@
+        "$OUT.fsstop" "$SOCK54" \
+        "$OUT.rsz.d" "$OUT.rszcap" "$OUT.rszcap.err" "$OUT.rszpc" \
+        "$OUT.rsza" "$OUT.rsza.err" "$OUT.rszb" "$OUT.rszb.err" \
+        "$OUT.rszsta" "$OUT.rszstb" "$OUT.rszstop" "$SOCK55" \
+        "$OUT.spc.d" "$OUT.spca" "$OUT.spca.err" "$OUT.spcb" "$OUT.spcb.err" \
+        "$OUT.spccap" "$OUT.spccap.err" "$OUT.spcpc" "$OUT.spcgrid" \
+        "$OUT.spcstop" "$SOCK56" \
+        "$OUT.hjk.d" "$OUT.hjkcap" "$OUT.hjkcap.err" "$OUT.hjkpc" \
+        "$OUT.hjkfa" "$OUT.hjkfb" "$OUT.hjkfc" "$OUT.hjkstop" "$SOCK57" \
+        "$OUT.spl.d" "$OUT.splcap" "$OUT.splcap.err" "$OUT.splpc" \
+        "$OUT.splsta" "$OUT.splstop" "$SOCK58"
+    # ...and the non-tty capture that leg's session feeds.
+    rm -f "$OUT.nogate"
+    # ...and its other half: the paste capture and the file nvim wrote, which
+D56PID=""
+ok "Ctrl-\\ r trades cells between panes; Esc returns to prose"
+# ---- span-clear survival: the engine oracle -------------------------
+#
+# Two beside panes at 80x24 (aspect rule: cols >= 2*rows → beside). A
+# marker in the RIGHT pane's session, then a flood in the LEFT pane's
+# session (seq 1 200). The regression this catches forever is a whole-line
+# clear (\x1b[2K) blanking the neighbor: a painter that emits too much
+# still passes a byte grep, so the assertion replays the wall client's
+# FULL captured stdout through the render fixture (an engine, not a grep)
+# and checks the right pane's marker text survives on the replayed grid.
+"$MUXD" run --sock "$SOCK56" --shell /bin/sh > "$OUT.spc.d" 2>&1 &
+D57PID=$!
+wait_sock "$SOCK56" "$OUT.spc.d" "span-clear daemon never bound"
+pipe_mux "$OUT.spca" "$OUT.spca.err" timeout 40 "$MUX" --sock "$SOCK56" --session a
+pipe_send 'printf "spc-%%s\\n" left-flood\n'
+await_out "$OUT.spca" "spc-left-flood" "span-clear: left session's marker never reached the client"
+pipe_detach
+wait_grid "$SOCK56" "spc-left-flood" "span-clear: left session's marker" a
+pipe_mux "$OUT.spcb" "$OUT.spcb.err" timeout 40 "$MUX" --sock "$SOCK56" --session b
+pipe_send 'printf "spc-%%s\\n" right-survivor\n'
+await_out "$OUT.spcb" "spc-right-survivor" "span-clear: right session's marker never reached the client"
+pipe_detach
+wait_grid "$SOCK56" "spc-right-survivor" "span-clear: right session's marker" b
+set +e
+# 80x24: aspect rule → beside. The wall client is a tty session: its
+# stdout is the terminal's full byte stream, captured by ptyclient.
+timeout 90 "$PTYCLIENT" --cols 80 --rows 24 --out "$OUT.spccap" --err "$OUT.spccap.err" -- \
+    "$MUX" wall "--sock $SOCK56#a" "--sock $SOCK56#b" > "$OUT.spcpc" 2>&1 <<'EOF'
+expect spc-right-survivor 20000
+settle 700 20000
+send \x1ch
+settle 500 15000
+send seq 1 200\n
+expect 200 20000
+settle 700 20000
+send \x1cd
+waitexit 10000
+EOF
+RC=$?
+set -e
+[ "$RC" -eq 0 ] || {
+    echo "e2e FAIL: span-clear: ptyclient leg exited $RC:"
+    cat "$OUT.spcpc" "$OUT.spccap.err"; exit 1; }
+# The oracle: replay the captured stream through the render fixture at the
+# same dimensions, producing the final grid text. The right pane's marker
+# must still be on that grid — a span-clear regression blanks it.
+"$RENDER" --cols 80 --rows 24 < "$OUT.spccap" > "$OUT.spcgrid" || {
+    echo "e2e FAIL: span-clear: render fixture failed on the capture:"
+    cat "$OUT.spcgrid"; exit 1; }
+grep -q "spc-right-survivor" "$OUT.spcgrid" || {
+    echo "e2e FAIL: span-clear: right pane's marker lost from the replayed grid:"
+    echo "          a span-clear regression blanked the neighbor:"
+    cat "$OUT.spcgrid"; exit 1; }
+assert_stopped "$SOCK56" "$D57PID" "span-clear" "$OUT.spcstop"
+D57PID=""
+ok "a span-clear flood in the left pane cannot blank the right pane's grid"
+# ---- hjkl focus walk -------------------------------------------------
+#
+# One tile, split right (births a second session), split below (births a
+# third). Then walk focus with hjkl and type a distinct marker after each
+# move; muxa capture names which session received it. Covers at least a
+# left move, a right move, and one vertical move.
+#
+# No convergence point: the assertion is per-session muxa capture, not a
+# daemon-grid diff.
+"$MUXD" run --sock "$SOCK57" --shell /bin/sh > "$OUT.hjk.d" 2>&1 &
+D58PID=$!
+wait_sock "$SOCK57" "$OUT.hjk.d" "hjkl daemon never bound"
+pipe_mux "$OUT.hjkcap" "$OUT.hjkcap.err" timeout 40 "$MUX" --sock "$SOCK57" --session a
+pipe_send 'printf "hjk-%%s\\n" origin\n'
+await_out "$OUT.hjkcap" "hjk-origin" "hjkl: origin marker never reached the client"
+pipe_detach
+wait_grid "$SOCK57" "hjk-origin" "hjkl: origin marker" a
+set +e
+# 80x24: aspect rule → beside for the first split; the second split goes
+# below, producing a 1 | (2 over 3) tree.
+timeout 90 "$PTYCLIENT" --cols 80 --rows 24 --out "$OUT.hjkcap" --err "$OUT.hjkcap.err" -- \
+    "$MUX" wall "--sock $SOCK57#a" > "$OUT.hjkpc" 2>&1 <<'EOF'
+expect hjk-origin 20000
+settle 700 20000
+send \x1c|
+settle 1000 20000
+send \x1c-
+settle 1000 20000
+send \x1ch
+settle 500 15000
+send printf 'hjk-%s\n' went-left\n
+expect hjk-went-left 10000
+settle 500 15000
+send \x1cl
+settle 500 15000
+send printf 'hjk-%s\n' went-right\n
+expect hjk-went-right 10000
+settle 500 15000
+send \x1cj
+settle 500 15000
+send printf 'hjk-%s\n' went-down\n
+expect hjk-went-down 10000
+settle 500 15000
+send \x1cd
+waitexit 10000
+EOF
+RC=$?
+set -e
+[ "$RC" -eq 0 ] || {
+    echo "e2e FAIL: hjkl: ptyclient leg exited $RC:"
+    cat "$OUT.hjkpc" "$OUT.hjkcap.err"; exit 1; }
+# Three sessions exist now: a (the origin), and two birthed by splits.
+# The daemon assigns numeric names to the new sessions; capture all three.
+timeout 20 "$MUXA" capture --sock "$SOCK57" --session a > "$OUT.hjkfa" 2>&1
+timeout 20 "$MUXA" capture --sock "$SOCK57" --session 1 > "$OUT.hjkfb" 2>&1
+timeout 20 "$MUXA" capture --sock "$SOCK57" --session 2 > "$OUT.hjkfc" 2>&1
+# went-left: typed after \x1ch from the right pane → lands in session a.
+grep -q "hjk-went-left" "$OUT.hjkfa" || {
+    echo "e2e FAIL: hjkl: hjk-went-left not in session a (left focus move):"
+    cat "$OUT.hjkfa"; exit 1; }
+# went-right: typed after \x1cl from session a → lands in session 1.
+grep -q "hjk-went-right" "$OUT.hjkfb" || {
+    echo "e2e FAIL: hjkl: hjk-went-right not in session 1 (right focus move):"
+    cat "$OUT.hjkfb"; exit 1; }
+# went-down: typed after \x1cj from session 1 → lands in session 2.
+grep -q "hjk-went-down" "$OUT.hjkfc" || {
+    echo "e2e FAIL: hjkl: hjk-went-down not in session 2 (down focus move):"
+    cat "$OUT.hjkfc"; exit 1; }
+assert_stopped "$SOCK57" "$D58PID" "hjkl" "$OUT.hjkstop"
+D58PID=""
+ok "hjkl walks focus across panes in both axes"
+# ---- split births a session beside -----------------------------------
+#
+# From one pane, Ctrl-\ | splits right and births a new session. The
+# daemon's session count rises to two, and the new pane's label bar sits
+# at a column to the right of the rail (the rail paints as ESC[r;cH
+# ESC[7m — the same idiom the resize leg uses).
+"$MUXD" run --sock "$SOCK58" --shell /bin/sh > "$OUT.spl.d" 2>&1 &
+D59PID=$!
+wait_sock "$SOCK58" "$OUT.spl.d" "split-birth daemon never bound"
+pipe_mux "$OUT.splcap" "$OUT.splcap.err" timeout 40 "$MUX" --sock "$SOCK58" --session a
+pipe_send 'printf "spl-%%s\\n" origin\n'
+await_out "$OUT.splcap" "spl-origin" "split-birth: origin marker never reached the client"
+pipe_detach
+wait_grid "$SOCK58" "spl-origin" "split-birth: origin marker" a
+set +e
+# 80x24: aspect rule → beside. One tile starts, then Ctrl-\ | births a
+# second session to the right.
+timeout 90 "$PTYCLIENT" --cols 80 --rows 24 --out "$OUT.splcap" --err "$OUT.splcap.err" -- \
+    "$MUX" wall "--sock $SOCK58#a" > "$OUT.splpc" 2>&1 <<'EOF'
+expect spl-origin 20000
+settle 700 20000
+send \x1c|
+settle 1500 20000
+send \x1cd
+waitexit 10000
+EOF
+RC=$?
+set -e
+[ "$RC" -eq 0 ] || {
+    echo "e2e FAIL: split-birth: ptyclient leg exited $RC:"
+    cat "$OUT.splpc" "$OUT.splcap.err"; exit 1; }
+# The daemon held sessions 0 (default) and a; the split birthed one
+# more, so three live sessions proves the chord created a new session.
+wait_sessions "$SOCK58" 3 "split-birth: split did not birth a new session"
+# The rail paints as ESC[row;colH ESC[7m (reverse video). The new pane's
+# label bar is at a column greater than the rail's column — it sits to
+# the right of the separator, which is the whole point of beside.
+_rail_re=$'\x1b\\[[0-9][0-9]*;[0-9][0-9]*H\x1b\\[7m'
+_rail_col=$(grep -ao "$_rail_re" "$OUT.splcap" | \
+    sed 's/.*\x1b\[[0-9]*;\([0-9]*\)H\x1b\[7m/\1/' | sort -n | head -1)
+[ -n "$_rail_col" ] || {
+    echo "e2e FAIL: split-birth: no rail glyph found in the capture:"
+    cat "$OUT.splcap"; exit 1; }
+# The rail sits at the boundary; the new pane's label bar is beyond it.
+# A label bar is a CUP followed by text, not reverse-video. Find a CUP
+# whose column exceeds the rail's — that is the right pane's bar start.
+_bar_col=$(grep -ao $'\x1b\\[[0-9]*;[0-9]*H' "$OUT.splcap" | \
+    sed 's/\x1b\[[0-9]*;\([0-9]*\)H/\1/' | sort -n | \
+    awk -v r="$_rail_col" '$1 > r { print; exit }')
+[ -n "$_bar_col" ] || {
+    echo "e2e FAIL: split-birth: no label bar found right of the rail (col $_rail_col):"
+    cat "$OUT.splcap"; exit 1; }
+assert_stopped "$SOCK58" "$D59PID" "split-birth" "$OUT.splstop"
+D59PID=""
+ok "Ctrl-\\ | births a session beside; its label bar sits right of the rail"
+[ "$OK_COUNT" = "68" ] || {
+    echo "e2e FAIL: $OK_COUNT scenario checkpoints ran, the pin says 68 —"
+    echo "          a scenario was added (update the pin) or silently lost"
+    exit 1
+    echo "e2e FAIL: $CONV_COUNT convergence points ran, the pin says 37"
+    exit 1
+echo "e2e OK ($OK_COUNT scenarios, $CONV_COUNT convergence points)"