Skip to content

diag(shell): Workspace 失败打印每个标签页计数器 (#73) - #276

Merged
JavaZeroo merged 1 commit into
mainfrom
diag/selection-workspace-dump
Oct 31, 2026
Merged

JavaZeroo merged 1 commit into
mainfrom
diag/selection-workspace-dump

Conversation

@JavaZeroo

Copy link
Copy Markdown
Owner

内容

在上一条 workspace-failure mode=… what=… 的基础上,补上每个标签页的计数器:

workspace-failure mode=ui-selection what=…
  tab bottom:0 input_high_water=… input_rejected=… output_bytes=… read_error=… consumed=… stage=… closing=… child_signaled=… exit_code=…
  tab main:0  …

实现:ShellWindow 新增只读 diagnostic_line()(不改 collect() 的收尾路径),Workspace 的失败 catch 遍历两组标签页打印。

为什么

#73 的复核结论是:选择/动作/四 shell 场景由 Workspace 派发,失败时只留下调用方的一行文本,既看不到是哪个会话、也看不到输入/读取侧状态。这份输出正好给出"进队列之后"那一段的可判据字段。

验证

termforge_shell 构建通过。

边界

  • 只读计数器,不含整屏转储(那需要序列化 Screen,留给后续);
  • 不改任何期限与判定。

Refs #73 #36

Workspace scenarios now report each tab input, output, read and stage counters before teardown, which the per-tab dump never reached.
@JavaZeroo
JavaZeroo merged commit fadfe46 into main Oct 31, 2026
8 of 10 checks passed
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.

1 participant