Function readCorpusDocs

scripts/rubi/compile.ts:29–42

(corpusDir: string)

 * (`bundle-corpus.ts`); keeping it in one place prevents the two from drifting
 * (a divergence would silently change rule precedence). */
export function readCorpusDocs(corpusDir: string): RubiRuleDoc[] {
  const docs: RubiRuleDoc[] = [];
  (function walk(dir: string): void {
    for (const e of fs
      .readdirSync(dir, { withFileTypes: true })
      .sort((a, b) => a.name.localeCompare(b.name))) {
      const p = path.join(dir, e.name);
      if (e.isDirectory()) walk(p);
      else if (e.name.endsWith('.json'))
        docs.push(JSON.parse(fs.readFileSync(p, 'utf8')) as RubiRuleDoc);
    }
  })(corpusDir);
  return docs;
}

/** Load and compile all corpus files under a section directory, in order. */
export function compileSection(