# M06-L02 — Lab contract

**Build:** Test Vault deposit, withdraw, revert, emit, multiple users.

**Pass:** Every named test passes; negative tests confirm revert.

**Failure injection:** Only happy-path tests miss unauthorized and zero-value cases.

**Review question:** Why test state before and after revert?

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