Struct DeviceRegistry 

pub struct DeviceRegistry { /* private fields */ }

In-memory registry of per-device last-seen sequence numbers.

On the server this is held in Validator. A persistent mirror in the redb crdt_devices table is maintained by the Control Plane security catalog and loaded at startup.

Implementations

impl DeviceRegistry

pub fn new() -> Self

Create a new, empty device registry.

pub fn check_seq( &self, user_id: u64, device_id: u64, seq_no: u64, ) -> Result<u64>

Check that seq_no > last_seen[(user_id, device_id)].

Returns Ok(last_seen) so the caller can pass it to the error variant if the subsequent signature check fails in a way that needs context.

Errors

Returns CrdtError::ReplayDetected if seq_no <= last_seen.

pub fn commit_seq( &self, user_id: u64, device_id: u64, seq_no: u64, ) -> Result<()>

Update last_seen for (user_id, device_id) after a successful accept.

Only updates if seq_no > current, to guard against races.

pub fn seed(&self, user_id: u64, device_id: u64, last_seq_no: u64) -> Result<()>

Pre-load a known (user_id, device_id, last_seq_no) tuple from the persistent catalog on startup.

pub fn last_seen(&self, user_id: u64, device_id: u64) -> u64

Return the current last_seen seq_no for a device, or 0 if unknown.

Trait Implementations

impl Debug for DeviceRegistry

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DeviceRegistry

fn default() -> DeviceRegistry

Returns the “default value” for a type.