feat(cli): presentation and experience polish across every human-facing surface

[upsetbit]

CLI presentation and experience pass: every human-facing surface was run in a real pseudo-TTY against the live local store, defects were fixed, and the loop repeated until the output read cleanly at 60, 80, 100, and 140 columns. Plain (pipe) and --json shapes are untouched except where noted.

What changed

Timeline

• Metadata columns now size themselves to the widest value in the rendered set (capped: device 18, agent 12, project 32) instead of fixed 7–14-char buckets. mz-codes/mz… on every row becomes mz-codes/mz-operator-1.
• Narrow terminals shrink device before project (contract compression order); overflowing project labels drop the owner segment first, then truncate from the left so the distinguishing tail survives.
• Prompts absorb the leftover row width up to 96 columns (was a flat 60-rune cap).
• Cardinality-1 suppression no longer loses information: when every row shares one project/device, the context line names it (prosa · local · all projects · last 1d · project mz-codes/mz-operator-1 · device tbox).
• Scope labels are normalized: scoped to git@github.com:c3-oss/prosa.git → scoped to c3-oss/prosa; paths under $HOME render as ~/….
• Device labels trim FQDN hostnames to the first dot segment (ip-192-168-0-16.ec2.internal → ip-192-168-0-16).

Search

• Snippet truncation kept dropping the FTS markers, so most hits rendered with no highlight at all. Truncation now walks the marked runes, keeps the first match visible with leading context, and re-emits «» pairs around whatever survives the cut.
• The empty-state hint drops the --all suggestion when --all is already set.

Analytics + tables

• Numeric columns right-aligned and thousands-separated; PROJECT collapses remotes to owner/repo and $HOME paths to ~; STARTED renders as local wall-clock; cost reads $2,192.29 instead of $2192.2861. Plain mode keeps raw values for scripts.
• New shared render.Table primitive aligns by display width. This fixes a real bug: profiles list and devices list used text/tabwriter, which counts ANSI escapes as text — styled headers misaligned every column.

Show

• Header resolves the device friendly name instead of printing fingerprint hex; a tokens row joins the metadata block when usage was measured.

Sync (found live during the run)

• A prosa sync against an unreachable server had been running for 12+ hours: the HTTP client had no timeouts and the push circuit breaker only recognized CodeUnavailable, so every imported session paid a full kernel TCP retry cycle. The transport now bounds connection phases (5s dial / 5s TLS / 60s response header — body transfer stays unbounded for large pushes), and isRemoteUnavailable also trips on net errors and DeadlineExceeded. Re-run after the fix: full import of a 5.6k-session backlog completed in ~2 minutes with the documented Remote: server unavailable … summary line.
• Summary rows for Denoise/Remote/Warnings align with the count rows.

Help + errors

• Root help groups commands (Getting started / Explore your history / Import & sync / Remote server) and gains a short description of what bare prosa does.
• --last bogus reads as one sentence instead of repeating the wrapped Go error.

Docs

• docs/cli/rendering-contract.md updated for all of the above; screens.md, cli/README.md, usage.md scope-label examples now match the normalized form; architecture/cli.md lists the new table.go.

Validation

• go test ./... and go test -race ./internal/cli/... green; new unit tests for column sizing, label fitting, uniform-value context segments, marked-snippet truncation, table alignment, cost/timestamp/project display, and the unreachable-server classifier.
• golangci-lint run ./internal/cli/... — 0 issues; gofumpt clean on touched files; just lint-md clean.
• prosa-cli-ux-reviewer and prosa-docs-reviewer agents ran over the diff; docs drift they flagged is fixed in the docs commit.
• Every surface exercised in a pty at multiple widths against the real store; plain/pipe output verified ANSI-free with stable columns.

🤖 Generated with Claude Code