omena-transform-egg

omena-transform-egg owns the optional e-graph rewrite boundary for selector and computed-value rewrites. It runs the optional egg equality-saturation engine for accepted rewrite candidates and reports source witnesses for the selector and calc rewrites that the transform DAG applies.

The crate keeps proof obligations explicit:

• selector rewrites must preserve specificity and matching semantics;
• calc rewrites must preserve computed value;
• accepted rewrites must preserve provenance and carry a cascade-safe witness.

M6 positioning also exposes summarize_contextual_eqsat_scaffold_v0. That summary is a contextual equality-saturation scaffold for the #66/#73 execution view only. It deliberately reports egglogBindingReady = false, threeViewFusionReady = false, and theoremClaimed = false; the implemented engine remains the current optional egg boundary.