Function walk

scripts/fungrim/compile-rules.ts:1349–1353

(x: MathJSON)

      ? INTEGER_CANDIDATES
      : seedTypes[v] === 'complex'
        ? COMPLEX_CANDIDATES
        : REAL_CANDIDATES
  );
  const boxed = candidates.map((list) => list.map((c) => ce.expr(c as never)));

  let budget = 50_000; // guard-evaluation budget
  const seed: Record<string, MathJSON> = {};