Struct LocalCheckAdapter 

pub struct LocalCheckAdapter<B: JournalBackend> { /* private fields */ }

Registered Ubuntu composition of M5, ProcessPort, and SandboxLauncher.

Implementations

impl<B: JournalBackend> LocalCheckAdapter<B>

pub fn new( backend: B, process: Arc<dyn ProcessPort>, launchers: LauncherRegistry, commands: impl IntoIterator<Item = CommandSpec>, resources: BTreeMap<String, PathBuf>, ) -> Result<Self, LocalCheckError>

Builds a closed adapter from boot-authorized ports, specs, and native resources.

Errors

Returns a typed refusal for an empty or duplicate allowlist, or when a command names a missing or inconsistent resource.

pub fn command(&self, id: &CommandId) -> Option<&CommandSpec>

Returns the exact installed command when present.

pub fn run( &mut self, request: &LocalCheckRequest, holder: Datum, now: u64, expires_at: u64, cancellation: &ProcessCancellation, ) -> Result<OperationOutcome, LocalCheckError>

Executes or reconciles one local check under a bounded fenced lease.

Errors

Returns a typed refusal when the request is not installed, its lease is invalid, or the durable lifecycle cannot advance.

pub fn record( &self, request: &LocalCheckRequest, ) -> Result<Option<OperationLifecycleRecord>, LocalCheckError>

Reconstructs the durable lifecycle for a request without performing it.

Errors

Returns a typed refusal when the request is not installed or the journal cannot be verified.

Trait Implementations

impl<B: JournalBackend> LocalCheckPort for LocalCheckAdapter<B>

fn check( &mut self, request: &LocalCheckRequest, lease: &LocalCheckLease, cancellation: &ProcessCancellation, ) -> LocalCheckResult

Executes or reconciles one installed exact command under a bounded lease.