A Tour of Invariant Testing is coming this week 🏃 We’re releasing a hands-on tutorial on invariant testing in Move, built on our research around Movy and real-world contract behavior (Sui flavor). The tutorial walks through how to test invariants across multiple transactions, instrument function execution with pre/post hooks, and catch real invariant violations during fuzzing — not just unit test failures. If you’re building with Move and want correctness guarantees beyond “type-safe by default,” stay tuned. Tutorial drops this week.