docling_core/markdown.rs
1//! Markdown serializer for [`DoclingDocument`].
2
3use crate::document::{DoclingDocument, Node, Table};
4
5/// How pictures are rendered (mirrors docling-core's `ImageRefMode`).
6#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
7pub enum ImageMode {
8 /// `<!-- image -->` (docling's default, and the only mode without image data).
9 #[default]
10 Placeholder,
11 /// `` — self-contained.
12 Embedded,
13 /// ``; the bytes are returned for the
14 /// caller to write.
15 Referenced,
16}
17
18/// Serializer state threaded through the render walk.
19struct Ctx {
20 strict: bool,
21 /// Emit compact `| a | b |` tables instead of the padded GitHub serializer.
22 compact_tables: bool,
23 images: ImageMode,
24 artifacts_dir: String,
25 /// (relative path, bytes) for each referenced image — written by the caller.
26 artifacts: Vec<(String, Vec<u8>)>,
27 pic_index: usize,
28 /// Rendering the block content of a rich table cell (docling-core 2.94's
29 /// `in_table_cell`, docling-core#540): a heading has no valid Markdown
30 /// form inside a table, so it renders as plain text without `#` markers.
31 in_table_cell: bool,
32}
33
34/// Render a document to a Markdown string (pictures as placeholders).
35///
36/// `strict` selects the serializer-level behaviours that differ between
37/// docling-legacy output and cleaner Markdown — currently the code-fence
38/// language (legacy drops it, strict keeps it).
39pub fn to_markdown(doc: &DoclingDocument, strict: bool) -> String {
40 to_markdown_images(doc, strict, ImageMode::Placeholder, "artifacts").0
41}
42
43/// Render to Markdown with an explicit picture [`ImageMode`]. Returns the
44/// Markdown and, for [`ImageMode::Referenced`], the `(path, bytes)` of each image
45/// the caller should write (relative to the Markdown file).
46pub fn to_markdown_images(
47 doc: &DoclingDocument,
48 strict: bool,
49 images: ImageMode,
50 artifacts_dir: &str,
51) -> (String, Vec<(String, Vec<u8>)>) {
52 let mut ctx = Ctx {
53 strict,
54 compact_tables: doc.compact_tables,
55 images,
56 artifacts_dir: artifacts_dir.to_string(),
57 artifacts: Vec::new(),
58 pic_index: 0,
59 in_table_cell: false,
60 };
61 let mut blocks: Vec<String> = Vec::new();
62 render(&doc.nodes, &mut blocks, &mut ctx);
63 let mut body = blocks.join("\n\n");
64 // Strict mode only: turn recovered source hyperlinks into Markdown links.
65 // docling's standard pipeline drops them, so doing this in legacy mode would
66 // diverge from docling — hence strict-only, leaving conformance output intact.
67 if strict && !doc.links.is_empty() {
68 body = apply_links(&body, &doc.links);
69 }
70 let md = if body.is_empty() {
71 String::new()
72 } else {
73 format!("{body}\n")
74 };
75 (md, ctx.artifacts)
76}
77
78/// Render the block content of a *rich table cell* to Markdown — what
79/// docling-core's table serializer does for a `RichTableCell`
80/// (`doc_serializer.serialize(item, in_table_cell=True)`): the cell's
81/// paragraphs, lists and flattened nested tables render as in a document, but a
82/// heading loses its `#` markers (docling-core#540 — the Markdown spec has no
83/// headings inside tables). Pictures stay placeholders. The caller flattens the
84/// result into its cell text; the table serializer later turns the newlines
85/// into spaces.
86pub fn to_markdown_table_cell(doc: &DoclingDocument, strict: bool) -> String {
87 let mut ctx = Ctx {
88 strict,
89 compact_tables: doc.compact_tables,
90 images: ImageMode::Placeholder,
91 artifacts_dir: String::new(),
92 artifacts: Vec::new(),
93 pic_index: 0,
94 in_table_cell: true,
95 };
96 let mut blocks: Vec<String> = Vec::new();
97 render(&doc.nodes, &mut blocks, &mut ctx);
98 blocks.join("\n\n")
99}
100
101/// Wrap each recovered link's anchor text in Markdown `[anchor](href)`. Anchors
102/// arrive cleaned (curly quotes/dashes already normalized) but un-escaped, so we
103/// match against the body's HTML-escaped (`&`/`<`/`>`) form, the way prose nodes
104/// were serialized. Links are consumed in document order from a moving cursor, so
105/// a repeated anchor (e.g. two "issues") links its successive occurrences rather
106/// than all pointing at the first. An anchor that can't be located is skipped
107/// (its text may have been split across a line wrap or table cell).
108fn apply_links(body: &str, links: &[(String, String)]) -> String {
109 let mut out = body.to_string();
110 let mut cursor = 0usize;
111 for (anchor, href) in links {
112 let anchor = anchor
113 .replace('&', "&")
114 .replace('<', "<")
115 .replace('>', ">");
116 if anchor.is_empty() {
117 continue;
118 }
119 if let Some(rel) = out[cursor..].find(&anchor) {
120 let at = cursor + rel;
121 // Don't relink inside an already-emitted `](` Markdown link target.
122 let replacement = format!("[{anchor}]({href})");
123 out.replace_range(at..at + anchor.len(), &replacement);
124 cursor = at + replacement.len();
125 }
126 }
127 out
128}
129
130/// Like [`apply_links`] but over a single chunk, consuming from a shared queue so
131/// the same `[anchor](href)` rewriting can be applied incrementally as Markdown is
132/// streamed out. Each queued link is matched (in document order) against `chunk`
133/// and rewritten in place; a link whose anchor is not in this chunk is carried
134/// forward in the queue for a later chunk. Anchors are recovered in document
135/// order and a chunk is always a contiguous run of whole blocks, so this
136/// reproduces [`apply_links`]' single moving cursor: the link lands in whichever
137/// chunk contains its anchor, identically to the buffered path. (A link whose
138/// anchor never appears is carried to the end and dropped — the same no-op
139/// `apply_links` performs for an unlocatable anchor.)
140fn apply_links_chunk(chunk: &str, queue: &mut Vec<(String, String)>) -> String {
141 let mut out = chunk.to_string();
142 let mut cursor = 0usize;
143 let mut carried: Vec<(String, String)> = Vec::new();
144 for (anchor_raw, href) in std::mem::take(queue) {
145 let anchor = anchor_raw
146 .replace('&', "&")
147 .replace('<', "<")
148 .replace('>', ">");
149 if anchor.is_empty() {
150 continue;
151 }
152 if let Some(rel) = out[cursor..].find(&anchor) {
153 let at = cursor + rel;
154 let replacement = format!("[{anchor}]({href})");
155 out.replace_range(at..at + anchor.len(), &replacement);
156 cursor = at + replacement.len();
157 } else {
158 // Not in this chunk; try again when its block is flushed.
159 carried.push((anchor_raw, href));
160 }
161 }
162 *queue = carried;
163 out
164}
165
166/// Incremental Markdown serializer: feed finalized, in-document-order batches of
167/// [`Node`]s and receive Markdown chunks whose concatenation is **byte-identical**
168/// to [`to_markdown_images`] over the same nodes. This is the streaming
169/// counterpart of the buffered serializer — used to emit a document's Markdown in
170/// chunks (e.g. page by page, as the parallel PDF pipeline finishes pages) instead
171/// of building the whole string up front.
172///
173/// [`ImageMode::Placeholder`] and [`ImageMode::Embedded`] render inline.
174/// [`ImageMode::Referenced`] additionally hands each picture's bytes out through
175/// [`take_artifacts`](Self::take_artifacts) — construct with
176/// [`with_artifacts`](Self::with_artifacts) and drain after every push so the
177/// bytes can be written to disk as pages finish instead of accumulating for the
178/// whole document (issue #80's memory-bounded image handling).
179///
180/// Each [`push`](Self::push) must contain whole blocks in reading order: a caller
181/// must not split a run of list items across two pushes (the run would render as
182/// two separate lists). Finalized PDF page batches already satisfy this.
183pub struct MarkdownStreamer {
184 strict: bool,
185 images: ImageMode,
186 compact_tables: bool,
187 /// Whether any non-empty chunk has been emitted yet (drives `\n\n` joins and
188 /// the trailing newline).
189 emitted_any: bool,
190 /// Recovered links not yet placed (strict mode), consumed in document order.
191 links: Vec<(String, String)>,
192 /// Referenced mode: the link prefix, the not-yet-drained `(path, bytes)`
193 /// artifacts, and the running image number (continues across pushes so the
194 /// stream matches the buffered serializer's `image_000000…` numbering).
195 artifacts_dir: String,
196 artifacts: Vec<(String, Vec<u8>)>,
197 pic_index: usize,
198}
199
200impl MarkdownStreamer {
201 /// Create a streamer. `compact_tables` mirrors [`DoclingDocument::compact_tables`].
202 /// For [`ImageMode::Referenced`] use [`with_artifacts`](Self::with_artifacts).
203 pub fn new(strict: bool, images: ImageMode, compact_tables: bool) -> Self {
204 debug_assert!(
205 images != ImageMode::Referenced,
206 "referenced image mode needs an artifacts dir; use with_artifacts"
207 );
208 Self::with_artifacts(strict, images, compact_tables, "artifacts")
209 }
210
211 /// Like [`new`](Self::new) but with the artifacts link prefix, allowing
212 /// [`ImageMode::Referenced`]: pictures render as
213 /// `` and each push's image
214 /// bytes wait in [`take_artifacts`](Self::take_artifacts) for the caller to
215 /// write. The concatenated chunks and the artifact list match the buffered
216 /// [`to_markdown_images`] byte-for-byte.
217 pub fn with_artifacts(
218 strict: bool,
219 images: ImageMode,
220 compact_tables: bool,
221 artifacts_dir: &str,
222 ) -> Self {
223 Self {
224 strict,
225 images,
226 compact_tables,
227 emitted_any: false,
228 links: Vec::new(),
229 artifacts_dir: artifacts_dir.to_string(),
230 artifacts: Vec::new(),
231 pic_index: 0,
232 }
233 }
234
235 /// The `(relative path, bytes)` of images rendered by pushes since the last
236 /// drain ([`ImageMode::Referenced`] only — empty otherwise). Paths are
237 /// relative to the Markdown file, i.e. they start with the configured
238 /// artifacts dir.
239 pub fn take_artifacts(&mut self) -> Vec<(String, Vec<u8>)> {
240 std::mem::take(&mut self.artifacts)
241 }
242
243 /// Render one finalized batch of nodes (plus any links recovered from the same
244 /// span, in document order) into the next Markdown chunk. Returns an empty
245 /// string when the batch produces no output (e.g. empty tables/pictures), in
246 /// which case nothing should be written.
247 pub fn push(&mut self, nodes: &[Node], links: &[(String, String)]) -> String {
248 self.links.extend(links.iter().cloned());
249 let mut ctx = Ctx {
250 strict: self.strict,
251 compact_tables: self.compact_tables,
252 images: self.images,
253 artifacts_dir: std::mem::take(&mut self.artifacts_dir),
254 artifacts: std::mem::take(&mut self.artifacts),
255 pic_index: self.pic_index,
256 in_table_cell: false,
257 };
258 let mut blocks: Vec<String> = Vec::new();
259 render(nodes, &mut blocks, &mut ctx);
260 self.artifacts_dir = std::mem::take(&mut ctx.artifacts_dir);
261 self.artifacts = std::mem::take(&mut ctx.artifacts);
262 self.pic_index = ctx.pic_index;
263 if blocks.is_empty() {
264 return String::new();
265 }
266 let mut body = blocks.join("\n\n");
267 if self.strict && !self.links.is_empty() {
268 body = apply_links_chunk(&body, &mut self.links);
269 }
270 let chunk = if self.emitted_any {
271 format!("\n\n{body}")
272 } else {
273 body
274 };
275 self.emitted_any = true;
276 chunk
277 }
278
279 /// Emit the trailing newline that finishes the document (empty if no content
280 /// was produced). Call exactly once, after the final [`push`](Self::push).
281 pub fn finish(self) -> String {
282 if self.emitted_any {
283 "\n".to_string()
284 } else {
285 String::new()
286 }
287 }
288}
289
290/// In `strict` mode, rewrite inline text for readability rather than byte-for-byte
291/// docling fidelity: undo the legacy `\_` underscore escaping, and tighten stray
292/// spaces around punctuation (`[ 37 , 36 ]` → `[37, 36]`, `( x )` → `(x)`). This
293/// cleans up both the PDF backend's glyph-split spacing and the space the legacy
294/// emphasis serialization leaves before punctuation (`*a* ,` → `*a*,`).
295/// Legacy/default output keeps docling's spacing untouched. Only inline text
296/// nodes pass through here — code blocks and table cells are left alone.
297fn strict_text(text: &str, strict: bool) -> String {
298 if !strict {
299 return text.to_string();
300 }
301 text.replace("\\_", "_")
302 .replace(" ,", ",")
303 .replace(" .", ".")
304 .replace(" ;", ";")
305 .replace(" )", ")")
306 .replace("( ", "(")
307 .replace(" ]", "]")
308 .replace("[ ", "[")
309}
310
311/// docling-core 2.92's `_md_line_breaks` (docling-core#721): a single `\n`
312/// inside an item's text becomes a GFM hard line break (`" \n"`, two trailing
313/// spaces) so renderers honour it; a blank line (`\n\n`) is a paragraph break
314/// and stays as is — the document scope already joins blocks with `\n\n`.
315/// Applied to body text, list items and captions, never to code/formulas.
316fn md_line_breaks(text: &str) -> String {
317 if !text.contains('\n') {
318 return text.to_string();
319 }
320 text.split("\n\n")
321 .map(|para| para.replace('\n', " \n"))
322 .collect::<Vec<_>>()
323 .join("\n\n")
324}
325
326/// Undo [`md_line_breaks`] on a rich table cell's flattened Markdown so the
327/// non-Markdown exports (JSON `text`, LaTeX cells) see the cell's raw line
328/// breaks, as docling's do — a rich cell's text is its Markdown serialization
329/// in our model, and the two trailing spaces are a Markdown-only marker.
330pub(crate) fn strip_hard_breaks(text: &str) -> String {
331 if text.contains(" \n") {
332 text.replace(" \n", "\n")
333 } else {
334 text.to_string()
335 }
336}
337
338/// docling-core's `_heading_line_breaks`: a GFM heading cannot span lines, so a
339/// newline inside heading text collapses to a space (`# Hello World`, not a
340/// broken `# Hello\nWorld`).
341fn heading_line_breaks(text: &str) -> String {
342 text.replace('\n', " ")
343}
344
345fn render(nodes: &[Node], blocks: &mut Vec<String>, ctx: &mut Ctx) {
346 let mut i = 0;
347 while i < nodes.len() {
348 match &nodes[i] {
349 Node::ListItem { .. } => {
350 let start = i;
351 i += 1;
352 loop {
353 match nodes.get(i) {
354 Some(Node::ListItem { .. }) => i += 1,
355 // An empty paragraph between two list items is absorbed
356 // into the run — docling keeps such a ListGroup
357 // contiguous rather than splitting it.
358 Some(Node::Paragraph { text })
359 if text.is_empty()
360 && matches!(nodes.get(i + 1), Some(Node::ListItem { .. })) =>
361 {
362 i += 1
363 }
364 _ => break,
365 }
366 }
367 render_list_run(&nodes[start..i], blocks, ctx.strict);
368 }
369 other => {
370 render_one(other, blocks, ctx);
371 i += 1;
372 }
373 }
374 }
375}
376
377/// Render a contiguous run of list items.
378///
379/// Ordered items use their explicit `number`. A new sibling list (marked by
380/// `first_in_list`) at the same depth is separated by a blank line, matching
381/// docling-core's serializer.
382fn render_list_run(items: &[Node], blocks: &mut Vec<String>, strict: bool) {
383 let mut lines: Vec<String> = Vec::new();
384 // Per level, the previous item's (ordered, number) so we can detect a new
385 // sibling list.
386 let mut prev: Vec<Option<(bool, u64)>> = Vec::new();
387 // Whether the previous top-level item was a multilevel projection — an
388 // ordered `1.2.`-style item rendered as a Markdown bullet (docx's DocLang
389 // overlay says ordered, the flat field says bullet). Word numbers such an
390 // item and its parent-level successor within one list (same `numId`), and
391 // docling keeps them in one group — so the kind-flip / number-continuity
392 // breaks below must not fire across it (docling#3902's
393 // docx_list_blank_spacer: `- 1.2. Sub two` directly followed by
394 // `2. Second section`, no blank line).
395 let mut prev_projected = false;
396
397 for item in items {
398 let Node::ListItem {
399 ordered,
400 number,
401 first_in_list,
402 text,
403 level,
404 marker: _,
405 location: _,
406 dclx,
407 href: _,
408 layer,
409 } = item
410 else {
411 continue;
412 };
413 // A non-body (furniture) list item is omitted from Markdown, matching
414 // docling's content-layer filtering.
415 if layer.is_some() {
416 continue;
417 }
418 let level = *level as usize;
419
420 // Returning to a shallower level ends the deeper sibling lists.
421 prev.truncate(level + 1);
422 while prev.len() <= level {
423 prev.push(None);
424 }
425
426 // A new sibling list at the same depth gets a blank line: the kind flips
427 // (`<ul>`↔`<ol>`), an ordered run breaks (`1, 2` then `42`), or the
428 // backend flagged a fresh list (e.g. Markdown's bullet changing `-`→`*`).
429 // Only at the top level: nested sibling groups are children of a list
430 // item, and docling joins an item's children without blank lines.
431 let eff_ordered = dclx.as_ref().map_or(*ordered, |d| d.ordered);
432 if level == 0 {
433 if let Some((prev_ordered, prev_number)) = prev[level] {
434 // A projected predecessor suppresses both heuristics for an
435 // ordered successor: the flat kind flip is an artifact of the
436 // bullet projection, and the numbering continues the deeper
437 // sequence (`1.2.` → `2.`), not this level's.
438 let same_word_list = prev_projected && eff_ordered;
439 let new_list = *first_in_list
440 || (!same_word_list
441 && (prev_ordered != *ordered || (*ordered && *number != prev_number + 1)));
442 if new_list {
443 lines.push(String::new());
444 }
445 }
446 prev_projected = eff_ordered && !*ordered;
447 }
448
449 let indent = " ".repeat(level);
450 let marker = if *ordered {
451 format!("{number}.")
452 } else {
453 "-".to_string()
454 };
455 lines.push(format!(
456 "{indent}{marker} {}",
457 md_line_breaks(&strict_text(text, strict))
458 ));
459 prev[level] = Some((*ordered, *number));
460 }
461
462 // A run consisting only of furniture (content-layer-filtered) items yields no
463 // lines; pushing an empty block here would surface as a stray blank line.
464 if !lines.is_empty() {
465 blocks.push(lines.join("\n"));
466 }
467}
468
469fn render_one(node: &Node, blocks: &mut Vec<String>, ctx: &mut Ctx) {
470 match node {
471 Node::Heading { level, text } => {
472 let text = heading_line_breaks(&strict_text(text, ctx.strict));
473 if ctx.in_table_cell {
474 // docling-core#540: no `#` markers inside a table cell.
475 blocks.push(text);
476 } else {
477 let hashes = "#".repeat((*level).clamp(1, 6) as usize);
478 blocks.push(format!("{hashes} {text}"));
479 }
480 }
481 // An empty body paragraph (docling's blank-line text item) contributes
482 // nothing to Markdown — only DocLang/JSON keep it.
483 Node::Paragraph { text } if text.is_empty() => {}
484 Node::Paragraph { text } => blocks.push(md_line_breaks(&strict_text(text, ctx.strict))),
485 Node::CheckboxItem { checked, text } => {
486 let mark = if *checked { "- [x] " } else { "- [ ] " };
487 blocks.push(md_line_breaks(&strict_text(
488 &format!("{mark}{text}"),
489 ctx.strict,
490 )));
491 }
492 Node::Code {
493 language,
494 text,
495 pretty,
496 ..
497 } => {
498 // Legacy docling never emits a language on the fence; strict keeps it.
499 let lang = match language {
500 Some(l) if ctx.strict => l.as_str(),
501 _ => "",
502 };
503 // Strict prefers the line-preserving rendering when the backend
504 // supplied one (PDF); legacy stays on docling's flat `text`.
505 let body = match pretty {
506 Some(p) if ctx.strict => p.as_str(),
507 _ => text.as_str(),
508 };
509 blocks.push(format!("```{lang}\n{body}\n```"));
510 }
511 // A CodeFormula-decoded display formula renders as docling's `$$…$$`
512 // (the un-enriched pipeline emits a placeholder paragraph instead).
513 Node::Formula { latex, .. } => blocks.push(format!("$${latex}$$")),
514 Node::Table(table) => {
515 // docling renders a table's caption as a text line before the grid.
516 // `caption` is already escaped (backend convention), like a paragraph.
517 if let Some(cap) = &table.caption {
518 if !cap.is_empty() {
519 blocks.push(md_line_breaks(&strict_text(cap, ctx.strict)));
520 }
521 }
522 let rendered = render_table(table, ctx.compact_tables);
523 if !rendered.is_empty() {
524 blocks.push(rendered);
525 }
526 }
527 // Classification predictions don't affect docling's Markdown output.
528 Node::Picture { caption, image, .. } => {
529 if let Some(cap) = caption {
530 if !cap.is_empty() {
531 blocks.push(md_line_breaks(cap));
532 }
533 }
534 blocks.push(picture_marker(image.as_ref(), ctx));
535 }
536 // A chart renders as docling's picture-with-meta markdown: the caption,
537 // the placeholder, the humanized classification ("line_chart" ->
538 // "Line chart"), then the chart's data grid as a regular table.
539 Node::Chart {
540 kind,
541 table,
542 caption,
543 ..
544 } => {
545 if let Some(cap) = caption {
546 if !cap.is_empty() {
547 blocks.push(md_line_breaks(cap));
548 }
549 }
550 blocks.push(picture_marker(None, ctx));
551 blocks.push(humanize_label(kind));
552 let rendered = render_table(table, false);
553 if !rendered.is_empty() {
554 blocks.push(rendered);
555 }
556 }
557 // A DocLang-only node is omitted from Markdown.
558 Node::DoclangOnly(_) => {}
559 Node::Group { children, .. } => render(children, blocks, ctx),
560 Node::FieldRegion { items } => {
561 // The region container and each field item carry no text of their
562 // own; docling-core 2.93 (#724) serializes them to nothing (older
563 // releases emitted a `<!-- missing-text -->` marker for each), so
564 // only an item's marker/key/value appear, as separate paragraphs.
565 for item in items {
566 for part in [&item.marker, &item.key, &item.value].into_iter().flatten() {
567 blocks.push(md_line_breaks(&strict_text(part, ctx.strict)));
568 }
569 }
570 }
571 // A rich inline group renders exactly like a paragraph of its Markdown
572 // text — the structured runs are DocLang-only.
573 Node::InlineGroup { md_text, .. } => {
574 blocks.push(md_line_breaks(&strict_text(md_text, ctx.strict)))
575 }
576 // A plain-text backend dump renders verbatim as a single block.
577 Node::TextDump(text) => {
578 if !text.is_empty() {
579 blocks.push(text.clone());
580 }
581 }
582 // Furniture (page headers/footers, HTML `<title>`) is excluded from
583 // Markdown by default, mirroring docling.
584 Node::Furniture { .. } => {}
585 Node::PageFurniture { .. } => {}
586 // Layout provenance is DocLang-only; render the wrapped node.
587 Node::Located { inner, .. } => render_one(inner, blocks, ctx),
588 // Page breaks are DocLang-only; docling omits them from Markdown.
589 Node::PageBreak => {}
590 // Page markers feed the JSON export only.
591 Node::PageInfo { .. } => {}
592 // Runs of adjacent list items are merged by `render`; a stray single
593 // item (a hand-built document, or a `Located` wrapper around one)
594 // still renders as its own one-item list instead of panicking —
595 // `nodes` is public API, so every representable tree must serialize.
596 Node::ListItem { .. } => render_list_run(std::slice::from_ref(node), blocks, ctx.strict),
597 }
598}
599
600/// The Markdown for a picture under the active [`ImageMode`]; Referenced mode also
601/// records the bytes in `ctx.artifacts` for the caller to write.
602/// docling-core's `_humanize_text`: underscores to spaces, first letter
603/// capitalized ("line_chart" -> "Line chart").
604fn humanize_label(label: &str) -> String {
605 let text = label.replace('_', " ");
606 let mut chars = text.chars();
607 match chars.next() {
608 Some(f) => f.to_uppercase().collect::<String>() + chars.as_str(),
609 None => text,
610 }
611}
612
613fn picture_marker(image: Option<&crate::PictureImage>, ctx: &mut Ctx) -> String {
614 match (ctx.images, image) {
615 (ImageMode::Embedded, Some(img)) => format!("", img.data_uri()),
616 (ImageMode::Referenced, Some(img)) => {
617 let path = format!(
618 "{}/image_{:06}.{}",
619 ctx.artifacts_dir,
620 ctx.pic_index,
621 ext_for(&img.mimetype)
622 );
623 ctx.pic_index += 1;
624 ctx.artifacts.push((path.clone(), img.data.clone()));
625 format!("")
626 }
627 // Placeholder, or any mode with no extracted image.
628 _ => "<!-- image -->".to_string(),
629 }
630}
631
632fn ext_for(mimetype: &str) -> &str {
633 match mimetype {
634 "image/jpeg" => "jpg",
635 "image/gif" => "gif",
636 "image/webp" => "webp",
637 "image/bmp" => "bmp",
638 "image/tiff" => "tif",
639 _ => "png",
640 }
641}
642
643/// Render a table. `compact` selects between two serializers:
644///
645/// - **padded** (default) — docling-core's `tabulate(tablefmt="github")`: columns
646/// are padded to a fixed width (header width + a minimum padding of 2, or the
647/// widest data cell); numeric columns (every data cell parses as a number) are
648/// right-aligned, others left-aligned; separators are plain dashes of
649/// `width + 2`. Matches current published docling (DOCX/HTML conformance).
650/// - **compact** — `| a | b |` cells with single-dash `| - | - |` separators, no
651/// width padding. Matches the committed PDF groundtruth corpus, which predates
652/// the padded serializer.
653///
654/// Each cell is first escaped (`\n` → space, `|` → `|`) so it can't break the
655/// table. Row 0 is the header.
656/// Whether a table cell counts as a number for column alignment, matching
657/// `tabulate`'s detection: an ordinary float/int (`f64`-parseable, covering
658/// `1e2`/`inf`/`+1.5`) **or** a thousands-separated number like `7,015`.
659fn is_number_cell(t: &str) -> bool {
660 t.parse::<f64>().is_ok() || is_thousands_number(t)
661}
662
663/// A number with comma thousands-separators, per `tabulate`'s
664/// `_float_with_thousands_separators` regex
665/// (`^(([+-]?[0-9]{1,3})(?:,([0-9]{3}))*)?(?(1)\.[0-9]*|\.[0-9]+)?$`): the
666/// integer part is 1–3 digits then any number of `,ddd` groups; the fraction is
667/// optional (and, without an integer part, must have at least one digit).
668fn is_thousands_number(t: &str) -> bool {
669 let b = t.as_bytes();
670 let mut i = 0;
671 let start = i;
672 if i < b.len() && (b[i] == b'+' || b[i] == b'-') {
673 i += 1;
674 }
675 // First digit chunk: 1–3 digits.
676 let d0 = i;
677 while i < b.len() && b[i].is_ascii_digit() && i - d0 < 3 {
678 i += 1;
679 }
680 let has_int = i > d0;
681 if has_int {
682 // Subsequent `,ddd` groups (exactly three digits each).
683 while i + 3 < b.len() + 1
684 && b.get(i) == Some(&b',')
685 && b.get(i + 1).is_some_and(u8::is_ascii_digit)
686 && b.get(i + 2).is_some_and(u8::is_ascii_digit)
687 && b.get(i + 3).is_some_and(u8::is_ascii_digit)
688 {
689 i += 4;
690 }
691 } else {
692 // A sign only counts with an integer part.
693 i = start;
694 }
695 // Optional fraction.
696 if i < b.len() && b[i] == b'.' {
697 i += 1;
698 let f0 = i;
699 while i < b.len() && b[i].is_ascii_digit() {
700 i += 1;
701 }
702 if !has_int && i == f0 {
703 return false; // `.` with no digits and no integer part
704 }
705 } else if !has_int {
706 return false; // neither integer nor fractional part
707 }
708 i == b.len()
709}
710
711pub(crate) fn render_table(table: &Table, compact: bool) -> String {
712 if table.rows.is_empty() {
713 return String::new();
714 }
715 let num_cols = table.rows.iter().map(Vec::len).max().unwrap_or(0);
716 if num_cols == 0 {
717 return String::new();
718 }
719
720 // Escaped, rectangular grid (ragged rows padded with empty cells). `tabulate`
721 // strips data cells of surrounding whitespace but leaves the header row as-is.
722 let grid: Vec<Vec<String>> = table
723 .rows
724 .iter()
725 .enumerate()
726 .map(|(r, row)| {
727 (0..num_cols)
728 .map(|c| {
729 let cell = escape_cell(row.get(c).map(String::as_str).unwrap_or(""));
730 if r == 0 {
731 cell
732 } else {
733 cell.trim().to_string()
734 }
735 })
736 .collect()
737 })
738 .collect();
739
740 if compact {
741 // Compact: cells joined by " | ", no padding, single-dash separators.
742 let render_row = |r: usize| -> String { format!("| {} |", grid[r].join(" | ")) };
743 let mut lines = Vec::with_capacity(grid.len() + 1);
744 lines.push(render_row(0));
745 let sep: Vec<&str> = (0..num_cols).map(|_| "-").collect();
746 lines.push(format!("| {} |", sep.join(" | ")));
747 for r in 1..grid.len() {
748 lines.push(render_row(r));
749 }
750 return lines.join("\n");
751 }
752
753 // Display width (Unicode scalar count — good enough for now).
754 let dw = |s: &str| s.chars().count();
755 let data_rows = 1..grid.len();
756
757 // A column is right-aligned when at least one data cell is numeric and every
758 // non-empty data cell is numeric — matching `tabulate`'s column typing, where
759 // empty cells are "missing" (ignored) and a number may carry thousands
760 // separators (`7,015`), which a plain `f64` parse rejects.
761 let right: Vec<bool> = (0..num_cols)
762 .map(|c| {
763 let mut any = false;
764 for r in data_rows.clone() {
765 let t = grid[r][c].trim();
766 if t.is_empty() {
767 continue;
768 }
769 if !is_number_cell(t) {
770 return false;
771 }
772 any = true;
773 }
774 any
775 })
776 .collect();
777
778 // Column width = max(header_width + MIN_PADDING(2), max data-cell width).
779 let width: Vec<usize> = (0..num_cols)
780 .map(|c| {
781 let mut w = dw(&grid[0][c]) + 2;
782 for r in data_rows.clone() {
783 w = w.max(dw(&grid[r][c]));
784 }
785 w
786 })
787 .collect();
788
789 let fmt_cell = |s: &str, c: usize| -> String {
790 let pad = " ".repeat(width[c].saturating_sub(dw(s)));
791 let body = if right[c] {
792 format!("{pad}{s}")
793 } else {
794 format!("{s}{pad}")
795 };
796 format!(" {body} ")
797 };
798 let render_row = |r: usize| -> String {
799 let cells: Vec<String> = (0..num_cols).map(|c| fmt_cell(&grid[r][c], c)).collect();
800 format!("|{}|", cells.join("|"))
801 };
802
803 let mut lines = Vec::with_capacity(grid.len() + 1);
804 lines.push(render_row(0));
805 let sep: Vec<String> = (0..num_cols).map(|c| "-".repeat(width[c] + 2)).collect();
806 lines.push(format!("|{}|", sep.join("|")));
807 for r in data_rows {
808 lines.push(render_row(r));
809 }
810 lines.join("\n")
811}
812
813/// Escape a table cell so it can't break the markdown table: newlines become
814/// spaces and pipes become the `|` HTML entity (matches docling-core).
815fn escape_cell(s: &str) -> String {
816 s.replace('\n', " ").replace('|', "|")
817}
818
819#[cfg(test)]
820mod tests {
821 use super::*;
822 use crate::PictureImage;
823
824 #[test]
825 fn renders_headings_paragraphs_and_lists() {
826 let mut doc = DoclingDocument::new("demo");
827 doc.add_heading(1, "Title");
828 doc.add_paragraph("Hello world.");
829 doc.push(Node::ListItem {
830 ordered: false,
831 number: 1,
832 first_in_list: true,
833 text: "first".into(),
834 level: 0,
835 marker: None,
836 location: None,
837 dclx: None,
838 href: None,
839 layer: None,
840 });
841 doc.push(Node::ListItem {
842 ordered: false,
843 number: 2,
844 first_in_list: false,
845 text: "second".into(),
846 level: 0,
847 marker: None,
848 location: None,
849 dclx: None,
850 href: None,
851 layer: None,
852 });
853 let md = doc.export_to_markdown();
854 assert_eq!(md, "# Title\n\nHello world.\n\n- first\n- second\n");
855 }
856
857 /// docling-core 2.92 (#721): a single newline inside an item's text is a
858 /// GFM hard line break, a blank line stays a paragraph break, and a heading
859 /// collapses its newline to a space. Nested-table dumps stay verbatim.
860 #[test]
861 fn single_newlines_become_gfm_hard_line_breaks() {
862 let mut doc = DoclingDocument::new("t");
863 doc.push(Node::Heading {
864 level: 1,
865 text: "Hello\nWorld".into(),
866 });
867 doc.push(Node::Paragraph {
868 text: "line one\nline two\n\npara two".into(),
869 });
870 doc.push(Node::ListItem {
871 ordered: false,
872 number: 1,
873 first_in_list: true,
874 text: "item\ncontinued".into(),
875 level: 0,
876 marker: None,
877 location: None,
878 dclx: None,
879 href: None,
880 layer: None,
881 });
882 doc.push(Node::TextDump("A1 B1 \n\n\nC1".into()));
883 assert_eq!(
884 doc.export_to_markdown(),
885 "# Hello World\n\nline one \nline two\n\npara two\n\n- item \ncontinued\n\nA1 B1 \n\n\nC1\n"
886 );
887 }
888
889 /// docling-core#540: inside a rich table cell a heading is plain text;
890 /// docling-core#724: a field region renders only its items' key/value text.
891 #[test]
892 fn table_cell_mode_and_field_regions() {
893 let mut doc = DoclingDocument::new("t");
894 doc.push(Node::Heading {
895 level: 2,
896 text: "A text".into(),
897 });
898 doc.push(Node::Paragraph {
899 text: "body".into(),
900 });
901 assert_eq!(to_markdown_table_cell(&doc, false), "A text\n\nbody");
902 assert_eq!(doc.export_to_markdown(), "## A text\n\nbody\n");
903
904 let mut doc = DoclingDocument::new("f");
905 doc.push(Node::FieldRegion {
906 items: vec![crate::FieldItem {
907 marker: None,
908 key: Some("Name:".into()),
909 value: Some("John Doe".into()),
910 }],
911 });
912 assert_eq!(doc.export_to_markdown(), "Name:\n\nJohn Doe\n");
913 }
914
915 #[test]
916 fn strict_renders_recovered_links_legacy_does_not() {
917 let mut doc = DoclingDocument::new("cv");
918 doc.add_paragraph("Find me on LinkedIn or GitHub.");
919 doc.links = vec![
920 ("LinkedIn".into(), "https://www.linkedin.com/in/x/".into()),
921 ("GitHub".into(), "https://github.com/x/".into()),
922 ];
923 // Legacy/docling mode: links are left untouched (conformance preserved).
924 assert_eq!(doc.export_to_markdown(), "Find me on LinkedIn or GitHub.\n");
925 // Strict mode: anchors become Markdown links.
926 assert_eq!(
927 doc.export_to_markdown_with(true),
928 "Find me on [LinkedIn](https://www.linkedin.com/in/x/) or [GitHub](https://github.com/x/).\n"
929 );
930 }
931
932 #[test]
933 fn strict_links_match_escaped_anchor_and_consume_in_order() {
934 let mut doc = DoclingDocument::new("d");
935 // The PDF assembler HTML-escapes prose, so by serialization time the body
936 // already carries `&`; the anchor is stored un-escaped. The matcher must
937 // escape the anchor to find it. Two identical anchors link in document order.
938 doc.add_paragraph("AI & ML here, and issues here, then issues there.");
939 doc.links = vec![
940 ("AI & ML".into(), "https://a/".into()),
941 ("issues".into(), "https://first/".into()),
942 ("issues".into(), "https://second/".into()),
943 ];
944 assert_eq!(
945 doc.export_to_markdown_with(true),
946 "[AI & ML](https://a/) here, and [issues](https://first/) here, then [issues](https://second/) there.\n"
947 );
948 }
949
950 #[test]
951 fn renders_compact_table() {
952 let mut doc = DoclingDocument::new("t");
953 // The compact form is opt-in (the PDF backend sets it); default output uses
954 // the padded GitHub serializer (covered by the regression fixtures).
955 doc.compact_tables = true;
956 doc.push(Node::Table(Table {
957 rows: vec![vec!["a".into(), "b".into()], vec!["1".into(), "2".into()]],
958 location: None,
959 structure: None,
960 cell_blocks: None,
961 cells: None,
962 caption: None,
963 }));
964 let md = doc.export_to_markdown();
965 assert_eq!(md, "| a | b |\n| - | - |\n| 1 | 2 |\n");
966 }
967
968 #[test]
969 fn renders_padded_github_table_by_default() {
970 let mut doc = DoclingDocument::new("t");
971 doc.push(Node::Table(Table {
972 rows: vec![vec!["a".into(), "b".into()], vec!["1".into(), "2".into()]],
973 location: None,
974 structure: None,
975 cell_blocks: None,
976 cells: None,
977 caption: None,
978 }));
979 let md = doc.export_to_markdown();
980 // Numeric data columns are right-aligned; columns padded to header+2.
981 assert_eq!(md, "| a | b |\n|-----|-----|\n| 1 | 2 |\n");
982 }
983
984 #[test]
985 fn strict_unescapes_inline_underscores_legacy_keeps_them() {
986 let mut doc = DoclingDocument::new("t");
987 doc.add_heading(1, "a\\_b");
988 doc.add_paragraph("x\\_y");
989 doc.push(Node::ListItem {
990 ordered: false,
991 number: 1,
992 first_in_list: true,
993 text: "i\\_j".into(),
994 level: 0,
995 marker: None,
996 location: None,
997 dclx: None,
998 href: None,
999 layer: None,
1000 });
1001 // Legacy reproduces docling's `\_` escaping byte-for-byte.
1002 assert_eq!(doc.export_to_markdown(), "# a\\_b\n\nx\\_y\n\n- i\\_j\n");
1003 // Strict prefers literal underscores (Rust-only readability mode).
1004 assert_eq!(doc.export_to_markdown_with(true), "# a_b\n\nx_y\n\n- i_j\n");
1005 }
1006
1007 /// Drive a document's nodes through [`MarkdownStreamer`] in the given page
1008 /// splits and assert the concatenated chunks equal the buffered serializer.
1009 fn assert_stream_matches(
1010 doc: &DoclingDocument,
1011 strict: bool,
1012 images: ImageMode,
1013 splits: &[usize],
1014 ) {
1015 let (want, want_artifacts) = to_markdown_images(doc, strict, images, "artifacts");
1016 let mut streamer =
1017 MarkdownStreamer::with_artifacts(strict, images, doc.compact_tables, "artifacts");
1018 let mut got = String::new();
1019 let mut got_artifacts = Vec::new();
1020 let mut start = 0;
1021 for &end in splits {
1022 // Links only matter in strict mode; feed them all with the first batch
1023 // that has content (document order is preserved by the queue).
1024 let links = if start == 0 {
1025 doc.links.as_slice()
1026 } else {
1027 &[]
1028 };
1029 got.push_str(&streamer.push(&doc.nodes[start..end], links));
1030 // Referenced mode: drain per push, as a real caller writing files
1031 // page by page would — numbering must continue across drains.
1032 got_artifacts.extend(streamer.take_artifacts());
1033 start = end;
1034 }
1035 got.push_str(&streamer.push(
1036 &doc.nodes[start..],
1037 if start == 0 {
1038 doc.links.as_slice()
1039 } else {
1040 &[]
1041 },
1042 ));
1043 got_artifacts.extend(streamer.take_artifacts());
1044 got.push_str(&streamer.finish());
1045 assert_eq!(
1046 got, want,
1047 "streamed output diverged (splits={splits:?}, strict={strict})"
1048 );
1049 assert_eq!(
1050 got_artifacts, want_artifacts,
1051 "streamed artifacts diverged (splits={splits:?}, strict={strict})"
1052 );
1053 }
1054
1055 #[test]
1056 fn streaming_is_byte_identical_to_buffered() {
1057 let mut doc = DoclingDocument::new("d");
1058 doc.add_heading(1, "Title");
1059 doc.add_paragraph("First paragraph.");
1060 doc.push(Node::ListItem {
1061 ordered: false,
1062 number: 1,
1063 first_in_list: true,
1064 text: "a".into(),
1065 level: 0,
1066 marker: None,
1067 location: None,
1068 dclx: None,
1069 href: None,
1070 layer: None,
1071 });
1072 doc.push(Node::ListItem {
1073 ordered: false,
1074 number: 2,
1075 first_in_list: false,
1076 text: "b".into(),
1077 level: 0,
1078 marker: None,
1079 location: None,
1080 dclx: None,
1081 href: None,
1082 layer: None,
1083 });
1084 doc.push(Node::Code {
1085 language: Some("rust".into()),
1086 text: "let x = 1;".into(),
1087 orig: None,
1088 pretty: None,
1089 });
1090 doc.push(Node::Table(Table {
1091 rows: vec![vec!["a".into(), "b".into()], vec!["1".into(), "2".into()]],
1092 location: None,
1093 structure: None,
1094 cell_blocks: None,
1095 cells: None,
1096 caption: None,
1097 }));
1098 doc.push(Node::Picture {
1099 caption: Some("Fig 1".into()),
1100 image: Some(PictureImage {
1101 mimetype: "image/png".into(),
1102 width: 2,
1103 height: 2,
1104 data: b"png-one".to_vec(),
1105 }),
1106 classification: None,
1107 });
1108 doc.add_paragraph("Last paragraph.");
1109 // A second embedded picture, so referenced mode must keep numbering
1110 // (`image_000001`) across chunk boundaries.
1111 doc.push(Node::Picture {
1112 caption: None,
1113 image: Some(PictureImage {
1114 mimetype: "image/png".into(),
1115 width: 2,
1116 height: 2,
1117 data: b"png-two".to_vec(),
1118 }),
1119 classification: None,
1120 });
1121
1122 // A run of list items must never straddle a split, so try splits that fall
1123 // on safe block boundaries (the streaming PDF assembler guarantees this).
1124 for &strict in &[false, true] {
1125 for &images in &[
1126 ImageMode::Placeholder,
1127 ImageMode::Embedded,
1128 ImageMode::Referenced,
1129 ] {
1130 for splits in [&[][..], &[1][..], &[2][..], &[4][..], &[1, 4, 6, 7][..]] {
1131 assert_stream_matches(&doc, strict, images, splits);
1132 }
1133 }
1134 }
1135 }
1136
1137 #[test]
1138 fn streaming_applies_recovered_links_in_strict_mode() {
1139 let mut doc = DoclingDocument::new("d");
1140 doc.add_paragraph("See LinkedIn for details.");
1141 doc.add_paragraph("And GitHub too.");
1142 doc.links = vec![
1143 ("LinkedIn".into(), "https://lnkd/".into()),
1144 ("GitHub".into(), "https://gh/".into()),
1145 ];
1146 // The second anchor lives in the second block, so it must be carried across
1147 // the page boundary and placed when that block streams out.
1148 assert_stream_matches(&doc, true, ImageMode::Placeholder, &[1]);
1149 }
1150
1151 #[test]
1152 fn strict_tightens_punctuation_spacing_legacy_keeps_it() {
1153 let mut doc = DoclingDocument::new("t");
1154 doc.add_paragraph("see [ 37 , 36 ] and ( x ) .");
1155 // Legacy keeps docling's spacing byte-for-byte.
1156 assert_eq!(doc.export_to_markdown(), "see [ 37 , 36 ] and ( x ) .\n");
1157 // Strict tightens punctuation for readable Markdown.
1158 assert_eq!(doc.export_to_markdown_with(true), "see [37, 36] and (x).\n");
1159 }
1160}