harn_vm/flow/predicates/
mod.rs

1//! Flow invariant predicate execution.
2
3pub mod bootstrap;
4pub mod compose;
5pub mod discovery;
6pub mod executor;
7pub mod result;
8
9pub use bootstrap::{
10    discover_bootstrap_policy, validate_bootstrap_edit, validate_predicate_edit, BootstrapPolicy,
11    BootstrapValidation, BootstrapViolation, DiscoveredBootstrapPolicy, EditAuthor,
12    DEFAULT_MAINTAINER_ROLE, META_INVARIANTS_FILE,
13};
14pub use compose::{
15    compose_predicate_results, enforce_predicate_ceiling, resolve_predicates,
16    resolve_predicates_for_touched_directories, ComposedPredicateEvaluation, DirectoryContribution,
17    PredicateCeiling, PredicateCeilingLevel, PredicateCeilingOutcome, PredicateCeilingViolation,
18    PredicateEvaluation, PredicateSource, ResolvedPredicate, VerdictStrictness,
19    PREDICATE_COUNT_EXPLOSION_CODE,
20};
21pub use discovery::{
22    discover_invariants, parse_invariants_source, ArchivistMetadata,
23    DiagnosticSeverity as DiscoveryDiagnosticSeverity, DiscoveredInvariantFile,
24    DiscoveredPredicate, DiscoveryDiagnostic, ParsedInvariantFile, INVARIANTS_FILE,
25};
26pub use executor::{
27    CheapJudge, CheapJudgeRequest, CheapJudgeResponse, PredicateContext, PredicateExecutionRecord,
28    PredicateExecutionReport, PredicateExecutor, PredicateExecutorConfig, PredicateKind,
29    PredicateRunner, PredicateSchedulerConfig, SemanticReplayAuditMetadata,
30};
31pub use result::{
32    Approver, ByteSpan, EvidenceItem, InvariantBlockError, InvariantResult, Remediation, Verdict,
33};
harn_vm/flow/predicates/mod.rs

harn_vm/flow/predicates/
mod.rs
