harn-vm 0.7.46

Async bytecode virtual machine for the Harn programming language
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

//! Flow invariant predicate execution.

pub mod bootstrap;
pub mod compose;
pub mod discovery;
pub mod executor;
pub mod result;

pub use bootstrap::{
    discover_bootstrap_policy, validate_bootstrap_edit, validate_predicate_edit, BootstrapPolicy,
    BootstrapValidation, BootstrapViolation, DiscoveredBootstrapPolicy, EditAuthor,
    DEFAULT_MAINTAINER_ROLE, META_INVARIANTS_FILE,
};
pub use compose::{
    compose_predicate_results, enforce_predicate_ceiling, resolve_predicates,
    resolve_predicates_for_touched_directories, ComposedPredicateEvaluation, DirectoryContribution,
    PredicateCeiling, PredicateCeilingLevel, PredicateCeilingOutcome, PredicateCeilingViolation,
    PredicateEvaluation, PredicateSource, ResolvedPredicate, VerdictStrictness,
    PREDICATE_COUNT_EXPLOSION_CODE,
};
pub use discovery::{
    discover_invariants, parse_invariants_source, ArchivistMetadata,
    DiagnosticSeverity as DiscoveryDiagnosticSeverity, DiscoveredInvariantFile,
    DiscoveredPredicate, DiscoveryDiagnostic, ParsedInvariantFile, INVARIANTS_FILE,
};
pub use executor::{
    CheapJudge, CheapJudgeRequest, CheapJudgeResponse, PredicateContext, PredicateExecutionRecord,
    PredicateExecutionReport, PredicateExecutor, PredicateExecutorConfig, PredicateKind,
    PredicateRunner, PredicateSchedulerConfig, SemanticReplayAuditMetadata,
};
pub use result::{
    Approver, ByteSpan, EvidenceItem, InvariantBlockError, InvariantResult, Remediation, Verdict,
};