feat(ui): give the terminal pane a header with tabs, close and size (index.html, src/styles.css, src/main.ts, docs)

[smileygames]

Closes #68

診断面を独立した窓にした。上端のヘッダに、窓の名前「端末」・開いている端末のタブ・端末自身の文字サイズ・面を畳む ✕ を載せ、角丸は面（#diagnostics）が持つ。端末（#terminal）は上側の角を手放す。

タブと参加者の行は連動する。二つは renderPanel の一回の呼び出しから同時に描くため、連動は構造で成立する。終了した端末のタブには ✕ が付き、「読んだ」の合図は暗黙の選択から明示の操作へ移った（showView の終了ビュー破棄は落ちた）。端末の文字サイズは寸法の三軸目であり、会話面（#60）とも UI 全体（#66）とも独立している。

ヘッダが出た状態の実機を見ての三点（#68 本文「実機を見ての追加指示」）を同じ PR で反映済みである——ヘッダに色を敷かない（窓は全体が一つの地）、ヘッダに窓の名前「端末」を出す、枠と端末の間の余白を 0.35rem から 0.15rem へ詰める。最後の一点は端末が使える桁数と行数に直接効く。

受容した重複と代償（タブと行が同じ選択を持つこと、終了した端末が閉じられるまでメモリに残ること）は #68 で決着済みであり、docs/0-requirements.md の「受容したトレードオフ」に記録した。

[smileygames]

自己レビュー結果: PASS

#68 の受け入れ基準と、実機を見ての追加指示三点に対して差分を確認した。

受け入れ基準

• ヘッダ — #terminal-head に「端末」・タブ・寸法のピッカー・✕。診断 ボタンは残っており、たためた状態から開く手として機能している（✕ は畳んだ後は届かないため、二つは入口と出口）。
• ✕ は面をたたむ。 セッションは生きたまま、タブは面と一緒に戻る。行の 終了 は動いていない。
• タブと行の連動 — renderTerminalTabs() が renderPanel() の中から呼ばれており、両面が views から一回の呼び出しで描かれる。約束事で同期を保つ形になっていない点を評価する。
• 角丸 — --pane-radius: 8px が #diagnostics に乗り、overflow: hidden。#terminal は下側の角だけを持つ。
• 端末の寸法 — pullcept.terminal-font-size、梯子 9–24px（両端が上下限）、既定 13px。px 表記は #60 の % と意図的に別で、桁数を決める数だからという理由が付いている。三軸の独立は保たれている。
• タブの表示 — アカウント名。走っていないアカウントはタブを持たない。
• ✕ は終了したタブにだけ出る — view.ended !== null の中でのみ生成。走っているタブに出ると「セッションの終了」と読まれ、制約を破るため。
• 「読んだ」の合図の移動 — showView 冒頭の終了ビュー破棄が消え、closeView() がタブの ✕ から呼ばれている。#68 本文に書いたとおりの形。

実機を見ての追加指示（三点とも入っている）

• ヘッダに色を敷かない — 面全体が --bg になり、--surface はヘッダの中の操作と選択中のタブ側へ移った。ヘッダが帯にならない。
• 「端末」をヘッダ左に — タブがその後ろ。走っているセッションが無いときに面が自分について言う唯一のものでもある。
• 枠の余白 — 0.35rem → 0.15rem。0 にしていない理由（xterm がカーソルと選択を箱の縁まで描く）がコメントに残っている。

判断として見るべき点

#terminal の min-height が 18rem から 0 へ。ヘッダが中に入った固定 50vh の面では、18rem は端末が要求できて与えられない数になり、はみ出しが黙って切られる。落とした判断は妥当。

受容したトレードオフ（docs に記録済み）

• タブと行が一つの選択を二面で持つ（#59 の判断とは逆向き。#68 で承知の上で選択）。
• 終了した端末が閉じられるまで scrollback を抱える（#57 は切り替え時の破棄で避けていた）。

実機未確認

追加指示三点の見え方は実機で未確認。docs の未実装節に記録済み。ヘッダ「端末」の表示は、実機を見た上で落とすかを決める暫定であり、落とす判断になった場合は別 issue で扱う（#68 本文）。

次の一手

実行モード auto。人間のレビュー gate は無く、この自己レビュー通過をもって squash merge する。リリース種別は minor 相当（新しい chrome 面の追加と、#57 の合図の置き場所の変更を含み、利用者から観測できる構造変更である）。