ui: shorter seller labels in the shop list; verification notes

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

CHANGELOG.md

@@ -4,6 +4,7 @@
 
 ### 第九阶段：剧情与收尾
 
+- 商店补验证（游戏内）：逐家自动换币（购物车里一家商家用 CRA 换 PSC 付清，160.92 CRA → 1.493 PSC，那一家从购物车里消失，另一家保留）；账单页（平台）；英文界面（Shop 页签、卖家列表、商家信息头、购物车、付款面板都正常）。卖家列表的缩写地址改成类型加后四位（如"Used GPUs ·2077"），英文长名不再折行重叠。
 - Web3 商店改版（`ui-trial` 分支）：
   - "Web3 黑市"改名"Web3 商店"（页签、升级项、提示；黑市声望是游戏派系，名字不变）。
   - 点左栏卖家后，右栏最前面是商家信息：名称与地址、成交数、好评、到货天数、收的币、是否接受提前放款；平台是"立即到货"和收的币。

src/Decentralized/TerminalWindow.cs

@@ -1692,7 +1692,7 @@ namespace Decentralized
 
         private static string CartMessage(int items, int failed) => failed == 0 ? L.T("cart.done", items) : L.T("cart.partial", items, failed);
 
-        private static string MerchantLabel(BmSeller s, bool shortName = false) => L.T("merchant." + s.Type) + " " + (shortName ? ChainAddress.Short(s.Name) : s.Name);
+        private static string MerchantLabel(BmSeller s, bool shortName = false) => L.T("merchant." + s.Type) + " " + (shortName ? "·" + s.Name.Substring(Math.Max(0, s.Name.Length - 4)) : s.Name);
 
         private static int _merchant = -1;
         private static readonly int[] Qtys = { 1, 5, 10 };