# M09-L03 — Lab contract

**Build:** Use synthetic local reserve manipulation against mock lending.

**Pass:** Unsafe oracle triggers bad valuation; bounded/TWAP mock rejects.

**Failure injection:** Single-pool instantaneous price is unsafe for high-value lending.

**Review question:** What are oracle circuit breakers?

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