DAY 208 / 210

Safety Properties in Distributed Systems

This day launches the distsys-safety arc by establishing why safety properties must be explicit before any scaling work on Maku's infrastructure. It sets the foundation for later fault models and rate-limiter hardening that directly affect StartupTribunal reliability.

⏱ 45 min target📝 2 quiz Qs

Resources

readingMicrosoft Research
The Byzantine Generals Problem
full paper
30 min

Deliverable

Journal entry: 300-word summary of one safety property and how it would be measured in the current rate-limiter implementation

Quiz · 2 questions

1. What is the primary difference between safety and liveness properties?

Safety ensures nothing bad happens, liveness ensures something good eventually happensThey are the same conceptSafety concerns performance, liveness concerns correctness

2. Name one safety property that a distributed rate limiter must preserve under partition.

Journal

Time spent (minutes)

Blockers

Commit / PR links (one per line)