Crate a3s_runtime

Expand description

General provider-neutral Task and Service Runtime contracts for A3S.

Modules§

FileRuntimeStateStore
ManagedRuntimeClient: Shared durable lifecycle implementation used by provider integrations.
ProviderId
RuntimeBaseConformanceCase: Complete provider-owned inputs for the mandatory Base profile.
RuntimeBaseConformanceReport: Evidence returned after the complete mandatory Base profile passes.
RuntimeClientRegistry: Registry of provider factories. Selection policy belongs to the caller; this registry never falls back to a default provider.
RuntimeConformanceCase: Provider-owned inputs for the destructive Runtime conformance suite.
RuntimeConformanceInventory: Canonical pre/post provider inventory. Keys can represent provider resources, volumes, ports, mounts, processes, or other retained objects; values are provider-owned stable state digests.
RuntimeConformanceProfileEvidence: Provider evidence returned for one non-Base profile.
RuntimeConformanceProfileRequirements: Exact shared case IDs and capability claims required for one profile.
RuntimeConformanceReport: Evidence returned after a provider passes the common Task and Service path.
RuntimeConformanceSuiteReport: Complete report for one profile-driven provider certification run.
RuntimeRequestReceipt
RuntimeStateReservation
RuntimeUnitRecord
SystemRuntimeClock

RuntimeActionKind
RuntimeConformanceProfile: Composable provider conformance profiles owned by the shared Runtime suite.
RuntimeError
RuntimeRequestKind
RuntimeRequestState

RuntimeClient: Stable provider-neutral lifecycle implemented by every A3S Runtime.
RuntimeClock
RuntimeConformanceFixture: Provider integration boundary for destructive, capability-specific fixtures. No method has a success-by-default implementation: a production provider must explicitly declare, execute, clean up, and inventory every activated profile.
RuntimeDriver: Provider-specific primitive used by ManagedRuntimeClient.
RuntimeOperationLease: Owned guard for one unit’s cross-process operation lease. Implementations release the lease when the guard is dropped.
RuntimeProviderFactory: Typed construction boundary for one Runtime provider implementation.
RuntimeStateStore

required_runtime_profiles: Derives mandatory and capability-triggered profiles from source-reported capabilities. Base and Recovery are unconditional.
runtime_profile_requirements: Returns the stable shared requirements a provider evidence record must cover for the selected profile and capability set.
verify_runtime_base: Runs every mandatory Base-profile oracle, including negative Task results and a same-generation content conflict.
verify_runtime_profiles: Runs Base internally, activates every required/declared profile, validates typed evidence, always requests provider cleanup, and rejects any inventory delta.
verify_runtime_provider: Runs the destructive provider-neutral lifecycle conformance suite.