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§
- BooleanGRN
State V0 - BoxLonghand
Input V0 - Cascade
Attractor Basin Proof V0 - Cascade
Attractor Basin V0 - Cascade
Boundary Summary - Cascade
Computed Value Input V0 - Cascade
Computed Value Result V0 - Cascade
Conformance Seed Case - Cascade
Conformance Seed Report - Cascade
Conformance Seed Result - Cascade
Declaration - Cascade
Deep Conflict Report V0 - Cascade
Evaluation Fuzz Case V0 - Cascade
Evaluation Fuzz Result V0 - Cascade
Evidence V0 - Cascade
Frustration V0 - Cascade
Fuzz Seed Report V0 - Cascade
Key - Cascade
Margin Schema V0 - Cascade
Margin V0 - Cascade
Origin Driver V0 - Cascade
Outcome Projection Record V0 - Cascade
Proof - Cascade
Refinement Context V0 - Cascade
Registered Custom Property V0 - Cascade
Replica Overlap V0 - Cascade
Spin Glass Hamiltonian V0 - Cascade
Spin Glass Summary V0 - Cascade
Spin Glass Theorem V0 - Cascade
Spin Glass Ultrametric Corpus V0 - Cascade
Stability Score V0 - Cascade
Ultrametric Path V0 - CssCustom
Property Policy Static V1 - CssCustom
Property Policy V1Json - CssProperty
Metadata Record Static V1 - CssProperty
Metadata Record V1Json - CssProperty
Metadata Source Static V1 - CssProperty
Metadata Source V1Json - CssProperty
Metadata Static V1 - CssProperty
Metadata V1Json - Custom
Property Evidence V0 - Custom
Property Least Fixed Point Entry V0 - Custom
Property Least Fixed Point Iteration V0 - Custom
Property Least Fixed Point Proof V0 - Custom
Property Least Fixed Point Summary V0 - Diagnostic
Frame Footprint V0 - Element
Identity V0 - Element
Parent Chain V0 - Element
Signature - Element
Signature With Parents V0 - GrnExplicit
Attractor Enumeration V0 - GrnMode
Distribution V0 - GrnTransition
Record V0 - GrnVertex
State V0 - GrnVertex
V0 - Kauffman
Regime V0 - Layer
Flatten Input V0 - Layer
Flatten Proof V0 - Layer
Rank - Modal
Check Witness V0 - V0 freeze-candidate witness aggregation over existing cascade proof outputs.
- Module
Footprint V0 - Module
Rank - Outcome
Conjunction Witness V0 - Recheck
Selection V0 - Resolver
Evidence V0 - Scope
Flatten Input V0 - Scope
Flatten Proof V0 - Scope
Proximity V0 - Selector
Context Witness - Selector
Match Witness - Selector
Signature - Shorthand
Combination Proof V0 - Specificity
- Spin
Glass Monte Carlo Bucket V0 - Spin
Glass Monte Carlo Policy V0 - Static
Supports Eval Witness V0 - Supports
Target Capability V0 - VarSubstitution
Fuzz Case V0 - VarSubstitution
Fuzz Result V0
Enums§
- Attractor
Enumeration Strategy V0 - Cascade
Level - Cascade
Origin V0 - Cascade
Outcome - Cascade
Registered Value Verdict V0 - Cascade
Value - Cascade
Winner Axis V0 - Computed
Cascade Indeterminate Reason V0 - Computed
Cascade Value Status V0 - CssProperty
Inheritance V0 - CssProperty
Initial Value V0 - Element
Parent Chain Status V0 - GrnBoolean
State - GrnTop
Handling Policy V0 - Kauffman
Regime Kind V0 - Modal
Check Witness Source V0 - RgFixed
Point TagV0 - Scope
Proximity Status V0 - Selector
Context Match Kind - Selector
Match Reason - Selector
Match Verdict - Specificity
Exactness V0 - Whether a specificity estimate is complete enough for exact cascade ordering.
- Static
Supports Assumption V0 - Static
Supports Eval Verdict V0
Constants§
- BOX_
LONGHAND_ MERGE_ SHORTHAND_ FAMILIES_ V0 - CSS_
PROPERTY_ METADATA_ RECORDS_ V1 - Generated per-property records backing CSS_PROPERTY_METADATA_V1.
- CSS_
PROPERTY_ METADATA_ V1 - Generated property metadata derived from the pinned Webref registry.
- LONGHAND_
MERGE_ SHORTHAND_ FAMILIES_ V0
Functions§
- box_
shorthand_ longhands_ v0 - cascade_
driven_ levels_ v0 - cascade_
driven_ winner_ axes_ v0 - cascade_
driver_ census_ is_ consistent_ v0 - cascade_
level_ catalog_ v0 - cascade_
level_ for_ origin - cascade_
level_ name_ v0 - cascade_
margin_ for_ outcome - cascade_
origin_ driver_ catalog_ v0 - cascade_
property - cascade_
property_ open_ world - cascade_
ultrametric_ distance_ v0 - choose_
grn_ attractor_ strategy - classify_
kauffman_ regime - compute_
cascade_ computed_ value - compute_
edit_ footprint - css_
property_ initial_ value - css_
property_ is_ inherited - css_
property_ metadata_ for_ property - derive_
frame_ for_ diagnostic - derive_
frames_ for_ diagnostic_ set - enumerate_
explicit_ grn_ attractor_ v0 - evaluate_
static_ supports_ condition - grn_
shadow_ omena_ verbs - intersect_
frame_ with_ footprint - outcome_
conjunction_ witness - parse_
simple_ selector_ signature - partition_
into_ outcome_ conjunction_ classes - project_
grn_ outcome - prove_
box_ shorthand_ combination - prove_
cascade_ attractor_ basin - prove_
cascade_ ultrametric_ strong_ triangle_ v0 - prove_
layer_ flatten_ candidate - prove_
longhand_ merge - prove_
scope_ flatten_ candidate - prove_
strong_ triangle_ inequality - prove_
tropical_ hamiltonian_ monotone - prove_
ultrametric_ isomorphism - rank_
cascade_ items - refine_
declaration_ in_ context - resolve_
custom_ property_ env_ least_ fixed_ point - 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 - scope_
proximity_ from_ ancestor_ signatures - select_
cascade_ winner - select_
recheck_ set - selector_
co_ match_ verdict - selector_
context_ witness - selector_
context_ witness_ for_ declaration - selector_
match_ witness - selector_
signature_ co_ match_ verdict - spin_
glass_ monte_ carlo_ policy - spin_
glass_ ultrametric_ binary_ five_ tier_ corpus_ v0 - substitute_
custom_ properties - summarize_
cascade_ boundary - summarize_
cascade_ frustration - summarize_
cascade_ margin_ schema_ v0 - summarize_
cascade_ spin_ glass_ statistics - summarize_
cascade_ stability_ score - summarize_
custom_ property_ least_ fixed_ point - summarize_
grn_ state - summarize_
modal_ check_ witness_ v0 - summarize_
replica_ overlap - summarize_
spin_ glass_ hamiltonian - transition_
cascade_ grn_ state_ v0 - verify_
spin_ glass_ ultrametric_ corpus_ v0