Searching protocol for "Lyapunov"
Make concurrency bugs reproducible and debuggable.
RBAC with admin, lead, member.