Function run 

pub async fn run<A, S, const TXQ: usize, M, const RX: usize, const TX: usize, E>(
    session: Session<A, S, TXQ>,
    boot_snapshot: Option<&[u8]>,
    boot_identity: Option<[u8; 32]>,
    rt: DeviceRuntime<M, RX, TX>,
    env: E,
) -> !
where
    A: AesProvider,
    S: Sha256Provider,
    M: RawMutex,
    E: DeviceEnv,

Drive the ULCP session forever: restore persisted state, then select over host frames, radio receptions, and transmit completions, executing every session effect through the board’s DeviceEnv.

The caller constructs the [Session] with its board profile (SessionConfig) and boot status, mounts its journals, and hands the stored payloads in; the driver owns everything after that.