# Code for Lecture 10

Use this folder for examples of:

- architecture constraints
- structural tests
- taste invariants
- remediation-oriented lint messages