Skip to main content

Module flow

Module flow 

Source
Expand description

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, Intent, and Slice.

Re-exports§

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

Modules§

atom
Harn Flow Atom primitive.
audit
Advisory replay audit for predicate hash drift.
backend
Harn Flow VCS backend abstraction.
fixer
Fixer persona helpers for materializing Flow remediation suggestions.
intent
Harn Flow Intent primitive.
predicates
Flow invariant predicate execution.
slice
Harn Flow Slice primitive.
store
SQLite-backed Harn Flow atom DAG store.