Crate a3s_runtime 

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

Modules

contract

Structs

FileRuntimeStateStore

ManagedRuntimeClient

Shared durable lifecycle implementation used by provider integrations.

ProviderId

RuntimeAttestationBinding

Exact provider-neutral proof that one provider resource observed one identity-attached Runtime Unit generation.

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.

RuntimeConsumerRequirements

Provider-neutral requirements imposed by one Runtime consumer profile.

RuntimeRequestReceipt

RuntimeStateReservation

RuntimeUnitRecord

SystemRuntimeClock

Enums

RuntimeActionKind

RuntimeConformanceProfile

Composable provider conformance profiles owned by the shared Runtime suite.

RuntimeError

RuntimeRequestKind

RuntimeRequestState

Traits

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

Functions

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.

Type Aliases

RuntimeResult