Crate omena_cascade 

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.

Re-exports

pub use class_tokens::*;

pub use first_witness::*;

Modules

class_tokens

first_witness

Canonical decision diagrams and the shared first-witness fold.

Structs

BooleanGRNStateV0

BoxLonghandInputV0

CascadeAttractorBasinProofV0

CascadeAttractorBasinV0

CascadeAxisReachDisclosureV0

Reach disclosure derived from level/axis authorities, the producer census, and the declared encapsulation fragment boundary.

CascadeBoundarySummary

CascadeComputedValueInputV0

CascadeComputedValueResultV0

CascadeConformanceSeedCase

CascadeConformanceSeedReport

CascadeConformanceSeedResult

CascadeDeclaration

CascadeDeepConflictReportV0

CascadeEvaluationFuzzCaseV0

CascadeEvaluationFuzzResultV0

CascadeEvidenceV0

CascadeFrustrationV0

CascadeFuzzSeedReportV0

CascadeKey

CascadeMarginSchemaV0

CascadeMarginV0

CascadeOriginDriverV0

CascadeOutcomeProjectionRecordV0

CascadeProof

CascadeRankedSetLossCandidateV0

CascadeRankedSetLossCaptureV0

CascadeRankedSetLossCensusRowV0

CascadeRefinementContextV0

CascadeRegisteredCustomPropertyV0

CascadeReplicaOverlapV0

CascadeSpinGlassHamiltonianV0

CascadeSpinGlassSummaryV0

CascadeSpinGlassTheoremV0

CascadeSpinGlassUltrametricCorpusV0

CascadeStabilityScoreV0

CascadeUltrametricPathV0

CssCustomPropertyPolicyStaticV1

CssCustomPropertyPolicyV1Json

CssPropertyMetadataRecordStaticV1

CssPropertyMetadataRecordV1Json

CssPropertyMetadataSourceStaticV1

CssPropertyMetadataSourceV1Json

CssPropertyMetadataStaticV1

CssPropertyMetadataV1Json

CustomPropertyEvidenceV0

CustomPropertyLeastFixedPointEntryV0

CustomPropertyLeastFixedPointIterationV0

CustomPropertyLeastFixedPointProofV0

Historical compatibility shape for the bounded custom-property computation witness.

CustomPropertyLeastFixedPointSummaryV0

DiagnosticFrameFootprintV0

ElementIdentityV0

ElementParentChainV0

ElementSignature

ElementSignatureWithParentsV0

GrnExplicitAttractorEnumerationV0

GrnModeDistributionV0

GrnTransitionRecordV0

GrnVertexStateV0

GrnVertexV0

GuardedCascadeConditionImplicationV0

GuardedCascadePerturbationCostModelV0

GuardedCascadeRealisabilityModelV0

GuardedCascadeRobustnessRadiusV0

KauffmanRegimeV0

LayerFlattenInputV0

LayerFlattenProofV0

LayerOrdinal

Position in a flattened cascade-layer order before importance normalization.

LayerRank

ModalCheckWitnessV0

V0 freeze-candidate witness aggregation over existing cascade proof outputs.

ModuleFootprintV0

ModuleRank

OpenWorldTieEvidence

Provenance evidence used only to make open-world ties deterministic.

OutcomeConjunctionWitnessV0

RecheckSelectionV0

ResolverEvidenceV0

ScopeFlattenInputV0

ScopeFlattenProofV0

ScopeProximityV0

SelectorContextWitness

SelectorFunctionalPseudoConstraintV0

SelectorMatchWitness

SelectorSignature

ShorthandCombinationProofV0

Specificity

SpinGlassMonteCarloBucketV0

SpinGlassMonteCarloPolicyV0

StaticSupportsEvalWitnessV0

SupportsTargetCapabilityV0

VarSubstitutionFuzzCaseV0

VarSubstitutionFuzzResultV0

Enums

AttractorEnumerationStrategyV0

CascadeAxisNamedDriverV0

A named legacy source that can supply evidence for a cascade axis.

CascadeAxisOutOfFragmentReasonV0

Why an axis is outside the currently modeled cascade fragment.

CascadeAxisPrefixV0

CascadeAxisReachStatusV0

Reach status for one specification cascade axis.

CascadeLevel

CascadeOriginV0

CascadeOutcome

CascadeRankedSetFunctionV0

CascadeRankedSetLossClassV0

CascadeRegisteredValueVerdictV0

CascadeStandardValueVerdictV0

CascadeValue

CascadeWinnerAxisV0

ComputedCascadeIndeterminateReasonV0

ComputedCascadeValueStatusV0

CssPropertyInheritanceV0

CssPropertyInitialValueV0

ElementParentChainStatusV0

GrnBooleanState

GrnTopHandlingPolicyV0

GuardedCascadePerturbationKindV0

GuardedCascadePerturbationV0

GuardedCascadeRobustnessErrorV0

GuardedCascadeRobustnessRadiusValueV0

KauffmanRegimeKindV0

ModalCheckWitnessSourceV0

RgFixedPointTagV0

ScopeProximityStatusV0

SelectorContextMatchKind

SelectorMatchReason

SelectorMatchVerdict

SpecificityExactnessV0

Whether a specificity estimate is complete enough for exact cascade ordering.

StaticSupportsAssumptionV0

StaticSupportsEvalVerdictV0

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.

GUARDED_CASCADE_ROBUSTNESS_CALIBRATION_STAGE_V0

GUARDED_CASCADE_ROBUSTNESS_MIN_PLUS_DUPLICATION_REASON_V0

GUARDED_CASCADE_ROBUSTNESS_PRODUCT_V0

LONGHAND_MERGE_SHORTHAND_FAMILIES_V0

MAX_GUARDED_CASCADE_PERTURBATIONS_V0

Functions

box_shorthand_longhands_v0

capture_cascade_ranked_set_losses

Captures inexactness-bail RankedSet outcomes produced while operation runs.

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_cascade_ranked_set_loss

classify_kauffman_regime

compute_cascade_computed_value

compute_edit_footprint

compute_guarded_cascade_robustness_radius_v0

css_property_initial_value

css_property_is_inherited

css_property_metadata_for_property

custom_property_bounded_fixed_point_computation_witness

Describes the finite computation and monotonic progress observations used by custom-property substitution.

derive_frame_for_diagnostic

derive_frames_for_diagnostic_set

enumerate_explicit_grn_attractor_v0

evaluate_static_supports_condition

grn_shadow_omena_verbs

guarded_cascade_perturbation_cost_model_v0

intersect_frame_with_footprint

normalized_layer_rank

Maps a layer ordinal into the comparison domain used by CascadeKey.

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_ordering_axis_self_check_corpus

run_generated_cascade_invariant_self_check_corpus

run_var_substitution_fuzz_case

scope_proximity_from_ancestor_signatures

select_cascade_winner

select_open_world_cascade_winner

Selects an open-world winner while retaining provenance as a final tiebreak.

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_axis_reach_v0

Summarizes modeled cascade-axis reach, failing closed if the embedded authority mirrors or producer census are inconsistent.

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

Type Aliases

CustomPropertyBoundedFixedPointComputationWitnessV0

Preferred machine-readable name for the bounded custom-property computation witness.

CustomPropertyEnv

LonghandMergeInputV0

LonghandMergeProofV0