The Light Cone Consistency framework places Swytch’s behavior in a published, verifiable region of the consistency design space.
The TLA+ specifications are public in the repository. The Jepsen suite is reproducible.
Light Cone Consistency: Landers, R. & Kramer, K. · arXiv:2605.09114 [cs.DC] · 9 May 2026 · CC BY 4.0