Struct DeviceRailProvider 

pub struct DeviceRailProvider { /* private fields */ }

The DeviceRail provider. Holds the capability lockfile the flow was compiled against; open_session re-attests the live world against it.

Implementations

impl DeviceRailProvider

pub fn new(lockfile: CapabilityLockfile) -> Result<Self, ProviderError>

Creates a provider around the held lockfile, verifying its self-consistency (a tampered or hand-edited lockfile fails closed).

pub fn lockfile(&self) -> &CapabilityLockfile

The held lockfile baseline.

Trait Implementations

impl Clone for DeviceRailProvider

fn clone(&self) -> DeviceRailProvider

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DeviceRailProvider

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

Formats the value using the given formatter.

impl Provider for DeviceRailProvider

fn manifest(&self) -> &ProviderManifest

The package-shipped static capability declaration.

fn open_session<'life0, 'async_trait>( &'life0 self, opts: OpenSessionOptions, ) -> Pin<Box<dyn Future<Output = Result<Box<dyn ProviderSession>, ProviderError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Opens a session. Atomic (04 §2.1): returning means the connection is up, the protocol is negotiated with all requiredFeatures satisfied, the device is selected and connected, the substrate session is started, and attestation matched lockfileDigest. On any failure the provider cleans up partial resources and fails — never a half-open session. Failure classes: negotiation/capability mismatch → capability_drift; device unavailable → action_failed_retryable; connection failure → transport_lost.