Stage 6.3: RatDigg ASIC miners, miner dealers on the black market, miner era event

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

tests/Decentralized.Domain.Tests/Program.cs

@@ -808,6 +808,51 @@ internal static class Program
             Check(!ChainAddress.Valid("0x12345") && !ChainAddress.Valid("0xzzzzzzzz") && !ChainAddress.WellFormed("12345678ab"), "格式不对的地址不合法");
         });
 
+        Test("RatDigg 矿机：规格、维修、矿机时代、矿机商", () =>
+        {
+            var m1 = Hardware.Specs["M1"]; var m3 = Hardware.Specs["M3"];
+            Check(m1.Asic && Math.Abs(m1.Hash - 50) < 1e-9 && m3.Hash == 300 && m1.Kj / m1.Hash < Hardware.Specs["RTX90"].Kj / Hardware.Specs["RTX90"].Hash, "矿机每 H 耗电低于最好的显卡");
+            var u = new Unit { Model = "M2", Health = 100 };
+            Check(Math.Abs(u.Hash(ModuleBonus.None) - 120) < 1e-9 && Math.Abs(u.Kj(ModuleBonus.None) - 110) < 1e-9, "M2 满健康 120 H、110 kJ");
+            Check(Math.Abs(u.DeathChance(ModuleBonus.None) - Tuning.DeathBase * 0.5) < 1e-12 && Math.Abs(new Unit { Model = "RTX90", Health = 100 }.DeathChance(ModuleBonus.None) - Tuning.DeathBase * 0.7) < 1e-12, "矿机暴毙系数 0.5（Probidia 0.7）");
+            Check(Math.Abs(CardValue.Of("M1", 100) - 11000) < 1 && CardValue.Of("M1", 0) < 11000 * 0.3, "矿机价值按健康折算，和显卡同一公式");
+            // 维修：按顺序收元件，别的不收
+            int step = 0, prog = 0;
+            Check(AsicRepair.Insert("M1", ref step, ref prog, "rare_electronic", 1) == 0, "M1 先要普通元件，稀有的不收");
+            Check(AsicRepair.Insert("M1", ref step, ref prog, "common_electronic", 3) == 3 && step == 0 && prog == 3, "收 3 个普通元件，进度 3/4");
+            Check(AsicRepair.Insert("M1", ref step, ref prog, "common_electronic", 5) == 1 && step == 1 && prog == 0, "只再收 1 个，进下一步");
+            Check(AsicRepair.Insert("M1", ref step, ref prog, "rare_electronic", 2) == 1 && AsicRepair.Done("M1", step), "再放 1 个稀有，修好；多的不收");
+            double cost = new[] { "M1", "M2", "M3" }.Max(m => AsicRepair.Steps(m).Sum(x => x.Count * (x.Item == "common_electronic" ? 33 : x.Item == "rare_electronic" ? 350 : 2500)) / (double)Hardware.Specs[m].Price);
+            Check(cost > 0.02 && cost < 0.06, $"修理约占机价 4%：最贵的 {cost:P1}");
+            // 矿机时代：定一天、提前预兆、永久减半
+            var net = new Network(); var rng = new Rng(3);
+            double kj0 = net.NpcKj; int warns = 0, starts = 0, warnDay = -1, startDay = -1;
+            for (int d = 1; d <= 120; d++) { var st = net.EraNight(d, rng); if (st == Network.EraStep.Warn) { warns++; warnDay = d; } if (st == Network.EraStep.Start) { starts++; startDay = d; } }
+            Check(warns == 1 && starts == 1 && startDay >= Tuning.EraMin && startDay <= Tuning.EraMax && startDay - warnDay >= Tuning.EraWarnMin && startDay - warnDay <= Tuning.EraWarnMax, $"预兆第 {warnDay} 天，开始第 {startDay} 天");
+            Check(Math.Abs(net.NpcKj - kj0 * Tuning.EraKjMult) < 1e-9 && net.EraNight(200, rng) == Network.EraStep.None, "NPC 耗电效率翻倍，只发生一次");
+            var late = new Network(); Check(late.EraNight(200, new Rng(1)) == Network.EraStep.None && late.EraDay >= 200 + Tuning.EraWarnMax + 1, "存档很晚才接入：至少留出预兆天数");
+            // 均衡：效率翻倍后 NPC 算力涨
+            var a = new Network(); var b = new Network { NpcKj = Tuning.NpcKjPerH * Tuning.EraKjMult };
+            for (int d = 1; d <= 200; d++) { a.Night(d, 100, 0); b.Night(d, 100, 0); a.Reward = b.Reward = 100; }
+            Check(b.NpcHash > a.NpcHash * 1.5, $"耗电减半后均衡算力 {a.NpcHash:0} → {b.NpcHash:0}");
+            // 矿机商：按声望放开型号
+            int none = 0, m1only = 0, withM3 = 0, weeks = 600;
+            for (int i = 0; i < weeks; i++)
+            {
+                foreach (var rep in new[] { 30, 50, 90 })
+                {
+                    var bm = new BlackMarket();
+                    bm.RefreshOrders(10, rep, new Rng((ulong)(i * 7 + rep)), _ => 200);
+                    var asic = bm.Catalog.Where(l => bm.Sellers[l.Seller].Type == MerchantType.Asic).ToList();
+                    if (rep == 30 && asic.Count == 0) none++;
+                    if (rep == 50 && asic.Count > 0 && asic.All(l => l.Model == "M1")) m1only++;
+                    if (rep == 90 && asic.Any(l => l.Model == "M3")) withM3++;
+                    foreach (var l in asic) if (l.Model == "M3" && rep < Tuning.AsicRepM3 || l.Model == "M2" && rep < Tuning.AsicRepM2) throw new Exception("声望不够不该出现：" + l.Model + " " + rep);
+                }
+            }
+            Check(none == weeks && m1only > weeks * 0.05 && withM3 > weeks * 0.01, $"声望 30 不出现；50 只有 M1（{m1only}/{weeks} 周）；90 有 M3（{withM3}/{weeks} 周）");
+        });
+
         Test("永续合约：开平仓、强平、基金与欠款、自动减仓、没收", () =>
         {
             Func<string, double> pr = a => a == Assets.PSC ? 100 : 1;