Coming soon.

This will walk through Vending Machine end to end: entities, invariants, the variation axis, and the concurrency pass, the same way as the main framework post.