Skip to main content

mabi_runtime/
lib.rs

1//! Shared runtime contracts for the Mabinogion workspace.
2
3pub mod device;
4pub mod driver;
5pub mod evidence;
6pub mod service;
7pub mod session;
8
9pub use device::{CoreDevicePort, DevicePort, DeviceRegistry, DynDevicePort};
10pub use driver::{
11    ProtocolCatalogEntry, ProtocolDescriptor, ProtocolDriver, ProtocolDriverRegistry,
12    ProtocolLaunchSpec,
13};
14pub use evidence::{
15    ArtifactVisibility, FailureReplayArtifact, PassCriteriaEvidence, ProtocolProfileEvidence,
16    PublicFailureReplayArtifact, PublicPrivateBoundary, PublicRunEvidenceSummary, RecoveryEvent,
17    ResourceUsageSummary, RunEvidence, RunEvidenceBuilder, RunEvidenceMetrics,
18    RUN_EVIDENCE_SCHEMA_VERSION, TRIAL_ARTIFACT_CONTRACT_VERSION,
19};
20pub use service::{
21    ManagedService, RuntimeError, RuntimeErrorInfo, RuntimeErrorKind, RuntimeResult,
22    ServiceContext, ServiceEvent, ServiceHandle, ServiceReadinessReport, ServiceRuntimeMetadata,
23    ServiceSnapshot, ServiceState, ServiceStatus, RUNTIME_CONTRACT_VERSION, RUNTIME_METADATA_KEY,
24    SNAPSHOT_METADATA_VERSION,
25};
26pub use session::{
27    DevicePortLayer, RuntimeExtensions, RuntimeSession, RuntimeSessionSnapshot, RuntimeSessionSpec,
28};