omena-transform-passes 0.3.0

Transform pass registry and DAG planner for Omena CSS
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

//! Transform pass registry and DAG planner for the post-v5 omena-css track.
//!
//! This crate consumes `omena-transform-cst` contracts. It does not duplicate
//! transform metadata; its job is to register safe mutations, cascade-proven
//! combinations, conservative lowerings, and emission boundaries as a
//! DAG-respecting execution plan for downstream transform crates.

pub use omena_cascade::CustomPropertyLeastFixedPointSummaryV0;

mod domains;
mod helpers;
mod model;
mod registry;
mod runtime;

pub use domains::css_modules_values::resolve_static_css_modules_local_value_resolutions_from_source;
pub use domains::number::reduce_static_numeric_expression;
pub use domains::vendor_prefix::StaleVendorPrefixRemovalProofCandidateV0;
pub use model::*;
#[cfg(feature = "lawvere-trace")]
pub use omena_lawvere::{
    LawvereDifferentialCommutativityWitnessV0, LawvereModelTraceV0, ReorderabilityCertificateV0,
    TransformPassParallelPlanV0,
};
pub use omena_value_lattice::{
    StaticSrgbColorWithAlpha, can_shorten_hex_pairs, compress_hex_color_token_text,
    compress_number_prefix, compress_numeric_token_text, format_css_number, numeric_prefix_end,
    parse_basic_named_static_color_with_alpha, parse_color_function_value, parse_color_mix_value,
    parse_numeric_value_with_unit, parse_oklab_oklch_value, parse_reducible_abs_value,
    parse_reducible_calc_value, parse_reducible_clamp_value, parse_reducible_exp_value,
    parse_reducible_hypot_value, parse_reducible_log_value, parse_reducible_max_value,
    parse_reducible_min_value, parse_reducible_mod_value, parse_reducible_pow_value,
    parse_reducible_rem_value, parse_reducible_round_value, parse_reducible_sign_value,
    parse_reducible_sqrt_value, parse_static_hsl_function_color_with_alpha,
    parse_static_hwb_function_color_with_alpha, parse_static_rgb_function_color_with_alpha,
    parse_static_srgb_color, parse_static_srgb_color_with_alpha, shorten_hex_pairs,
    shortest_static_srgb_color_with_alpha_text,
};
pub use registry::{
    inline_css_imports, inline_css_imports_for_static_module_evaluation,
    parse_static_css_cascade_value, restore_less_inline_literal_placeholders,
    summarize_static_css_custom_property_fixed_point_from_source,
};
pub use runtime::executor::{
    classify_transform_reachability_precision,
    execute_transform_passes_on_module_with_dialect_context_and_closed_world_bundle,
    execute_transform_passes_on_source, execute_transform_passes_on_source_with_dialect,
    execute_transform_passes_on_source_with_dialect_and_context,
    execute_transform_passes_on_source_with_dialect_and_context_without_lex_cache_for_measurement,
    execute_transform_passes_on_source_with_dialect_and_context_without_semantic_trust_for_measurement,
    execute_transform_passes_on_source_with_dialect_context_and_closed_world_bundle,
    execute_transform_passes_on_source_with_dialect_context_and_policy,
    execute_transform_passes_on_source_with_dialect_context_closed_world_bundle_and_precision,
    execute_transform_passes_on_source_with_dialect_context_closed_world_bundle_precision_and_policy,
};
#[cfg(feature = "lawvere-trace")]
pub use runtime::executor::{
    evaluate_lawvere_reorderability_with_differential_corpus,
    execute_transform_passes_on_source_with_lawvere_trace,
    execute_transform_passes_on_source_with_lawvere_trace_and_dialect,
};
pub use runtime::fuzz::{run_transform_cascade_safe_fuzz_case, run_transform_fuzz_seed_corpus};
pub use runtime::incremental::{
    execute_transform_passes_incremental_with_database, transform_pass_incremental_graph_input,
};
pub use runtime::lex_cache::{
    reset_transform_lex_cache_splice_telemetry, transform_lex_cache_splice_telemetry_snapshot,
};
#[cfg(feature = "lawvere-trace")]
pub use runtime::planner::plan_transform_passes_parallel_lawvere_layers;
pub use runtime::planner::{
    default_transform_pass_registry, implemented_mutation_pass_ids, plan_transform_passes,
    plan_transform_passes_checked, summarize_omena_transform_passes_boundary,
};
pub use runtime::semantic_preservation::{
    ExternalCssSemanticChangeClassificationV0, ExternalCssSemanticChangeKindV0,
    ExternalCssSemanticChangeV0, ExternalCssSemanticDiffV0, ExternalCssSemanticEntryV0,
    TransformSemanticPreservationDecisionV0, compare_external_css_semantic_changes_v0,
    compare_transform_css_semantics_v0, external_css_semantic_diff_is_total_v0,
};
pub use runtime::structural_shadow::{
    TransformStructuralIrPipelineShadowFixtureInputV0, TransformStructuralIrShadowFixtureInputV0,
    summarize_structural_ir_pipeline_shadow_equivalence_for_fixtures_v0,
    summarize_structural_ir_shadow_equivalence_for_fixtures_v0,
    summarize_structural_ir_shadow_equivalence_v0,
};
pub use runtime::winner_equality::compare_transform_winner_equality_for_conformance_v0;

/// Expand a CSS Nesting selector against its canonical parent selector.
///
/// This is exposed for analysis/query layers that must compare selectors in
/// their resolved form without running the full transform pipeline.
pub fn expand_css_nested_selector(parent_selector: &str, nested_selector: &str) -> Option<String> {
    domains::nesting::expand_nested_selector(parent_selector, nested_selector)
}

/// Return proof candidates for stale vendor-prefix removals.
///
/// Each candidate identifies both the removable prefixed declaration and the
/// exact unprefixed peer that must survive for the rewrite to be considered.
pub fn collect_stale_vendor_prefix_removal_proof_candidates_from_source(
    source: &str,
    dialect: omena_parser::StyleDialect,
) -> Vec<StaleVendorPrefixRemovalProofCandidateV0> {
    domains::vendor_prefix::collect_stale_vendor_prefix_removal_proof_candidates_with_lexer(
        source, dialect,
    )
}

#[cfg(test)]
mod tests;