Skip to content
This repository was archived by the owner on Oct 9, 2026. It is now read-only.

Show TUI diffs before deferred summaries arrive - #22

Closed
ketan0 wants to merge 10000 commits into
mainfrom
codex/tui-progressive-summaries
Closed

ketan0 wants to merge 10000 commits into
mainfrom
codex/tui-progressive-summaries

Conversation

@ketan0

@ketan0 ketan0 commented Sep 21, 2026

Copy link
Copy Markdown
Contributor

The TUI now requests the v4 annotation stream, displays initial file results immediately, and applies deferred summaries to existing regions. Labels update without replacing fold choices or moving the visible source anchor. Summary failures leave the diff usable and appear as file-specific errors; v3 recordings remain supported.

Validation: TUI typecheck and all 77 tests pass, including protocol decoding and an OpenTUI rendering test for deferred labels preserving a user-collapsed fold and its screen row. Rebuilt and installed with cargo xtask install-tui.

AI-assisted implementation and validation with Codex.

Loading
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.