Practice Lanes and Selective Book Exercises
Complete P01–P20 in the five practice lanes. Their feedback is separate. Lesson mini-drills provide optional variation and targeted repair; their older illustrative examples are not additional quotas.
| Need | Reading task | Evidence before returning |
|---|---|---|
| Cannot start | Dromey 1.2.2, getting started | Tiny instance and a falsifiable plan |
| Strategy chosen by appearance | Dromey 1.2.6 | Two strategies and a distinguishing case |
| Execution cannot be explained | Dromey 1.4.4 | State trace and exact failing step |
| Correctness asserted from tests | Dromey 1.5 | Preconditions, invariant, exit argument |
| Loop assumed to terminate | Dromey 1.5.8 | Well-founded decreasing measure |
The Dromey book index opens the book, not an exact exercise. Use the local locators in the reading guide; OCR can damage mathematics. Do not fabricate exercise numbers or treat book completion as a substitute for the gates.