@ai-markdown/core 3.0.2 → 3.1.0

package/dist/index.d.cts

@@ -50,9 +50,9 @@ interface BlockInfo {
      *   smaller than the container's end — maxEnd alone misses that case);
      * - the explicit dataFootnotes bit closes the degenerate corner where a
      *   swallowed section and later real children tie on both numbers;
-     * - a hash of the swallowed extent's SOURCE (`[ownEnd, maxEnd)`) catches
-     *   an equal-length, equal-shape single-frame replacement of the
-     *   swallowed siblings, which leaves every count unchanged.
+     * - a hash of the swallowed extent's SOURCE (`[ownEnd, maxEnd)`) quickly
+     *   rejects most equal-length, equal-shape replacements. A matching hash
+     *   still requires an exact {@link BlockInfo.swallowedSource} comparison.
      *
      * Markdown-native blocks (paragraph/list/math/code/…) never receive
      * reparented content — every hast descendant derives from their own mdast
@@ -60,6 +60,14 @@ interface BlockInfo {
      * per-frame cost away from huge deterministic subtrees like KaTeX output.
      */
     hastDigest?: string;
+    /**
+     * Exact source in the swallowed interval `[ownEnd, maxEnd)` of a raw-HTML
+     * block. The FNV-1a 32-bit hash in `hastDigest` can collide for different
+     * equal-length contents, so a cache hit must compare this string too.
+     * Empty when the block swallowed no source; absent for markdown-native
+     * blocks. Optional to keep existing public block-plan producers compatible.
+     */
+    swallowedSource?: string;
     /** A raw-HTML container that swallowed the synthesized
      *  `<section data-footnotes>` (rehype-raw reparents the following siblings
      *  into an unclosed `<details>` / `<div>` mid-stream). The footer is then
@@ -474,6 +482,23 @@ interface PipelineFrameOptions {
     /** False for a one-shot server render; no browser-global probe is needed. */
     incrementalParse: boolean;
     defListEnabled: boolean;
+    /** Whether `remarkPlugins` parses GFM task-list items. Default `false`
+     *  (the boundary scanner keeps every `[x]` as reference taint). The
+     *  adapters pass `true` because they build the chain with
+     *  `buildCoreRemarkPlugins`, which always includes remark-gfm. A box
+     *  whose paragraph a `$$` opener closed is released only when
+     *  `mathFlow` is `true` as well. */
+    gfmTaskListItems?: boolean;
+    /** Whether `remarkPlugins` parses `$$` flow math (remark-math). Passed
+     *  through to the engine in all three states: `true` declares it (a
+     *  `$$` region is verbatim math), `false` declares its absence (`$$`
+     *  lines are paragraph text), and omitted leaves it unknown — the
+     *  scanner then takes the union of both grammars, which is correct for
+     *  either chain and freezes less around `$$`. The adapters pass `true`
+     *  because `buildCoreRemarkPlugins` always includes remark-math; a
+     *  caller with its own chain should declare the real value and may
+     *  leave it out when unsure. */
+    mathFlow?: boolean;
     measure?: AdvanceOptions['measure'];
 }
 declare function createPipelineSession(): PipelineSession;

package/dist/index.d.ts

@@ -50,9 +50,9 @@ interface BlockInfo {
      *   smaller than the container's end — maxEnd alone misses that case);
      * - the explicit dataFootnotes bit closes the degenerate corner where a
      *   swallowed section and later real children tie on both numbers;
-     * - a hash of the swallowed extent's SOURCE (`[ownEnd, maxEnd)`) catches
-     *   an equal-length, equal-shape single-frame replacement of the
-     *   swallowed siblings, which leaves every count unchanged.
+     * - a hash of the swallowed extent's SOURCE (`[ownEnd, maxEnd)`) quickly
+     *   rejects most equal-length, equal-shape replacements. A matching hash
+     *   still requires an exact {@link BlockInfo.swallowedSource} comparison.
      *
      * Markdown-native blocks (paragraph/list/math/code/…) never receive
      * reparented content — every hast descendant derives from their own mdast
@@ -60,6 +60,14 @@ interface BlockInfo {
      * per-frame cost away from huge deterministic subtrees like KaTeX output.
      */
     hastDigest?: string;
+    /**
+     * Exact source in the swallowed interval `[ownEnd, maxEnd)` of a raw-HTML
+     * block. The FNV-1a 32-bit hash in `hastDigest` can collide for different
+     * equal-length contents, so a cache hit must compare this string too.
+     * Empty when the block swallowed no source; absent for markdown-native
+     * blocks. Optional to keep existing public block-plan producers compatible.
+     */
+    swallowedSource?: string;
     /** A raw-HTML container that swallowed the synthesized
      *  `<section data-footnotes>` (rehype-raw reparents the following siblings
      *  into an unclosed `<details>` / `<div>` mid-stream). The footer is then
@@ -474,6 +482,23 @@ interface PipelineFrameOptions {
     /** False for a one-shot server render; no browser-global probe is needed. */
     incrementalParse: boolean;
     defListEnabled: boolean;
+    /** Whether `remarkPlugins` parses GFM task-list items. Default `false`
+     *  (the boundary scanner keeps every `[x]` as reference taint). The
+     *  adapters pass `true` because they build the chain with
+     *  `buildCoreRemarkPlugins`, which always includes remark-gfm. A box
+     *  whose paragraph a `$$` opener closed is released only when
+     *  `mathFlow` is `true` as well. */
+    gfmTaskListItems?: boolean;
+    /** Whether `remarkPlugins` parses `$$` flow math (remark-math). Passed
+     *  through to the engine in all three states: `true` declares it (a
+     *  `$$` region is verbatim math), `false` declares its absence (`$$`
+     *  lines are paragraph text), and omitted leaves it unknown — the
+     *  scanner then takes the union of both grammars, which is correct for
+     *  either chain and freezes less around `$$`. The adapters pass `true`
+     *  because `buildCoreRemarkPlugins` always includes remark-math; a
+     *  caller with its own chain should declare the real value and may
+     *  leave it out when unsure. */
+    mathFlow?: boolean;
     measure?: AdvanceOptions['measure'];
 }
 declare function createPipelineSession(): PipelineSession;

package/dist/index.dev.cjs

@@ -266,10 +266,12 @@ function buildBlocks(mdast, hast, source, options = {}) {
       continue;
     }
     let hastDigest;
+    let swallowedSource;
     let swallowedTaint = false;
     if (isRawHtmlBlock) {
       const d = computeHtmlBlockDigestWithExtent(el, source, mdastPos.end.offset);
       hastDigest = d.digest;
+      swallowedSource = source.slice(mdastPos.end.offset, d.maxEnd);
       const first = firstTaintAtOrAfter(mdastPos.end.offset);
       swallowedTaint = first < taintOffsets.length && taintOffsets[first] < d.maxEnd;
     }
@@ -282,6 +284,7 @@ function buildBlocks(mdast, hast, source, options = {}) {
       startColumn: mdastPos.start.column,
       hasReference,
       ...hastDigest !== void 0 ? { hastDigest } : {},
+      ...swallowedSource !== void 0 ? { swallowedSource } : {},
       ...swallowed?.hasFootnoteSection ? { containsFootnoteSection: true } : {},
       ...hasReference ? {
         taintLabels: {
@@ -856,6 +859,9 @@ function createPipelineSession() {
       provenance,
       incrementalParse,
       defListEnabled,
+      gfmTaskListItems = false,
+      // No default: omitted is its own (undeclared) state at the engine.
+      mathFlow,
       measure: measureHere = unmeasured
     }) {
       const phantomDefs = (0, import_engine4.buildPhantomSuffix)(targetPhantoms);
@@ -933,9 +939,13 @@ function createPipelineSession() {
             // already refuses to resume under a different profile, but the
             // retained TREES were still spliced against — a prefix frozen
             // under one profile must not survive into frames under the other.
-            defListEnabled
+            defListEnabled,
+            gfmTaskListItems,
+            mathFlow
           ],
           defListEnabled,
+          gfmTaskListItems,
+          mathFlow,
           phantomSuffix,
           measure: measureHere
         });