Dedication

To the SREs, on-call engineers, and distributed systems architects—

who keep complex, non-deterministic systems standing when dependencies collapse at 3:00 AM.

Open access.This work is published as open access: reading it online is free and always will be. Unless otherwise noted, the text is released under CC BY-NC-SA 4.0: you may share and adapt it with attribution, for non-commercial purposes, under the same license. Example code snippets are offered under the MIT license. Packaged editions (compiled PDF, EPUB, Kindle and print-on-demand) are optional, with a reference price of 9.99 USD: buyers pay for the format and support the project, not for access to the content.

“Synthetic Code” (“Código Sintético”) and “SpecSolid” are trademarks of Sergio Perez Ruiz; the license grants no rights over them or over the cover artwork.

Content is provided “as is” for educational and technical purposes and is not legal, financial or professional advice. Prices, models and regulations cited change over time: see each volume’s currency note.