Skip to content

feat(dock): fold failed and killed processes into status summaries - #118

Merged
378-kaiabot[bot] merged 1 commit into
mainfrom
feat/failed-killed-summary
Oct 2, 2026
Merged

378-kaiabot[bot] merged 1 commit into
mainfrom
feat/failed-killed-summary

Conversation

@aliou

@aliou aliou commented Sep 30, 2026

Copy link
Copy Markdown
Owner

The status widget listed every failed process by name forever, so a session with many failures pushed live processes off the line.

  • Failed and killed processes now fold into ! N failed and ■ N killed tokens once they are no longer pending — a fresh failure keeps its name visible until the next CHANNELS.STARTED, then folds.
  • pendingTerminalIds in setup.ts holds only the non-folded ids (add on terminal-non-success ENDED, clear on STARTED, pruned in hardRefresh); it is passed to the pure renderStatusWidget as a 4th parameter.
  • Summary helpers mirror formatDoneSummary, using synthetic ProcessInfo values so the glyph (! error, ■ dim) matches statusDot everywhere else.
  • Token order: live → individual pending failures → ! N failed → ■ N killed → ✓ N done.

Design per the approved (but never landed) plan from the Aug design session: two separate summary tokens for glyph integrity, not a single combined one.

@aliou
aliou marked this pull request as draft September 30, 2026 09:57
@378-kaiabot
378-kaiabot Bot force-pushed the feat/failed-killed-summary branch 2 times, most recently from 30af695 to 0224262 Compare October 2, 2026 20:27
Adds pendingTerminalIds to the dock widget: a failed or killed process
stays visible by name until the next process starts, then folds into the
new `! N failed` / `■ N killed` summary tokens, mirroring `✓ N done`.
The set holds only non-folded ids and is pruned when processes leave the
registry, so it stays small over long sessions.
@378-kaiabot
378-kaiabot Bot force-pushed the feat/failed-killed-summary branch from 0224262 to 94f5cd2 Compare October 2, 2026 20:29
@aliou
aliou marked this pull request as ready for review October 2, 2026 20:33
@378-kaiabot
378-kaiabot Bot merged commit 1a92e29 into main Oct 2, 2026
2 checks passed
@378-kaiabot
378-kaiabot Bot deleted the feat/failed-killed-summary branch October 2, 2026 20:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants