Parsing transaction rules without skipping tokens

Repair rule priority, derive Boolean semantics from the grammar, and catch an AI short-circuit bug with executable counterexamples.