sibujs 2.0.0 → 2.2.0

package/dist/index.d.cts

@@ -762,12 +762,21 @@ declare function effect(effectFn: EffectBody | (() => void), options?: EffectOpt
 /**
  * derived creates a derived reactive signal whose value updates when dependencies change.
  *
- * Uses lazy pull-based evaluation with dirty flagging:
+ * Uses lazy pull-based evaluation with a single dirty flag:
  * - When a dependency changes, the computed is marked dirty (no re-evaluation).
  * - Dirtiness propagates downstream via propagateDirty.
  * - The getter only re-evaluates when actually read (pull-based).
- * - On re-evaluation, dependencies are re-tracked via track() so that
- *   derived-of-derived chains propagate correctly.
+ * - On re-evaluation, dependencies are re-tracked via retrack() so that
+ *   derived-of-derived chains propagate correctly without paying the full
+ *   Set-delete + re-add cost of track()'s cleanup phase.
+ *
+ * NOTE: a previous revision experimented with three-color (CLEAN/CHECK/DIRTY)
+ * state for read-side value-change short-circuiting. It regressed every
+ * benchmark except Memory (Deep Chain +122%, Component Tree +20%) because
+ * the workloads always produce a new downstream value and CHECK had no
+ * work to skip — only overhead to add. Keeping the simpler boolean flag
+ * here; revisit CHECK propagation when we have benchmarks that exercise
+ * stabilisation on diamond / conditional-branch patterns.
  */
 declare function derived<T>(getter: () => T, options?: {
     name?: string;
@@ -1349,14 +1358,10 @@ interface TransitionState {
  */
 declare function transition(): TransitionState;
 
-/**
- * Execute a function without tracking any signal reads as dependencies.
- * Useful for reading signals inside effects without creating subscriptions.
- *
- * @param fn Function to execute without dependency tracking
- * @returns The return value of fn
- */
+type Subscriber = () => void;
 declare function untracked<T>(fn: () => T): T;
+declare function retrack(effectFn: () => void, subscriber: Subscriber): void;
+declare function setMaxDrainIterations(n: number): number;
 
 /**
  * Bind a dynamic attribute where both name and value can change reactively.
@@ -1534,4 +1539,4 @@ interface LoadingProps {
  */
 declare function Loading(props?: LoadingProps): HTMLElement;
 
-export { type Accessor, type ActionFn, type AnchorProps, type ArrayActions, type AsyncDerivedState, type AudioProps, type ButtonProps, type Context, DynamicComponent, type EffectBody, type EffectOptions, ErrorBoundary, type ErrorBoundaryProps, ErrorDisplay, type ErrorDisplayProps, type ErrorSeverity, type FormProps, Fragment, type ImgProps, type InputProps, type InputType, KeepAlive, type KeepAliveOptions, type LabelProps, Loading, type LoadingProps, type LongPressOptions, type MediaProps, NodeChild, NodeChildren, type OnCleanup, type OptionProps, Portal, type Ref, type SSRStore, type SelectProps, type SignalOptions, type SlotFn, type Slots, type StoreActions, Suspense, type SuspenseProps, TagProps, type TextareaProps, type TypedTagFunction, type VideoProps, __resetIdCounter, a, abbr, action, address, area, array, article, aside, asyncDerived, audio, autoResize, b, base, batch, bdi, bdo, bindDynamic, blockquote, body, br, button, canvas, caption, catchError, catchErrorAsync, center, checkLeaks, circle, cite, clickOutside, clipPath, code, col, colgroup, context, copyOnClick, createId, customElement, data, datalist, dd, deepEqual, deepSignal, defer, defs, del, derived, details, dfn, dialog, disableSSR, dispose, div, dl, dt, each, effect, ellipse, em, embed, enableSSR, enqueueBatchedSignal, fieldset, figcaption, figure, font, footer, form, g, getSSRStore, getSlot, h1, h2, h3, h4, h5, h6, head, header, hr, html, i, iframe, img, input, ins, isBatching, isSSR, kbd, label, lazy, legend, li, line, linearGradient, link, longPress, main, map, mark, marker, marquee, mask, match, math, menu, meta, meter, mount, nav, nextTick, noscript, object, ol, on, onCleanup, onMount, onUnmount, optgroup, option, output, p, param, path, pattern, picture, polygon, polyline, portal, pre, progress, q, radialGradient, reactiveArray, rect, ref, registerComponent, registerDisposer, resolveComponent, rp, rt, ruby, runInSSRContext, s, samp, script, section, select, setGlobalErrorHandler, show, signal, slot, small, source, span, stop, store, strict, strictEffect, strong, style, sub, summary, sup, svg, symbol, table, takePendingError, tbody, td, template, text, textarea, tfoot, th, thead, time, title, tr, track, transition, trapFocus, tspan, u, ul, unregisterComponent, untracked, use, var_, video, watch, when, withSSR, writable };
+export { type Accessor, type ActionFn, type AnchorProps, type ArrayActions, type AsyncDerivedState, type AudioProps, type ButtonProps, type Context, DynamicComponent, type EffectBody, type EffectOptions, ErrorBoundary, type ErrorBoundaryProps, ErrorDisplay, type ErrorDisplayProps, type ErrorSeverity, type FormProps, Fragment, type ImgProps, type InputProps, type InputType, KeepAlive, type KeepAliveOptions, type LabelProps, Loading, type LoadingProps, type LongPressOptions, type MediaProps, NodeChild, NodeChildren, type OnCleanup, type OptionProps, Portal, type Ref, type SSRStore, type SelectProps, type SignalOptions, type SlotFn, type Slots, type StoreActions, Suspense, type SuspenseProps, TagProps, type TextareaProps, type TypedTagFunction, type VideoProps, __resetIdCounter, a, abbr, action, address, area, array, article, aside, asyncDerived, audio, autoResize, b, base, batch, bdi, bdo, bindDynamic, blockquote, body, br, button, canvas, caption, catchError, catchErrorAsync, center, checkLeaks, circle, cite, clickOutside, clipPath, code, col, colgroup, context, copyOnClick, createId, customElement, data, datalist, dd, deepEqual, deepSignal, defer, defs, del, derived, details, dfn, dialog, disableSSR, dispose, div, dl, dt, each, effect, ellipse, em, embed, enableSSR, enqueueBatchedSignal, fieldset, figcaption, figure, font, footer, form, g, getSSRStore, getSlot, h1, h2, h3, h4, h5, h6, head, header, hr, html, i, iframe, img, input, ins, isBatching, isSSR, kbd, label, lazy, legend, li, line, linearGradient, link, longPress, main, map, mark, marker, marquee, mask, match, math, menu, meta, meter, mount, nav, nextTick, noscript, object, ol, on, onCleanup, onMount, onUnmount, optgroup, option, output, p, param, path, pattern, picture, polygon, polyline, portal, pre, progress, q, radialGradient, reactiveArray, rect, ref, registerComponent, registerDisposer, resolveComponent, retrack, rp, rt, ruby, runInSSRContext, s, samp, script, section, select, setGlobalErrorHandler, setMaxDrainIterations, show, signal, slot, small, source, span, stop, store, strict, strictEffect, strong, style, sub, summary, sup, svg, symbol, table, takePendingError, tbody, td, template, text, textarea, tfoot, th, thead, time, title, tr, track, transition, trapFocus, tspan, u, ul, unregisterComponent, untracked, use, var_, video, watch, when, withSSR, writable };

package/dist/index.d.ts

@@ -762,12 +762,21 @@ declare function effect(effectFn: EffectBody | (() => void), options?: EffectOpt
 /**
  * derived creates a derived reactive signal whose value updates when dependencies change.
  *
- * Uses lazy pull-based evaluation with dirty flagging:
+ * Uses lazy pull-based evaluation with a single dirty flag:
  * - When a dependency changes, the computed is marked dirty (no re-evaluation).
  * - Dirtiness propagates downstream via propagateDirty.
  * - The getter only re-evaluates when actually read (pull-based).
- * - On re-evaluation, dependencies are re-tracked via track() so that
- *   derived-of-derived chains propagate correctly.
+ * - On re-evaluation, dependencies are re-tracked via retrack() so that
+ *   derived-of-derived chains propagate correctly without paying the full
+ *   Set-delete + re-add cost of track()'s cleanup phase.
+ *
+ * NOTE: a previous revision experimented with three-color (CLEAN/CHECK/DIRTY)
+ * state for read-side value-change short-circuiting. It regressed every
+ * benchmark except Memory (Deep Chain +122%, Component Tree +20%) because
+ * the workloads always produce a new downstream value and CHECK had no
+ * work to skip — only overhead to add. Keeping the simpler boolean flag
+ * here; revisit CHECK propagation when we have benchmarks that exercise
+ * stabilisation on diamond / conditional-branch patterns.
  */
 declare function derived<T>(getter: () => T, options?: {
     name?: string;
@@ -1349,14 +1358,10 @@ interface TransitionState {
  */
 declare function transition(): TransitionState;
 
-/**
- * Execute a function without tracking any signal reads as dependencies.
- * Useful for reading signals inside effects without creating subscriptions.
- *
- * @param fn Function to execute without dependency tracking
- * @returns The return value of fn
- */
+type Subscriber = () => void;
 declare function untracked<T>(fn: () => T): T;
+declare function retrack(effectFn: () => void, subscriber: Subscriber): void;
+declare function setMaxDrainIterations(n: number): number;
 
 /**
  * Bind a dynamic attribute where both name and value can change reactively.
@@ -1534,4 +1539,4 @@ interface LoadingProps {
  */
 declare function Loading(props?: LoadingProps): HTMLElement;
 
-export { type Accessor, type ActionFn, type AnchorProps, type ArrayActions, type AsyncDerivedState, type AudioProps, type ButtonProps, type Context, DynamicComponent, type EffectBody, type EffectOptions, ErrorBoundary, type ErrorBoundaryProps, ErrorDisplay, type ErrorDisplayProps, type ErrorSeverity, type FormProps, Fragment, type ImgProps, type InputProps, type InputType, KeepAlive, type KeepAliveOptions, type LabelProps, Loading, type LoadingProps, type LongPressOptions, type MediaProps, NodeChild, NodeChildren, type OnCleanup, type OptionProps, Portal, type Ref, type SSRStore, type SelectProps, type SignalOptions, type SlotFn, type Slots, type StoreActions, Suspense, type SuspenseProps, TagProps, type TextareaProps, type TypedTagFunction, type VideoProps, __resetIdCounter, a, abbr, action, address, area, array, article, aside, asyncDerived, audio, autoResize, b, base, batch, bdi, bdo, bindDynamic, blockquote, body, br, button, canvas, caption, catchError, catchErrorAsync, center, checkLeaks, circle, cite, clickOutside, clipPath, code, col, colgroup, context, copyOnClick, createId, customElement, data, datalist, dd, deepEqual, deepSignal, defer, defs, del, derived, details, dfn, dialog, disableSSR, dispose, div, dl, dt, each, effect, ellipse, em, embed, enableSSR, enqueueBatchedSignal, fieldset, figcaption, figure, font, footer, form, g, getSSRStore, getSlot, h1, h2, h3, h4, h5, h6, head, header, hr, html, i, iframe, img, input, ins, isBatching, isSSR, kbd, label, lazy, legend, li, line, linearGradient, link, longPress, main, map, mark, marker, marquee, mask, match, math, menu, meta, meter, mount, nav, nextTick, noscript, object, ol, on, onCleanup, onMount, onUnmount, optgroup, option, output, p, param, path, pattern, picture, polygon, polyline, portal, pre, progress, q, radialGradient, reactiveArray, rect, ref, registerComponent, registerDisposer, resolveComponent, rp, rt, ruby, runInSSRContext, s, samp, script, section, select, setGlobalErrorHandler, show, signal, slot, small, source, span, stop, store, strict, strictEffect, strong, style, sub, summary, sup, svg, symbol, table, takePendingError, tbody, td, template, text, textarea, tfoot, th, thead, time, title, tr, track, transition, trapFocus, tspan, u, ul, unregisterComponent, untracked, use, var_, video, watch, when, withSSR, writable };
+export { type Accessor, type ActionFn, type AnchorProps, type ArrayActions, type AsyncDerivedState, type AudioProps, type ButtonProps, type Context, DynamicComponent, type EffectBody, type EffectOptions, ErrorBoundary, type ErrorBoundaryProps, ErrorDisplay, type ErrorDisplayProps, type ErrorSeverity, type FormProps, Fragment, type ImgProps, type InputProps, type InputType, KeepAlive, type KeepAliveOptions, type LabelProps, Loading, type LoadingProps, type LongPressOptions, type MediaProps, NodeChild, NodeChildren, type OnCleanup, type OptionProps, Portal, type Ref, type SSRStore, type SelectProps, type SignalOptions, type SlotFn, type Slots, type StoreActions, Suspense, type SuspenseProps, TagProps, type TextareaProps, type TypedTagFunction, type VideoProps, __resetIdCounter, a, abbr, action, address, area, array, article, aside, asyncDerived, audio, autoResize, b, base, batch, bdi, bdo, bindDynamic, blockquote, body, br, button, canvas, caption, catchError, catchErrorAsync, center, checkLeaks, circle, cite, clickOutside, clipPath, code, col, colgroup, context, copyOnClick, createId, customElement, data, datalist, dd, deepEqual, deepSignal, defer, defs, del, derived, details, dfn, dialog, disableSSR, dispose, div, dl, dt, each, effect, ellipse, em, embed, enableSSR, enqueueBatchedSignal, fieldset, figcaption, figure, font, footer, form, g, getSSRStore, getSlot, h1, h2, h3, h4, h5, h6, head, header, hr, html, i, iframe, img, input, ins, isBatching, isSSR, kbd, label, lazy, legend, li, line, linearGradient, link, longPress, main, map, mark, marker, marquee, mask, match, math, menu, meta, meter, mount, nav, nextTick, noscript, object, ol, on, onCleanup, onMount, onUnmount, optgroup, option, output, p, param, path, pattern, picture, polygon, polyline, portal, pre, progress, q, radialGradient, reactiveArray, rect, ref, registerComponent, registerDisposer, resolveComponent, retrack, rp, rt, ruby, runInSSRContext, s, samp, script, section, select, setGlobalErrorHandler, setMaxDrainIterations, show, signal, slot, small, source, span, stop, store, strict, strictEffect, strong, style, sub, summary, sup, svg, symbol, table, takePendingError, tbody, td, template, text, textarea, tfoot, th, thead, time, title, tr, track, transition, trapFocus, tspan, u, ul, unregisterComponent, untracked, use, var_, video, watch, when, withSSR, writable };

package/dist/index.js

@@ -44,7 +44,7 @@ import {
   unregisterComponent,
   when,
   writable
-} from "./chunk-ND2664SF.js";
+} from "./chunk-J63GPPCJ.js";
 import {
   __resetIdCounter,
   createId
@@ -186,26 +186,26 @@ import {
   use,
   var_,
   video
-} from "./chunk-R73P76YZ.js";
+} from "./chunk-VSNLICTS.js";
 import {
   watch
-} from "./chunk-ITX6OO3F.js";
+} from "./chunk-NEWH4O5U.js";
 import {
   trustHTML
 } from "./chunk-JYD2PWXH.js";
 import {
   context
-} from "./chunk-GTBNNBJ6.js";
+} from "./chunk-YMOIAHWA.js";
 import {
   SVG_NS,
   tagFactory
-} from "./chunk-KLRMB5ZS.js";
+} from "./chunk-STFTTMO2.js";
 import {
   bindDynamic
-} from "./chunk-DFPFITST.js";
+} from "./chunk-UKMXT5T6.js";
 import {
   derived
-} from "./chunk-54EDRCEF.js";
+} from "./chunk-DF3GTP4Q.js";
 import {
   checkLeaks,
   dispose,
@@ -215,7 +215,7 @@ import "./chunk-UCS6AMJ7.js";
 import {
   effect,
   on
-} from "./chunk-HB24TBAF.js";
+} from "./chunk-5WD7BYTZ.js";
 import {
   disableSSR,
   enableSSR,
@@ -229,10 +229,12 @@ import {
   enqueueBatchedSignal,
   isBatching,
   signal
-} from "./chunk-CC65Y57T.js";
+} from "./chunk-6QZO7MMG.js";
 import {
+  retrack,
+  setMaxDrainIterations,
   untracked
-} from "./chunk-VLPPXTYG.js";
+} from "./chunk-L4DAT4WU.js";
 import "./chunk-LMLD24FC.js";
 export {
   DynamicComponent,
@@ -384,6 +386,7 @@ export {
   registerComponent,
   registerDisposer,
   resolveComponent,
+  retrack,
   rp,
   rt,
   ruby,
@@ -394,6 +397,7 @@ export {
   section,
   select,
   setGlobalErrorHandler,
+  setMaxDrainIterations,
   show,
   signal,
   slot,

package/dist/{introspect-cY2pg9pW.d.ts → introspect-BZWKvQUZ.d.ts}

@@ -474,7 +474,8 @@ declare function getSubscriberCount(getter: () => unknown): number;
  * Get the dependency list of an effect or computed subscriber function.
  * Returns signal references that the subscriber depends on.
  *
- * Note: This reads the _deps Set that track.ts maintains on subscriber functions.
+ * Note: This reads the linked-list dep storage maintained by track.ts. Safe
+ * to call on any subscriber (effect or computed markDirty).
  */
 declare function getDependencies(subscriberFn: () => void): ReactiveSignal[];
 /**

package/dist/{introspect-BWNjNw64.d.cts → introspect-DsJlDD2T.d.cts}

@@ -474,7 +474,8 @@ declare function getSubscriberCount(getter: () => unknown): number;
  * Get the dependency list of an effect or computed subscriber function.
  * Returns signal references that the subscriber depends on.
  *
- * Note: This reads the _deps Set that track.ts maintains on subscriber functions.
+ * Note: This reads the linked-list dep storage maintained by track.ts. Safe
+ * to call on any subscriber (effect or computed markDirty).
  */
 declare function getDependencies(subscriberFn: () => void): ReactiveSignal[];
 /**

package/dist/motion.cjs

@@ -289,9 +289,51 @@ function devWarn(message) {
 
 // src/reactivity/track.ts
 var _isDev2 = isDev();
-var subscriberStack = new Array(32);
+var nodePool = [];
+function createNode() {
+  return {
+    sig: null,
+    sub: null,
+    epoch: 0,
+    sigPrev: null,
+    sigNext: null,
+    subPrev: null,
+    subNext: null,
+    prevActive: null
+  };
+}
+function allocNode(sig, sub, epoch) {
+  const n = nodePool.pop();
+  if (n) {
+    n.sig = sig;
+    n.sub = sub;
+    n.epoch = epoch;
+    return n;
+  }
+  const fresh = createNode();
+  fresh.sig = sig;
+  fresh.sub = sub;
+  fresh.epoch = epoch;
+  return fresh;
+}
+function linkSignal(sig, node) {
+  const oldHead = sig.subsHead ?? null;
+  node.sigPrev = null;
+  node.sigNext = oldHead;
+  if (oldHead) oldHead.sigPrev = node;
+  else sig.subsTail = node;
+  sig.subsHead = node;
+  sig.__sc = (sig.__sc ?? 0) + 1;
+}
+function linkSub(sub, node) {
+  const oldTail = sub.depsTail ?? null;
+  node.subPrev = oldTail;
+  node.subNext = null;
+  if (oldTail) oldTail.subNext = node;
+  else sub.depsHead = node;
+  sub.depsTail = node;
+}
 var currentSubscriber = null;
-var SUBS = "__s";
 var notifyDepth = 0;
 var pendingQueue = [];
 var pendingSet = /* @__PURE__ */ new Set();
@@ -306,33 +348,64 @@ function safeInvoke(sub) {
 function recordDependency(signal2) {
   if (!currentSubscriber) return;
   const sub = currentSubscriber;
-  if (sub._dep === signal2) return;
-  const deps = sub._deps;
-  if (deps) {
-    if (deps.has(signal2)) return;
-    deps.add(signal2);
-  } else if (sub._dep !== void 0) {
-    const set = /* @__PURE__ */ new Set();
-    set.add(sub._dep);
-    set.add(signal2);
-    sub._deps = set;
-    sub._dep = void 0;
-  } else {
-    sub._dep = signal2;
+  const sig = signal2;
+  const epoch = sub._epoch ?? 0;
+  const active = sig.__activeNode ?? null;
+  if (active !== null && active.sub === sub) {
+    active.epoch = epoch;
+    return;
+  }
+  const node = allocNode(signal2, sub, epoch);
+  node.prevActive = active;
+  sig.__activeNode = node;
+  linkSub(sub, node);
+  linkSignal(sig, node);
+  sub._structDirty = true;
+}
+var maxSubscriberRepeats = 50;
+var maxDrainIterations = 1e6;
+var drainEpoch = 0;
+function tickRepeat(sub) {
+  const s = sub;
+  if (s._runEpoch !== drainEpoch) {
+    s._runEpoch = drainEpoch;
+    s._runs = 1;
+    return false;
   }
-  let subs = signal2[SUBS];
-  if (!subs) {
-    subs = /* @__PURE__ */ new Set();
-    signal2[SUBS] = subs;
+  s._runs = (s._runs ?? 0) + 1;
+  return s._runs > maxSubscriberRepeats;
+}
+function cycleError(sub) {
+  if (typeof console !== "undefined") {
+    const name = sub.__name ?? "<unnamed>";
+    console.error(
+      `[SibuJS] subscriber "${name}" fired more than ${maxSubscriberRepeats} times \u2014 likely a write-reads-self cycle between effects/signals. Breaking to prevent infinite loop.`
+    );
   }
-  subs.add(currentSubscriber);
-  if (subs.size === 1) {
-    signal2.__f = currentSubscriber;
-  } else if (signal2.__f !== void 0) {
-    signal2.__f = void 0;
+}
+function absoluteDrainError() {
+  if (typeof console !== "undefined") {
+    console.error(
+      `[SibuJS] Notification drain exceeded ${maxDrainIterations} iterations \u2014 absolute safety net tripped. Breaking to prevent infinite loop.`
+    );
+  }
+}
+function drainQueue() {
+  let i = 0;
+  while (i < pendingQueue.length) {
+    if (i >= maxDrainIterations) {
+      absoluteDrainError();
+      break;
+    }
+    const sub = pendingQueue[i++];
+    if (tickRepeat(sub)) {
+      cycleError(sub);
+      break;
+    }
+    pendingSet.delete(sub);
+    safeInvoke(sub);
   }
 }
-var maxDrainIterations = 1e5;
 function propagateDirty(sub) {
   sub();
   const rootSig = sub._sig;
@@ -342,131 +415,66 @@ function propagateDirty(sub) {
   stack.push(rootSig);
   while (stack.length > baseLen) {
     const sig = stack.pop();
-    const first = sig.__f;
-    if (first) {
-      if (first._c) {
-        const nSig = first._sig;
-        if (!nSig._d) {
-          nSig._d = true;
-          stack.push(nSig);
-        }
-      } else if (!pendingSet.has(first)) {
-        pendingSet.add(first);
-        pendingQueue.push(first);
-      }
-      continue;
-    }
-    const subs = sig[SUBS];
-    if (!subs) continue;
-    for (const s of subs) {
-      if (s._c) {
-        const nSig = s._sig;
-        if (nSig && !nSig._d) {
-          nSig._d = true;
-          stack.push(nSig);
-        } else if (!nSig) {
-          s();
+    let node = sig.subsHead ?? null;
+    while (node) {
+      const s = node.sub;
+      if (s) {
+        if (s._c) {
+          const nSig = s._sig;
+          if (nSig) {
+            if (!nSig._d) {
+              nSig._d = true;
+              stack.push(nSig);
+            }
+          } else {
+            s();
+          }
+        } else if (!pendingSet.has(s)) {
+          pendingSet.add(s);
+          pendingQueue.push(s);
         }
-      } else if (!pendingSet.has(s)) {
-        pendingSet.add(s);
-        pendingQueue.push(s);
       }
+      node = node.sigNext;
     }
   }
 }
 function notifySubscribers(signal2) {
-  const first = signal2.__f;
-  if (first) {
-    if (notifyDepth > 0) {
-      if (first._c) {
-        propagateDirty(first);
-      } else if (!pendingSet.has(first)) {
-        pendingSet.add(first);
-        pendingQueue.push(first);
-      }
-      return;
-    }
-    notifyDepth++;
-    try {
-      if (first._c) {
-        propagateDirty(first);
-      } else {
-        safeInvoke(first);
-      }
-      let i = 0;
-      while (i < pendingQueue.length) {
-        if (i >= maxDrainIterations) {
-          if (typeof console !== "undefined") {
-            console.error(
-              `[SibuJS] Notification queue exceeded ${maxDrainIterations} iterations \u2014 likely an effect that writes to a signal it reads. Breaking to prevent infinite loop.`
-            );
-          }
-          break;
-        }
-        safeInvoke(pendingQueue[i]);
-        i++;
-      }
-    } finally {
-      notifyDepth--;
-      if (notifyDepth === 0) {
-        pendingQueue.length = 0;
-        pendingSet.clear();
-      }
-    }
-    return;
-  }
-  const subs = signal2[SUBS];
-  if (!subs || subs.size === 0) return;
+  const sig = signal2;
+  const head = sig.subsHead;
+  if (!head) return;
   if (notifyDepth > 0) {
-    for (const sub of subs) {
-      if (sub._c) {
-        propagateDirty(sub);
-      } else if (!pendingSet.has(sub)) {
-        pendingSet.add(sub);
-        pendingQueue.push(sub);
+    let node = head;
+    while (node) {
+      const s = node.sub;
+      if (s) {
+        if (s._c) {
+          propagateDirty(s);
+        } else if (!pendingSet.has(s)) {
+          pendingSet.add(s);
+          pendingQueue.push(s);
+        }
       }
+      node = node.sigNext;
     }
     return;
   }
   notifyDepth++;
+  drainEpoch++;
   try {
-    let directCount = 0;
-    let hasComputedSub = false;
-    for (const sub of subs) {
-      if (sub._c) hasComputedSub = true;
-      pendingQueue[directCount++] = sub;
-    }
-    if (!hasComputedSub) {
-      for (let i2 = 0; i2 < directCount; i2++) {
-        safeInvoke(pendingQueue[i2]);
-      }
-    } else {
-      for (let i2 = 0; i2 < directCount; i2++) {
-        if (pendingQueue[i2]._c) {
-          propagateDirty(pendingQueue[i2]);
-        }
-      }
-      for (let i2 = 0; i2 < directCount; i2++) {
-        const sub = pendingQueue[i2];
-        if (!sub._c && !pendingSet.has(sub)) {
-          pendingSet.add(sub);
-          safeInvoke(sub);
-        }
-      }
-    }
-    let i = directCount;
-    while (i < pendingQueue.length) {
-      if (i - directCount >= maxDrainIterations) {
-        if (typeof console !== "undefined") {
-          console.error(
-            `[SibuJS] Notification queue exceeded ${maxDrainIterations} iterations \u2014 likely an effect that writes to a signal it reads. Breaking to prevent infinite loop.`
-          );
+    let node = head;
+    while (node) {
+      const s = node.sub;
+      if (s) {
+        if (s._c) {
+          propagateDirty(s);
+        } else if (!pendingSet.has(s)) {
+          pendingSet.add(s);
+          pendingQueue.push(s);
         }
-        break;
       }
-      safeInvoke(pendingQueue[i]);
-      i++;
+      node = node.sigNext;
     }
+    drainQueue();
   } finally {
     notifyDepth--;
     if (notifyDepth === 0) {
@@ -489,32 +497,64 @@ function enqueueBatchedSignal(signal2) {
 var _g = globalThis;
 var _isDev3 = isDev();
 function signal(initial, options) {
-  const state = { value: initial };
+  const state = {
+    value: initial,
+    __v: 0,
+    __sc: 0,
+    subsHead: null,
+    subsTail: null,
+    __activeNode: null,
+    __name: void 0
+  };
   const debugName = _isDev3 ? options?.name : void 0;
   const equalsFn = options?.equals;
-  if (debugName) {
-    state.__name = debugName;
-  }
+  if (debugName) state.__name = debugName;
   function get() {
     recordDependency(state);
     return state.value;
   }
   get.__signal = state;
   if (debugName) get.__name = debugName;
-  function set(next) {
-    const newValue = typeof next === "function" ? next(state.value) : next;
-    if (equalsFn ? equalsFn(state.value, newValue) : Object.is(newValue, state.value)) return;
-    if (_isDev3) {
-      const oldValue = state.value;
+  let set;
+  if (equalsFn) {
+    set = (next) => {
+      const prev = state.value;
+      const newValue = typeof next === "function" ? next(prev) : next;
+      if (equalsFn(prev, newValue)) return;
       state.value = newValue;
+      state.__v++;
+      if (_isDev3) {
+        const hook = _g.__SIBU_DEVTOOLS_GLOBAL_HOOK__;
+        if (hook) hook.emit("signal:update", { signal: state, name: debugName, oldValue: prev, newValue });
+      }
+      if (!enqueueBatchedSignal(state)) {
+        notifySubscribers(state);
+      }
+    };
+  } else if (_isDev3) {
+    set = (next) => {
+      const prev = state.value;
+      const newValue = typeof next === "function" ? next(prev) : next;
+      if (Object.is(newValue, prev)) return;
+      state.value = newValue;
+      state.__v++;
       const hook = _g.__SIBU_DEVTOOLS_GLOBAL_HOOK__;
-      if (hook) hook.emit("signal:update", { signal: state, name: debugName, oldValue, newValue });
-    } else {
+      if (hook) hook.emit("signal:update", { signal: state, name: debugName, oldValue: prev, newValue });
+      if (!enqueueBatchedSignal(state)) {
+        notifySubscribers(state);
+      }
+    };
+  } else {
+    set = (next) => {
+      const prev = state.value;
+      const newValue = typeof next === "function" ? next(prev) : next;
+      if (Object.is(newValue, prev)) return;
       state.value = newValue;
-    }
-    if (!enqueueBatchedSignal(state)) {
-      notifySubscribers(state);
-    }
+      state.__v++;
+      if (!enqueueBatchedSignal(state)) {
+        notifySubscribers(state);
+      }
+    };
   }
   if (_isDev3) {
     const hook = _g.__SIBU_DEVTOOLS_GLOBAL_HOOK__;

package/dist/motion.js

@@ -19,9 +19,9 @@ import {
   stagger,
   transition,
   viewTransition
-} from "./chunk-52YJLLRO.js";
-import "./chunk-CC65Y57T.js";
-import "./chunk-VLPPXTYG.js";
+} from "./chunk-4YTVESDX.js";
+import "./chunk-6QZO7MMG.js";
+import "./chunk-L4DAT4WU.js";
 import "./chunk-LMLD24FC.js";
 export {
   TransitionGroup,