@vesk/compiler 0.2.57 → 0.2.59

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,EASjB,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,CAU5E;AAED;;;;;;;;;;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;AAoBD,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;AAu8DD,iBAAS,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAe3C;AAmJD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAO9C;AAuED,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,EASjB,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,CAU5E;AAED;;;;;;;;;;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;AAoBD,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;AAmiED,iBAAS,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAe3C;AAmJD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAO9C;AAuED,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

@@ -989,12 +989,34 @@ function emitClientHead(ctx, node, tracked) {
         }
     }
 }
+/**
+ * Whether an expression can change after first render.
+ *
+ * Two ways it can:
+ *  1. it reads `props` or a locally declared `track()` binding — visible
+ *     statically; or
+ *  2. it CALLS something. A call is the only way to hide a cell read behind a
+ *     function boundary, and hiding one is not exotic — it is the documented
+ *     store pattern: a module-scope `track()` cell published as an accessor
+ *     (`notificationDrawerCell.get()`, `isAuthenticated()`,
+ *     `unreadNotificationCount()`). The compiler cannot see inside those calls,
+ *     so it must assume they subscribe; the runtime's `get()` records the
+ *     dependency when the expression is evaluated inside the emitted effect,
+ *     which is exactly where these conditions are re-evaluated.
+ *
+ * Treating a call as reactive costs one never-firing effect for a genuinely
+ * static condition. The opposite mistake — treating a store-backed condition as
+ * static — is a component that renders once and never updates again.
+ */
 function isReactiveExpression(node, tracked) {
     const ast = node && (node.ast || node);
     if (!ast)
         return false;
     let reactive = false;
     walk(ast, tracked, {
+        CallExpression() {
+            reactive = true;
+        },
         Identifier(n, context) {
             if (reactive)
                 return;
@@ -1236,10 +1258,20 @@ function emitComponentCall(ctx, node, tracked, effectsVar, parentVar, compPrefix
             ctx.push(`return $f; })();`);
             propsEntries.push(`children: ${frag}`);
         }
-        if (ctx.markerless && promptExpr && !plainTarget) {
-            // Deposit the residue for the child's first top-level claim (it runs on
-            // this same walker with its own zero `topPendingSkip`). A region budget is
-            // spent by THIS call, so sibling claims in the branch stay positional.
+        // Deposit the residue for the child's first top-level claim (it runs on
+        // this same walker with its own zero `topPendingSkip`). A region budget is
+        // spent by THIS call, so sibling claims in the branch stay positional.
+        //
+        // The deposit goes down for PLAIN targets too: "imported value" does not mean
+        // "cannot claim". lucide-vesk icons are imported functions that follow the
+        // framework component protocol `(props, registry, walker)` and claim their own
+        // SSR root through it, so without the deposit they claimed the slot holding the
+        // STATIC residue in front of them (`<button><span>Apply Now</span><svg/></button>`)
+        // — the descriptor missed on `<span>` and the walker detached real
+        // server-rendered content. A plain target that does NOT claim simply leaves the
+        // deposit for the post-call adoption claim below, which carries an explicit
+        // offset and therefore consumes/clears it.
+        if (ctx.markerless && promptExpr) {
             ctx.push(`${walkerArg}.injectSkipK(${promptExpr});`);
         }
         ctx.push(`let ${v} = undefined;`);
@@ -2334,6 +2366,42 @@ function generateComponent(comp, importedNames = new Set(), hydrate = false, asy
         // budget intact for the next claim.
         topBudget = regionBudgetVar(ctx, 0, undefined, `(typeof __hydrate.takeSkipK === 'function' ? __hydrate.takeSkipK() : 0)`);
     }
+    if (ctx.hydrate) {
+        // A component whose body emits NO claim still rendered SSR content: hydrate
+        // mode never re-creates a static subtree, so that content stays in the DOM
+        // with nobody to own it. The NEXT sibling's claim then landed on it, read
+        // the tag mismatch as a divergence, consumed the slot and DETACHED it —
+        // handing back a fresh element that never reached the document, so this
+        // component rendered but was inert. A bare `effect()` plus static markup is
+        // exactly this case: not "fully static" (so it gets no claimOnly stub from
+        // the component map below) and yet it claims nothing.
+        //
+        // The component claims its OWN slots instead, which is what the fully-static
+        // stub already does. Counting is exact here because the guard below admits
+        // only top-level static/text/runtime nodes: each StaticNode is one server
+        // element, and fragments are flattened into the node list by the IR
+        // generator rather than wrapped. If anything in the body could claim, or
+        // anything is a region/loop/call whose slot count depends on which branch
+        // ran, no prelude is emitted — the callee stays exactly as it was.
+        //
+        // This is compile-time only: no runtime walker change and no per-call-site
+        // marker, so it costs nothing in the client bundle.
+        const bodyNodes = comp.body.filter((node) => !(node instanceof TrackDecl));
+        // Text is never a walker slot: a top-level text binding and a bare text
+        // statement both render into an element's interior, so they neither claim
+        // nor occupy a top-level slot.
+        const slotless = (node) => node instanceof StaticNode || node instanceof TextNode || node instanceof RuntimeStatement
+            || (node instanceof DynamicBinding && node.kind === 'text');
+        const claimless = bodyNodes.every((node) => slotless(node) && !claimsWalkerNode(ctx, node));
+        if (claimless) {
+            const slots = bodyNodes.filter((node) => node instanceof StaticNode).length;
+            for (let i = 0; i < slots; i++) {
+                ctx.push(indent(`__hydrate.claimOnly(undefined, ${i === 0 && topBudget ? topBudget : '0'});`));
+                if (i === 0 && topBudget)
+                    ctx.push(indent(`${topBudget} = 0;`));
+            }
+        }
+    }
     for (const node of comp.body) {
         if (node instanceof TrackDecl)
             continue;
@@ -2374,7 +2442,31 @@ function generateComponent(comp, importedNames = new Set(), hydrate = false, asy
         ctx.push(indent(`return __pendingChild || $mount;`));
     }
     else {
-        ctx.push(indent(`return __pendingChild || $root;`));
+        // A bare `{props.children}` slot is this layout's output, but the layout may
+        // ALSO have siblings of its own (a static island, a `<nav>`). Those land in
+        // `$root`, and returning only the slot threw them away on every FRESH
+        // render — after any SPA navigation the layout was just the page with no
+        // nav, while a hard load of the same URL was fine (SSR emits the whole
+        // chain). Hydrate mode is deliberately untouched: there the return value is
+        // ignored by the router and the claims are already in place in the DOM.
+        //
+        // GATED on the body actually holding a bare slot. In a fresh render
+        // `__pendingChild` is assigned ONLY by the bare-slot branch (every other
+        // slot appends into its parent element), so without a top-level SlotNode
+        // this code is unreachable — and emitting five lines per component cost
+        // ~18 KB across test-app, which is the whole app's route payload. The
+        // promise branch is not dead weight either: the router hands a suspending
+        // page to the layout as a promise, so the slot content really can be one.
+        const hasBareSlot = comp.body.some((node) => node instanceof SlotNode);
+        if (hasBareSlot) {
+            ctx.push(indent(`if (__pendingChild !== null && __pendingChild !== undefined) {`));
+            ctx.push(indent(`  if (typeof __pendingChild.then === 'function') return __pendingChild.then((__c) => { $root.appendChild(toDomNode(__c)); return $root; });`));
+            ctx.push(indent(`  const __c = toDomNode(__pendingChild);`));
+            ctx.push(indent(`  if ($root.childNodes.length === 0) return __c;`));
+            ctx.push(indent(`  $root.appendChild(__c);`));
+            ctx.push(indent(`}`));
+        }
+        ctx.push(indent(hasBareSlot ? `return $root;` : `return __pendingChild || $root;`));
     }
     ctx.push(indent(`} finally {`));
     ctx.push(indent(`\tsetActiveComponent(__prev);`));

package/dist/ir-generator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir-generator.d.ts","sourceRoot":"","sources":["../src/ir-generator.ts"],"names":[],"mappings":"AACA,OAAO,EACL,MAAM,EAsBP,MAAM,uBAAuB,CAAC;AA2T/B,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,GAAG,CAAC;IAAC,cAAc,CAAC,EAAE,GAAG,CAAC;IAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAA;CAAE,CAAC,GAAG,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAkCnL;AA4lDD,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAqV9E"}
+{"version":3,"file":"ir-generator.d.ts","sourceRoot":"","sources":["../src/ir-generator.ts"],"names":[],"mappings":"AACA,OAAO,EACL,MAAM,EAsBP,MAAM,uBAAuB,CAAC;AA2T/B,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,GAAG,CAAC;IAAC,cAAc,CAAC,EAAE,GAAG,CAAC;IAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAA;CAAE,CAAC,GAAG,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAkCnL;AAgmDD,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAqV9E"}

package/dist/ir-generator.js

@@ -2033,6 +2033,11 @@ function warnStaleConstBindings(comp, file) {
                 continue;
             if (reactive.has(d.id.name))
                 continue;
+            // A FUNCTION initializer is not a snapshot: the body runs whenever the
+            // binding is evaluated, so the tracked read happens there. Reporting it
+            // pushed authors to inline helpers that were already correct.
+            if (d.init.type === 'ArrowFunctionExpression' || d.init.type === 'FunctionExpression')
+                continue;
             // A bare identifier initializer is an ALIAS, not a read: `const copy =
             // selCell` re-binds the cell and stays live. Only a read snapshots.
             if (d.init.type === 'Identifier' && reactive.has(d.init.name))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vesk/compiler",
-  "version": "0.2.57",
+  "version": "0.2.59",
   "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.57",
+    "@vesk/types": "^0.2.59",
     "acorn": "^8.15.0",
     "esrap": "^2.3.0",
     "is-reference": "^3.0.0",