Module predicates 

Flow invariant predicate execution.

Re-exports

pub use bootstrap::discover_bootstrap_policy;

pub use bootstrap::validate_bootstrap_edit;

pub use bootstrap::validate_predicate_edit;

pub use bootstrap::BootstrapPolicy;

pub use bootstrap::BootstrapValidation;

pub use bootstrap::BootstrapViolation;

pub use bootstrap::DiscoveredBootstrapPolicy;

pub use bootstrap::EditAuthor;

pub use bootstrap::DEFAULT_MAINTAINER_ROLE;

pub use bootstrap::META_INVARIANTS_FILE;

pub use compose::compose_predicate_results;

pub use compose::enforce_predicate_ceiling;

pub use compose::resolve_predicates;

pub use compose::resolve_predicates_for_touched_directories;

pub use compose::ComposedPredicateEvaluation;

pub use compose::DirectoryContribution;

pub use compose::PredicateCeiling;

pub use compose::PredicateCeilingLevel;

pub use compose::PredicateCeilingOutcome;

pub use compose::PredicateCeilingViolation;

pub use compose::PredicateEvaluation;

pub use compose::PredicateSource;

pub use compose::ResolvedPredicate;

pub use compose::VerdictStrictness;

pub use compose::PREDICATE_COUNT_EXPLOSION_CODE;

pub use discovery::discover_invariants;

pub use discovery::parse_invariants_source;

pub use discovery::ArchivistMetadata;

pub use discovery::DiagnosticSeverity as DiscoveryDiagnosticSeverity;

pub use discovery::DiscoveredInvariantFile;

pub use discovery::DiscoveredPredicate;

pub use discovery::DiscoveryDiagnostic;

pub use discovery::ParsedInvariantFile;

pub use discovery::INVARIANTS_FILE;

pub use executor::CheapJudge;

pub use executor::CheapJudgeRequest;

pub use executor::CheapJudgeResponse;

pub use executor::PredicateContext;

pub use executor::PredicateExecutionRecord;

pub use executor::PredicateExecutionReport;

pub use executor::PredicateExecutor;

pub use executor::PredicateExecutorConfig;

pub use executor::PredicateKind;

pub use executor::PredicateRunner;

pub use executor::PredicateSchedulerConfig;

pub use executor::SemanticReplayAuditMetadata;

pub use result::Approver;

pub use result::ByteSpan;

pub use result::EvidenceItem;

pub use result::InvariantBlockError;

pub use result::InvariantResult;

pub use result::Remediation;

pub use result::Verdict;

Modules

bootstrap

Repo-root meta-invariants.harn bootstrap policy.

compose

Hierarchical composition for Flow predicates.

discovery

Discovery and parsing of invariants.harn Flow predicate files.

executor

Budgeted executor for Flow invariant predicates.

result

Graded InvariantResult and surrounding evidence/remediation machinery.