@slimlib/store 1.6.1 → 2.0.0

package/src/computed.ts

@@ -0,0 +1,232 @@
+import {
+    checkComputedSources,
+    clearSources,
+    createSourceEntry,
+    currentComputing,
+    DepsSet,
+    globalVersion,
+    makeLive,
+    noopGetter,
+    runWithTracking,
+    setTracked,
+    tracked,
+} from './core';
+import { cycleMessage } from './debug';
+import { Flag } from './flags';
+import type { ReactiveNode, SourceEntry } from './internal-types';
+import type { Computed } from './types';
+
+/**
+ * Read function for computed nodes
+ */
+export function computedRead<T>(self: ReactiveNode): T {
+    // ===== PULL PHASE: Register this computed as a dependency of the current consumer =====
+    // Track if someone is reading us
+    if (tracked && currentComputing !== undefined) {
+        // Inline tracking for computed dependencies
+        const consumerSources = currentComputing.$_sources;
+        const skipIndex = currentComputing.$_skipped;
+        const deps = self.$_deps;
+        const existing = consumerSources[skipIndex];
+        const noSource = existing === undefined;
+
+        if (noSource || existing.$_dependents !== deps) {
+            // Different dependency - clear old ones from this point and rebuild
+            if (!noSource) {
+                clearSources(currentComputing, skipIndex);
+            }
+
+            // Push source entry - version will be updated after source computes
+            // Uses shared createSourceEntry factory for V8 hidden class monomorphism
+            consumerSources.push(createSourceEntry(deps as DepsSet<ReactiveNode>, self, 0, undefined, undefined));
+
+            // Only register with source if we're live
+            if ((currentComputing.$_flags & (Flag.EFFECT | Flag.LIVE)) !== 0) {
+                (deps as DepsSet<ReactiveNode>).add(currentComputing);
+                // If source computed is not live, make it live
+                if ((self.$_flags & Flag.LIVE) === 0) {
+                    makeLive(self);
+                }
+            }
+        }
+        // Mark that this node has computed sources (for version update loop optimization)
+        currentComputing.$_flags |= Flag.HAS_COMPUTED_SOURCE;
+        ++currentComputing.$_skipped;
+    }
+
+    let flags = self.$_flags;
+    const sourcesArray = self.$_sources;
+
+    // Cycle detection: if this computed is already being computed, we have a cycle
+    // This matches TC39 Signals proposal behavior: throw an error on cyclic reads
+    if ((flags & Flag.COMPUTING) !== 0) {
+        throw new Error(cycleMessage);
+    }
+
+    // ===== PULL PHASE: Check if cached value can be returned =====
+    // Combined check: node has cached result and doesn't need work
+    const hasCached = (flags & (Flag.HAS_VALUE | Flag.HAS_ERROR)) !== 0;
+
+    // biome-ignore lint/suspicious/noConfusingLabels: expected
+    checkCache: if ((flags & (Flag.DIRTY | Flag.CHECK)) === 0 && hasCached) {
+        // Fast-path: nothing has changed globally since last read
+        if (self.$_stamp === globalVersion) {
+            if ((flags & Flag.HAS_ERROR) !== 0) {
+                throw self.$_value;
+            }
+            return self.$_value as T;
+        }
+
+        // ===== PULL PHASE: Poll sources for non-live computeds =====
+        // Non-live nodes poll instead of receiving push notifications
+        if ((flags & Flag.LIVE) === 0) {
+            let sourceChanged = false;
+
+            // Disable tracking while polling sources to avoid unnecessary dependency tracking
+            const prevTracked = tracked;
+            // TODO: inline after it combined to a single scope?
+            setTracked(false);
+            for (let i = 0, len = sourcesArray.length; i < len; ++i) {
+                const source = sourcesArray[i] as SourceEntry;
+                const sourceNode = source.$_node; // Extract once at loop start
+                if (sourceNode === undefined) {
+                    // State source - check if deps version changed
+                    const currentDepsVersion = (source.$_dependents as DepsSet<ReactiveNode>).$_version as number;
+                    if (source.$_version !== currentDepsVersion) {
+                        // Deps version changed, check if actual value reverted (primitives only)
+                        const storedValue = source.$_storedValue;
+                        const storedType = typeof storedValue;
+                        if (storedValue === null || (storedType !== 'object' && storedType !== 'function')) {
+                            const currentValue = (source.$_getter as () => unknown)();
+                            if (Object.is(currentValue, storedValue)) {
+                                // Value reverted - update depsVersion and continue checking
+                                source.$_version = currentDepsVersion;
+                                continue;
+                            }
+                        }
+                        // Value actually changed - mark DIRTY and skip remaining
+                        sourceChanged = true;
+                        break;
+                    }
+                } else {
+                    // Computed source - use sourceNode directly (already extracted above)
+                    try {
+                        computedRead(sourceNode);
+                    } catch {
+                        // Error counts as changed
+                        sourceChanged = true;
+                        break;
+                    }
+                    if (source.$_version !== sourceNode.$_version) {
+                        sourceChanged = true;
+                        break; // EXIT EARLY - don't process remaining sources
+                    }
+                }
+            }
+            setTracked(prevTracked);
+
+            if (sourceChanged) {
+                // Source changed or threw - mark DIRTY and proceed to recompute
+                self.$_flags = flags |= Flag.DIRTY;
+                break checkCache;
+            }
+
+            // No sources changed - return cached value
+            self.$_stamp = globalVersion;
+            if ((flags & Flag.HAS_ERROR) !== 0) {
+                throw self.$_value;
+            }
+            return self.$_value as T;
+        }
+    }
+
+    // ===== PULL PHASE: Verify CHECK state for live computeds =====
+    // Live computeds receive CHECK via push - verify sources before recomputing
+    // Non-live computeds already verified above during polling
+    // Note: Check for Flag.HAS_VALUE OR Flag.HAS_ERROR since cached errors should also use this path
+    if ((flags & (Flag.DIRTY | Flag.CHECK | Flag.HAS_STATE_SOURCE)) === Flag.CHECK && hasCached) {
+        if (checkComputedSources(sourcesArray)) {
+            // Sources changed or errored - mark DIRTY and let getter run
+            flags = (flags & ~Flag.CHECK) | Flag.DIRTY;
+        } else {
+            // Sources unchanged, clear CHECK flag and return cached value
+            self.$_flags = flags & ~Flag.CHECK;
+            // No sources changed - return cached value
+            self.$_stamp = globalVersion;
+            if ((flags & Flag.HAS_ERROR) !== 0) {
+                throw self.$_value;
+            }
+            return self.$_value as T;
+        }
+    }
+
+    // ===== PULL PHASE: Recompute value by pulling from sources =====
+    // Recompute if dirty or check (sources actually changed)
+    if ((flags & (Flag.DIRTY | Flag.CHECK)) !== 0) {
+        const wasDirty = (flags & Flag.DIRTY) !== 0;
+
+        runWithTracking(self, () => {
+            try {
+                const newValue = (self.$_fn as () => T)();
+
+                // Check if value actually changed (common path: no error recovery)
+                const changed = (flags & Flag.HAS_VALUE) === 0 || !(self.$_equals as (a: T, b: T) => boolean)(self.$_value as T, newValue);
+
+                if (changed) {
+                    self.$_value = newValue;
+                    // Increment version to indicate value changed (for polling)
+                    ++self.$_version;
+                    self.$_flags = (self.$_flags | Flag.HAS_VALUE) & ~Flag.HAS_ERROR;
+                    // ===== PUSH PHASE (during pull): Mark CHECK-only dependents as DIRTY =====
+                    // When value changes during recomputation, upgrade dependent CHECK flags to DIRTY
+                    for (const dep of self.$_deps) {
+                        const depFlags = dep.$_flags;
+                        if ((depFlags & (Flag.COMPUTING | Flag.DIRTY | Flag.CHECK)) === Flag.CHECK) {
+                            dep.$_flags = depFlags | Flag.DIRTY;
+                        }
+                    }
+                } else if (wasDirty) {
+                    self.$_flags |= Flag.HAS_VALUE;
+                }
+
+                // Update last seen global version
+                self.$_stamp = globalVersion;
+            } catch (e) {
+                // Per TC39 Signals proposal: cache the error and mark as clean with error flag
+                // The error will be rethrown on subsequent reads until a dependency changes
+                // Reuse valueSymbol for error storage since a computed can't have both value and error
+                // Increment version since the result changed (to error)
+                ++self.$_version;
+                self.$_value = e as T;
+                self.$_flags = (self.$_flags & ~Flag.HAS_VALUE) | Flag.HAS_ERROR;
+                self.$_stamp = globalVersion;
+            }
+        });
+    }
+
+    // Check if we have a cached error to rethrow (stored in valueSymbol)
+    if ((self.$_flags & Flag.HAS_ERROR) !== 0) {
+        throw self.$_value;
+    }
+
+    return self.$_value as T;
+}
+
+/**
+ * Creates a computed value that automatically tracks dependencies and caches results
+ */
+export const computed = <T>(getter: () => T, equals: (a: T, b: T) => boolean = Object.is): Computed<T> => {
+    const node = {
+        $_sources: [],
+        $_deps: new DepsSet<ReactiveNode>(noopGetter),
+        $_flags: Flag.DIRTY,
+        $_skipped: 0,
+        $_version: 0,
+        $_value: undefined,
+        $_stamp: 0,
+        $_fn: getter,
+        $_equals: equals,
+    } as ReactiveNode;
+
+    return () => computedRead(node);
+};

package/src/core.ts

@@ -0,0 +1,434 @@
+/**
+ * Core reactive system implementation using push/pull algorithm:
+ *
+ * PUSH PHASE: When a source value changes (signal/state write):
+ *   - Increment globalVersion
+ *   - Eagerly propagate CHECK flags to all dependents
+ *   - Schedule effects for execution
+ *
+ * PULL PHASE: When a computed/effect is read:
+ *   - Check if recomputation is needed (via flags and source versions)
+ *   - Lazily recompute by pulling values from sources
+ *   - Update cached value and version
+ */
+
+import { computedRead } from './computed';
+import { Flag } from './flags';
+import { scheduler } from './globals';
+import { unwrap } from './symbols';
+import type { ReactiveNode, SourceEntry } from './internal-types';
+
+/**
+ * No-op getter used as default for DepsSet.$_getter to ensure all DepsSet
+ * instances have the same field representation (function, never undefined).
+ * This avoids V8 field representation deopts when some DepsSets have a getter
+ * and others don't.
+ */
+/* v8 ignore next -- @preserve */
+export const noopGetter = (): unknown => undefined;
+
+/**
+ * DepsSet extends Set with $_version and $_getter properties for dependency
+ * tracking. Using a class ensures all instances share the same V8 hidden class,
+ * avoiding hidden class transitions and field constness changes.
+ *
+ * IMPORTANT: $_getter always defaults to a no-op function (never undefined)
+ * so that all DepsSet instances share the same V8 field representation.
+ * This prevents "dependent field representation changed" deopts.
+ */
+export class DepsSet<T> extends Set<T> {
+    $_version = 0;
+    $_getter: () => unknown;
+    constructor(getter: () => unknown) {
+        super();
+        this.$_getter = getter;
+    }
+}
+
+/**
+ * Factory for creating source entries (unified allocation site).
+ *
+ * Both state and computed source entries MUST be created through this single
+ * factory to ensure they share the same V8 hidden class. Using separate
+ * object literals in different functions creates different allocation sites,
+ * causing V8 to assign different hidden classes and making all property
+ * accesses on source entries polymorphic.
+ *
+ * @param dependents - The DepsSet tracking dependents of this source
+ * @param node - The source ReactiveNode (undefined for state/signal sources)
+ * @param version - Initial version number
+ * @param getter - Value getter (undefined for computed sources)
+ * @param storedValue - Cached value (undefined for computed sources)
+ */
+export const createSourceEntry = (
+    dependents: DepsSet<ReactiveNode>,
+    node: ReactiveNode | undefined,
+    version: number,
+    getter: undefined | (() => unknown),
+    storedValue: unknown
+): SourceEntry => ({
+    $_dependents: dependents,
+    $_node: node,
+    $_version: version,
+    $_getter: getter,
+    $_storedValue: storedValue,
+});
+
+let flushScheduled = false;
+
+/**
+ * Global version counter - increments on every signal/state write
+ * Used for fast-path: if globalVersion hasn't changed since last read, skip all checks
+ */
+export let globalVersion = 1;
+
+export const batched: ReactiveNode[] = [];
+
+let lastAddedId = 0;
+
+let needsSort = false;
+
+// Computation tracking state
+export let currentComputing: ReactiveNode | undefined;
+export let tracked = true;
+
+/**
+ * Set the tracked state for dependency tracking (internal use only)
+ */
+export const setTracked = (value: boolean) => {
+    tracked = value;
+};
+
+/**
+ * Add an effect to the batched set
+ * PUSH PHASE: Part of effect scheduling during dirty propagation
+ * Caller must check Flag.NEEDS_WORK before calling to avoid duplicates
+ */
+export const batchedAdd = (node: ReactiveNode): void => {
+    const nodeId = node.$_stamp;
+    // Track if we're adding out of order
+    if (nodeId < lastAddedId) {
+        needsSort = true;
+    }
+    lastAddedId = nodeId;
+    batched.push(node);
+};
+
+/**
+ * Add a newly created effect to the batched set
+ * Used during effect creation - new effects always have the highest ID
+ * so we unconditionally update lastAddedId without checking order
+ */
+export const batchedAddNew = (node: ReactiveNode, effectId: number): void => {
+    lastAddedId = effectId;
+    batched.push(node);
+};
+
+/**
+ * Unwraps a proxied value to get the underlying object
+ * (Utility - not specific to push/pull phases)
+ */
+export const unwrapValue = <T>(value: T): T =>
+    (value !== null &&
+        (typeof value === 'object' || typeof value === 'function') &&
+        ((value as unknown as Record<symbol, unknown>)[unwrap] as T)) ||
+    value;
+
+/**
+ * Make a computed live - register it with all its sources
+ * Called when a live consumer starts reading this computed
+ * PUSH PHASE: Enables push notifications to flow through this node
+ */
+export const makeLive = (node: ReactiveNode): void => {
+    node.$_flags |= Flag.LIVE;
+    const nodeSources = node.$_sources;
+    for (let i = 0, len = nodeSources.length; i < len; ++i) {
+        const { $_dependents, $_node: sourceNode } = nodeSources[i] as SourceEntry;
+        $_dependents.add(node);
+        if (sourceNode !== undefined && (sourceNode.$_flags & (Flag.EFFECT | Flag.LIVE)) === 0) {
+            makeLive(sourceNode);
+        }
+    }
+};
+
+/**
+ * Make a computed non-live - unregister it from all its sources
+ * Called when all live consumers stop depending on this computed
+ * PUSH PHASE: Disables push notifications through this node
+ */
+export const makeNonLive = (node: ReactiveNode): void => {
+    node.$_flags &= ~Flag.LIVE;
+    const nodeSources = node.$_sources;
+    for (let i = 0, len = nodeSources.length; i < len; ++i) {
+        const { $_dependents, $_node: sourceNode } = nodeSources[i] as SourceEntry;
+        $_dependents.delete(node);
+        // Check: has Flag.LIVE but not Flag.EFFECT (effects never become non-live)
+        if (
+            sourceNode !== undefined &&
+            (sourceNode.$_flags & (Flag.EFFECT | Flag.LIVE)) === Flag.LIVE &&
+            (sourceNode.$_deps as Set<ReactiveNode>).size === 0
+        ) {
+            makeNonLive(sourceNode);
+        }
+    }
+};
+
+/**
+ * Clear sources for a node starting from a specific index
+ * PULL PHASE: Cleanup during dependency tracking when sources change
+ */
+export const clearSources = (node: ReactiveNode, fromIndex = 0): void => {
+    const isLive = (node.$_flags & (Flag.EFFECT | Flag.LIVE)) !== 0;
+    const nodeSources = node.$_sources;
+
+    for (let i = fromIndex, len = nodeSources.length; i < len; ++i) {
+        const { $_dependents, $_node: sourceNode } = nodeSources[i] as SourceEntry;
+
+        // Check if this deps is retained (exists in kept portion) - avoid removing shared deps
+        let retained = false;
+        for (let j = 0; j < fromIndex && !retained; ++j) {
+            retained = (nodeSources[j] as SourceEntry).$_dependents === $_dependents;
+        }
+
+        if (!retained) {
+            // Always remove from deps to prevent stale notifications
+            $_dependents.delete(node);
+            // If source is a computed and we're live, check if it became non-live
+            if (
+                isLive &&
+                sourceNode !== undefined &&
+                (sourceNode.$_flags & (Flag.EFFECT | Flag.LIVE)) === Flag.LIVE &&
+                (sourceNode.$_deps as Set<ReactiveNode>).size === 0
+            ) {
+                makeNonLive(sourceNode);
+            }
+        }
+    }
+    nodeSources.length = fromIndex;
+};
+
+/**
+ * Execute all pending effects immediately
+ * This function can be called to manually trigger all scheduled effects
+ * before the next microtask
+ * PULL PHASE: Executes batched effects, each effect pulls its dependencies
+ */
+export const flushEffects = (): void => {
+    flushScheduled = false;
+    // Collect nodes, only sort if effects were added out of order
+    // Use a copy of the array for execution to allow re-scheduling
+    const nodes = batched.slice();
+    batched.length = 0;
+
+    if (needsSort) {
+        nodes.sort((a, b) => a.$_stamp - b.$_stamp);
+    }
+
+    lastAddedId = 0;
+    needsSort = false;
+
+    // Call $_fn on each node instead of calling nodes directly as functions
+    // This enables effect nodes to be plain objects (same hidden class as computed)
+    for (let i = 0, len = nodes.length; i < len; ++i) {
+        const node = nodes[i] as ReactiveNode;
+        try {
+            node.$_fn?.();
+        } catch (e) {
+            console.error(e);
+        }
+    }
+};
+
+/**
+ * Schedule flush via scheduler (default: microtask)
+ * PUSH PHASE: Schedules the transition from push to pull phase
+ */
+export const scheduleFlush = (): void => {
+    if (!flushScheduled) {
+        flushScheduled = true;
+        scheduler(flushEffects);
+    }
+};
+
+/**
+ * Track a state/signal dependency between currentComputing and a deps Set
+ * Uses liveness tracking - only live consumers register with sources
+ * PULL PHASE: Records dependencies during computation for future invalidation
+ */
+export const trackStateDependency = <T>(deps: DepsSet<ReactiveNode>, valueGetter: () => T, cachedValue: T): void => {
+    // Callers guarantee tracked && currentComputing are true
+
+    const sourcesArray = (currentComputing as ReactiveNode).$_sources;
+    const skipIndex = (currentComputing as ReactiveNode).$_skipped;
+    const existing = sourcesArray[skipIndex];
+    const noSource = existing === undefined;
+
+    if (noSource || existing.$_dependents !== deps) {
+        // Different dependency - clear old ones from this point and rebuild
+        if (!noSource) {
+            clearSources(currentComputing as ReactiveNode, skipIndex);
+        }
+
+        // Track deps version, value getter, and last seen value for polling
+        // Uses shared createSourceEntry factory for V8 hidden class monomorphism
+        sourcesArray.push(
+            createSourceEntry(deps, undefined, (deps as DepsSet<ReactiveNode>).$_version as number, valueGetter, cachedValue)
+        );
+
+        // Mark that this node has state/signal sources (for polling optimization)
+        (currentComputing as ReactiveNode).$_flags |= Flag.HAS_STATE_SOURCE;
+
+        // Only register with source if we're live
+        if (((currentComputing as ReactiveNode).$_flags & (Flag.EFFECT | Flag.LIVE)) !== 0) {
+            deps.add(currentComputing as ReactiveNode);
+        }
+    } else {
+        // Same state source - update depsVersion, getter, and storedValue for accurate polling
+        const entry = sourcesArray[skipIndex] as SourceEntry;
+        entry.$_version = (deps as DepsSet<ReactiveNode>).$_version as number;
+        entry.$_getter = valueGetter;
+        entry.$_storedValue = cachedValue;
+        // Re-set Flag.HAS_STATE_SOURCE (may have been cleared by runWithTracking)
+        (currentComputing as ReactiveNode).$_flags |= Flag.HAS_STATE_SOURCE;
+    }
+    ++(currentComputing as ReactiveNode).$_skipped;
+};
+
+/**
+ * Mark a node as needing check (eager propagation with equality cutoff)
+ * PUSH PHASE: Eagerly propagates CHECK flag up the dependency graph
+ */
+export const markNeedsCheck = (node: ReactiveNode): void => {
+    const flags = node.$_flags;
+    // Fast path: skip if already computing, dirty, or marked CHECK
+    // (COMPUTING | DIRTY | CHECK) (bits 0, 1, 2)
+    if ((flags & (Flag.COMPUTING | Flag.DIRTY | Flag.CHECK)) !== 0) {
+        // Exception: computing effect that's not dirty yet needs to be marked dirty
+        // Uses combined mask: (flags & 13) === 12 means COMPUTING + EFFECT set, DIRTY not set
+        if ((flags & (Flag.COMPUTING | Flag.EFFECT | Flag.DIRTY)) === (Flag.COMPUTING | Flag.EFFECT)) {
+            node.$_flags = flags | Flag.DIRTY;
+            batchedAdd(node);
+            scheduleFlush();
+        }
+        return;
+    }
+    // Not skipped: set CHECK and propagate to dependents
+    node.$_flags = flags | Flag.CHECK;
+    if ((flags & Flag.EFFECT) !== 0) {
+        batchedAdd(node);
+        scheduleFlush();
+    }
+    for (const dep of node.$_deps) {
+        markNeedsCheck(dep);
+    }
+};
+
+/**
+ * Mark all dependents in a Set as needing check
+ * PUSH PHASE: Entry point for push propagation when a source value changes
+ */
+export const markDependents = (deps: DepsSet<ReactiveNode>): void => {
+    ++globalVersion;
+    // Increment deps version for non-live computed polling
+    ++deps.$_version;
+    for (const dep of deps) {
+        markNeedsCheck(dep);
+    }
+};
+
+/**
+ * Run a getter function with dependency tracking
+ * Handles cycle detection, context setup, and source cleanup
+ * PULL PHASE: Core of pull - executes computation while tracking dependencies
+ */
+export const runWithTracking = <T>(node: ReactiveNode, getter: () => T): T => {
+    // Clear (DIRTY | CHECK) and source flags (will be recalculated during tracking)
+    // Note: Even when called from checkComputedSources (which sets tracked=false), this works
+    // because runWithTracking sets tracked=true, so trackDependency will re-set the flag
+    node.$_flags = (node.$_flags & ~(Flag.DIRTY | Flag.CHECK | Flag.HAS_STATE_SOURCE | Flag.HAS_COMPUTED_SOURCE)) | Flag.COMPUTING;
+    node.$_skipped = 0;
+
+    const prev = currentComputing;
+    const prevTracked = tracked;
+    currentComputing = node;
+    tracked = true;
+
+    try {
+        return getter();
+    } finally {
+        currentComputing = prev;
+        tracked = prevTracked;
+        // biome-ignore lint/suspicious/noAssignInExpressions: optimization
+        const flags = (node.$_flags &= ~Flag.COMPUTING);
+        const nodeSources = node.$_sources;
+        const skipped = node.$_skipped;
+        const nodeSourcesLength = nodeSources.length;
+        // Only update versions if there are computed sources (state sources update inline)
+        if ((flags & Flag.HAS_COMPUTED_SOURCE) !== 0) {
+            const updateLen = Math.min(skipped, nodeSourcesLength);
+            for (let i = 0; i < updateLen; ++i) {
+                const entry = nodeSources[i] as SourceEntry;
+                const entryNode = entry.$_node;
+                if (entryNode !== undefined) {
+                    entry.$_version = entryNode.$_version;
+                }
+            }
+        }
+        // Clean up any excess sources that weren't reused
+        if (nodeSourcesLength > skipped) {
+            clearSources(node, skipped);
+        }
+    }
+};
+
+/**
+ * Execute a callback without tracking any reactive dependencies
+ * Useful when reading signals/state without creating a dependency relationship
+ * PULL PHASE: Temporarily disables dependency tracking during pull
+ */
+export const untracked = <T>(callback: () => T): T => {
+    const prevTracked = tracked;
+    tracked = false;
+    try {
+        return callback();
+    } finally {
+        tracked = prevTracked;
+    }
+};
+
+/**
+ * Check if any computed sources have changed or errored.
+ * Used by CHECK path optimization in computed and effect.
+ * PULL PHASE: Verifies if sources actually changed before recomputing (equality cutoff)
+ *
+ * Note: Callers must check HAS_STATE_SOURCE flag before calling this function.
+ * This function assumes all sources are computed (have $_node).
+ *
+ * @param sourcesArray - The sources to check (must all be computed sources)
+ * @returns true if sources changed, false if unchanged
+ */
+export const checkComputedSources = (sourcesArray: SourceEntry[]): boolean => {
+    const prevTracked = tracked;
+    tracked = false;
+    const len = sourcesArray.length;
+    for (let i = 0; i < len; ++i) {
+        const sourceEntry = sourcesArray[i] as SourceEntry;
+        const sourceNode = sourceEntry.$_node as ReactiveNode;
+        // Access source to trigger its recomputation if needed
+        try {
+            computedRead(sourceNode);
+        } catch {
+            // Error counts as changed - caller will recompute and may handle differently
+            tracked = prevTracked;
+            return true;
+        }
+        // Check if source version changed (meaning its value changed)
+        // Early exit - runWithTracking will update all versions during recomputation
+        if (sourceEntry.$_version !== sourceNode.$_version) {
+            tracked = prevTracked;
+            return true;
+        }
+    }
+    tracked = prevTracked;
+    return false;
+};