A collaborative business process modeling tool that uses TLA+ state machines as the shared artifact for structured stakeholder feedback. Everything runs locally in your browser; no server, no accounts, no uploads.