Module compose 

Hierarchical composition for Flow predicates.

Discovery finds invariants.harn files. This module turns those files into applicable predicate declarations and composes their evaluated verdicts without letting a deeper directory relax a shallower rule.

Structs

ComposedPredicateEvaluation

Effective verdict for one predicate evaluation after ancestor composition.

DirectoryContribution

One directory’s contribution to a predicate-count explosion.

PredicateCeiling

Predicate-count explosion limits applied to a slice’s resolved predicate union before evaluation begins.

PredicateCeilingViolation

Structured detail emitted when a slice’s predicate union exceeds the ceiling. Callers may render it directly or convert it into the canonical InvariantResult via PredicateCeilingViolation::to_invariant_result.

PredicateEvaluation

A predicate evaluation stamped with its source depth.

PredicateSource

Source location of a predicate within the directory hierarchy.

ResolvedPredicate

One predicate declaration after hierarchical resolution.

Enums

PredicateCeilingLevel

Severity tier of a PredicateCeilingViolation.

PredicateCeilingOutcome

Outcome of running enforce_predicate_ceiling.

VerdictStrictness

Strictness rank for merging verdicts.

Constants

PREDICATE_COUNT_EXPLOSION_CODE

Stable error code attached to a Block produced by ceiling enforcement.

Functions

compose_predicate_results

Compose evaluated predicate results under stricter-child / shallower-tie semantics.

enforce_predicate_ceiling

Apply a PredicateCeiling to the resolved predicate union for a slice.

resolve_predicates

Resolve the applicable predicates for a single root-to-leaf discovery chain.

resolve_predicates_for_touched_directories

Resolve predicate declarations for every touched directory and union them.

verdict_strictness