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