@ai-react-markdown/engine 2.9.0 → 2.9.1

package/dist/index.js

@@ -370,16 +370,15 @@ function settleRefsAndEarliestUnresolved(cp) {
 var TYPE6_NAMES = new Set(htmlBlockNames);
 var TABLE_PART_NAMES = /* @__PURE__ */ new Set(["td", "th", "tr", "tbody", "thead", "tfoot", "caption", "col", "colgroup"]);
 var DOCUMENT_STRUCTURE_NAMES = /* @__PURE__ */ new Set(["html", "head", "body", "frameset"]);
+var NO_ELEMENT_NAMES = /* @__PURE__ */ new Set([...DOCUMENT_STRUCTURE_NAMES, "frame", "image"]);
 var RETROACTIVE_OPENERS = [
   "<!doctype",
-  "<html",
-  "<head",
-  "<body",
-  "<frameset",
-  "</html",
-  "</head",
-  "</body",
-  "</frameset"
+  // DERIVED, so the trailing-partial guard cannot drift from the poison the
+  // confirmed lines get. It was transcribed until F28, and the transcription
+  // was already two names behind by then. `<frame` subsumes `<frameset`,
+  // which is why the derived list is SHORTER than the one it replaces and
+  // still covers strictly more.
+  ...[...NO_ELEMENT_NAMES].flatMap((name) => [`<${name}`, `</${name}`])
 ];
 function tailCarriesRetroactive(text) {
   const lower = text.toLowerCase();
@@ -631,6 +630,7 @@ function freshCheckpoint(defListEnabled, mathFlow, referenceTaint) {
     tagBalance: /* @__PURE__ */ new Map(),
     openTotal: 0,
     p5Tok: { kind: "data" },
+    formPointerMaybeSet: false,
     openStack: [],
     mdBlock: { kind: "none" },
     blankRun: 0,
@@ -791,9 +791,12 @@ function processConfirmedLine(cp, ln, text) {
     if (sealReleaseDerived(cp, ln, isBlockStart)) {
       cp.p5SealPending = false;
       if (false) {
-        console.error(
-          `[ai-react-markdown] seal-release containment broken at offset ${ln.start}: the derived predicate released a line the retired enumeration withheld (${JSON.stringify(ln.text.slice(0, 80))}).`
-        );
+        sealReleaseEvaluations += 1;
+        if (!sealReleaseEnumerated(cp, ln, isBlockStart)) {
+          console.error(
+            `[ai-react-markdown] seal-release containment broken at offset ${ln.start}: the derived predicate released a line the retired enumeration withheld (${JSON.stringify(ln.text.slice(0, 80))}).`
+          );
+        }
       }
     }
   }
@@ -822,7 +825,7 @@ function processConfirmedLine(cp, ln, text) {
         if (tag === "plaintext") cp.phasePoisonedAt = Math.min(cp.phasePoisonedAt, ln.start);
       }
     }
-    if (DOCUMENT_STRUCTURE_NAMES.has(tag)) cp.phasePoisonedAt = 0;
+    if (NO_ELEMENT_NAMES.has(tag)) cp.phasePoisonedAt = 0;
     if (tag === "template" && !closing) cp.phasePoisonedAt = 0;
     if (closing) {
       let idx = -1;
@@ -838,12 +841,14 @@ function processConfirmedLine(cp, ln, text) {
         return;
       }
       cp.openStack.splice(idx, 1);
+      if (tag === "form") cp.formPointerMaybeSet = false;
       const count = cp.tagBalance.get(tag) ?? 0;
       if (count > 0) {
         cp.tagBalance.set(tag, count - 1);
         cp.openTotal -= 1;
       }
     } else {
+      if (tag === "form") cp.formPointerMaybeSet = true;
       cp.openStack.push(tag);
       cp.tagBalance.set(tag, (cp.tagBalance.get(tag) ?? 0) + 1);
       cp.openTotal += 1;
@@ -970,7 +975,11 @@ function processConfirmedLine(cp, ln, text) {
       // mask suppresses them — which is exactly why `openTotal` reads 0
       // and the candidate looked safe), and the 2-5 interiors are the
       // same construct to both grammars.
-      htmlBalanced: cp.openTotal === 0 && cp.mdBlock.kind !== "html" && cp.p5Tok.kind !== "bogus",
+      htmlBalanced: cp.openTotal === 0 && cp.mdBlock.kind !== "html" && cp.p5Tok.kind !== "bogus" && // A form pointer parse5 may still be holding makes a LATER `<form>`
+      // in the tail vanish from the full parse while a split parse opens
+      // it — forward independence fails with every other condition clean.
+      // See the field doc.
+      !cp.formPointerMaybeSet,
       hazard: cp.hazardVerdict,
       seamRisk: cp.p5SealPending,
       defListSettled: null
@@ -1366,6 +1375,11 @@ var SCANNER_NAME_LISTS = [
   ["type6", TYPE6_NAMES],
   ["void", VOID_TAGS],
   ["documentStructure", DOCUMENT_STRUCTURE_NAMES],
+  // Added with F28, and it is the list that would have made F28 visible: the
+  // derived census alphabet partitions names by their membership across THIS
+  // table, so before it existed `frame` shared one 39-name class with `div`
+  // and could never be sampled apart from it.
+  ["noElement", NO_ELEMENT_NAMES],
   ["tablePart", TABLE_PART_NAMES],
   ["scopeBarrier", SCOPE_BARRIER_NAMES],
   ["foreignRoot", new Set(FOREIGN_ROOT_NAMES)]