yume-dsl-rich-text 1.2.2 → 1.2.3

package/README.md

@@ -801,13 +801,13 @@ const tokens = dsl.parse(input);
 | Category              | Exports                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         |
 |-----------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
 | **Core**              | `parseRichText`, `stripRichText`, `createParser`, `parseStructural`, `printStructural`, `buildZones`                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
-| **Incremental Parsing** | `parseIncremental`, `updateIncremental`, `tryUpdateIncremental`, `createIncrementalSession`                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
+| **Incremental Parsing** | `parseIncremental`, `createIncrementalSession`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |
 | **Configuration**     | `DEFAULT_SYNTAX`, `createEasySyntax`, `createSyntax`, `DEFAULT_TAG_NAME`, `createTagNameConfig`, `createEasyStableId`                                                                                                                                                                                                                                                                                                                                                                                                           |
 | **Handler Helpers**   | `createPipeHandlers`, `createSimpleInlineHandlers`, `createSimpleBlockHandlers`, `createSimpleRawHandlers`, `declareMultilineTags`                                                                                                                                                                                                                                                                                                                                                                                              |
 | **Handler Utilities** | `parsePipeArgs`, `parsePipeTextArgs`, `parsePipeTextList`, `extractText`, `createTextToken`, `splitTokensByPipe`, `materializeTextTokens`, `unescapeInline`, `readEscapedSequence`, `createToken`, `createTokenGuard`                                                                                                                                                                                                                                                                                                           |
 | **Token Traversal**   | `walkTokens`, `mapTokens`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
 | **Position Tracking** | `buildPositionTracker`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
-| **Types**             | `TextToken`, `TokenDraft`, `CreateId`, `DslContext`, `TagHandler`, `TagForm`, `ParseOptions`, `ParserBaseOptions`, `StructuralParseOptions`, `Parser`, `SyntaxInput`, `SyntaxConfig`, `TagNameConfig`, `BlockTagInput`, `MultilineForm`, `ErrorCode`, `ParseError`, `StructuralNode`, `SourcePosition`, `SourceSpan`, `PositionTracker`, `PipeArgs`, `PipeHandlerDefinition`, `EasyStableIdOptions`, `PrintOptions`, `TokenVisitContext`, `WalkVisitor`, `MapVisitor`, `Zone`, `IncrementalDocument`, `IncrementalEdit`, `IncrementalParseOptions`, `IncrementalUpdateErrorCode`, `IncrementalUpdateError`, `IncrementalUpdateResult`, `IncrementalSession`, `IncrementalSessionOptions`, `IncrementalSessionApplyMode`, `IncrementalSessionApplyResult`, `IncrementalSessionFallbackReason`, `IncrementalSessionStrategy`, `NarrowToken`, `NarrowDraft`, `NarrowTokenUnion` |
+| **Types**             | `TextToken`, `TokenDraft`, `CreateId`, `DslContext`, `TagHandler`, `TagForm`, `ParseOptions`, `ParserBaseOptions`, `StructuralParseOptions`, `Parser`, `SyntaxInput`, `SyntaxConfig`, `TagNameConfig`, `BlockTagInput`, `MultilineForm`, `ErrorCode`, `ParseError`, `StructuralNode`, `SourcePosition`, `SourceSpan`, `PositionTracker`, `PipeArgs`, `PipeHandlerDefinition`, `EasyStableIdOptions`, `PrintOptions`, `TokenVisitContext`, `WalkVisitor`, `MapVisitor`, `Zone`, `IncrementalDocument`, `IncrementalEdit`, `IncrementalParseOptions`, `IncrementalSessionOptions`, `NarrowToken`, `NarrowDraft`, `NarrowTokenUnion` |
 
 See the [Exports wiki page](https://github.com/chiba233/yumeDSL/wiki/en-Exports) for full signatures and detailed
 documentation.

package/dist/index.cjs

@@ -56,9 +56,7 @@ __export(index_exports, {
   resetTokenIdSeed: () => resetTokenIdSeed,
   splitTokensByPipe: () => splitTokensByPipe,
   stripRichText: () => stripRichText,
-  tryUpdateIncremental: () => tryUpdateIncremental,
   unescapeInline: () => unescapeInline,
-  updateIncremental: () => updateIncremental,
   walkTokens: () => walkTokens,
   withSyntax: () => withSyntax,
   withTagNameConfig: () => withTagNameConfig
@@ -2252,10 +2250,53 @@ var isIncrementalUpdateError = (error) => {
   const withCode = error;
   return withCode.code === "INVALID_EDIT_RANGE" || withCode.code === "NEW_SOURCE_LENGTH_MISMATCH" || withCode.code === "EDIT_TEXT_MISMATCH" || withCode.code === "UNKNOWN";
 };
+var isPlainObject = (value) => {
+  if (!value || typeof value !== "object") return false;
+  const prototype = Object.getPrototypeOf(value);
+  return prototype === Object.prototype || prototype === null;
+};
+var cloneSnapshotValueInternal = (value, seen) => {
+  if (Array.isArray(value)) {
+    const seenArray = seen.get(value);
+    if (seenArray) return seenArray;
+    const next = new Array(value.length);
+    seen.set(value, next);
+    for (let i = 0; i < value.length; i++) {
+      next[i] = cloneSnapshotValueInternal(value[i], seen);
+    }
+    return next;
+  }
+  if (isPlainObject(value)) {
+    const seenObject = seen.get(value);
+    if (seenObject) return seenObject;
+    const next = {};
+    seen.set(value, next);
+    const keys = Object.keys(value);
+    for (let i = 0; i < keys.length; i++) {
+      const key = keys[i];
+      next[key] = cloneSnapshotValueInternal(value[key], seen);
+    }
+    return next;
+  }
+  return value;
+};
+var cloneSnapshotValue = (value) => cloneSnapshotValueInternal(value, /* @__PURE__ */ new WeakMap());
+var cloneHandlersSnapshot = (handlers) => {
+  if (!handlers) return void 0;
+  const next = {};
+  const keys = Object.keys(handlers);
+  for (let i = 0; i < keys.length; i++) {
+    const key = keys[i];
+    const handler = handlers[key];
+    next[key] = handler ? cloneSnapshotValue(handler) : handler;
+  }
+  return next;
+};
 var cloneParseOptions = (options) => {
   if (!options) return void 0;
   return {
     ...options,
+    handlers: cloneHandlersSnapshot(options.handlers),
     syntax: options.syntax ? { ...options.syntax } : void 0,
     tagName: options.tagName ? { ...options.tagName } : void 0,
     allowForms: options.allowForms ? [...options.allowForms] : void 0
@@ -2272,28 +2313,53 @@ var getObjectIdentity = (value) => {
   objectIdentityMap.set(value, next);
   return next;
 };
+var getIdentityForUnknown = (value) => {
+  if (typeof value === "object" && value !== null || typeof value === "function") {
+    return getObjectIdentity(value);
+  }
+  return 0;
+};
+var buildHandlersShapeFingerprint = (handlers) => {
+  if (!handlers || typeof handlers !== "object") return 0;
+  const record = handlers;
+  const keys = Object.keys(record).sort();
+  let hash = fnvInit();
+  hash = fnvFeedU32(hash, keys.length);
+  for (let i = 0; i < keys.length; i++) {
+    const key = keys[i];
+    const handler = record[key];
+    hash = fnvFeedU32(hash, hashText(key));
+    if (!handler || typeof handler !== "object") continue;
+    const handlerRecord = handler;
+    hash = fnvFeedU32(hash, getIdentityForUnknown(handlerRecord.inline));
+    hash = fnvFeedU32(hash, getIdentityForUnknown(handlerRecord.raw));
+    hash = fnvFeedU32(hash, getIdentityForUnknown(handlerRecord.block));
+  }
+  return hash >>> 0;
+};
+var DEFAULT_PARSE_OPTIONS_FINGERPRINT = fnvFeedU32(fnvInit(), 2654435769);
 var buildParseOptionsFingerprint = (options) => {
-  if (!options) return "default";
+  if (!options) return DEFAULT_PARSE_OPTIONS_FINGERPRINT;
   const syntax = options.syntax ?? {};
   const tagName = options.tagName ?? {};
-  return JSON.stringify({
-    handlersIdentity: getObjectIdentity(options.handlers),
-    allowForms: options.allowForms ?? [],
-    syntax: {
-      tagOpen: syntax.tagOpen ?? "",
-      tagClose: syntax.tagClose ?? "",
-      endTag: syntax.endTag ?? "",
-      tagDivider: syntax.tagDivider ?? "",
-      rawOpen: syntax.rawOpen ?? "",
-      rawClose: syntax.rawClose ?? "",
-      blockOpen: syntax.blockOpen ?? "",
-      blockClose: syntax.blockClose ?? ""
-    },
-    tagName: {
-      startIdentity: getObjectIdentity(tagName.isTagStartChar),
-      charIdentity: getObjectIdentity(tagName.isTagChar)
-    }
-  });
+  const allowForms = options.allowForms ?? [];
+  let hash = fnvInit();
+  hash = fnvFeedU32(hash, buildHandlersShapeFingerprint(options.handlers));
+  hash = fnvFeedU32(hash, allowForms.length);
+  for (let i = 0; i < allowForms.length; i++) {
+    hash = fnvFeedU32(hash, hashText(allowForms[i]));
+  }
+  hash = fnvFeedU32(hash, hashText(syntax.tagOpen ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.tagClose ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.endTag ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.tagDivider ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.rawOpen ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.rawClose ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.blockOpen ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.blockClose ?? ""));
+  hash = fnvFeedU32(hash, getObjectIdentity(tagName.isTagStartChar));
+  hash = fnvFeedU32(hash, getObjectIdentity(tagName.isTagChar));
+  return hash >>> 0;
 };
 var hasUnsafeZoneCoverageTailGap = (doc, edit) => {
   const lastZone = doc.zones[doc.zones.length - 1];
@@ -2318,8 +2384,10 @@ var flattenZones = (zones) => {
   }
   return tree;
 };
+var LEFT_LOOKBEHIND_ZONES = 1;
 var RIGHT_REUSE_PROBE_ZONES = 2;
 var RIGHT_REUSE_PROBE_EXTRA_ZONES = 1;
+var RIGHT_REUSE_PROBE_SIGNATURE_NODE_BUDGET = 4096;
 var NODE_TAG_TEXT = 1;
 var NODE_TAG_ESCAPE = 2;
 var NODE_TAG_SEPARATOR = 3;
@@ -2328,9 +2396,20 @@ var NODE_TAG_RAW = 5;
 var NODE_TAG_BLOCK = 6;
 var ZONE_TAG = 7;
 var zoneSignatureCache = /* @__PURE__ */ new WeakMap();
+var parseOptionsFingerprintCache = /* @__PURE__ */ new WeakMap();
 var incrementalDebugSink;
 var hashText = (value) => fnv1a(value);
-var nodeSignature = (node) => {
+var getCachedOptionsFingerprint = (doc) => parseOptionsFingerprintCache.get(doc);
+var setCachedOptionsFingerprint = (doc, fingerprint) => {
+  parseOptionsFingerprintCache.set(doc, fingerprint);
+};
+var tryConsumeSignatureBudget = (budget) => {
+  if (budget.remaining <= 0) return false;
+  budget.remaining -= 1;
+  return true;
+};
+var nodeSignature = (node, budget) => {
+  if (budget && !tryConsumeSignatureBudget(budget)) return void 0;
   if (node.type === "text") {
     let hash = fnvInit();
     hash = fnvFeedU32(hash, NODE_TAG_TEXT);
@@ -2353,7 +2432,9 @@ var nodeSignature = (node) => {
     hash = fnvFeedU32(hash, NODE_TAG_INLINE);
     hash = fnvFeedU32(hash, hashText(node.tag));
     for (let i = 0; i < node.children.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.children[i]));
+      const childHash = nodeSignature(node.children[i], budget);
+      if (childHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, childHash);
     }
     return hash >>> 0;
   }
@@ -2364,7 +2445,9 @@ var nodeSignature = (node) => {
     hash = fnvFeedU32(hash, node.content.length);
     hash = fnvFeedU32(hash, hashText(node.content));
     for (let i = 0; i < node.args.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.args[i]));
+      const argHash = nodeSignature(node.args[i], budget);
+      if (argHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, argHash);
     }
     return hash >>> 0;
   }
@@ -2373,26 +2456,36 @@ var nodeSignature = (node) => {
     hash = fnvFeedU32(hash, NODE_TAG_BLOCK);
     hash = fnvFeedU32(hash, hashText(node.tag));
     for (let i = 0; i < node.args.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.args[i]));
+      const argHash = nodeSignature(node.args[i], budget);
+      if (argHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, argHash);
     }
     for (let i = 0; i < node.children.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.children[i]));
+      const childHash = nodeSignature(node.children[i], budget);
+      if (childHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, childHash);
     }
     return hash >>> 0;
   }
   return assertUnreachable(node);
 };
-var zoneSignature = (zone) => {
-  const cached = zoneSignatureCache.get(zone);
-  if (cached !== void 0) return cached;
+var zoneSignature = (zone, budget) => {
+  if (!budget) {
+    const cached = zoneSignatureCache.get(zone);
+    if (cached !== void 0) return cached;
+  }
   let hash = fnvInit();
   hash = fnvFeedU32(hash, ZONE_TAG);
   hash = fnvFeedU32(hash, zone.endOffset - zone.startOffset);
   for (let i = 0; i < zone.nodes.length; i++) {
-    hash = fnvFeedU32(hash, nodeSignature(zone.nodes[i]));
+    const signature = nodeSignature(zone.nodes[i], budget);
+    if (signature === void 0) return void 0;
+    hash = fnvFeedU32(hash, signature);
   }
   const finalized = hash >>> 0;
-  zoneSignatureCache.set(zone, finalized);
+  if (!budget) {
+    zoneSignatureCache.set(zone, finalized);
+  }
   return finalized;
 };
 var isSafeRightReuse = (oldRightZones, newSource, seamNewOffset, delta, tracker, parseOptions) => {
@@ -2414,13 +2507,21 @@ var isSafeRightReuse = (oldRightZones, newSource, seamNewOffset, delta, tracker,
   );
   const probeZones = buildZones(probeTree);
   if (probeZones.length < probeZoneCount) return { ok: false, probeSliceBytes: probeLength };
+  const signatureBudget = {
+    remaining: RIGHT_REUSE_PROBE_SIGNATURE_NODE_BUDGET
+  };
   for (let i = 0; i < probeZoneCount; i++) {
     const expected = oldRightZones[i];
     const actual = probeZones[i];
     if (actual.startOffset !== expected.startOffset + delta) return { ok: false, probeSliceBytes: probeLength };
     if (actual.endOffset !== expected.endOffset + delta) return { ok: false, probeSliceBytes: probeLength };
     if (actual.nodes.length !== expected.nodes.length) return { ok: false, probeSliceBytes: probeLength };
-    if (zoneSignature(actual) !== zoneSignature(expected)) return { ok: false, probeSliceBytes: probeLength };
+    const actualSignature = zoneSignature(actual, signatureBudget);
+    if (actualSignature === void 0) return { ok: false, probeSliceBytes: probeLength };
+    const expectedSignature = zoneSignature(expected);
+    if (expectedSignature === void 0 || actualSignature !== expectedSignature) {
+      return { ok: false, probeSliceBytes: probeLength };
+    }
   }
   return { ok: true, probeSliceBytes: probeLength };
 };
@@ -2519,6 +2620,14 @@ var shiftZone = (zone, delta, tracker) => ({
   endOffset: zone.endOffset + delta,
   nodes: zone.nodes.map((node) => shiftNode(node, delta, tracker))
 });
+var shiftZoneWithSignature = (zone, delta, tracker) => {
+  const shifted = shiftZone(zone, delta, tracker);
+  const signature = zoneSignature(zone);
+  if (signature !== void 0) {
+    zoneSignatureCache.set(shifted, signature);
+  }
+  return shifted;
+};
 var findDirtyRange = (zones, edit) => {
   let firstOverlap = -1;
   let lastOverlap = -1;
@@ -2531,7 +2640,7 @@ var findDirtyRange = (zones, edit) => {
   }
   if (firstOverlap !== -1) {
     return {
-      from: Math.max(0, firstOverlap - 1),
+      from: Math.max(0, firstOverlap - LEFT_LOOKBEHIND_ZONES),
       to: Math.min(zones.length - 1, lastOverlap + 1)
     };
   }
@@ -2543,10 +2652,48 @@ var findDirtyRange = (zones, edit) => {
     }
   }
   return {
-    from: Math.max(0, insertionIndex - 1),
+    from: Math.max(0, insertionIndex - LEFT_LOOKBEHIND_ZONES),
     to: Math.min(zones.length - 1, insertionIndex)
   };
 };
+var reparseDirtyWindowUntilStable = (doc, dirtyFrom, dirtyTo, edit, delta, newSource, tracker, parseOptions, cumulativeBudget, cumulativeReparsedBytes) => {
+  let nextDirtyTo = dirtyTo;
+  let nextDirtyZones = [];
+  let nextCumulativeReparsedBytes = cumulativeReparsedBytes;
+  while (true) {
+    const dirtyStartOld = doc.zones[dirtyFrom].startOffset;
+    const dirtyEndOld = doc.zones[nextDirtyTo].endOffset;
+    const dirtyStartNew = mapOldOffsetToNew(edit, delta, dirtyStartOld);
+    const dirtyEndNew = mapOldOffsetToNew(edit, delta, dirtyEndOld);
+    const reparsedWindowSize = dirtyEndNew - dirtyStartNew;
+    nextCumulativeReparsedBytes += reparsedWindowSize;
+    if (nextCumulativeReparsedBytes > cumulativeBudget) {
+      return {
+        budgetExceeded: true,
+        dirtyTo: nextDirtyTo,
+        dirtyZones: nextDirtyZones,
+        cumulativeReparsedBytes: nextCumulativeReparsedBytes
+      };
+    }
+    const dirtyTree = parseWithPositions(
+      newSource.slice(dirtyStartNew, dirtyEndNew),
+      tracker,
+      parseOptions,
+      dirtyStartNew
+    );
+    nextDirtyZones = buildZones(dirtyTree);
+    const reparsedEnd = nextDirtyZones.length > 0 ? nextDirtyZones[nextDirtyZones.length - 1].endOffset : dirtyStartNew;
+    if (reparsedEnd === dirtyEndNew || nextDirtyTo === doc.zones.length - 1) {
+      return {
+        budgetExceeded: false,
+        dirtyTo: nextDirtyTo,
+        dirtyZones: nextDirtyZones,
+        cumulativeReparsedBytes: nextCumulativeReparsedBytes
+      };
+    }
+    nextDirtyTo += 1;
+  }
+};
 var assertValidEdit = (doc, edit, newSource) => {
   if (edit.startOffset < 0 || edit.oldEndOffset < edit.startOffset || edit.oldEndOffset > doc.source.length) {
     throw createIncrementalEditError(
@@ -2573,16 +2720,21 @@ var parseIncremental = (source, options) => {
   const tracker = buildPositionTracker(source);
   const tree = parseWithPositions(source, tracker, options);
   const zones = buildZones(tree);
+  for (let i = 0; i < zones.length; i++) {
+    zoneSignature(zones[i]);
+  }
   const parseOptions = cloneParseOptions(options);
-  return {
+  const fingerprint = buildParseOptionsFingerprint(parseOptions);
+  const doc = {
     source,
     tree,
     zones,
-    parseOptions,
-    optionsFingerprint: buildParseOptionsFingerprint(parseOptions)
+    parseOptions
   };
+  setCachedOptionsFingerprint(doc, fingerprint);
+  return doc;
 };
-var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
+var updateIncrementalInternal = (doc, edit, newSource, options, __internalObserver) => {
   assertValidEdit(doc, edit, newSource);
   let cumulativeReparsedBytes = 0;
   let probeSliceBytes = 0;
@@ -2593,23 +2745,24 @@ var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
       fellBackToFull
     });
   };
-  const parseOptions = options ? cloneParseOptions(options) : doc.parseOptions;
-  const previousOptionsFingerprint = doc.optionsFingerprint ?? buildParseOptionsFingerprint(doc.parseOptions);
-  const nextOptionsFingerprint = buildParseOptionsFingerprint(parseOptions);
+  const previousOptionsFingerprint = getCachedOptionsFingerprint(doc) ?? buildParseOptionsFingerprint(doc.parseOptions);
+  const nextOptionsFingerprint = options ? buildParseOptionsFingerprint(options) : previousOptionsFingerprint;
+  const runtimeParseOptions = options ?? doc.parseOptions;
+  const nextParseOptionsSnapshot = options ? cloneParseOptions(options) : doc.parseOptions;
   if (previousOptionsFingerprint !== nextOptionsFingerprint) {
-    const rebuilt = parseIncremental(newSource, parseOptions);
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
     emitDebug(true);
     __internalObserver?.("internal-full-rebuild");
     return rebuilt;
   }
   if (doc.zones.length === 0) {
-    const rebuilt = parseIncremental(newSource, parseOptions);
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
     emitDebug(true);
     __internalObserver?.("internal-full-rebuild");
     return rebuilt;
   }
   if (hasUnsafeZoneCoverageTailGap(doc, edit)) {
-    const rebuilt = parseIncremental(newSource, parseOptions);
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
     emitDebug(true);
     __internalObserver?.("internal-full-rebuild");
     return rebuilt;
@@ -2618,35 +2771,30 @@ var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
   const cumulativeBudget = Math.max(newSource.length * 2, 1024);
   const delta = newSource.length - doc.source.length;
   const dirty = findDirtyRange(doc.zones, edit);
-  const dirtyFrom = dirty.from;
+  let dirtyFrom = dirty.from;
   let dirtyTo = dirty.to;
   let dirtyZones = [];
-  while (true) {
-    const dirtyStartOld = doc.zones[dirtyFrom].startOffset;
-    const dirtyEndOld = doc.zones[dirtyTo].endOffset;
-    const dirtyStartNew = mapOldOffsetToNew(edit, delta, dirtyStartOld);
-    const dirtyEndNew = mapOldOffsetToNew(edit, delta, dirtyEndOld);
-    const reparsedWindowSize = dirtyEndNew - dirtyStartNew;
-    cumulativeReparsedBytes += reparsedWindowSize;
-    if (cumulativeReparsedBytes > cumulativeBudget) {
-      const rebuilt = parseIncremental(newSource, parseOptions);
-      emitDebug(true);
-      __internalObserver?.("internal-full-rebuild");
-      return rebuilt;
-    }
-    const dirtyTree = parseWithPositions(
-      newSource.slice(dirtyStartNew, dirtyEndNew),
-      newTracker,
-      parseOptions,
-      dirtyStartNew
-    );
-    dirtyZones = buildZones(dirtyTree);
-    const reparsedEnd = dirtyZones.length > 0 ? dirtyZones[dirtyZones.length - 1].endOffset : dirtyStartNew;
-    if (reparsedEnd === dirtyEndNew || dirtyTo === doc.zones.length - 1) {
-      break;
-    }
-    dirtyTo += 1;
+  const firstReparse = reparseDirtyWindowUntilStable(
+    doc,
+    dirtyFrom,
+    dirtyTo,
+    edit,
+    delta,
+    newSource,
+    newTracker,
+    runtimeParseOptions,
+    cumulativeBudget,
+    cumulativeReparsedBytes
+  );
+  cumulativeReparsedBytes = firstReparse.cumulativeReparsedBytes;
+  if (firstReparse.budgetExceeded) {
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
+    emitDebug(true);
+    __internalObserver?.("internal-full-rebuild");
+    return rebuilt;
   }
+  dirtyTo = firstReparse.dirtyTo;
+  dirtyZones = firstReparse.dirtyZones;
   const leftZones = doc.zones.slice(0, dirtyFrom);
   const oldRightZones = doc.zones.slice(dirtyTo + 1);
   if (oldRightZones.length > 0) {
@@ -2658,34 +2806,34 @@ var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
       seamNewOffset,
       delta,
       newTracker,
-      parseOptions
+      runtimeParseOptions
     );
     probeSliceBytes = rightReuseCheck.probeSliceBytes;
     if (!rightReuseCheck.ok) {
-      const rebuilt = parseIncremental(newSource, parseOptions);
+      const rebuilt = parseIncremental(newSource, runtimeParseOptions);
       emitDebug(true);
       __internalObserver?.("internal-full-rebuild");
       return rebuilt;
     }
   }
-  const rightZones = oldRightZones.map((zone) => shiftZone(zone, delta, newTracker));
+  const rightZones = oldRightZones.map((zone) => shiftZoneWithSignature(zone, delta, newTracker));
   const zones = [...leftZones, ...dirtyZones, ...rightZones];
   const updated = {
     source: newSource,
     zones,
     tree: flattenZones(zones),
-    parseOptions,
-    optionsFingerprint: nextOptionsFingerprint
+    parseOptions: nextParseOptionsSnapshot
   };
+  setCachedOptionsFingerprint(updated, nextOptionsFingerprint);
   emitDebug(false);
   __internalObserver?.("incremental");
   return updated;
 };
-var tryUpdateIncremental = (doc, edit, newSource, options, __internalObserver) => {
+var tryUpdateIncrementalInternal = (doc, edit, newSource, options, __internalObserver) => {
   try {
     return {
       ok: true,
-      value: updateIncremental(doc, edit, newSource, options, __internalObserver)
+      value: updateIncrementalInternal(doc, edit, newSource, options, __internalObserver)
     };
   } catch (error) {
     if (isIncrementalUpdateError(error)) {
@@ -2795,17 +2943,28 @@ var createIncrementalSession = (source, options, sessionOptions) => {
       return rebuiltResult2;
     }
     const incrementalStart = now();
-    let lastInternalUpdateMode;
-    const result = tryUpdateIncremental(currentDoc, edit, newSource, nextOptions, (mode) => {
-      lastInternalUpdateMode = mode;
+    let mode;
+    const result = tryUpdateIncrementalInternal(currentDoc, edit, newSource, nextOptions, (nextTelemetry) => {
+      mode = nextTelemetry;
     });
     const incrementalElapsedMs = now() - incrementalStart;
     recordBounded(incrementalDurations, incrementalElapsedMs);
     if (result.ok) {
       currentDoc = result.value;
-      recordBounded(fallbackMarks, lastInternalUpdateMode === "internal-full-rebuild" ? 1 : 0);
+      const internalFullRebuild = mode === "internal-full-rebuild";
+      recordBounded(fallbackMarks, internalFullRebuild ? 1 : 0);
       maybeAdaptPolicy();
-      return { doc: currentDoc, mode: "incremental" };
+      if (internalFullRebuild) {
+        return {
+          doc: currentDoc,
+          mode: "full-fallback",
+          fallbackReason: "INTERNAL_FULL_REBUILD"
+        };
+      }
+      return {
+        doc: currentDoc,
+        mode: "incremental"
+      };
     }
     recordBounded(fallbackMarks, 1);
     const rebuiltResult = runRebuild(newSource, nextOptions, result.error.code);
@@ -2856,9 +3015,7 @@ var createIncrementalSession = (source, options, sessionOptions) => {
   resetTokenIdSeed,
   splitTokensByPipe,
   stripRichText,
-  tryUpdateIncremental,
   unescapeInline,
-  updateIncremental,
   walkTokens,
   withSyntax,
   withTagNameConfig

package/dist/index.d.cts

@@ -322,26 +322,14 @@ interface IncrementalDocument {
     tree: StructuralNode[];
     /** Optional parser config carried forward across updates. */
     parseOptions?: IncrementalParseOptions;
-    /** Internal compatibility fingerprint for parse options. */
-    optionsFingerprint?: string;
 }
 type IncrementalUpdateErrorCode = "INVALID_EDIT_RANGE" | "NEW_SOURCE_LENGTH_MISMATCH" | "EDIT_TEXT_MISMATCH" | "UNKNOWN";
-interface IncrementalUpdateError extends Error {
-    code: IncrementalUpdateErrorCode;
-}
-type IncrementalUpdateResult = {
-    ok: true;
-    value: IncrementalDocument;
-} | {
-    ok: false;
-    error: IncrementalUpdateError;
-};
 /**
  * Result mode returned by the high-level incremental session API.
  */
 type IncrementalSessionApplyMode = "incremental" | "full-fallback";
 type IncrementalSessionStrategy = "auto" | "incremental-only" | "full-only";
-type IncrementalSessionFallbackReason = IncrementalUpdateErrorCode | "FULL_ONLY_STRATEGY" | "AUTO_COOLDOWN" | "AUTO_LARGE_EDIT";
+type IncrementalSessionFallbackReason = IncrementalUpdateErrorCode | "INTERNAL_FULL_REBUILD" | "FULL_ONLY_STRATEGY" | "AUTO_COOLDOWN" | "AUTO_LARGE_EDIT";
 interface IncrementalSessionOptions {
     strategy?: IncrementalSessionStrategy;
     sampleWindowSize?: number;
@@ -825,35 +813,7 @@ declare const createEasyStableId: (options?: EasyStableIdOptions) => CreateId;
  */
 declare const buildZones: (nodes: readonly StructuralNode[]) => Zone[];
 
-type InternalUpdateMode = "incremental" | "internal-full-rebuild";
-type InternalUpdateObserver = (mode: InternalUpdateMode) => void;
 declare const parseIncremental: (source: string, options?: IncrementalParseOptions) => IncrementalDocument;
-/**
- * Update an incremental structural snapshot with one edit and a new full source.
- *
- * @experimental
- * Low-level updater for controlled integration paths.
- * For production applications, prefer `createIncrementalSession(...).applyEdit(...)`,
- * which guarantees fallback to full rebuild on errors.
- *
- * Assumption:
- * - Left boundary stabilization is conservative but fixed to one-zone lookbehind.
- * - Right boundary is expanded until stable (or EOF).
- *
- * If your edit may invalidate parsing state further left than one zone, prefer a full
- * rebuild via `parseIncremental(newSource, options)` for correctness.
- *
- * @internal `__internalObserver` is for session-level telemetry only.
- */
-declare const updateIncremental: (doc: IncrementalDocument, edit: IncrementalEdit, newSource: string, options?: IncrementalParseOptions, __internalObserver?: InternalUpdateObserver) => IncrementalDocument;
-/**
- * @experimental
- * Low-level result-style updater.
- * For production applications, prefer `createIncrementalSession(...).applyEdit(...)`.
- *
- * @internal `__internalObserver` is for session-level telemetry only.
- */
-declare const tryUpdateIncremental: (doc: IncrementalDocument, edit: IncrementalEdit, newSource: string, options?: IncrementalParseOptions, __internalObserver?: InternalUpdateObserver) => IncrementalUpdateResult;
 declare const createIncrementalSession: (source: string, options?: IncrementalParseOptions, sessionOptions?: IncrementalSessionOptions) => IncrementalSession;
 
-export { type BlockTagInput, type BlockTagLookup, type CreateId, DEFAULT_SYNTAX, DEFAULT_TAG_NAME, type DslContext, type EasyStableIdOptions, type ErrorCode, type IncrementalDocument, type IncrementalEdit, type IncrementalParseOptions, type IncrementalSession, type IncrementalSessionApplyMode, type IncrementalSessionApplyResult, type IncrementalSessionFallbackReason, type IncrementalSessionOptions, type IncrementalSessionStrategy, type IncrementalUpdateError, type IncrementalUpdateErrorCode, type IncrementalUpdateResult, type MapVisitor, type MultilineForm, type NarrowDraft, type NarrowToken, type NarrowTokenUnion, type ParseError, type ParseOptions, type Parser, type ParserBaseOptions, type PipeArgs, type PipeHandlerDefinition, type PositionTracker, type PrintOptions, type SourcePosition, type SourceSpan, type StructuralNode, type StructuralParseOptions, type SyntaxConfig, type SyntaxInput, type TagForm, type TagHandler, type TagNameConfig, type TextToken, type TokenDraft, type TokenVisitContext, type WalkVisitor, type Zone, buildPositionTracker, buildZones, createEasyStableId, createEasySyntax, createIncrementalSession, createParser, createPassthroughTags, createPipeBlockHandlers, createPipeHandlers, createPipeRawHandlers, createSimpleBlockHandlers, createSimpleInlineHandlers, createSimpleRawHandlers, createSyntax, createTagNameConfig, createTextToken, createToken, createTokenGuard, declareMultilineTags, extractText, getSyntax, mapTokens, materializeTextTokens, parseIncremental, parsePipeArgs, parsePipeTextArgs, parsePipeTextList, parseRichText, parseStructural, printStructural, readEscapedSequence, resetTokenIdSeed, splitTokensByPipe, stripRichText, tryUpdateIncremental, unescapeInline, updateIncremental, walkTokens, withSyntax, withTagNameConfig };
+export { type BlockTagInput, type BlockTagLookup, type CreateId, DEFAULT_SYNTAX, DEFAULT_TAG_NAME, type DslContext, type EasyStableIdOptions, type ErrorCode, type IncrementalDocument, type IncrementalEdit, type IncrementalParseOptions, type IncrementalSessionOptions, type MapVisitor, type MultilineForm, type NarrowDraft, type NarrowToken, type NarrowTokenUnion, type ParseError, type ParseOptions, type Parser, type ParserBaseOptions, type PipeArgs, type PipeHandlerDefinition, type PositionTracker, type PrintOptions, type SourcePosition, type SourceSpan, type StructuralNode, type StructuralParseOptions, type SyntaxConfig, type SyntaxInput, type TagForm, type TagHandler, type TagNameConfig, type TextToken, type TokenDraft, type TokenVisitContext, type WalkVisitor, type Zone, buildPositionTracker, buildZones, createEasyStableId, createEasySyntax, createIncrementalSession, createParser, createPassthroughTags, createPipeBlockHandlers, createPipeHandlers, createPipeRawHandlers, createSimpleBlockHandlers, createSimpleInlineHandlers, createSimpleRawHandlers, createSyntax, createTagNameConfig, createTextToken, createToken, createTokenGuard, declareMultilineTags, extractText, getSyntax, mapTokens, materializeTextTokens, parseIncremental, parsePipeArgs, parsePipeTextArgs, parsePipeTextList, parseRichText, parseStructural, printStructural, readEscapedSequence, resetTokenIdSeed, splitTokensByPipe, stripRichText, unescapeInline, walkTokens, withSyntax, withTagNameConfig };

package/dist/index.d.ts

@@ -322,26 +322,14 @@ interface IncrementalDocument {
     tree: StructuralNode[];
     /** Optional parser config carried forward across updates. */
     parseOptions?: IncrementalParseOptions;
-    /** Internal compatibility fingerprint for parse options. */
-    optionsFingerprint?: string;
 }
 type IncrementalUpdateErrorCode = "INVALID_EDIT_RANGE" | "NEW_SOURCE_LENGTH_MISMATCH" | "EDIT_TEXT_MISMATCH" | "UNKNOWN";
-interface IncrementalUpdateError extends Error {
-    code: IncrementalUpdateErrorCode;
-}
-type IncrementalUpdateResult = {
-    ok: true;
-    value: IncrementalDocument;
-} | {
-    ok: false;
-    error: IncrementalUpdateError;
-};
 /**
  * Result mode returned by the high-level incremental session API.
  */
 type IncrementalSessionApplyMode = "incremental" | "full-fallback";
 type IncrementalSessionStrategy = "auto" | "incremental-only" | "full-only";
-type IncrementalSessionFallbackReason = IncrementalUpdateErrorCode | "FULL_ONLY_STRATEGY" | "AUTO_COOLDOWN" | "AUTO_LARGE_EDIT";
+type IncrementalSessionFallbackReason = IncrementalUpdateErrorCode | "INTERNAL_FULL_REBUILD" | "FULL_ONLY_STRATEGY" | "AUTO_COOLDOWN" | "AUTO_LARGE_EDIT";
 interface IncrementalSessionOptions {
     strategy?: IncrementalSessionStrategy;
     sampleWindowSize?: number;
@@ -825,35 +813,7 @@ declare const createEasyStableId: (options?: EasyStableIdOptions) => CreateId;
  */
 declare const buildZones: (nodes: readonly StructuralNode[]) => Zone[];
 
-type InternalUpdateMode = "incremental" | "internal-full-rebuild";
-type InternalUpdateObserver = (mode: InternalUpdateMode) => void;
 declare const parseIncremental: (source: string, options?: IncrementalParseOptions) => IncrementalDocument;
-/**
- * Update an incremental structural snapshot with one edit and a new full source.
- *
- * @experimental
- * Low-level updater for controlled integration paths.
- * For production applications, prefer `createIncrementalSession(...).applyEdit(...)`,
- * which guarantees fallback to full rebuild on errors.
- *
- * Assumption:
- * - Left boundary stabilization is conservative but fixed to one-zone lookbehind.
- * - Right boundary is expanded until stable (or EOF).
- *
- * If your edit may invalidate parsing state further left than one zone, prefer a full
- * rebuild via `parseIncremental(newSource, options)` for correctness.
- *
- * @internal `__internalObserver` is for session-level telemetry only.
- */
-declare const updateIncremental: (doc: IncrementalDocument, edit: IncrementalEdit, newSource: string, options?: IncrementalParseOptions, __internalObserver?: InternalUpdateObserver) => IncrementalDocument;
-/**
- * @experimental
- * Low-level result-style updater.
- * For production applications, prefer `createIncrementalSession(...).applyEdit(...)`.
- *
- * @internal `__internalObserver` is for session-level telemetry only.
- */
-declare const tryUpdateIncremental: (doc: IncrementalDocument, edit: IncrementalEdit, newSource: string, options?: IncrementalParseOptions, __internalObserver?: InternalUpdateObserver) => IncrementalUpdateResult;
 declare const createIncrementalSession: (source: string, options?: IncrementalParseOptions, sessionOptions?: IncrementalSessionOptions) => IncrementalSession;
 
-export { type BlockTagInput, type BlockTagLookup, type CreateId, DEFAULT_SYNTAX, DEFAULT_TAG_NAME, type DslContext, type EasyStableIdOptions, type ErrorCode, type IncrementalDocument, type IncrementalEdit, type IncrementalParseOptions, type IncrementalSession, type IncrementalSessionApplyMode, type IncrementalSessionApplyResult, type IncrementalSessionFallbackReason, type IncrementalSessionOptions, type IncrementalSessionStrategy, type IncrementalUpdateError, type IncrementalUpdateErrorCode, type IncrementalUpdateResult, type MapVisitor, type MultilineForm, type NarrowDraft, type NarrowToken, type NarrowTokenUnion, type ParseError, type ParseOptions, type Parser, type ParserBaseOptions, type PipeArgs, type PipeHandlerDefinition, type PositionTracker, type PrintOptions, type SourcePosition, type SourceSpan, type StructuralNode, type StructuralParseOptions, type SyntaxConfig, type SyntaxInput, type TagForm, type TagHandler, type TagNameConfig, type TextToken, type TokenDraft, type TokenVisitContext, type WalkVisitor, type Zone, buildPositionTracker, buildZones, createEasyStableId, createEasySyntax, createIncrementalSession, createParser, createPassthroughTags, createPipeBlockHandlers, createPipeHandlers, createPipeRawHandlers, createSimpleBlockHandlers, createSimpleInlineHandlers, createSimpleRawHandlers, createSyntax, createTagNameConfig, createTextToken, createToken, createTokenGuard, declareMultilineTags, extractText, getSyntax, mapTokens, materializeTextTokens, parseIncremental, parsePipeArgs, parsePipeTextArgs, parsePipeTextList, parseRichText, parseStructural, printStructural, readEscapedSequence, resetTokenIdSeed, splitTokensByPipe, stripRichText, tryUpdateIncremental, unescapeInline, updateIncremental, walkTokens, withSyntax, withTagNameConfig };
+export { type BlockTagInput, type BlockTagLookup, type CreateId, DEFAULT_SYNTAX, DEFAULT_TAG_NAME, type DslContext, type EasyStableIdOptions, type ErrorCode, type IncrementalDocument, type IncrementalEdit, type IncrementalParseOptions, type IncrementalSessionOptions, type MapVisitor, type MultilineForm, type NarrowDraft, type NarrowToken, type NarrowTokenUnion, type ParseError, type ParseOptions, type Parser, type ParserBaseOptions, type PipeArgs, type PipeHandlerDefinition, type PositionTracker, type PrintOptions, type SourcePosition, type SourceSpan, type StructuralNode, type StructuralParseOptions, type SyntaxConfig, type SyntaxInput, type TagForm, type TagHandler, type TagNameConfig, type TextToken, type TokenDraft, type TokenVisitContext, type WalkVisitor, type Zone, buildPositionTracker, buildZones, createEasyStableId, createEasySyntax, createIncrementalSession, createParser, createPassthroughTags, createPipeBlockHandlers, createPipeHandlers, createPipeRawHandlers, createSimpleBlockHandlers, createSimpleInlineHandlers, createSimpleRawHandlers, createSyntax, createTagNameConfig, createTextToken, createToken, createTokenGuard, declareMultilineTags, extractText, getSyntax, mapTokens, materializeTextTokens, parseIncremental, parsePipeArgs, parsePipeTextArgs, parsePipeTextList, parseRichText, parseStructural, printStructural, readEscapedSequence, resetTokenIdSeed, splitTokensByPipe, stripRichText, unescapeInline, walkTokens, withSyntax, withTagNameConfig };

package/dist/index.js

@@ -2185,10 +2185,53 @@ var isIncrementalUpdateError = (error) => {
   const withCode = error;
   return withCode.code === "INVALID_EDIT_RANGE" || withCode.code === "NEW_SOURCE_LENGTH_MISMATCH" || withCode.code === "EDIT_TEXT_MISMATCH" || withCode.code === "UNKNOWN";
 };
+var isPlainObject = (value) => {
+  if (!value || typeof value !== "object") return false;
+  const prototype = Object.getPrototypeOf(value);
+  return prototype === Object.prototype || prototype === null;
+};
+var cloneSnapshotValueInternal = (value, seen) => {
+  if (Array.isArray(value)) {
+    const seenArray = seen.get(value);
+    if (seenArray) return seenArray;
+    const next = new Array(value.length);
+    seen.set(value, next);
+    for (let i = 0; i < value.length; i++) {
+      next[i] = cloneSnapshotValueInternal(value[i], seen);
+    }
+    return next;
+  }
+  if (isPlainObject(value)) {
+    const seenObject = seen.get(value);
+    if (seenObject) return seenObject;
+    const next = {};
+    seen.set(value, next);
+    const keys = Object.keys(value);
+    for (let i = 0; i < keys.length; i++) {
+      const key = keys[i];
+      next[key] = cloneSnapshotValueInternal(value[key], seen);
+    }
+    return next;
+  }
+  return value;
+};
+var cloneSnapshotValue = (value) => cloneSnapshotValueInternal(value, /* @__PURE__ */ new WeakMap());
+var cloneHandlersSnapshot = (handlers) => {
+  if (!handlers) return void 0;
+  const next = {};
+  const keys = Object.keys(handlers);
+  for (let i = 0; i < keys.length; i++) {
+    const key = keys[i];
+    const handler = handlers[key];
+    next[key] = handler ? cloneSnapshotValue(handler) : handler;
+  }
+  return next;
+};
 var cloneParseOptions = (options) => {
   if (!options) return void 0;
   return {
     ...options,
+    handlers: cloneHandlersSnapshot(options.handlers),
     syntax: options.syntax ? { ...options.syntax } : void 0,
     tagName: options.tagName ? { ...options.tagName } : void 0,
     allowForms: options.allowForms ? [...options.allowForms] : void 0
@@ -2205,28 +2248,53 @@ var getObjectIdentity = (value) => {
   objectIdentityMap.set(value, next);
   return next;
 };
+var getIdentityForUnknown = (value) => {
+  if (typeof value === "object" && value !== null || typeof value === "function") {
+    return getObjectIdentity(value);
+  }
+  return 0;
+};
+var buildHandlersShapeFingerprint = (handlers) => {
+  if (!handlers || typeof handlers !== "object") return 0;
+  const record = handlers;
+  const keys = Object.keys(record).sort();
+  let hash = fnvInit();
+  hash = fnvFeedU32(hash, keys.length);
+  for (let i = 0; i < keys.length; i++) {
+    const key = keys[i];
+    const handler = record[key];
+    hash = fnvFeedU32(hash, hashText(key));
+    if (!handler || typeof handler !== "object") continue;
+    const handlerRecord = handler;
+    hash = fnvFeedU32(hash, getIdentityForUnknown(handlerRecord.inline));
+    hash = fnvFeedU32(hash, getIdentityForUnknown(handlerRecord.raw));
+    hash = fnvFeedU32(hash, getIdentityForUnknown(handlerRecord.block));
+  }
+  return hash >>> 0;
+};
+var DEFAULT_PARSE_OPTIONS_FINGERPRINT = fnvFeedU32(fnvInit(), 2654435769);
 var buildParseOptionsFingerprint = (options) => {
-  if (!options) return "default";
+  if (!options) return DEFAULT_PARSE_OPTIONS_FINGERPRINT;
   const syntax = options.syntax ?? {};
   const tagName = options.tagName ?? {};
-  return JSON.stringify({
-    handlersIdentity: getObjectIdentity(options.handlers),
-    allowForms: options.allowForms ?? [],
-    syntax: {
-      tagOpen: syntax.tagOpen ?? "",
-      tagClose: syntax.tagClose ?? "",
-      endTag: syntax.endTag ?? "",
-      tagDivider: syntax.tagDivider ?? "",
-      rawOpen: syntax.rawOpen ?? "",
-      rawClose: syntax.rawClose ?? "",
-      blockOpen: syntax.blockOpen ?? "",
-      blockClose: syntax.blockClose ?? ""
-    },
-    tagName: {
-      startIdentity: getObjectIdentity(tagName.isTagStartChar),
-      charIdentity: getObjectIdentity(tagName.isTagChar)
-    }
-  });
+  const allowForms = options.allowForms ?? [];
+  let hash = fnvInit();
+  hash = fnvFeedU32(hash, buildHandlersShapeFingerprint(options.handlers));
+  hash = fnvFeedU32(hash, allowForms.length);
+  for (let i = 0; i < allowForms.length; i++) {
+    hash = fnvFeedU32(hash, hashText(allowForms[i]));
+  }
+  hash = fnvFeedU32(hash, hashText(syntax.tagOpen ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.tagClose ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.endTag ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.tagDivider ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.rawOpen ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.rawClose ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.blockOpen ?? ""));
+  hash = fnvFeedU32(hash, hashText(syntax.blockClose ?? ""));
+  hash = fnvFeedU32(hash, getObjectIdentity(tagName.isTagStartChar));
+  hash = fnvFeedU32(hash, getObjectIdentity(tagName.isTagChar));
+  return hash >>> 0;
 };
 var hasUnsafeZoneCoverageTailGap = (doc, edit) => {
   const lastZone = doc.zones[doc.zones.length - 1];
@@ -2251,8 +2319,10 @@ var flattenZones = (zones) => {
   }
   return tree;
 };
+var LEFT_LOOKBEHIND_ZONES = 1;
 var RIGHT_REUSE_PROBE_ZONES = 2;
 var RIGHT_REUSE_PROBE_EXTRA_ZONES = 1;
+var RIGHT_REUSE_PROBE_SIGNATURE_NODE_BUDGET = 4096;
 var NODE_TAG_TEXT = 1;
 var NODE_TAG_ESCAPE = 2;
 var NODE_TAG_SEPARATOR = 3;
@@ -2261,9 +2331,20 @@ var NODE_TAG_RAW = 5;
 var NODE_TAG_BLOCK = 6;
 var ZONE_TAG = 7;
 var zoneSignatureCache = /* @__PURE__ */ new WeakMap();
+var parseOptionsFingerprintCache = /* @__PURE__ */ new WeakMap();
 var incrementalDebugSink;
 var hashText = (value) => fnv1a(value);
-var nodeSignature = (node) => {
+var getCachedOptionsFingerprint = (doc) => parseOptionsFingerprintCache.get(doc);
+var setCachedOptionsFingerprint = (doc, fingerprint) => {
+  parseOptionsFingerprintCache.set(doc, fingerprint);
+};
+var tryConsumeSignatureBudget = (budget) => {
+  if (budget.remaining <= 0) return false;
+  budget.remaining -= 1;
+  return true;
+};
+var nodeSignature = (node, budget) => {
+  if (budget && !tryConsumeSignatureBudget(budget)) return void 0;
   if (node.type === "text") {
     let hash = fnvInit();
     hash = fnvFeedU32(hash, NODE_TAG_TEXT);
@@ -2286,7 +2367,9 @@ var nodeSignature = (node) => {
     hash = fnvFeedU32(hash, NODE_TAG_INLINE);
     hash = fnvFeedU32(hash, hashText(node.tag));
     for (let i = 0; i < node.children.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.children[i]));
+      const childHash = nodeSignature(node.children[i], budget);
+      if (childHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, childHash);
     }
     return hash >>> 0;
   }
@@ -2297,7 +2380,9 @@ var nodeSignature = (node) => {
     hash = fnvFeedU32(hash, node.content.length);
     hash = fnvFeedU32(hash, hashText(node.content));
     for (let i = 0; i < node.args.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.args[i]));
+      const argHash = nodeSignature(node.args[i], budget);
+      if (argHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, argHash);
     }
     return hash >>> 0;
   }
@@ -2306,26 +2391,36 @@ var nodeSignature = (node) => {
     hash = fnvFeedU32(hash, NODE_TAG_BLOCK);
     hash = fnvFeedU32(hash, hashText(node.tag));
     for (let i = 0; i < node.args.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.args[i]));
+      const argHash = nodeSignature(node.args[i], budget);
+      if (argHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, argHash);
     }
     for (let i = 0; i < node.children.length; i++) {
-      hash = fnvFeedU32(hash, nodeSignature(node.children[i]));
+      const childHash = nodeSignature(node.children[i], budget);
+      if (childHash === void 0) return void 0;
+      hash = fnvFeedU32(hash, childHash);
     }
     return hash >>> 0;
   }
   return assertUnreachable(node);
 };
-var zoneSignature = (zone) => {
-  const cached = zoneSignatureCache.get(zone);
-  if (cached !== void 0) return cached;
+var zoneSignature = (zone, budget) => {
+  if (!budget) {
+    const cached = zoneSignatureCache.get(zone);
+    if (cached !== void 0) return cached;
+  }
   let hash = fnvInit();
   hash = fnvFeedU32(hash, ZONE_TAG);
   hash = fnvFeedU32(hash, zone.endOffset - zone.startOffset);
   for (let i = 0; i < zone.nodes.length; i++) {
-    hash = fnvFeedU32(hash, nodeSignature(zone.nodes[i]));
+    const signature = nodeSignature(zone.nodes[i], budget);
+    if (signature === void 0) return void 0;
+    hash = fnvFeedU32(hash, signature);
   }
   const finalized = hash >>> 0;
-  zoneSignatureCache.set(zone, finalized);
+  if (!budget) {
+    zoneSignatureCache.set(zone, finalized);
+  }
   return finalized;
 };
 var isSafeRightReuse = (oldRightZones, newSource, seamNewOffset, delta, tracker, parseOptions) => {
@@ -2347,13 +2442,21 @@ var isSafeRightReuse = (oldRightZones, newSource, seamNewOffset, delta, tracker,
   );
   const probeZones = buildZones(probeTree);
   if (probeZones.length < probeZoneCount) return { ok: false, probeSliceBytes: probeLength };
+  const signatureBudget = {
+    remaining: RIGHT_REUSE_PROBE_SIGNATURE_NODE_BUDGET
+  };
   for (let i = 0; i < probeZoneCount; i++) {
     const expected = oldRightZones[i];
     const actual = probeZones[i];
     if (actual.startOffset !== expected.startOffset + delta) return { ok: false, probeSliceBytes: probeLength };
     if (actual.endOffset !== expected.endOffset + delta) return { ok: false, probeSliceBytes: probeLength };
     if (actual.nodes.length !== expected.nodes.length) return { ok: false, probeSliceBytes: probeLength };
-    if (zoneSignature(actual) !== zoneSignature(expected)) return { ok: false, probeSliceBytes: probeLength };
+    const actualSignature = zoneSignature(actual, signatureBudget);
+    if (actualSignature === void 0) return { ok: false, probeSliceBytes: probeLength };
+    const expectedSignature = zoneSignature(expected);
+    if (expectedSignature === void 0 || actualSignature !== expectedSignature) {
+      return { ok: false, probeSliceBytes: probeLength };
+    }
   }
   return { ok: true, probeSliceBytes: probeLength };
 };
@@ -2452,6 +2555,14 @@ var shiftZone = (zone, delta, tracker) => ({
   endOffset: zone.endOffset + delta,
   nodes: zone.nodes.map((node) => shiftNode(node, delta, tracker))
 });
+var shiftZoneWithSignature = (zone, delta, tracker) => {
+  const shifted = shiftZone(zone, delta, tracker);
+  const signature = zoneSignature(zone);
+  if (signature !== void 0) {
+    zoneSignatureCache.set(shifted, signature);
+  }
+  return shifted;
+};
 var findDirtyRange = (zones, edit) => {
   let firstOverlap = -1;
   let lastOverlap = -1;
@@ -2464,7 +2575,7 @@ var findDirtyRange = (zones, edit) => {
   }
   if (firstOverlap !== -1) {
     return {
-      from: Math.max(0, firstOverlap - 1),
+      from: Math.max(0, firstOverlap - LEFT_LOOKBEHIND_ZONES),
       to: Math.min(zones.length - 1, lastOverlap + 1)
     };
   }
@@ -2476,10 +2587,48 @@ var findDirtyRange = (zones, edit) => {
     }
   }
   return {
-    from: Math.max(0, insertionIndex - 1),
+    from: Math.max(0, insertionIndex - LEFT_LOOKBEHIND_ZONES),
     to: Math.min(zones.length - 1, insertionIndex)
   };
 };
+var reparseDirtyWindowUntilStable = (doc, dirtyFrom, dirtyTo, edit, delta, newSource, tracker, parseOptions, cumulativeBudget, cumulativeReparsedBytes) => {
+  let nextDirtyTo = dirtyTo;
+  let nextDirtyZones = [];
+  let nextCumulativeReparsedBytes = cumulativeReparsedBytes;
+  while (true) {
+    const dirtyStartOld = doc.zones[dirtyFrom].startOffset;
+    const dirtyEndOld = doc.zones[nextDirtyTo].endOffset;
+    const dirtyStartNew = mapOldOffsetToNew(edit, delta, dirtyStartOld);
+    const dirtyEndNew = mapOldOffsetToNew(edit, delta, dirtyEndOld);
+    const reparsedWindowSize = dirtyEndNew - dirtyStartNew;
+    nextCumulativeReparsedBytes += reparsedWindowSize;
+    if (nextCumulativeReparsedBytes > cumulativeBudget) {
+      return {
+        budgetExceeded: true,
+        dirtyTo: nextDirtyTo,
+        dirtyZones: nextDirtyZones,
+        cumulativeReparsedBytes: nextCumulativeReparsedBytes
+      };
+    }
+    const dirtyTree = parseWithPositions(
+      newSource.slice(dirtyStartNew, dirtyEndNew),
+      tracker,
+      parseOptions,
+      dirtyStartNew
+    );
+    nextDirtyZones = buildZones(dirtyTree);
+    const reparsedEnd = nextDirtyZones.length > 0 ? nextDirtyZones[nextDirtyZones.length - 1].endOffset : dirtyStartNew;
+    if (reparsedEnd === dirtyEndNew || nextDirtyTo === doc.zones.length - 1) {
+      return {
+        budgetExceeded: false,
+        dirtyTo: nextDirtyTo,
+        dirtyZones: nextDirtyZones,
+        cumulativeReparsedBytes: nextCumulativeReparsedBytes
+      };
+    }
+    nextDirtyTo += 1;
+  }
+};
 var assertValidEdit = (doc, edit, newSource) => {
   if (edit.startOffset < 0 || edit.oldEndOffset < edit.startOffset || edit.oldEndOffset > doc.source.length) {
     throw createIncrementalEditError(
@@ -2506,16 +2655,21 @@ var parseIncremental = (source, options) => {
   const tracker = buildPositionTracker(source);
   const tree = parseWithPositions(source, tracker, options);
   const zones = buildZones(tree);
+  for (let i = 0; i < zones.length; i++) {
+    zoneSignature(zones[i]);
+  }
   const parseOptions = cloneParseOptions(options);
-  return {
+  const fingerprint = buildParseOptionsFingerprint(parseOptions);
+  const doc = {
     source,
     tree,
     zones,
-    parseOptions,
-    optionsFingerprint: buildParseOptionsFingerprint(parseOptions)
+    parseOptions
   };
+  setCachedOptionsFingerprint(doc, fingerprint);
+  return doc;
 };
-var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
+var updateIncrementalInternal = (doc, edit, newSource, options, __internalObserver) => {
   assertValidEdit(doc, edit, newSource);
   let cumulativeReparsedBytes = 0;
   let probeSliceBytes = 0;
@@ -2526,23 +2680,24 @@ var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
       fellBackToFull
     });
   };
-  const parseOptions = options ? cloneParseOptions(options) : doc.parseOptions;
-  const previousOptionsFingerprint = doc.optionsFingerprint ?? buildParseOptionsFingerprint(doc.parseOptions);
-  const nextOptionsFingerprint = buildParseOptionsFingerprint(parseOptions);
+  const previousOptionsFingerprint = getCachedOptionsFingerprint(doc) ?? buildParseOptionsFingerprint(doc.parseOptions);
+  const nextOptionsFingerprint = options ? buildParseOptionsFingerprint(options) : previousOptionsFingerprint;
+  const runtimeParseOptions = options ?? doc.parseOptions;
+  const nextParseOptionsSnapshot = options ? cloneParseOptions(options) : doc.parseOptions;
   if (previousOptionsFingerprint !== nextOptionsFingerprint) {
-    const rebuilt = parseIncremental(newSource, parseOptions);
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
     emitDebug(true);
     __internalObserver?.("internal-full-rebuild");
     return rebuilt;
   }
   if (doc.zones.length === 0) {
-    const rebuilt = parseIncremental(newSource, parseOptions);
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
     emitDebug(true);
     __internalObserver?.("internal-full-rebuild");
     return rebuilt;
   }
   if (hasUnsafeZoneCoverageTailGap(doc, edit)) {
-    const rebuilt = parseIncremental(newSource, parseOptions);
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
     emitDebug(true);
     __internalObserver?.("internal-full-rebuild");
     return rebuilt;
@@ -2551,35 +2706,30 @@ var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
   const cumulativeBudget = Math.max(newSource.length * 2, 1024);
   const delta = newSource.length - doc.source.length;
   const dirty = findDirtyRange(doc.zones, edit);
-  const dirtyFrom = dirty.from;
+  let dirtyFrom = dirty.from;
   let dirtyTo = dirty.to;
   let dirtyZones = [];
-  while (true) {
-    const dirtyStartOld = doc.zones[dirtyFrom].startOffset;
-    const dirtyEndOld = doc.zones[dirtyTo].endOffset;
-    const dirtyStartNew = mapOldOffsetToNew(edit, delta, dirtyStartOld);
-    const dirtyEndNew = mapOldOffsetToNew(edit, delta, dirtyEndOld);
-    const reparsedWindowSize = dirtyEndNew - dirtyStartNew;
-    cumulativeReparsedBytes += reparsedWindowSize;
-    if (cumulativeReparsedBytes > cumulativeBudget) {
-      const rebuilt = parseIncremental(newSource, parseOptions);
-      emitDebug(true);
-      __internalObserver?.("internal-full-rebuild");
-      return rebuilt;
-    }
-    const dirtyTree = parseWithPositions(
-      newSource.slice(dirtyStartNew, dirtyEndNew),
-      newTracker,
-      parseOptions,
-      dirtyStartNew
-    );
-    dirtyZones = buildZones(dirtyTree);
-    const reparsedEnd = dirtyZones.length > 0 ? dirtyZones[dirtyZones.length - 1].endOffset : dirtyStartNew;
-    if (reparsedEnd === dirtyEndNew || dirtyTo === doc.zones.length - 1) {
-      break;
-    }
-    dirtyTo += 1;
+  const firstReparse = reparseDirtyWindowUntilStable(
+    doc,
+    dirtyFrom,
+    dirtyTo,
+    edit,
+    delta,
+    newSource,
+    newTracker,
+    runtimeParseOptions,
+    cumulativeBudget,
+    cumulativeReparsedBytes
+  );
+  cumulativeReparsedBytes = firstReparse.cumulativeReparsedBytes;
+  if (firstReparse.budgetExceeded) {
+    const rebuilt = parseIncremental(newSource, runtimeParseOptions);
+    emitDebug(true);
+    __internalObserver?.("internal-full-rebuild");
+    return rebuilt;
   }
+  dirtyTo = firstReparse.dirtyTo;
+  dirtyZones = firstReparse.dirtyZones;
   const leftZones = doc.zones.slice(0, dirtyFrom);
   const oldRightZones = doc.zones.slice(dirtyTo + 1);
   if (oldRightZones.length > 0) {
@@ -2591,34 +2741,34 @@ var updateIncremental = (doc, edit, newSource, options, __internalObserver) => {
       seamNewOffset,
       delta,
       newTracker,
-      parseOptions
+      runtimeParseOptions
     );
     probeSliceBytes = rightReuseCheck.probeSliceBytes;
     if (!rightReuseCheck.ok) {
-      const rebuilt = parseIncremental(newSource, parseOptions);
+      const rebuilt = parseIncremental(newSource, runtimeParseOptions);
       emitDebug(true);
       __internalObserver?.("internal-full-rebuild");
       return rebuilt;
     }
   }
-  const rightZones = oldRightZones.map((zone) => shiftZone(zone, delta, newTracker));
+  const rightZones = oldRightZones.map((zone) => shiftZoneWithSignature(zone, delta, newTracker));
   const zones = [...leftZones, ...dirtyZones, ...rightZones];
   const updated = {
     source: newSource,
     zones,
     tree: flattenZones(zones),
-    parseOptions,
-    optionsFingerprint: nextOptionsFingerprint
+    parseOptions: nextParseOptionsSnapshot
   };
+  setCachedOptionsFingerprint(updated, nextOptionsFingerprint);
   emitDebug(false);
   __internalObserver?.("incremental");
   return updated;
 };
-var tryUpdateIncremental = (doc, edit, newSource, options, __internalObserver) => {
+var tryUpdateIncrementalInternal = (doc, edit, newSource, options, __internalObserver) => {
   try {
     return {
       ok: true,
-      value: updateIncremental(doc, edit, newSource, options, __internalObserver)
+      value: updateIncrementalInternal(doc, edit, newSource, options, __internalObserver)
     };
   } catch (error) {
     if (isIncrementalUpdateError(error)) {
@@ -2728,17 +2878,28 @@ var createIncrementalSession = (source, options, sessionOptions) => {
       return rebuiltResult2;
     }
     const incrementalStart = now();
-    let lastInternalUpdateMode;
-    const result = tryUpdateIncremental(currentDoc, edit, newSource, nextOptions, (mode) => {
-      lastInternalUpdateMode = mode;
+    let mode;
+    const result = tryUpdateIncrementalInternal(currentDoc, edit, newSource, nextOptions, (nextTelemetry) => {
+      mode = nextTelemetry;
     });
     const incrementalElapsedMs = now() - incrementalStart;
     recordBounded(incrementalDurations, incrementalElapsedMs);
     if (result.ok) {
       currentDoc = result.value;
-      recordBounded(fallbackMarks, lastInternalUpdateMode === "internal-full-rebuild" ? 1 : 0);
+      const internalFullRebuild = mode === "internal-full-rebuild";
+      recordBounded(fallbackMarks, internalFullRebuild ? 1 : 0);
       maybeAdaptPolicy();
-      return { doc: currentDoc, mode: "incremental" };
+      if (internalFullRebuild) {
+        return {
+          doc: currentDoc,
+          mode: "full-fallback",
+          fallbackReason: "INTERNAL_FULL_REBUILD"
+        };
+      }
+      return {
+        doc: currentDoc,
+        mode: "incremental"
+      };
     }
     recordBounded(fallbackMarks, 1);
     const rebuiltResult = runRebuild(newSource, nextOptions, result.error.code);
@@ -2788,9 +2949,7 @@ export {
   resetTokenIdSeed,
   splitTokensByPipe,
   stripRichText,
-  tryUpdateIncremental,
   unescapeInline,
-  updateIncremental,
   walkTokens,
   withSyntax,
   withTagNameConfig

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yume-dsl-rich-text",
-  "version": "1.2.2",
+  "version": "1.2.3",
   "description": "Single-pass recursive rich-text DSL parser without regex, with pluggable tag handlers. Markdown alternative.",
   "main": "./dist/index.cjs",
   "module": "./dist/index.js",