Beigefield · Ethereum only · Blend

Blend

One gauntlet for Ityfuzz, Halmos, Medusa, and Echidna. Local forks and symbolic checks only. Heat moves only when an unprivileged caller ends with more value than they started. The full triage desk stays on /test.