# M02-L03 — Lab contract

**Build:** Sign fixed test payload and verify, then mutate message.

**Pass:** Original verifies; mutated payload fails.

**Failure injection:** Signing ambiguous bytes enables replay across contexts.

**Review question:** How does EIP-712 reduce ambiguous signing?

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