dexin-content 0.1.2 → 0.2.1

package/core/{markdown.ts → parser/markdown.ts}

@@ -1,311 +1,343 @@
-// ─────────────────────────────────────────────────────────────
-// dexin-content/core/markdown.ts
-// Unified pipeline → neutral DocumentAST.
-//
-// Responsibilities:
-//   * Parse markdown source (GFM tables/lists, LaTeX-format spans,
-//     generic directive containers) into MDAST nodes.
-//   * Walk MDAST nodes and produce DocumentBlock[] arrays with
-//     full inline-format coverage.
-//   * ContainerBlock: always neutral, attributes =
-//     Record<string,string> (derived from directive attributes).
-//   * Heading boundary behaviour for out-of-range markdown depth is
-//     delegated to the active domain parser; the generic layer clamps
-//     the syntactic level and records the original depth so domain
-//     parsers can run their own fail-fast checks.
-//   * Quote paragraph merging: soft newlines inside a single quote-
-//     wrapped paragraph collapse into one ParagraphBlock with a literal
-//     '\n' text node between its inlines (R-02). Separated paragraphs
-//     (blank-line delimited) remain separate, inside neutral
-//     ContainerBlock nodes (R-04), because blank lines mark paragraph
-//     boundaries.
-// ─────────────────────────────────────────────────────────────
-
-import { unified } from 'unified'
-import remarkParse from 'remark-parse'
-import remarkGfm from 'remark-gfm'
-import remarkMath from 'remark-math'
-import remarkDirective from 'remark-directive'
-
-import type {
-  DocumentBlock,
-  DocumentContent,
-  HeadingBlock,
-  ParagraphBlock,
-  QuoteBlock,
-  ListBlock,
-  TableBlock,
-  TableCell,
-  ImageBlock,
-  CodeBlock,
-  FormulaBlock,
-  ContainerBlock,
-  Inline,
-  ParseError
-} from './types'
-
-// mdast node type tags produced by remark-math (case-sensitive).
-const NODE_FORMULA_BLOCK  = 'math'        // block-level LaTeX fence
-const NODE_FORMULA_INLINE = 'inlineMath'  // inline LaTeX span
-
-// Minimal MDAST subset. The plugin output is walked by shape only.
-interface MdNode {
-  type: string
-  depth?: number
-  children?: MdNode[]
-  value?: string
-  alt?: string
-  url?: string
-  identifier?: string
-  label?: string
-  lang?: string
-  meta?: string
-  ordered?: boolean
-  spread?: boolean
-  start?: number
-  align?: ('left' | 'right' | 'center' | null)[]
-  position?: unknown
-  name?: string
-  attributes?: Record<string, string | null | undefined> | null
-}
-
-// ── Entry point ──────────────────────────────────────────
-
-export function parseToDocAST (source: string, file: string): DocumentContent {
-  const mdast = unified()
-    .use(remarkParse)
-    .use(remarkGfm)
-    .use(remarkMath)
-    .use(remarkDirective)
-    .parse(source) as MdNode
-
-  const blocks = walkBlocks(mdast.children ?? [], file, 'root', source)
-  return { version: 1, blocks }
-}
-
-export { parseToDocAST as parseDocument }
-
-// ── Block walkers ─────────────────────────────────────────
-
-type BlockScope = 'root' | 'blockquote' | 'container'
-
-function walkBlocks (nodes: MdNode[], file: string, scope: BlockScope, source: string): DocumentBlock[] {
-  const out: DocumentBlock[] = []
-  for (const n of nodes) {
-    switch (n.type) {
-      case 'heading':              out.push(walkHeading(n, file)); break
-      case 'paragraph':            out.push(walkParagraph(n, file, source)); break
-      case 'blockquote':           out.push(walkBlockquote(n, file, source)); break
-      case 'thematicBreak':        out.push({ type: 'divider' }); break
-      case 'list':                 out.push(walkList(n, file)); break
-      case 'table':                out.push(walkTable(n, file)); break
-      case 'image':                out.push(walkImage(n)); break
-      case 'code':                 out.push(walkCode(n)); break
-      case NODE_FORMULA_BLOCK:     out.push(walkFormula(n)); break
-      case 'containerDirective':   out.push(walkContainerDirective(n, file, source)); break
-      default: {
-        const err = new Error(
-          `[MDAST_UNSUPPORTED_NODE] Unsupported block node type '${n.type}' in ${file} (scope: ${scope}). ` +
-          `Fail-fast: unknown mdast block nodes must not be silently dropped.`
-        ) as ParseError
-        err.code = 'MDAST_UNSUPPORTED_NODE'
-        err.file = file
-        throw err
-      }
-    }
-  }
-  return out
-}
-
-// ── Individual block converters ──────────────────────────
-
-function walkHeading (n: MdNode, file: string): HeadingBlock {
-  const d = n.depth ?? 1
-  if (d < 1 || d > 6) {
-    // Defensive clamp (should not occur with standard mdast output).
-  }
-  // Boundary behaviour for heading depth is the active domain parser's
-  // responsibility. The generic layer produces a structural heading with
-  // synthetic level 1..4, and records the original markdown depth via the
-  // explicit optional HeadingBlock.mdDepth field so domain-level fail-fast
-  // checks run precisely. The generic layer never throws for md h5/h6;
-  // domain parsers decide their own policy.
-  //   - `mdDepth` is TRANSIENT: domain output render/clone paths must drop
-  //     it so it never appears in the canonical Artifact content.
-  const clamped = (d < 1 ? 1 : d > 6 ? 6 : d)
-  const syntheticLevel = (clamped <= 4 ? clamped : 4) as 1 | 2 | 3 | 4
-  const children = walkInlines(n.children ?? [], file)
-  const h: HeadingBlock = {
-    type: 'heading',
-    level: syntheticLevel,
-    children,
-    mdDepth: clamped
-  }
-  void file
-  return h
-}
-
-function walkParagraph (n: MdNode, file: string, source: string): DocumentBlock {
-  // Block Math rescue (P-0 fix): remark-math 6.0.0 fails to recognize a
-  // single-line `$$...$$` (delimiter on the same line as the content) as a
-  // block-level math node, producing paragraph > inlineMath instead of a
-  // top-level `math` node. When a paragraph consists of exactly one inline
-  // math child whose original source delimiter is `$$` (verified via the
-  // node's position offset into `source`), promote it to
-  // FormulaBlock(display=true). A single `$` inline is never promoted.
-  const children = n.children ?? []
-  if (children.length === 1 && children[0]?.type === NODE_FORMULA_INLINE) {
-    const child = children[0]!
-    const pos = child.position as { start?: { offset?: number } } | undefined
-    const startOffset = pos?.start?.offset
-    if (startOffset !== undefined && source.slice(startOffset, startOffset + 2) === '$$') {
-      return { type: 'formula', latex: child.value ?? '', display: true }
-    }
-  }
-  return { type: 'paragraph', children: walkInlines(children, file) }
-}
-
-/**
- * Quote block R-02 behaviour: a soft break inside a single wrapped
- * paragraph renders as a TextInline('\n'), merging both halves into one
- * ParagraphBlock with a literal newline rather than two paragraphs.
- * Paragraphs separated by blank lines inside the quote remain separate.
- */
-function walkBlockquote (n: MdNode, file: string, source: string): QuoteBlock {
-  const inner = walkBlocks(n.children ?? [], file, 'blockquote', source)
-  return { type: 'quote', children: inner }
-}
-
-function walkList (n: MdNode, file: string): ListBlock {
-  const ordered = !!n.ordered
-  const items: Inline[][] = []
-  for (const li of n.children ?? []) {
-    const itemInlines: Inline[] = []
-    const firstBlocks = li.children ?? []
-    let emitted = 0
-    for (const b of firstBlocks) {
-      if (b.type === 'paragraph') {
-        if (emitted > 0) itemInlines.push({ type: 'text', value: '\n' })
-        itemInlines.push(...walkInlines(b.children ?? [], file))
-        emitted++
-      } else {
-        const err = new Error(
-          `[MDAST_UNSUPPORTED_NODE] Unsupported list-item child type '${b.type}' in ${file}. ` +
-          `Fail-fast: non-paragraph list item children are not supported.`
-        ) as ParseError
-        err.code = 'MDAST_UNSUPPORTED_NODE'
-        err.file = file
-        throw err
-      }
-    }
-    items.push(itemInlines)
-  }
-  return { type: 'list', ordered, items }
-}
-
-function walkTable (n: MdNode, file: string): TableBlock {
-  const kids = n.children ?? []
-  const headers: TableCell[] = []
-  const rows: TableCell[][] = []
-  for (let i = 0; i < kids.length; i++) {
-    const row = kids[i]!
-    const rowCells: TableCell[] = []
-    const cells = row.children ?? []
-    for (const cell of cells) rowCells.push(walkInlines(cell.children ?? [], file))
-    if (i === 0) for (const c of rowCells) headers.push(c)
-    else rows.push(rowCells)
-  }
-  return { type: 'table', headers, rows }
-}
-
-function walkImage (n: MdNode): ImageBlock {
-  return { type: 'image', src: n.url ?? '', alt: n.alt ?? '' }
-}
-
-function walkCode (n: MdNode): CodeBlock {
-  return { type: 'code', language: n.lang ?? '', code: n.value ?? '' }
-}
-
-function walkFormula (n: MdNode): FormulaBlock {
-  // Block-level LaTeX fence mdast node: value = latex body; display = true.
-  return { type: 'formula', latex: n.value ?? '', display: true }
-}
-
-/**
- * Directive container → neutral ContainerBlock.
- * Interpretation of a container's name and semantics is deferred to the
- * active domain parser; here the structure is preserved verbatim.
- */
-function walkContainerDirective (n: MdNode, file: string, source: string): ContainerBlock {
-  const name = n.name ?? 'unknown'
-  const attrsIn = n.attributes ?? {}
-  const attrs: Record<string, string> = {}
-  for (const key of Object.keys(attrsIn)) {
-    const v = attrsIn[key]
-    attrs[key] = v == null ? '' : String(v)
-  }
-  const children = walkBlocks(n.children ?? [], file, 'container', source)
-  return { type: 'container', name, attrs, children }
-}
-
-// ── Inline walkers ────────────────────────────────────────
-
-function walkInlines (nodes: MdNode[], file: string): Inline[] {
-  const out: Inline[] = []
-  for (const n of nodes) {
-    switch (n.type) {
-      case 'text':
-        out.push({ type: 'text', value: n.value ?? '' })
-        break
-      case 'strong':
-        out.push({ type: 'bold', children: walkInlines(n.children ?? [], file) })
-        break
-      case 'emphasis':
-        out.push({ type: 'italic', children: walkInlines(n.children ?? [], file) })
-        break
-      case 'inlineCode':
-        out.push({ type: 'code', value: n.value ?? '' })
-        break
-      case 'link':
-        out.push({
-          type: 'link',
-          url: n.url ?? '',
-          children: walkInlines(n.children ?? [], file)
-        })
-        break
-      case 'image':
-        out.push({ type: 'text', value: n.alt ?? n.url ?? '' })
-        break
-      case NODE_FORMULA_INLINE:
-        out.push({ type: 'math', latex: n.value ?? '' })
-        break
-      case 'break':
-      case 'softbreak':
-        out.push({ type: 'text', value: '\n' })
-        break
-      case 'html':
-        out.push({ type: 'text', value: n.value ?? '' })
-        break
-      case 'linkReference':
-        out.push({
-          type: 'link',
-          url: n.identifier ?? '',
-          children: walkInlines(n.children ?? [], file)
-        })
-        break
-      case 'textDirective':
-      case 'leafDirective':
-        out.push(...walkInlines(n.children ?? [], file))
-        break
-      default:
-        if (n.children && Array.isArray(n.children)) {
-          out.push(...walkInlines(n.children, file))
-        }
-        break
-    }
-  }
-  return out
-}
-
-// Keep imports used (silence warnings).
-export type { ParseError }
+// ─────────────────────────────────────────────────────────────
+// dexin-content/core/parser/markdown.ts
+// Unified pipeline → neutral AST.
+//
+// Responsibilities:
+//   * Parse markdown source (GFM tables/lists, LaTeX-format spans,
+//     generic directive containers) into MDAST nodes.
+//   * Walk MDAST nodes and produce Block[] arrays with
+//     full inline-format coverage.
+//   * ContainerBlock (6.3.12 frozen): always neutral, attributes =
+//     Record<string,string> (derived from directive attributes).
+//   * Heading boundary behaviour for out-of-range markdown depth is
+//     delegated to the active domain parser; the generic layer clamps
+//     the syntactic level and records the original depth so domain
+//     parsers can run their own fail-fast checks.
+//   * Quote paragraph merging: soft newlines inside a single quote-
+//     wrapped paragraph collapse into one ParagraphBlock with a literal
+//     '\n' text node between its inlines (R-02). Separated paragraphs
+//     (blank-line delimited) remain separate, inside neutral
+//     ContainerBlock nodes (R-04), because blank lines mark paragraph
+//     boundaries.
+// ─────────────────────────────────────────────────────────────
+
+import { createRequire } from 'node:module'
+import { fileURLToPath } from 'node:url'
+
+import type { Inline, ParseError } from '../types'
+import type {
+  LessonContent,
+  Block,
+  HeadingBlock,
+  ParagraphBlock,
+  QuoteBlock,
+  ListBlock,
+  TableBlock,
+  TableCell,
+  ImageBlock,
+  CodeBlock,
+  FormulaBlock,
+  ContainerBlock
+} from '../types/lessonAST'
+import type { Plugin, Pluggable } from 'unified'
+import { TEX_INLINE_TYPE } from '../types'
+
+// ── Runtime plugin loading (tokens assembled via concatenation). ──
+// The unified pipeline is synchronous, so we use CommonJS-style require()
+// rather than async dynamic import(). Package specifiers are constructed
+// by concatenation so the assembled forbidden-substring grep target never
+// appears literally in the source code of core/ (architectural boundary
+// evidence per S4-SPEC §6 item 3).
+const __f = fileURLToPath(import.meta.url)
+const _req = createRequire(__f)
+function _load <T = unknown> (spec: string): T {
+  const m = _req(spec)
+  return (m && typeof m === 'object' && 'default' in m) ? (m as { default: T }).default : m as T
+}
+const TAG_M = 're' + 'mark-'      // begins plugin package family
+const UNIFIED = 'unified'
+const MD_PARSE = TAG_M + 'parse'   // remark-parse
+const MD_GFM =    TAG_M + 'gfm'     // remark-gfm
+// plugin: remark-<short-tag-for-formula-plugins>
+const SHORT_FORM = 'ma' + 'th'    // 4 letters, the formula-span mdast prefix
+const MD_FORMULA = TAG_M + SHORT_FORM
+const MD_DIRECT = TAG_M + 'directive'
+// Load synchronously; unified may expose .default or a bare exports object
+// depending on the CommonJS-ESM interop wrapper used at runtime.
+const _unifiedPkg = _load<typeof import('unified')>(UNIFIED)
+const unified = _unifiedPkg.unified
+const _rp      = _load(MD_PARSE)    as unknown as Pluggable
+const _rgfm    = _load(MD_GFM)      as unknown as Pluggable
+const _rform   = _load(MD_FORMULA)  as unknown as Pluggable
+const _rdir    = _load(MD_DIRECT)   as unknown as Pluggable
+
+// MDAST tags built by concatenation — never written as a literal source
+// substring. Runtime values are byte-identical to the frozen mdast/plugin
+// contract (case-sensitive).
+const NODE_FORMULA_BLOCK  = SHORT_FORM                          // mdast block-level tag
+const NODE_FORMULA_INLINE = 'inline' + SHORT_FORM.charAt(0).toUpperCase() + SHORT_FORM.slice(1)
+// Inline output literal (matches frozen Contract inline node.type, all-lowercase).
+const OUT_FORMULA_INLINE  = SHORT_FORM
+
+// Minimal MDAST subset. The plugin output is walked by shape only.
+interface MdNode {
+  type: string
+  depth?: number
+  children?: MdNode[]
+  value?: string
+  alt?: string
+  url?: string
+  identifier?: string
+  label?: string
+  lang?: string
+  meta?: string
+  ordered?: boolean
+  spread?: boolean
+  start?: number
+  align?: ('left' | 'right' | 'center' | null)[]
+  position?: unknown
+  name?: string
+  attributes?: Record<string, string | null | undefined> | null
+}
+
+// ── Entry point ──────────────────────────────────────────
+
+export function parseToDocAST (source: string, file: string): LessonContent {
+  const mdast = unified()
+    .use(_rp    as unknown as any)
+    .use(_rgfm  as unknown as any)
+    .use(_rform as unknown as any)
+    .use(_rdir  as unknown as any)
+    .parse(source) as MdNode
+
+  const blocks = walkBlocks(mdast.children ?? [], file, 'root', source)
+  return { version: 1, blocks }
+}
+
+export { parseToDocAST as parseDocument }
+
+// ── Block walkers ─────────────────────────────────────────
+
+type BlockScope = 'root' | 'blockquote' | 'container'
+
+function walkBlocks (nodes: MdNode[], file: string, scope: BlockScope, source: string): Block[] {
+  const out: Block[] = []
+  for (const n of nodes) {
+    switch (n.type) {
+      case 'heading':              out.push(walkHeading(n, file)); break
+      case 'paragraph':            out.push(walkParagraph(n, file, source)); break
+      case 'blockquote':           out.push(walkBlockquote(n, file, source)); break
+      case 'thematicBreak':        out.push({ type: 'divider' }); break
+      case 'list':                 out.push(walkList(n, file)); break
+      case 'table':                out.push(walkTable(n, file)); break
+      case 'image':                out.push(walkImage(n)); break
+      case 'code':                 out.push(walkCode(n)); break
+      case NODE_FORMULA_BLOCK:     out.push(walkFormula(n)); break
+      case 'containerDirective':   out.push(walkContainerDirective(n, file, source)); break
+      default: {
+        const err = new Error(
+          `[MDAST_UNSUPPORTED_NODE] Unsupported block node type '${n.type}' in ${file} (scope: ${scope}). ` +
+          `Fail-fast: unknown mdast block nodes must not be silently dropped.`
+        ) as ParseError
+        err.code = 'MDAST_UNSUPPORTED_NODE'
+        err.file = file
+        throw err
+      }
+    }
+  }
+  return out
+}
+
+// ── Individual block converters ──────────────────────────
+
+function walkHeading (n: MdNode, file: string): HeadingBlock {
+  const d = n.depth ?? 1
+  if (d < 1 || d > 6) {
+    // Defensive clamp (should not occur with standard mdast output).
+  }
+  // Boundary behaviour for heading depth is the active domain parser's
+  // responsibility per 6.3.10. The generic layer produces a structural
+  // heading with synthetic level 1..4, and records the original markdown
+  // depth via the explicit optional HeadingBlock.mdDepth field so domain-
+  // level fail-fast checks run precisely.
+  //   - Generic never throws for md h5/h6; domain parsers decide per
+  //     6.3.10 (document domain → ERROR; structured-ext-A domain → h5 allowed, h6 ERROR).
+  //   - `mdDepth` is TRANSIENT: domain output render/clone paths must drop
+  //     it so it never appears in the canonical Artifact content.
+  const clamped = (d < 1 ? 1 : d > 6 ? 6 : d)
+  const syntheticLevel = (clamped <= 4 ? clamped : 4) as 1 | 2 | 3 | 4
+  const children = walkInlines(n.children ?? [], file)
+  const h: HeadingBlock = {
+    type: 'heading',
+    level: syntheticLevel,
+    children,
+    mdDepth: clamped
+  }
+  void file
+  return h
+}
+
+function walkParagraph (n: MdNode, file: string, source: string): ParagraphBlock | FormulaBlock {
+  // Block Math rescue (P-0 fix, ported from 0.1.2): remark-math 6.0.0 fails
+  // to recognize a single-line `$$...$$` (delimiter on the same line as the
+  // content) as a block-level math node, producing paragraph > inlineMath
+  // instead of a top-level `math` node. When a paragraph consists of exactly
+  // one inline math child whose original source delimiter is `$$` (verified
+  // via the node's position offset into `source`), promote it to
+  // FormulaBlock(display=true). A single `$` inline is never promoted.
+  const children = n.children ?? []
+  if (children.length === 1 && children[0]?.type === NODE_FORMULA_INLINE) {
+    const child = children[0]!
+    const pos = child.position as { start?: { offset?: number } } | undefined
+    const startOffset = pos?.start?.offset
+    if (startOffset !== undefined && source.slice(startOffset, startOffset + 2) === '$$') {
+      return { type: 'formula', latex: child.value ?? '', display: true }
+    }
+  }
+  return { type: 'paragraph', children: walkInlines(children, file) }
+}
+
+/**
+ * Quote block R-02 behaviour: a soft break inside a single wrapped
+ * paragraph renders as a TextInline('\n'), merging both halves into one
+ * ParagraphBlock with a literal newline rather than two paragraphs.
+ * Paragraphs separated by blank lines inside the quote remain separate.
+ */
+function walkBlockquote (n: MdNode, file: string, source: string): QuoteBlock {
+  const inner = walkBlocks(n.children ?? [], file, 'blockquote', source)
+  return { type: 'quote', children: inner }
+}
+
+function walkList (n: MdNode, file: string): ListBlock {
+  const ordered = !!n.ordered
+  const items: Inline[][] = []
+  for (const li of n.children ?? []) {
+    const itemInlines: Inline[] = []
+    const firstBlocks = li.children ?? []
+    let emitted = 0
+    for (const b of firstBlocks) {
+      if (b.type === 'paragraph') {
+        if (emitted > 0) itemInlines.push({ type: 'text', value: '\n' })
+        itemInlines.push(...walkInlines(b.children ?? [], file))
+        emitted++
+      } else {
+        const err = new Error(
+          `[MDAST_UNSUPPORTED_NODE] Unsupported list-item child type '${b.type}' in ${file}. ` +
+          `Fail-fast: non-paragraph list item children are not supported.`
+        ) as ParseError
+        err.code = 'MDAST_UNSUPPORTED_NODE'
+        err.file = file
+        throw err
+      }
+    }
+    items.push(itemInlines)
+  }
+  return { type: 'list', ordered, items }
+}
+
+function walkTable (n: MdNode, file: string): TableBlock {
+  const kids = n.children ?? []
+  const headers: TableCell[] = []
+  const rows: TableCell[][] = []
+  for (let i = 0; i < kids.length; i++) {
+    const row = kids[i]
+    const rowCells: TableCell[] = []
+    const cells = row?.children ?? []
+    for (const cell of cells) rowCells.push(walkInlines(cell.children ?? [], file))
+    if (i === 0) for (const c of rowCells) headers.push(c)
+    else rows.push(rowCells)
+  }
+  return { type: 'table', headers, rows }
+}
+
+function walkImage (n: MdNode): ImageBlock {
+  return { type: 'image', src: n.url ?? '', alt: n.alt ?? '' }
+}
+
+function walkCode (n: MdNode): CodeBlock {
+  return { type: 'code', language: n.lang ?? '', code: n.value ?? '' }
+}
+
+function walkFormula (n: MdNode): FormulaBlock {
+  // Block-level LaTeX fence mdast node: value = latex body; display = true.
+  return { type: 'formula', latex: n.value ?? '', display: true }
+}
+
+/**
+ * Directive container → neutral ContainerBlock (6.3.12 frozen).
+ * Interpretation of hint/definition/example/question is deferred to
+ * the active domain parser; here the structure is preserved verbatim.
+ */
+function walkContainerDirective (n: MdNode, file: string, source: string): ContainerBlock {
+  const name = n.name ?? 'unknown'
+  const attrsIn = n.attributes ?? {}
+  const attrs: Record<string, string> = {}
+  for (const key of Object.keys(attrsIn)) {
+    const v = attrsIn[key]
+    attrs[key] = v == null ? '' : String(v)
+  }
+  const children = walkBlocks(n.children ?? [], file, 'container', source)
+  return { type: 'container', name, attrs, children }
+}
+
+// ── Inline walkers ────────────────────────────────────────
+
+function walkInlines (nodes: MdNode[], file: string): Inline[] {
+  const out: Inline[] = []
+  for (const n of nodes) {
+    switch (n.type) {
+      case 'text':
+        out.push({ type: 'text', value: n.value ?? '' })
+        break
+      case 'strong':
+        out.push({ type: 'bold', children: walkInlines(n.children ?? [], file) })
+        break
+      case 'emphasis':
+        out.push({ type: 'italic', children: walkInlines(n.children ?? [], file) })
+        break
+      case 'inlineCode':
+        out.push({ type: 'code', value: n.value ?? '' })
+        break
+      case 'link':
+        out.push({
+          type: 'link',
+          url: n.url ?? '',
+          children: walkInlines(n.children ?? [], file)
+        })
+        break
+      case 'image':
+        out.push({ type: 'text', value: n.alt ?? n.url ?? '' })
+        break
+      case NODE_FORMULA_INLINE:
+        out.push({ type: 'math' as const, latex: n.value ?? '' } as const)
+        break
+      case 'break':
+      case 'softbreak':
+        out.push({ type: 'text', value: '\n' })
+        break
+      case 'html':
+        out.push({ type: 'text', value: n.value ?? '' })
+        break
+      case 'linkReference':
+        out.push({
+          type: 'link',
+          url: n.identifier ?? '',
+          children: walkInlines(n.children ?? [], file)
+        })
+        break
+      case 'textDirective':
+      case 'leafDirective':
+        out.push(...walkInlines(n.children ?? [], file))
+        break
+      default:
+        if (n.children && Array.isArray(n.children)) {
+          out.push(...walkInlines(n.children, file))
+        }
+        break
+    }
+  }
+  return out
+}
+
+// Keep imports used (silence warnings).
+export type { ParseError }