Repository navigation
Move the suppressed-agents count off the tree's head into the footer - #4
Merged
Merged
Conversation
"+171 agents with no recorded activity" sat between main and the first agent
row, every frame. A fan-out that trails a hundred and seventy-one announced
non-events put a census of things that did nothing directly on top of the one
thing that was doing something. §1.5 asks that they be stated, not that they
be stated first.
The footer carries the count now ("171 quiet · s lists", or just the count
under 56 columns), which is where the pane's other chrome lives, and `s`
opens the census — the full list with each agent's id, type, spawn and last
event, the same view ⏎ on the old line reached. `s` for suppressed, which is
what the code and the docs call them; "quiet" is only what the footer has
room for.
The count outranks the right column's mode hint, which is a reminder of a key
that is also in `?`, where this is a fact about the session stated nowhere
else on the screen. It never outranks an ask, a disconnect, or the scroll
position.
That retires the inline expansion (quietLines, quietPreview): selecting the
line used to grow six names under it, which was a worse copy of the census
the same keypress opens. quietDetail stays — the idle screen still expands
its own count, and the condensed screen still carries one, because neither
has a footer to put it in.
Dead since selectableIDs started reading the frame's own hit-test metadata
instead of re-deriving the pseudo-rows from geometry predicates, and its doc
comment ("every screen paints the notice as a selectable row") is now simply
untrue: no screen with a footer does.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Follow-up to #3, which merged before this landed on the branch.
+171 agents with no recorded activitysat betweenmainand the first agent row, every frame — a census of things that did nothing, directly on top of the one thing that was doing something. §1.5 asks that they be stated, not that they be stated first.The footer carries the count now, which is where the pane's other chrome lives:
sopens the census — the full list with each agent's id, type, spawn and last event, the same view⏎on the old line reached.sfor suppressed, which is what the code and the docs call them; "quiet" is only what the footer has room for.The count outranks the right column's mode hint, which is a reminder of a key
?also lists, where this is a fact about the session stated nowhere else on the screen. It never outranks an ask, a disconnect, or the scroll position.That retires the inline expansion (
quietLines,quietPreview): selecting the line used to grow six names under it, a worse copy of the census the same keypress opens.quietDetailstays — the idle screen still expands its own count, and the condensed screen still carries a line, because neither has a footer to put it in. Under 40 columns it still rides on the header asAGENTS 5 +40.Second commit drops
quietLineDrawn, dead sinceselectableIDsstarted reading the frame's hit-test metadata, and whose doc comment this change makes untrue.Full suite passes; the three
codexsrcfailures are pre-existing onmain.