Function pre_evaluate_clause 

pub fn pre_evaluate_clause(
    spec_text: &str,
    parent_kernel: &dyn Lookup,
    workload_params: &HashMap<String, String>,
    probes: &HashMap<String, String>,
) -> Result<Vec<Value>, String>

Pre-evaluate a clause’s spec text at synthesis time, using probes for prior clauses’ first values and workload_params as a fallback source for names not yet promoted to workload- kernel const bindings.

The runtime dispatcher uses evaluate_spec directly because (a) the runtime kernel has prior-clause values as real input slots, not text probes, and (b) by then workload params are already injected as final bindings on the for_each scope’s kernel via the synthesis path.