Merge branch 'claude/host-connection-top-bar-25d04e'

docs/android-port.md

@@ -511,7 +511,7 @@ go at 360dp:
 
    **The surface has since taken the whole screen.** `PhoneShell` collapses the header, the session strip
    and the bottom bar while a terminal is showing — one binding on `IsShowingPages` each — and the screen
-   draws a 52-pixel bar in their place: back, the session pills, and a `+` raising a sheet with the three
+   draws a 35-pixel bar in their place: back, the session pills, and a `+` raising a sheet with the three
    connections there are. That sheet is the head's first control that could be drawn over the renderer, so
    it collapses it rather than covering it, exactly as the desktop's palette does; whether Android's
    WebView actually composites above Avalonia content is still the unverified question recorded below, and

docs/design-import-gaps.md

@@ -31,7 +31,7 @@ the chrome, hosts and terminals, file transfer, the vault, teams, and preference
 > | v2 element | What ships instead |
 > | --- | --- |
 > | The **FORWARDING** screen: local/remote/dynamic rules, toggles, bytes transferred | **Nothing, said out loud.** `ISshConnection` offers `OpenShellAsync` and nothing else, so there is no tunnel for a rule to run through; `SyncEntityType.PortForward = 9` is still reserved and still unused. The MORE screen carries a paragraph naming the absence, for the reason the desktop keeps TEAMS in its rail. |
-> | `23 ms · fwd 5432` on the terminal's connection line | ◆ **The line is gone, and what was real on it moved.** There was never an RTT to draw — SSH.NET measures none — and nothing forwards anything, so what shipped was the account and endpoint actually dialled. In v3 a connected phone draws one 52-pixel bar and then the terminal, so a second 36-pixel row naming the machine is exactly the chrome that surface exists to give back: the address is on the connecting card, where it is read before anything has answered, and the shell's own prompt says it afterwards. The two text-size buttons that shared the line are pinned at the end of the accessory row, outside its scroller, which is what the line was protecting them from. |
+> | `23 ms · fwd 5432` on the terminal's connection line | ◆ **The line is gone, and what was real on it moved.** There was never an RTT to draw — SSH.NET measures none — and nothing forwards anything, so what shipped was the account and endpoint actually dialled. In v3 a connected phone draws one 35-pixel bar and then the terminal, so a second 36-pixel row naming the machine is exactly the chrome that surface exists to give back: the address is on the connecting card, where it is read before anything has answered, and the shell's own prompt says it afterwards. The two text-size buttons that shared the line are pinned at the end of the accessory row, outside its scroller, which is what the line was protecting them from. |
 > | `ED25519` badge and `SHA256:kQ9f…Zw2M` on every keychain card | `Detail`, which is what is genuinely known *about* an item. Unchanged from the first import: no algorithm field, no fingerprint, and computing either means parsing armour the type stores verbatim. |
 > | An `agent` chip on a key | Omitted. There is no agent of any kind — see the first import's Vault section. |
 > | Snippet cards footed with `edge-eu-1 · today 10:58 · exit 0` | The command and its badge. Nothing records where a snippet ran, when, or what it returned; the shell it is typed into never reports back. |

docs/manual-checks.md

@@ -947,7 +947,7 @@ scrolling the pills to either end does not move them.
 With a shell open, scroll the accessory key row to the far left and the far right.
 
 **Pass:** `A−` and `A+` stay pinned at the right-hand end throughout, separated from the keys by the
-hairline, and both are at least 38 tall. At the smallest and largest sizes the one that can do nothing is
+hairline, and both are at least 30 tall. At the smallest and largest sizes the one that can do nothing is
 visibly disabled rather than silently inert.
 
 **Failure means:** they have been folded into the scrolling row — which is the arrangement the connection