Skip to content

Core Concepts โ€‹

Understanding how Incremark works helps you use and debug it better.

Incremental Parsing Flow โ€‹

โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚                        Input Stream                           โ”‚
โ”‚  "# Title" โ†’ "\n\nCon" โ†’ "tent\n" โ†’ "\n## Sub" โ†’ "title"     โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜
                              โ”‚
                              โ–ผ
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚                      Buffer                                   โ”‚
โ”‚  "# Title\n\nContent\n\n## Subtitle"                         โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜
                              โ”‚
                              โ–ผ
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚                    Boundary Detection                         โ”‚
โ”‚  Line-by-line scanning to identify block boundaries:         โ”‚
โ”‚  - Empty lines separate paragraphs                           โ”‚
โ”‚  - Heading lines form independent blocks                     โ”‚
โ”‚  - Code fences ``` must be paired                            โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜
                              โ”‚
              โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”ดโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
              โ–ผ                               โ–ผ
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”     โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚    Completed Blocks      โ”‚     โ”‚    Pending Blocks       โ”‚
โ”‚  โ€ข Never re-parsed       โ”‚     โ”‚  โ€ข Re-parsed on append  โ”‚
โ”‚  โ€ข Nodes can be reused   โ”‚     โ”‚  โ€ข May be incomplete    โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜     โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜

Block States โ€‹

Each parsed block has three possible states:

StateDescriptionHandling
pendingBeing received, may be incompleteRe-parsed on each append
stablePossibly complete, but subsequent chunks may change itCached but not confirmed
completedConfirmed complete, won't changePermanently cached, no further processing

Boundary Detection Rules โ€‹

Incremark uses heuristic rules to detect block boundaries:

Simple Blocks โ€‹

  • Empty lines - Separate paragraphs
  • Headings (#) - Form independent blocks
  • Thematic breaks (---) - Form independent blocks

Blocks Requiring Closure โ€‹

  • Code blocks (```) - Must wait for closing fence
  • Containers (:::) - Must wait for closing marker

Nested Blocks โ€‹

  • Lists - Track indentation level
  • Blockquotes (>) - Track quote depth
  • Tables - Detect separator line

Context Tracking โ€‹

To correctly handle nested structures, the parser maintains context state:

ts
interface BlockContext {
  inFencedCode: boolean     // Inside code block
  fenceChar?: string        // Code fence character
  fenceLength?: number      // Fence length
  listDepth: number         // List nesting depth
  blockquoteDepth: number   // Quote nesting depth
  inContainer: boolean      // Inside container
  containerDepth: number    // Container nesting depth
}

AST Structure โ€‹

Incremark generates standard MDAST format:

ts
interface Root {
  type: 'root'
  children: RootContent[]
}

// Block-level nodes
type RootContent = 
  | Heading 
  | Paragraph 
  | Code 
  | List 
  | Blockquote 
  | Table 
  | ThematicBreak
  | ...

Performance Optimization โ€‹

Why Fast? โ€‹

  1. Skip completed blocks - O(1) instead of O(n)
  2. Incremental line updates - Only process new lines
  3. Prefix sum optimization - O(1) line offset calculation

Complexity Comparison โ€‹

OperationTraditionalIncremark
Append chunkO(n)O(k)
Total parsingO(nยฒ)O(n)
MemoryRepeated creationIncremental reuse

n = total chars, k = new chars

Next Steps โ€‹

Released under the MIT License.