@kudzujs/core 0.4.8 → 0.4.10

package/README.md

@@ -160,6 +160,17 @@ Logical state persists across branch switches, while uncontrolled DOM state rese
 
 Reactive conditional DOM currently targets the HTML namespace and is rejected inside SVG or MathML.
 
+Top-level immutable JSX locals can hold static or state-dependent branches:
+
+```tsx
+const menu = open ? <MenuBar /> : <p>Menu dormant</p>
+const content = open && menu
+
+return <main>{content}</main>
+```
+
+Kudzu compiles the local initializer to the same bounded DOM ranges as an inline condition. Reassigned, block-scoped, and keyed-list alias locals remain unsupported.
+
 ## Keyed Lists
 
 Map local array state directly to one keyed JSX element per item:
@@ -175,6 +186,7 @@ const [items, setItems] = useState([
     key={item.id}
     className={item.done ? "done" : "active"}
     aria-label={`${item.name} item`}
+    style={{ opacity: item.done ? 0.5 : 1 }}
   >
     {item.name.toUpperCase()}
     <button onClick={() => setItems(items.filter(entry => entry.id !== item.id))}>Remove</button>
@@ -182,9 +194,9 @@ const [items, setItems] = useState([
 )}</ul>
 ```
 
-Kudzu emits initial items as static HTML, then adds, removes, updates, and moves keyed elements directly. Existing keys move without remounting, preserving uncontrolled descendant state. Direct `item.<field>` reads use compact markers; derived item expressions compile to external ESM evaluators. Item-local handlers use direct DOM listeners and receive the latest JSON-safe item for their key, including after updates, additions, and reorders. The item remains stored once in shared list state; handler descriptors carry a placeholder that the list runtime fills when mounting or updating the keyed root.
+Kudzu emits initial items as static HTML, then adds, removes, updates, styles, and moves keyed elements directly. Existing keys move without remounting, preserving uncontrolled descendant state. Direct `item.<field>` reads use compact markers; derived item expressions compile to external ESM evaluators. Item-local handlers use direct DOM listeners and receive the latest JSON-safe item for their key, including after updates, additions, and reorders. The item remains stored once in shared list state; handler descriptors carry a placeholder that the list runtime fills when mounting or updating the keyed root.
 
-Each item must be an ordinary plain object with a unique string or finite-number key; nested data may contain only JSON-safe arrays, ordinary plain objects, and primitive values. Null-prototype objects are rejected to preserve JSON round-trip parity. The current syntax requires a direct local-state `.map`, one identifier callback parameter, one intrinsic JSX root, and `key={item.<field>}`. Derived expressions must be pure and synchronous: item reads, literals, operators, templates, approved read-only string/array methods, deterministic `Math` methods, and `String`/`Number`/`Boolean` conversion are supported. Component state, locals, imported helpers, browser globals, Promise values, mutation, arbitrary calls, and prototype-sensitive properties are rejected. Nested conditions or lists, item spreads, component tags, dynamic styles, refs, and `dangerouslySetInnerHTML` remain unsupported. Keyed rows must be placed inside an explicit `<tbody>`, `<thead>`, or `<tfoot>`.
+Each item must be an ordinary plain object with a unique string or finite-number key; nested data may contain only JSON-safe arrays, ordinary plain objects, and primitive values. Null-prototype objects are rejected to preserve JSON round-trip parity. The current syntax requires a direct local-state `.map`, one identifier callback parameter, one intrinsic JSX root, and `key={item.<field>}`. Derived expressions must be pure and synchronous: item reads, literals, operators, templates, approved read-only string/array methods, deterministic `Math` methods, and `String`/`Number`/`Boolean` conversion are supported. Component state, locals, imported helpers, browser globals, Promise values, mutation, arbitrary calls, and prototype-sensitive properties are rejected. Nested conditions or lists, item spreads, component tags, refs, and `dangerouslySetInnerHTML` remain unsupported. Keyed rows must be placed inside an explicit `<tbody>`, `<thead>`, or `<tfoot>`.
 
 ## Normal JavaScript
 
@@ -249,11 +261,12 @@ Supported:
 - Object DOM refs in native event handlers
 - Controlled `value` and `checked` form properties
 - Conditional child `&&` and ternary DOM patches
+- Top-level immutable JSX locals
 - Direct keyed local-state lists
 
 Not implemented yet:
 
-- Generalized JSX-valued locals and non-direct list item expressions
+- Block-scoped JSX locals and non-direct list item expressions
 - Server actions and request-time SSR
 - Imported client helpers and React package islands
 - HMR and framework DevTools
@@ -268,13 +281,13 @@ Same counter with initial value `7` and increment/decrement buttons:
 
 | Framework | Initial content | Initial JS gzip | Total output | Clean build |
 |---|---:|---:|---:|---:|
-| Kudzu | Yes | 393 B | 1.1 KB | **431 ms** |
-| Astro | Yes | **158 B** | **365 B** | 974 ms |
-| Svelte CSR | No | 10.5 KB | 26.9 KB | 961 ms |
-| Qwik CSR | No | 20.6 KB | 57.8 KB | 660 ms |
-| Vue CSR | No | 24.0 KB | 60.3 KB | 859 ms |
-| React CSR | No | 59.2 KB | 189.0 KB | 1133 ms |
-| Next.js | Yes | 182.1 KB | 652.2 KB | 3269 ms |
+| Kudzu | Yes | 393 B | 1.1 KB | **383 ms** |
+| Astro | Yes | **158 B** | **365 B** | 914 ms |
+| Svelte CSR | No | 10.5 KB | 26.9 KB | 892 ms |
+| Qwik CSR | No | 20.6 KB | 57.8 KB | 606 ms |
+| Vue CSR | No | 24.0 KB | 60.3 KB | 815 ms |
+| React CSR | No | 59.2 KB | 189.0 KB | 1044 ms |
+| Next.js | Yes | 182.1 KB | 652.2 KB | 3030 ms |
 
 Astro produces the smallest hand-authored counter. Kudzu's advantage in this fixture is React-shaped state code with a sub-1 KB runtime, not the smallest possible JavaScript.
 
@@ -284,13 +297,13 @@ Same content and CSS across every fixture:
 
 | Framework | Initial content | Initial JS gzip | Total output | Clean build |
 |---|---:|---:|---:|---:|
-| Kudzu | Yes | **0 B** | 3.2 KB | **385 ms** |
-| Astro | Yes | **0 B** | **3.0 KB** | 970 ms |
-| Svelte CSR | No | 10.2 KB | 27.2 KB | 829 ms |
-| Qwik CSR | No | 20.2 KB | 59.6 KB | 634 ms |
-| Vue CSR | No | 24.2 KB | 62.3 KB | 767 ms |
-| React CSR | No | 59.8 KB | 192.3 KB | 1098 ms |
-| Next.js | Yes | 182.6 KB | 663.6 KB | 3217 ms |
+| Kudzu | Yes | **0 B** | 3.2 KB | **409 ms** |
+| Astro | Yes | **0 B** | **3.0 KB** | 1053 ms |
+| Svelte CSR | No | 10.2 KB | 27.2 KB | 863 ms |
+| Qwik CSR | No | 20.2 KB | 59.6 KB | 611 ms |
+| Vue CSR | No | 24.2 KB | 62.3 KB | 782 ms |
+| React CSR | No | 59.8 KB | 192.3 KB | 1062 ms |
+| Next.js | Yes | 182.6 KB | 663.6 KB | 3118 ms |
 
 ### 1,000-item Keyed List
 
@@ -298,15 +311,15 @@ The list starts with 1,000 keyed items, then updates every label, reverses the o
 
 | Framework | Initial content | Initial JS gzip | Total output | Build | Update | Reverse | Remove | Add | Operations total |
 |---|---:|---:|---:|---:|---:|---:|---:|---:|---:|
-| Astro | Yes | **324 B** | **43.6 KB** | 869 ms | **3.9 ms** | 29.4 ms | 13.9 ms | **18.3 ms** | **65.5 ms** |
-| Kudzu | Yes | 5.0 KB | 60.3 KB | **437 ms** | 7.0 ms | 31.7 ms | **6.7 ms** | 22.0 ms | 67.4 ms |
-| Vue CSR | No | 24.3 KB | 61.3 KB | 813 ms | 11.3 ms | 37.5 ms | 10.1 ms | 21.4 ms | 80.3 ms |
-| Next.js | Yes | 182.2 KB | 695.2 KB | 3069 ms | 7.8 ms | 40.6 ms | 9.8 ms | 22.2 ms | 80.4 ms |
-| React CSR | No | 59.3 KB | 189.4 KB | 1073 ms | 10.5 ms | 40.2 ms | 9.9 ms | 21.4 ms | 82.0 ms |
-| Qwik CSR | No | 22.2 KB | 64.1 KB | 625 ms | 13.3 ms | **25.4 ms** | 37.1 ms | 24.4 ms | 100.2 ms |
-| Svelte CSR | No | 12.9 KB | 33.1 KB | 905 ms | 6.5 ms | 72.3 ms | 9.2 ms | 22.3 ms | 110.3 ms |
-
-Astro is the hand-authored native DOM baseline in the interactive fixtures. React, Vue, Svelte, and Qwik used client-rendered fixtures, while Kudzu and Astro emitted initial HTML; Qwik therefore did not exercise its SSR resumability advantage. In this run Kudzu's keyed-list operations total 67.4 ms, 1.9 ms behind Astro and 14.6 ms ahead of React across all four operations.
+| Astro | Yes | **324 B** | **43.6 KB** | 862 ms | **3.5 ms** | 24.8 ms | **8.4 ms** | **17.9 ms** | **54.6 ms** |
+| Kudzu | Yes | 5.0 KB | 60.3 KB | **435 ms** | 6.1 ms | 29.0 ms | 12.8 ms | 19.5 ms | 67.4 ms |
+| Vue CSR | No | 24.3 KB | 61.3 KB | 789 ms | 9.3 ms | 32.1 ms | 10.6 ms | 18.6 ms | 70.6 ms |
+| React CSR | No | 59.3 KB | 189.4 KB | 1049 ms | 8.8 ms | 34.7 ms | 13.5 ms | 18.2 ms | 75.2 ms |
+| Next.js | Yes | 182.2 KB | 695.2 KB | 3029 ms | 7.0 ms | 37.2 ms | 12.9 ms | 21.9 ms | 79.0 ms |
+| Qwik CSR | No | 22.2 KB | 64.1 KB | 623 ms | 13.4 ms | **21.7 ms** | 33.6 ms | 28.9 ms | 97.6 ms |
+| Svelte CSR | No | 12.9 KB | 33.1 KB | 870 ms | 5.6 ms | 61.3 ms | 15.6 ms | 18.3 ms | 100.8 ms |
+
+Astro is the hand-authored native DOM baseline in the interactive fixtures. React, Vue, Svelte, and Qwik used client-rendered fixtures, while Kudzu and Astro emitted initial HTML; Qwik therefore did not exercise its SSR resumability advantage. In this run Kudzu's keyed-list operations total 67.4 ms, 12.8 ms behind Astro and 7.8 ms ahead of React across all four operations.
 
 Benchmark snapshot collected on July 22, 2026 with Node 24.14.0 on an Intel i5-9500. These results compare the selected one-page fixtures, not ecosystem maturity, browser interaction speed beyond the listed operations, or each framework's full rendering options. Build times vary with machine load and filesystem cache.
 

package/framework/README.md

@@ -6,7 +6,7 @@
 - `runtime.js`: command-only runtime for direct state-to-text patches.
 - `shared-runtime.js`: command runtime with capability commit and DOM lifecycle hooks, emitted only when needed.
 - `binding-runtime.js`: optional generic attributes, form properties, and conditional range patches.
-- `list-runtime.js`: optional keyed list validation, external item-expression evaluation, dynamic item-handler scopes, moves, and cleanup.
+- `list-runtime.js`: optional keyed list validation, external item-expression evaluation, dynamic styles and item-handler scopes, moves, and cleanup.
 - `serialization.js`: capture deserialization shared by binding and native handlers.
 - `native-runtime.js`: optional runtime for normal synchronous and asynchronous ESM handlers.
 - `dev-state.js`: dev-only, short-lived logical-state snapshot validation and restoration.

package/framework/build.mjs

@@ -37,6 +37,7 @@ export async function build({ quiet = false, minify = true } = {}) {
   let behaviorCount = 0
   let bindingCount = 0
   let listCount = 0
+  let listStyleCount = 0
   let stateSeedCount = 0
   const plans = []
   const hasStyles = await exists(join(sourceDirectory, "style.css"))
@@ -58,6 +59,7 @@ export async function build({ quiet = false, minify = true } = {}) {
     if (result.hasBehaviors) behaviorCount++
     if (result.hasBindings) bindingCount++
     if (result.hasLists) listCount++
+    if (result.hasListStyles) listStyleCount++
     if (result.hasStateSeed) stateSeedCount++
   }
 
@@ -73,8 +75,8 @@ export async function build({ quiet = false, minify = true } = {}) {
     await writeJavaScript(join(assetsDirectory, "kudzu.js"), runtime, minify)
   }
   if (bindingCount || hasNativeHandlers) await writeJavaScript(join(assetsDirectory, "kudzu-serialization.js"), await readFile(new URL("./serialization.js", import.meta.url), "utf8"), minify)
+  if (bindingCount || listStyleCount) await writeJavaScript(join(assetsDirectory, "kudzu-style.js"), await readFile(new URL("./style.js", import.meta.url), "utf8"), minify)
   if (bindingCount) {
-    await writeJavaScript(join(assetsDirectory, "kudzu-style.js"), await readFile(new URL("./style.js", import.meta.url), "utf8"), minify)
     const bindingRuntime = (await readFile(new URL("./binding-runtime.js", import.meta.url), "utf8"))
       .replace('"./shared-runtime.js"', '"./kudzu.js"')
       .replace('"./serialization.js"', '"./kudzu-serialization.js"')
@@ -82,8 +84,16 @@ export async function build({ quiet = false, minify = true } = {}) {
     await writeJavaScript(join(assetsDirectory, "kudzu-binding.js"), bindingRuntime, minify)
   }
   if (listCount) {
-    const listRuntime = (await readFile(new URL("./list-runtime.js", import.meta.url), "utf8"))
+    let listRuntime = (await readFile(new URL("./list-runtime.js", import.meta.url), "utf8"))
       .replace('"./shared-runtime.js"', '"./kudzu.js"')
+    const stylePatch = `  if (target === "style") {
+    const style = serializeStyle(value)
+    if (style) node.setAttribute("style", style)
+    else node.removeAttribute("style")
+    return
+  }`
+    listRuntime = listRuntime.replace("  /* list-style */", listStyleCount ? stylePatch : "")
+    if (listStyleCount) listRuntime = `import { serializeStyle } from "./kudzu-style.js"\n${listRuntime}`
     await writeJavaScript(join(assetsDirectory, "kudzu-list.js"), listRuntime, minify)
   }
   if (hasNativeHandlers) {
@@ -312,6 +322,8 @@ function createKudzuTransformer(nativeHandlers, reactiveBindings, listExpression
     const factory = context.factory
     const settersByFunction = new Map()
     const functions = new Map()
+    const jsxLocalDeclarations = new Map()
+    const jsxLocalsByFunction = new Map()
     const listValues = new WeakMap()
     const listEventItems = new WeakMap()
     let usesBehavior = false
@@ -336,9 +348,29 @@ function createKudzuTransformer(nativeHandlers, reactiveBindings, listExpression
       if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.initializer && (ts.isArrowFunction(node.initializer) || ts.isFunctionExpression(node.initializer))) {
         functions.set(node.name.text, node.initializer)
       }
+      if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.initializer && isTopLevelConst(node)) {
+        const owner = nearestFunction(node)
+        const declarations = jsxLocalDeclarations.get(owner) ?? new Map()
+        declarations.set(node.name.text, node.initializer)
+        jsxLocalDeclarations.set(owner, declarations)
+      }
       ts.forEachChild(node, collect)
     }
     collect(sourceFile)
+    for (const [owner, declarations] of jsxLocalDeclarations) {
+      const names = new Set()
+      let changed = true
+      while (changed) {
+        changed = false
+        for (const [name, initializer] of declarations) {
+          if (!names.has(name) && isJsxLocalValue(initializer, names)) {
+            names.add(name)
+            changed = true
+          }
+        }
+      }
+      jsxLocalsByFunction.set(owner, names)
+    }
 
     const visitor = node => {
       if (ts.isImportDeclaration(node) && ts.isStringLiteral(node.moduleSpecifier) && node.moduleSpecifier.text.startsWith(".")) {
@@ -359,6 +391,21 @@ function createKudzuTransformer(nativeHandlers, reactiveBindings, listExpression
         return factory.updateVariableDeclaration(node, node.name, node.exclamationToken, node.type, initializer)
       }
 
+      if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.initializer && jsxLocalsByFunction.get(nearestFunction(node))?.has(node.name.text) && referencesIdentifier(nearestFunction(node).body, node.name.text)) {
+        const parts = conditionalParts(node.initializer)
+        if (parts) {
+          const setters = settersForNode(node, settersByFunction)
+          const usedStates = referencedStateNames(parts.condition, setters)
+          const captures = captureNames(parts.condition, parts.condition, setters)
+          if (usedStates.size || captures.size) {
+            usesBehavior = true
+            usesConditional = true
+            const compiled = compileConditional(parts.kind, parts.condition, ts.visitNode(parts.truthy, visitor), ts.visitNode(parts.falsy, visitor), setters, factory, context, reactiveBindings, handlerUrl)
+            return factory.updateVariableDeclaration(node, node.name, node.exclamationToken, node.type, compiled)
+          }
+        }
+      }
+
       if (ts.isJsxExpression(node) && node.expression && listValues.has(node.expression)) {
         return factory.updateJsxExpression(node, compileListValue(node.expression, listValues.get(node.expression), factory, listExpressions, handlerUrl))
       }
@@ -488,7 +535,7 @@ function validateKeyedList(parts, sourceFile, setters, listValues, listEventItem
       const field = directProperty(expression, parts.item)
       const isRootKey = ts.isJsxAttribute(node.parent) && node.parent.name.getText() === "key"
       if (field && ["__proto__", "constructor", "prototype"].includes(field)) fail(node, `Keyed list item property "${field}" is not supported`)
-      if (field && ts.isJsxAttribute(node.parent) && ["style", "ref", "dangerouslysetinnerhtml"].includes(node.parent.name.getText().toLowerCase())) fail(node, `Keyed list item ${node.parent.name.getText()} is not supported`)
+      if (field && ts.isJsxAttribute(node.parent) && ["ref", "dangerouslysetinnerhtml"].includes(node.parent.name.getText().toLowerCase())) fail(node, `Keyed list item ${node.parent.name.getText()} is not supported`)
       if (isRootKey) return
       if (field) {
         listValues.set(node.expression, { field })
@@ -496,7 +543,7 @@ function validateKeyedList(parts, sourceFile, setters, listValues, listEventItem
       }
       if (referencesIdentifier(expression, parts.item)) {
         validateListExpression(expression, parts.item, node, fail)
-        if (ts.isJsxAttribute(node.parent) && ["style", "ref", "dangerouslysetinnerhtml"].includes(node.parent.name.getText().toLowerCase())) fail(node, `Keyed list item ${node.parent.name.getText()} is not supported`)
+        if (ts.isJsxAttribute(node.parent) && ["ref", "dangerouslysetinnerhtml"].includes(node.parent.name.getText().toLowerCase())) fail(node, `Keyed list item ${node.parent.name.getText()} is not supported`)
         listValues.set(node.expression, { item: parts.item })
         return
       }
@@ -608,6 +655,21 @@ function unwrapExpression(node) {
   return ts.isParenthesizedExpression(node) ? unwrapExpression(node.expression) : node
 }
 
+function isTopLevelConst(node) {
+  const list = node.parent
+  const statement = list?.parent
+  const owner = nearestFunction(node)
+  return ts.isVariableDeclarationList(list) && (list.flags & ts.NodeFlags.Const) !== 0 && ts.isVariableStatement(statement) && statement.parent === owner?.body
+}
+
+function isJsxLocalValue(expression, known) {
+  const value = unwrapExpression(expression)
+  if (ts.isJsxElement(value) || ts.isJsxSelfClosingElement(value) || ts.isJsxFragment(value)) return true
+  if (ts.isIdentifier(value)) return known.has(value.text)
+  const parts = conditionalParts(value)
+  return Boolean(parts && (isJsxLocalValue(parts.truthy, known) || isJsxLocalValue(parts.falsy, known)))
+}
+
 function compileReactiveBinding(expression, setters, factory, context, reactiveBindings, handlerUrl) {
   return factory.createCallExpression(factory.createIdentifier("__kBinding"), undefined, compileReactiveExpression(expression, setters, factory, context, reactiveBindings, handlerUrl))
 }

package/framework/core.d.ts

@@ -43,6 +43,7 @@ export function renderPage(
   hasBehaviors: boolean
   hasBindings: boolean
   hasLists: boolean
+  hasListStyles: boolean
   hasStateSeed: boolean
   plan: {
     states: Array<{ id: string; name: string; initialValue: unknown }>

package/framework/core.mjs

@@ -197,7 +197,7 @@ function serializeCapture(name, value, seen) {
 }
 
 export async function renderPage(component, metadata = {}) {
-  renderContext = { nextState: 0, nextRef: 0, nextCondition: 0, nextList: 0, conditionDepth: 0, listDepth: 0, listRoot: undefined, listTemplate: false, listFields: undefined, states: {}, textStates: new Set(), conditionStates: new Set(), events: [], bindings: [], conditions: [], lists: [], hasBehaviors: false, hasNativeBehaviors: false, hasBindings: false, hasLists: false }
+  renderContext = { nextState: 0, nextRef: 0, nextCondition: 0, nextList: 0, conditionDepth: 0, listDepth: 0, listRoot: undefined, listTemplate: false, listFields: undefined, states: {}, textStates: new Set(), conditionStates: new Set(), events: [], bindings: [], conditions: [], lists: [], hasBehaviors: false, hasNativeBehaviors: false, hasBindings: false, hasLists: false, hasListStyles: false }
 
   try {
     const body = await renderNode({ type: component, props: {} })
@@ -235,6 +235,7 @@ export async function renderPage(component, metadata = {}) {
       hasBehaviors: renderContext.hasBehaviors,
       hasBindings: renderContext.hasBindings,
       hasLists: renderContext.hasLists,
+      hasListStyles: renderContext.hasListStyles,
       hasStateSeed: initialState.length > 0,
       plan: {
         states: Object.entries(renderContext.states).map(([id, state]) => ({ id, ...state })),
@@ -397,11 +398,13 @@ async function renderNode(node, namespace, selectValue = noSelectValue) {
     if (value?.[listFieldMarker]) {
       attributes += renderAttribute(name, value.value)
       listAttributes.push([name, value.field])
+      if (name === "style") renderContext.hasListStyles = true
       continue
     }
     if (value?.[listExpressionMarker]) {
       attributes += renderAttribute(name, value.value)
       listExpressionAttributes.push([name, value.module, value.handler])
+      if (name === "style") renderContext.hasListStyles = true
       continue
     }
     if (value?.[signalMarker] || value?.[bindingMarker]) {

package/framework/list-runtime.js

@@ -290,6 +290,7 @@ function serializeItem(value) {
 }
 
 function patchBinding(node, target, value) {
+  /* list-style */
   if (target === "disabled") {
     node.toggleAttribute("disabled", Boolean(value))
   } else if (target === "checked") {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kudzujs/core",
-  "version": "0.4.8",
+  "version": "0.4.10",
   "description": "HTML-first TSX framework with synchronous state semantics and no virtual DOM",
   "type": "module",
   "license": "MIT",