omena_cascade/
lib.rs

1//! Cascade-formal substrate for the Omena CSS track.
2//!
3//! The crate starts with the load-bearing algebra from the research plan:
4//! lexicographic cascade keys, specificity, provenance proofs, and a finite
5//! custom-property substitution function with explicit cycle handling.
6
7mod computed_value;
8mod conformance;
9mod custom_property;
10mod frame_footprint;
11mod fuzz;
12mod grn;
13mod modal;
14mod model;
15mod proofs;
16mod ranking;
17mod refinement;
18mod selector;
19mod statistics;
20
21pub use computed_value::*;
22pub use conformance::*;
23pub use custom_property::*;
24pub use frame_footprint::*;
25pub use fuzz::*;
26pub use grn::*;
27pub use modal::*;
28pub use model::*;
29pub use proofs::*;
30pub use ranking::*;
31pub use refinement::*;
32pub use selector::*;
33pub use statistics::*;
34
35pub fn summarize_cascade_boundary() -> CascadeBoundarySummary {
36    CascadeBoundarySummary {
37        product: "omena-cascade.boundary",
38        ordering_model: "lexicographicCascadeKey",
39        substitution_model: "finiteCustomPropertyLeastFixedPoint",
40        least_fixed_point_proof_model: "finite-env monotone custom-property substitution with cycle-to-guaranteed-invalid bottoming and env-size iteration bound",
41        ready_surfaces: vec![
42            "cascadeKeyOrdering",
43            "specificityOrdering",
44            "cascadeOutcomeProof",
45            "genericCascadeWinner",
46            "semanticDesignTokenRanking",
47            "queryReadCascadeAtPosition",
48            "selectorContextWitness",
49            "selectorMatchWitness",
50            "cascadeConformanceSeedCorpus",
51            "customPropertySubstitution",
52            "customPropertyLeastFixedPoint",
53            "customPropertyLeastFixedPointProof",
54            "customPropertyLeastFixedPointTrace",
55            "cycleToGuaranteedInvalid",
56            "computedValueResolutionSeed",
57            "inheritanceInitialValueSeed",
58            "shorthandCombinationProof",
59            "supportsStaticEvalWitness",
60            "scopeFlattenProof",
61            "layerFlattenProof",
62            "modalCheckWitnessV0",
63            "cascadeMarginSchemaV0",
64            "wptCascadeSeedCorpus",
65            "spinGlassStatisticsV0",
66            "grnAttractorBasinV0",
67            "diagnosticFrameFootprintV0",
68        ],
69        not_ready_surfaces: vec!["fullInitialValueTable", "fullWptCascadeCorpus"],
70    }
71}
72
73#[cfg(test)]
74mod tests;
omena_cascade/lib.rs

omena_cascade/
lib.rs
