Function usesWidenedCompatSignature

scripts/fungrim/compile-rules.ts:1346–1355

(formula: MathJSON)

    if (depth === vars.length) return true;
    const wc = '_' + vars[depth];
    for (let c = 0; c < candidates[depth].length; c++) {
      sub[wc] = boxed[depth][c];
      seed[wc] = candidates[depth][c];
      let ok = true;
      for (let i = 0; i < guards.length && ok; i++) {
        if (guardDepth[i] !== depth) continue;
        if (budget-- <= 0) return false;
        ok = closures[i](sub);
      }
      if (ok && dfs(depth + 1)) return true;
      if (budget <= 0) return false;
    }
    delete sub[wc];