In my experience, most of the modules simply rely on players knowing and following the rules, just as they would if they had set up the board themselves on a kitchen table. Some of the more fleshed-out modules do have these sorts of internal state checking and logic pathways but they're not required.