Expand description
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
Atomprimitive. - 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
Intentprimitive. - predicates
- Flow invariant predicate execution.
- slice
- Harn Flow
Sliceprimitive. - store
- SQLite-backed Harn Flow atom DAG store.