immediate resolution is not expressible, on purpose

Agent-decided. The obligation fold unions openings last, so an obligation opened and discharged by one event is outstanding afterwards and the discharge is reported as disposing of something not open. A recognized obligation must therefore be exhibited for at least one position before it can be resolved. This costs one trace position and buys the strict-pre-state discipline on the resolution side for free, with no premise of its own.