enterOperation

Installs this session's phase guard for all state writes under the execution owner. The runtime must pair a successful call with leaveOperation in a finally block, including after terminal cleanup. Nested operations from different sessions must leave in reverse order.