Context
A dependency-only extraction of PR #56 proved that ratatui-macros 0.7.2 cannot be updated independently while Clanker remains on the pinned nornagon/ratatui 0.29 fork.
The new macros emit ratatui-core 0.1.2 Line/Span types. The TUI expects the fork's ratatui::Line/Span, producing five E0277 errors in codex-rs/tui/src/history_cell/notices.rs.
Required coordinated work
- migrate or update the pinned ratatui fork and
ratatui-macros together
- ensure a single
Line/Span type universe
- regenerate Cargo and Bazel locks
- run locked TUI check, tests, strict Clippy, snapshots, and cross-platform CI
Evidence
Dependency-only attempted scope was 3 files, +163/-65. Locked metadata, Bazel lock regeneration, and formatting passed; cargo check -p codex-tui --locked failed at the type boundary. spin remained 0.9.9.
Context
A dependency-only extraction of PR #56 proved that
ratatui-macros0.7.2 cannot be updated independently while Clanker remains on the pinned nornagon/ratatui 0.29 fork.The new macros emit
ratatui-core0.1.2Line/Spantypes. The TUI expects the fork'sratatui::Line/Span, producing five E0277 errors incodex-rs/tui/src/history_cell/notices.rs.Required coordinated work
ratatui-macrostogetherLine/Spantype universeEvidence
Dependency-only attempted scope was 3 files, +163/-65. Locked metadata, Bazel lock regeneration, and formatting passed;
cargo check -p codex-tui --lockedfailed at the type boundary.spinremained 0.9.9.