Function effect_hash 

pub fn effect_hash(step: &StepIR) -> Hash

Computes a step’s effectHash: the canonical hash of “what this step does to the world” (02 §12.3; see the module docs for the per-kind domain table). Ignores the effectHash/judgeHash values currently stored on the step, so it serves both sealing (compute) and inspection (recompute and compare).