Struct ReplicatedNativeApp 

pub struct ReplicatedNativeApp { /* private fields */ }

One native App executed as a fixed set of Plan-declared single-owner Kernel lanes.

Implementations

impl ReplicatedNativeApp

pub fn start<F>( plan: ResolvedAppPlan, adapters: F, ) -> Result<Self, ReplicatedRunnerError>

where F: Fn(&ExecutionLaneId) -> ExecutionAdapterCatalog + Send + Sync + 'static,

Starts one unmodified Kernel replica per declared Execution Lane.

pub fn start_with_transfers<F>( plan: ResolvedAppPlan, adapters: F, transfers: CrossLaneRequestCatalog, ) -> Result<Self, ReplicatedRunnerError>

where F: Fn(&ExecutionLaneId) -> ExecutionAdapterCatalog + Send + Sync + 'static,

Starts replicated lanes with generated request types allowed to cross them.

pub fn lane_count(&self) -> usize

Returns the fixed number of Kernel replicas started from the Plan.

pub fn diagnostics_snapshot(&self) -> LaneDiagnosticsSnapshot

Returns structural evidence for placement decisions without exposing payloads.

pub async fn invoke<C: RequestCapability>( &self, caller_instance: &str, operation: &str, request: C::Request, ) -> Result<Result<C::Response, C::DomainError>, RuntimeFailure>

where C::Request: Send, C::Response: Send, C::DomainError: Send,

Invokes one generated request Capability on its Plan-placed provider lane.

pub async fn invoke_with_options<C: RequestCapability>( &self, caller_instance: &str, operation: &str, request: C::Request, options: LaneInvocationOptions, ) -> Result<Result<C::Response, C::DomainError>, RuntimeFailure>

where C::Request: Send, C::Response: Send, C::DomainError: Send,

Invokes one generated request with Driver-relative controls on its provider lane.

pub async fn shutdown( self, timeout: Duration, ) -> Result<(), ReplicatedRunnerError>

Stops every Kernel replica with the same bounded shutdown timeout.

Trait Implementations

impl Debug for ReplicatedNativeApp

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

Formats the value using the given formatter.