Deterministic prerequisites
Why it matters
Prompt instructions influence behavior but retain a nonzero miss rate; an application predicate can make an invalid transition unavailable.
Example
process_refund remains blocked until the session contains a customer ID returned by a completed verification tool.