Phase 2: CRT freeze during crackdowns (frozen balance, thaw, news, test entry)

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

src/Decentralized/TerminalWindow.cs

@@ -212,6 +212,8 @@ namespace Decentralized
                 TableRow(b, HoldW, kv.Key, Fmt.Num(kv.Value), Fmt.Credits(kv.Value * Session.Price(kv.Key)), AvgText(w, kv.Key));
             }
             if (!any) b.AddLabel(L.T("wallet.empty"));
+            foreach (var kv in w.Frozen.OrderBy(k => k.Key).Where(k => show(k.Key)))
+                b.AddLabel(L.T("wallet.frozen", kv.Key, Fmt.Num(kv.Value), w.FrozenUntil.TryGetValue(kv.Key, out var u) ? u : 0));
         }
 
         /// <summary>Poinbase：合规交易所。左边账户持仓，右边交易；信用点的存取在银行。</summary>
@@ -296,7 +298,7 @@ namespace Decentralized
                     r.AddButton(asset == _mixAsset ? $"[{asset}]" : asset, () => { _mixAsset = asset; Open(); });
                 }
                 r.End();
-                r.AddLabel(L.T("mixer.balance", _mixAsset, Fmt.Num(w.Get(_mixAsset))));
+                r.AddLabel(L.T("mixer.balance", _mixAsset, Fmt.Num(w.Avail(_mixAsset))));
                 AmountRow(r);
                 r.AddLabel(L.T("mixer.rounds"));
                 r.BeginRow();
@@ -320,13 +322,15 @@ namespace Decentralized
             if (!ReadAmount(out double v)) return;
             var d = Session.Data;
             int day = StoreStation.GetDayCounter();
-            if (d.Hot.Get(_mixAsset) + 1e-9 < v) { _message = L.T("msg.balance"); Open(); return; }
+            if (d.Hot.Avail(_mixAsset) + 1e-9 < v) { _message = L.T("msg.balance"); Open(); return; }
             var dep = d.Mixer.Deposit(d.Hot, _mixAsset, v, _mixRounds, day, Session.Price);
             _message = dep == null ? L.T("mixer.min", Tuning.MixerMin) : L.T("mixer.done", Fmt.Num(v), _mixAsset, dep.ReadyDay);
             Session.Save();
             Open();
         }
 
+        private static bool frozenPay(Wallet w, string asset) => w.Frozen.ContainsKey(asset);
+
         private static string AvgText(Wallet w, string asset) => w.AvgBuy(asset) is double a ? Fmt.Num(a) : L.T("avg.none");
 
         private static void ReportPage(CustomUIBuilder b)
@@ -393,7 +397,7 @@ namespace Decentralized
             if (!ReadAmount(out double v)) return;
             var w = Session.Data.Hot;
             string pay = buy ? p.Quote : p.Base, get = buy ? p.Base : p.Quote;
-            if (w.Get(pay) + 1e-9 < v) { _message = L.T("msg.balance"); Open(); return; }
+            if (w.Avail(pay) + 1e-9 < v) { _message = L.T(frozenPay(w, pay) ? "msg.frozen" : "msg.balance"); Open(); return; }
             double got = buy ? p.BuyBase(v) : p.SellBase(v);
             double spent = v * Session.Price(pay);
             w.Add(pay, -v);