On Dual-State Inconsistency and Why Invariant Testing is Non Negotiable

While building Meridian : a cross-chain yield aggregator, I caught a subtle but dangerous bug class that I think deserves more attention in…