Four small problems from shipping a local‑first task app

OpenTodo’s local‑first challenges were addressed with pure functions, deterministic sync rules, strict outbound policies, and end‑to‑end encryption.