# omena-refinement
`omena-refinement` hosts M4-gamma refinement type contracts and strict-superset
abstract property value wrappers.
M6 also exposes `summarize_cascade_dimensional_refinement_bridge_v0`. That
bridge evaluates the existing `CascadeValueFamilyV0` substrate through existing
`RefinementPropertyPredicateV0` predicates and reports context verdicts plus
witness/provenance counts. It is a research-staged #69 substrate only: it does
not fork a unit system, complete Liquid-Haskell-style inference, complete SMT
refinement, or claim a theorem.