Module session_activation 

Runtime-scoped logical-session activation router.

Durable delivery and execution reservation are separate operations. This router closes their terminal race without treating an execution id, process, or warm-worker mailbox as the durable session address.

Structs

SessionActivationLaunch

A reservation whose runner slot already exists but whose task has not yet been launched. The router publishes the logical owner before calling launch, so even an immediately-completing task participates in the finalization handshake.

SessionActivationRouter

One router per owning runtime/AppState. All keys are logical Session ids.

SessionRunRegistration

Exact-run ownership lease returned by SessionActivationRouter::register_run.

Enums

SessionActivationReserveOutcome

SessionRunRegistrationError

A logical session already belongs to a different exact activation run.

Traits

SessionActivationSpawner

Adapter to the owning runtime’s existing runner reservation and spawn path.