omena-refinement 0.2.0

Refinement type system contracts for Omena cascade analysis

Coverage
1.61%
2 out of 124 items documented0 out of 18 items with examples
Size
Source code size: 61.86 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 1.4 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 15s Average build duration of successful builds.
all releases: 16s Average build duration of successful builds in releases after 2024-10-23.
Links
omenien/omena-css
2 0 5
crates.io
Dependencies
Versions
- 0.3.0 (2026-07-23)
- 0.2.0 (2026-06-03)
Owners

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.