@solidjs/signals 2.0.0-beta.18 → 2.0.0-beta.19

package/dist/prod/store/store.js

@@ -0,0 +1,739 @@
+import { $REFRESH, STORE_SNAPSHOT_PROPS, NOT_PENDING, STATUS_PENDING, NO_SNAPSHOT } from "../core/constants.js";
+
+import { suppressComputedRecompute, isEqual, signal, pendingCheckActive, untrack, setSignal, read, snapshotCaptureActive, snapshotSources } from "../core/core.js";
+
+import { DEV } from "../core/dev.js";
+
+import { getObserver } from "../core/owner.js";
+
+import { GlobalQueue, registerTransientStoreNode, projectionWriteActive, globalQueue } from "../core/scheduler.js";
+
+import "../core/invariants.js";
+
+import "../core/verdict.js";
+
+import "../core/effect.js";
+
+import { createProjectionInternal } from "./projection.js";
+
+/**
+ * Brand symbols used internally by the store proxy / projection plumbing.
+ * Cross-package wiring; not part of the user-facing API.
+ *
+ * @internal
+ */ const $TRACK = Symbol(0), $TARGET = Symbol(0), $PROXY = Symbol(0), $DELETED = Symbol(0), 
+// Node-map slot carrying a record-level `affects()` mark: any read through
+// the record witnesses it into the active isPending() probe.
+$AFFECTS = Symbol(0);
+
+const STORE_VALUE = "v", STORE_OVERRIDE = "o", STORE_OPTIMISTIC_OVERRIDE = "x", STORE_NODE = "n", STORE_HAS = "h", STORE_CUSTOM_PROTO = "c", STORE_WRAP = "w", STORE_LOOKUP = "l", STORE_FIREWALL = "f", STORE_OPTIMISTIC = "p";
+
+const STORE_SELF_PENDING = Symbol(0);
+
+function createStoreProxy(e, t = storeTraps, r) {
+    let n;
+    if (Array.isArray(e)) {
+        n = [];
+        n.v = e;
+    } else {
+        n = {
+            v: e
+        };
+        const t = e?.[$TARGET]?.[STORE_VALUE] ?? e;
+        const r = Object.getPrototypeOf(t);
+        if (r !== null && r !== Object.prototype) {
+            n[STORE_CUSTOM_PROTO] = true;
+        }
+    }
+    r && r(n);
+    return n[$PROXY] = new Proxy(n, t);
+}
+
+const storeLookup = new WeakMap;
+
+// Node records that hold at least one user (non-`$TRACK`) symbol-keyed node.
+// Lets reconcile enumerate symbols only for records that need it (#2851).
+const symbolKeyedRecords = new WeakSet;
+
+function wrap(e, t) {
+    if (t?.[STORE_WRAP]) return t[STORE_WRAP](e, t);
+    let r = e[$PROXY] || storeLookup.get(e);
+    if (!r) storeLookup.set(e, r = createStoreProxy(e));
+    return r;
+}
+
+function isWrappable(e) {
+    if (e == null || typeof e !== "object" || Object.isFrozen(e)) return false;
+    // Dynamic Node check (kept dynamic so test/SSR overrides of `globalThis.Node`
+    // are observed at call time).
+        return typeof Node === "undefined" || !(e instanceof Node);
+}
+
+let writeOverride = false;
+
+function setWriteOverride(e) {
+    writeOverride = e;
+}
+
+function writeOnly(e) {
+    return writeOverride || !!Writing?.has(e);
+}
+
+function unwrapStoreValue(e, t, r) {
+    const n = e?.[$TARGET] || r?.get(e)?.[$TARGET];
+    if (!n) return e;
+    const o = n[STORE_OVERRIDE];
+    if (!o) return n[STORE_VALUE];
+    if (!t) t = new Map;
+    if (t.has(e)) return t.get(e);
+    const i = n[STORE_VALUE];
+    const s = Array.isArray(i);
+    const E = s ? [] : Object.create(Object.getPrototypeOf(i));
+    t.set(e, E);
+    r = n[STORE_LOOKUP] ?? storeLookup;
+    for (const e of getKeys(i, o)) {
+        if (s && e === "length") continue;
+        const n = e in o ? o[e] : i[e];
+        if (n !== $DELETED) E[e] = unwrapStoreValue(n, t, r);
+    }
+    if (s) E.length = o.length ?? i.length;
+    return E;
+}
+
+function isPrototypePollutionKey(e) {
+    return e === "__proto__" || e === "constructor" || e === "prototype";
+}
+
+// Own enumerable keys including symbols (`Object.keys` drops symbol-keyed props). #2769
+function ownEnumerableKeys(e) {
+    return Reflect.ownKeys(e).filter(t => Object.prototype.propertyIsEnumerable.call(e, t));
+}
+
+/**
+ * Single chokepoint for the store's layered value resolution: returns the
+ * override layer (optimistic first, then regular) that shadows `property`, or
+ * `undefined` when the base `STORE_VALUE` is authoritative. Every trap must
+ * resolve through this — hand-inlining the layer order is how the optimistic
+ * layer gets missed (#2850).
+ */ function getOverlayLayer(e, t) {
+    const r = e[STORE_OPTIMISTIC_OVERRIDE];
+    if (r && t in r) return r;
+    const n = e[STORE_OVERRIDE];
+    if (n && t in n) return n;
+    return undefined;
+}
+
+/**
+ * The value a store leaf's backing signal currently shows to readers: active
+ * override, else held pending value, else committed value.
+ */ function visibleNodeValue(e) {
+    return e.be !== undefined && e.be !== NOT_PENDING ? e.be : e.ge !== NOT_PENDING ? e.ge : e.Ue;
+}
+
+function hasOwnStoreProperty(e, t) {
+    // Override layers are null-prototype objects, so `in` is an own check.
+    const r = getOverlayLayer(e, t);
+    if (r) return r[t] !== $DELETED;
+    return Object.prototype.hasOwnProperty.call(unwrapStoreValue(e[STORE_VALUE]), t);
+}
+
+function hasInheritedAccessor(e, t) {
+    let r = Object.getPrototypeOf(e);
+    while (r && r !== Object.prototype) {
+        const e = Reflect.getOwnPropertyDescriptor(r, t);
+        if (e) return !!e.get;
+        r = Object.getPrototypeOf(r);
+    }
+    return false;
+}
+
+function getNodes(e, t) {
+    let r = e[t];
+    if (!r) e[t] = r = Object.create(null);
+    return r;
+}
+
+function getNode(e, t, r, n, o = isEqual, i) {
+    if (t[r]) return t[r];
+    const s = signal(n, {
+        equals: o,
+        unobserved() {
+            if (t[r] === s) {
+                delete t[r];
+                // Drop the symbol-record mark once the last user symbol node is
+                // gone, so reconcile's fast path stops probing a now string-only
+                // record. Runs only on symbol-node cleanup (cold), never on reconcile.
+                                if (typeof r === "symbol" && r !== $TRACK && r !== $AFFECTS && symbolKeyedRecords.has(t)) {
+                    const e = Object.getOwnPropertySymbols(t);
+                    let r = false;
+                    for (let t = 0, n = e.length; t < n; t++) {
+                        if (e[t] !== $TRACK && e[t] !== $AFFECTS) {
+                            r = true;
+                            break;
+                        }
+                    }
+                    if (!r) symbolKeyedRecords.delete(t);
+                }
+            }
+        }
+    }, e[STORE_FIREWALL]);
+    if (e[STORE_OPTIMISTIC]) {
+        s.be = NOT_PENDING;
+    }
+    if (i && r in i) {
+        const e = i[r];
+        s.Ye = e === undefined ? NO_SNAPSHOT : e;
+        snapshotSources?.add(s);
+    }
+    if (typeof r === "symbol" && r !== $TRACK && r !== $AFFECTS) symbolKeyedRecords.add(t);
+    // A node born inside a live keyless mark's identity scope inherits the mark
+    // (the declaration walk could only cover nodes that existed then). The
+    // record's own $AFFECTS carrier is the mark's channel, never a member.
+        if (r !== $AFFECTS && affectsScopes.size) inheritAffectsMarks(s, e[STORE_VALUE]);
+    return t[r] = s;
+}
+
+/**
+ * Scope inheritance for late-created nodes: every live keyless mark whose
+ * identity scope contains the owning record's raw gets counted on the new
+ * node. Inherited marks live exactly as long as the scope's carrier — the
+ * release hook below drops them with the entry.
+ */ function inheritAffectsMarks(e, t) {
+    // A live scope exists, so affects.ts already installed the mark engine.
+    for (const [r, n] of affectsScopes) {
+        if (r.P && n.scope.has(t)) {
+            GlobalQueue.D(e);
+            n.inherited.push(e);
+        }
+    }
+}
+
+const affectsScopes = new Map;
+
+/**
+ * Snapshots the identities reachable from `value` into `scope`, reading
+ * through write overlays (an optimistic row pushed before the declaration is
+ * in motion too). Untracked by construction: walks raw values, never traps.
+ * Every LIVE node under each reachable record — property leaves, `$TRACK`,
+ * and has-nodes — collects into `found`: those are the graph edges existing
+ * readers subscribed through, so the mark registers on them directly and
+ * rides the status rails to everything derived. (Nodes born later inherit
+ * from the scope in `getNode`.)
+ */ function walkAffectsScope(e, t, r, n, 
+// Cycle guard, fresh per declaration: the scope itself can't serve — a
+// re-declaration on the same carrier unions into a scope that already
+// holds the root, and must still descend to pick up records added since.
+o) {
+    if (!isWrappable(e)) return;
+    const i = e[$TARGET] || (n ?? storeLookup).get(e)?.[$TARGET];
+    const s = i ? i[STORE_VALUE] : e;
+    if (o.has(s)) return;
+    o.add(s);
+    t.scope.add(s);
+    let E;
+    if (i) {
+        collectRecordNodes(i[STORE_NODE], r);
+        collectRecordNodes(i[STORE_HAS], r);
+        E = mergedOverlay(i);
+        n = i[STORE_LOOKUP] ?? n;
+    }
+    if (Array.isArray(s)) {
+        const e = E?.length ?? s.length;
+        for (let i = 0; i < e; i++) {
+            const e = E && i in E ? E[i] : s[i];
+            if (e !== $DELETED) walkAffectsScope(e, t, r, n, o);
+        }
+    } else {
+        const e = getKeys(s, E);
+        for (let i = 0, O = e.length; i < O; i++) {
+            const O = getPropertyDescriptor(s, E, e[i]);
+            if (!O || O.get) continue;
+            walkAffectsScope(O.value, t, r, n, o);
+        }
+    }
+}
+
+/** All live signal nodes of one record's node map (string + symbol keyed). */ function collectRecordNodes(e, t) {
+    if (!e) return;
+    for (const r of Object.keys(e)) t.push(e[r]);
+    const r = Object.getOwnPropertySymbols(e);
+    for (let n = 0, o = r.length; n < o; n++) {
+        // Another mark's carrier is its own channel — counting it here would
+        // extend that sibling scope's lifetime to this declaration's.
+        if (r[n] !== $AFFECTS) t.push(e[r[n]]);
+    }
+}
+
+/**
+ * Witness live mark coverage of a record into the active isPending() probe.
+ * Tracked reads don't need this — they go through real signal nodes, which
+ * carry marks directly (declaration walk or birth inheritance). This covers
+ * UNTRACKED probes reading through records whose nodes never materialized
+ * (no observer ever subscribed, so no node exists to carry the mark).
+ * Callers guard on `pendingCheckActive`, so plain reads never pay for this.
+ *
+ * @internal
+ */ function witnessAffectsMark(e) {
+    // Callers guard on `pendingCheckActive`, which only flips inside
+    // isPending() — the verdict layer is loaded and its hook installed.
+    const t = e[STORE_NODE]?.[$AFFECTS];
+    if (t?.P) GlobalQueue.Zt(t);
+    if (affectsScopes.size) {
+        const r = e[STORE_VALUE];
+        for (const [e, n] of affectsScopes) {
+            if (e !== t && e.P && n.scope.has(r)) GlobalQueue.Zt(e);
+        }
+    }
+}
+
+/**
+ * Resolves the store nodes an `affects()` declaration marks: with a `key`,
+ * the named slot's leaf node (upserted so the mark has an addressable
+ * carrier); without, the record's $AFFECTS carrier plus every LIVE node in
+ * its subtree (the edges existing readers subscribed through), with the
+ * subtree's identities snapshotted into the mark's scope so nodes created
+ * during the window — and untracked probes over captured proxies — resolve
+ * against it (#2882).
+ *
+ * @internal
+ */ function getStoreAffectsNodes(e, t) {
+    const r = getNodes(e, STORE_NODE);
+    if (t === undefined) {
+        const t = getNode(e, r, $AFFECTS, undefined, false);
+        GlobalQueue.T ||= e => {
+            const t = affectsScopes.get(e);
+            if (!t) return;
+            affectsScopes.delete(e);
+            for (let e = 0; e < t.inherited.length; e++) GlobalQueue.F(t.inherited[e]);
+        };
+        let n = affectsScopes.get(t);
+        if (!n) affectsScopes.set(t, n = {
+            scope: new Set,
+            inherited: []
+        });
+        const o = [ t ];
+        walkAffectsScope(e[$PROXY], n, o, e[STORE_LOOKUP], new Set);
+        return o;
+    }
+    if (r[t]) return [ r[t] ];
+    const n = getOverlayLayer(e, t);
+    const o = n ? n[t] : e[STORE_VALUE][t];
+    const i = o === $DELETED ? undefined : o;
+    return [ upsertStoreNode(e, r, t, i, e[STORE_SNAPSHOT_PROPS]) ];
+}
+
+function trackSelf(e, t = $TRACK) {
+    if (!getObserver()) return;
+    read(getNode(e, getNodes(e, STORE_NODE), t, undefined, false));
+    // Store-in-store: structural notifications (reconcile, notifySelf) land on
+    // the wrapped source's own self-node, never on this wrapper view's. Chain
+    // the read through so enumeration/$TRACK on the wrapper observes them
+    // (#2864). Property reads already chain naturally via the inner get trap.
+    // An override layer on the view is a hold (A17) — the shown structure is
+    // the overlay's, so don't subscribe through it; clearing the layer notifies
+    // this view's own self-node and the re-run re-establishes the chain.
+        if (t === $TRACK && !e[STORE_OVERRIDE] && !e[STORE_OPTIMISTIC_OVERRIDE] && e[STORE_VALUE][$TARGET]) e[STORE_VALUE][$TRACK];
+}
+
+function notifySelf(e) {
+    const t = e[STORE_NODE]?.[$TRACK];
+    t && setSignal(t, e[STORE_OPTIMISTIC] && !projectionWriteActive ? STORE_SELF_PENDING : undefined);
+}
+
+/**
+ * The write overlay a walk must read through: optimistic writes shadow
+ * regular pending writes, the same resolution order as every proxy trap and
+ * `reconcile` (#2850). Merging allocates only in the rare both-present case
+ * (a derived optimistic store with an in-flight projection commit).
+ */ function mergedOverlay(e) {
+    const t = e[STORE_OVERRIDE];
+    const r = e[STORE_OPTIMISTIC_OVERRIDE];
+    return t && r ? {
+        ...t,
+        ...r
+    } : r ?? t;
+}
+
+function getKeys(e, t, r = true) {
+    // Plain objects can't trigger proxy traps — only pay for the untrack
+    // closure when the source is itself a wrapped store (store-in-store).
+    const n = e[$TARGET] ? untrack(() => r ? Object.keys(e) : Reflect.ownKeys(e)) : r ? Object.keys(e) : Reflect.ownKeys(e);
+    if (!t) return n;
+    const o = new Set(n);
+    const i = Reflect.ownKeys(t);
+    for (const e of i) {
+        if (t[e] !== $DELETED) o.add(e); else o.delete(e);
+    }
+    return Array.from(o);
+}
+
+function getPropertyDescriptor(e, t, r) {
+    if (t && r in t) {
+        if (t[r] === $DELETED) return void 0;
+        const n = Reflect.getOwnPropertyDescriptor(t, r);
+        if (n?.get || n?.set) return n;
+        // Plain writes live in the override while the source keeps its old value.
+        // Preserve the source descriptor flags, but report the current override
+        // value. Source accessors cannot be patched with a value, and inherited
+        // properties have no source own descriptor, so those keep their descriptor.
+                const o = Reflect.getOwnPropertyDescriptor(e, r);
+        if (!o) return n;
+        if (o.get || o.set) return o;
+        // Reflect returns a fresh descriptor, so patching in place is safe and
+        // avoids an allocation on Object.keys/spread over written stores.
+                o.value = t[r];
+        return o;
+    }
+    return Reflect.getOwnPropertyDescriptor(e, r);
+}
+
+function prepareStoreWrite(e, t, r) {
+    if (e[STORE_OPTIMISTIC]) {
+        const t = e[STORE_FIREWALL];
+        if (t?.ve) {
+            globalQueue.initTransition(t.ve);
+        }
+    }
+    const n = e[STORE_VALUE];
+    const o = n[r];
+    if (snapshotCaptureActive && typeof r !== "symbol" && !((e[STORE_FIREWALL]?.i ?? 0) & STATUS_PENDING)) {
+        if (!e[STORE_SNAPSHOT_PROPS]) {
+            e[STORE_SNAPSHOT_PROPS] = Object.create(null);
+            snapshotSources?.add(e);
+        }
+        if (!(r in e[STORE_SNAPSHOT_PROPS])) {
+            e[STORE_SNAPSHOT_PROPS][r] = o;
+        }
+    }
+    const i = e[STORE_OPTIMISTIC] && !projectionWriteActive;
+    const s = i ? STORE_OPTIMISTIC_OVERRIDE : STORE_OVERRIDE;
+    return {
+        base: o,
+        overrideKey: s,
+        state: n
+    };
+}
+
+/**
+ * Registers the store for transition reversion. Called only once a write is
+ * known to be effective — ineffective writes (same value, delete of an absent
+ * property) are no-ops and must not entangle the store. Optimistic writes are
+ * verdict-inert (question-scoped pending model): no mask is armed — the write
+ * neither pends its own slot nor silences anyone else's.
+ */ function armOptimisticStoreWrite(e, t) {
+    // STORE_OPTIMISTIC is only set by createOptimisticStore, which installs the
+    // optimistic engine before wrapping.
+    if (e[STORE_OPTIMISTIC] && !projectionWriteActive) {
+        GlobalQueue.Vt(t);
+    }
+}
+
+function upsertStoreNode(e, t, r, n, o) {
+    if (t[r]) return t[r];
+    const i = isWrappable(n) ? wrap(n, e) : n;
+    const s = getNode(e, t, r, i, isEqual, o);
+    registerTransientStoreNode(s);
+    return s;
+}
+
+function notifyStoreProperty(e, t, r, n, o, i) {
+    // Cold writes upsert a transient pending node so untracked reads batch like signals.
+    // Skip for projection writes (different commit semantics) and for optimistic stores
+    // (whose whole purpose is immediate visibility via STORE_OPTIMISTIC_OVERRIDE).
+    const s = projectionWriteActive || e[STORE_OPTIMISTIC];
+    const E = r !== "delete";
+    const O = e[STORE_HAS]?.[t];
+    if (O) {
+        setSignal(O, E);
+    } else if (!s && r !== "invalidate" && i !== E) {
+        const r = upsertStoreNode(e, getNodes(e, STORE_HAS), t, i);
+        setSignal(r, E);
+    }
+    const c = getNodes(e, STORE_NODE);
+    if (r === "set") {
+        if (c[t]) {
+            setSignal(c[t], () => isWrappable(n) ? wrap(n, e) : n);
+        } else if (!s) {
+            const r = upsertStoreNode(e, c, t, o, e[STORE_SNAPSHOT_PROPS]);
+            setSignal(r, () => isWrappable(n) ? wrap(n, e) : n);
+        }
+    } else if (r === "invalidate") {
+        if (c[t]) {
+            setSignal(c[t], {});
+            delete c[t];
+        }
+    } else {
+        if (c[t]) {
+            setSignal(c[t], undefined);
+        } else if (!s) {
+            const r = upsertStoreNode(e, c, t, o, e[STORE_SNAPSHOT_PROPS]);
+            setSignal(r, undefined);
+        }
+    }
+    notifySelf(e);
+}
+
+let Writing = null;
+
+const storeTraps = {
+    get(e, t, r) {
+        if (t === $TARGET) return e;
+        if (t === $PROXY) return r;
+        if (t === $REFRESH) return e[STORE_FIREWALL];
+        if (pendingCheckActive) witnessAffectsMark(e);
+        if (t === $TRACK) {
+            trackSelf(e);
+            return r;
+        }
+        const n = getObserver() === e[STORE_FIREWALL];
+        const o = getNodes(e, STORE_NODE);
+        const i = n ? undefined : o[t];
+        const s = e[STORE_VALUE];
+        if (!i && !e[STORE_OVERRIDE] && !e[STORE_OPTIMISTIC_OVERRIDE] && !e[STORE_CUSTOM_PROTO] && !e[STORE_OPTIMISTIC] && !e[STORE_SNAPSHOT_PROPS] && !s[$TARGET] && !(t in s) && getObserver() && !n && !writeOnly(r)) {
+            return read(getNode(e, o, t, undefined));
+        }
+        const E = getOverlayLayer(e, t);
+        const O = !!E;
+        const c = !!e[STORE_VALUE][$TARGET];
+        const f = E ?? e[STORE_VALUE];
+        if (!i) {
+            const n = Object.getOwnPropertyDescriptor(f, t);
+            if (n && n.get) return n.get.call(r);
+            if (!n && !O && e[STORE_CUSTOM_PROTO]) {
+                const e = unwrapStoreValue(f);
+                if (hasInheritedAccessor(e, t)) {
+                    return Reflect.get(f, t, r);
+                }
+            }
+        }
+        if (writeOnly(r)) {
+            if (isPrototypePollutionKey(t) && !hasOwnStoreProperty(e, t)) return undefined;
+            let r = i && (O || !c) ? visibleNodeValue(i) : f[t];
+            r === $DELETED && (r = undefined);
+            if (!isWrappable(r)) return r;
+            const n = wrap(r, e);
+            Writing?.add(n);
+            return n;
+        }
+        let S = i ? O || !c ? read(o[t]) : (read(o[t]), f[t]) : f[t];
+        S === $DELETED && (S = undefined);
+        if (!i) {
+            if (!O && typeof S === "function" && !Object.prototype.hasOwnProperty.call(f, t)) {
+                let t;
+                return !Array.isArray(e[STORE_VALUE]) && (t = Object.getPrototypeOf(e[STORE_VALUE])) && t !== Object.prototype ? S.bind(f) : S;
+            } else if (getObserver() && !n) {
+                return read(getNode(e, o, t, isWrappable(S) ? wrap(S, e) : S, isEqual, e[STORE_SNAPSHOT_PROPS]));
+            }
+        }
+        return isWrappable(S) ? wrap(S, e) : S;
+    },
+    has(e, t) {
+        if (t === $PROXY || t === $TRACK || t === "__proto__") return true;
+        if (pendingCheckActive) witnessAffectsMark(e);
+        const r = getOverlayLayer(e, t);
+        const n = r ? r[t] !== $DELETED : t in e[STORE_VALUE];
+        if (writeOnly(e[$PROXY]) || getObserver() === e[STORE_FIREWALL]) return n;
+        const o = getNodes(e, STORE_HAS);
+        // If a has-node already exists, it carries the batched presence — `read()`
+        // returns `_value` (committed) for untracked reads and the pending value for
+        // downstream computes. This keeps `in` consistent with value reads.
+                if (o[t]) return read(o[t]);
+        // No node yet: `has` reflects committed presence (no pending write could change
+        // it without first upserting a has-node at the write site). Create + read only
+        // when tracking; leave untracked reads node-free.
+                if (getObserver()) {
+            return read(getNode(e, o, t, n));
+        }
+        return n;
+    },
+    set(e, t, r) {
+        if (t === "__proto__") return true;
+        const n = e[$PROXY];
+        if (writeOnly(n)) {
+            untrack(() => {
+                const {base: o, overrideKey: i, state: s} = prepareStoreWrite(e, n, t);
+                const E = getOverlayLayer(e, t);
+                const O = E ? E[t] : o;
+                const c = E ? E[t] !== $DELETED : t in e[STORE_VALUE];
+                const f = unwrapStoreValue(r);
+                // Symbol-keyed writes on arrays are metadata, not index writes — never run
+                // them through the numeric index/length machinery (`parseInt` on a symbol
+                // throws). #2769
+                                const S = typeof t === "string" ? Number(t) : -1;
+                const R = Array.isArray(s) && Number.isInteger(S) && S >= 0 && S < 4294967295 && String(S) === t;
+                const T = R ? S + 1 : 0;
+                const u = R && (getOverlayLayer(e, "length") ?? s).length;
+                const l = R && T > u ? T : undefined;
+                if (O === f && l === undefined) return true;
+                armOptimisticStoreWrite(e, n);
+                if (f !== undefined && f === o && l === undefined) delete e[i]?.[t]; else {
+                    const r = e[i] || (e[i] = Object.create(null));
+                    r[t] = f;
+                    if (l !== undefined) r.length = l;
+                }
+                notifyStoreProperty(e, t, "set", f, O, c);
+                // Shrinking an array's length must remove the truncated indices, otherwise
+                // they leak through `has`, `ownKeys`, and (tracked) index reads from the
+                // underlying value. Mark each as deleted and notify so reactive reads update. #2768
+                                if (Array.isArray(s) && t === "length" && typeof f === "number" && typeof O === "number" && f < O) {
+                    const t = e[i] || (e[i] = Object.create(null));
+                    for (let r = f; r < O; r++) {
+                        if (t[r] === $DELETED) continue;
+                        const n = r in t ? t[r] : s[r];
+                        if (!(r in t) && !(r in s)) continue;
+                        t[r] = $DELETED;
+                        notifyStoreProperty(e, r, "delete", undefined, n, true);
+                    }
+                }
+                // notify length change
+                                if (Array.isArray(s) && t !== "length" && l !== undefined) {
+                    const t = getNodes(e, STORE_NODE);
+                    if (t.length) {
+                        setSignal(t.length, l);
+                    } else if (!projectionWriteActive && !e[STORE_OPTIMISTIC]) {
+                        const r = upsertStoreNode(e, t, "length", u, e[STORE_SNAPSHOT_PROPS]);
+                        setSignal(r, l);
+                    }
+                }
+                if (false) ;
+            });
+        }
+        return true;
+    },
+    defineProperty(e, t, r) {
+        if (t === "__proto__") return true;
+        const n = e[$PROXY];
+        if (writeOnly(n)) {
+            untrack(() => {
+                const {base: o, overrideKey: i} = prepareStoreWrite(e, n, t);
+                armOptimisticStoreWrite(e, n);
+                const s = "value" in r ? {
+                    ...r,
+                    value: unwrapStoreValue(r.value)
+                } : r;
+                Object.defineProperty(e[i] || (e[i] = Object.create(null)), t, s);
+                notifyStoreProperty(e, t, "invalidate");
+                if (false) ;
+            });
+        }
+        return true;
+    },
+    deleteProperty(e, t) {
+        if (t === "__proto__") return true;
+        // Check both optimistic and regular override for existing $DELETED
+                const r = e[STORE_OPTIMISTIC_OVERRIDE]?.[t] === $DELETED;
+        const n = e[STORE_OVERRIDE]?.[t] === $DELETED;
+        if (writeOnly(e[$PROXY]) && !r && !n) {
+            untrack(() => {
+                const r = e[STORE_OPTIMISTIC] && !projectionWriteActive;
+                const n = r ? STORE_OPTIMISTIC_OVERRIDE : STORE_OVERRIDE;
+                const o = getOverlayLayer(e, t);
+                const i = o ? o[t] : e[STORE_VALUE][t];
+                if (t in e[STORE_VALUE] || e[STORE_OVERRIDE] && t in e[STORE_OVERRIDE]) {
+                    armOptimisticStoreWrite(e, e[$PROXY]);
+                    (e[n] || (e[n] = Object.create(null)))[t] = $DELETED;
+                } else if (e[n] && t in e[n]) {
+                    armOptimisticStoreWrite(e, e[$PROXY]);
+                    delete e[n][t];
+                } else return true;
+                notifyStoreProperty(e, t, "delete", undefined, i, true);
+            });
+        }
+        return true;
+    },
+    ownKeys(e) {
+        if (pendingCheckActive) witnessAffectsMark(e);
+        if (getObserver() !== e[STORE_FIREWALL]) trackSelf(e);
+        // Merge optimistic override with regular override for key enumeration
+                let t = getKeys(e[STORE_VALUE], e[STORE_OVERRIDE], false);
+        if (e[STORE_OPTIMISTIC_OVERRIDE]) {
+            const r = new Set(t);
+            for (const t of Reflect.ownKeys(e[STORE_OPTIMISTIC_OVERRIDE])) {
+                if (e[STORE_OPTIMISTIC_OVERRIDE][t] !== $DELETED) r.add(t); else r.delete(t);
+            }
+            t = Array.from(r);
+        }
+        return t;
+    },
+    getOwnPropertyDescriptor(e, t) {
+        if (t === $PROXY) return {
+            value: e[$PROXY],
+            writable: true,
+            configurable: true
+        };
+        // Check optimistic override first, but use base descriptor structure for compatibility
+                if (e[STORE_OPTIMISTIC_OVERRIDE] && t in e[STORE_OPTIMISTIC_OVERRIDE]) {
+            if (e[STORE_OPTIMISTIC_OVERRIDE][t] === $DELETED) return undefined;
+            const r = Reflect.getOwnPropertyDescriptor(e[STORE_OPTIMISTIC_OVERRIDE], t);
+            if (r?.get || r?.set || !(t in e[STORE_VALUE])) return r;
+            // Get base descriptor structure, override just the value
+                        const n = getPropertyDescriptor(e[STORE_VALUE], e[STORE_OVERRIDE], t);
+            if (n) {
+                const r = Reflect.getOwnPropertyDescriptor(e, t);
+                const o = !r || r.configurable ? true : n.configurable;
+                return {
+                    ...n,
+                    configurable: o,
+                    value: e[STORE_OPTIMISTIC_OVERRIDE][t]
+                };
+            }
+            return {
+                value: e[STORE_OPTIMISTIC_OVERRIDE][t],
+                writable: true,
+                enumerable: true,
+                configurable: true
+            };
+        }
+        const r = getPropertyDescriptor(e[STORE_VALUE], e[STORE_OVERRIDE], t);
+        // The proxy target is an internal node object, not the original source. When the
+        // source has a non-configurable property that does not also exist as non-configurable
+        // on the proxy target, the proxy invariant is violated: the engine requires that a
+        // property reported as non-configurable must actually be non-configurable on the
+        // target object. Override configurable to true only in that case.
+                if (r && !r.configurable) {
+            const n = Reflect.getOwnPropertyDescriptor(e, t);
+            if (!n || n.configurable) return {
+                ...r,
+                configurable: true
+            };
+        }
+        return r;
+    },
+    getPrototypeOf(e) {
+        return Object.getPrototypeOf(e[STORE_VALUE]);
+    }
+};
+
+function storeSetter(e, t) {
+    const r = Writing;
+    Writing = new Set;
+    Writing.add(e);
+    try {
+        const r = t(e);
+        if (r !== e && r !== undefined) {
+            if (Array.isArray(r)) {
+                for (let t = 0, n = r.length; t < n; t++) e[t] = r[t];
+                e.length = r.length;
+            } else {
+                const t = new Set([ ...ownEnumerableKeys(e), ...ownEnumerableKeys(r) ]);
+                t.forEach(t => {
+                    if (t in r) e[t] = r[t]; else delete e[t];
+                });
+            }
+        }
+    } finally {
+        Writing.clear();
+        Writing = r;
+    }
+}
+
+function createStore(e, t, r) {
+    const n = typeof e === "function", o = n ? createProjectionInternal(e, t, r).store : wrap(e);
+    return [ o, n ? e => {
+        // Mark the projection as manually written before notifying property nodes.
+        suppressComputedRecompute(o[$REFRESH]);
+        storeSetter(o, e);
+    } : e => storeSetter(o, e) ];
+}
+
+export { $AFFECTS, $DELETED, $PROXY, $TARGET, $TRACK, STORE_CUSTOM_PROTO, STORE_FIREWALL, STORE_HAS, STORE_LOOKUP, STORE_NODE, STORE_OPTIMISTIC, STORE_OPTIMISTIC_OVERRIDE, STORE_OVERRIDE, STORE_VALUE, STORE_WRAP, createStore, createStoreProxy, getKeys, getOverlayLayer, getPropertyDescriptor, getStoreAffectsNodes, isWrappable, mergedOverlay, notifySelf, ownEnumerableKeys, setWriteOverride, storeLookup, storeSetter, storeTraps, symbolKeyedRecords, trackSelf, visibleNodeValue, witnessAffectsMark, wrap };