Thanks for following along with what we're building at Midspiral.

We just published the next post in our series: Verifying State & Reconciliation in Collaborative Web Apps.

It walks through how we built a system where multiple users can edit shared state, the server reconciles conflicts, and every accepted action is proven to preserve domain invariants — at compile time, not runtime.

Some highlights:
- We run compiled Dafny inside Supabase edge functions
- Data atomicity handles cross-project edits
- Every state change passes through one verified gate
- Verification covers all possible interleavings

We're still exploring the edges — continuous state (like text editors), schema migrations, peer-to-peer architectures. Open questions remain. 

As always, feedback is welcome. Thanks for the support.

~fernanda

Github | LinkedIn