The Informal Blog - Governance-Gated vs. Automatic Equivocation Slashing