Friendship ended with Panic(0x1), now BrokenInvariantError is my best friend
learned the Panic(0x1) pattern from hevm, echidna, medusa and foundry, shipped it in ripfuzz, retired it today. BrokenInvariantError carries id + description in plain revert data.
Rest in peace bro 🪦