harn_vm/flow/
mod.rs

1//! Harn Flow — agent-native shipping substrate.
2//!
3//! See parent epic #571 for the four-primitive model (atoms, intents, slices,
4//! streams). This module currently implements the foundational primitives,
5//! [`Atom`](atom::Atom), [`Intent`](intent::Intent), and [`Slice`](slice::Slice).
6
7pub mod atom;
8pub mod audit;
9pub mod backend;
10pub mod fixer;
11pub mod intent;
12pub mod predicates;
13pub mod slice;
14pub mod store;
15
16pub use atom::{Atom, AtomError, AtomId, AtomSignature, Provenance, TextOp};
17pub use audit::{
18    audit_slice_against_current_predicates, replay_audit_report, ReplayAuditPredicate,
19    ReplayAuditReport, SliceReplayAudit,
20};
21pub use backend::{
22    AtomRef, FlowNativeBackend, FlowSlice, GitExportReceipt, ShadowGitBackend, ShipReceipt,
23    VcsBackend, VcsBackendError,
24};
25pub use fixer::{
26    propose_follow_up_slice, FixerError, FixerFollowUpProposal, FixerProposalInput, FixerReceipt,
27    FixerSigningContext, FIXER_PERSONA_NAME, FIXER_TRIGGER,
28};
29pub use intent::{
30    Intent, IntentBoundaryClassifier, IntentBoundaryDecision, IntentBoundaryDispute,
31    IntentClusterOptions, IntentClusterer, IntentError, IntentId, ObservedAtom, SealedIntent,
32    TranscriptSpan,
33};
34pub use predicates::{
35    compose_predicate_results, discover_bootstrap_policy, discover_invariants,
36    enforce_predicate_ceiling, parse_invariants_source, resolve_predicates,
37    resolve_predicates_for_touched_directories, validate_bootstrap_edit, validate_predicate_edit,
38    Approver, ArchivistMetadata, BootstrapPolicy, BootstrapValidation, BootstrapViolation,
39    ByteSpan, CheapJudge, CheapJudgeRequest, CheapJudgeResponse, ComposedPredicateEvaluation,
40    DirectoryContribution, DiscoveredBootstrapPolicy, DiscoveredInvariantFile, DiscoveredPredicate,
41    DiscoveryDiagnostic, DiscoveryDiagnosticSeverity, EditAuthor, EvidenceItem,
42    InvariantBlockError, InvariantResult, ParsedInvariantFile, PredicateCeiling,
43    PredicateCeilingLevel, PredicateCeilingOutcome, PredicateCeilingViolation, PredicateContext,
44    PredicateEvaluation, PredicateExecutionRecord, PredicateExecutionReport, PredicateExecutor,
45    PredicateExecutorConfig, PredicateKind, PredicateRunner, PredicateSchedulerConfig,
46    PredicateSource, Remediation, ResolvedPredicate, SemanticReplayAuditMetadata, Verdict,
47    VerdictStrictness, DEFAULT_MAINTAINER_ROLE, INVARIANTS_FILE, META_INVARIANTS_FILE,
48    PREDICATE_COUNT_EXPLOSION_CODE,
49};
50pub use slice::{
51    derive_slice, Approval, CoverageMap, PredicateHash, Slice, SliceDerivationError,
52    SliceDerivationInput, SliceId, SliceStatus, TestId, UnresolvedParent,
53};
54pub use store::{AtomDelta, SqliteFlowStore, StateVector, StoredDerivedSlice};
harn_vm/flow/mod.rs

harn_vm/flow/
mod.rs
