Crate omena_refinement_trait 

Interface-only refinement predicate contracts.

This crate intentionally has no dependency on cascade or SMT crates. It is the cycle breaker shared by omena-cascade, omena-refinement, and omena-smt.

Structs

RefinementProvenanceV0

RefinementWitnessV0

Enums

RefinementVerdictV0

Constants

REFINEMENT_FEATURE_GATE_V0

REFINEMENT_LAYER_MARKER_V0

REFINEMENT_SCHEMA_VERSION_V0

Traits

PropertyIndexV0

RefinementPredicateV0

Functions

refinement_provenance_v0

refinement_witness_v0