# M06-L05 — Lab contract

**Build:** Add forge test, fmt check and optional Slither job.

**Pass:** CI fails on intentionally failing test.

**Failure injection:** Treating green static scan as audit gives false confidence.

**Review question:** What can static analysis miss?

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