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: m6DimensionalRefinementBridgeSubstrate, not Liquid-Haskell inference or SMT completeness.
Structs§
- AnyProperty
Index V0 - Calc
Dimension Diagnostic Summary V0 - Calc
Dimension Diagnostic V0 - Cascade
Dimensional Refinement Bridge V0 - Bridge between context-indexed property values and refinement facts.
- Cascade
Dimensional Refinement Context Evaluation V0 - Dimension
Vector Domain Summary V0 - Dimension
Vector V0 - Dimension
Vector Value V0 - Refined
Abstract Property Value V0 - Refinement
Context Summary V0 - Refinement
Predicate Evaluation V0 - TopPredicate
V0
Enums§
Constants§
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_
calc_ dimension_ diagnostics_ v0 - summarize_
cascade_ dimensional_ refinement_ bridge_ v0 - summarize_
dimension_ vector_ domain_ v0 - summarize_
refinement_ context_ v0