# Code for Lecture 08

Use this folder for examples of:

- pass-state gating
- end-to-end verification
- weak vs strong completion criteria
- evaluator-loop examples