Crate omena_transform_egg 

Optional e-graph rewrite boundary for Omena CSS transforms.

Selector, shorthand, and computed-value rewrites are the current e-graph candidates. This crate keeps their proof requirements explicit without forcing an e-graph dependency into the core transform path.

Structs

CheckedEggRewriteCandidateV0

CheckedEggRewriteProofV0

Additive typed replacement for the legacy Boolean proof carrier.

ContextualEqSatScaffoldV0

EggRewriteCandidateV0

EggRewriteDecisionV0

EggRewriteExecutionV0

EggRewriteProofV0

EggRewriteSourceWitnessV0

LawvereAnalysisDeprecated

Published 0.3 compatibility analysis marker. Owner: omena-transform-egg maintainers. Removal condition: not before 1.0, after downstream migration and zero audited non-compatibility uses.

LawvereAnalysisCarrierWitnessV0Deprecated

LawvereAnalysisDataV0Deprecated

LawvereComputedValueCarrierV0Deprecated

LawvereProvenanceCarrierV0Deprecated

LawvereSpecificityCarrierV0Deprecated

LawvereVarStateCarrierV0Deprecated

MdlExtractionCostV0

MdlExtractionModeSummaryV0

TransformCatalogAnalysis

TransformCatalogAnalysisCarrierWitnessV0

TransformCatalogAnalysisDataV0

TransformCatalogComputedValueCarrierV0

TransformCatalogProvenanceCarrierV0

TransformCatalogSpecificityCarrierV0

TransformCatalogVarStateCarrierV0

TransformEggBoundarySummaryV0

TransformEggPlanV0

Enums

EggRewriteClaimEvidenceV0

Evidence disposition for one caller-owned e-graph admission claim.

MdlExtractionModeV0

Functions

decide_checked_egg_rewrite

decide_egg_rewrite

execute_checked_egg_rewrite

execute_egg_rewrite

execute_egg_rewrite_with_lawvere_analysisDeprecated

execute_egg_rewrite_with_transform_catalog_analysis

execute_egg_rewrite_witnesses_for_css_source

plan_egg_rewrite_passes

plan_egg_rewrite_passes_for_source

summarize_contextual_eqsat_scaffold_v0

summarize_lawvere_analysis_carrier_witness_v0Deprecated

summarize_mdl_extraction_mode

summarize_omena_transform_egg_boundary

summarize_transform_catalog_analysis_carrier_witness_v0