Bug: /model provider counts wrap onto separate lines

[dennisonbertram]

Summary
The /model provider list became jagged after the expanded model catalog because provider count labels like (4) and (8) wrapped onto their own lines at 80 columns.

Impact
The first model-picker screen is harder to scan and feels much longer than it should, even though it is still provider-grouped.

Steps to reproduce

1. Open the TUI.
2. Run /model in an 80-column terminal.
3. Observe provider count labels wrapping below provider names.

Expected vs actual behavior
Expected: each provider row stays on one line with the count aligned on that row.
Actual: count labels can wrap to a separate line.

Suspected root cause
The model switcher padded rows to the full box width without subtracting the box left/right padding, causing Lip Gloss wrapping.

Proposed fix direction
Account for box padding in highlighted rows and right-aligned provider-count rows.

Test plan / regression coverage
Add a model-switcher regression that fails when provider counts appear on count-only rows or any line exceeds 80 columns.

Related docs/log entries
See docs/logs/engineering-log.md and docs/logs/long-term-thinking-log.md entries dated 2026-04-30.

[dennisonbertram]

🤖 deep-claude starting —

[dennisonbertram]

Fix implemented and pushed

Branch: deep-claude/issue-571-bug---model-provider-counts-wrap-onto-separate-lin
Commit: 517e42bb6fc1012bf4fd07bb5b16fa60108557f0

Root cause

The model switcher's boxStyle has Padding(0, 1) (1 char left, 1 char right). Content rows were padded to fill innerWidth without subtracting these 2 chars of internal box padding, causing Lip Gloss to wrap the styled count portion onto its own line.

Changes

• view.go: Reduced textWidth from innerWidth - 2 to innerWidth - 4 in viewProviderList to account for the box's L/R padding. Applied the same 2-char reduction to highlighted-row padding in all four view functions (viewProviderList, viewModelsForProvider, viewFlatModelList, viewReasoning).
• lipgloss_experiment_test.go: Added regression test verifying that no count label like "(3)" appears on its own line, all provider labels and counts share the same line, and no visual line exceeds 80 display columns.
• Test data snapshots: Updated TUI-057-modelswitcher-80x24.txt and TUI-057-modelswitcher-120x40.txt to show corrected formatting where counts are right-aligned on the same line as provider names.

Test results

All model switcher tests pass, all TUI tests pass, build is clean.