Function boxRules

src/compute-engine/boxed-expression/rules.ts:901–933

(
  ce: ComputeEngine,
  rs: Rule | ReadonlyArray<Rule | BoxedRule> | BoxedRuleSet | undefined | null,
  options?: { canonical?: boolean; purpose?: RulePurpose }
)

 * This also crucially prevents wildcards from being given definitions where captured & bound.
 *
 * @param ce
 */
function pushSafeScope(ce: ComputeEngine) {
  const systemScope = ce.contextStack[0]?.lexicalScope;
  if (systemScope) {
    ce.pushScope({ parent: systemScope, bindings: new Map() });
  } else {
    ce.pushScope();
  }
}

/**
 * Create a boxed rule set from a collection of non-boxed rules
 */
export function boxRules(
  ce: ComputeEngine,
  rs: Rule | ReadonlyArray<Rule | BoxedRule> | BoxedRuleSet | undefined | null,
  options?: { canonical?: boolean; purpose?: RulePurpose }
): BoxedRuleSet {
  if (!rs) return { rules: [] };

  if (typeof rs === 'object' && 'rules' in rs) return rs as BoxedRuleSet;

  if (!Array.isArray(rs)) rs = [rs as Rule | BoxedRule];

  const rules: BoxedRule[] = [];
  for (const rule of rs) {
    try {
      rules.push(boxRule(ce, rule, options));
    } catch (e) {
      // There was a problem with a rule: log it, skip that one rule, and
      // continue boxing the rest. A single malformed rule must not take down
      // the entire ruleset (e.g. one bad entry in the default simplify set, or
      // an unsupported shortcut in a user ruleset). This matches the "Skipping
      // rule" wording that was already printed here — previously the error was
      // re-thrown despite the message, aborting the whole set.