Function extractRules

scripts/rubi/extract-rules.ts:84–128

(filePath: string)

}

export function extractRules(filePath: string): ExtractResult {
  const src = stripComments(readFileSync(filePath, 'utf8'));
  // Blank-line cells — but rules may contain internal blank lines (e.g.
  // where a comment was stripped, or in If[TrueQ[$LoadShowSteps], …]
  // cells), so merge fragments until brackets balance and the cell does
  // not end mid-definition.
  const fragments = src.split(/\n\s*\n/).map((c) => c.trim());
  const cells: string[] = [];
  for (const frag of fragments) {
    if (frag === '') continue;
    const prev = cells.length > 0 ? cells[cells.length - 1] : undefined;
    const prevIncomplete =
      prev !== undefined &&
      (bracketBalance(prev) > 0 || /(:=|\/;|[+\-*/^,]|&&|\|\|)$/.test(prev));
    if (prevIncomplete) cells[cells.length - 1] = prev + '\n' + frag;
    else cells.push(frag);
  }

  const ruleCells = cells.filter(
    (c) => c.startsWith('Int[') || c.startsWith('If[TrueQ[$LoadShowSteps]')
  );

  const rules: RubiRule[] = [];
  const errors: ExtractResult['errors'] = [];

  ruleCells.forEach((cell, i) => {
    const index = i + 1;
    try {
      let expr = parseWL(cell);
      // If[TrueQ[$LoadShowSteps], <ShowStep variant>, <plain rule>] —
      // keep the plain (non-display) definition.
      const cond = asCall(expr, 'If');
      if (cond && cell.startsWith('If[TrueQ[$LoadShowSteps]')) {
        if (cond.length !== 4)
          throw new Error('unexpected $LoadShowSteps If shape');
        expr = cond[3];
      }
      rules.push(normalizeRule(index, expr, cell));
    } catch (e) {
      errors.push({ index, error: String(e), source: cell });
    }
  });
  applyUpstreamCorrections(filePath, rules);
  return { rules, errors };
}

/**
 * Corrections for verified bugs in the frozen Rubi 4.17.3.0 source. Each entry