Expand description
Cascade-formal substrate for the Omena CSS track.
The crate starts with the load-bearing algebra from the research plan: lexicographic cascade keys, specificity, provenance proofs, and a finite custom-property substitution function with explicit cycle handling.
Structs§
- BoxLonghand
Input V0 - Cascade
Boundary Summary - Cascade
Conformance Seed Case - Cascade
Conformance Seed Report - Cascade
Conformance Seed Result - Cascade
Declaration - Cascade
Evaluation Fuzz Case V0 - Cascade
Evaluation Fuzz Result V0 - Cascade
Fuzz Seed Report V0 - Cascade
Key - Cascade
Proof - Element
Signature - Layer
Flatten Input V0 - Layer
Flatten Proof V0 - Layer
Rank - Scope
Flatten Input V0 - Scope
Flatten Proof V0 - Selector
Context Witness - Selector
Match Witness - Selector
Signature - Shorthand
Combination Proof V0 - Specificity
- Static
Supports Eval Witness V0 - VarSubstitution
Fuzz Case V0 - VarSubstitution
Fuzz Result V0
Enums§
- Cascade
Level - Cascade
Outcome - Cascade
Value - Selector
Context Match Kind - Selector
Match Reason - Selector
Match Verdict - Static
Supports Assumption V0 - Static
Supports Eval Verdict V0
Functions§
- cascade_
property - evaluate_
static_ supports_ condition - parse_
simple_ selector_ signature - prove_
box_ shorthand_ combination - prove_
layer_ flatten_ candidate - prove_
scope_ flatten_ candidate - rank_
cascade_ items - run_
cascade_ conformance_ seed_ corpus - run_
cascade_ evaluation_ fuzz_ case - run_
cascade_ fuzz_ seed_ corpus - run_
var_ substitution_ fuzz_ case - run_
wpt_ cascade_ seed_ corpus - select_
cascade_ winner - selector_
context_ witness - selector_
context_ witness_ for_ declaration - selector_
match_ witness - substitute_
custom_ properties - summarize_
cascade_ boundary