Expand description
Refinement type system contracts for cascade analysis.
The crate keeps legacy abstract property values wire-compatible by adding a
strict-superset wrapper and delegating cascade checks to the byte-stable
omena-cascade proof primitives.
claim_level: cascade refinement bridge substrate, not Liquid-Haskell inference or SMT completeness.
Structs§
- AnyProperty
Index V0 - Cascade
Dimensional Refinement Bridge V0 - M6 #69 bridge between context-indexed property values and refinement facts.
- Cascade
Dimensional Refinement Context Evaluation V0 - Refined
Abstract Property Value V0 - Refinement
Context Summary V0 - Refinement
Predicate Evaluation V0 - TopPredicate
V0
Enums§
Functions§
- abstract_
property_ value_ shape_ v0 - evaluate_
refinement_ property_ predicate_ v0 - project_
legacy_ to_ refined_ v0 - project_
refined_ to_ legacy_ v0 - refine_
declaration_ in_ context - refined_
projection_ preserves_ legacy_ value_ v0 - refinement_
smt_ backend_ available_ v0 - summarize_
cascade_ dimensional_ refinement_ bridge_ v0 - summarize_
refinement_ context_ v0