# M11-L01 — Lab contract

**Build:** Transactional write of events+cursor in PostgreSQL.

**Pass:** Restart resumes at last committed cursor without missing blocks.

**Failure injection:** Advancing cursor before data commit loses events on crash.

**Review question:** What index supports block range scans?

Status: specification; only count as executable when source and tests are present and verified.