Happy-path tests confirm what you already believe; they find nothing
We define the protocol's invariants up front and fuzz against them, so the suite searches for the failure instead of the success
The first real edge case then shows up in CI, not on mainnet where it is expensive








