Safety Properties in Distributed Systems

This day launches the distsys-safety phase by establishing core definitions of safety versus liveness, directly informing how Maku's Tribunal services must preserve invariants under failure. It sets the foundation for later weeks on consensus, replication, and fault models that protect startup data integrity.