omena-refinement 0.3.0

Refinement type system contracts for Omena cascade analysis

Coverage
1.11%
2 out of 180 items documented0 out of 26 items with examples
Size
Source code size: 80.21 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 2.04 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 16s 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 refinement type contracts and strict-superset abstract property value wrappers.

The crate 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 dimensional refinement substrate only: it does not fork a unit system, complete Liquid-Haskell-style inference, complete SMT refinement, or claim a theorem.