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
Outcome Projection Record V0 - Cascade
Proof - Cascade
Refinement Context 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 - 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
Signature - 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 - Outcome
Conjunction Witness V0 - Recheck
Selection V0 - Resolver
Evidence V0 - Scope
Flatten Input V0 - Scope
Flatten Proof 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 - VarSubstitution
Fuzz Case V0 - VarSubstitution
Fuzz Result V0
Enums§
- Attractor
Enumeration Strategy V0 - Cascade
Level - Cascade
Outcome - Cascade
Value - Computed
Cascade Value Status V0 - GrnBoolean
State - GrnTop
Handling Policy V0 - Kauffman
Regime Kind V0 - Modal
Check Witness Source V0 - RgFixed
Point TagV0 - Selector
Context Match Kind - Selector
Match Reason - Selector
Match Verdict - Static
Supports Assumption V0 - Static
Supports Eval Verdict V0
Functions§
- cascade_
margin_ for_ outcome - cascade_
property - cascade_
ultrametric_ distance_ v0 - choose_
grn_ attractor_ strategy - classify_
kauffman_ regime - compute_
cascade_ computed_ value - compute_
edit_ footprint - 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_
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 - select_
cascade_ winner - select_
recheck_ set - selector_
context_ witness - selector_
context_ witness_ for_ declaration - selector_
match_ witness - 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