Update Banner wordmark: joined lines, bold, leaning mascot, and a banner_style setting

[yoelrosenthal]

Summary

Follow-ups to the mascot banner from #6.

• Joined-line wordmark. Today's letter shapes and spacing are unchanged, but the ASCII strokes are drawn with joined line characters: ╱ ╲ for the slants, │ for verticals, and ▁ for bottom lines, so the strokes of each letter meet.
• banner_style setting. The joined wordmark needs a terminal that draws box-drawing characters itself. Terminals that take them from the font, Warp and the classic Windows console among them, leave gaps between the strokes. banner_style in config.json defaults to joined; ascii picks the plain fallback.
• Bold. Restores the bold modifier the wordmark lost when it got its own purple style.
• Leaning mascot. The mascot's top rows sit one column right of its bottom two, as in the pre-Add animated mascot banner and tidy the public-release metadata #6 banner. The lean lives in the mascot art only, since shifting whole rows would pull the joined strokes apart.

The setting

• Config: "banner_style": "joined" | "ascii". Configs written before this keep loading and get joined.
• CLI: agentp config set --banner-style ascii, and agentp config show prints it.
• TUI: a new Banner Style row on the config screen toggles it, like Default Mode.
• Both wordmarks place the letters in the same columns, so switching never moves the banner. A test enforces that, and another checks the fallback is pure ASCII.

Verification

• cargo fmt --all -- --check, cargo clippy --all-targets -- -D warnings, and cargo test (112 tests) pass.
• Ran the TUI in Windows Terminal in both styles and rendered the config screen to a test terminal to check the new row.
• Exercised config show and config set --banner-style and confirmed the value persists to config.json.

🤖 Generated with Claude Code

Note

Add configurable banner_style setting and update banner wordmark art

• Adds banner_style to Config and ConfigFile in data.rs, defaulting to joined with ascii as an alternative.
• Updates draw_banner in banner.rs to render the selected wordmark in bold, with joined lines and a leaning mascot.
• Adds a "Banner Style" row to the TUI config menu in config_screen.rs and a --banner-style flag to the CLI config set command.
• Fixes config_toggle_default_mode to restore the previous mode in memory if persisting fails.
• Behavioral Change: config_activate_row shifts all row dispatches after row 3 by one position due to the new "Banner Style" row; CONFIG_MENU_ITEM_COUNT in state.rs updates from 8 to 9.

^{Macroscope summarized 767c8d9.}

[cubic-dev-ai]

No issues found across 1 file

<sub>You're on the cubic free plan with 8 free PR reviews remaining this month. Upgrade for unlimited reviews.

Re-trigger cubic</sub>