what-core 0.10.0 → 0.11.0

package/dist/render.js

@@ -9,15 +9,21 @@ import {
   isHydrating,
   mapArray,
   on,
+  setAttr,
+  setChecked,
+  setClass,
   setProp,
+  setStyle,
+  setValue,
   spread,
   svgTemplate,
   template
-} from "./chunk-M7UEET5O.js";
+} from "./chunk-H3GA34JK.js";
 import {
   effect,
+  memo,
   untrack
-} from "./chunk-AW3BAPIK.js";
+} from "./chunk-GZRA4IAJ.js";
 import "./chunk-AZP2EOGX.js";
 export {
   _$createComponent,
@@ -31,8 +37,14 @@ export {
   insert,
   isHydrating,
   mapArray,
+  memo,
   on,
+  setAttr,
+  setChecked,
+  setClass,
   setProp,
+  setStyle,
+  setValue,
   spread,
   svgTemplate,
   template,

package/dist/render.min.js

@@ -1,2 +1,2 @@
-import{a as c,b as d,c as e,d as f,e as g,f as h,g as i,h as j,i as k,j as l,k as m,l as n,m as o,n as p}from"./chunk-RN6QIBWL.min.js";import{e as a,i as b}from"./chunk-KBM6CWG4.min.js";import"./chunk-O3SKPRTY.min.js";export{d as _$createComponent,e as _$template,c as _setTextInsertHook,f as _template,n as classList,l as delegateEvents,a as effect,p as hydrate,h as insert,o as isHydrating,i as mapArray,m as on,k as setProp,j as spread,g as svgTemplate,f as template,b as untrack};
+import{a as d,b as e,c as f,d as g,e as h,f as i,g as j,h as k,i as l,j as m,k as n,l as o,m as p,n as q,o as r,p as s,q as t,r as u,s as v}from"./chunk-RI7T5VFD.min.js";import{e as a,g as b,i as c}from"./chunk-MH7L756Y.min.js";import"./chunk-O3SKPRTY.min.js";export{e as _$createComponent,f as _$template,d as _setTextInsertHook,g as _template,t as classList,r as delegateEvents,a as effect,v as hydrate,i as insert,u as isHydrating,j as mapArray,b as memo,s as on,o as setAttr,q as setChecked,m as setClass,l as setProp,n as setStyle,p as setValue,k as spread,h as svgTemplate,g as template,c as untrack};
 //# sourceMappingURL=render.min.js.map

package/dist/testing.js

@@ -4,7 +4,7 @@ import {
   flushSync,
   mount,
   signal
-} from "./chunk-AW3BAPIK.js";
+} from "./chunk-GZRA4IAJ.js";
 import {
   h
 } from "./chunk-AZP2EOGX.js";

package/dist/testing.min.js

@@ -1,2 +1,2 @@
-import{J as m,c as f,e as p,h as w,l as b}from"./chunk-KBM6CWG4.min.js";import{a as h}from"./chunk-O3SKPRTY.min.js";var l=null;function E(){return typeof document<"u"&&(l=document.createElement("div"),l.id="test-root",document.body.appendChild(l)),l}function v(){l&&(l.innerHTML="",l.parentNode&&l.parentNode.removeChild(l),l=null)}function N(e,t={}){let{container:n}=t,o=n||E();if(!o)throw new Error("No DOM container available. Are you running in Node.js without jsdom?");let s=m(e,o);return{container:o,unmount:s,getByText:r=>d(o,r),getByTestId:r=>o.querySelector(`[data-testid="${r}"]`),getByRole:r=>o.querySelector(`[role="${r}"]`),getAllByText:r=>g(o,r),queryByText:r=>d(o,r),queryByTestId:r=>o.querySelector(`[data-testid="${r}"]`),debug:()=>console.log(o.innerHTML),findByText:(r,u)=>y(()=>d(o,r),{timeout:u}),findByTestId:(r,u)=>y(()=>o.querySelector(`[data-testid="${r}"]`),{timeout:u})}}function q(e,t){let n=E();if(!n)throw new Error("No DOM container available. Are you running in Node.js without jsdom?");let o={},s=null,r;return b(u=>{s=u;let c=h(e,t||{});r=m(c,n)}),{container:n,signals:new Proxy(o,{get(u,c){if(c in u)return u[c]},set(u,c,i){return u[c]=i,!0}}),update(){w()},unmount(){r&&r(),s&&s(),v()},getByText:u=>d(n,u),getByTestId:u=>n.querySelector(`[data-testid="${u}"]`),queryByText:u=>d(n,u),debug:()=>console.log(n.innerHTML)}}function C(){w()}function M(e){let t=[],n=[],o=f,s=new Map,r=i=>{t.includes(i)||t.push(i)},u=i=>{n.includes(i)||n.push(i)},c;return b(i=>{c=i;let a=p(()=>{e()})}),c&&c(),{accessed:t,written:n}}function D(e,t){let n=[t],o=0,s=f(t,e),r=s.set;s.set=function(i){let a=typeof i=="function"?i(s.peek()):i;return Object.is(s.peek(),a)||(o++,n.push(a)),r(a)};let u=s,c=function(...i){if(i.length===0)return u();let a=typeof i[0]=="function"?i[0](u.peek()):i[0];return Object.is(u.peek(),a)||(o++,n.push(a)),u(a)};return c._signal=!0,c.peek=s.peek,c.set=s.set,c.subscribe=s.subscribe,s._debugName&&(c._debugName=s._debugName),s._subs&&(c._subs=s._subs),Object.defineProperty(c,"history",{get(){return n}}),Object.defineProperty(c,"setCount",{get(){return o}}),c.reset=function(i){let a=i!==void 0?i:t;n.length=0,n.push(a),o=0,u(a)},c}function d(e,t){let n=t instanceof RegExp?t:null,o=document.createTreeWalker(e,NodeFilter.SHOW_TEXT,null,!1);for(;o.nextNode();){let s=o.currentNode;if(n?n.test(s.textContent):s.textContent.includes(t))return s.parentElement}return null}function g(e,t){let n=[],o=t instanceof RegExp?t:null,s=document.createTreeWalker(e,NodeFilter.SHOW_TEXT,null,!1);for(;s.nextNode();){let r=s.currentNode;(o?o.test(r.textContent):r.textContent.includes(t))&&n.push(r.parentElement)}return n}var H={click(e){let t=new MouseEvent("click",{bubbles:!0,cancelable:!0,view:typeof window<"u"?window:void 0});return e.dispatchEvent(t),t},change(e,t){e.value=t;let n=new Event("input",{bubbles:!0});e.dispatchEvent(n);let o=new Event("change",{bubbles:!0});return e.dispatchEvent(o),o},input(e,t){e.value=t;let n=new Event("input",{bubbles:!0});return e.dispatchEvent(n),n},submit(e){let t=new Event("submit",{bubbles:!0,cancelable:!0});return e.dispatchEvent(t),t},focus(e){e.focus();let t=new FocusEvent("focus",{bubbles:!0});return e.dispatchEvent(t),t},blur(e){e.blur();let t=new FocusEvent("blur",{bubbles:!0});return e.dispatchEvent(t),t},keyDown(e,t,n={}){let o=new KeyboardEvent("keydown",{bubbles:!0,cancelable:!0,key:t,...n});return e.dispatchEvent(o),o},keyUp(e,t,n={}){let o=new KeyboardEvent("keyup",{bubbles:!0,cancelable:!0,key:t,...n});return e.dispatchEvent(o),o},mouseEnter(e){let t=new MouseEvent("mouseenter",{bubbles:!0});return e.dispatchEvent(t),t},mouseLeave(e){let t=new MouseEvent("mouseleave",{bubbles:!0});return e.dispatchEvent(t),t}};async function y(e,t={}){let{timeout:n=1e3,interval:o=50}=t,s=Date.now();for(;Date.now()-s<n;){try{let r=e();if(r)return r}catch{}await new Promise(r=>setTimeout(r,o))}throw new Error(`waitFor timed out after ${n}ms`)}async function O(e,t={}){let{timeout:n=1e3,interval:o=50}=t,s=Date.now(),r=e();if(!r)throw new Error("Element not found");for(;Date.now()-s<n;){if(r=e(),!r)return;await new Promise(u=>setTimeout(u,o))}throw new Error(`Element still present after ${n}ms`)}async function _(e){let t=await e();return w(),await new Promise(n=>queueMicrotask(n)),await new Promise(n=>setTimeout(n,0)),t}function F(e){let t=f(e),n=[e];return p(()=>{n.push(t())}),{signal:t,get value(){return t()},set value(o){t.set(o)},history:n,reset(){n.length=0,n.push(t())}}}function R(e="MockComponent"){let t=[];function n(o){return t.push({props:o,timestamp:Date.now()}),h("div",{"data-testid":`mock-${e}`},JSON.stringify(o,null,2))}return n.displayName=e,n.calls=t,n.lastCall=()=>t[t.length-1],n.reset=()=>{t.length=0},n}var j={toBeInTheDocument(e){if(!e||!e.parentNode)throw new Error("Expected element to be in the document")},toHaveTextContent(e,t){if(!e)throw new Error("Element not found");let n=e.textContent;if(!(t instanceof RegExp?t.test(n):n.includes(t)))throw new Error(`Expected "${n}" to contain "${t}"`)},toHaveAttribute(e,t,n){if(!e)throw new Error("Element not found");let o=e.getAttribute(t);if(n!==void 0&&o!==n)throw new Error(`Expected attribute "${t}" to be "${n}", got "${o}"`);if(n===void 0&&o===null)throw new Error(`Expected element to have attribute "${t}"`)},toHaveClass(e,t){if(!e)throw new Error("Element not found");if(!e.classList.contains(t))throw new Error(`Expected element to have class "${t}"`)},toBeVisible(e){if(!e)throw new Error("Element not found");let t=window.getComputedStyle(e);if(t.display==="none"||t.visibility==="hidden"||t.opacity==="0")throw new Error("Expected element to be visible")},toBeDisabled(e){if(!e)throw new Error("Element not found");if(!e.disabled)throw new Error("Expected element to be disabled")},toHaveValue(e,t){if(!e)throw new Error("Element not found");if(e.value!==t)throw new Error(`Expected value to be "${t}", got "${e.value}"`)}},A={getByText:e=>d(document.body,e),getByTestId:e=>document.querySelector(`[data-testid="${e}"]`),getByRole:e=>document.querySelector(`[role="${e}"]`),getAllByText:e=>g(document.body,e),queryByText:e=>d(document.body,e),queryByTestId:e=>document.querySelector(`[data-testid="${e}"]`),debug:()=>console.log(document.body.innerHTML)};export{_ as act,v as cleanup,F as createTestSignal,j as expect,H as fireEvent,C as flushEffects,R as mockComponent,D as mockSignal,N as render,q as renderTest,A as screen,E as setupDOM,M as trackSignals,y as waitFor,O as waitForElementToBeRemoved};
+import{J as m,c as f,e as p,h as w,l as b}from"./chunk-MH7L756Y.min.js";import{a as h}from"./chunk-O3SKPRTY.min.js";var l=null;function E(){return typeof document<"u"&&(l=document.createElement("div"),l.id="test-root",document.body.appendChild(l)),l}function v(){l&&(l.innerHTML="",l.parentNode&&l.parentNode.removeChild(l),l=null)}function N(e,t={}){let{container:n}=t,o=n||E();if(!o)throw new Error("No DOM container available. Are you running in Node.js without jsdom?");let s=m(e,o);return{container:o,unmount:s,getByText:r=>d(o,r),getByTestId:r=>o.querySelector(`[data-testid="${r}"]`),getByRole:r=>o.querySelector(`[role="${r}"]`),getAllByText:r=>g(o,r),queryByText:r=>d(o,r),queryByTestId:r=>o.querySelector(`[data-testid="${r}"]`),debug:()=>console.log(o.innerHTML),findByText:(r,u)=>y(()=>d(o,r),{timeout:u}),findByTestId:(r,u)=>y(()=>o.querySelector(`[data-testid="${r}"]`),{timeout:u})}}function q(e,t){let n=E();if(!n)throw new Error("No DOM container available. Are you running in Node.js without jsdom?");let o={},s=null,r;return b(u=>{s=u;let c=h(e,t||{});r=m(c,n)}),{container:n,signals:new Proxy(o,{get(u,c){if(c in u)return u[c]},set(u,c,i){return u[c]=i,!0}}),update(){w()},unmount(){r&&r(),s&&s(),v()},getByText:u=>d(n,u),getByTestId:u=>n.querySelector(`[data-testid="${u}"]`),queryByText:u=>d(n,u),debug:()=>console.log(n.innerHTML)}}function C(){w()}function M(e){let t=[],n=[],o=f,s=new Map,r=i=>{t.includes(i)||t.push(i)},u=i=>{n.includes(i)||n.push(i)},c;return b(i=>{c=i;let a=p(()=>{e()})}),c&&c(),{accessed:t,written:n}}function D(e,t){let n=[t],o=0,s=f(t,e),r=s.set;s.set=function(i){let a=typeof i=="function"?i(s.peek()):i;return Object.is(s.peek(),a)||(o++,n.push(a)),r(a)};let u=s,c=function(...i){if(i.length===0)return u();let a=typeof i[0]=="function"?i[0](u.peek()):i[0];return Object.is(u.peek(),a)||(o++,n.push(a)),u(a)};return c._signal=!0,c.peek=s.peek,c.set=s.set,c.subscribe=s.subscribe,s._debugName&&(c._debugName=s._debugName),s._subs&&(c._subs=s._subs),Object.defineProperty(c,"history",{get(){return n}}),Object.defineProperty(c,"setCount",{get(){return o}}),c.reset=function(i){let a=i!==void 0?i:t;n.length=0,n.push(a),o=0,u(a)},c}function d(e,t){let n=t instanceof RegExp?t:null,o=document.createTreeWalker(e,NodeFilter.SHOW_TEXT,null,!1);for(;o.nextNode();){let s=o.currentNode;if(n?n.test(s.textContent):s.textContent.includes(t))return s.parentElement}return null}function g(e,t){let n=[],o=t instanceof RegExp?t:null,s=document.createTreeWalker(e,NodeFilter.SHOW_TEXT,null,!1);for(;s.nextNode();){let r=s.currentNode;(o?o.test(r.textContent):r.textContent.includes(t))&&n.push(r.parentElement)}return n}var H={click(e){let t=new MouseEvent("click",{bubbles:!0,cancelable:!0,view:typeof window<"u"?window:void 0});return e.dispatchEvent(t),t},change(e,t){e.value=t;let n=new Event("input",{bubbles:!0});e.dispatchEvent(n);let o=new Event("change",{bubbles:!0});return e.dispatchEvent(o),o},input(e,t){e.value=t;let n=new Event("input",{bubbles:!0});return e.dispatchEvent(n),n},submit(e){let t=new Event("submit",{bubbles:!0,cancelable:!0});return e.dispatchEvent(t),t},focus(e){e.focus();let t=new FocusEvent("focus",{bubbles:!0});return e.dispatchEvent(t),t},blur(e){e.blur();let t=new FocusEvent("blur",{bubbles:!0});return e.dispatchEvent(t),t},keyDown(e,t,n={}){let o=new KeyboardEvent("keydown",{bubbles:!0,cancelable:!0,key:t,...n});return e.dispatchEvent(o),o},keyUp(e,t,n={}){let o=new KeyboardEvent("keyup",{bubbles:!0,cancelable:!0,key:t,...n});return e.dispatchEvent(o),o},mouseEnter(e){let t=new MouseEvent("mouseenter",{bubbles:!0});return e.dispatchEvent(t),t},mouseLeave(e){let t=new MouseEvent("mouseleave",{bubbles:!0});return e.dispatchEvent(t),t}};async function y(e,t={}){let{timeout:n=1e3,interval:o=50}=t,s=Date.now();for(;Date.now()-s<n;){try{let r=e();if(r)return r}catch{}await new Promise(r=>setTimeout(r,o))}throw new Error(`waitFor timed out after ${n}ms`)}async function O(e,t={}){let{timeout:n=1e3,interval:o=50}=t,s=Date.now(),r=e();if(!r)throw new Error("Element not found");for(;Date.now()-s<n;){if(r=e(),!r)return;await new Promise(u=>setTimeout(u,o))}throw new Error(`Element still present after ${n}ms`)}async function _(e){let t=await e();return w(),await new Promise(n=>queueMicrotask(n)),await new Promise(n=>setTimeout(n,0)),t}function F(e){let t=f(e),n=[e];return p(()=>{n.push(t())}),{signal:t,get value(){return t()},set value(o){t.set(o)},history:n,reset(){n.length=0,n.push(t())}}}function R(e="MockComponent"){let t=[];function n(o){return t.push({props:o,timestamp:Date.now()}),h("div",{"data-testid":`mock-${e}`},JSON.stringify(o,null,2))}return n.displayName=e,n.calls=t,n.lastCall=()=>t[t.length-1],n.reset=()=>{t.length=0},n}var j={toBeInTheDocument(e){if(!e||!e.parentNode)throw new Error("Expected element to be in the document")},toHaveTextContent(e,t){if(!e)throw new Error("Element not found");let n=e.textContent;if(!(t instanceof RegExp?t.test(n):n.includes(t)))throw new Error(`Expected "${n}" to contain "${t}"`)},toHaveAttribute(e,t,n){if(!e)throw new Error("Element not found");let o=e.getAttribute(t);if(n!==void 0&&o!==n)throw new Error(`Expected attribute "${t}" to be "${n}", got "${o}"`);if(n===void 0&&o===null)throw new Error(`Expected element to have attribute "${t}"`)},toHaveClass(e,t){if(!e)throw new Error("Element not found");if(!e.classList.contains(t))throw new Error(`Expected element to have class "${t}"`)},toBeVisible(e){if(!e)throw new Error("Element not found");let t=window.getComputedStyle(e);if(t.display==="none"||t.visibility==="hidden"||t.opacity==="0")throw new Error("Expected element to be visible")},toBeDisabled(e){if(!e)throw new Error("Element not found");if(!e.disabled)throw new Error("Expected element to be disabled")},toHaveValue(e,t){if(!e)throw new Error("Element not found");if(e.value!==t)throw new Error(`Expected value to be "${t}", got "${e.value}"`)}},A={getByText:e=>d(document.body,e),getByTestId:e=>document.querySelector(`[data-testid="${e}"]`),getByRole:e=>document.querySelector(`[role="${e}"]`),getAllByText:e=>g(document.body,e),queryByText:e=>d(document.body,e),queryByTestId:e=>document.querySelector(`[data-testid="${e}"]`),debug:()=>console.log(document.body.innerHTML)};export{_ as act,v as cleanup,F as createTestSignal,j as expect,H as fireEvent,C as flushEffects,R as mockComponent,D as mockSignal,N as render,q as renderTest,A as screen,E as setupDOM,M as trackSignals,y as waitFor,O as waitForElementToBeRemoved};
 //# sourceMappingURL=testing.min.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "what-core",
-  "version": "0.10.0",
+  "version": "0.11.0",
   "description": "What Framework - Signal-based UI framework built for AI agents",
   "type": "module",
   "main": "src/index.js",

package/render.d.ts

@@ -10,3 +10,21 @@ export {
   effect,
   untrack,
 } from './index';
+
+// Compiler-internal template alias — identical to template() but never
+// dev-warns. Compiled output imports this (SPRINT v0.11 C5).
+export function _$template(html: string): () => Element;
+
+// Specialized attribute setters emitted by the compiler for statically-known
+// attribute names (SPRINT v0.11 C2). Function values are treated as reactive
+// accessors (wrapped in an effect), mirroring setProp.
+export function setClass(el: Element, value: string | null | undefined | (() => any)): void;
+export function setStyle(el: Element, value: string | object | null | undefined | (() => any)): void;
+export function setAttr(el: Element, name: string, value: any): void;
+export function setValue(el: Element, value: any): void;
+export function setChecked(el: Element, value: any): void;
+
+// Equality-gated eager memo (the reactive memo, NOT the component-HOC `memo`
+// exported from the package index). Emitted by the compiler for branch
+// memoization of conditional JSX (SPRINT v0.11 C1).
+export function memo<T>(fn: () => T): (() => T) & { peek(): T };

package/src/agent-context.js

@@ -6,8 +6,9 @@ import { __DEV__ } from './reactive.js';
 import { getCollectedErrors } from './errors.js';
 
 // --- Version ---
-// Read from package.json at build time; fallback to runtime constant.
-const VERSION = '0.6.0';
+// Keep in sync with packages/core/package.json (checked by
+// core/test/guardrails.test.js so it can't silently go stale again).
+const VERSION = '0.11.0';
 
 // --- Component Registry ---
 // Tracks mounted components for agent inspection.

package/src/dom.js

@@ -140,6 +140,22 @@ export function createDOM(vnode, parent, isSvg) {
     return vnode;
   }
 
+  // Self-managing list inserter (mapArray) — it owns its own end marker and
+  // reconciliation effect and expects to be called as (parent, marker), NOT as
+  // a zero-arg reactive accessor. Reached when a keyed `.map()` is the child of
+  // a fragment-as-root (e.g. `<>{items().map(...)}</>`), which the compiler
+  // lowers to a bare `_$mapArray(...)`. Without this special-case the generic
+  // function branch below would call vnode() with no parent and throw.
+  if (typeof vnode === 'function' && vnode._mapArray) {
+    const frag = document.createDocumentFragment();
+    const endMarker = document.createComment('/list-frag');
+    frag.appendChild(endMarker);
+    // The inserter inserts its content before `endMarker` within `frag`; once
+    // `frag` is appended to the real DOM the nodes (and endMarker) carry over.
+    vnode(frag, endMarker);
+    return frag;
+  }
+
   // Reactive function child — use comment markers (no wrapper element)
   // to avoid polluting the DOM and breaking CSS selectors like :first-child.
   if (typeof vnode === 'function') {

package/src/guardrails.js

@@ -10,7 +10,6 @@ import { createWhatError, collectError } from './errors.js';
 
 const guardrails = {
   signalReadDetection: true,
-  effectCycleDetection: true,
   componentNaming: true,
   importValidation: true,
 };
@@ -25,16 +24,19 @@ export function getGuardrailConfig() {
 
 // --- Guardrail 1: Signal Read Detection ---
 // Detect when a signal function reference is used where its value was intended.
-// This catches the pattern: <span>{count}</span> (should be count())
+// This catches patterns like `Total: ${count}` or `count > 5` (should be count()).
 //
-// At runtime, we can detect this when a signal is coerced to string (via toString/valueOf)
-// and warn that it should be called.
+// At runtime, we detect this when a signal is coerced to a string or number
+// (via toString/valueOf) and warn that it should be called.
+//
+// Wiring: what-devtools calls this for every signal it registers (dev only),
+// so any app with devtools installed gets the guardrail automatically.
+// It can also be called manually: installSignalReadGuardrail(sig, 'name').
 
 export function installSignalReadGuardrail(signalFn, debugName) {
   if (!__DEV__ || !guardrails.signalReadDetection) return signalFn;
 
   // Override toString to catch template literal coercion
-  const originalToString = signalFn.toString;
   signalFn.toString = function () {
     const err = createWhatError('MISSING_SIGNAL_READ', {
       signalName: debugName || '(unnamed)',
@@ -58,47 +60,16 @@ export function installSignalReadGuardrail(signalFn, debugName) {
   return signalFn;
 }
 
-// --- Guardrail 2: Enhanced Effect Cycle Detection ---
-// Track which signals an effect reads AND writes.
-// If an effect writes to a signal it reads, warn about the specific cycle.
-
-const effectWriteTracking = new WeakMap(); // effect -> Set of signal debug names
-
-export function trackEffectSignalWrite(effectRef, signalDebugName) {
-  if (!__DEV__ || !guardrails.effectCycleDetection) return;
-
-  if (!effectWriteTracking.has(effectRef)) {
-    effectWriteTracking.set(effectRef, new Set());
-  }
-  effectWriteTracking.get(effectRef).add(signalDebugName);
-}
-
-export function checkEffectCycle(effectRef, readSignals) {
-  if (!__DEV__ || !guardrails.effectCycleDetection) return null;
-
-  const writes = effectWriteTracking.get(effectRef);
-  if (!writes || writes.size === 0) return null;
-
-  const overlapping = [];
-  for (const sigName of readSignals) {
-    if (writes.has(sigName)) {
-      overlapping.push(sigName);
-    }
-  }
-
-  if (overlapping.length > 0) {
-    const err = createWhatError('INFINITE_EFFECT', {
-      effectName: effectRef.fn?.name || '(anonymous)',
-      signalName: overlapping.join(', '),
-    });
-    collectError(err);
-    return err;
-  }
-
-  return null;
-}
+// NOTE: an "effect cycle detection" guardrail (trackEffectSignalWrite /
+// checkEffectCycle) used to live here, exported but never called by anything
+// — it was removed in v0.11 rather than shipped as a dead API. Reviving it
+// requires hooks inside reactive.js: (1) a call on every signal WRITE while
+// an effect is the active listener (to attribute writes to effects), and
+// (2) a post-run callback with the effect's tracked read-set (to intersect
+// reads with writes). reactive.js already detects runaway cascades at flush
+// time (iteration cap), which covers the practical failure mode.
 
-// --- Guardrail 3: Component Naming ---
+// --- Guardrail 2: Component Naming ---
 // Warn if a component function is not PascalCase.
 
 export function checkComponentName(name) {
@@ -119,7 +90,7 @@ function capitalize(str) {
   return str.charAt(0).toUpperCase() + str.slice(1);
 }
 
-// --- Guardrail 4: Import Validation ---
+// --- Guardrail 3: Import Validation ---
 // Verify that all named imports from 'what-framework' are valid exports.
 
 const VALID_EXPORTS = new Set([

package/src/reactive.js

@@ -287,6 +287,8 @@ function _updateLevel(e) {
 // Runs a function, auto-tracking signal reads. Re-runs when deps change.
 // Returns a dispose function.
 
+const _noopDispose = () => {};
+
 export function effect(fn, opts) {
   const e = _createEffect(fn);
   e._level = 1;
@@ -303,6 +305,26 @@ export function effect(fn, opts) {
   _updateLevel(e);
   // Mark as stable after first run — subsequent re-runs skip cleanup/re-subscribe
   if (opts?.stable) e._stable = true;
+
+  // Zero-dependency release (SPRINT v0.11 C4): an effect that tracked zero
+  // signals on its first run can never be notified again — re-tracking only
+  // happens during a re-run, and a re-run requires a notification from a
+  // subscribed signal. The compiler conservatively wraps destructured props /
+  // imported accessors in effects; when those turn out to be plain values the
+  // effect is one-shot. If it also registered no cleanup, release it now:
+  // no dispose closure, no owner registration, nothing retained.
+  // - Effects that returned a cleanup keep full registration so the cleanup
+  //   still runs on owner disposal.
+  // - onCleanup() callbacks register with currentRoot directly (not with the
+  //   effect), so they are unaffected by this release.
+  // - untrack()/peek() reads inside the fn produce zero deps by design — the
+  //   effect could never re-fire anyway, so releasing is safe.
+  if (e.deps.length === 0 && e._cleanup === null) {
+    e.disposed = true;
+    if (__DEV__ && __devtools) __devtools.onEffectDispose(e);
+    return _noopDispose;
+  }
+
   const dispose = () => _disposeEffect(e);
   // Register with current root for automatic cleanup
   if (currentRoot) {

package/src/render.js

@@ -2,9 +2,13 @@
 // Solid-style rendering: components run once, signals create individual DOM effects.
 // No VDOM diffing — direct DOM manipulation with surgical signal-driven updates.
 
-import { effect, untrack, createRoot, _createItemScope, signal, __DEV__ } from './reactive.js';
+import { effect, untrack, createRoot, _createItemScope, signal, memo, __DEV__ } from './reactive.js';
 import { createDOM, disposeTree, getCurrentComponent, getComponentStack, _setSelectValue } from './dom.js';
 export { effect, untrack };
+// Re-export memo for compiled output (branch memoization: the compiler emits
+// _$memo(() => cond) so conditional branches only re-create DOM when the
+// condition value actually changes, not on every dependency write).
+export { memo };
 
 // --- Generic text insertion hook ---
 // External text engines (e.g., what-text) register a callback here via
@@ -173,41 +177,44 @@ export function insert(parent, child, marker) {
   }
 
   if (typeof child === 'function') {
-    // Fast path: if the first evaluation returns a string/number, optimistically
-    // create a text node for direct updates. If the value type changes later
-    // (e.g., text -> vnode), fall back to full reconcileInsert.
-    const first = child();
-    const t = typeof first;
-    if (t === 'string' || t === 'number') {
-      const textNode = document.createTextNode(String(first));
-      const m = marker || null;
-      if (m) parent.insertBefore(textNode, m);
-      else parent.appendChild(textNode);
-      if (_onTextInsert) _onTextInsert(parent, String(first));
-      let current = textNode;
-      let isTextFastPath = true;
-      effect(() => {
-        const val = child();
-        const vt = typeof val;
-        if (isTextFastPath && (vt === 'string' || vt === 'number')) {
-          // Fast path: still text — update data directly (no allocations)
-          const str = String(val);
-          if (textNode.data !== str) textNode.data = str;
-          if (_onTextInsert) _onTextInsert(parent, str);
-        } else {
-          // Type changed — fall back to full reconcile
-          isTextFastPath = false;
-          current = reconcileInsert(parent, val, current, m);
-        }
-      });
-      return textNode;
-    }
-    // General path for non-text reactive children (first value was null/vnode/array).
-    // Let the effect handle both the initial insert and subsequent updates to avoid
-    // double-evaluating child() (which would create components twice on mount).
+    // Single-evaluation mount: child() is evaluated exactly ONCE at mount,
+    // inside the effect (so signal reads are tracked). The first run decides
+    // between the text fast path (direct textNode.data updates, zero
+    // allocations) and the general reconcile path. Previously the first
+    // evaluation happened outside the effect to pick the path, then the
+    // effect's first run re-evaluated child() — creating components twice
+    // on mount for non-text children. (SPRINT v0.11 C3)
+    const m = marker || null;
     let current = null;
+    let textNode = null; // non-null while on the text fast path
+    let mounted = false;
     effect(() => {
-      current = reconcileInsert(parent, child(), current, marker || null);
+      const val = child();
+      const vt = typeof val;
+      if (!mounted) {
+        // First run — mount
+        mounted = true;
+        if (vt === 'string' || vt === 'number') {
+          textNode = document.createTextNode(String(val));
+          if (m) parent.insertBefore(textNode, m);
+          else parent.appendChild(textNode);
+          if (_onTextInsert) _onTextInsert(parent, String(val));
+          current = textNode;
+        } else {
+          current = reconcileInsert(parent, val, null, m);
+        }
+        return;
+      }
+      if (textNode !== null && (vt === 'string' || vt === 'number')) {
+        // Fast path: still text — update data directly (no allocations)
+        const str = String(val);
+        if (textNode.data !== str) textNode.data = str;
+        if (_onTextInsert) _onTextInsert(parent, str);
+        return;
+      }
+      // Type changed (or never was text) — full reconcile
+      textNode = null;
+      current = reconcileInsert(parent, val, current, m);
     });
     return current;
   }
@@ -417,10 +424,17 @@ export function mapArray(source, mapFn, options) {
 
     effect(() => {
       const newItems = source() || [];
+      // Resolve the LIVE parent from the end marker each run. When this inserter
+      // is mounted at a fragment-as-root (`<>{items().map(...)}</>`), createDOM
+      // calls it against a throwaway DocumentFragment which is then appended to
+      // the real container — the marker (and existing rows) move with it, so the
+      // captured `parent` goes stale. endMarker.parentNode always reflects where
+      // the list currently lives. Falls back to the captured parent pre-mount.
+      const liveParent = endMarker.parentNode || parent;
       if (keyFn) {
-        reconcileKeyed(parent, endMarker, items, newItems, mappedNodes, disposeFns, mapFn, keyFn, keyedState);
+        reconcileKeyed(liveParent, endMarker, items, newItems, mappedNodes, disposeFns, mapFn, keyFn, keyedState);
       } else {
-        reconcileList(parent, endMarker, items, newItems, mappedNodes, disposeFns, mapFn);
+        reconcileList(liveParent, endMarker, items, newItems, mappedNodes, disposeFns, mapFn);
       }
       // Save a snapshot of items for next diff. Use slice() to defend against
       // in-place mutation, but skip for empty arrays (common clear case).
@@ -1244,12 +1258,9 @@ export function spread(el, props) {
           else el.className = cls;
         });
       } else if (key === 'style' && typeof value() === 'object') {
-        el._propEffects[key] = effect(() => {
-          const styles = value();
-          for (const prop in styles) {
-            el.style[prop] = styles[prop] ?? '';
-          }
-        });
+        // Route through setStyle so stale object keys are cleared between
+        // re-evaluations (el._lastStyleObj diffing).
+        el._propEffects[key] = effect(() => { setStyle(el, value()); });
       } else {
         el._propEffects[key] = effect(() => { setProp(el, key, value()); });
       }
@@ -1332,13 +1343,8 @@ export function setProp(el, key, value) {
       }
     }
   } else if (key === 'style') {
-    if (typeof value === 'string') {
-      el.style.cssText = value;
-    } else if (typeof value === 'object') {
-      for (const prop in value) {
-        el.style[prop] = value[prop] ?? '';
-      }
-    }
+    // Delegate to setStyle so the object form clears stale keys (el._lastStyleObj).
+    setStyle(el, value);
   } else if (key.startsWith('data-') || key.startsWith('aria-')) {
     el.setAttribute(key, value);
   } else if (typeof value === 'boolean') {
@@ -1355,6 +1361,99 @@ export function setProp(el, key, value) {
   }
 }
 
+// --- Specialized attribute setters (SPRINT v0.11 C2) ---
+// The compiler statically knows most attribute names, so it emits direct calls
+// to these monomorphic helpers instead of routing everything through the
+// generic setProp() dispatcher (which re-checks ref/key/url/class/style/...
+// string-compares on every reactive update). setProp() remains the target for
+// spreads, URL attributes (href/src/action — sanitization lives there) and any
+// name the compiler can't classify.
+//
+// Function values are reactive ACCESSORS (e.g. `value={() => user().name}`),
+// exactly like setProp treats them: wrap in an effect that re-applies the
+// resolved value, with the disposer registered on el._propEffects so
+// disposeTree() tears it down on unmount.
+
+function _wrapPropAccessor(el, key, accessor, apply) {
+  if (!el._propEffects) el._propEffects = {};
+  if (el._propEffects[key]) {
+    try { el._propEffects[key](); } catch (e) { /* already disposed */ }
+  }
+  el._propEffects[key] = effect(() => apply(el, accessor()));
+}
+
+// class / className — hottest dynamic attribute in real apps.
+export function setClass(el, value) {
+  if (typeof value === 'function') return _wrapPropAccessor(el, 'class', value, setClass);
+  if (_hasSVGElement && el instanceof SVGElement) {
+    el.setAttribute('class', value || '');
+  } else {
+    el.className = value || '';
+  }
+}
+
+// style — string (cssText) or object form.
+export function setStyle(el, value) {
+  if (typeof value === 'function') return _wrapPropAccessor(el, 'style', value, setStyle);
+  if (typeof value === 'string') {
+    el.style.cssText = value;
+    // cssText fully replaces inline styles — drop any tracked object so a later
+    // object form starts clean rather than diffing against stale keys.
+    el._lastStyleObj = null;
+  } else if (value && typeof value === 'object') {
+    const style = el.style;
+    // Clear properties present in the previously-applied object but absent from
+    // the new one. Without this, `style={() => cond() ? {color, fontWeight} :
+    // {color}}` would leave fontWeight set after flipping to the second object.
+    const prev = el._lastStyleObj;
+    if (prev) {
+      for (const prop in prev) {
+        if (!(prop in value)) style[prop] = '';
+      }
+    }
+    for (const prop in value) {
+      style[prop] = value[prop] ?? '';
+    }
+    el._lastStyleObj = value;
+  } else if (value == null) {
+    el.style.cssText = '';
+    el._lastStyleObj = null;
+  }
+}
+
+// Plain attribute set — used for data-*/aria-* (statically recognizable).
+// null/undefined removes the attribute (previously setProp stringified them
+// to "null"/"undefined" — removal is the correct semantic). Booleans are
+// stringified ("true"/"false") because aria-* boolean strings are meaningful.
+export function setAttr(el, name, value) {
+  if (typeof value === 'function') {
+    return _wrapPropAccessor(el, name, value, (e2, v) => setAttr(e2, name, v));
+  }
+  if (value == null) el.removeAttribute(name);
+  else el.setAttribute(name, value);
+}
+
+// value — controlled-input property set. <select> keeps multi/deferred-option
+// handling; other elements get a guarded property write (the !== guard avoids
+// resetting the caret position in focused inputs on unrelated re-runs).
+export function setValue(el, value) {
+  if (typeof value === 'function') return _wrapPropAccessor(el, 'value', value, setValue);
+  if (el.tagName === 'SELECT') {
+    _setSelectValue(el, value);
+    return;
+  }
+  const str = value == null ? '' : String(value);
+  if (el.value !== str) el.value = str;
+}
+
+// checked — live property write (matches bind:checked). The old generic path
+// used setAttribute('checked'), which only sets the DEFAULT-checked state and
+// stops reflecting once the user has toggled the input.
+export function setChecked(el, value) {
+  if (typeof value === 'function') return _wrapPropAccessor(el, 'checked', value, setChecked);
+  el.checked = !!value;
+}
+
 // --- delegateEvents(eventNames) ---
 // Event delegation: common events handled at document level.
 // Handlers stored as el.$$click, el.$$input, etc.
@@ -1371,6 +1470,15 @@ export function delegateEvents(eventNames) {
       let node = e.target;
       const key = '$$' + name;
 
+      // Shim e.currentTarget so handlers see the element the (virtual) listener
+      // is attached to — not `document` — during the ancestor walk. Mirrors
+      // Solid's delegation shim. configurable so nested dispatch can redefine.
+      // (SPRINT v0.11 C9)
+      Object.defineProperty(e, 'currentTarget', {
+        configurable: true,
+        get() { return node || document; },
+      });
+
       // Walk up the DOM tree looking for handlers
       while (node) {
         const handler = node[key];
@@ -1659,12 +1767,8 @@ function hydrateElementProps(el, props) {
       if (key === 'class' || key === 'className') {
         effect(() => { el.className = value() || ''; });
       } else if (key === 'style' && typeof value() === 'object') {
-        effect(() => {
-          const styles = value();
-          for (const prop in styles) {
-            el.style[prop] = styles[prop] ?? '';
-          }
-        });
+        // Route through setStyle so stale object keys are cleared (el._lastStyleObj).
+        effect(() => { setStyle(el, value()); });
       } else {
         effect(() => { setProp(el, key, value()); });
       }