@solidjs/signals 2.0.0-rc.15 → 2.0.0-rc.16

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (89) hide show
  1. package/dist/dev-shared.js +785 -367
  2. package/dist/dev.attribution.js +75 -52
  3. package/dist/dev.js +1120 -567
  4. package/dist/observe/affects-marks.js +86 -0
  5. package/dist/observe/affects.js +22 -73
  6. package/dist/observe/boundaries.js +191 -189
  7. package/dist/observe/core/async.js +175 -131
  8. package/dist/observe/core/attribution-queries.js +1 -1
  9. package/dist/observe/core/attribution.js +176 -159
  10. package/dist/observe/core/constants.js +17 -3
  11. package/dist/observe/core/context.js +3 -3
  12. package/dist/observe/core/core.js +503 -363
  13. package/dist/observe/core/dev.js +66 -38
  14. package/dist/observe/core/effect.js +48 -48
  15. package/dist/observe/core/error.js +5 -3
  16. package/dist/observe/core/external.js +5 -6
  17. package/dist/observe/core/graph.js +57 -43
  18. package/dist/observe/core/heap.js +33 -33
  19. package/dist/observe/core/identities.js +62 -0
  20. package/dist/observe/core/lanes.js +226 -259
  21. package/dist/observe/core/owner.js +62 -50
  22. package/dist/observe/core/scheduler.js +319 -171
  23. package/dist/observe/core/truth.js +45 -0
  24. package/dist/observe/core/verdict.js +88 -50
  25. package/dist/observe/deferred.js +184 -0
  26. package/dist/observe/index.js +7 -1
  27. package/dist/observe/map.js +345 -260
  28. package/dist/observe/reveal.js +76 -76
  29. package/dist/observe/signals.js +41 -30
  30. package/dist/observe/store/affects.js +6 -6
  31. package/dist/observe/store/edges.js +39 -0
  32. package/dist/observe/store/optimistic.js +41 -36
  33. package/dist/observe/store/projection.js +68 -55
  34. package/dist/observe/store/store.js +157 -104
  35. package/dist/prod/affects-marks.js +86 -0
  36. package/dist/prod/affects.js +23 -72
  37. package/dist/prod/boundaries.js +155 -153
  38. package/dist/prod/core/async.js +171 -127
  39. package/dist/prod/core/constants.js +17 -3
  40. package/dist/prod/core/context.js +3 -3
  41. package/dist/prod/core/core.js +478 -342
  42. package/dist/prod/core/effect.js +68 -68
  43. package/dist/prod/core/error.js +5 -3
  44. package/dist/prod/core/external.js +5 -6
  45. package/dist/prod/core/graph.js +57 -43
  46. package/dist/prod/core/heap.js +38 -38
  47. package/dist/prod/core/identities.js +62 -0
  48. package/dist/prod/core/lanes.js +217 -250
  49. package/dist/prod/core/owner.js +62 -51
  50. package/dist/prod/core/scheduler.js +310 -162
  51. package/dist/prod/core/truth.js +45 -0
  52. package/dist/prod/core/verdict.js +87 -49
  53. package/dist/prod/deferred.js +182 -0
  54. package/dist/prod/index.js +7 -1
  55. package/dist/prod/map.js +360 -275
  56. package/dist/prod/reveal.js +76 -76
  57. package/dist/prod/signals.js +41 -30
  58. package/dist/prod/store/affects.js +6 -6
  59. package/dist/prod/store/edges.js +39 -0
  60. package/dist/prod/store/optimistic.js +37 -33
  61. package/dist/prod/store/projection.js +25 -19
  62. package/dist/prod/store/store.js +142 -96
  63. package/dist/types/affects-marks.d.ts +14 -0
  64. package/dist/types/boundaries.d.ts +1 -1
  65. package/dist/types/core/async.d.ts +10 -0
  66. package/dist/types/core/constants.d.ts +13 -1
  67. package/dist/types/core/core.d.ts +44 -2
  68. package/dist/types/core/dev.d.ts +43 -13
  69. package/dist/types/core/graph.d.ts +11 -0
  70. package/dist/types/core/identities.d.ts +17 -0
  71. package/dist/types/core/index.d.ts +2 -1
  72. package/dist/types/core/lanes.d.ts +2 -14
  73. package/dist/types/core/owner.d.ts +5 -3
  74. package/dist/types/core/scheduler.d.ts +47 -28
  75. package/dist/types/core/truth.d.ts +16 -0
  76. package/dist/types/core/types.d.ts +21 -0
  77. package/dist/types/core/verdict.d.ts +32 -0
  78. package/dist/types/deferred.d.ts +28 -0
  79. package/dist/types/index.d.ts +6 -0
  80. package/dist/types/map.d.ts +2 -2
  81. package/dist/types/signals.d.ts +28 -7
  82. package/dist/types/store/edges.d.ts +9 -0
  83. package/dist/types/store/index.d.ts +10 -3
  84. package/dist/types/store/optimistic.d.ts +3 -2
  85. package/dist/types/store/projection.d.ts +4 -3
  86. package/dist/types/store/store.d.ts +1 -1
  87. package/dist/types/store/target.d.ts +16 -8
  88. package/dist/types/store/types.d.ts +14 -0
  89. package/package.json +1 -1
@@ -8,30 +8,30 @@ import { trimStaleDeps } from "./graph.js";
8
8
 
9
9
  import { enqueueSub } from "./heap.js";
10
10
 
11
- import { globalQueue, schedule, GlobalQueue, haltReactivity } from "./scheduler.js";
11
+ import { globalQueue, schedule, heldRunHook, haltReactivity, GlobalQueue } from "./scheduler.js";
12
12
 
13
13
  /**
14
14
  * Effects are the leaf nodes of our reactive graph. When their sources change, they are
15
15
  * automatically added to the queue of effects to re-execute, which will cause them to fetch their
16
16
  * sources and recompute
17
- */ function effect(e, t, u, E) {
18
- const f = !!E?.user;
19
- const r = createEffectNode(e, t, u, f ? EFFECT_USER : EFFECT_RENDER, E);
17
+ */ function effect(t, e, E, u) {
18
+ const f = !!u?.user;
19
+ const r = createEffectNode(t, e, E, f ? EFFECT_USER : EFFECT_RENDER, u);
20
20
  recompute(r, true);
21
21
  // A first pass that read a staged value was staged itself (recompute: born
22
22
  // staged); the flush's commit replays this effect. Its first run is not this
23
23
  // creation's (A29). A lane's node likewise: its run is the lane's, queued
24
24
  // by the pass and released at the reveal (lanes.ts).
25
- !E?.defer && r.Oe === NOT_PENDING && !r.m?.He?.B && (r.u === EFFECT_USER || E?.schedule ? globalQueue.enqueue(r.u, runEffect.bind(null, r)) : runEffect(r, r.u));
25
+ !u?.defer && r.se === NOT_PENDING && !r.T?.Re?.v && (r.i === EFFECT_USER || u?.schedule ? globalQueue.enqueue(r.i, runEffect.bind(null, r)) : runEffect(r, r.i));
26
26
  }
27
27
 
28
- function notifyEffectStatus(e, t) {
28
+ function notifyEffectStatus(t, e) {
29
29
  // Use passed values if provided, otherwise read from node
30
- const u = e !== undefined ? e : this.S;
31
- const E = t !== undefined ? t : this.m?.F;
32
- if (u & STATUS_ERROR) {
30
+ const E = t !== undefined ? t : this.m;
31
+ const u = e !== undefined ? e : this.T?.F;
32
+ if (E & STATUS_ERROR) {
33
33
  globalQueue.notify(this, STATUS_PENDING, 0);
34
- if (this.u === EFFECT_USER) {
34
+ if (this.i === EFFECT_USER) {
35
35
  // The error handler is the error arm of the effect phase (#2840 ruling):
36
36
  // queue it like the effect function. It runs in the same imperative,
37
37
  // writable scope and throws escalate the same way. No payload is queued — the node already carries `_statusFlags`/`_error`,
@@ -39,23 +39,23 @@ function notifyEffectStatus(e, t) {
39
39
  // phase takes the success arm instead. Blocked forwards (explicit
40
40
  // `status` arg without node-state writes) don't queue: the status
41
41
  // re-propagates unblocked at commit.
42
- if (this.S & STATUS_ERROR) {
43
- this.Ge = true;
44
- globalQueue.enqueue(this.u, this.Y ??= runEffect.bind(null, this));
42
+ if (this.m & STATUS_ERROR) {
43
+ this.Ae = true;
44
+ globalQueue.enqueue(this.i, this.W ??= runEffect.bind(null, this));
45
45
  }
46
46
  return;
47
47
  }
48
48
  if (!globalQueue.notify(this, STATUS_ERROR, STATUS_ERROR)) {
49
- haltReactivity(unwrapStatusError(E));
50
- throw E;
49
+ haltReactivity(unwrapStatusError(u));
50
+ throw u;
51
51
  }
52
- } else if (this.u === EFFECT_RENDER) {
53
- globalQueue.notify(this, STATUS_PENDING | STATUS_ERROR, u, E);
52
+ } else if (this.i === EFFECT_RENDER) {
53
+ globalQueue.notify(this, STATUS_PENDING | STATUS_ERROR, E, u);
54
54
  }
55
55
  }
56
56
 
57
- function runEffect(e, t) {
58
- if (!e.Ge || e.R & REACTIVE_DISPOSED) return;
57
+ function runEffect(t, e) {
58
+ if (!t.Ae || t.R & REACTIVE_DISPOSED) return;
59
59
  // A queued run behind a fallback (boundaries.ts) waits for the reveal: a
60
60
  // user effect's, which would read a DOM that is not attached, and a render
61
61
  // effect's update too (maintainer, 2026-10-02: "we held the queue but let
@@ -64,7 +64,7 @@ function runEffect(e, t) {
64
64
  // hidden subtree. The synchronous first render on creation is not a queued
65
65
  // run and goes through. `_modified` stays set; the boundary re-queues the
66
66
  // run (`release`).
67
- if (GlobalQueue.Ee && GlobalQueue.Ee(e)) return;
67
+ if (heldRunHook?.(t)) return;
68
68
  // Error arm (#2840), user effects only: a compute-phase error that is still
69
69
  // the node's settled state at effect time runs the bundle's error handler in
70
70
  // this same imperative, writable scope. Unwrap the StatusError used for
@@ -75,94 +75,94 @@ function runEffect(e, t) {
75
75
  // Render effects bypass: their errors route to boundaries synchronously in
76
76
  // notifyEffectStatus, and a runner queued by an earlier valueChanged in the
77
77
  // same flush must not be hijacked by a later-arriving error status.
78
- if (e.S & STATUS_ERROR && e.u === EFFECT_USER) {
79
- const t = unwrapStatusError(e.m?.F);
80
- e.be = e.Ae;
81
- e.Ge = false;
78
+ if (t.m & STATUS_ERROR && t.i === EFFECT_USER) {
79
+ const e = unwrapStatusError(t.T?.F);
80
+ t.ge = t.Ie;
81
+ t.Ae = false;
82
82
  try {
83
- e.ut ? e.ut(t, () => {
84
- const t = e.st;
85
- e.st = undefined;
86
- t?.();
87
- }) : console.error(t);
88
- } catch (t) {
89
- if (!globalQueue.notify(e, STATUS_ERROR, STATUS_ERROR)) {
90
- haltReactivity(t);
91
- throw t;
83
+ t.qe ? t.qe(e, () => {
84
+ const e = t.Je;
85
+ t.Je = undefined;
86
+ e?.();
87
+ }) : console.error(e);
88
+ } catch (e) {
89
+ if (!globalQueue.notify(t, STATUS_ERROR, STATUS_ERROR)) {
90
+ haltReactivity(e);
91
+ throw e;
92
92
  }
93
93
  }
94
94
  return;
95
95
  }
96
96
  // Captured before the callback: its own throw errors the node below, but
97
97
  // the compute pass that produced `_value` was clean, so its tail still goes.
98
- const u = e.m?.F == null;
99
- const E = e.st;
100
- e.st = undefined;
98
+ const E = t.T?.F == null;
99
+ const u = t.Je;
100
+ t.Je = undefined;
101
101
  try {
102
- E?.();
103
- const t = e.Et(e.Ae, e.be);
104
- if (false && t !== undefined && typeof t !== "function") ;
102
+ u?.();
103
+ const e = t.Ke(t.Ie, t.ge);
104
+ if (false && e !== undefined && typeof e !== "function") ;
105
105
  // The final cleanup is invoked by disposeChildren at true disposal.
106
- e.st = t;
107
- } catch (t) {
108
- ext(e).F = new StatusError(e, t);
109
- e.S |= STATUS_ERROR;
110
- if (!globalQueue.notify(e, STATUS_ERROR, STATUS_ERROR)) {
111
- haltReactivity(t);
112
- throw t;
106
+ t.Je = e;
107
+ } catch (e) {
108
+ ext(t).F = new StatusError(t, e);
109
+ t.m |= STATUS_ERROR;
110
+ if (!globalQueue.notify(t, STATUS_ERROR, STATUS_ERROR)) {
111
+ haltReactivity(e);
112
+ throw e;
113
113
  }
114
114
  } finally {
115
- e.be = e.Ae;
116
- e.Ge = false;
115
+ t.ge = t.Ie;
116
+ t.Ae = false;
117
117
  // The run applied: this is the frame now, so the dependency tail the
118
118
  // compute pass left linked goes (A30, #3438 — `recompute` defers an
119
119
  // effect's trim while a run is owed; the twin of `commitPendingNode`'s
120
120
  // trim for a staged pass). An errored compute kept its full list with
121
121
  // `_depsTail` marking where it stopped; leave it, as the commit does.
122
- if (u) trimStaleDeps(e);
122
+ if (E) trimStaleDeps(t);
123
123
  }
124
124
  }
125
125
 
126
- GlobalQueue.q = runEffect;
126
+ GlobalQueue.K = runEffect;
127
127
 
128
128
  /**
129
129
  * Internal tracked effect - bypasses heap, goes directly to effect queue.
130
130
  * Runs as a leaf owner: child primitives and onCleanup are forbidden (false throws).
131
131
  * Uses stale reads.
132
- */ function trackedEffect(e, t) {
132
+ */ function trackedEffect(t, e) {
133
133
  const run = () => {
134
134
  // `_modified` is NOT redundant with the heap: the heap dedups within a
135
135
  // pass, but several passes in one flush each enqueue `_run` into the same
136
136
  // user queue, and this gate is what collapses them into one run.
137
- if (!u.Ge || u.R & REACTIVE_DISPOSED) return;
138
- if (GlobalQueue.Ee && GlobalQueue.Ee(u)) return;
137
+ if (!E.Ae || E.R & REACTIVE_DISPOSED) return;
138
+ if (heldRunHook?.(E)) return;
139
139
  try {
140
- u.Ge = false;
141
- recompute(u);
140
+ E.Ae = false;
141
+ recompute(E);
142
142
  } finally {}
143
143
  };
144
- const u = computed(() => {
145
- const t = u.st;
146
- u.st = undefined;
147
- t?.();
148
- const E = staleValues(e);
149
- u.st = E;
144
+ const E = computed(() => {
145
+ const e = E.Je;
146
+ E.Je = undefined;
147
+ e?.();
148
+ const u = staleValues(t);
149
+ E.Je = u;
150
150
  }, {
151
- ...t,
151
+ ...e,
152
152
  lazy: true
153
153
  });
154
- u.st = undefined;
155
- u.i = u.i & ~CONFIG_AUTO_DISPOSE | CONFIG_CHILDREN_FORBIDDEN;
156
- u.Ge = true;
157
- u.u = EFFECT_TRACKED;
154
+ E.Je = undefined;
155
+ E.l = E.l & ~CONFIG_AUTO_DISPOSE | CONFIG_CHILDREN_FORBIDDEN;
156
+ E.Ae = true;
157
+ E.i = EFFECT_TRACKED;
158
158
  // Status dispatch rides the SHARED notifier (statusNotifierOf keys off
159
159
  // _type): its error arm is behavior-identical to the closure that used to
160
160
  // live here, without the per-node NodeExtension allocation.
161
- u.M = run;
161
+ E.M = run;
162
162
  // The first run rides the heap like every wake (GlobalQueue._update), so a
163
163
  // tracked effect created inside a render-effect callback runs after that
164
164
  // pass's staged writes commit, not before.
165
- enqueueSub(u);
165
+ enqueueSub(E);
166
166
  schedule();
167
167
  }
168
168
 
@@ -23,7 +23,6 @@
23
23
  * ```
24
24
  */
25
25
  class NotReadyError extends Error {
26
- source;
27
26
  constructor(r) {
28
27
  // Control-flow throw: it happens on every read of a pending source, so in
29
28
  // production skip V8's eager stack capture (proportional to stack depth —
@@ -40,9 +39,12 @@ class NotReadyError extends Error {
40
39
  }
41
40
 
42
41
  class StatusError extends Error {
43
- source;
44
42
  constructor(r, o) {
45
- super(o instanceof Error ? o.message : String(o), {
43
+ // Best-effort message: formatting must never replace the original (#4112).
44
+ try {
45
+ var t = String(o instanceof Error ? o.message : o);
46
+ } catch {}
47
+ super(t, {
46
48
  cause: o
47
49
  });
48
50
  this.source = r;
@@ -2,7 +2,7 @@ import { signal, setSignal, read } from "./core.js";
2
2
 
3
3
  import { cleanup } from "./owner.js";
4
4
 
5
- import { GlobalQueue } from "./scheduler.js";
5
+ import { setExternalHooks } from "./scheduler.js";
6
6
 
7
7
  let externalSourceConfig = null;
8
8
 
@@ -37,7 +37,7 @@ let externalSourceConfig = null;
37
37
  * ```
38
38
  */
39
39
  // Wires a freshly created computed through the active external-source bridge.
40
- // Lives here (installed on GlobalQueue while a config is active) rather than
40
+ // Lives here (installed as a scheduler hook while a config is active) rather than
41
41
  // inline in core: esbuild cannot literal-track the mutable config binding the
42
42
  // way rollup does, so an inline `if (externalSourceConfig)` block ships in
43
43
  // every bundle even though only enableExternalSource() can make it reachable.
@@ -46,11 +46,11 @@ function wireExternalSource(e) {
46
46
  equals: false,
47
47
  ownedWrite: true
48
48
  });
49
- const r = externalSourceConfig.factory(e.ee, () => {
49
+ const r = externalSourceConfig.factory(e.X, () => {
50
50
  setSignal(n, undefined);
51
51
  });
52
52
  cleanup(() => r.dispose());
53
- e.ee = e => {
53
+ e.X = e => {
54
54
  read(n);
55
55
  return r.track(e);
56
56
  };
@@ -64,8 +64,7 @@ function externalUntrack(e) {
64
64
  // removed on reset) so core's presence checks stay equivalent to the old
65
65
  // `externalSourceConfig` truthiness checks.
66
66
  function syncExternalHooks() {
67
- GlobalQueue.it = externalSourceConfig ? wireExternalSource : undefined;
68
- GlobalQueue._t = externalSourceConfig ? externalUntrack : undefined;
67
+ if (externalSourceConfig) setExternalHooks(wireExternalSource, externalUntrack); else setExternalHooks(undefined, undefined);
69
68
  }
70
69
 
71
70
  function enableExternalSource(e) {
@@ -1,4 +1,4 @@
1
- import { CONFIG_AUTO_DISPOSE, STATUS_PENDING, REACTIVE_DISPOSED, REACTIVE_ZOMBIE, REACTIVE_RECOMPUTING_DEPS, CONFIG_SLOT_NODE } from "./constants.js";
1
+ import { REACTIVE_RECOMPUTING_DEPS, CONFIG_AUTO_DISPOSE, STATUS_PENDING, REACTIVE_DISPOSED, REACTIVE_ZOMBIE, CONFIG_SLOT_NODE } from "./constants.js";
2
2
 
3
3
  import { deleteFromHeap } from "./heap.js";
4
4
 
@@ -17,38 +17,40 @@ function setSlotUnobserved(e) {
17
17
 
18
18
  // https://github.com/stackblitz/alien-signals/blob/v2.0.3/src/system.ts#L100
19
19
  function unlinkSubs(e) {
20
- const n = e.I;
21
- const o = e._;
22
- const l = e.o;
23
- const t = e.en;
24
- if (l !== null) l.en = t; else n.Ye = t;
25
- if (t !== null) t.o = l; else {
26
- n.t = l;
27
- if (l === null) {
20
+ const n = e.S;
21
+ const l = e.G;
22
+ const o = e.t;
23
+ const s = e.Xe;
24
+ if (o !== null) o.Xe = s; else n.ve = s;
25
+ if (s !== null) s.t = o; else {
26
+ n.o = o;
27
+ if (o === null) {
28
28
  // Store slot nodes dispatch to the ONE shared hook — no per-node
29
29
  // unobserved closure, no NodeExtension to hold it.
30
- if (n.i & CONFIG_SLOT_NODE) slotUnobservedHook(n); else n.m?.Je?.();
30
+ if (n.l & CONFIG_SLOT_NODE) slotUnobservedHook(n); else n.T?.we?.();
31
31
  // No more subscribers; only tear down if CONFIG_AUTO_DISPOSE is set.
32
32
  // A pending node is exempt: its in-flight async work is an observer —
33
33
  // tearing down would orphan the work and re-execute it on the next
34
34
  // read. The settle path runs this same last-one-out check when that
35
35
  // observer releases (the untracked-read dormancy sweep guards on
36
36
  // pending identically).
37
+ // During a pass's teardown of its unfinished frame, the release waits
38
+ // for the pass to end (`deferredReleases`, #4142).
37
39
  const e = n;
38
- e.ee && e.i & CONFIG_AUTO_DISPOSE && !(e.R & REACTIVE_ZOMBIE) && !(e.S & STATUS_PENDING) && unobserved(e);
40
+ e.X && e.l & CONFIG_AUTO_DISPOSE && !(e.R & REACTIVE_ZOMBIE) && !(e.m & STATUS_PENDING) && (deferredReleases ? deferredReleases.push(e) : unobserved(e));
39
41
  }
40
42
  }
41
- return o;
43
+ return l;
42
44
  }
43
45
 
44
46
  function trimStaleDeps(e) {
45
- const n = e.G;
46
- let o = n !== null ? n._ : e.p;
47
- if (o !== null) {
47
+ const n = e._;
48
+ let l = n !== null ? n.G : e.C;
49
+ if (l !== null) {
48
50
  do {
49
- o = unlinkSubs(o);
50
- } while (o !== null);
51
- if (n !== null) n._ = null; else e.p = null;
51
+ l = unlinkSubs(l);
52
+ } while (l !== null);
53
+ if (n !== null) n.G = null; else e.C = null;
52
54
  }
53
55
  }
54
56
 
@@ -57,15 +59,27 @@ function trimStaleDeps(e) {
57
59
  // and skipping early also avoids adding one (hidden-class churn) via the
58
60
  // null-out below.
59
61
  function clearDeps(e) {
60
- let n = e.p;
62
+ let n = e.C;
61
63
  if (!n) return;
62
64
  do {
63
65
  n = unlinkSubs(n);
64
66
  } while (n !== null);
65
- e.p = null;
66
- e.G = null;
67
+ e.C = null;
68
+ e._ = null;
67
69
  }
68
70
 
71
+ /**
72
+ * Last-one-out releases held back while a pass tears down the frame of an
73
+ * earlier pass that never committed (#4142). The pass is about to rebuild
74
+ * the same children, which read the same lazy nodes again. Released on the
75
+ * spot, a lazy async memo whose only reader was the old frame's child memo
76
+ * was torn down, re-ran on the new child's read, went pending, and the cycle
77
+ * repeated forever. `recompute` collects them around that teardown and
78
+ * releases what is still unobserved when the pass ends.
79
+ */ let deferredReleases = null;
80
+
81
+ const deferReleases = e => deferredReleases = e;
82
+
69
83
  function unobserved(e) {
70
84
  deleteFromHeap(e, dirtyQueue);
71
85
  clearDeps(e);
@@ -101,7 +115,7 @@ function sweepDormant() {
101
115
  // is an observer; the settle path re-runs last-one-out), lost its
102
116
  // AUTO_DISPOSE bit (owner teardown strips it, #3024), or already been
103
117
  // torn down.
104
- if (!e.t && e.i & CONFIG_AUTO_DISPOSE && !(e.S & STATUS_PENDING) && !(e.R & (REACTIVE_DISPOSED | REACTIVE_ZOMBIE))) {
118
+ if (!e.o && e.l & CONFIG_AUTO_DISPOSE && !(e.m & STATUS_PENDING) && !(e.R & (REACTIVE_DISPOSED | REACTIVE_ZOMBIE))) {
105
119
  unobserved(e);
106
120
  }
107
121
  }
@@ -110,15 +124,15 @@ function sweepDormant() {
110
124
 
111
125
  // https://github.com/stackblitz/alien-signals/blob/v2.0.3/src/system.ts#L52
112
126
  function link(e, n) {
113
- const o = n.G;
114
- if (o !== null && o.I === e) return;
115
- let l = null;
116
- const t = n.R & REACTIVE_RECOMPUTING_DEPS;
117
- if (t) {
118
- l = o !== null ? o._ : n.p;
119
- if (l !== null && l.I === e) {
120
- l.Pe = n.pe;
121
- n.G = l;
127
+ const l = n._;
128
+ if (l !== null && l.S === e) return;
129
+ let o = null;
130
+ const s = n.R & REACTIVE_RECOMPUTING_DEPS;
131
+ if (s) {
132
+ o = l !== null ? l.G : n.C;
133
+ if (o !== null && o.S === e) {
134
+ o.Te = n.Ne;
135
+ n._ = o;
122
136
  return;
123
137
  }
124
138
  }
@@ -127,20 +141,20 @@ function link(e, n) {
127
141
  // [deps.._depsTail] prefix — the O(1) equivalent of scanning the dep list
128
142
  // (the old alien-signals `isValidLink` walk, O(n²) when a computation
129
143
  // re-reads earlier deps non-consecutively, e.g. store leaf reads).
130
- const s = e.Ye;
131
- if (s !== null && s.l === n && (!t || s.Pe === n.pe)) return;
132
- const u = n.G = e.Ye = {
133
- I: e,
134
- l: n,
135
- _: l,
136
- en: s,
137
- o: null,
138
- Pe: n.pe
144
+ const t = e.ve;
145
+ if (t !== null && t.u === n && (!s || t.Te === n.Ne)) return;
146
+ const r = n._ = e.ve = {
147
+ S: e,
148
+ u: n,
149
+ G: o,
150
+ Xe: t,
151
+ t: null,
152
+ Te: n.Ne
139
153
  };
140
- if (o !== null) o._ = u; else n.p = u;
141
- if (s !== null) s.o = u; else e.t = u;
154
+ if (l !== null) l.G = r; else n.C = r;
155
+ if (t !== null) t.t = r; else e.o = r;
142
156
  // New subscriber edge: staged-rewrite skips (§12d) must not miss it.
143
157
  bumpNotifyEpoch();
144
158
  }
145
159
 
146
- export { clearDeps, dormantNodes, link, setSlotUnobserved, slotUnobservedHook, sweepDormant, trimStaleDeps, unlinkSubs, unobserved };
160
+ export { clearDeps, deferReleases, deferredReleases, dormantNodes, link, setSlotUnobserved, slotUnobservedHook, sweepDormant, trimStaleDeps, unlinkSubs, unobserved };
@@ -11,22 +11,22 @@ import { dirtyQueue } from "./scheduler.js";
11
11
  * callback to the user queue once the pass has committed (see
12
12
  * GlobalQueue._update, #3291).
13
13
  */ function enqueueSub(e) {
14
- if (dirtyQueue.Ue > e.me) dirtyQueue.Ue = e.me;
14
+ if (dirtyQueue.Ge > e.Fe) dirtyQueue.Ge = e.Fe;
15
15
  insertIntoHeap(e, dirtyQueue);
16
16
  }
17
17
 
18
18
  function actualInsertIntoHeap(e, t) {
19
- const E = (e._parent?.$e ? e._parent.et?.me : e._parent?.me) ?? -1;
20
- if (E >= e.me) e.me = E + 1;
21
- const n = e.me;
22
- const I = t.Ht[n];
23
- if (I === undefined) t.Ht[n] = e; else {
24
- const t = I.we;
25
- t.je = e;
26
- e.we = t;
27
- I.we = e;
19
+ const E = (e._parent?.je ? e._parent.Ye?.Fe : e._parent?.Fe) ?? -1;
20
+ if (E >= e.Fe) e.Fe = E + 1;
21
+ const n = e.Fe;
22
+ const I = t.$e[n];
23
+ if (I === undefined) t.$e[n] = e; else {
24
+ const t = I.We;
25
+ t.be = e;
26
+ e.We = t;
27
+ I.We = e;
28
28
  }
29
- if (n > t.ft) t.ft = n;
29
+ if (n > t.et) t.et = n;
30
30
  }
31
31
 
32
32
  function insertIntoHeap(e, t) {
@@ -49,7 +49,7 @@ function insertIntoHeap(e, t) {
49
49
  // parked in the heap for a synchronous mount (each row writing a ref
50
50
  // signal its effect subscribes to), mounting N rows was O(N²) (#3350).
51
51
  // markNode's own guard skips an already-DIRTY node.
52
- if (t.N) markNode(e);
52
+ if (t.p) markNode(e);
53
53
  }
54
54
  if (!(E & REACTIVE_IN_HEAP_HEIGHT)) actualInsertIntoHeap(e, t);
55
55
  }
@@ -65,23 +65,23 @@ function deleteFromHeap(e, t) {
65
65
  const E = e.R;
66
66
  if (!(E & (REACTIVE_IN_HEAP | REACTIVE_IN_HEAP_HEIGHT))) return;
67
67
  e.R = E & -25;
68
- const n = e.me;
69
- if (e.we === e) t.Ht[n] = undefined; else {
70
- const E = e.je;
71
- const I = t.Ht[n];
68
+ const n = e.Fe;
69
+ if (e.We === e) t.$e[n] = undefined; else {
70
+ const E = e.be;
71
+ const I = t.$e[n];
72
72
  const i = E ?? I;
73
- if (e === I) t.Ht[n] = E; else e.we.je = E;
74
- i.we = e.we;
73
+ if (e === I) t.$e[n] = E; else e.We.be = E;
74
+ i.We = e.We;
75
75
  }
76
- e.we = e;
77
- e.je = undefined;
76
+ e.We = e;
77
+ e.be = undefined;
78
78
  }
79
79
 
80
80
  function markHeap(e) {
81
- if (e.N) return;
82
- e.N = true;
83
- for (let t = 0; t <= e.ft; t++) {
84
- for (let E = e.Ht[t]; E !== undefined; E = E.je) {
81
+ if (e.p) return;
82
+ e.p = true;
83
+ for (let t = 0; t <= e.et; t++) {
84
+ for (let E = e.$e[t]; E !== undefined; E = E.be) {
85
85
  if (E.R & REACTIVE_IN_HEAP) markNode(E);
86
86
  }
87
87
  }
@@ -91,33 +91,33 @@ function markNode(e, t = REACTIVE_DIRTY) {
91
91
  const E = e.R;
92
92
  if ((E & (REACTIVE_CHECK | REACTIVE_DIRTY)) >= t) return;
93
93
  e.R = E & -4 | t;
94
- for (let t = e.t; t !== null; t = t.o) {
95
- markNode(t.l, REACTIVE_CHECK);
94
+ for (let t = e.o; t !== null; t = t.t) {
95
+ markNode(t.u, REACTIVE_CHECK);
96
96
  }
97
97
  }
98
98
 
99
99
  function runHeap(e, t) {
100
- e.N = false;
101
- for (e.Ue = 0; e.Ue <= e.ft; e.Ue++) {
102
- let E = e.Ht[e.Ue];
100
+ e.p = false;
101
+ for (e.Ge = 0; e.Ge <= e.et; e.Ge++) {
102
+ let E = e.$e[e.Ge];
103
103
  while (E !== undefined) {
104
104
  if (E.R & REACTIVE_IN_HEAP) t(E); else adjustHeight(E, e);
105
- E = e.Ht[e.Ue];
105
+ E = e.$e[e.Ge];
106
106
  }
107
107
  }
108
- e.ft = 0;
108
+ e.et = 0;
109
109
  }
110
110
 
111
111
  function adjustHeight(e, t) {
112
112
  deleteFromHeap(e, t);
113
- let E = e.me;
114
- for (let t = e.p; t; t = t._) {
115
- const e = t.I;
116
- if (e.ee && e.me >= E) E = e.me + 1;
113
+ let E = e.Fe;
114
+ for (let t = e.C; t; t = t.G) {
115
+ const e = t.S;
116
+ if (e.X && e.Fe >= E) E = e.Fe + 1;
117
117
  }
118
- if (e.me !== E) {
119
- e.me = E;
120
- for (let E = e.t; E !== null; E = E.o) insertIntoHeapHeight(E.l, t);
118
+ if (e.Fe !== E) {
119
+ e.Fe = E;
120
+ for (let E = e.o; E !== null; E = E.t) insertIntoHeapHeight(E.u, t);
121
121
  }
122
122
  }
123
123
 
@@ -0,0 +1,62 @@
1
+ import { CONFIG_TRANSPARENT } from "./constants.js";
2
+
3
+ import "./core.js";
4
+
5
+ import { getOwner } from "./owner.js";
6
+
7
+ // Deferred hydration, dependency edges: plain-signal identities.
8
+ // While on (`setSignalIdentities`; the server-components client turns it on
9
+ // before hydrating), a plain signal created under an id-bearing owner is
10
+ // named `<owner id>~<n>`, n counting the plain signals (and plain store
11
+ // roots: `createStore` over an object, store/edges.ts) created under that
12
+ // owner in its current pass (transparent owners defer to the nearest
13
+ // id-bearing one, as child ids do). The server names the same signal the
14
+ // same way and restarts the count on every re-run, so an edge it shipped (a
15
+ // slot fill read it) matches the client node; the write hook receives the
16
+ // node and looks its name up (`signalName`). The count restarts when the owner's pass
17
+ // generation (`_depGen`, bumped by every recompute) moves on. Only the
18
+ // frames client imports this module, so nothing here ships without it.
19
+ // Names live in a side table, not on the node: frames reads them across the
20
+ // package boundary, where a mangled field would not survive.
21
+ let counts = null;
22
+
23
+ const names = new WeakMap;
24
+
25
+ /** @internal The identity of a plain signal named while identities were on. */ function signalName(n) {
26
+ return n === undefined ? undefined : names.get(n);
27
+ }
28
+
29
+ function identify(n) {
30
+ let e = getOwner();
31
+ if (!e) return;
32
+ while (e.l & CONFIG_TRANSPARENT && e._parent) e = e._parent;
33
+ if (e.id == null) return;
34
+ const t = e.Ne;
35
+ let i = counts.get(e);
36
+ if (i === undefined || i[0] !== t) counts.set(e, i = [ t, 0 ]);
37
+ const s = e.id + "~" + i[1]++;
38
+ // A store root named twice (one object made into two stores, or a store
39
+ // handed to `createStore`) is one target under two server names: its
40
+ // writes cannot be attributed (an empty name).
41
+ names.set(n, names.has(n) ? "" : s);
42
+ }
43
+
44
+ /** @internal Name plain signals from now on (`on`), or stop. */ function setSignalIdentities(n) {
45
+ counts = n ? counts || new WeakMap : null;
46
+ signalHook = n ? identify : null;
47
+ }
48
+
49
+ /**
50
+ * @internal Called with every plain signal `createSignal` makes, and every
51
+ * plain store root `createStore` makes, while set (the namer above). Never
52
+ * set unless `setSignalIdentities` is imported, so a bundle without it keeps
53
+ * only a null check.
54
+ */ let signalHook = null;
55
+
56
+ /**
57
+ * @internal Dev only: `watch` is called with every node read while set (the
58
+ * dev hook `onRead`) — the frames client's identity-drift check watches the
59
+ * named signals a deferred occurrence reads as it mounts. A no-op in prod.
60
+ */ function setReadWatch(n) {}
61
+
62
+ export { setReadWatch, setSignalIdentities, signalHook, signalName };