1 2 3 4
# omena-refinement-trait `omena-refinement-trait` is the interface-only cycle breaker for refinement predicate contracts shared by cascade, refinement, and SMT layers.