@ai-matrx/content-ir 0.12.0 → 0.13.0

package/dist/index.cjs

@@ -5175,6 +5175,29 @@ function normalizeFenceLanguage(language) {
   return CODE_LANGUAGE_ALIASES[lower] ?? lower;
 }
 
+// source/fence-nesting.ts
+var NESTING_FENCE_LANGUAGES = /* @__PURE__ */ new Set([
+  "markdown",
+  "md",
+  "mdx"
+]);
+function fenceNestsInnerFences(language) {
+  return !!language && NESTING_FENCE_LANGUAGES.has(language.toLowerCase());
+}
+function classifyInnerFenceLine(trimmed, openTicks, nests, nestedDepth) {
+  let ticks = 0;
+  while (ticks < trimmed.length && trimmed[ticks] === "`") ticks++;
+  if (ticks < 3) return "content";
+  const info = trimmed.slice(ticks).trim();
+  if (info === "") {
+    if (ticks < openTicks) return "content";
+    if (nests && nestedDepth > 0) return "close-nested";
+    return "close-outer";
+  }
+  if (nests && ticks >= openTicks && !info.includes("`")) return "open-nested";
+  return "content";
+}
+
 // source/math.ts
 var TEX_SIGNAL = /\\[A-Za-z]+|[\\^_{}=<>+]/;
 var LONE_VARIABLE = /^[A-Za-z](?:'|[0-9])?$/;
@@ -5187,8 +5210,9 @@ function isSingleDollarMath(content, after) {
   return TEX_SIGNAL.test(content);
 }
 function singleDollarMathEnd(text, open, limit = text.length) {
+  const bound = Math.min(limit, open + 403);
   let close = -1;
-  for (let k = open + 1; k < limit; k += 1) {
+  for (let k = open + 1; k < bound; k += 1) {
     const c = text[k];
     if (c === "\n") break;
     if (c === "\\") {
@@ -5205,11 +5229,69 @@ function singleDollarMathEnd(text, open, limit = text.length) {
   return isSingleDollarMath(content, text[close + 1]) ? close + 1 : -1;
 }
 
+// source/math-pairs.ts
+var MAX_MATH_SPAN = 600;
+var STRUCTURAL_MARKDOWN = /\]\(|https?:\/\/|\*\*|(?:^|\n)[ \t]{0,3}#{1,6}[ \t]|(?:^|\n)[ \t]*[-*+][ \t]+|(?:^|\n)[ \t]*\d+[.)][ \t]/;
+var LATEX_COMMAND = /\\[a-zA-Z]/;
+var PROSE_WORD = /[A-Za-z]{3,}/g;
+var PROSE_WORD_LIMIT = 6;
+function looksLikeDisplayMath(inner) {
+  const s = inner.trim();
+  if (!s) return false;
+  if (STRUCTURAL_MARKDOWN.test(s)) return false;
+  if (s.length > MAX_MATH_SPAN) return false;
+  if (LATEX_COMMAND.test(s)) {
+    return (s.match(PROSE_WORD) ?? []).length < PROSE_WORD_LIMIT * 3;
+  }
+  if (/\n[ \t]*\n/.test(s)) return false;
+  return (s.match(PROSE_WORD) ?? []).length < PROSE_WORD_LIMIT;
+}
+function codeRanges(text) {
+  const ranges = [];
+  for (const re of [/```[\s\S]*?(?:```|$)/g, /~~~[\s\S]*?(?:~~~|$)/g, /`[^`\n]*`/g]) {
+    let m;
+    while ((m = re.exec(text)) !== null) {
+      ranges.push([m.index, m.index + m[0].length]);
+      if (m[0].length === 0) re.lastIndex++;
+    }
+  }
+  return ranges.sort((a, b) => a[0] - b[0]);
+}
+function pairDisplayMath(text) {
+  const pairs = /* @__PURE__ */ new Map();
+  if (!text.includes("$$")) return pairs;
+  const ranges = codeRanges(text);
+  const tokens = [];
+  let r = 0;
+  let maxEnd = -1;
+  for (let i = text.indexOf("$$"); i !== -1 && i < text.length - 1; i = text.indexOf("$$", i)) {
+    while (r < ranges.length && ranges[r][0] <= i) {
+      maxEnd = Math.max(maxEnd, ranges[r][1]);
+      r++;
+    }
+    if (maxEnd <= i) tokens.push(i);
+    i += 2;
+  }
+  let j = 0;
+  while (j < tokens.length) {
+    const open = tokens[j];
+    const close = tokens[j + 1];
+    if (close === void 0) break;
+    if (looksLikeDisplayMath(text.slice(open + 2, close))) {
+      pairs.set(open, close);
+      j += 2;
+      continue;
+    }
+    j += 1;
+  }
+  return pairs;
+}
+
 // source/xml-tag.ts
 var XML_NAME_START = /[A-Za-z_]/;
 var XML_NAME_CHARACTER = /[\w.:-]/;
 var WHITESPACE = /\s/;
-function readXmlTag(content, start) {
+function readXmlTag(content, start, find = (needle, from) => content.indexOf(needle, from)) {
   let cursor = start + 1;
   const isClosing = content[cursor] === "/";
   if (isClosing) cursor++;
@@ -5262,8 +5344,9 @@ function readXmlTag(content, start) {
     const quote = content[cursor];
     if (quote !== '"' && quote !== "'") return null;
     const valueStart = ++cursor;
-    while (cursor < content.length && content[cursor] !== quote) cursor++;
-    if (cursor === content.length) return null;
+    const valueEnd = find(quote, valueStart);
+    if (valueEnd === -1) return null;
+    cursor = valueEnd;
     attributes.push({ name, value: content.slice(valueStart, cursor) });
     cursor++;
   }
@@ -5482,11 +5565,15 @@ function backtickRunLength(str2, pos) {
   while (pos + n < str2.length && str2[pos + n] === "`") n++;
   return n;
 }
+function isSplitterTreeLine(line) {
+  return TREE_GLYPHS.test(line) || /^[\s│|]*[├└+|][\s─\-]+/.test(line);
+}
 var MEDIA_REF_PREFIXES = ["[Image URL:", "[Video URL:", "[Audio URL:"];
 var Tokenizer = class {
   constructor(text) {
     this.text = text;
     this.n = text.length;
+    this.mathPairs = pairDisplayMath(text);
     let start = 0;
     for (let i = 0; i < text.length; i++) {
       if (text.charCodeAt(i) === 10) {
@@ -5512,6 +5599,34 @@ var Tokenizer = class {
   /** Lazily built: for line i, first line j >= i where brace net from i drops to <= 0. */
   braceStop = null;
   braceNet = null;
+  /** Every occurrence offset of each needle searched so far (overlapping, like indexOf). */
+  occurrences = /* @__PURE__ */ new Map();
+  /** `$$` opener → closer for the pairs the core renders as math. */
+  mathPairs;
+  finder = (needle, from) => this.next(needle, from);
+  /**
+   * `text.indexOf(needle, from)` in O(log k): the first query for a needle
+   * indexes all of its occurrences once, so repeated searches for a closer
+   * that never comes stay linear over the whole text.
+   */
+  next(needle, from) {
+    let list = this.occurrences.get(needle);
+    if (!list) {
+      list = [];
+      for (let at = this.text.indexOf(needle); at !== -1; at = this.text.indexOf(needle, at + 1)) {
+        list.push(at);
+      }
+      this.occurrences.set(needle, list);
+    }
+    let lo = 0;
+    let hi = list.length;
+    while (lo < hi) {
+      const mid = lo + hi >>> 1;
+      if (list[mid] < from) lo = mid + 1;
+      else hi = mid;
+    }
+    return lo < list.length ? list[lo] : -1;
+  }
   get lineCount() {
     return this.lineStarts.length;
   }
@@ -5643,7 +5758,12 @@ var Tokenizer = class {
     }
     return null;
   }
-  /** Backtick fence — the splitter's close rules, JSON-string aware for ```json. */
+  /**
+   * Backtick fence — the renderer splitter's close rules: JSON-string aware for
+   * ```json, and THE nested-fence rule (source/fence-nesting.ts) for markdown
+   * fences, with the splitter's strict-CommonMark retry when a nested fence is
+   * still open at the end of the text.
+   */
   backtickFence(p, li, t) {
     const openTicks = backtickRunLength(t, 0);
     const info = t.slice(openTicks).trim();
@@ -5652,7 +5772,19 @@ var Tokenizer = class {
     const normalized = normalizeFenceLanguage(lang);
     const meta = { fence: "`", ticks: openTicks, lang };
     if (normalized && SPECIAL_CODE_LANGUAGES.has(normalized)) meta.special = normalized;
+    const nesting = fenceNestsInnerFences(lang);
+    let close = this.backtickFenceClose(li, openTicks, isJson, nesting);
+    if (close === "retry-strict") close = this.backtickFenceClose(li, openTicks, isJson, false);
+    if (typeof close === "number") {
+      return this.fenceIsland(p, this.contentEnds[close], true, meta, li, close, isJson);
+    }
+    return this.fenceIsland(p, this.n, false, meta, li, this.lineCount, isJson);
+  }
+  /** The closing line of a backtick fence opened on line `li`, or null when it never closes. */
+  backtickFenceClose(li, openTicks, isJson, nesting) {
     let state = { inString: false, escaped: false };
+    let nestedDepth = 0;
+    let sawNested = false;
     for (let k = li + 1; k < this.lineCount; k++) {
       const line = this.lineText(k);
       const trimmedLine = line.trim();
@@ -5665,11 +5797,13 @@ var Tokenizer = class {
             continue;
           }
         }
-        const closeTicks = backtickRunLength(trimmedLine, 0);
-        const isBare = trimmedLine.slice(closeTicks).trim() === "";
-        if (isBare && closeTicks >= openTicks) {
-          return this.fenceIsland(p, this.contentEnds[k], true, meta, li, k, isJson);
+        const kind = classifyInnerFenceLine(trimmedLine, openTicks, nesting, nestedDepth);
+        if (kind === "close-outer") return k;
+        if (kind === "open-nested") {
+          nestedDepth++;
+          sawNested = true;
         }
+        if (kind === "close-nested") nestedDepth--;
         if (isJson) state = jsonStringState(line, 0, line.length, state);
         continue;
       }
@@ -5684,15 +5818,13 @@ var Tokenizer = class {
         }
         const closeTicks = backtickRunLength(line, at);
         const after = line.slice(at + closeTicks).trim();
-        if (closeTicks >= openTicks && after === "") {
-          return this.fenceIsland(p, this.contentEnds[k], true, meta, li, k, isJson);
-        }
+        if (closeTicks >= openTicks && after === "" && nestedDepth === 0) return k;
         if (isJson) state = jsonStringState(line, 0, line.length, state);
         continue;
       }
       if (isJson) state = jsonStringState(line, 0, line.length, state);
     }
-    return this.fenceIsland(p, this.n, false, meta, li, this.lineCount, isJson);
+    return sawNested && nestedDepth > 0 ? "retry-strict" : null;
   }
   fenceIsland(p, end, complete, meta, openLine, closeLine, isJson) {
     if (isJson && openLine + 1 < this.lineCount) {
@@ -5718,18 +5850,22 @@ var Tokenizer = class {
     }
     return this.island("fence", p, this.n, false, meta);
   }
+  /**
+   * A line-leading `$$` that OPENS a math pair (source/math-pairs.ts — the
+   * core's rule). A closer, an unpaired `$$`, or a prose pair is never a block:
+   * a lone `$$` renders as literal text and locks nothing.
+   */
   mathBlock(p, tp) {
+    const close = this.mathPairs.get(tp);
+    if (close === void 0) return null;
+    const end = close + 2;
     const li = this.lineOf(tp);
     const ce = this.contentEnds[li];
-    const sameLine = this.text.indexOf("$$", tp + 2);
-    if (sameLine !== -1 && sameLine + 2 <= ce) {
-      if (!this.isBlank(sameLine + 2, ce)) return null;
-      if (sameLine === tp + 2) return null;
-      return this.island("math_block", p, sameLine + 2, true, { delimiter: "$$" });
-    }
-    const close = this.text.indexOf("$$", tp + 2);
-    if (close === -1) return this.island("math_block", p, this.n, false, { delimiter: "$$" });
-    return this.island("math_block", p, close + 2, true, { delimiter: "$$" });
+    if (end <= ce && !this.isBlank(end, ce)) return null;
+    const endLine = this.lineOf(close);
+    const endCe = this.contentEnds[endLine];
+    if (endLine !== li && !this.isBlank(end, endCe)) return null;
+    return this.island("math_block", p, end, true, { delimiter: "$$" });
   }
   /** `<artifact …>`, `<decision …>`, … at the start of a line. */
   attributeXml(p, tp, t) {
@@ -5746,7 +5882,7 @@ var Tokenizer = class {
   attributeElement(name, p, tp, type) {
     const li = this.lineOf(tp);
     const ce = this.contentEnds[li];
-    const tag = readXmlTag(this.text, tp);
+    const tag = readXmlTag(this.text, tp, this.finder);
     let openEnd;
     if (tag && !tag.isClosing) {
       if (tag.isSelfClosing) {
@@ -5754,13 +5890,13 @@ var Tokenizer = class {
       }
       openEnd = tp + tag.raw.length;
     } else {
-      const gt = this.text.indexOf(">", tp);
+      const gt = this.next(">", tp);
       if (gt === -1) return this.island(type, p, this.n, false, { tag: name });
       if (gt >= ce) return null;
       openEnd = gt + 1;
     }
     const closer = `</${name}>`;
-    const close = this.text.indexOf(closer, openEnd);
+    const close = this.next(closer, openEnd);
     if (close === -1) return this.island(type, p, this.n, false, { tag: name });
     return this.island(type, p, close + closer.length, true, { tag: name });
   }
@@ -5770,7 +5906,7 @@ var Tokenizer = class {
       const opener = `<${name}>`;
       if (!t.startsWith(opener)) continue;
       const closer = `</${name}>`;
-      const close = this.text.indexOf(closer, tp + opener.length);
+      const close = this.next(closer, tp + opener.length);
       if (close === -1) return this.island("xml_region", p, this.n, false, { tag: name });
       return this.island("xml_region", p, close + closer.length, true, { tag: name });
     }
@@ -5806,7 +5942,7 @@ var Tokenizer = class {
     return null;
   }
   blockComment(p, tp, li) {
-    const close = this.text.indexOf("-->", tp + 4);
+    const close = this.next("-->", tp + 4);
     if (close === -1) return this.island("html_comment", p, this.n, false);
     const end = close + 3;
     const raw = this.text.slice(tp, end);
@@ -5884,9 +6020,8 @@ var Tokenizer = class {
       }
     }
     if (lastLine === null) {
-      const partial = this.text.slice(tp);
-      if (isRecognizedJsonHead(partial)) {
-        return this.island("json", p, this.n, false, jsonMeta(partial));
+      if (isRecognizedJsonHead(this.text.slice(tp, tp + 512))) {
+        return this.island("json", p, this.n, false, jsonMeta(this.text.slice(tp)));
       }
       return null;
     }
@@ -5921,11 +6056,43 @@ var Tokenizer = class {
   // ── prose ──────────────────────────────────────────────────────────────
   paragraph(pos, li) {
     let end = this.contentEnds[li];
+    let breakLine = -1;
     for (let k = li + 1; k < this.lineCount; k++) {
       if (this.lineIsBlank(k)) break;
-      if (this.detectBlock(this.lineStarts[k], k, false)) break;
+      if (this.detectBlock(this.lineStarts[k], k, false)) {
+        breakLine = k;
+        break;
+      }
       end = this.contentEnds[k];
     }
+    if (breakLine !== -1) {
+      const breakIsland = this.detectBlock(this.lineStarts[breakLine], breakLine, false);
+      if (breakIsland?.type === "tree") {
+        let root = breakLine;
+        for (let j = breakLine - 1; j >= li; j--) {
+          const trimmed = this.lineText(j).trim();
+          if (!trimmed || isSplitterTreeLine(trimmed) || /^#{1,6}\s/.test(trimmed)) break;
+          root = j;
+        }
+        if (root < breakLine) {
+          const treeStart = root === li ? pos : this.lineStarts[root];
+          const tree = { ...breakIsland, start: treeStart };
+          if (treeStart > pos) {
+            const proseEnd = this.contentEnds[root - 1];
+            const scan2 = this.scanInline(pos, proseEnd);
+            if (!scan2.breakIsland) {
+              this.push({ kind: "prose", start: pos, end: proseEnd, island: null, inlines: scan2.inlines });
+              this.push({ kind: "gap", start: proseEnd, end: treeStart, island: null, inlines: [] });
+              this.push({ kind: "island", start: treeStart, end: tree.end, island: tree, inlines: [] });
+              return tree.end;
+            }
+          } else {
+            this.push({ kind: "island", start: treeStart, end: tree.end, island: tree, inlines: [] });
+            return tree.end;
+          }
+        }
+      }
+    }
     const scan = this.scanInline(pos, end);
     if (!scan.breakIsland) {
       this.push({ kind: "prose", start: pos, end, island: null, inlines: scan.inlines });
@@ -5958,17 +6125,49 @@ var Tokenizer = class {
     const text = this.text;
     const inlines = [];
     const hasKind = text.slice(ps, pe).includes("__kind");
+    let kindBudget = 4 * (pe - ps) + 65536;
     const stop = (island, orphan = false) => ({ inlines, breakIsland: island, orphan });
+    const within = (needle, from) => {
+      const at = this.next(needle, from);
+      return at !== -1 && at + needle.length <= pe ? at : -1;
+    };
+    let runs = null;
+    const codeSpanClose = (n, from) => {
+      if (!runs) {
+        runs = /* @__PURE__ */ new Map();
+        for (let k = ps; k < pe; ) {
+          if (text.charCodeAt(k) !== 96) {
+            k++;
+            continue;
+          }
+          const len = backtickRunLength(text, k);
+          const list2 = runs.get(len);
+          if (list2) list2.push(k);
+          else runs.set(len, [k]);
+          k += len;
+        }
+      }
+      const list = runs.get(n);
+      if (!list) return -1;
+      let lo = 0;
+      let hi = list.length;
+      while (lo < hi) {
+        const mid = lo + hi >>> 1;
+        if (list[mid] < from) lo = mid + 1;
+        else hi = mid;
+      }
+      const at = list[lo];
+      return at !== void 0 && at + n <= pe ? at : -1;
+    };
     let i = ps;
     while (i < pe) {
       const ch = text[i];
       if (ch === "\\") {
-        const next = text[i + 1];
-        if (next === "(" || next === "[") {
-          const closer = next === "(" ? "\\)" : "\\]";
-          const close = text.indexOf(closer, i + 2);
-          if (close !== -1 && close + 2 <= pe) {
-            inlines.push(this.island("math_inline", i, close + 2, true, { delimiter: next === "(" ? "\\(" : "\\[" }));
+        const nextCh = text[i + 1];
+        if (nextCh === "(" || nextCh === "[") {
+          const close = within(nextCh === "(" ? "\\)" : "\\]", i + 2);
+          if (close !== -1) {
+            inlines.push(this.island("math_inline", i, close + 2, true, { delimiter: nextCh === "(" ? "\\(" : "\\[" }));
             i = close + 2;
             continue;
           }
@@ -5978,33 +6177,20 @@ var Tokenizer = class {
       }
       if (ch === "`") {
         const n = backtickRunLength(text, i);
-        const run = "`".repeat(n);
-        let k = i + n;
-        let close = -1;
-        while (k < pe) {
-          const idx = text.indexOf(run, k);
-          if (idx === -1 || idx >= pe) break;
-          if (text[idx + n] === "`") {
-            let m = idx;
-            while (text[m] === "`") m++;
-            k = m;
-            continue;
-          }
-          close = idx;
-          break;
-        }
+        const close = codeSpanClose(n, i + n);
         i = close === -1 ? i + n : close + n;
         continue;
       }
       if (ch === "$") {
         if (text[i + 1] === "$") {
-          const close = text.indexOf("$$", i + 2);
-          if (close !== -1 && close + 2 <= pe && close > i + 2) {
-            inlines.push(this.island("math_inline", i, close + 2, true, { delimiter: "$$" }));
-            i = close + 2;
-          } else {
+          const close = this.mathPairs.get(i);
+          if (close === void 0) {
             i += 2;
+            continue;
           }
+          if (close + 2 > pe) return stop(this.island("math_block", i, close + 2, true, { delimiter: "$$" }));
+          inlines.push(this.island("math_inline", i, close + 2, true, { delimiter: "$$" }));
+          i = close + 2;
           continue;
         }
         const end = singleDollarMathEnd(text, i, pe);
@@ -6018,7 +6204,7 @@ var Tokenizer = class {
       }
       if (ch === "{") {
         if (text[i + 1] === "{") {
-          const close = text.indexOf("}}", i + 2);
+          const close = this.next("}}", i + 2);
           if (close !== -1 && close + 2 <= pe && close - i <= 200 && !text.slice(i, close).includes("\n")) {
             const raw = text.slice(i, close + 2);
             const strict = STRICT_VARIABLE_RE.exec(raw);
@@ -6031,8 +6217,10 @@ var Tokenizer = class {
           i += 2;
           continue;
         }
-        if (hasKind) {
-          const end = matchingJsonObjectEnd(text, i, pe);
+        if (hasKind && kindBudget > 0 && /^\{\s*"/.test(text.slice(i, i + 64))) {
+          const limit = Math.min(pe, i + 65536);
+          const end = matchingJsonObjectEnd(text, i, limit);
+          kindBudget -= (end ?? limit) - i;
           if (end !== null) {
             const kind = declaredKind(text.slice(i, end));
             if (kind) {
@@ -6048,8 +6236,9 @@ var Tokenizer = class {
       if (ch === "[") {
         const media = MEDIA_REF_PREFIXES.find((prefix) => text.startsWith(prefix, i));
         if (media) {
-          const close = text.indexOf("]", i + media.length);
-          if (close !== -1 && close < pe && !text.slice(i, close).includes("\n")) {
+          const close = within("]", i + media.length);
+          const newline = this.next("\n", i);
+          if (close !== -1 && (newline === -1 || newline > close)) {
             inlines.push(this.island("media_ref", i, close + 1, true, { media: media.slice(1, 6).toLowerCase() }));
             i = close + 1;
             continue;
@@ -6060,10 +6249,10 @@ var Tokenizer = class {
       }
       if (ch === "<") {
         if (text.startsWith("<!--", i)) {
-          const close = text.indexOf("-->", i + 4);
+          const close = this.next("-->", i + 4);
           if (close === -1) return stop(this.island("html_comment", i, this.n, false));
           const end = close + 3;
-          const anchor = PINNED_ANCHOR_RE.exec(text.slice(i, end));
+          const anchor = end - i <= 64 ? PINNED_ANCHOR_RE.exec(text.slice(i, end)) : null;
           const type = anchor ? "anchor" : "html_comment";
           const meta = anchor ? { id: anchor[1] } : {};
           if (end > pe) return stop(this.island(type, i, end, true, meta));
@@ -6077,7 +6266,7 @@ var Tokenizer = class {
           i += cite[0].length;
           continue;
         }
-        const tag = readXmlTag(text, i);
+        const tag = readXmlTag(text, i, this.finder);
         if (tag && i + tag.raw.length <= pe) {
           const name = tag.tagName;
           const tagEnd = i + tag.raw.length;
@@ -6090,7 +6279,7 @@ var Tokenizer = class {
               continue;
             }
             const closer = `</${name}>`;
-            const close = text.indexOf(closer, tagEnd);
+            const close = this.next(closer, tagEnd);
             const blockType = isAttr ? "xml_attr" : "xml_region";
             if (close === -1) return stop(this.island(blockType, i, this.n, false, { tag: name }));
             const end = close + closer.length;
@@ -6114,7 +6303,7 @@ var Tokenizer = class {
         const pending = ATTRIBUTE_XML_NAMES.find(
           (name) => text.startsWith(`<${name}`, i) && /\s/.test(text[i + name.length + 1] ?? "")
         );
-        if (pending && text.indexOf(">", i) === -1) {
+        if (pending && this.next(">", i) === -1) {
           return stop(this.island("xml_attr", i, this.n, false, { tag: pending }));
         }
         i++;
@@ -6205,9 +6394,22 @@ var SourceSpliceError = class extends Error {
 function blockEdit(block, text) {
   return { start: block.start, end: block.end, text };
 }
+function islandEdit(island, text) {
+  return { start: island.start, end: island.end, text, island: true };
+}
 function blockRangeEdit(first, last, text) {
   return { start: first.start, end: last.end, text };
 }
+function locateIsland(text, raw, from, expected, expectedFromEnd) {
+  if (expected >= from && text.startsWith(raw, expected)) return expected;
+  if (expectedFromEnd >= from && text.startsWith(raw, expectedFromEnd)) return expectedFromEnd;
+  const after = text.indexOf(raw, Math.max(from, expected));
+  const before = expected > from ? text.lastIndexOf(raw, expected) : -1;
+  const beforeOk = before >= from ? before : -1;
+  if (after === -1) return beforeOk;
+  if (beforeOk === -1) return after;
+  return expected - beforeOk <= after - expected ? beforeOk : after;
+}
 function commonPrefix(a, b) {
   const max = Math.min(a.length, b.length);
   let i = 0;
@@ -6232,13 +6434,23 @@ function spliceSave(original, edits, options = {}) {
     boundaries.add(block.start);
     boundaries.add(block.end);
   }
+  const islands = listIslands(blocks);
+  const islandAt = /* @__PURE__ */ new Map();
+  for (const island of islands) islandAt.set(`${island.start}:${island.end}`, island);
   const sorted = [...edits].sort((a, b) => a.start - b.start || a.end - b.end);
   let previousEnd = -1;
   for (const edit of sorted) {
     if (edit.start < 0 || edit.end > original.length || edit.start > edit.end) {
       throw new SourceSpliceError("out_of_range", `edit [${edit.start}, ${edit.end}) is outside the text`);
     }
-    if (!boundaries.has(edit.start) || !boundaries.has(edit.end)) {
+    if (edit.island) {
+      if (!islandAt.has(`${edit.start}:${edit.end}`)) {
+        throw new SourceSpliceError(
+          "misaligned",
+          `islandEdit [${edit.start}, ${edit.end}) does not name an island's exact span`
+        );
+      }
+    } else if (!boundaries.has(edit.start) || !boundaries.has(edit.end)) {
       throw new SourceSpliceError(
         "misaligned",
         `edit [${edit.start}, ${edit.end}) does not start and end on block boundaries`
@@ -6250,18 +6462,42 @@ function spliceSave(original, edits, options = {}) {
     previousEnd = edit.end;
   }
   const effective = [];
-  for (const edit of sorted) {
-    const old = original.slice(edit.start, edit.end);
-    if (old === edit.text) continue;
-    const prefix = commonPrefix(old, edit.text);
-    const suffix = commonSuffix(old, edit.text, prefix);
+  const replacedIslands = /* @__PURE__ */ new Set();
+  const pushSegment = (oldStart, oldEnd, replacement) => {
+    const old = original.slice(oldStart, oldEnd);
+    if (old === replacement) return;
+    const prefix = commonPrefix(old, replacement);
+    const suffix = commonSuffix(old, replacement, prefix);
     effective.push({
-      blockStart: edit.start,
-      blockEnd: edit.end,
-      oldStart: edit.start + prefix,
-      oldEnd: edit.end - suffix,
-      replacement: edit.text.slice(prefix, edit.text.length - suffix)
+      oldStart: oldStart + prefix,
+      oldEnd: oldEnd - suffix,
+      replacement: replacement.slice(prefix, replacement.length - suffix)
     });
+  };
+  for (const edit of sorted) {
+    if (edit.island) {
+      replacedIslands.add(`${edit.start}:${edit.end}`);
+      pushSegment(edit.start, edit.end, edit.text);
+      continue;
+    }
+    if (edit.text === original.slice(edit.start, edit.end)) continue;
+    const inside = islands.filter((island) => island.start >= edit.start && island.end <= edit.end);
+    let oldCursor2 = edit.start;
+    let newCursor2 = 0;
+    for (const island of inside) {
+      const at = locateIsland(edit.text, island.raw, newCursor2, newCursor2 + (island.start - oldCursor2), edit.text.length - (edit.end - island.start));
+      if (at === -1) {
+        const name = island.meta.tag ?? island.meta.name ?? island.meta.lang ?? "";
+        throw new SourceSpliceError(
+          "island_edit",
+          `edit [${edit.start}, ${edit.end}) changes or removes the protected ${island.islandType}${name ? ` (${String(name)})` : ""} island at [${island.start}, ${island.end}); islands change only through islandEdit()`
+        );
+      }
+      pushSegment(oldCursor2, island.start, edit.text.slice(newCursor2, at));
+      oldCursor2 = island.end;
+      newCursor2 = at + island.raw.length;
+    }
+    pushSegment(oldCursor2, edit.end, edit.text.slice(newCursor2));
   }
   if (effective.length === 0) {
     return {
@@ -6281,9 +6517,10 @@ function spliceSave(original, edits, options = {}) {
     const newStart = edit.oldStart + delta;
     text += edit.replacement;
     const newEnd = newStart + edit.replacement.length;
+    const owner = sorted.find((e) => e.start <= edit.oldStart && e.end >= edit.oldEnd);
     pending.push({
-      blockStart: edit.blockStart,
-      blockEnd: edit.blockEnd,
+      blockStart: owner?.start ?? edit.oldStart,
+      blockEnd: owner?.end ?? edit.oldEnd,
       oldStart: edit.oldStart,
       oldEnd: edit.oldEnd,
       newStart,
@@ -6321,11 +6558,8 @@ function spliceSave(original, edits, options = {}) {
     else newIslandsByStart.set(island.start, [island.raw]);
   }
   const disturbed = [];
-  for (const island of listIslands(blocks)) {
-    const touched = effective.some(
-      (edit) => island.start < edit.blockEnd && island.end > edit.blockStart
-    );
-    if (touched) continue;
+  for (const island of islands) {
+    if (replacedIslands.has(`${island.start}:${island.end}`)) continue;
     const mappedStart = mapPosition(changes, island.start, { assoc: 1 }).pos;
     const candidates = newIslandsByStart.get(mappedStart);
     if (!candidates || !candidates.includes(island.raw)) {
@@ -6343,10 +6577,11 @@ function spliceSave(original, edits, options = {}) {
     bytesOutsideEditsIdentical,
     disturbed
   };
-  if (options.requireIntegrity && !integrity.ok) {
+  if ((options.requireIntegrity ?? true) && !integrity.ok) {
+    const named = disturbed.slice(0, 5).map((island) => `${island.islandType}@${island.start}`).join(", ");
     throw new SourceSpliceError(
       "integrity",
-      `the edit disturbed ${disturbed.length} protected island(s) outside the edited blocks`
+      `integrity: the save disturbed ${disturbed.length} protected island(s) it did not replace${named ? ` (${named}${disturbed.length > 5 ? ", \u2026" : ""})` : ""}${bytesOutsideEditsIdentical ? "" : "; bytes outside the edits changed"}`
     );
   }
   return { text, changed: true, changes, integrity, blocks: newBlocks };
@@ -6404,6 +6639,7 @@ exports.JsonStreamTokenizer = JsonStreamTokenizer;
 exports.KIND_KEY = KIND_KEY;
 exports.KindStorageError = KindStorageError;
 exports.KindStreamParser = KindStreamParser;
+exports.NESTING_FENCE_LANGUAGES = NESTING_FENCE_LANGUAGES;
 exports.NODE_OUTCOME_KIND = NODE_OUTCOME_KIND;
 exports.ParseSession = ParseSession;
 exports.RESERVED_PREFIX = RESERVED_PREFIX;
@@ -6425,6 +6661,7 @@ exports.buildDirectiveSlug = buildDirectiveSlug;
 exports.buildKindDirective = buildKindDirective;
 exports.capabilityOf = capabilityOf;
 exports.classifyInboundEnvelopeMetadata = classifyInboundEnvelopeMetadata;
+exports.classifyInnerFenceLine = classifyInnerFenceLine;
 exports.collectReferencedKinds = collectReferencedKinds;
 exports.collectSchemaReferencedKinds = collectSchemaReferencedKinds;
 exports.compareWithExistingKindSchema = compareWithExistingKindSchema;
@@ -6444,6 +6681,7 @@ exports.envelopeCacheFromEnvelopes = envelopeCacheFromEnvelopes;
 exports.envelopeFromCompleteValue = envelopeFromCompleteValue;
 exports.executesAtOutputRoot = executesAtOutputRoot;
 exports.fenceDiscriminator = fenceDiscriminator;
+exports.fenceNestsInnerFences = fenceNestsInnerFences;
 exports.fieldsToDbPayload = fieldsToDbPayload;
 exports.fingerprintText = fingerprintText;
 exports.formatBlockLabel = formatBlockLabel;
@@ -6466,6 +6704,7 @@ exports.isReservedDirectiveSlug = isReservedDirectiveSlug;
 exports.isScalarArrayType = isScalarArrayType;
 exports.isSingleDollarMath = isSingleDollarMath;
 exports.isTerminalKindEvent = isTerminalKindEvent;
+exports.islandEdit = islandEdit;
 exports.itemFacts = itemFacts;
 exports.itemSubtitle = itemSubtitle;
 exports.itemTitle = itemTitle;
@@ -6477,6 +6716,7 @@ exports.kindVerdictOf = kindVerdictOf;
 exports.legacyShellUses = legacyShellUses;
 exports.listIslands = listIslands;
 exports.looksLikeDirectiveHead = looksLikeDirectiveHead;
+exports.looksLikeDisplayMath = looksLikeDisplayMath;
 exports.makePartialKindStalenessGate = makePartialKindStalenessGate;
 exports.mapPosition = mapPosition;
 exports.mapRange = mapRange;
@@ -6487,6 +6727,7 @@ exports.nounFamily = nounFamily;
 exports.nounLabel = nounLabel;
 exports.nounTitleColumn = nounTitleColumn;
 exports.openParseSession = openParseSession;
+exports.pairDisplayMath = pairDisplayMath;
 exports.parseDirectiveSlug = parseDirectiveSlug;
 exports.readEnvelope = readEnvelope;
 exports.readNodeOutcomeValue = readNodeOutcomeValue;