Code for Lecture 09

Use this folder for examples of:

• logs as feedback
• runtime-state visibility
• clean-state checks
• recovery examples