[verify] 複数 proof ZIP の集約表示が無く、赤いタブを見落としうる

[shinyaoguri]

#238 の v6 を単独 Issue に切り出したもの (UI 設計の判断が要るため)。
現存は 2026-08-24 / HEAD d61f126 で再確認済み。

事象

packages/verify/src/ui/controllers/VerificationController.ts:140-144 は、複数 proof を含む ZIP で
最初に検証が完了した proof のタブを自動で開く。完了順は検証の速さで決まるので、
たまたま緑の proof が開いた状態になり、赤い兄弟タブを見落としうる。

CLI には === Summary: N/M proofs passed === の集約行があるが、web には相当する集約表示が無い。
現状の集約は StatusBarUI.ts:30,38 の verifying current/total (進捗) だけ。

方針の選択肢

案	内容	評価
(A)	ステータスバーに N/M passed + 失敗件数を出す。自動オープンは維持	推奨。CLI の Summary と語彙が揃い、既存の挙動を壊さない
(B)	失敗 proof があれば赤いタブを優先して開く	「最初に開かれたタブ = 注目してほしいタブ」という別の暗黙ルールが増える

推奨は (A)。i18n キー追加を含めて 40-80 行程度。

備考

• 深刻度 low。ただし「採点者が赤を見落とす」経路なので、放置すると overclaim 側に倒れる
• 実装時は packages/verify/src/i18n/translations/{ja,en}.ts と i18n/types.ts を同時更新すること

Refs #238 #243