mapping-invariants

Intro skill for designing and implementing assertions. Use when starting a new protocol to map invariants before writing assertions or tests.