# M08-L03 — Lab contract

**Build:** Implement accumulator-based reward accounting and claim.

**Pass:** Two users accrue proportional rewards across time changes.

**Failure injection:** Per-user iteration is unbounded and cannot scale.

**Review question:** Why use fixed-point precision scaling?

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