Function loadTopicTitles

scripts/fungrim/gen-reference-doc.ts:167–176

topic id -> human title, read from each corpus file's header.

()

/** topic id -> human title, read from each corpus file's header. */
function loadTopicTitles(): Map<string, string> {
  const titles = new Map<string, string>();
  const dir = path.join(CORPUS_DIR, 'corpus');
  for (const f of fs.readdirSync(dir)) {
    if (!f.endsWith('.json')) continue;
    const data = JSON.parse(fs.readFileSync(path.join(dir, f), 'utf8'));
    if (data.topic) titles.set(data.topic, data.title ?? data.topic);
  }
  return titles;
}

/** head name -> description, from both the shell and built-in audit tables. */
function loadHeadDescriptions(decl: Declarations): Map<string, string> {