What you'll be able to do
- Describe what discover and execute may read, must not read and return.
- Spot code patterns that mix the discovery and execution clocks, including funding used before it was known.
- Add three guards that make a clock leak fail a test instead of flattering a result.