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

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 (90) hide show
  1. package/dist/dev-shared.js +2268 -1734
  2. package/dist/dev.attribution.js +75 -52
  3. package/dist/dev.js +1348 -658
  4. package/dist/observe/affects-marks.js +86 -0
  5. package/dist/observe/affects.js +22 -73
  6. package/dist/observe/boundaries.js +192 -190
  7. package/dist/observe/core/async.js +177 -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 +5 -3
  12. package/dist/observe/core/core.js +520 -364
  13. package/dist/observe/core/dev.js +66 -38
  14. package/dist/observe/core/effect.js +50 -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 +60 -44
  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 +238 -260
  21. package/dist/observe/core/owner.js +117 -79
  22. package/dist/observe/core/scheduler.js +381 -217
  23. package/dist/observe/core/truth.js +45 -0
  24. package/dist/observe/core/verdict.js +91 -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 +47 -31
  30. package/dist/observe/store/affects.js +18 -18
  31. package/dist/observe/store/edges.js +39 -0
  32. package/dist/observe/store/optimistic.js +146 -100
  33. package/dist/observe/store/projection.js +68 -55
  34. package/dist/observe/store/store.js +180 -118
  35. package/dist/prod/affects-marks.js +86 -0
  36. package/dist/prod/affects.js +23 -72
  37. package/dist/prod/boundaries.js +156 -154
  38. package/dist/prod/core/async.js +173 -127
  39. package/dist/prod/core/constants.js +17 -3
  40. package/dist/prod/core/context.js +5 -3
  41. package/dist/prod/core/core.js +495 -343
  42. package/dist/prod/core/effect.js +70 -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 +60 -44
  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 +230 -252
  49. package/dist/prod/core/owner.js +114 -77
  50. package/dist/prod/core/scheduler.js +327 -163
  51. package/dist/prod/core/truth.js +45 -0
  52. package/dist/prod/core/verdict.js +90 -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 +42 -26
  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 +143 -98
  61. package/dist/prod/store/projection.js +25 -19
  62. package/dist/prod/store/store.js +157 -100
  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 +54 -5
  68. package/dist/types/core/dev.d.ts +51 -13
  69. package/dist/types/core/error.d.ts +9 -1
  70. package/dist/types/core/graph.d.ts +11 -0
  71. package/dist/types/core/identities.d.ts +17 -0
  72. package/dist/types/core/index.d.ts +2 -1
  73. package/dist/types/core/lanes.d.ts +2 -14
  74. package/dist/types/core/owner.d.ts +9 -3
  75. package/dist/types/core/scheduler.d.ts +70 -32
  76. package/dist/types/core/truth.d.ts +16 -0
  77. package/dist/types/core/types.d.ts +21 -0
  78. package/dist/types/core/verdict.d.ts +32 -0
  79. package/dist/types/deferred.d.ts +28 -0
  80. package/dist/types/index.d.ts +6 -0
  81. package/dist/types/map.d.ts +2 -2
  82. package/dist/types/signals.d.ts +28 -7
  83. package/dist/types/store/edges.d.ts +9 -0
  84. package/dist/types/store/index.d.ts +10 -3
  85. package/dist/types/store/optimistic.d.ts +3 -2
  86. package/dist/types/store/projection.d.ts +4 -3
  87. package/dist/types/store/store.d.ts +1 -1
  88. package/dist/types/store/target.d.ts +16 -8
  89. package/dist/types/store/types.d.ts +14 -0
  90. 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,25 @@ 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
+ // Dev locates the halt at the node that threw: the StatusError's
50
+ // source, upstream of this effect when a computed failed.
51
+ haltReactivity(unwrapStatusError(u));
52
+ throw u;
51
53
  }
52
- } else if (this.u === EFFECT_RENDER) {
53
- globalQueue.notify(this, STATUS_PENDING | STATUS_ERROR, u, E);
54
+ } else if (this.i === EFFECT_RENDER) {
55
+ globalQueue.notify(this, STATUS_PENDING | STATUS_ERROR, E, u);
54
56
  }
55
57
  }
56
58
 
57
- function runEffect(e, t) {
58
- if (!e.Ge || e.R & REACTIVE_DISPOSED) return;
59
+ function runEffect(t, e) {
60
+ if (!t.Ae || t.R & REACTIVE_DISPOSED) return;
59
61
  // A queued run behind a fallback (boundaries.ts) waits for the reveal: a
60
62
  // user effect's, which would read a DOM that is not attached, and a render
61
63
  // effect's update too (maintainer, 2026-10-02: "we held the queue but let
@@ -64,7 +66,7 @@ function runEffect(e, t) {
64
66
  // hidden subtree. The synchronous first render on creation is not a queued
65
67
  // run and goes through. `_modified` stays set; the boundary re-queues the
66
68
  // run (`release`).
67
- if (GlobalQueue.Ee && GlobalQueue.Ee(e)) return;
69
+ if (heldRunHook?.(t)) return;
68
70
  // Error arm (#2840), user effects only: a compute-phase error that is still
69
71
  // the node's settled state at effect time runs the bundle's error handler in
70
72
  // this same imperative, writable scope. Unwrap the StatusError used for
@@ -75,94 +77,94 @@ function runEffect(e, t) {
75
77
  // Render effects bypass: their errors route to boundaries synchronously in
76
78
  // notifyEffectStatus, and a runner queued by an earlier valueChanged in the
77
79
  // 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;
80
+ if (t.m & STATUS_ERROR && t.i === EFFECT_USER) {
81
+ const e = unwrapStatusError(t.T?.F);
82
+ t.ge = t.Ie;
83
+ t.Ae = false;
82
84
  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;
85
+ t.qe ? t.qe(e, () => {
86
+ const e = t.Je;
87
+ t.Je = undefined;
88
+ e?.();
89
+ }) : console.error(e);
90
+ } catch (e) {
91
+ if (!globalQueue.notify(t, STATUS_ERROR, STATUS_ERROR)) {
92
+ haltReactivity(e);
93
+ throw e;
92
94
  }
93
95
  }
94
96
  return;
95
97
  }
96
98
  // Captured before the callback: its own throw errors the node below, but
97
99
  // 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;
100
+ const E = t.T?.F == null;
101
+ const u = t.Je;
102
+ t.Je = undefined;
101
103
  try {
102
- E?.();
103
- const t = e.Et(e.Ae, e.be);
104
- if (false && t !== undefined && typeof t !== "function") ;
104
+ u?.();
105
+ const e = t.Ke(t.Ie, t.ge);
106
+ if (false && e !== undefined && typeof e !== "function") ;
105
107
  // 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;
108
+ t.Je = e;
109
+ } catch (e) {
110
+ ext(t).F = new StatusError(t, e);
111
+ t.m |= STATUS_ERROR;
112
+ if (!globalQueue.notify(t, STATUS_ERROR, STATUS_ERROR)) {
113
+ haltReactivity(e);
114
+ throw e;
113
115
  }
114
116
  } finally {
115
- e.be = e.Ae;
116
- e.Ge = false;
117
+ t.ge = t.Ie;
118
+ t.Ae = false;
117
119
  // The run applied: this is the frame now, so the dependency tail the
118
120
  // compute pass left linked goes (A30, #3438 — `recompute` defers an
119
121
  // effect's trim while a run is owed; the twin of `commitPendingNode`'s
120
122
  // trim for a staged pass). An errored compute kept its full list with
121
123
  // `_depsTail` marking where it stopped; leave it, as the commit does.
122
- if (u) trimStaleDeps(e);
124
+ if (E) trimStaleDeps(t);
123
125
  }
124
126
  }
125
127
 
126
- GlobalQueue.q = runEffect;
128
+ GlobalQueue.K = runEffect;
127
129
 
128
130
  /**
129
131
  * Internal tracked effect - bypasses heap, goes directly to effect queue.
130
132
  * Runs as a leaf owner: child primitives and onCleanup are forbidden (false throws).
131
133
  * Uses stale reads.
132
- */ function trackedEffect(e, t) {
134
+ */ function trackedEffect(t, e) {
133
135
  const run = () => {
134
136
  // `_modified` is NOT redundant with the heap: the heap dedups within a
135
137
  // pass, but several passes in one flush each enqueue `_run` into the same
136
138
  // 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;
139
+ if (!E.Ae || E.R & REACTIVE_DISPOSED) return;
140
+ if (heldRunHook?.(E)) return;
139
141
  try {
140
- u.Ge = false;
141
- recompute(u);
142
+ E.Ae = false;
143
+ recompute(E);
142
144
  } finally {}
143
145
  };
144
- const u = computed(() => {
145
- const t = u.st;
146
- u.st = undefined;
147
- t?.();
148
- const E = staleValues(e);
149
- u.st = E;
146
+ const E = computed(() => {
147
+ const e = E.Je;
148
+ E.Je = undefined;
149
+ e?.();
150
+ const u = staleValues(t);
151
+ E.Je = u;
150
152
  }, {
151
- ...t,
153
+ ...e,
152
154
  lazy: true
153
155
  });
154
- u.st = undefined;
155
- u.i = u.i & ~CONFIG_AUTO_DISPOSE | CONFIG_CHILDREN_FORBIDDEN;
156
- u.Ge = true;
157
- u.u = EFFECT_TRACKED;
156
+ E.Je = undefined;
157
+ E.l = E.l & ~CONFIG_AUTO_DISPOSE | CONFIG_CHILDREN_FORBIDDEN;
158
+ E.Ae = true;
159
+ E.i = EFFECT_TRACKED;
158
160
  // Status dispatch rides the SHARED notifier (statusNotifierOf keys off
159
161
  // _type): its error arm is behavior-identical to the closure that used to
160
162
  // live here, without the per-node NodeExtension allocation.
161
- u.M = run;
163
+ E.M = run;
162
164
  // The first run rides the heap like every wake (GlobalQueue._update), so a
163
165
  // tracked effect created inside a render-effect callback runs after that
164
166
  // pass's staged writes commit, not before.
165
- enqueueSub(u);
167
+ enqueueSub(E);
166
168
  schedule();
167
169
  }
168
170
 
@@ -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,8 +1,8 @@
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
 
5
- import { disposeChildren } from "./owner.js";
5
+ import { disposeChildren, runCleanup } from "./owner.js";
6
6
 
7
7
  import { bumpNotifyEpoch, dirtyQueue } from "./scheduler.js";
8
8
 
@@ -17,38 +17,42 @@ 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
+ // A user hook that throws is collected like a cleanup (owner.ts): the
31
+ // unlink and the teardown around it carry on.
32
+ if (n.l & CONFIG_SLOT_NODE) slotUnobservedHook(n); else if (n.T?.we) runCleanup(n.T.we);
31
33
  // No more subscribers; only tear down if CONFIG_AUTO_DISPOSE is set.
32
34
  // A pending node is exempt: its in-flight async work is an observer —
33
35
  // tearing down would orphan the work and re-execute it on the next
34
36
  // read. The settle path runs this same last-one-out check when that
35
37
  // observer releases (the untracked-read dormancy sweep guards on
36
38
  // pending identically).
39
+ // During a pass's teardown of its unfinished frame, the release waits
40
+ // for the pass to end (`deferredReleases`, #4142).
37
41
  const e = n;
38
- e.ee && e.i & CONFIG_AUTO_DISPOSE && !(e.R & REACTIVE_ZOMBIE) && !(e.S & STATUS_PENDING) && unobserved(e);
42
+ e.X && e.l & CONFIG_AUTO_DISPOSE && !(e.R & REACTIVE_ZOMBIE) && !(e.m & STATUS_PENDING) && (deferredReleases ? deferredReleases.push(e) : unobserved(e));
39
43
  }
40
44
  }
41
- return o;
45
+ return l;
42
46
  }
43
47
 
44
48
  function trimStaleDeps(e) {
45
- const n = e.G;
46
- let o = n !== null ? n._ : e.p;
47
- if (o !== null) {
49
+ const n = e._;
50
+ let l = n !== null ? n.G : e.C;
51
+ if (l !== null) {
48
52
  do {
49
- o = unlinkSubs(o);
50
- } while (o !== null);
51
- if (n !== null) n._ = null; else e.p = null;
53
+ l = unlinkSubs(l);
54
+ } while (l !== null);
55
+ if (n !== null) n.G = null; else e.C = null;
52
56
  }
53
57
  }
54
58
 
@@ -57,15 +61,27 @@ function trimStaleDeps(e) {
57
61
  // and skipping early also avoids adding one (hidden-class churn) via the
58
62
  // null-out below.
59
63
  function clearDeps(e) {
60
- let n = e.p;
64
+ let n = e.C;
61
65
  if (!n) return;
62
66
  do {
63
67
  n = unlinkSubs(n);
64
68
  } while (n !== null);
65
- e.p = null;
66
- e.G = null;
69
+ e.C = null;
70
+ e._ = null;
67
71
  }
68
72
 
73
+ /**
74
+ * Last-one-out releases held back while a pass tears down the frame of an
75
+ * earlier pass that never committed (#4142). The pass is about to rebuild
76
+ * the same children, which read the same lazy nodes again. Released on the
77
+ * spot, a lazy async memo whose only reader was the old frame's child memo
78
+ * was torn down, re-ran on the new child's read, went pending, and the cycle
79
+ * repeated forever. `recompute` collects them around that teardown and
80
+ * releases what is still unobserved when the pass ends.
81
+ */ let deferredReleases = null;
82
+
83
+ const deferReleases = e => deferredReleases = e;
84
+
69
85
  function unobserved(e) {
70
86
  deleteFromHeap(e, dirtyQueue);
71
87
  clearDeps(e);
@@ -101,7 +117,7 @@ function sweepDormant() {
101
117
  // is an observer; the settle path re-runs last-one-out), lost its
102
118
  // AUTO_DISPOSE bit (owner teardown strips it, #3024), or already been
103
119
  // torn down.
104
- if (!e.t && e.i & CONFIG_AUTO_DISPOSE && !(e.S & STATUS_PENDING) && !(e.R & (REACTIVE_DISPOSED | REACTIVE_ZOMBIE))) {
120
+ if (!e.o && e.l & CONFIG_AUTO_DISPOSE && !(e.m & STATUS_PENDING) && !(e.R & (REACTIVE_DISPOSED | REACTIVE_ZOMBIE))) {
105
121
  unobserved(e);
106
122
  }
107
123
  }
@@ -110,15 +126,15 @@ function sweepDormant() {
110
126
 
111
127
  // https://github.com/stackblitz/alien-signals/blob/v2.0.3/src/system.ts#L52
112
128
  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;
129
+ const l = n._;
130
+ if (l !== null && l.S === e) return;
131
+ let o = null;
132
+ const s = n.R & REACTIVE_RECOMPUTING_DEPS;
133
+ if (s) {
134
+ o = l !== null ? l.G : n.C;
135
+ if (o !== null && o.S === e) {
136
+ o.Te = n.Ne;
137
+ n._ = o;
122
138
  return;
123
139
  }
124
140
  }
@@ -127,20 +143,20 @@ function link(e, n) {
127
143
  // [deps.._depsTail] prefix — the O(1) equivalent of scanning the dep list
128
144
  // (the old alien-signals `isValidLink` walk, O(n²) when a computation
129
145
  // 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
146
+ const r = e.ve;
147
+ if (r !== null && r.u === n && (!s || r.Te === n.Ne)) return;
148
+ const t = n._ = e.ve = {
149
+ S: e,
150
+ u: n,
151
+ G: o,
152
+ Xe: r,
153
+ t: null,
154
+ Te: n.Ne
139
155
  };
140
- if (o !== null) o._ = u; else n.p = u;
141
- if (s !== null) s.o = u; else e.t = u;
156
+ if (l !== null) l.G = t; else n.C = t;
157
+ if (r !== null) r.t = t; else e.o = t;
142
158
  // New subscriber edge: staged-rewrite skips (§12d) must not miss it.
143
159
  bumpNotifyEpoch();
144
160
  }
145
161
 
146
- export { clearDeps, dormantNodes, link, setSlotUnobserved, slotUnobservedHook, sweepDormant, trimStaleDeps, unlinkSubs, unobserved };
162
+ 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?.Qe ? 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 };