Function renderEntry

scripts/fungrim/gen-reference-doc.ts:279–340

Render one identity entry into `lines`.

(
  lines: string[],
  ce: ReturnType<typeof createEngine>,
  headDesc: Map<string, string>,
  { e, u }: Resolved
)

/** Render one identity entry into `lines`. */
function renderEntry(
  lines: string[],
  ce: ReturnType<typeof createEngine>,
  headDesc: Map<string, string>,
  { e, u }: Resolved
): number {
  let boxFailures = 0;

  const latex = mathjsonToLatex(ce, e, e.formula);
  if (latex === null) {
    boxFailures++;
    lines.push('```json', JSON.stringify(e.formula), '```');
  } else {
    lines.push(`$$${latex}$$`);
  }
  lines.push('');

  // OPTION-B hook: render Fungrim's prose description once the corpus carries
  // it (dormant until a re-translation adds a per-entry `description` field).
  const desc = (e as any).description;
  if (typeof desc === 'string' && desc.trim()) {
    lines.push(desc.trim(), '');
  }

  const conds: string[] = [];
  if (e.assumptions) {
    const a = mathjsonToLatex(ce, e, e.assumptions);
    if (a) conds.push(`$${a}$`);
  }
  for (const alt of ((e as any).assumptionAlternatives ?? []) as unknown[]) {
    const a = mathjsonToLatex(ce, e, alt);
    if (a) conds.push(`$${a}$`);
  }
  if (conds.length === 1) lines.push(`**Holds when** ${conds[0]}.`);
  else if (conds.length > 1)
    lines.push(`**Holds when** ${conds.join(' &nbsp;_or_&nbsp; ')}.`);

  const syms = (e.heads ?? [])
    .filter((h) => headDesc.has(h))
    .map((h) => `**${h}** — ${headDesc.get(h)}`);
  if (syms.length) lines.push(`**Symbols:** ${syms.join('; ')}.`);

  const usageStr = usageSentence(u);
  if (usageStr) lines.push(usageStr);

  // Curated (non-hex) entries carry an internal provenance note in
  // `references`, not a citation — suppress it.
  const refs = isHexId(e.id) ? referencesOf(e) : [];
  if (refs.length === 1) lines.push(`**Reference:** ${renderReference(refs[0])}`);
  else if (refs.length > 1) {
    lines.push('**References:**');
    for (const r of refs) lines.push(`- ${renderReference(r)}`);
  }

  lines.push(
    isHexId(e.id)
      ? `[\`${e.id}\` · Fungrim entry ↗](${FUNGRIM_ENTRY(e.id)})`
      : `\`${e.id}\` · _curated identity (not in the upstream Fungrim corpus)_`