For a more detailed explanation of how the cluster works (promotion priority, automatic demotion, consistency caveats), see the Operating Principles page. Real deployment configurations for Docker, Kubernetes, and so on can be generated from Ticketing Server Deployment.