3. Worked examples — see the User Guide
Worked examples, in teaching order, are in VIRTUAL_CYPHER_GUIDE.md.
This document is the reference: it states what is guaranteed, what is rejected, and what each
declaration means, and keeps only the minimal fragments needed to make a rule unambiguous.

