@kudzujs/core 0.6.13 → 0.6.15

package/README.md

@@ -192,6 +192,23 @@ return <Controls dispatch={dispatch} />
 
 Kudzu specializes that call at build time; no function prop or child component survives in the browser. Relative TypeScript constants and helpers used inside the child handler are renamed for call-site safety and bundled into the parent handler graph. Lazy initializers, package, namespace, local, async, and generator reducers, package imports or child imports used outside event handlers, forwarding across another component, and reducer dispatch through context remain unsupported.
 
+That specialized component may pass one inline or simple `const` callback containing dispatch to one relative-imported synchronous child with an intrinsic root:
+
+```tsx
+const add = (title: string) => dispatch({ type: "add", title })
+return <Input onSubmit={add} />
+```
+
+Kudzu substitutes the callback into the child's compiled event handler at build time. This is not general function-prop serialization: only one nested specialized callback boundary is supported, and `useCallback`, further forwarding, effects, component roots, and callback use outside event handlers are rejected.
+
+Reducer dispatch and callback components may use destructured string, finite-number, boolean, or `null` defaults. A missing prop is replaced during specialization; object, array, computed, and function-call defaults remain unsupported:
+
+```tsx
+function Input({ onSubmit, editing = false }) {
+  // ...
+}
+```
+
 ## Reactive Attributes
 
 `className`, `disabled`, controlled `value`, and controlled `checked` accept normal state-dependent TSX expressions. The same `value` binding works for inputs and selects:

package/framework/README.md

@@ -25,7 +25,7 @@ Inline SVG rendering normalizes an explicit set of common React presentation ali
 
 Same-file and relative-imported components receiving a direct local-state array prop are specialized to intrinsic JSX before keyed-list analysis, so their component function is not retained in the browser. Handler modules are emitted only when a rendered descriptor references them, preventing specialized imported components from adding dead browser assets. Direct JSON-safe primitive keyed-item dependencies subscribe each row record to its owning list commit and compare selected fields after `list-runtime.js` synchronously refreshes the row marker. Only changed rows rerun with the complete latest item; reorder compares equal, unrelated fields do nothing, and key changes remain remove plus mount. Builds without item dependencies emit no item reader or list-state subscription code.
 
-The reduced `useReducer` form reuses ordinary state slots. A direct dispatch in a compiled handler becomes a functional `set` whose reducer is bundled from a relative TypeScript module into that handler graph. One direct dispatch prop into a same-file or relative-imported synchronous component is specialized to intrinsic JSX at the call site, so its handler retains the parent reducer scope and no dispatch capture or child handler asset is emitted. Relative TypeScript imports referenced inside that child handler receive collision-free call-site aliases and join the parent handler graph. Reducer-free routes and shared runtimes are unchanged; no reducer runtime or browser component instance exists.
+The reduced `useReducer` form reuses ordinary state slots. A direct dispatch in a compiled handler becomes a functional `set` whose reducer is bundled from a relative TypeScript module into that handler graph. One direct dispatch prop into a same-file or relative-imported synchronous component is specialized to intrinsic JSX at the call site, so its handler retains the parent reducer scope and no dispatch capture or child handler asset is emitted. Relative TypeScript imports referenced inside that child handler receive collision-free call-site aliases and join the parent handler graph. One nested relative-imported intrinsic child may receive an inline or simple `const` callback containing dispatch; the compiler recursively substitutes that callback once and omits the nested child handler asset. Missing primitive literal defaults in these reducer specializations are substituted at the same call site. Reducer-free routes and shared runtimes are unchanged; no reducer runtime or browser component instance exists.
 
 `kudzu.config` may opt one emitted shared-layout group into same-document navigation with legacy `navigation: { routes: ["/product", "/items/[id]"] }`, or multiple groups with `navigation: { groups: [{ routes: [...] }, { routes: [...] }] }`. The forms are mutually exclusive. Identities are globally unique emitted exact paths or `runtimeParams` patterns; each group uses one page-exported layout function identity. Runtime records securely match concrete pathnames under `base`, and their cache-safe parameter initializer runs before route DOM/effects mount on every transition. Each group receives a deterministic route-hashed asset specialized to only its records, pattern decoder, and effect/parameter lifecycle needs. Cross-group and ungrouped anchors remain native and are not prefetched; overlapping path domains across groups fail the build. Route effect entries export cache-safe layout and route mount functions: layout effects, including conditional/keyed DOM-owned effects, persist for the group session; route effects receive a fresh owner registry after each route insertion; and non-persisted page disposal cleans route before layout. Direct primitive state, runtime parameter, and keyed-item property dependencies and cleanup are supported. Fragment payloads and coordinated View Transitions are not implemented.
 

package/framework/build.mjs

@@ -1739,6 +1739,56 @@ function createKudzuTransformer(nativeHandlers, effectHandlers, reactiveBindings
     const stateBackedComponentFunctions = new WeakSet()
     const stateBackedComponentRoots = []
     let specializedImportIndex = 0
+    const mergeSpecializedImports = (root, componentSource, call) => {
+      const componentImports = clientImportBindings(componentSource, componentSource.fileName, sourceFiles)
+      for (const name of runtimeImportNames(componentSource, false)) if (referenceIdentifiers(root, name).length) fail(call, "Imported specialized component handlers may only use relative TypeScript runtime imports")
+      const substitutions = new Map()
+      for (const [name, entry] of componentImports) {
+        const references = referenceIdentifiers(root, name)
+        if (!references.length) continue
+        if (references.some(reference => !insideJsxEventHandler(reference, root))) fail(call, `Imported specialized component runtime import "${name}" may only be used inside event handlers`)
+        let local
+        do local = `__kDispatchImport${specializedImportIndex++}`
+        while (importBindings.has(local))
+        substitutions.set(name, factory.createIdentifier(local))
+        importBindings.set(local, { ...entry, local })
+      }
+      if (!substitutions.size) return root
+      const merged = substituteClone(root, substitutions, factory, context)
+      ts.setParentRecursive(merged, false)
+      merged.parent = root.parent
+      return merged
+    }
+    const expandReducerCallbacks = (root, componentSource, call) => {
+      const componentImports = clientImportBindings(componentSource, componentSource.fileName, sourceFiles)
+      const replacements = new WeakMap()
+      let count = 0
+      for (const [name, entry] of componentImports) {
+        if (entry.kind === "namespace") continue
+        const nestedCalls = jsxTagUses(root, name).filter(nestedCall => jsxCallHasReducerCallbackProp(nestedCall, reducersForNode(nestedCall, reducersByFunction)))
+        if (!nestedCalls.length) continue
+        const imported = entry.kind === "default" ? "default" : entry.imported
+        let nestedComponent
+        try {
+          nestedComponent = resolveComponentExport(entry.target, imported, importedSource, sourceFiles)
+        } catch {
+          fail(nestedCalls[0], "Reducer callback props require a component imported from a relative TypeScript module")
+        }
+        for (const nestedCall of nestedCalls) {
+          const nested = specializeComponentCall(nestedCall, nestedComponent, sourceFile, factory, context, fail, "Reducer-callback")
+          if (nested.effects.length) fail(nestedCall, "Reducer-callback components cannot declare effects")
+          nested.root = mergeSpecializedImports(nested.root, nestedComponent.getSourceFile(), nestedCall)
+          synthesizeTree(nested.root)
+          replacements.set(nestedCall, nested.root)
+          count++
+        }
+      }
+      if (!count) return root
+      const expanded = replaceSpecializedCalls(root, replacements, context)
+      ts.setParentRecursive(expanded, false)
+      expanded.parent = root.parent
+      return expanded
+    }
     for (const [name, component] of components) {
       const calls = jsxTagUses(sourceFile, name)
       const stateBackedCalls = calls.filter(call => isStateBackedListComponentCall(call, component.function, settersByFunction.get(nearestFunction(call)) ?? new Map()))
@@ -1786,6 +1836,7 @@ function createKudzuTransformer(nativeHandlers, effectHandlers, reactiveBindings
         if (componentSpecializations.has(call)) fail(call, "Reducer dispatch props cannot be combined with another component specialization")
         const specialization = specializeComponentCall(call, component.function, sourceFile, factory, context, fail, "Reducer-dispatch")
         if (specialization.effects.length) fail(call, "Reducer-dispatch components cannot declare effects")
+        specialization.root = expandReducerCallbacks(specialization.root, component.function.getSourceFile(), call)
         componentSpecializations.set(call, specialization)
       }
       specializedDeclarations.add(component.declaration)
@@ -1803,29 +1854,12 @@ function createKudzuTransformer(nativeHandlers, effectHandlers, reactiveBindings
         fail(dispatchCalls[0], `Reducer dispatch props require a component imported from a relative TypeScript module`)
       }
       const componentSource = component.getSourceFile()
-      const componentImports = clientImportBindings(componentSource, componentSource.fileName, sourceFiles)
-      const packageImports = runtimeImportNames(componentSource, false)
       for (const call of dispatchCalls) {
         if (componentSpecializations.has(call)) fail(call, "Reducer dispatch props cannot be combined with another component specialization")
         const specialization = specializeComponentCall(call, component, sourceFile, factory, context, fail, "Reducer-dispatch")
         if (specialization.effects.length) fail(call, "Reducer-dispatch components cannot declare effects")
-        for (const name of packageImports) if (referenceIdentifiers(specialization.root, name).length) fail(call, "Imported reducer-dispatch component handlers may only use relative TypeScript runtime imports")
-        const substitutions = new Map()
-        for (const [name, entry] of componentImports) {
-          const references = referenceIdentifiers(specialization.root, name)
-          if (!references.length) continue
-          if (references.some(reference => !insideJsxEventHandler(reference, specialization.root))) fail(call, `Imported reducer-dispatch component runtime import "${name}" may only be used inside event handlers`)
-          let local
-          do local = `__kDispatchImport${specializedImportIndex++}`
-          while (importBindings.has(local))
-          substitutions.set(name, factory.createIdentifier(local))
-          importBindings.set(local, { ...entry, local })
-        }
-        if (substitutions.size) {
-          specialization.root = substituteClone(specialization.root, substitutions, factory, context)
-          ts.setParentRecursive(specialization.root, false)
-          specialization.root.parent = call.parent
-        }
+        specialization.root = expandReducerCallbacks(specialization.root, componentSource, call)
+        specialization.root = mergeSpecializedImports(specialization.root, componentSource, call)
         synthesizeTree(specialization.root)
         componentSpecializations.set(call, specialization)
       }
@@ -2323,6 +2357,14 @@ function jsxCallHasDirectReducerProp(call, reducers) {
   })
 }
 
+function jsxCallHasReducerCallbackProp(call, reducers) {
+  const attributes = ts.isJsxElement(call) ? call.openingElement.attributes : call.attributes
+  return attributes.properties.some(attribute => {
+    const value = ts.isJsxAttribute(attribute) && attribute.initializer && ts.isJsxExpression(attribute.initializer) ? unwrapExpression(attribute.initializer.expression) : undefined
+    return value && referencedReducerDispatches(value, reducers, value).size
+  })
+}
+
 function runtimeImportNames(sourceFile, relative) {
   const names = new Set()
   for (const statement of sourceFile.statements) {
@@ -2416,7 +2458,7 @@ function specializeComponentCall(call, component, sourceFile, factory, context,
   let key
   for (const attribute of callAttributes.properties) {
     if (ts.isJsxSpreadAttribute(attribute)) fail(attribute, `${label} component prop spreads are not supported`)
-    const name = attribute.name.getText()
+    const name = attribute.name.text
     if (props.has(name) || name === "key" && key) fail(attribute, `Duplicate ${label.toLowerCase()} component prop "${name}"`)
     const value = !attribute.initializer
       ? factory.createTrue()
@@ -2431,10 +2473,11 @@ function specializeComponentCall(call, component, sourceFile, factory, context,
   const substitutions = new Map()
   const acceptedProps = new Set()
   for (const element of component.parameters[0].name.elements) {
-    if (element.dotDotDotToken || element.initializer || !ts.isIdentifier(element.name)) fail(element, `${label} component props cannot use rest, defaults, or nested destructuring`)
-    const prop = (element.propertyName ?? element.name).getText()
+    if (element.dotDotDotToken || !ts.isIdentifier(element.name) || (element.initializer && label === "Keyed list")) fail(element, `${label} component props cannot use rest, defaults, or nested destructuring`)
+    if (element.initializer && !isPrimitiveDefaultLiteral(element.initializer)) fail(element.initializer, `${label} component prop defaults must be primitive literals`)
+    const prop = (element.propertyName ?? element.name).text
     acceptedProps.add(prop)
-    substitutions.set(element.name.text, props.get(prop) ?? factory.createIdentifier("undefined"))
+    substitutions.set(element.name.text, props.has(prop) ? props.get(prop) : element.initializer ?? factory.createIdentifier("undefined"))
   }
   for (const prop of props.keys()) if (!acceptedProps.has(prop)) fail(call, `Unknown ${label.toLowerCase()} component prop "${prop}"`)
 
@@ -2474,6 +2517,12 @@ function specializeComponentCall(call, component, sourceFile, factory, context,
   return { root, calculations, effects }
 }
 
+function isPrimitiveDefaultLiteral(node) {
+  return ts.isStringLiteral(node) || ts.isNumericLiteral(node) ||
+    (ts.isPrefixUnaryExpression(node) && (node.operator === ts.SyntaxKind.PlusToken || node.operator === ts.SyntaxKind.MinusToken) && ts.isNumericLiteral(node.operand)) ||
+    node.kind === ts.SyntaxKind.TrueKeyword || node.kind === ts.SyntaxKind.FalseKeyword || node.kind === ts.SyntaxKind.NullKeyword
+}
+
 function substituteClone(root, substitutions, factory, context) {
   const visit = (node, shadowed = new Set()) => {
     if (ts.isTypeNode(node)) return cloneAst(node, factory, context)
@@ -2494,6 +2543,11 @@ function substituteClone(root, substitutions, factory, context) {
   return visit(root)
 }
 
+function replaceSpecializedCalls(root, replacements, context) {
+  const visit = node => replacements.get(node) ?? ts.visitEachChild(node, visit, context)
+  return ts.visitNode(root, visit)
+}
+
 function cloneAst(root, factory, context) {
   const visit = node => {
     const clone = factory.cloneNode(node)

package/package.json

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