harn-vm 0.7.43

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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

//! Harn Flow — agent-native shipping substrate.
//!
//! See parent epic #571 for the four-primitive model (atoms, intents, slices,
//! streams). This module currently implements the foundational primitives,
//! [`Atom`](atom::Atom), [`Intent`](intent::Intent), and [`Slice`](slice::Slice).

pub mod atom;
pub mod audit;
pub mod backend;
pub mod fixer;
pub mod intent;
pub mod predicates;
pub mod slice;
pub mod store;

pub use atom::{Atom, AtomError, AtomId, AtomSignature, Provenance, TextOp};
pub use audit::{
    audit_slice_against_current_predicates, replay_audit_report, ReplayAuditPredicate,
    ReplayAuditReport, SliceReplayAudit,
};
pub use backend::{
    AtomRef, FlowNativeBackend, FlowSlice, GitExportReceipt, ShadowGitBackend, ShipReceipt,
    VcsBackend, VcsBackendError,
};
pub use fixer::{
    propose_follow_up_slice, FixerError, FixerFollowUpProposal, FixerProposalInput, FixerReceipt,
    FixerSigningContext, FIXER_PERSONA_NAME, FIXER_TRIGGER,
};
pub use intent::{
    Intent, IntentBoundaryClassifier, IntentBoundaryDecision, IntentBoundaryDispute,
    IntentClusterOptions, IntentClusterer, IntentError, IntentId, ObservedAtom, SealedIntent,
    TranscriptSpan,
};
pub use predicates::{
    compose_predicate_results, discover_invariants, parse_invariants_source, resolve_predicates,
    resolve_predicates_for_touched_directories, Approver, ArchivistMetadata, ByteSpan, CheapJudge,
    CheapJudgeRequest, CheapJudgeResponse, ComposedPredicateEvaluation, DiscoveredInvariantFile,
    DiscoveredPredicate, DiscoveryDiagnostic, DiscoveryDiagnosticSeverity, EvidenceItem,
    InvariantBlockError, InvariantResult, ParsedInvariantFile, PredicateContext,
    PredicateEvaluation, PredicateExecutionRecord, PredicateExecutionReport, PredicateExecutor,
    PredicateExecutorConfig, PredicateKind, PredicateRunner, PredicateSource, Remediation,
    ResolvedPredicate, Verdict, VerdictStrictness, INVARIANTS_FILE,
};
pub use slice::{
    derive_slice, Approval, CoverageMap, PredicateHash, Slice, SliceDerivationError,
    SliceDerivationInput, SliceId, SliceStatus, TestId, UnresolvedParent,
};
pub use store::{AtomDelta, SqliteFlowStore, StateVector, StoredDerivedSlice};