@solidjs/signals 2.0.0-rc.0 → 2.0.0-rc.10

package/dist/prod/map.js

@@ -6,6 +6,8 @@ import "./core/scheduler.js";
 
 import { CONFIG_AUTO_DISPOSE } from "./core/constants.js";
 
+import { attrHooks } from "./core/attribution-hooks.js";
+
 import "./core/invariants.js";
 
 import "./core/verdict.js";
@@ -16,203 +18,364 @@ import { accessor } from "./signals.js";
 
 import { $TRACK } from "./store/store.js";
 
+import "./store/next/store.js";
+
 function mapArray(t, s, i) {
     const e = typeof i?.keyed === "function" ? i.keyed : undefined;
     const r = s.length > 1;
     const n = s;
-    const h = {
-        wt: createOwner(),
-        jt: 0,
-        Wt: t,
-        Mt: [],
-        Kt: n,
-        xt: [],
-        Ut: [],
-        $t: e,
-        qt: e || i?.keyed === false ? [] : undefined,
-        zt: r && i?.keyed !== false ? [] : undefined,
-        Bt: i?.keyed === false,
-        Ht: i?.fallback
+    const o = {
+        ie: createOwner(),
+        wt: 0,
+        Ot: t,
+        yt: [],
+        At: n,
+        St: [],
+        gt: [],
+        Kn: e,
+        Mt: e || i?.keyed === false ? [] : undefined,
+        jt: r && i?.keyed !== false ? [] : undefined,
+        kt: i?.keyed === false,
+        Wt: i?.fallback
     };
-    const o = computed(updateKeyedMap.bind(h));
+    const h = computed(updateKeyedMap.bind(o), undefined);
     // Untracked reads inside the internal owner resolve via _parentComputed; routing
     // them through node lets store-proxy lookups see pending writes (not stale _value).
-        h.wt.dt = o;
-    o.T &= ~CONFIG_AUTO_DISPOSE;
-    return accessor(o);
+        o.ie.qn = h;
+    h.C &= ~CONFIG_AUTO_DISPOSE;
+    return accessor(h);
 }
 
 const pureOptions = {
     ownedWrite: true
 };
 
-// Exception safety (#2903): a map callback can throw NotReadyError mid-pass
-// (async read), and the computed re-runs the whole pass after settle. Every
-// pass therefore STAGES its work — new rows are created into temp arrays and
-// removals are deferred — and commits to `this` only after every mapper
-// succeeded. An aborted pass disposes just the owners it created and leaves
-// `_items`/`_mappings`/`_nodes`/`_rows`/`_indexes`/`_len` exactly as they
-// were, so the retry diffs against uncorrupted state. Consequence of the
-// strong-abort ordering: removed rows now dispose AFTER the pass's new rows
-// are created (you cannot destroy state before knowing the pass will land).
+function trySmallMove(t, s, i, e) {
+    const r = t.yt;
+    const n = t.wt - 1;
+    const o = [];
+    const h = [];
+    const f = [];
+ // flat triples: oldStart, newStart, length
+        let c = 256;
+    let a = e;
+    let l = e;
+    let u = false;
+    while (a <= n && l <= i - 1) {
+        const t = r[a];
+        const e = s[l];
+        if (t === e) {
+            if (!u) {
+                f.push(a, l, 0);
+                u = true;
+            }
+            f[f.length - 1]++;
+            a++;
+            l++;
+            continue;
+        }
+        u = false;
+        // Bounded realignment lookahead, shorter distance wins.
+                let p = -1;
+        let d = Math.min(32 - o.length, n - a, c);
+        for (let t = 1; t <= d; t++) {
+            if (r[a + t] === e) {
+                p = t;
+                break;
+            }
+        }
+        c -= p === -1 ? d : p;
+        let w = -1;
+        d = Math.min(32 - h.length, i - 1 - l, c);
+        for (let i = 1; i <= d; i++) {
+            if (s[l + i] === t) {
+                w = i;
+                break;
+            }
+        }
+        c -= w === -1 ? d : w;
+        if (p !== -1 && (w === -1 || p <= w)) {
+            while (p-- > 0) o.push(a++);
+            continue;
+        }
+        if (w !== -1) {
+            while (w-- > 0) h.push(l++);
+            continue;
+        }
+        if (c <= 0 || o.length === 32 || h.length === 32) return false;
+        o.push(a++);
+        h.push(l++);
+    }
+    for (;a <= n; a++) {
+        if (o.length === 32) return false;
+        o.push(a);
+    }
+    for (;l <= i - 1; l++) {
+        if (h.length === 32) return false;
+        h.push(l);
+    }
+    return commitSmallMove(t, s, i, o, h, f);
+}
+
+/** PHASE 2 of the small-move path, in its OWN function so that a pass which
+ * only SCANS and bails (a full replace: the first structural pass of a page,
+ * typically) compiles nothing but the scan — V8 parses and compiles lazily
+ * per function, and cold `replace` measured +0.5 ms with both phases in one
+ * body. Pairs displaced sources with destinations (an unmatched destination
+ * is a replacement/insertion → general path), then commits: slice() the live
+ * arrays, copy shifted runs, patch displaced pairs, dispose leftovers. */ function commitSmallMove(t, s, i, e, r, n) {
+    const o = t.yt;
+    let h;
+    let f;
+    let c;
+    if (r.length !== 0) {
+        c = new Array(e.length);
+        for (f = 0; f < r.length; f++) {
+            let t = -1;
+            for (h = 0; h < e.length; h++) {
+                if (!c[h] && o[e[h]] === s[r[f]]) {
+                    t = h;
+                    break;
+                }
+            }
+            if (t === -1) return false;
+            c[t] = true;
+            r[f] = r[f] << 6 | t;
+ // pack pairing (found < 32)
+                }
+    }
+    // DUPLICATES: the general path pairs equal identities by OCCURRENCE ORDER
+    // (the chained index map). Displaced↔displaced pairing above is ascending
+    // on both sides, so it agrees; but an aligned run was matched by POSITION,
+    // and if a displaced identity also occurs inside a run the two algorithms
+    // can hand different occurrences different owners (row-local state moves;
+    // a shrink could dispose the wrong one). Decline that case — general path.
+        if (e.length !== 0 || r.length !== 0) {
+        const t = new Set;
+        for (h = 0; h < e.length; h++) t.add(o[e[h]]);
+        for (f = 0; f < r.length; f++) t.add(s[r[f] >> 6]);
+        for (let s = 0; s < n.length; s += 3) {
+            const i = n[s];
+            for (let e = 0, r = n[s + 2]; e < r; e++) if (t.has(o[i + e])) return false;
+        }
+    }
+    const a = t.St;
+    const l = t.gt;
+    const u = a.slice(0, i);
+    const p = l.slice(0, i);
+    for (let t = 0; t < n.length; t += 3) {
+        const s = n[t];
+        const i = n[t + 1];
+        if (s !== i) {
+            for (let e = 0; e < n[t + 2]; e++) {
+                u[i + e] = a[s + e];
+                p[i + e] = l[s + e];
+            }
+        }
+    }
+    for (f = 0; f < r.length; f++) {
+        const t = r[f] >> 6;
+        const s = e[r[f] & 63];
+        u[t] = a[s];
+        p[t] = l[s];
+    }
+    t.St = u;
+    t.gt = p;
+    t.wt = i;
+    t.yt = s.slice(0);
+    // Dispose unmatched sources LAST (general-path ordering).
+        for (h = 0; h < e.length; h++) {
+        if (c === undefined || !c[h]) l[e[h]].dispose();
+    }
+    return true;
+}
+
 function updateKeyedMap() {
-    const t = this.Wt() || [], s = t.length;
+    const t = this.Ot() || [], s = t.length;
     t[$TRACK];
  // top level tracking
-        runWithOwner(this.wt, () => {
+        runWithOwner(this.ie, () => {
         let i, e, r, n, 
         // Mappers write freshly-created row/index signals into the STAGE
         // arrays (`rows`/`indexes`), never into `this._rows`/`this._indexes`.
-        h = this.qt ? this.Bt ? () => {
+        o = this.Mt ? this.kt ? () => {
             r[e] = signal(t[e], pureOptions);
-            return this.Kt(accessor(r[e]), e);
+            return this.At(accessor(r[e]), e);
         } : () => {
             r[e] = signal(t[e], pureOptions);
             n && (n[e] = signal(e, pureOptions));
-            return this.Kt(accessor(r[e]), n ? accessor(n[e]) : undefined);
-        } : this.zt ? () => {
+            return this.At(accessor(r[e]), n ? accessor(n[e]) : undefined);
+        } : this.jt ? () => {
             const s = t[e];
             n[e] = signal(e, pureOptions);
-            return this.Kt(s, accessor(n[e]));
+            return this.At(s, accessor(n[e]));
         } : () => {
             const s = t[e];
-            return this.Kt(s);
+            return this.At(s);
         };
         // fast path for empty arrays
                 if (s === 0) {
-            if (this.jt !== 0) {
-                this.wt.dispose(false);
-                this.Ut = [];
-                this.Mt = [];
-                this.xt = [];
-                this.jt = 0;
-                this.qt && (this.qt = []);
-                this.zt && (this.zt = []);
+            if (this.wt !== 0) {
+                this.ie.dispose(false);
+                this.gt = [];
+                this.yt = [];
+                this.St = [];
+                this.wt = 0;
+                this.Mt && (this.Mt = []);
+                this.jt && (this.jt = []);
             }
-            if (this.Ht && !this.xt[0]) {
+            if (this.Wt && !this.St[0]) {
                 // an aborted fallback attempt leaves an owner without a mapping;
                 // dispose it before re-creating
-                this.Ut[0]?.dispose();
-                this.xt[0] = runWithOwner(this.Ut[0] = createOwner(), this.Ht);
+                this.gt[0]?.dispose();
+                this.St[0] = runWithOwner(this.gt[0] = createOwner(), this.Wt);
             }
         }
         // fast path for new create
-         else if (this.jt === 0) {
-            const o = new Array(s);
-            const c = new Array(s);
-            r = this.qt && new Array(s);
-            n = this.zt && new Array(s);
+         else if (this.wt === 0) {
+            const h = new Array(s);
+            const f = new Array(s);
+            r = this.Mt && new Array(s);
+            n = this.jt && new Array(s);
             try {
-                for (e = 0; e < s; e++) o[e] = runWithOwner(c[e] = createOwner(), h);
+                for (e = 0; e < s; e++) h[e] = runWithOwner(f[e] = createOwner(), o);
             } catch (t) {
-                for (i = 0; i <= e; i++) c[i]?.dispose();
+                for (i = 0; i <= e; i++) f[i]?.dispose();
                 throw t;
             }
             // commit
-                        if (this.Ut[0]) this.Ut[0].dispose();
+                        if (this.gt[0]) this.gt[0].dispose();
  // previous fallback
-                        this.xt = o;
-            this.Ut = c;
-            r && (this.qt = r);
-            n && (this.zt = n);
-            this.Mt = t.slice(0);
-            this.jt = s;
+                        this.St = h;
+            this.gt = f;
+            r && (this.Mt = r);
+            n && (this.jt = n);
+            this.yt = t.slice(0);
+            this.wt = s;
         } else {
-            let o, c, a, f, u, p, w, l, d;
+            let h, f, c, a, l, u, p, d, w, 
+            // Dev (attribution engine installed): the items behind the exited and
+            // entered rows, for the list-identity census.
+            m, O;
             // skip common prefix
-                        for (o = 0, c = Math.min(this.jt, s); o < c && (this.Mt[o] === t[o] || this.qt && compare(this.$t, this.Mt[o], t[o])); o++) {
-                if (this.qt) setSignal(this.qt[o], t[o]);
+                        for (h = 0, f = Math.min(this.wt, s); h < f && (this.yt[h] === t[h] || this.Mt && compare(this.Kn, this.yt[h], t[h])); h++) {
+                if (this.Mt) setSignal(this.Mt[h], t[h]);
             }
             // skip common suffix — counted only; retained entries land in one pass
             // at commit instead of being staged and copied twice
-                        for (c = this.jt - 1, a = s - 1; c >= o && a >= o && (this.Mt[c] === t[a] || this.qt && compare(this.$t, this.Mt[c], t[a])); c--, 
-            a--) ;
+                        for (f = this.wt - 1, c = s - 1; f >= h && c >= h && (this.yt[f] === t[c] || this.Mt && compare(this.Kn, this.yt[f], t[c])); f--, 
+            c--) ;
             // no structural change (every position matched in place at equal
             // length — the common post-reconcile shape): keep the same mapped
             // array identity so downstream consumers don't re-run at all
-                        if (o === s && this.jt === s) {
-                this.Mt = t.slice(0);
+                        if (h === s && this.wt === s) {
+                this.yt = t.slice(0);
                 return;
             }
-            const O = s - this.jt;
-            const m = new Array(s);
-            const _ = new Array(s);
-            r = this.qt ? new Array(s) : undefined;
-            n = this.zt ? new Array(s) : undefined;
+            // SMALL-MOVE FAST PATH: extracted to its own function — inlining it
+            // here bloats updateKeyedMap past the JIT's optimization budget and
+            // deoptimizes the GENERAL path (measured 2x on reverse). Gated to
+            // LARGE trimmed windows: when the trims already shrank the window
+            // (plain removals, tail edits), the general path is window-
+            // proportional and cheap — the fast path would only re-walk what the
+            // trims proved.
+                        if (s <= this.wt && f - h > 64 && this.Mt === undefined && this.jt === undefined) {
+                // PROBE before the scan: a small move keeps a mid-window item within
+                // ±32 of its old position; a REPLACE (all fresh items — the shape
+                // every page's first structural pass usually is) has it nowhere.
+                // ~65 compares, no allocation, and the scan function is never
+                // compiled for a replace (its cold first-call compile was the cost).
+                const i = h + (c - h >> 1);
+                const e = t[i];
+                const r = Math.min(f, i + 32);
+                let n = Math.max(h, i - 32);
+                while (n <= r && this.yt[n] !== e) n++;
+                if (n <= r && trySmallMove(this, t, s, h)) return;
+            }
+            const _ = s - this.wt;
+            const y = new Array(s);
+            const A = new Array(s);
+            r = this.Mt ? new Array(s) : undefined;
+            n = this.jt ? new Array(s) : undefined;
             // 0) prepare a map of all indices in the changed window of newItems,
             // scanning backwards so we encounter them in natural order
-                        p = new Map;
-            w = new Array(a + 1);
-            for (e = a; e >= o; e--) {
-                f = t[e];
-                u = this.$t ? this.$t(f) : f;
-                i = p.get(u);
-                w[e] = i === undefined ? -1 : i;
-                p.set(u, e);
+                        u = new Map;
+            p = new Array(c + 1);
+            for (e = c; e >= h; e--) {
+                a = t[e];
+                l = this.Kn ? this.Kn(a) : a;
+                i = u.get(l);
+                p[e] = i === undefined ? -1 : i;
+                u.set(l, e);
             }
             // 1) step through the old changed window and see if items can be found
             // in the new set; if so, stage them at their new positions; if not,
             // queue them for disposal at commit
-                        for (i = o; i <= c; i++) {
-                f = this.Mt[i];
-                u = this.$t ? this.$t(f) : f;
-                e = p.get(u);
+                        for (i = h; i <= f; i++) {
+                a = this.yt[i];
+                l = this.Kn ? this.Kn(a) : a;
+                e = u.get(l);
                 if (e !== undefined && e !== -1) {
-                    m[e] = this.xt[i];
-                    _[e] = this.Ut[i];
-                    r && (r[e] = this.qt[i]);
-                    n && (n[e] = this.zt[i]);
-                    e = w[e];
-                    p.set(u, e);
-                } else (l ??= []).push(this.Ut[i]);
+                    y[e] = this.St[i];
+                    A[e] = this.gt[i];
+                    r && (r[e] = this.Mt[i]);
+                    n && (n[e] = this.jt[i]);
+                    e = p[e];
+                    u.set(l, e);
+                } else {
+                    (d ??= []).push(this.gt[i]);
+                    if (false && attrHooks !== null) ;
+                }
             }
             // 2) create new rows into the temp arrays; an abort disposes only these
                         try {
-                for (e = o; e <= a; e++) {
-                    if (_[e] !== undefined) continue;
-                    (d ??= []).push(_[e] = createOwner());
-                    m[e] = runWithOwner(_[e], h);
+                for (e = h; e <= c; e++) {
+                    if (A[e] !== undefined) continue;
+                    (w ??= []).push(A[e] = createOwner());
+                    if (false && attrHooks !== null) ;
+                    y[e] = runWithOwner(A[e], o);
                 }
             } catch (t) {
-                if (d) for (i = 0; i < d.length; i++) d[i].dispose();
+                if (w) for (i = 0; i < w.length; i++) w[i].dispose();
                 throw t;
             }
             // 3) commit: land the retained prefix and suffix plus the staged window
             // into the fresh arrays, swap them in (new identity for downstream
             // change propagation), then dispose exited rows
-                        for (i = 0; i < o; i++) {
-                m[i] = this.xt[i];
-                _[i] = this.Ut[i];
-                r && (r[i] = this.qt[i]);
-                n && (n[i] = this.zt[i]);
+                        for (i = 0; i < h; i++) {
+                y[i] = this.St[i];
+                A[i] = this.gt[i];
+                r && (r[i] = this.Mt[i]);
+                n && (n[i] = this.jt[i]);
             }
-            for (e = o; e <= a; e++) {
+            for (e = h; e <= c; e++) {
                 if (r) setSignal(r[e], t[e]);
                 if (n) setSignal(n[e], e);
             }
-            for (e = a + 1; e < s; e++) {
-                m[e] = this.xt[e - O];
-                _[e] = this.Ut[e - O];
+            for (e = c + 1; e < s; e++) {
+                y[e] = this.St[e - _];
+                A[e] = this.gt[e - _];
                 if (r) {
-                    r[e] = this.qt[e - O];
+                    r[e] = this.Mt[e - _];
                     setSignal(r[e], t[e]);
                 }
                 if (n) {
-                    n[e] = this.zt[e - O];
-                    if (O !== 0) setSignal(n[e], e);
+                    n[e] = this.jt[e - _];
+                    if (_ !== 0) setSignal(n[e], e);
                 }
             }
-            this.xt = m;
-            this.Ut = _;
-            r && (this.qt = r);
-            n && (this.zt = n);
-            this.jt = s;
+            this.St = y;
+            this.gt = A;
+            r && (this.Mt = r);
+            n && (this.jt = n);
+            this.wt = s;
             // save a copy of the mapped items for the next update
-                        this.Mt = t.slice(0);
-            if (l) for (i = 0; i < l.length; i++) l[i].dispose();
+                        this.yt = t.slice(0);
+            if (d) for (i = 0; i < d.length; i++) d[i].dispose();
+            if (false && attrHooks !== null && m !== undefined && O !== undefined) ;
         }
     });
-    return this.xt;
+    return this.St;
 }
 
 /**
@@ -232,22 +395,22 @@ function updateKeyedMap() {
  */ function repeat(t, s, i) {
     const e = s;
     const r = {
-        wt: createOwner(),
-        jt: 0,
-        Jt: 0,
-        Vt: t,
-        Kt: e,
-        Ut: [],
-        xt: [],
-        Xt: i?.from,
-        Ht: i?.fallback
+        ie: createOwner(),
+        wt: 0,
+        bt: 0,
+        It: t,
+        At: e,
+        gt: [],
+        St: [],
+        vt: i?.from,
+        Wt: i?.fallback
     };
     const n = computed(updateRepeat.bind(r));
     // Same as mapArray: untracked reads inside the internal owner resolve via
     // _parentComputed, so async reads in row callbacks register with the node
     // (pending tracking + post-settle retry) instead of vanishing.
-        r.wt.dt = n;
-    n.T &= ~CONFIG_AUTO_DISPOSE;
+        r.ie.qn = n;
+    n.C &= ~CONFIG_AUTO_DISPOSE;
     return accessor(n);
 }
 
@@ -259,55 +422,55 @@ function updateKeyedMap() {
 // for the post-settle retry. The overlap math also subsumes the previous
 // disjoint-window/front-clear/end-clear/shift special cases.
 function updateRepeat() {
-    const t = this.Vt();
-    const s = this.Xt?.() || 0;
-    runWithOwner(this.wt, () => {
+    const t = this.It();
+    const s = this.vt?.() || 0;
+    runWithOwner(this.ie, () => {
         if (t === 0) {
-            if (this.jt !== 0) {
-                this.wt.dispose(false);
-                this.Ut = [];
-                this.xt = [];
-                this.jt = 0;
+            if (this.wt !== 0) {
+                this.ie.dispose(false);
+                this.gt = [];
+                this.St = [];
+                this.wt = 0;
                 // Reset offset to match the cleared data (#2767, repro 2).
-                                this.Jt = 0;
+                                this.bt = 0;
             }
-            if (this.Ht && !this.xt[0]) {
+            if (this.Wt && !this.St[0]) {
                 // an aborted fallback attempt leaves an owner without a mapping;
                 // dispose it before re-creating
-                this.Ut[0]?.dispose();
-                this.xt[0] = runWithOwner(this.Ut[0] = createOwner(), this.Ht);
+                this.gt[0]?.dispose();
+                this.St[0] = runWithOwner(this.gt[0] = createOwner(), this.Wt);
             }
             return;
         }
         const i = s + t;
-        const e = this.Jt + this.jt;
+        const e = this.bt + this.wt;
         // Retained overlap [keepStart, keepEnd) in global indexes; empty when the
         // windows are disjoint or when coming from empty/fallback.
-                const r = Math.max(s, this.Jt);
+                const r = Math.max(s, this.bt);
         const n = Math.min(i, e);
-        const h = new Array(t);
         const o = new Array(t);
+        const h = new Array(t);
         for (let t = r; t < n; t++) {
-            o[t - s] = this.Ut[t - this.Jt];
-            h[t - s] = this.xt[t - this.Jt];
+            h[t - s] = this.gt[t - this.bt];
+            o[t - s] = this.St[t - this.bt];
         }
         try {
             for (let t = s; t < i; t++) {
                 if (t >= r && t < n) continue;
-                h[t - s] = runWithOwner(o[t - s] = createOwner(), () => this.Kt(t));
+                o[t - s] = runWithOwner(h[t - s] = createOwner(), () => this.At(t));
             }
         } catch (t) {
-            for (let t = s; t < i; t++) if ((t < r || t >= n) && o[t - s]) o[t - s].dispose();
+            for (let t = s; t < i; t++) if ((t < r || t >= n) && h[t - s]) h[t - s].dispose();
             throw t;
         }
         // commit: dispose the previous fallback or the rows leaving the window
-                if (this.jt === 0) this.Ut[0]?.dispose(); else for (let t = this.Jt; t < e; t++) if (t < s || t >= i) this.Ut[t - this.Jt].dispose();
-        this.xt = h;
-        this.Ut = o;
-        this.Jt = s;
-        this.jt = t;
+                if (this.wt === 0) this.gt[0]?.dispose(); else for (let t = this.bt; t < e; t++) if (t < s || t >= i) this.gt[t - this.bt].dispose();
+        this.St = o;
+        this.gt = h;
+        this.bt = s;
+        this.wt = t;
     });
-    return this.xt;
+    return this.St;
 }
 
 function compare(t, s, i) {