# M08-L04 — Lab contract

**Build:** Model collateral/debt with mock price and liquidation threshold.

**Pass:** Borrow above limit reverts; falling price enables liquidation.

**Failure injection:** Stale prices or rounding permit undercollateralized positions.

**Review question:** What makes oracle freshness critical?

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