fp-runtime 0.1.0

Runtime policies, evidence ledgers, and asupersync interop for the frankenpandas execution layer.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

use self::{
    config::{AsupersyncConfig, CapabilitySet},
    error::AsupersyncError,
};

pub mod codec;
pub mod config;
pub mod error;
pub mod integrity;
pub mod recovery;
pub mod transport;

pub use codec::{ArtifactCodec, ArtifactPayload, EncodedArtifact, PassthroughCodec};
pub use config::{AsupersyncConfig as RuntimeAsupersyncConfig, CxCapability, RequiresCapabilities};
pub use error::AsupersyncError as RuntimeAsupersyncError;
pub use integrity::{Fnv1aVerifier, IntegrityProof, IntegrityVerifier};
pub use recovery::{
    ConservativeRecoveryPolicy, RecoveryOutcome, RecoveryPlan, RecoveryPolicy, RecoveryReport,
    recover_once,
};
pub use transport::{InMemoryTransport, TransferReport, TransferStatus, TransportLayer};

pub fn validate_capability_gate(
    config: &AsupersyncConfig,
    required: CapabilitySet,
) -> Result<(), AsupersyncError> {
    if config.capabilities.satisfies(required) {
        Ok(())
    } else {
        Err(AsupersyncError::CapabilityDenied {
            required,
            available: config.capabilities,
        })
    }
}