SN97 spam fix, eval hardening, multi-king payout

v30.4 deployed one-eval-per-hotkey permanently to kill recommit spam. v30.5 hardened evals across 18 axes (math narratives 4–7 ops, code 70%→90% hard tier, reasoning chains expanded, ifeval compounds 30%→60%) while raising student cap 7B→40B. Multi-king payout now gives top-5 recent kings 20% emission each instead of winner-takes-all, and Kimi K2.6 teacher swap staged for 2026-05-03 22:00 UTC. Chat.arbos.life derail detection fixed; all models now transparent with no output masking.

• •One eval per hotkey permanently; 145 existing miners grandfathered in.
• •40B student parameter cap live; multi-king 20% payouts for top 5.
• •Math, code, reasoning, ifeval, debug evals all deepened; Kimi K2.6 swap incoming.
• •Chat proxy truncation removed; raw model output now streamed unmasked.
• •Four new reasoning subtypes (graph_shortest_path, graph_connectivity, constraint_sat).