DAY 162 / 210

Foundations of Distributed Systems Safety

This opening day of phase-4 establishes core safety invariants before any implementation work, ensuring Maku understands why safety properties must precede scaling decisions in AI infrastructure. It directly sets the evaluation criteria for later days that will reference real production failure modes.

⏱ 50 min target📝 3 quiz Qs

Resources

readingraft.github.io
In Search of an Understandable Consensus Algorithm
Sections 1-3
25 min
readingjepsen.io
Distributed Systems Safety Overview
Full page
20 min

Deliverable

Journal entry listing three safety properties with one concrete counter-example from app/maku/page.tsx

Quiz · 3 questions

1. Which property is violated when a write is acknowledged but later disappears after a leader change?

AvailabilityDurabilityLinearizabilityPartition tolerance

2. Name one real-world consequence when safety invariants are ignored during rate-limiter rollout.

3. How might the current BriefForm submission path break under network partition?

Journal

Time spent (minutes)

Blockers

Commit / PR links (one per line)