complier

Contracts for agents. Describe what an agent may do as a process, and every step it takes is checked against it.