the rule stops repeating the aria, j/k choose, and a result is an alert

FOUR OF YOURS, and the rest are listed below as not-yet.

THE RULE NO LONGER CARRIES THE ARIA ID. It moved onto the bar last commit, and
the rule kept printing it one row above -- the whole width of a line spent
saying what the row below already said. What is left is the only thing the rule
knows that the bar does not: where this window sits in the conversation, and
whether it is following. With no position it is now a plain rule.

THE PIT'S NAME IS NOT A VERBOSE EXTRA. The design draws "𝄚 queue", always;
`token()` was hiding the word behind ^V, so the succinct bar said "𝄚" -- an
answer for someone who has already memorised the glyphs and for nobody else.
The queue's title row went with it: the pit says what it is on the bar, and a
title repeated the same word one line above at the cost of a row.

THE INCIPIT SHOWS WHAT THE PAGER SHOWS. bookendLines forced verbose on the
theory that scrollback cannot be asked to toggle -- so turning detail OFF in
the pager left the inline stream showing it anyway. "One canonical
implementation" is not satisfied by one function with two callers passing
different arguments. If `m` is off, it is off everywhere.

AND THE OLD RENDERER IS DELETED. statusLine/statusLineVerbose were dead in
production the moment statusview.go landed, and alive only in tests -- two
renderers with the assertions pointed at the wrong one, which is exactly how
the two modes drifted apart to begin with.

j/k CHOOSE, e/y READ, u/d PAGE. Selection and scrolling were one motion and
that made `form show` unusable in the other direction too: j moved the window
and left the selection behind. Now j/k (and ^N/^P) move the selection with the
window following, `e` scrolls a row down, `y` scrolls a row up where there is
nothing to select (it is still yank where there is), u/d take half a page.

A ONE-LINE RESULT IS AN ALERT, NOT A PIT. "sent" now lands in the bar's first
slot -- left of the pit glyph, left of the state -- and retires after
cli.notice_ttl. It used to open a message pit, which REPLACED an open queue, so
the next poll rebuilt the list and an `x` aimed at row two dropped row one.
Anything longer than half a row is still a pit, because a bar row cannot hold
it.

STILL OUTSTANDING, and I would rather name them than let them look done:
`form show` has no glyph (only `form listen` is a live view; show takes another
path), the pit's height still moves by a row when a selection appears, and
fullscreen (F to shadow the transcript) is not started.

Author: gluck

internal/cli/drawerid.go

@@ -104,19 +104,25 @@ func (d drawerID) face() drawerFace {
 // a keyMode from what is on screen.
 func (d drawerID) keys() keyMode { return d.face().keys }
 
-// token is what the drawer contributes to the left of the status bar: its
-// glyph, plus its name under verbose. Empty for the drawers that have nothing
-// to announce, so the row then begins with the state.
-func (d drawerID) token(verbose bool) string {
+// token is what the pit contributes to the left of the status bar: GLYPH AND
+// NAME, always, because that is what the design draws --
+//
+//	𝄚 queue · ✓ · 123abc · test                      9.8k/1.0m (1.0%)
+//
+// It is not a verbose extra. The name is how you know which pit you are in,
+// and hiding it behind a toggle made the succinct bar say only "𝄚", which
+// answers the question for someone who has already memorised the glyphs and
+// for nobody else. Empty for the pits with nothing to announce, so the row
+// then begins with the state.
+func (d drawerID) token() string {
 	f := d.face()
-	switch {
-	case f.glyph == "":
+	if f.glyph == "" {
 		return ""
-	case verbose && f.name != "":
-		return f.glyph + " " + f.name
-	default:
+	}
+	if f.name == "" {
 		return f.glyph
 	}
+	return f.glyph + " " + f.name
 }
 
 // selectionGlyph marks the row under the cursor. It is PER DRAWER, not one

internal/cli/keymap_equiv_test.go

@@ -204,6 +204,11 @@ var pagerOracle = []struct {
 	keys  map[string]string
 }{
 	{"help", "off:same fol=true srch=false q=\"\" mq=\"\" h=false s=false Q=false g=false sel=false exp=0 jmp=false jq=\"\"", map[string]string{
+		// `e` READS: it scrolls the pit by a row without moving the selection
+		// (vim's ^E, unmodified, because the chord is spent on selection).
+		// j/k now CHOOSE, u/d page, and y scrolls back only where there is
+		// nothing to select -- otherwise y is still yank.
+		"0x65": "off:bottom fol=true srch=false q=\"\" mq=\"\" h=true s=false Q=false g=false sel=false exp=0 jmp=false jq=\"\"",
 		// REGENERATED for THE PICKER (picker.go): every drawer now owns the
 		// list motions -- j/k, u/d, gg/G and the arrow cluster move whichever
 		// drawer is open instead of wiping it and acting on the transcript
@@ -358,6 +363,11 @@ var pagerOracle = []struct {
 		"0x7f": "off:same fol=true srch=false q=\"\" mq=\"\" h=false s=false Q=false g=false sel=false exp=0 jmp=true jq=\"1\"",
 	}},
 	{"panel+sel", "off:same fol=false srch=false q=\"\" mq=\"\" h=false s=false Q=false g=false sel=true exp=0 jmp=false jq=\"\"", map[string]string{
+		// `e` READS: it scrolls the pit by a row without moving the selection
+		// (vim's ^E, unmodified, because the chord is spent on selection).
+		// j/k now CHOOSE, u/d page, and y scrolls back only where there is
+		// nothing to select -- otherwise y is still yank.
+		"0x65": "off:same fol=false srch=false q=\"\" mq=\"\" h=false s=true Q=false g=false sel=true exp=0 jmp=false jq=\"\"",
 		// REGENERATED for THE PICKER (picker.go): every drawer now owns the
 		// list motions -- j/k, u/d, gg/G and the arrow cluster move whichever
 		// drawer is open instead of wiping it and acting on the transcript
@@ -386,6 +396,11 @@ var pagerOracle = []struct {
 		"0x78": "off:same fol=false srch=false q=\"\" mq=\"\" h=false s=true Q=false g=false sel=true exp=0 jmp=false jq=\"\"",
 	}},
 	{"queued", "off:same fol=true srch=false q=\"\" mq=\"\" h=false s=false Q=false g=false sel=false exp=0 jmp=false jq=\"\"", map[string]string{
+		// `e` READS: it scrolls the pit by a row without moving the selection
+		// (vim's ^E, unmodified, because the chord is spent on selection).
+		// j/k now CHOOSE, u/d page, and y scrolls back only where there is
+		// nothing to select -- otherwise y is still yank.
+		"0x65": "off:bottom fol=true srch=false q=\"\" mq=\"\" h=false s=false Q=true g=false sel=false exp=0 jmp=false jq=\"\"",
 		// REGENERATED for THE PICKER (picker.go): every drawer now owns the
 		// list motions -- j/k, u/d, gg/G and the arrow cluster move whichever
 		// drawer is open instead of wiping it and acting on the transcript
@@ -618,6 +633,11 @@ var pagerOracle = []struct {
 		"0x7f": "off:same fol=false srch=true q=\"\" mq=\"\" h=false s=false Q=false g=false sel=true exp=0 jmp=false jq=\"\"",
 	}},
 	{"status", "off:same fol=true srch=false q=\"\" mq=\"\" h=false s=false Q=false g=false sel=false exp=0 jmp=false jq=\"\"", map[string]string{
+		// `e` READS: it scrolls the pit by a row without moving the selection
+		// (vim's ^E, unmodified, because the chord is spent on selection).
+		// j/k now CHOOSE, u/d page, and y scrolls back only where there is
+		// nothing to select -- otherwise y is still yank.
+		"0x65": "off:bottom fol=true srch=false q=\"\" mq=\"\" h=false s=true Q=false g=false sel=false exp=0 jmp=false jq=\"\"",
 		// REGENERATED for THE PICKER (picker.go): every drawer now owns the
 		// list motions -- j/k, u/d, gg/G and the arrow cluster move whichever
 		// drawer is open instead of wiping it and acting on the transcript

internal/cli/keymap_input_equiv_test.go

@@ -558,6 +558,11 @@ var inputOracle = []struct {
 		"csiu ^p+alt":     "stop=false rest=\"\" act=true off:same fol=true srch=false q=\"\" h=false s=false Q=false g=false sel=false verb=false disc=0 canc=false clip=\"\" cpfail=false cping=false jmp=true jq=\"12\"",
 	}},
 	{"panel", "stop=false rest=\"\" act=true off:same fol=true srch=false q=\"\" h=false s=false Q=false g=false sel=false verb=false disc=0 canc=false clip=\"\" cpfail=false cping=false jmp=false jq=\"\"", map[string]string{
+		// `e` READS: it scrolls the pit by a row without moving the selection
+		// (vim's ^E, unmodified, because the chord is spent on selection).
+		// j/k now CHOOSE, u/d page, and y scrolls back only where there is
+		// nothing to select -- otherwise y is still yank.
+		"0x65": "stop=false rest=\"\" act=true off:bottom fol=true srch=false q=\"\" h=true s=false Q=false g=false sel=false verb=false disc=0 canc=false clip=\"\" cpfail=false cping=false jmp=false jq=\"\"",
 		// REGENERATED for THE PICKER (picker.go): every drawer now owns the
 		// list motions -- j/k, u/d, gg/G and the arrow cluster move whichever
 		// drawer is open instead of wiping it and acting on the transcript

internal/cli/livelog_bridge_test.go

@@ -14,7 +14,7 @@ import (
 func TestIncipitFreezesAssistantAfterTerminalStatusArrives(t *testing.T) {
 	var out bytes.Buffer
 	status := newSessionStatus("aria1234", time.Now())
-	bookend := func() []string { return []string{status.ruleLine(80, ""), status.statusLineVerbose(80, false, true)} }
+	bookend := func() []string { return footerStanza(status, 80, "", drawerNothing, status.barVerbose()) }
 	lt := newLivelogTurn(&out, 80, 20, &renderSettings{}, "aria1234", time.Now(), status, bookend, func() string { return "rule" })
 
 	lt.apply(aria.Page{Parts: []aria.TurnPart{{Turn: aria.Turn{ID: uint64(2), Live: &aria.Live{From: 0, V: 0, Nodes: []aria.NodeDelta{{
@@ -30,15 +30,15 @@ func TestIncipitFreezesAssistantAfterTerminalStatusArrives(t *testing.T) {
 	if lt.pending != nil {
 		t.Fatal("terminal status must freeze pending assistant output")
 	}
-	if !strings.Contains(out.String(), "done ✓") {
+	if !strings.Contains(out.String(), "✓") {
 		t.Fatalf("incipit did not freeze completed status:\n%s", out.String())
 	}
 }
 
 func TestIncipitFreezesAssistantCloseAfterTurnDone(t *testing.T) {
 	var out bytes.Buffer
 	status := newSessionStatus("aria1234", time.Now())
-	bookend := func() []string { return []string{status.ruleLine(80, ""), status.statusLineVerbose(80, false, true)} }
+	bookend := func() []string { return footerStanza(status, 80, "", drawerNothing, status.barVerbose()) }
 	lt := newLivelogTurn(&out, 80, 20, &renderSettings{}, "aria1234", time.Now(), status, bookend, func() string { return "rule" })
 
 	lt.apply(aria.Page{Parts: []aria.TurnPart{{Turn: aria.Turn{ID: uint64(2), Live: &aria.Live{From: 0, V: 0, Nodes: []aria.NodeDelta{{
@@ -51,15 +51,15 @@ func TestIncipitFreezesAssistantCloseAfterTurnDone(t *testing.T) {
 	if lt.pending != nil {
 		t.Fatal("late assistant close must freeze after turn completion")
 	}
-	if !strings.Contains(out.String(), "done ✓") {
+	if !strings.Contains(out.String(), "✓") {
 		t.Fatalf("late close did not freeze completed status:\n%s", out.String())
 	}
 }
 
 func TestIncipitRepaintsDiscardedAssistantWithErrorStatus(t *testing.T) {
 	var out bytes.Buffer
 	status := newSessionStatus("aria1234", time.Now())
-	bookend := func() []string { return []string{status.ruleLine(80, ""), status.statusLineVerbose(80, false, true)} }
+	bookend := func() []string { return footerStanza(status, 80, "", drawerNothing, status.barVerbose()) }
 	lt := newLivelogTurn(&out, 80, 20, &renderSettings{}, "aria1234", time.Now(), status, bookend, func() string { return "rule" })
 
 	lt.apply(aria.Page{Parts: []aria.TurnPart{{Turn: aria.Turn{ID: uint64(2), Live: &aria.Live{From: 0, V: 0, Nodes: []aria.NodeDelta{{
@@ -68,7 +68,7 @@ func TestIncipitRepaintsDiscardedAssistantWithErrorStatus(t *testing.T) {
 	}}}}}}})
 	lt.finishTurn("error: provider failed")
 
-	if !strings.Contains(out.String(), "error ✗") {
+	if !strings.Contains(out.String(), "✗") {
 		t.Fatalf("discarded assistant retained thinking status:\n%s", out.String())
 	}
 }

internal/cli/session_status.go

@@ -278,90 +278,28 @@ func (s *sessionStatus) turnLabel(verbose bool) string {
 // ruleLine is the upper of the two footer rows: a full-width rule with the
 // identity right-aligned: "─────…── aria <id>[ · <pos>] ───". Undecorated
 // (the caller dims it).
+// ruleLine closes the conversation. IT NO LONGER CARRIES THE ARIA ID: the id
+// moved onto the status bar, and printing it twice, one row apart, spent the
+// rule's whole width saying what the row below already said. What is left is
+// the only thing the rule knows that the bar does not -- where in the
+// conversation this window sits, and whether it is following.
 func (s *sessionStatus) ruleLine(width int, pos string) string {
-	label := "aria " + s.figaroID
-	if pos != "" {
-		label += " · " + pos
+	if pos == "" {
+		return clipToWidth(strings.Repeat("─", max(width, 0)), width)
 	}
-	right := " " + label + " ───"
+	right := " " + pos + " ───"
 	fill := width - runewidth.StringWidth(right)
 	if fill < 3 {
 		fill = 3
 	}
 	return clipToWidth(strings.Repeat("─", fill)+right, width)
 }
 
-// statusLine is the lower footer row: plain left-aligned text -
-// "<mantra> · <turn state> · ctx … · cost … · <time>[ · ? help · ! status]".
-// hints adds the key hooks (live pager only; frozen scrollback omits them).
-// Narrow panes shed the mantra first, then cost, then ctx, then the time -
-// the turn state and the hints survive last.
-func (s *sessionStatus) statusLine(width int, hints bool) string {
-	return s.statusLineVerbose(width, hints, s.verbose)
-}
-
-// statusLineVerbose is statusLine with the verbosity named rather than read
-// off the session. FROZEN ROWS PASS true: the bookend that lands in scrollback
-// is a permanent artifact, and `^V` cannot be pressed on a screenful of text
-// that scrolled past an hour ago. A live row can be asked; a dead one cannot,
-// so it says the word.
-func (s *sessionStatus) statusLineVerbose(width int, hints, verbose bool) string {
-	if s == nil {
-		return ""
-	}
-	s.mu.RLock()
-	type tok struct {
-		text string
-		rank int // shed order: lower sheds first (0 = mantra)
-	}
-	var tokens []tok
-	// THE NOTICE IS THE ONE TOKEN THAT MUST NOT BE SHED, and it goes first:
-	// trouble belongs where the eye lands, not after the token cost. Rank 6 is
-	// above every shed pass, so only the ellipsis can ever shorten it. Red is
-	// re-lit against the caller's dim wrapper (22 = not-dim) and handed back
-	// dim + default-foreground, so the rest of the row is unchanged.
-	if s.notice != "" {
-		tokens = append(tokens, tok{term.NoticeInDim(s.notice), 6})
-	}
-	if mantra := strings.Join(strings.Fields(s.metrics.Mantra), " "); mantra != "" {
-		tokens = append(tokens, tok{truncRunes(mantra, 32), 0})
-	}
-	if label := s.turnLabel(verbose); label != "" {
-		tokens = append(tokens, tok{label, 4})
-	}
-	if context := formatContextUsage(s.metrics.ContextTokens, s.metrics.ContextLimit, s.metrics.ContextExact); context != "-" {
-		tokens = append(tokens, tok{"ctx " + context, 2})
-	}
-	if cost := formatSessionTokenCost(s.metrics.TokensIn, s.metrics.TokensOut); cost != "-" {
-		tokens = append(tokens, tok{"cost " + cost, 1})
-	}
-	tokens = append(tokens, tok{s.startedAt.Format("15:04:05"), 3})
-	if hints {
-		tokens = append(tokens, tok{"? help", 5}, tok{"! status", 5})
-	}
-	s.mu.RUnlock()
-
-	join := func() string {
-		parts := make([]string, 0, len(tokens))
-		for _, t := range tokens {
-			parts = append(parts, t.text)
-		}
-		return strings.Join(parts, " · ")
-	}
-	for rank := 0; rank < 4 && displayWidth(join()) > width; rank++ {
-		kept := tokens[:0]
-		for _, t := range tokens {
-			if t.rank != rank {
-				kept = append(kept, t)
-			}
-		}
-		tokens = kept
-	}
-	// Ellipsis, not a hard clip: the status row is read as a sentence, and a
-	// bare cut ends mid-word with nothing to say it was cut. One column buys
-	// the difference between "cost 4.5k to" and "cost 4.5k…".
-	return clipToWidthEllipsis(join(), width)
-}
+// THE OLD ASSEMBLED ROW IS GONE. statusLine()/statusLineVerbose() built the
+// bar by hand -- token list, rank ladder, ellipsis -- and after statusview.go
+// landed they were dead in production and alive only in tests. Two renderers,
+// one of them asserted against: that is how the pager and the incipit came to
+// disagree in the first place. The bar is statusView.render and nothing else.
 
 // panelLines is the '!' status panel: the figaro-status detail rendered from
 // the live metrics snapshot, shown above the footer while output streams.
@@ -434,11 +372,14 @@ func formatTokenCount(tokens int) string {
 // footer the pager draws -- footerStanza -- with no position label, because a
 // stream that is not paging has no window to report.
 //
-// FROZEN ROWS ARE VERBOSE, and that is the one thing this caller decides: the
-// bookend lands in scrollback, where ^V cannot be pressed on text that scrolled
-// past an hour ago. A live bar can be asked; a dead one has to say the word.
+// THE INCIPIT'S BAR IS THE PAGER'S BAR. It reads the same verbosity from the
+// same session, because "one canonical implementation" is not satisfied by one
+// FUNCTION with two callers that pass different arguments -- this caller used
+// to force verbose on the theory that scrollback cannot be asked, and the
+// result was an inline stream showing detail the pager had just been told to
+// stop showing. If `m` is off, it is off everywhere.
 func bookendLines(status *sessionStatus) []string {
-	return footerStanza(status, termWidth(), "", drawerNothing, true)
+	return footerStanza(status, termWidth(), "", drawerNothing, status.barVerbose())
 }
 
 // formatCtxCell renders a context size for the narrow CTX column in `list`:

internal/cli/session_status_notice_test.go

@@ -27,6 +27,24 @@ func statusFixture(mantra string) *sessionStatus {
 	return s
 }
 
+// row renders the status bar the way the PROGRAM does: one renderer, so a test
+// cannot pass against a spelling production no longer uses. (statusLine, which
+// these tests used to call, was a second implementation of this and is gone.)
+func row(s *sessionStatus, w int) string {
+	return strings.Join(s.viewOf(drawerNothing, s.barVerbose(), time.Now()).render(w), "\n")
+}
+
+// rowWidth is the WIDEST row of the bar. The bar is one row or three, so a
+// width assertion must measure rows rather than the joined string -- which is
+// what made these tests report 56 columns for a 40-column bar.
+func rowWidth(s *sessionStatus, w int) int {
+	widest := 0
+	for _, r := range s.viewOf(drawerNothing, s.barVerbose(), time.Now()).render(w) {
+		widest = max(widest, displayWidth(r))
+	}
+	return widest
+}
+
 func TestStatusNoticeIsRedAndLeftmost(t *testing.T) {
 	// Arm colour: a test binary's stdout is not a TTY, and the notice now
 	// honours that like every other painted token. It did not before -- the
@@ -36,7 +54,7 @@ func TestStatusNoticeIsRedAndLeftmost(t *testing.T) {
 
 	s := statusFixture("a perfectly ordinary mantra")
 	s.setNotice("error: overloaded")
-	line := s.statusLine(200, true)
+	line := row(s, 200)
 
 	// Through the palette, not a literal: the assertion asks the theme what a
 	// notice looks like, so a palette change moves the test with the code
@@ -59,12 +77,12 @@ func TestStatusNoticeShedsLast(t *testing.T) {
 	s := statusFixture("a perfectly ordinary mantra that is quite long indeed")
 	s.setNotice("error: overloaded")
 	for _, w := range []int{120, 90, 70, 50, 40, 30} {
-		line := s.statusLine(w, true)
+		line := row(s, w)
 		if !strings.Contains(line, "error") {
 			t.Errorf("width %d shed the notice: %q", w, line)
 		}
-		if got := displayWidth(line); got > w {
-			t.Errorf("width %d: row is %d columns wide: %q", w, got, line)
+		if got := rowWidth(s, w); got > w {
+			t.Errorf("width %d: widest row is %d columns: %q", w, got, line)
 		}
 	}
 }
@@ -74,7 +92,7 @@ func TestStatusNoticeClears(t *testing.T) {
 	s := statusFixture("m")
 	s.setNotice("error: overloaded")
 	s.setNotice("")
-	if line := s.statusLine(200, true); strings.Contains(line, "overloaded") {
+	if line := row(s, 200); strings.Contains(line, "overloaded") {
 		t.Fatalf("notice survived being cleared: %q", line)
 	}
 }
@@ -84,7 +102,7 @@ func TestStatusNoticeClears(t *testing.T) {
 func TestStatusNoticeIsOneLine(t *testing.T) {
 	s := statusFixture("m")
 	s.setNotice("first line\nsecond line\n\tthird")
-	line := s.statusLine(200, true)
+	line := row(s, 200)
 	if strings.ContainsAny(line, "\n\t") {
 		t.Fatalf("notice carried a line break into the row: %q", line)
 	}
@@ -97,8 +115,8 @@ func TestStatusLineEllipsisOnOverflow(t *testing.T) {
 	s := statusFixture("a mantra long enough to force the issue at narrow widths")
 	s.setNotice("error: something went quite wrong in a long-winded way")
 	for _, w := range []int{60, 40, 24, 12, 5, 2, 1} {
-		line := s.statusLine(w, true)
-		if got := displayWidth(line); got > w {
+		line := row(s, w)
+		if got := rowWidth(s, w); got > w {
 			t.Fatalf("width %d: %d columns: %q", w, got, line)
 		}
 		if !strings.Contains(line, "…") {
@@ -110,7 +128,7 @@ func TestStatusLineEllipsisOnOverflow(t *testing.T) {
 // A row that fits must be left exactly alone: no ellipsis, no rewrite.
 func TestStatusLineNoEllipsisWhenItFits(t *testing.T) {
 	s := statusFixture("m")
-	line := s.statusLine(400, true)
+	line := row(s, 400)
 	if strings.Contains(line, "…") {
 		t.Fatalf("a row with room to spare was ellipsised: %q", line)
 	}