omena-refinement-trait 0.4.0

Interface-only refinement predicate contracts for Omena CSS
Documentation
  • 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.32 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 9s Average build duration of successful builds.
  • all releases: 11s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • omenien/omena-css
    2 0 8
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • yongsk0066

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