1pub 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};