pub fn plan(context: &Context) -> PlanningResult
Build execution plans for one or more Lemma specs.
Iterates every spec, filters effective dates to its validity range, builds a per-spec DAG and ExecutionPlan for each slice.