omena-refinement-trait 0.5.0

Interface-only refinement predicate contracts for Omena CSS

Coverage
3.23%
1 out of 31 items documented0 out of 7 items with examples
Size
Source code size: 10.56 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 365.22 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 6s Average build duration of successful builds.
all releases: 10s Average build duration of successful builds in releases after 2024-10-23.
Links
omenien/omena-css
2 0 12
crates.io
Dependencies
- serde ^1.0 normal
Versions
Owners

omena-refinement-trait

Role

omena-refinement-trait is the interface-only cycle breaker for refinement predicates shared by cascade, refinement, and proof layers.

Contract

It defines PropertyIndexV0, RefinementPredicateV0, typed verdicts, provenance, witnesses, and refinement decisions without importing an implementation backend.

Consumers

Cascade, refinement, and proof crates exchange typed decisions through this small dependency.

Boundaries

The crate evaluates no CSS and runs no solver. Adding implementation dependencies here would recreate the cycle it is designed to prevent.

Verification

cargo test --manifest-path rust/Cargo.toml -p omena-refinement-trait