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