Module supervisor 

Deterministic SessionPixSupervisor — the pure state machine for PIX session lifecycle.

All methods take explicit std::time::Instant timestamps and a served_total: u64 sample from the ServiceGate. No method sleeps, spawns, or performs I/O.

Structs

PaidRecoveryTail 🔒

Bounded handoff for SURBs minted against the cycle that has just recovered.

PerSsaState 🔒

Internal state for one supervised SSA.

SessionPixSupervisor

Deterministic core of the PIX session supervisor.

Enums

SsaPhase 🔒

Constants

WEI_PER_UHOPR 🔒

Wei in one µHOPR, the unit hopr_pix_deposits_*_uhopr_total counts.

Functions

deposit_uhopr 🔒

A deposit in µHOPR, saturating rather than wrapping.