Pushing formal verification into collaborative state — concurrent users, stale views, conflicts, and integration with Supabase