@vesk/compiler 0.2.94 → 0.2.96

package/dist/client-codegen.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"client-codegen.d.ts","sourceRoot":"","sources":["../src/client-codegen.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAuB,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAGL,cAAc,EAQd,gBAAgB,EAUjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAkGxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;CAC1B;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAI1D;AAiDD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,GAAG,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CAgJlI;AAID,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAI5E;AAyCD;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,EAAE,CAuB9F;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CAY5F;AAoFD,qDAAqD;AACrD,MAAM,MAAM,SAAS,GAAG;IAAE,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtC;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,SAAS,CAQtE;AA0uED,iBAAS,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAe3C;AAuKD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAO9C;AAwED,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,GAAE;IAAE,WAAW,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,aAAa,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,MAAM,CAOpQ;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,UAAU,CAAC,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,EAAE,CAAA;CAAE,CAyC5J;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAG/E;AAED,OAAO,EAAE,aAAa,IAAI,OAAO,EAAE,UAAU,EAAE,CAAC"}
+{"version":3,"file":"client-codegen.d.ts","sourceRoot":"","sources":["../src/client-codegen.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAuB,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAGL,cAAc,EAQd,gBAAgB,EAWjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAkGxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;CAC1B;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAI1D;AAiDD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,GAAG,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CAgJlI;AAID,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAI5E;AAyCD;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,EAAE,CAuB9F;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CAY5F;AAoFD,qDAAqD;AACrD,MAAM,MAAM,SAAS,GAAG;IAAE,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtC;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,SAAS,CAQtE;AA83ED,iBAAS,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAe3C;AAuKD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAO9C;AAwED,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,GAAE;IAAE,WAAW,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,aAAa,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,MAAM,CAOpQ;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,UAAU,CAAC,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,EAAE,CAAA;CAAE,CAyC5J;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAG/E;AAED,OAAO,EAAE,aAAa,IAAI,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/dist/client-codegen.js

@@ -2,7 +2,7 @@ import { walk } from 'zimmerframe';
 import { print } from 'esrap';
 import ts from 'esrap/languages/ts';
 import tsx from 'esrap/languages/tsx';
-import { StaticNode, TextNode, DynamicBinding, OpaqueDynamicRegion, MapRegion, WhileLoop, SwitchBlock, TryCatch, ForLoop, TrackDecl, RuntimeStatement, BreakSignal, ComponentRef, ComponentCall, ServerBlock, ClientBlock, HeadBlock, SlotNode, PropSlot, PropSlotRender, } from '@vesk/compiler/src/ir';
+import { StaticNode, TextNode, DynamicBinding, OpaqueDynamicRegion, MapRegion, WhileLoop, SwitchBlock, TryCatch, ForLoop, TrackDecl, RuntimeStatement, BreakSignal, ComponentRef, ComponentCall, regionMarkerId, ServerBlock, ClientBlock, HeadBlock, SlotNode, PropSlot, PropSlotRender, } from '@vesk/compiler/src/ir';
 import { parse } from '@vesk/compiler/src/parser';
 import { generateIR } from '@vesk/compiler/src/ir-generator';
 import { transformTopLevelForActions } from '@vesk/compiler/src/actions';
@@ -535,6 +535,10 @@ class Ctx {
     markerless = true;
     inTryBody = false;
     claimStatic = false;
+    // Markerless only: the next real claim carries a compiler-generated static
+    // class descriptor so a same-tag but structurally different SSR slot is
+    // substituted instead of adopted (e.g. an empty-state <div> vs a list <div>).
+    descriptorClaim = false;
     // While set, the next StaticNode claimed in hydrate mode uses `__root` (the
     // item element already claimed by key) instead of walking for a new element.
     rootClaim = false;
@@ -739,6 +743,24 @@ const PROPERTY_ATTRS = {
     option: new Set(['selected']),
     progress: new Set(['value']),
 };
+/**
+ * Build the markerless structural descriptor for a claimed element. Only a
+ * source-authored static class is included: dynamic classes are runtime values
+ * and must never be validated (SSR/client first paint may legitimately differ).
+ * The descriptor is a JS-only argument to the walker; it never reaches SSR HTML.
+ */
+function staticClassDescriptor(node) {
+    const hasDynamicClass = node.children.some((child) => child instanceof DynamicBinding && child.kind === 'attribute' && child.target === 'class');
+    if (hasDynamicClass)
+        return null;
+    const attr = node.attributes.find((a) => a.name === 'class');
+    if (!attr)
+        return null;
+    const value = attr.value.trim();
+    if (!value)
+        return null;
+    return JSON.stringify({ class: value });
+}
 function emitStatic(ctx, node, tracked, effectsVar, skipK = 0, regionBudget) {
     const el = ctx.n();
     if (ctx.hydrate) {
@@ -762,13 +784,21 @@ function emitStatic(ctx, node, tracked, effectsVar, skipK = 0, regionBudget) {
         // are claimed on their own sub-walker and carry their own residue math.
         const skipExpr = regionBudget && ctx.markerless ? markerlessSkipExpr(regionBudget, skipK) : skipK;
         const skipArg = ctx.markerless ? `, ${skipExpr}` : '';
+        // A component root or region branch root may be the slot where the client's
+        // initial branch differs from SSR. Validate its static class so a same-tag
+        // wrong branch is substituted, not adopted. One-shot: only the first real
+        // claim in that root/branch carries the descriptor.
+        const wantsDescriptor = ctx.markerless && ctx.descriptorClaim;
+        ctx.descriptorClaim = false;
+        const descriptor = wantsDescriptor && !rootClaim ? staticClassDescriptor(node) : null;
+        const descriptorArg = descriptor ? `, ${descriptor}` : '';
         // `rootClaim` marks the keyed renderItem root: claimed items supply the
         // SSR element as `__root`, fresh items must CREATE one. The walker is never
         // valid here as a fallback — its cursor doesn't advance past claimByKey, so
         // `nextElement` would steal a neighboring SSR node to render the new item.
         const claimedExpr = rootClaim
             ? `__root || document.createElement(${JSON.stringify(node.tag)})`
-            : `${ctx.walker}.nextElement(${JSON.stringify(node.tag)}${skipArg})`;
+            : `${ctx.walker}.nextElement(${JSON.stringify(node.tag)}${skipArg}${descriptorArg})`;
         ctx.push(`const ${el} = ${claimedExpr};`);
         if (regionBudget && ctx.markerless)
             ctx.push(`${regionBudget} = 0;`);
@@ -1388,6 +1418,11 @@ function emitComponentCall(ctx, node, tracked, effectsVar, parentVar, compPrefix
         ? `reactiveProps({ ${propsEntries.join(', ')} })`
         : `{ ${propsEntries.join(', ')} }`);
     if (ctx.hydrate) {
+        // A component call is itself the root claim site. A compiled child carries
+        // its own root descriptor; a plain target has no IR root to describe. In
+        // either case the caller's pending branch descriptor must not leak to a
+        // following sibling.
+        ctx.descriptorClaim = false;
         const access = calleeExpr
             ?? (ctx.importedNames.has(node.componentName)
                 ? node.componentName
@@ -1771,13 +1806,14 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
     const hyd = ctx.hydrate;
     const parent = parentVar || '$root';
     const budget = hyd ? regionBudgetVar(ctx, skipK, regionBudget) : null;
+    const rid = regionMarkerId(node);
     const isOpaque = (n) => !!n && typeof n.condition !== 'undefined';
     if (hyd && node.alternateNodes.length === 1 && isOpaque(node.alternateNodes[0])) {
         const chain = [];
         let cur = node;
         let finalElse = null;
         while (cur) {
-            chain.push({ cond: transformTracked(cur.condition, tracked), nodes: cur.consequentNodes });
+            chain.push({ cond: transformTracked(cur.condition, tracked), nodes: cur.consequentNodes, id: regionMarkerId(cur) });
             if (cur.alternateNodes.length === 1 && isOpaque(cur.alternateNodes[0])) {
                 cur = cur.alternateNodes[0];
             }
@@ -1802,6 +1838,9 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
             ctx.push(`const ${rn} = ${fnOpen}`);
             const cl = ctx.n();
             ctx.push(indent(`const ${cl} = [];`));
+            const savedDescriptor = ctx.descriptorClaim;
+            if (hyd && ctx.markerless)
+                ctx.descriptorClaim = true;
             for (const n of chain[i].nodes) {
                 const savedClaim = ctx.claimStatic;
                 if (hyd)
@@ -1811,6 +1850,7 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
                 if (v)
                     ctx.push(indent(`${cl}.push(${v});`));
             }
+            ctx.descriptorClaim = savedDescriptor;
             ctx.push(indent(`__place(${anchor}, ${endAnchor}, ${cl}, ${parent});`));
             ctx.push(`};`);
         }
@@ -1820,6 +1860,9 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
             ctx.push(`const ${finalRender} = ${fnOpen}`);
             const cl2 = ctx.n();
             ctx.push(indent(`const ${cl2} = [];`));
+            const savedDescriptor = ctx.descriptorClaim;
+            if (hyd && ctx.markerless)
+                ctx.descriptorClaim = true;
             for (const n of finalElse) {
                 const savedClaim = ctx.claimStatic;
                 if (hyd)
@@ -1829,15 +1872,10 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
                 if (v)
                     ctx.push(indent(`${cl2}.push(${v});`));
             }
+            ctx.descriptorClaim = savedDescriptor;
             ctx.push(indent(`__place(${anchor}, ${endAnchor}, ${cl2}, ${parent});`));
             ctx.push(`};`);
         }
-        let init = `if (${chain[0].cond}) { ${asyncKw}${renderNames[0]}(); }`;
-        for (let i = 1; i < chain.length; i++)
-            init += ` else if (${chain[i].cond}) { ${asyncKw}${renderNames[i]}(); }`;
-        if (finalRender)
-            init += ` else { ${asyncKw}${finalRender}(); }`;
-        ctx.push(init);
         // Resolve which branch index the chain is in, for any chain depth. The last
         // fallback is `chain.length` when a final `else` exists, otherwise -1 (no
         // branch renders). Build the nested ternary from the innermost condition
@@ -1847,13 +1885,37 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
             branchInitFallback = `(${chain[i].cond} ? ${i} : ${branchInitFallback})`;
         }
         const branchInit = `(${branchInitFallback})`;
+        // Snapshot the branch chosen by the INITIAL render before claiming it. The
+        // effect flush runs after the component body, so a tracked cell can change
+        // in between (bootstrap hydration, a child island's body, an inline
+        // statement). Initializing `__iv` at flush time would silently adopt the
+        // new branch while the DOM still held the old one; the first effect run
+        // must compare against the branch that actually rendered.
+        const branchSnapshot = ctx.n();
+        ctx.push(`const ${branchSnapshot} = ${branchInit};`);
+        if (!ctx.markerless) {
+            for (let i = 0; i < chain.length; i++) {
+                ctx.push(`if (__hydrate) __reconcileRegion(${parent}, '${chain[i].id}', ${branchSnapshot} === ${i} ? 0 : 1, ${ctx.walker});`);
+            }
+        }
+        else {
+            const chainBranches = chain.map((c) => c.nodes);
+            if (finalElse)
+                chainBranches.push(finalElse);
+            emitStructuralRegionDiscard(ctx, chainBranches, branchSnapshot, budget);
+        }
+        let init = `if (${branchSnapshot} === 0) { ${asyncKw}${renderNames[0]}(); }`;
+        for (let i = 1; i < chain.length; i++)
+            init += ` else if (${branchSnapshot} === ${i}) { ${asyncKw}${renderNames[i]}(); }`;
+        if (finalRender)
+            init += ` else { ${asyncKw}${finalRender}(); }`;
+        ctx.push(init);
         let effInner = `if (__new === 0) { ${asyncKw}${renderNames[0]}(); }`;
         for (let i = 1; i < chain.length; i++)
             effInner += ` else if (__new === ${i}) { ${asyncKw}${renderNames[i]}(); }`;
         if (finalRender)
             effInner += ` else { ${asyncKw}${finalRender}(); }`;
         const effBody = `effect(${ctx.isAsyncScope ? 'async () => {' : '() => {'}
-        if (__first) { __first = false; __iv = ${branchInit}; return; }
         const __new = ${branchInit};
         if (__new !== __iv) {
           for (const e of ${effectsVar}) destroy_block(e);
@@ -1865,15 +1927,13 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
       }, true);`;
         if (effTarget) {
             ctx.push(`${effTarget}.push((() => {
-      let __iv = ${branchInit};
-      let __first = true;
+      let __iv = ${branchSnapshot};
       return ${effBody}
     })());`);
         }
         else {
             ctx.effects.push(`{
-      let __iv = ${branchInit};
-      let __first = true;
+      let __iv = ${branchSnapshot};
       ${effBody}
     }`);
         }
@@ -1901,6 +1961,9 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
         ctx.push(indent(`const ${conFrag} = document.createDocumentFragment();`));
     if (hyd)
         ctx.push(indent(`const __cl = [];`));
+    const savedConDescriptor = ctx.descriptorClaim;
+    if (hyd && ctx.markerless)
+        ctx.descriptorClaim = true;
     for (const n of node.consequentNodes) {
         const savedClaim = ctx.claimStatic;
         if (hyd)
@@ -1914,6 +1977,7 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
                 ctx.push(indent(`${conFrag}.appendChild(${v});`));
         }
     }
+    ctx.descriptorClaim = savedConDescriptor;
     if (hyd)
         ctx.push(indent(`__place(${anchor}, ${endAnchor}, __cl, ${parent});`));
     else
@@ -1930,6 +1994,9 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
             ctx.push(indent(`const ${altFrag} = document.createDocumentFragment();`));
         if (hyd)
             ctx.push(indent(`const __cl = [];`));
+        const savedAltDescriptor = ctx.descriptorClaim;
+        if (hyd && ctx.markerless)
+            ctx.descriptorClaim = true;
         for (const n of node.alternateNodes) {
             const savedAltClaim = ctx.claimStatic;
             if (hyd)
@@ -1943,6 +2010,7 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
                     ctx.push(indent(`${altFrag}.appendChild(${v});`));
             }
         }
+        ctx.descriptorClaim = savedAltDescriptor;
         if (hyd)
             ctx.push(indent(`__place(${anchor}, ${endAnchor}, __cl, ${parent});`));
         else
@@ -1951,10 +2019,19 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
     }
     if (!hyd)
         ctx.push(`${parent}.appendChild(${endAnchor});`);
-    ctx.push(`if (${condExpr}) { ${asyncKw}${conRenderName}(); }` + (hasElse ? ` else { ${asyncKw}${altRenderName}(); }` : ''));
+    // Snapshot the condition used by the INITIAL render. Effect flush runs after
+    // the body, so tracked data can arrive in between; comparing the first effect
+    // run against a value read at flush time would adopt the new branch without
+    // replacing the DOM that the old branch already claimed.
+    const condSnapshot = ctx.n();
+    ctx.push(`const ${condSnapshot} = ${condExpr};`);
+    if (hyd && !ctx.markerless)
+        ctx.push(`if (__hydrate) __reconcileRegion(${parent}, '${rid}', ${condSnapshot} ? 0 : 1, ${ctx.walker});`);
+    if (hyd && ctx.markerless)
+        emitStructuralRegionDiscard(ctx, [node.consequentNodes, node.alternateNodes], hasElse ? `(${condSnapshot} ? 0 : 1)` : `(${condSnapshot} ? 0 : -1)`, budget);
+    ctx.push(`if (${condSnapshot}) { ${asyncKw}${conRenderName}(); }` + (hasElse ? ` else { ${asyncKw}${altRenderName}(); }` : ''));
     const renderBranch = `if (__nv) { ${asyncKw}${conRenderName}(); }` + (hasElse ? ` else { ${asyncKw}${altRenderName}(); }` : '');
     const effectBody = `effect(${ctx.isAsyncScope ? 'async () => {' : '() => {'}
-      if (__first) { __first = false; __iv = ${condExpr}; return; }
       const __nv = ${condExpr};
       if (__nv !== __iv) {
         for (const e of ${effectsVar}) destroy_block(e);
@@ -1971,15 +2048,13 @@ function emitOpaque(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionB
         return null;
     if (effTarget) {
         ctx.push(`${effTarget}.push((() => {
-    let __iv = ${condExpr};
-    let __first = true;
+    let __iv = ${condSnapshot};
     return ${effectBody}
   })());`);
     }
     else {
         ctx.effects.push(`{
-    let __iv = ${condExpr};
-    let __first = true;
+    let __iv = ${condSnapshot};
     ${effectBody}
   }`);
     }
@@ -2476,34 +2551,34 @@ function emitMap(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionBudg
     let emptyRenderName = null;
     if (node.alternateNodes.length > 0) {
         emptyRenderName = ctx.n();
-        const emptySig = !hyd
+        // Hydrated maps (keyed AND non-keyed) claim their #empty fallback
+        // positionally with descriptor checks: an SSR slot that rendered the same
+        // fallback is adopted in place (no duplicate), while an SSR item ghost in
+        // that slot is detached by the walker's mismatch recovery and the fallback
+        // renders fresh. Fresh (SPA) renders keep the fragment + direct-insert
+        // shape — there is no SSR DOM to claim.
+        const emptyClaims = ctx.hydrate;
+        const emptySig = !emptyClaims
             ? (ctx.isAsyncScope ? 'async () => {' : '() => {')
             : (ctx.isAsyncScope ? 'async (__cl) => {' : '(__cl) => {');
         ctx.push(`const ${emptyRenderName} = ${emptySig}`);
         ctx.push(indent(`const __p = ${anchor}.parentNode;`));
         const frag = ctx.n();
-        if (!hyd)
+        if (!emptyClaims)
             ctx.push(indent(`const ${frag} = document.createDocumentFragment();`));
         const savedClaim = ctx.claimStatic;
-        const savedHydrate = ctx.hydrate;
-        // A keyed map hydrating with no matching SSR items renders its empty
-        // fallback fresh — the SSR item ghosts get reported by the canary instead
-        // of being adopted positionally as the fallback (which would be wrong DOM).
-        if (hydKeyed)
-            ctx.hydrate = false;
         for (const n of node.alternateNodes) {
             ctx.claimStatic = true;
-            const v = emitNode(ctx, n, tracked, effectsVar, hyd ? undefined : frag, '__components', 0, budget || undefined);
+            const v = emitNode(ctx, n, tracked, effectsVar, emptyClaims ? undefined : frag, '__components', 0, budget || undefined);
             if (v) {
-                if (hyd)
+                if (emptyClaims)
                     ctx.push(indent(`if (__cl) __cl.push(${v}); else __p.insertBefore(${v}, ${endAnchor});`));
                 else
                     ctx.push(indent(`${frag}.appendChild(${v});`));
             }
         }
         ctx.claimStatic = savedClaim;
-        ctx.hydrate = savedHydrate;
-        if (!hyd)
+        if (!emptyClaims)
             ctx.push(indent(`if (${frag}.childNodes.length > 0) __p.insertBefore(${frag}, ${endAnchor});`));
         ctx.push(`};`);
     }
@@ -2536,8 +2611,19 @@ function emitMap(ctx, node, tracked, effTarget, parentVar, skipK = 0, regionBudg
         }
         if (emptyRenderName) {
             const isEmptyVar = ctx.n();
+            // A hydrated keyed map attaches its region anchors through
+            // `reconcileHydrated` (items branch) or `__place` (empty branch) — the
+            // anchors are created detached and the empty-fallback builder reads
+            // `anchor.parentNode`, so the empty branch must place them too or the
+            // whole hydrator crashes ("insertBefore on null") and every later
+            // reactive update on the page is lost.
+            const collectVar = hydKeyed ? ctx.n() : null;
             ctx.push(`let ${isEmptyVar} = !${hasItems}();`);
-            ctx.push(`if (!${isEmptyVar}) { ${initList}(); } else { ${aw}${emptyRenderName}(); }`);
+            if (collectVar)
+                ctx.push(`const ${collectVar} = [];`);
+            ctx.push(`if (!${isEmptyVar}) { ${initList}(); } else { ${aw}${emptyRenderName}(${collectVar || ''}); }`);
+            if (collectVar)
+                ctx.push(`__place(${anchor}, ${endAnchor}, ${collectVar}, ${parent});`);
             if (!reactiveSource)
                 return null;
             pushEffect(`let __first = true;`, `effect(${effOpen}
@@ -2619,7 +2705,7 @@ ${renderAllItems('        ', null)}
     __cleanup(${anchor}, ${endAnchor});
     if (__new) {
 ${renderAllItems('      ', null)}
-    } else { ${aw}${emptyRenderName}(${collectVar ? collectVar : ''}); }
+    } else { ${aw}${emptyRenderName}(); }
   }, true)`);
         }
         else {
@@ -2760,6 +2846,11 @@ function generateComponent(comp, importedNames = new Set(), hydrate = false, asy
             }
         }
     }
+    // The first real claim is this component's root: let it validate the static
+    // class shape against the SSR slot. The flag is consumed by the first claim
+    // and never leaks to nested children.
+    if (ctx.hydrate && ctx.markerless)
+        ctx.descriptorClaim = true;
     for (const node of comp.body) {
         // A TrackDecl that could not be hoisted (its init reads an earlier body
         // binding) is emitted here, in source order, so the binding it reads is
@@ -2900,6 +2991,33 @@ function buildComponentMap(irRoot, hydrate = false, alloc, markerless = true) {
         const code = generateComponent(comp, directNames, hydrate, asyncComps, linkNames, selfClaimNames, alloc, markerless);
         mapLines.push(`${registry}[${JSON.stringify(comp.name)}] = ${code};`);
     }
+    if (hydrate && !markerless) {
+        mapLines.push(`function __reconcileRegion(parent, id, branch, walker) {`);
+        mapLines.push(`\tif (!parent) return;`);
+        mapLines.push(`\tlet start = null;`);
+        mapLines.push(`\tlet end = null;`);
+        mapLines.push(`\tfor (let n = parent.firstChild; n; n = n.nextSibling) {`);
+        mapLines.push(`\t\tif (n.nodeType !== 8) continue;`);
+        mapLines.push(`\t\tconst text = n.textContent || '';`);
+        mapLines.push(`\t\tif (text === 'vesk-r:' + id + ':0' || text === 'vesk-r:' + id + ':1') start = n;`);
+        mapLines.push(`\t\telse if (text === 'vesk-r-end:' + id) end = n;`);
+        mapLines.push(`\t\tif (start && end) break;`);
+        mapLines.push(`\t}`);
+        mapLines.push(`\tif (!start || !end) return;`);
+        mapLines.push(`\tconst ssrBranch = (start.textContent || '').slice(-2) === ':1' ? 1 : 0;`);
+        mapLines.push(`\tif (ssrBranch !== branch) {`);
+        mapLines.push(`\t\tlet n = start.nextSibling;`);
+        mapLines.push(`\t\twhile (n && n !== end) {`);
+        mapLines.push(`\t\t\tconst next = n.nextSibling;`);
+        mapLines.push(`\t\t\tn.remove();`);
+        mapLines.push(`\t\t\tn = next;`);
+        mapLines.push(`\t\t}`);
+        mapLines.push(`\t\tif (walker && walker.retireDetached) walker.retireDetached();`);
+        mapLines.push(`\t}`);
+        mapLines.push(`\tstart.remove();`);
+        mapLines.push(`\tend.remove();`);
+        mapLines.push(`}`);
+    }
     mapLines.push(`function __cleanup(start, end) {`);
     mapLines.push(`\tlet n = start.nextSibling;`);
     mapLines.push(`\twhile (n && n !== end) {`);
@@ -2966,6 +3084,50 @@ function ssrResidueEstimate(node) {
     // ServerBlock, ClientBlock, HeadBlock emit no SSR element residue.
     return 0;
 }
+function firstBranchRoot(nodes) {
+    for (const n of nodes) {
+        if (n instanceof StaticNode)
+            return { tag: n.tag, descriptor: staticClassDescriptor(n) };
+        if (n instanceof ComponentCall || n instanceof ComponentRef)
+            return null;
+        if (n instanceof OpaqueDynamicRegion)
+            return null;
+        if (n instanceof MapRegion || n instanceof ForLoop || n instanceof WhileLoop) {
+            const child = firstBranchRoot(n.bodyTemplate);
+            if (child)
+                return child;
+        }
+        if (n instanceof SwitchBlock) {
+            for (const c of n.cases) {
+                const child = firstBranchRoot(c.body);
+                if (child)
+                    return child;
+            }
+        }
+        if (n instanceof TryCatch) {
+            const child = firstBranchRoot(n.bodyTemplate) || firstBranchRoot(n.catchBody);
+            if (child)
+                return child;
+        }
+    }
+    return null;
+}
+function structuralRegionMetadata(branches) {
+    const parts = branches.map((nodes) => {
+        const first = firstBranchRoot(nodes);
+        const tag = first ? JSON.stringify(first.tag) : 'undefined';
+        const descriptor = first && first.descriptor ? first.descriptor : 'null';
+        return `{ tag: ${tag}, descriptor: ${descriptor}, count: ${ssrResidueEstimate(nodes)} }`;
+    });
+    return `[${parts.join(', ')}]`;
+}
+function emitStructuralRegionDiscard(ctx, branches, selectedExpr, budget) {
+    if (!ctx.hydrate || !ctx.markerless)
+        return;
+    const offset = budget ? `, ${budget}` : '';
+    const consume = budget ? ` ${budget} = 0;` : '';
+    ctx.push(`if (${ctx.walker} && typeof ${ctx.walker}.discardStructuralRegion === 'function' && ${ctx.walker}.discardStructuralRegion(${structuralRegionMetadata(branches)}, ${selectedExpr}${offset})) {${consume}}`);
+}
 function isStaticIR(body) {
     for (const node of body) {
         if (node instanceof StaticNode) {

package/dist/ir.d.ts

@@ -104,6 +104,12 @@ export declare class OpaqueDynamicRegion {
     alternateNodes: IRNode[];
     constructor(condition: Expression, consequentNodes: IRNode[], alternateNodes?: IRNode[]);
 }
+/**
+ * Stable identity for a conditional region across the SSR and client codegen
+ * passes. Both passes see the same source offsets, so the SSR region marker
+ * and the client's hydration reconciliation agree without sharing state.
+ */
+export declare function regionMarkerId(node: OpaqueDynamicRegion): string;
 export declare class MapRegion {
     expression: Expression;
     itemVariable: string;

package/dist/ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEjD,qBAAa,UAAU;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEH,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,MAAM,EAAO,EAAE,GAAG,GAAE,UAAU,GAAG,IAAW,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW;CAM1G;AAED,qBAAa,MAAM;IACjB,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;OAMG;IACH,aAAa,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1D;;;;;OAKG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;gBAGxB,UAAU,EAAE,WAAW,EAAE,EACzB,OAAO,GAAE,MAAM,EAAO,EACtB,aAAa,GAAE,GAAG,CAAC,MAAM,CAAa,EACtC,WAAW,GAAE,MAAM,GAAG,IAAW,EACjC,MAAM,GAAE,MAAM,GAAG,IAAW,EAC5B,YAAY,GAAE,MAAM,EAAO,EAC3B,aAAa,GAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAM,EAC9D,eAAe,GAAE,MAAM,EAAO;CAWjC;AAED,qBAAa,WAAW;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;;OAMG;IACH,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,YAAY,GAAG,WAAW,CAAC;IACjC,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,aAAa,EAAE,OAAO,CAAC;gBAGrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAAE,EACpB,IAAI,EAAE,MAAM,EAAE,EACd,IAAI,GAAE;QACJ,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,IAAI,CAAC,EAAE,YAAY,GAAG,WAAW,CAAC;QAClC,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,aAAa,CAAC,EAAE,OAAO,CAAC;QACxB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAC1B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;KACvB;CAeT;AAED,qBAAa,UAAU;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;gBAGzB,GAAG,EAAE,MAAM,EACX,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,EAC7C,QAAQ,EAAE,MAAM,EAAE,EAClB,OAAO,GAAE,UAAU,GAAG,IAAW;CAQpC;AAED,qBAAa,QAAQ;IACnB,KAAK,EAAE,MAAM,CAAC;gBAEF,KAAK,EAAE,MAAM;CAG1B;AAED,qBAAa,cAAc;IACzB,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAC3B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;gBAEX,UAAU,EAAE,UAAU,EAAE,IAAI,GAAE,MAAM,GAAG,WAAoB,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW;CAKtG;AAED,qBAAa,mBAAmB;IAC9B,SAAS,EAAE,UAAU,CAAC;IACtB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;gBAEb,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,cAAc,GAAE,MAAM,EAAO;CAK5F;AAED,qBAAa,SAAS;IACpB,UAAU,EAAE,UAAU,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;IAC3B,cAAc,EAAE,MAAM,EAAE,CAAC;gBAEb,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,OAAO,GAAE,UAAU,GAAG,IAAW,EAAE,aAAa,GAAE,MAAM,GAAG,IAAW,EAAE,cAAc,GAAE,MAAM,EAAO;CAQxL;AAED,qBAAa,YAAY;IACvB,aAAa,EAAE,MAAM,CAAC;gBAEV,aAAa,EAAE,MAAM;CAGlC;AAED,qBAAa,aAAa;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,EAAE,CAAC;IAC7C,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;gBAGxB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,EAAE,EAC5C,QAAQ,GAAE,MAAM,EAAO,EACvB,WAAW,GAAE,UAAU,EAAO,EAC9B,KAAK,SAAK,EACV,UAAU,GAAE,MAAM,GAAG,IAAW;CASnC;AAED,qBAAa,QAAQ;;CAEpB;AAED;;;;;;;;GAQG;AACH,qBAAa,QAAQ;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEH,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;CAI7C;AAED;;;;GAIG;AACH,qBAAa,cAAc;IACzB,QAAQ,EAAE,MAAM,CAAC;gBAEL,QAAQ,EAAE,MAAM;CAG7B;AAED,qBAAa,SAAS;IACpB,SAAS,EAAE,UAAU,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,OAAO,CAAC;gBAEP,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,SAAS,GAAE,OAAe;CAKtF;AAED,qBAAa,UAAU;IACrB,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEH,IAAI,EAAE,MAAM,EAAE;CAG3B;AAED,qBAAa,WAAW;IACtB,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;gBAE9C,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAIhG;AAED,qBAAa,QAAQ;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;gBAElB,YAAY,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,cAAc,GAAE,MAAM,GAAG,IAAW;CAK9F;AAED,qBAAa,SAAS;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;gBAED,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;CAK/D;AAED,qBAAa,gBAAgB;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;gBAEV,GAAG,EAAE,MAAM,EAAE,GAAG,GAAE,UAAU,GAAG,IAAW,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW;CAKrF;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,WAAW;;CAEvB;AAED,qBAAa,OAAO;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,UAAU,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,IAAI,EAAE,KAAK,GAAG,QAAQ,CAAC;gBAEX,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,GAAE,KAAK,GAAG,QAAgB;CAOxH;AAED,qBAAa,WAAW;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;gBACP,QAAQ,EAAE,MAAM,EAAE;CAG/B;AAED,qBAAa,WAAW;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;gBACP,QAAQ,EAAE,MAAM,EAAE;CAG/B;AAED,qBAAa,SAAS;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;gBACP,QAAQ,EAAE,MAAM,EAAE;CAG/B;AAED,MAAM,MAAM,MAAM,GACd,UAAU,GACV,QAAQ,GACR,cAAc,GACd,mBAAmB,GACnB,SAAS,GACT,SAAS,GACT,WAAW,GACX,QAAQ,GACR,OAAO,GACP,SAAS,GACT,gBAAgB,GAChB,WAAW,GACX,YAAY,GACZ,aAAa,GACb,WAAW,GACX,WAAW,GACX,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,cAAc,CAAC"}
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEjD,qBAAa,UAAU;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEH,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,MAAM,EAAO,EAAE,GAAG,GAAE,UAAU,GAAG,IAAW,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW;CAM1G;AAED,qBAAa,MAAM;IACjB,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;OAMG;IACH,aAAa,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1D;;;;;OAKG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;gBAGxB,UAAU,EAAE,WAAW,EAAE,EACzB,OAAO,GAAE,MAAM,EAAO,EACtB,aAAa,GAAE,GAAG,CAAC,MAAM,CAAa,EACtC,WAAW,GAAE,MAAM,GAAG,IAAW,EACjC,MAAM,GAAE,MAAM,GAAG,IAAW,EAC5B,YAAY,GAAE,MAAM,EAAO,EAC3B,aAAa,GAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAM,EAC9D,eAAe,GAAE,MAAM,EAAO;CAWjC;AAED,qBAAa,WAAW;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;;OAMG;IACH,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,YAAY,GAAG,WAAW,CAAC;IACjC,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,aAAa,EAAE,OAAO,CAAC;gBAGrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAAE,EACpB,IAAI,EAAE,MAAM,EAAE,EACd,IAAI,GAAE;QACJ,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,IAAI,CAAC,EAAE,YAAY,GAAG,WAAW,CAAC;QAClC,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,aAAa,CAAC,EAAE,OAAO,CAAC;QACxB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAC1B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;KACvB;CAeT;AAED,qBAAa,UAAU;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;gBAGzB,GAAG,EAAE,MAAM,EACX,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,EAC7C,QAAQ,EAAE,MAAM,EAAE,EAClB,OAAO,GAAE,UAAU,GAAG,IAAW;CAQpC;AAED,qBAAa,QAAQ;IACnB,KAAK,EAAE,MAAM,CAAC;gBAEF,KAAK,EAAE,MAAM;CAG1B;AAED,qBAAa,cAAc;IACzB,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAC3B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;gBAEX,UAAU,EAAE,UAAU,EAAE,IAAI,GAAE,MAAM,GAAG,WAAoB,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW;CAKtG;AAED,qBAAa,mBAAmB;IAC9B,SAAS,EAAE,UAAU,CAAC;IACtB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;gBAEb,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,cAAc,GAAE,MAAM,EAAO;CAK5F;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,mBAAmB,GAAG,MAAM,CAOhE;AAED,qBAAa,SAAS;IACpB,UAAU,EAAE,UAAU,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;IAC3B,cAAc,EAAE,MAAM,EAAE,CAAC;gBAEb,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,OAAO,GAAE,UAAU,GAAG,IAAW,EAAE,aAAa,GAAE,MAAM,GAAG,IAAW,EAAE,cAAc,GAAE,MAAM,EAAO;CAQxL;AAED,qBAAa,YAAY;IACvB,aAAa,EAAE,MAAM,CAAC;gBAEV,aAAa,EAAE,MAAM;CAGlC;AAED,qBAAa,aAAa;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,EAAE,CAAC;IAC7C,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;gBAGxB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,EAAE,EAC5C,QAAQ,GAAE,MAAM,EAAO,EACvB,WAAW,GAAE,UAAU,EAAO,EAC9B,KAAK,SAAK,EACV,UAAU,GAAE,MAAM,GAAG,IAAW;CASnC;AAED,qBAAa,QAAQ;;CAEpB;AAED;;;;;;;;GAQG;AACH,qBAAa,QAAQ;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEH,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;CAI7C;AAED;;;;GAIG;AACH,qBAAa,cAAc;IACzB,QAAQ,EAAE,MAAM,CAAC;gBAEL,QAAQ,EAAE,MAAM;CAG7B;AAED,qBAAa,SAAS;IACpB,SAAS,EAAE,UAAU,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,OAAO,CAAC;gBAEP,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,SAAS,GAAE,OAAe;CAKtF;AAED,qBAAa,UAAU;IACrB,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEH,IAAI,EAAE,MAAM,EAAE;CAG3B;AAED,qBAAa,WAAW;IACtB,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;gBAE9C,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAIhG;AAED,qBAAa,QAAQ;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;gBAElB,YAAY,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,cAAc,GAAE,MAAM,GAAG,IAAW;CAK9F;AAED,qBAAa,SAAS;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;gBAED,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;CAK/D;AAED,qBAAa,gBAAgB;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;gBAEV,GAAG,EAAE,MAAM,EAAE,GAAG,GAAE,UAAU,GAAG,IAAW,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW;CAKrF;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,WAAW;;CAEvB;AAED,qBAAa,OAAO;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,UAAU,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,IAAI,EAAE,KAAK,GAAG,QAAQ,CAAC;gBAEX,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,GAAE,KAAK,GAAG,QAAgB;CAOxH;AAED,qBAAa,WAAW;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;gBACP,QAAQ,EAAE,MAAM,EAAE;CAG/B;AAED,qBAAa,WAAW;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;gBACP,QAAQ,EAAE,MAAM,EAAE;CAG/B;AAED,qBAAa,SAAS;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;gBACP,QAAQ,EAAE,MAAM,EAAE;CAG/B;AAED,MAAM,MAAM,MAAM,GACd,UAAU,GACV,QAAQ,GACR,cAAc,GACd,mBAAmB,GACnB,SAAS,GACT,SAAS,GACT,WAAW,GACX,QAAQ,GACR,OAAO,GACP,SAAS,GACT,gBAAgB,GAChB,WAAW,GACX,YAAY,GACZ,aAAa,GACb,WAAW,GACX,WAAW,GACX,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,cAAc,CAAC"}

package/dist/ir.js

@@ -125,6 +125,21 @@ export class OpaqueDynamicRegion {
         this.alternateNodes = alternateNodes;
     }
 }
+/**
+ * Stable identity for a conditional region across the SSR and client codegen
+ * passes. Both passes see the same source offsets, so the SSR region marker
+ * and the client's hydration reconciliation agree without sharing state.
+ */
+export function regionMarkerId(node) {
+    const ast = node.condition.ast;
+    if (ast && typeof ast.start === 'number')
+        return `s${ast.start}`;
+    const raw = node.condition.raw;
+    let hash = 5381;
+    for (let i = 0; i < raw.length; i++)
+        hash = ((hash << 5) + hash + raw.charCodeAt(i)) | 0;
+    return `h${(hash >>> 0).toString(36)}`;
+}
 export class MapRegion {
     expression;
     itemVariable;

package/dist/router.d.ts

@@ -20,6 +20,7 @@ export declare function collapseSlashes(p: string): string;
 export declare function extractMiddlewareParts(src: string): {
     params: string;
     body: string;
+    imports: string[];
 } | null;
 export declare function extractMiddleware(sourcePath: string): string | null;
 export declare function scanRoutes(appDir: string, options?: ScanOptions): RouteNode[];

package/dist/router.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"router.d.ts","sourceRoot":"","sources":["../src/router.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAM1D,MAAM,WAAW,WAAW;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC;AAED;;;;;;GAMG;AACH,4DAA4D;AAC5D,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAajD;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAoC3F;AAkDD,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAUnE;AAwED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,SAAS,EAAE,CAKjF;AAMD,wBAAgB,cAAc,CAAC,aAAa,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA2BzE;AA6HD,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAgBrE;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,GAAE,oBAAyB,GAAG,MAAM,CAoCnG;AA2CD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CA0HhF"}
+{"version":3,"file":"router.d.ts","sourceRoot":"","sources":["../src/router.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAM1D,MAAM,WAAW,WAAW;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC;AAED;;;;;;GAMG;AACH,4DAA4D;AAC5D,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAajD;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CA8C9G;AAkDD,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAUnE;AAwED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,SAAS,EAAE,CAKjF;AAMD,wBAAgB,cAAc,CAAC,aAAa,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA2BzE;AA6HD,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAgBrE;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,GAAE,oBAAyB,GAAG,MAAM,CAoCnG;AA2CD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CA0HhF"}

package/dist/router.js

@@ -61,10 +61,25 @@ export function extractMiddlewareParts(src) {
                 decls.push(src.slice(stmt.declaration.start, stmt.declaration.end).trim());
             }
         }
+        const imports = [];
+        for (const stmt of ast.body) {
+            if (stmt.type !== 'ImportDeclaration')
+                continue;
+            if (stmt.importKind === 'type')
+                continue;
+            const source = stmt.source?.value;
+            if (typeof source !== 'string')
+                continue;
+            if (source.startsWith('.') || source.startsWith('/'))
+                continue;
+            const line = src.slice(stmt.start, stmt.end).trim();
+            if (line && !imports.includes(line))
+                imports.push(line);
+        }
         const bodyWithDecls = decls.length > 0
             ? decls.join('\n') + '\n' + body.trim()
             : body.trim();
-        return { params, body: bodyWithDecls };
+        return { params, body: bodyWithDecls, imports };
     }
     catch {
         return fallbackExtractMiddleware(src);
@@ -124,7 +139,7 @@ function fallbackExtractMiddleware(src) {
             m++;
         }
         const body = src.slice(b + 1, m - 1);
-        return { params, body: body.trim() };
+        return { params, body: body.trim(), imports: [] };
     }
     return null;
 }

package/dist/server-jsgen.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"server-jsgen.d.ts","sourceRoot":"","sources":["../src/server-jsgen.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAQzE,OAAO,EAAkG,KAAK,WAAW,EAAE,MAAM,mCAAmC,CAAC;AA6DrK,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,OAAO,GAAE,OAAe,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CA+EjJ;AAqbD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAwD1F;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB;AAuFD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,EAAE,CA4CzE;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAYhG"}
+{"version":3,"file":"server-jsgen.d.ts","sourceRoot":"","sources":["../src/server-jsgen.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AASzE,OAAO,EAAkG,KAAK,WAAW,EAAE,MAAM,mCAAmC,CAAC;AA6DrK,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,OAAO,GAAE,OAAe,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CA+EjJ;AA8bD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAwD1F;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB;AAuFD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,EAAE,CA4CzE;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAYhG"}

package/dist/server-jsgen.js

@@ -1,4 +1,4 @@
-import { Expression, StaticNode, TextNode, DynamicBinding, OpaqueDynamicRegion, MapRegion, WhileLoop, SwitchBlock, TryCatch, ForLoop, TrackDecl, RuntimeStatement, ComponentRef, ComponentCall, BreakSignal, ServerBlock, ClientBlock, HeadBlock, SlotNode, PropSlot, PropSlotRender, } from '@vesk/compiler/src/ir';
+import { Expression, StaticNode, TextNode, DynamicBinding, OpaqueDynamicRegion, MapRegion, WhileLoop, SwitchBlock, TryCatch, ForLoop, TrackDecl, RuntimeStatement, ComponentRef, ComponentCall, BreakSignal, ServerBlock, ClientBlock, HeadBlock, SlotNode, PropSlot, PropSlotRender, regionMarkerId, } from '@vesk/compiler/src/ir';
 import { isStaticIR, collectTrackedNames, transformTracked, transformTrackedInit, semicolonizeStatement } from '@vesk/compiler/src/client-codegen';
 import { unwrapTrackCall, stripTrackGeneric, hasTopLevelComma, skipWhitespace, findBalancedEnd, startsWithIdentifier, callsIdentifier } from '@vesk/compiler/src/scan';
 import { escapeHtml, indent, exprJS, extractTopLevelNames, extractRuntimeNames, buildParamInit, VOID_ELEMENTS, __vskHydrate, __vskMarkerless, __vskImportedNames, setVskImportedNames, setVskForceClaim, takeVskForceClaim, nextVskId, } from '@vesk/compiler/src/server-utils';
@@ -295,7 +295,15 @@ function dynamicBindingToJS(node, tracked) {
 function opaqueRegionToJS(node, isAsync = false, tracked) {
     const lines = [];
     const cond = exprJSX(node.condition, tracked);
+    const rid = regionMarkerId(node);
+    // Marker-mode SSR records which branch the server actually rendered. Strict
+    // markerless SSR must remain ordinary HTML: no comments, no annotations. In
+    // markerless mode the client recovers a differing initial branch through the
+    // structural walker's descriptor validation instead.
+    const mark = __vskHydrate && !__vskMarkerless;
     lines.push(`if (${cond}) {`);
+    if (mark)
+        lines.push(indent(`__out.push('<!--vesk-r:${rid}:0-->');`));
     // Static branch content still needs server claim markers: the client
     // re-branches an if/else-if region on every tracked change (OpaqueDynamicRegion
     // claimStatic codegen), so opposed to plain component bodies it must be able
@@ -308,8 +316,10 @@ function opaqueRegionToJS(node, isAsync = false, tracked) {
             lines.push(indent(code));
     }
     setVskForceClaim(false);
+    lines.push(`} else {`);
+    if (mark)
+        lines.push(indent(`__out.push('<!--vesk-r:${rid}:1-->');`));
     if (node.alternateNodes.length > 0) {
-        lines.push(`} else {`);
         setVskForceClaim(true);
         for (const n of node.alternateNodes) {
             const code = irNodeToJS(n, null, isAsync, tracked);
@@ -319,6 +329,8 @@ function opaqueRegionToJS(node, isAsync = false, tracked) {
         setVskForceClaim(false);
     }
     lines.push(`}`);
+    if (mark)
+        lines.push(`__out.push('<!--vesk-r-end:${rid}-->');`);
     return lines.join('\n');
 }
 function mapRegionToJS(node, isAsync = false, tracked) {

package/dist/typecheck.d.ts

@@ -9,7 +9,7 @@ export interface TypecheckError {
     code: string;
     message: string;
 }
-export declare const AMBIENT = "\ndeclare namespace JSX {\n  type VeskEventHandler<E extends Event = Event> = (event: E) => void;\n  interface VeskCommonAttributes {\n    key?: string | number;\n    class?: string;\n    id?: string;\n    style?: string;\n    title?: string;\n    hidden?: boolean | string;\n    lang?: string;\n    dir?: 'ltr' | 'rtl' | 'auto';\n    tabIndex?: number;\n    role?: string;\n  }\n  interface VeskEventAttributes {\n    onClick?: VeskEventHandler<MouseEvent>;\n    onDblClick?: VeskEventHandler<MouseEvent>;\n    onMouseDown?: VeskEventHandler<MouseEvent>;\n    onMouseUp?: VeskEventHandler<MouseEvent>;\n    onMouseEnter?: VeskEventHandler<MouseEvent>;\n    onMouseLeave?: VeskEventHandler<MouseEvent>;\n    onMouseMove?: VeskEventHandler<MouseEvent>;\n    onKeyDown?: VeskEventHandler<KeyboardEvent>;\n    onKeyUp?: VeskEventHandler<KeyboardEvent>;\n    onFocus?: VeskEventHandler<FocusEvent>;\n    onBlur?: VeskEventHandler<FocusEvent>;\n    onInput?: VeskEventHandler<InputEvent>;\n    onChange?: VeskEventHandler<Event>;\n    onSubmit?: VeskEventHandler<SubmitEvent>;\n    onScroll?: VeskEventHandler<UIEvent>;\n    onWheel?: VeskEventHandler<WheelEvent>;\n    // Lowercase aliases \u2014 HTML attribute names are case-insensitive and real\n    // code writes onclick=/oninput=. Keep in sync with the camelCase members.\n    onclick?: VeskEventHandler<MouseEvent>;\n    ondblclick?: VeskEventHandler<MouseEvent>;\n    onmousedown?: VeskEventHandler<MouseEvent>;\n    onmouseup?: VeskEventHandler<MouseEvent>;\n    onmouseenter?: VeskEventHandler<MouseEvent>;\n    onmouseleave?: VeskEventHandler<MouseEvent>;\n    onmousemove?: VeskEventHandler<MouseEvent>;\n    onkeydown?: VeskEventHandler<KeyboardEvent>;\n    onkeyup?: VeskEventHandler<KeyboardEvent>;\n    onfocus?: VeskEventHandler<FocusEvent>;\n    onblur?: VeskEventHandler<FocusEvent>;\n    oninput?: VeskEventHandler<InputEvent>;\n    onchange?: VeskEventHandler<Event>;\n    onsubmit?: VeskEventHandler<SubmitEvent>;\n  }\n  type Component = string | number | boolean | null | undefined | Component[];\n  interface VeskGlobalAttributes extends VeskCommonAttributes, VeskEventAttributes {\n    children?: Component;\n  }\n  interface VeskAnchorAttributes extends VeskGlobalAttributes {\n    href?: string;\n    target?: string;\n    rel?: string;\n    download?: string | boolean;\n    type?: string;\n    hreflang?: string;\n  }\n  interface VeskMediaAttributes extends VeskGlobalAttributes {\n    src?: string;\n    width?: string | number;\n    height?: string | number;\n  }\n  interface VeskInputAttributes extends VeskGlobalAttributes {\n    type?: string;\n    name?: string;\n    value?: string | number | readonly string[];\n    placeholder?: string;\n    checked?: boolean | string;\n    disabled?: boolean | string;\n    readOnly?: boolean | string;\n    required?: boolean | string;\n    min?: string | number;\n    max?: string | number;\n    step?: string | number;\n    pattern?: string;\n    autoComplete?: string;\n    autoFocus?: boolean | string;\n    multiple?: boolean | string;\n    accept?: string;\n    size?: number;\n    list?: string;\n  }\n  interface IntrinsicElements {\n    html?: VeskGlobalAttributes & { manifest?: string };\n    head?: VeskGlobalAttributes;\n    body?: VeskGlobalAttributes;\n    div?: VeskGlobalAttributes;\n    span?: VeskGlobalAttributes;\n    p?: VeskGlobalAttributes;\n    h1?: VeskGlobalAttributes;\n    h2?: VeskGlobalAttributes;\n    h3?: VeskGlobalAttributes;\n    h4?: VeskGlobalAttributes;\n    h5?: VeskGlobalAttributes;\n    h6?: VeskGlobalAttributes;\n    a?: VeskAnchorAttributes;\n    nav?: VeskGlobalAttributes;\n    header?: VeskGlobalAttributes;\n    footer?: VeskGlobalAttributes;\n    main?: VeskGlobalAttributes;\n    section?: VeskGlobalAttributes;\n    article?: VeskGlobalAttributes;\n    aside?: VeskGlobalAttributes;\n    button?: VeskGlobalAttributes & {\n      type?: 'button' | 'submit' | 'reset';\n      disabled?: boolean | string;\n      name?: string;\n      value?: string | number;\n    };\n    form?: VeskGlobalAttributes & {\n      action?: string;\n      method?: 'get' | 'post';\n      target?: string;\n      encType?: string;\n      noValidate?: boolean | string;\n      name?: string;\n      autoComplete?: string;\n    };\n    input?: VeskInputAttributes;\n    textarea?: VeskGlobalAttributes & {\n      rows?: number;\n      cols?: number;\n      placeholder?: string;\n      value?: string | number;\n      disabled?: boolean | string;\n      readOnly?: boolean | string;\n      required?: boolean | string;\n      name?: string;\n    };\n    select?: VeskGlobalAttributes & {\n      name?: string;\n      value?: string | number | readonly string[];\n      disabled?: boolean | string;\n      required?: boolean | string;\n      multiple?: boolean | string;\n      size?: number;\n      autoComplete?: string;\n    };\n    option?: VeskGlobalAttributes & {\n      value?: string | number;\n      selected?: boolean | string;\n      disabled?: boolean | string;\n      label?: string;\n    };\n    optgroup?: VeskGlobalAttributes & { label?: string; disabled?: boolean | string };\n    label?: VeskGlobalAttributes & { htmlFor?: string };\n    fieldset?: VeskGlobalAttributes & { disabled?: boolean | string; name?: string; form?: string };\n    legend?: VeskGlobalAttributes;\n    datalist?: VeskGlobalAttributes;\n    img?: VeskGlobalAttributes & {\n      src?: string;\n      alt?: string;\n      width?: string | number;\n      height?: string | number;\n      srcSet?: string;\n      sizes?: string;\n      loading?: 'eager' | 'lazy';\n      decoding?: 'sync' | 'async' | 'auto';\n    };\n    picture?: VeskGlobalAttributes;\n    source?: VeskGlobalAttributes & { src?: string; srcSet?: string; sizes?: string; media?: string; type?: string };\n    video?: VeskMediaAttributes & {\n      controls?: boolean | string;\n      autoPlay?: boolean | string;\n      loop?: boolean | string;\n      muted?: boolean | string;\n      preload?: 'none' | 'metadata' | 'auto' | '';\n      poster?: string;\n      playsInline?: boolean | string;\n    };\n    audio?: VeskGlobalAttributes & {\n      src?: string;\n      controls?: boolean | string;\n      autoPlay?: boolean | string;\n      loop?: boolean | string;\n      muted?: boolean | string;\n      preload?: 'none' | 'metadata' | 'auto' | '';\n    };\n    track?: VeskGlobalAttributes & {\n      src?: string;\n      kind?: string;\n      srclang?: string;\n      label?: string;\n      default?: boolean | string;\n    };\n    canvas?: VeskGlobalAttributes & { width?: number; height?: number };\n    iframe?: VeskGlobalAttributes & {\n      src?: string;\n      srcDoc?: string;\n      width?: string | number;\n      height?: string | number;\n      allow?: string;\n      loading?: 'eager' | 'lazy';\n      sandbox?: string;\n      allowFullScreen?: boolean | string;\n      referrerPolicy?: string;\n    };\n    embed?: VeskGlobalAttributes & { src?: string; type?: string; width?: string | number; height?: string | number };\n    object?: VeskGlobalAttributes & { data?: string; type?: string; name?: string; width?: string | number; height?: string | number };\n    table?: VeskGlobalAttributes;\n    caption?: VeskGlobalAttributes;\n    thead?: VeskGlobalAttributes;\n    tbody?: VeskGlobalAttributes;\n    tfoot?: VeskGlobalAttributes;\n    tr?: VeskGlobalAttributes;\n    th?: VeskGlobalAttributes & { colSpan?: number; rowSpan?: number; scope?: string; headers?: string };\n    td?: VeskGlobalAttributes & { colSpan?: number; rowSpan?: number; headers?: string };\n    col?: VeskGlobalAttributes & { span?: number };\n    colgroup?: VeskGlobalAttributes & { span?: number };\n    ul?: VeskGlobalAttributes;\n    ol?: VeskGlobalAttributes & { start?: number; reversed?: boolean | string; type?: string };\n    li?: VeskGlobalAttributes & { value?: number };\n    dl?: VeskGlobalAttributes;\n    dt?: VeskGlobalAttributes;\n    dd?: VeskGlobalAttributes;\n    br?: VeskGlobalAttributes;\n    hr?: VeskGlobalAttributes;\n    pre?: VeskGlobalAttributes;\n    code?: VeskGlobalAttributes;\n    blockquote?: VeskGlobalAttributes & { cite?: string };\n    q?: VeskGlobalAttributes & { cite?: string };\n    strong?: VeskGlobalAttributes;\n    em?: VeskGlobalAttributes;\n    small?: VeskGlobalAttributes;\n    s?: VeskGlobalAttributes;\n    cite?: VeskGlobalAttributes;\n    dfn?: VeskGlobalAttributes;\n    abbr?: VeskGlobalAttributes & { title?: string };\n    time?: VeskGlobalAttributes & { dateTime?: string };\n    data?: VeskGlobalAttributes & { value?: string | number };\n    mark?: VeskGlobalAttributes;\n    del?: VeskGlobalAttributes & { cite?: string; dateTime?: string };\n    ins?: VeskGlobalAttributes & { cite?: string; dateTime?: string };\n    sub?: VeskGlobalAttributes;\n    sup?: VeskGlobalAttributes;\n    u?: VeskGlobalAttributes;\n    kbd?: VeskGlobalAttributes;\n    samp?: VeskGlobalAttributes;\n    var?: VeskGlobalAttributes;\n    figure?: VeskGlobalAttributes;\n    figcaption?: VeskGlobalAttributes;\n    details?: VeskGlobalAttributes & { open?: boolean | string };\n    summary?: VeskGlobalAttributes;\n    dialog?: VeskGlobalAttributes & { open?: boolean | string };\n    menu?: VeskGlobalAttributes;\n    address?: VeskGlobalAttributes;\n    b?: VeskGlobalAttributes;\n    i?: VeskGlobalAttributes;\n    ruby?: VeskGlobalAttributes;\n    rt?: VeskGlobalAttributes;\n    rp?: VeskGlobalAttributes;\n    bdi?: VeskGlobalAttributes;\n    bdo?: VeskGlobalAttributes;\n    wbr?: VeskGlobalAttributes;\n    area?: VeskGlobalAttributes & {\n      coords?: string;\n      shape?: string;\n      href?: string;\n      target?: string;\n      alt?: string;\n    };\n    map?: VeskGlobalAttributes & { name?: string };\n    noscript?: VeskGlobalAttributes;\n    template?: VeskGlobalAttributes;\n    slot?: VeskGlobalAttributes & { name?: string };\n    meta?: VeskGlobalAttributes & {\n      name?: string;\n      content?: string;\n      charSet?: string;\n      httpEquiv?: string;\n      // Lowercase aliases \u2014 HTML attribute names are case-insensitive and\n      // real code (and SSR output) writes charset. Keep in sync with the\n      // camelCase members.\n      charset?: string;\n    };\n    title?: VeskGlobalAttributes;\n    base?: VeskGlobalAttributes & { href?: string; target?: string };\n    link?: VeskGlobalAttributes & {\n      rel?: string;\n      href?: string;\n      sizes?: string;\n      media?: string;\n      as?: string;\n      crossOrigin?: string;\n      integrity?: string;\n      type?: string;\n      // Lowercase alias \u2014 see the meta note above.\n      crossorigin?: string | boolean;\n    };\n    style?: VeskGlobalAttributes & { media?: string };\n    script?: VeskGlobalAttributes & {\n      src?: string;\n      async?: boolean | string;\n      defer?: boolean | string;\n      type?: string;\n      crossOrigin?: string;\n      integrity?: string;\n      nonce?: string;\n      noModule?: boolean | string;\n      // Lowercase aliases \u2014 see the meta note above.\n      crossorigin?: boolean | string;\n    };\n    svg?: VeskGlobalAttributes & {\n      viewBox?: string;\n      xmlns?: string;\n      width?: string | number;\n      height?: string | number;\n      fill?: string;\n      stroke?: string;\n      strokeWidth?: string | number;\n    };\n    g?: VeskGlobalAttributes & { transform?: string; fill?: string; stroke?: string; strokeWidth?: string | number };\n    path?: VeskGlobalAttributes & {\n      d?: string;\n      fill?: string;\n      stroke?: string;\n      strokeWidth?: string | number;\n      fillRule?: string;\n      clipRule?: string;\n    };\n    circle?: VeskGlobalAttributes & {\n      cx?: string | number;\n      cy?: string | number;\n      r?: string | number;\n      fill?: string;\n      stroke?: string;\n      strokeWidth?: string | number;\n    };\n    ellipse?: VeskGlobalAttributes & {\n      cx?: string | number;\n      cy?: string | number;\n      rx?: string | number;\n      ry?: string | number;\n      fill?: string;\n    };\n    rect?: VeskGlobalAttributes & {\n      x?: string | number;\n      y?: string | number;\n      width?: string | number;\n      height?: string | number;\n      rx?: string | number;\n      ry?: string | number;\n      fill?: string;\n    };\n    line?: VeskGlobalAttributes & {\n      x1?: string | number;\n      y1?: string | number;\n      x2?: string | number;\n      y2?: string | number;\n      stroke?: string;\n      strokeWidth?: string | number;\n    };\n    polyline?: VeskGlobalAttributes & { points?: string; fill?: string; stroke?: string };\n    polygon?: VeskGlobalAttributes & { points?: string; fill?: string; stroke?: string };\n    text?: VeskGlobalAttributes & { x?: string | number; y?: string | number; fill?: string; fontSize?: string | number };\n    defs?: VeskGlobalAttributes;\n    linearGradient?: VeskGlobalAttributes;\n    radialGradient?: VeskGlobalAttributes;\n    stop?: VeskGlobalAttributes & { offset?: string | number; stopColor?: string; stopOpacity?: string | number };\n\n    // Unknown/custom tags stay permissive \u2014 components and web components\n    // resolve through the index signature, known tags get the typed members.\n    [elemName: string]: unknown;\n  }\n  type Component = string | number | boolean | null | undefined | Component[];\n}\ndeclare type Component = string | number | boolean | null | undefined | Component[];\ndeclare const Head: (props: { children?: Component }) => Component;\n// Server-side .vsk code reads process.env (NODE_ENV, feature flags, secrets).\n// @types/node is not installed for browser targets, so declare the slice the\n// framework documents rather than failing every project that branches on env.\ndeclare const process: {\n  env: Record<string, string | undefined>;\n  argv: string[];\n  platform: string;\n  cwd(): string;\n  exit(code?: number): never;\n};\ninterface Tracked<T> {\n  get(): T;\n  set(value: T): void;\n}\ninterface Derived<T> {\n  get(): T;\n  set(value: T): void;\n}\ndeclare function track<T>(initialValue: T): Tracked<T>;\ndeclare function track<T>(fn: () => T): Derived<T>;\ndeclare function derived<T>(fn: () => T): Derived<T>;\ndeclare function effect(fn: () => void): unknown;\ndeclare function untrack<T>(fn: () => T): T;\ndeclare function peek<T>(fn: () => T): T;\ndeclare function tick(): Promise<void>;\ndeclare function flushSync(fn: () => void): void;\ndeclare function on_destroy(fn: () => void): void;\n/**\n * A context created by createContext. The value type flows from the default\n * (or an explicit type argument) through set() and every get().\n */\ninterface VeskContext<T> {\n  readonly id: symbol;\n  get(): T;\n  set(value: T): void;\n}\ndeclare function createContext<const T>(defaultValue: T): VeskContext<T>;\n// Typed request-scoped store (middleware locals, event payloads). Declare the\n// shape once and every set/get is checked against it.\ninterface VeskLocals<T extends object> {\n  set<K extends keyof T>(key: K, value: T[K]): void;\n  get<K extends keyof T>(key: K): T[K];\n  has<K extends keyof T>(key: K): boolean;\n  delete<K extends keyof T>(key: K): void;\n  all(): T;\n}\ndeclare function createLocals<T extends object = Record<string, unknown>>(): VeskLocals<T>;\n// useFetch returns a THENABLE resource, not the data itself. In async\n// components you must `await` it before reading/iterating the payload;\n// passing `into: <tracked cell>` writes the payload into the cell and makes\n// awaiting unnecessary (the return value can be ignored).\ninterface VeskResource<T> {\n  loading: boolean;\n  error: unknown;\n  data: T | undefined;\n  refresh(): void;\n  abort(): void;\n  then<TResult1 = T, TResult2 = never>(\n    onfulfilled?: ((value: T) => TResult1 | PromiseLike<TResult1>) | undefined | null,\n    onrejected?: ((reason: unknown) => TResult2 | PromiseLike<TResult2>) | undefined | null,\n  ): PromiseLike<TResult1 | TResult2>;\n}\ninterface VeskUseFetchOptions<T> {\n  /** Cache/SSR key \u2014 defaults to the URL string. */\n  key?: string;\n  /** Target tracked cell (from track<T>()) \u2014 the payload is written into it, so awaiting is unnecessary. */\n  into?: Tracked<T>;\n  staleTime?: number;\n  keepPreviousData?: boolean;\n  retry?: number;\n  retryDelay?: number;\n  timeout?: number;\n  enabled?: boolean;\n  dedupe?: boolean;\n  method?: string;\n  headers?: Record<string, string>;\n  body?: unknown;\n  credentials?: 'omit' | 'same-origin' | 'include';\n  signal?: { readonly aborted: boolean };\n}\ndeclare function useFetch<T = unknown>(\n  urlOrFn: string | (() => Promise<T>),\n  options?: VeskUseFetchOptions<T>,\n): VeskResource<T>;\ndeclare namespace useFetch {\n  function text<T = string>(url: string, options?: Omit<VeskUseFetchOptions<T>, 'body'>): VeskResource<T>;\n  function json<T = unknown>(url: string, options?: Omit<VeskUseFetchOptions<T>, 'body'>): VeskResource<T>;\n  function arrayBuffer<T = ArrayBuffer>(url: string, options?: Omit<VeskUseFetchOptions<T>, 'body'>): VeskResource<T>;\n}\ndeclare function useRouter(): unknown;\ndeclare function useParams(): Record<string, string>;\ndeclare function usePathname(): string;\ndeclare function useSearchParams(): URLSearchParams;\ndeclare function useNavigate(): (to: string) => void;\ndeclare function defineAction(...args: unknown[]): unknown;\ndeclare const Form: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Field: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare function required(...args: unknown[]): unknown;\ndeclare function email(...args: unknown[]): unknown;\ndeclare function minLength(...args: unknown[]): unknown;\ndeclare function maxLength(...args: unknown[]): unknown;\ndeclare function pattern(...args: unknown[]): unknown;\ndeclare function custom(...args: unknown[]): unknown;\ndeclare const Link: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const NavLink: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Outlet: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Image: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Portal: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Experiment: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare function useLoadingIndicator(options?: {\n  duration?: number;\n  throttle?: number;\n  hideDelay?: number;\n  resetDelay?: number;\n  estimatedProgress?: (duration: number, elapsed: number) => number;\n}): {\n  progress: Tracked<number>;\n  isLoading: Tracked<boolean>;\n  error: Tracked<boolean>;\n  start(opts?: { force?: boolean }): void;\n  set(value: number, opts?: { force?: boolean }): void;\n  finish(opts?: { force?: boolean; error?: boolean }): void;\n  clear(): void;\n};\ndeclare const LoadingIndicator: (props: {\n  color?: string | false;\n  errorColor?: string;\n  height?: number | string;\n  position?: 'top' | 'bottom';\n  zIndex?: number;\n  duration?: number;\n  throttle?: number;\n  hideDelay?: number;\n  resetDelay?: number;\n  estimatedProgress?: (duration: number, elapsed: number) => number;\n  class?: string;\n  className?: string;\n  style?: string;\n  children?: Component;\n  [k: string]: unknown;\n}) => Component;\ndeclare const JsonLd: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const ArticleSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const ProductSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const FAQPageSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const BreadcrumbListSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const OrganizationSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const LocalBusinessSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const VideoSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare function redirect(...args: unknown[]): unknown;\ndeclare function permanentRedirect(...args: unknown[]): unknown;\ndeclare function notFound(...args: unknown[]): never;\ndeclare class NotFoundError extends Error {}\ndeclare function createResource(...args: unknown[]): unknown;\ndeclare function getAction(...args: unknown[]): unknown;\ndeclare function validateActionInput(...args: unknown[]): unknown;\ndeclare function issuesToFieldMap(...args: unknown[]): unknown;\ndeclare function isFormAction(...args: unknown[]): unknown;\n";
+export declare const AMBIENT = "\ndeclare namespace JSX {\n  type VeskEventHandler<E extends Event = Event> = (event: E) => void;\n  interface VeskCommonAttributes {\n    key?: string | number;\n    class?: string;\n    id?: string;\n    style?: string;\n    title?: string;\n    hidden?: boolean | string;\n    lang?: string;\n    dir?: 'ltr' | 'rtl' | 'auto';\n    tabIndex?: number;\n    role?: string;\n  }\n  interface VeskEventAttributes {\n    onClick?: VeskEventHandler<MouseEvent>;\n    onDblClick?: VeskEventHandler<MouseEvent>;\n    onMouseDown?: VeskEventHandler<MouseEvent>;\n    onMouseUp?: VeskEventHandler<MouseEvent>;\n    onMouseEnter?: VeskEventHandler<MouseEvent>;\n    onMouseLeave?: VeskEventHandler<MouseEvent>;\n    onMouseMove?: VeskEventHandler<MouseEvent>;\n    onKeyDown?: VeskEventHandler<KeyboardEvent>;\n    onKeyUp?: VeskEventHandler<KeyboardEvent>;\n    onFocus?: VeskEventHandler<FocusEvent>;\n    onBlur?: VeskEventHandler<FocusEvent>;\n    onInput?: VeskEventHandler<InputEvent>;\n    onChange?: VeskEventHandler<Event>;\n    onSubmit?: VeskEventHandler<SubmitEvent>;\n    onScroll?: VeskEventHandler<UIEvent>;\n    onWheel?: VeskEventHandler<WheelEvent>;\n    // Lowercase aliases \u2014 HTML attribute names are case-insensitive and real\n    // code writes onclick=/oninput=. Keep in sync with the camelCase members.\n    onclick?: VeskEventHandler<MouseEvent>;\n    ondblclick?: VeskEventHandler<MouseEvent>;\n    onmousedown?: VeskEventHandler<MouseEvent>;\n    onmouseup?: VeskEventHandler<MouseEvent>;\n    onmouseenter?: VeskEventHandler<MouseEvent>;\n    onmouseleave?: VeskEventHandler<MouseEvent>;\n    onmousemove?: VeskEventHandler<MouseEvent>;\n    onkeydown?: VeskEventHandler<KeyboardEvent>;\n    onkeyup?: VeskEventHandler<KeyboardEvent>;\n    onfocus?: VeskEventHandler<FocusEvent>;\n    onblur?: VeskEventHandler<FocusEvent>;\n    oninput?: VeskEventHandler<InputEvent>;\n    onchange?: VeskEventHandler<Event>;\n    onsubmit?: VeskEventHandler<SubmitEvent>;\n  }\n  type Component = string | number | boolean | null | undefined | Component[];\n  interface VeskGlobalAttributes extends VeskCommonAttributes, VeskEventAttributes {\n    children?: Component;\n  }\n  interface VeskAnchorAttributes extends VeskGlobalAttributes {\n    href?: string;\n    target?: string;\n    rel?: string;\n    download?: string | boolean;\n    type?: string;\n    hreflang?: string;\n  }\n  interface VeskMediaAttributes extends VeskGlobalAttributes {\n    src?: string;\n    width?: string | number;\n    height?: string | number;\n  }\n  interface VeskInputAttributes extends VeskGlobalAttributes {\n    type?: string;\n    name?: string;\n    value?: string | number | readonly string[];\n    placeholder?: string;\n    checked?: boolean | string;\n    disabled?: boolean | string;\n    readOnly?: boolean | string;\n    required?: boolean | string;\n    min?: string | number;\n    max?: string | number;\n    step?: string | number;\n    pattern?: string;\n    autoComplete?: string;\n    autoFocus?: boolean | string;\n    multiple?: boolean | string;\n    accept?: string;\n    size?: number;\n    list?: string;\n  }\n  interface IntrinsicElements {\n    html?: VeskGlobalAttributes & { manifest?: string };\n    head?: VeskGlobalAttributes;\n    body?: VeskGlobalAttributes;\n    div?: VeskGlobalAttributes;\n    span?: VeskGlobalAttributes;\n    p?: VeskGlobalAttributes;\n    h1?: VeskGlobalAttributes;\n    h2?: VeskGlobalAttributes;\n    h3?: VeskGlobalAttributes;\n    h4?: VeskGlobalAttributes;\n    h5?: VeskGlobalAttributes;\n    h6?: VeskGlobalAttributes;\n    a?: VeskAnchorAttributes;\n    nav?: VeskGlobalAttributes;\n    header?: VeskGlobalAttributes;\n    footer?: VeskGlobalAttributes;\n    main?: VeskGlobalAttributes;\n    section?: VeskGlobalAttributes;\n    article?: VeskGlobalAttributes;\n    aside?: VeskGlobalAttributes;\n    button?: VeskGlobalAttributes & {\n      type?: 'button' | 'submit' | 'reset';\n      disabled?: boolean | string;\n      name?: string;\n      value?: string | number;\n    };\n    form?: VeskGlobalAttributes & {\n      action?: string;\n      method?: 'get' | 'post';\n      target?: string;\n      encType?: string;\n      noValidate?: boolean | string;\n      name?: string;\n      autoComplete?: string;\n    };\n    input?: VeskInputAttributes;\n    textarea?: VeskGlobalAttributes & {\n      rows?: number;\n      cols?: number;\n      placeholder?: string;\n      value?: string | number;\n      disabled?: boolean | string;\n      readOnly?: boolean | string;\n      required?: boolean | string;\n      name?: string;\n    };\n    select?: VeskGlobalAttributes & {\n      name?: string;\n      value?: string | number | readonly string[];\n      disabled?: boolean | string;\n      required?: boolean | string;\n      multiple?: boolean | string;\n      size?: number;\n      autoComplete?: string;\n    };\n    option?: VeskGlobalAttributes & {\n      value?: string | number;\n      selected?: boolean | string;\n      disabled?: boolean | string;\n      label?: string;\n    };\n    optgroup?: VeskGlobalAttributes & { label?: string; disabled?: boolean | string };\n    label?: VeskGlobalAttributes & { htmlFor?: string };\n    fieldset?: VeskGlobalAttributes & { disabled?: boolean | string; name?: string; form?: string };\n    legend?: VeskGlobalAttributes;\n    datalist?: VeskGlobalAttributes;\n    img?: VeskGlobalAttributes & {\n      src?: string;\n      alt?: string;\n      width?: string | number;\n      height?: string | number;\n      srcSet?: string;\n      sizes?: string;\n      loading?: 'eager' | 'lazy';\n      decoding?: 'sync' | 'async' | 'auto';\n    };\n    picture?: VeskGlobalAttributes;\n    source?: VeskGlobalAttributes & { src?: string; srcSet?: string; sizes?: string; media?: string; type?: string };\n    video?: VeskMediaAttributes & {\n      controls?: boolean | string;\n      autoPlay?: boolean | string;\n      loop?: boolean | string;\n      muted?: boolean | string;\n      preload?: 'none' | 'metadata' | 'auto' | '';\n      poster?: string;\n      playsInline?: boolean | string;\n    };\n    audio?: VeskGlobalAttributes & {\n      src?: string;\n      controls?: boolean | string;\n      autoPlay?: boolean | string;\n      loop?: boolean | string;\n      muted?: boolean | string;\n      preload?: 'none' | 'metadata' | 'auto' | '';\n    };\n    track?: VeskGlobalAttributes & {\n      src?: string;\n      kind?: string;\n      srclang?: string;\n      label?: string;\n      default?: boolean | string;\n    };\n    canvas?: VeskGlobalAttributes & { width?: number; height?: number };\n    iframe?: VeskGlobalAttributes & {\n      src?: string;\n      srcDoc?: string;\n      width?: string | number;\n      height?: string | number;\n      allow?: string;\n      loading?: 'eager' | 'lazy';\n      sandbox?: string;\n      allowFullScreen?: boolean | string;\n      referrerPolicy?: string;\n    };\n    embed?: VeskGlobalAttributes & { src?: string; type?: string; width?: string | number; height?: string | number };\n    object?: VeskGlobalAttributes & { data?: string; type?: string; name?: string; width?: string | number; height?: string | number };\n    table?: VeskGlobalAttributes;\n    caption?: VeskGlobalAttributes;\n    thead?: VeskGlobalAttributes;\n    tbody?: VeskGlobalAttributes;\n    tfoot?: VeskGlobalAttributes;\n    tr?: VeskGlobalAttributes;\n    th?: VeskGlobalAttributes & { colSpan?: number; rowSpan?: number; scope?: string; headers?: string };\n    td?: VeskGlobalAttributes & { colSpan?: number; rowSpan?: number; headers?: string };\n    col?: VeskGlobalAttributes & { span?: number };\n    colgroup?: VeskGlobalAttributes & { span?: number };\n    ul?: VeskGlobalAttributes;\n    ol?: VeskGlobalAttributes & { start?: number; reversed?: boolean | string; type?: string };\n    li?: VeskGlobalAttributes & { value?: number };\n    dl?: VeskGlobalAttributes;\n    dt?: VeskGlobalAttributes;\n    dd?: VeskGlobalAttributes;\n    br?: VeskGlobalAttributes;\n    hr?: VeskGlobalAttributes;\n    pre?: VeskGlobalAttributes;\n    code?: VeskGlobalAttributes;\n    blockquote?: VeskGlobalAttributes & { cite?: string };\n    q?: VeskGlobalAttributes & { cite?: string };\n    strong?: VeskGlobalAttributes;\n    em?: VeskGlobalAttributes;\n    small?: VeskGlobalAttributes;\n    s?: VeskGlobalAttributes;\n    cite?: VeskGlobalAttributes;\n    dfn?: VeskGlobalAttributes;\n    abbr?: VeskGlobalAttributes & { title?: string };\n    time?: VeskGlobalAttributes & { dateTime?: string };\n    data?: VeskGlobalAttributes & { value?: string | number };\n    mark?: VeskGlobalAttributes;\n    del?: VeskGlobalAttributes & { cite?: string; dateTime?: string };\n    ins?: VeskGlobalAttributes & { cite?: string; dateTime?: string };\n    sub?: VeskGlobalAttributes;\n    sup?: VeskGlobalAttributes;\n    u?: VeskGlobalAttributes;\n    kbd?: VeskGlobalAttributes;\n    samp?: VeskGlobalAttributes;\n    var?: VeskGlobalAttributes;\n    figure?: VeskGlobalAttributes;\n    figcaption?: VeskGlobalAttributes;\n    details?: VeskGlobalAttributes & { open?: boolean | string };\n    summary?: VeskGlobalAttributes;\n    dialog?: VeskGlobalAttributes & { open?: boolean | string };\n    menu?: VeskGlobalAttributes;\n    address?: VeskGlobalAttributes;\n    b?: VeskGlobalAttributes;\n    i?: VeskGlobalAttributes;\n    ruby?: VeskGlobalAttributes;\n    rt?: VeskGlobalAttributes;\n    rp?: VeskGlobalAttributes;\n    bdi?: VeskGlobalAttributes;\n    bdo?: VeskGlobalAttributes;\n    wbr?: VeskGlobalAttributes;\n    area?: VeskGlobalAttributes & {\n      coords?: string;\n      shape?: string;\n      href?: string;\n      target?: string;\n      alt?: string;\n    };\n    map?: VeskGlobalAttributes & { name?: string };\n    noscript?: VeskGlobalAttributes;\n    template?: VeskGlobalAttributes;\n    slot?: VeskGlobalAttributes & { name?: string };\n    meta?: VeskGlobalAttributes & {\n      name?: string;\n      content?: string;\n      charSet?: string;\n      httpEquiv?: string;\n      // Lowercase aliases \u2014 HTML attribute names are case-insensitive and\n      // real code (and SSR output) writes charset. Keep in sync with the\n      // camelCase members.\n      charset?: string;\n    };\n    title?: VeskGlobalAttributes;\n    base?: VeskGlobalAttributes & { href?: string; target?: string };\n    link?: VeskGlobalAttributes & {\n      rel?: string;\n      href?: string;\n      sizes?: string;\n      media?: string;\n      as?: string;\n      crossOrigin?: string;\n      integrity?: string;\n      type?: string;\n      // Lowercase alias \u2014 see the meta note above.\n      crossorigin?: string | boolean;\n    };\n    style?: VeskGlobalAttributes & { media?: string };\n    script?: VeskGlobalAttributes & {\n      src?: string;\n      async?: boolean | string;\n      defer?: boolean | string;\n      type?: string;\n      crossOrigin?: string;\n      integrity?: string;\n      nonce?: string;\n      noModule?: boolean | string;\n      // Lowercase aliases \u2014 see the meta note above.\n      crossorigin?: boolean | string;\n    };\n    svg?: VeskGlobalAttributes & {\n      viewBox?: string;\n      xmlns?: string;\n      width?: string | number;\n      height?: string | number;\n      fill?: string;\n      stroke?: string;\n      strokeWidth?: string | number;\n    };\n    g?: VeskGlobalAttributes & { transform?: string; fill?: string; stroke?: string; strokeWidth?: string | number };\n    path?: VeskGlobalAttributes & {\n      d?: string;\n      fill?: string;\n      stroke?: string;\n      strokeWidth?: string | number;\n      fillRule?: string;\n      clipRule?: string;\n    };\n    circle?: VeskGlobalAttributes & {\n      cx?: string | number;\n      cy?: string | number;\n      r?: string | number;\n      fill?: string;\n      stroke?: string;\n      strokeWidth?: string | number;\n    };\n    ellipse?: VeskGlobalAttributes & {\n      cx?: string | number;\n      cy?: string | number;\n      rx?: string | number;\n      ry?: string | number;\n      fill?: string;\n    };\n    rect?: VeskGlobalAttributes & {\n      x?: string | number;\n      y?: string | number;\n      width?: string | number;\n      height?: string | number;\n      rx?: string | number;\n      ry?: string | number;\n      fill?: string;\n    };\n    line?: VeskGlobalAttributes & {\n      x1?: string | number;\n      y1?: string | number;\n      x2?: string | number;\n      y2?: string | number;\n      stroke?: string;\n      strokeWidth?: string | number;\n    };\n    polyline?: VeskGlobalAttributes & { points?: string; fill?: string; stroke?: string };\n    polygon?: VeskGlobalAttributes & { points?: string; fill?: string; stroke?: string };\n    text?: VeskGlobalAttributes & { x?: string | number; y?: string | number; fill?: string; fontSize?: string | number };\n    defs?: VeskGlobalAttributes;\n    linearGradient?: VeskGlobalAttributes;\n    radialGradient?: VeskGlobalAttributes;\n    stop?: VeskGlobalAttributes & { offset?: string | number; stopColor?: string; stopOpacity?: string | number };\n\n    // Unknown/custom tags stay permissive \u2014 components and web components\n    // resolve through the index signature, known tags get the typed members.\n    [elemName: string]: unknown;\n  }\n  type Component = string | number | boolean | null | undefined | Component[];\n}\ndeclare type Component = string | number | boolean | null | undefined | Component[];\ndeclare const Head: (props: { children?: Component }) => Component;\n// Server-side .vsk code reads process.env (NODE_ENV, feature flags, secrets).\n// @types/node is not installed for browser targets, so declare the slice the\n// framework documents rather than failing every project that branches on env.\ndeclare const process: {\n  env: Record<string, string | undefined>;\n  argv: string[];\n  platform: string;\n  cwd(): string;\n  exit(code?: number): never;\n};\ninterface Tracked<T> {\n  get(): T;\n  set(value: T): void;\n}\ninterface Derived<T> {\n  get(): T;\n  set(value: T): void;\n}\ndeclare function track<T>(initialValue: T): Tracked<T>;\ndeclare function track<T>(fn: () => T): Derived<T>;\ndeclare function derived<T>(fn: () => T): Derived<T>;\ndeclare function effect(fn: () => void): unknown;\ndeclare function untrack<T>(fn: () => T): T;\ndeclare function peek<T>(fn: () => T): T;\ndeclare function tick(): Promise<void>;\ndeclare function flushSync(fn: () => void): void;\ndeclare function on_destroy(fn: () => void): void;\n/**\n * A context created by createContext. The value type flows from the default\n * (or an explicit type argument) through set() and every get().\n */\ninterface VeskContext<T> {\n  readonly id: symbol;\n  get(): T;\n  set(value: T): void;\n}\ndeclare function createContext<const T>(defaultValue: T): VeskContext<T>;\n// Typed request-scoped store (middleware locals, event payloads). Declare the\n// shape once and every set/get is checked against it.\ninterface VeskLocals<T extends object> {\n  set<K extends keyof T>(key: K, value: T[K]): void;\n  get<K extends keyof T>(key: K): T[K];\n  has<K extends keyof T>(key: K): boolean;\n  delete<K extends keyof T>(key: K): void;\n  all(): T;\n}\ndeclare function createLocals<T extends object = Record<string, unknown>>(): VeskLocals<T>;\n// useFetch returns a real Promise carrying resource state. In async components\n// you must `await` it before reading/iterating the payload; passing\n// `into: <tracked cell>` writes the payload into the cell and makes awaiting\n// unnecessary (the return value can be ignored).\ninterface VeskResource<T> extends Promise<T> {\n  loading: boolean;\n  error: unknown;\n  data: T | undefined;\n  refresh(): void;\n  abort(): void;\n}\ninterface VeskUseFetchOptions<T> {\n  /** Cache/SSR key \u2014 defaults to the URL string. */\n  key?: string;\n  /** Target tracked cell (from track<T>()) \u2014 the payload is written into it, so awaiting is unnecessary. */\n  into?: Tracked<T>;\n  staleTime?: number;\n  keepPreviousData?: boolean;\n  retry?: number;\n  retryDelay?: number;\n  timeout?: number;\n  enabled?: boolean;\n  dedupe?: boolean;\n  method?: string;\n  headers?: Record<string, string>;\n  body?: unknown;\n  credentials?: 'omit' | 'same-origin' | 'include';\n  signal?: { readonly aborted: boolean };\n}\ndeclare function useFetch<T = unknown>(\n  urlOrFn: string | (() => Promise<T>),\n  options?: VeskUseFetchOptions<T>,\n): VeskResource<T>;\ndeclare namespace useFetch {\n  function text<T = string>(url: string, options?: Omit<VeskUseFetchOptions<T>, 'body'>): VeskResource<T>;\n  function json<T = unknown>(url: string, options?: Omit<VeskUseFetchOptions<T>, 'body'>): VeskResource<T>;\n  function arrayBuffer<T = ArrayBuffer>(url: string, options?: Omit<VeskUseFetchOptions<T>, 'body'>): VeskResource<T>;\n}\ndeclare function useRouter(): unknown;\ndeclare function useParams(): Record<string, string>;\ndeclare function usePathname(): string;\ndeclare function useSearchParams(): URLSearchParams;\ndeclare function useNavigate(): (to: string) => void;\ndeclare function defineAction(...args: unknown[]): unknown;\ndeclare const Form: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Field: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare function required(...args: unknown[]): unknown;\ndeclare function email(...args: unknown[]): unknown;\ndeclare function minLength(...args: unknown[]): unknown;\ndeclare function maxLength(...args: unknown[]): unknown;\ndeclare function pattern(...args: unknown[]): unknown;\ndeclare function custom(...args: unknown[]): unknown;\ndeclare const Link: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const NavLink: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Outlet: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Image: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Portal: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const Experiment: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare function useLoadingIndicator(options?: {\n  duration?: number;\n  throttle?: number;\n  hideDelay?: number;\n  resetDelay?: number;\n  estimatedProgress?: (duration: number, elapsed: number) => number;\n}): {\n  progress: Tracked<number>;\n  isLoading: Tracked<boolean>;\n  error: Tracked<boolean>;\n  start(opts?: { force?: boolean }): void;\n  set(value: number, opts?: { force?: boolean }): void;\n  finish(opts?: { force?: boolean; error?: boolean }): void;\n  clear(): void;\n};\ndeclare const LoadingIndicator: (props: {\n  color?: string | false;\n  errorColor?: string;\n  height?: number | string;\n  position?: 'top' | 'bottom';\n  zIndex?: number;\n  duration?: number;\n  throttle?: number;\n  hideDelay?: number;\n  resetDelay?: number;\n  estimatedProgress?: (duration: number, elapsed: number) => number;\n  class?: string;\n  className?: string;\n  style?: string;\n  children?: Component;\n  [k: string]: unknown;\n}) => Component;\ndeclare const JsonLd: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const ArticleSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const ProductSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const FAQPageSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const BreadcrumbListSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const OrganizationSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const LocalBusinessSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare const VideoSchema: (props: { [k: string]: unknown; children?: Component }) => Component;\ndeclare function redirect(...args: unknown[]): unknown;\ndeclare function permanentRedirect(...args: unknown[]): unknown;\ndeclare function notFound(...args: unknown[]): never;\ndeclare class NotFoundError extends Error {}\ndeclare function createResource(...args: unknown[]): unknown;\ndeclare function getAction(...args: unknown[]): unknown;\ndeclare function validateActionInput(...args: unknown[]): unknown;\ndeclare function issuesToFieldMap(...args: unknown[]): unknown;\ndeclare function isFormAction(...args: unknown[]): unknown;\n";
 export declare const RUNTIME_OVERRIDE = "\nimport '@vesk/runtime';\ndeclare module '@vesk/runtime' {\n  export function track<T>(initialValue: T): Tracked<T>;\n  export function track<T>(fn: () => T): Derived<T>;\n  export function derived<T>(fn: () => T): Derived<T>;\n  export function createContext<const T>(defaultValue: T): VeskContext<T>;\n  export function createLocals<T extends object = Record<string, unknown>>(): VeskLocals<T>;\n}\n";
 export interface TypecheckResult {
     errors: TypecheckError[];

package/dist/typecheck.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typecheck.d.ts","sourceRoot":"","sources":["../src/typecheck.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,gBAAgB;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAKD,eAAO,MAAM,OAAO,6xoBAkhBnB,CAAC;AAEF,eAAO,MAAM,gBAAgB,uZAS5B,CAAC;AA6LF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAuCD,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,GAAE,gBAAqB,GAAG,eAAe,CA2GlG;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAItE;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,MAAM,CAI1E"}
+{"version":3,"file":"typecheck.d.ts","sourceRoot":"","sources":["../src/typecheck.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,gBAAgB;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAKD,eAAO,MAAM,OAAO,uioBA8gBnB,CAAC;AAEF,eAAO,MAAM,gBAAgB,uZAS5B,CAAC;AA6LF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAuCD,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,GAAE,gBAAqB,GAAG,eAAe,CA2GlG;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAItE;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,MAAM,CAI1E"}

package/dist/typecheck.js

@@ -425,20 +425,16 @@ interface VeskLocals<T extends object> {
   all(): T;
 }
 declare function createLocals<T extends object = Record<string, unknown>>(): VeskLocals<T>;
-// useFetch returns a THENABLE resource, not the data itself. In async
-// components you must \`await\` it before reading/iterating the payload;
-// passing \`into: <tracked cell>\` writes the payload into the cell and makes
-// awaiting unnecessary (the return value can be ignored).
-interface VeskResource<T> {
+// useFetch returns a real Promise carrying resource state. In async components
+// you must \`await\` it before reading/iterating the payload; passing
+// \`into: <tracked cell>\` writes the payload into the cell and makes awaiting
+// unnecessary (the return value can be ignored).
+interface VeskResource<T> extends Promise<T> {
   loading: boolean;
   error: unknown;
   data: T | undefined;
   refresh(): void;
   abort(): void;
-  then<TResult1 = T, TResult2 = never>(
-    onfulfilled?: ((value: T) => TResult1 | PromiseLike<TResult1>) | undefined | null,
-    onrejected?: ((reason: unknown) => TResult2 | PromiseLike<TResult2>) | undefined | null,
-  ): PromiseLike<TResult1 | TResult2>;
 }
 interface VeskUseFetchOptions<T> {
   /** Cache/SSR key — defaults to the URL string. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vesk/compiler",
-  "version": "0.2.94",
+  "version": "0.2.96",
   "type": "module",
   "description": "Vesk compiler — lexer, parser, semantic analysis, IR, codegen",
   "main": "./dist/index.js",
@@ -20,7 +20,7 @@
   },
   "dependencies": {
     "@sveltejs/acorn-typescript": "^1.0.0",
-    "@vesk/types": "^0.2.94",
+    "@vesk/types": "^0.2.96",
     "acorn": "^8.15.0",
     "esrap": "^2.3.0",
     "is-reference": "^3.0.0",