@solidjs/signals 2.0.0-rc.2 → 2.0.0-rc.20

package/dist/prod/core/attribution-hooks.js

@@ -0,0 +1,3 @@
+let attrHooks = null;
+
+export { attrHooks };

package/dist/prod/core/constants.js

@@ -10,11 +10,18 @@ const REACTIVE_IN_HEAP = 1 << 3;
 
 const REACTIVE_IN_HEAP_HEIGHT = 1 << 4;
 
-const REACTIVE_ZOMBIE = 1 << 5;
+/** L2 — the node sits on its owner's parked frame (`_x._pendingFirstChild`):
+ * it is the displayed frame until the owner's commit disposes it. Set by
+ * `markDisposal` over the parked subtree; carried through every per-pass
+ * flag wipe (#3543). Scheduling reads it once, at the heap pop: a zombie's
+ * recompute is deferred past the seam (`deferZombie`). */ const REACTIVE_ZOMBIE = 1 << 5;
 
 const REACTIVE_DISPOSED = 1 << 6;
 
-const REACTIVE_OPTIMISTIC_DIRTY = 1 << 7;
+/** L2 — this pass read the future (a tracked read of a CONFIG_HELD node).
+ * Lives for the pass only: set by `read`, consumed by `recompute`'s publish
+ * (a first pass that read the future is born held, A29), wiped with the
+ * pass's other per-pass bits. */ const REACTIVE_JOINED = 1 << 7;
 
 const REACTIVE_SNAPSHOT_STALE = 1 << 8;
 
@@ -22,13 +29,12 @@ const REACTIVE_LAZY = 1 << 9;
 
 const REACTIVE_MANUAL_WRITE = 1 << 10;
 
-/**
- * The pending recompute is a re-ask of the same question: `refresh()` dirtied
- * the node while no tracked input changed value. Cleared whenever a real
- * value-change notification arrives (`insertSubs`), and consumed by
- * `recompute` into the node's `_reask` classification — a quiet (re-ask)
- * pending window does not read as pending (question-scoped pending model).
- */ const REACTIVE_REASK = 1 << 11;
+/** L2, rule 3 — the node's LAST pass was a render effect's read of the
+ * future as committed (`frameRead`): the frame shows the committed world
+ * beside a future it also derives from, and re-derives at the landing.
+ * Survives its own pass's wipe; the next pass's wipe clears it (a pass that
+ * re-derived the frame — in the future, or without the held read — owes the
+ * landing nothing). The landing consumes it (the transaction's `_reruns`). */ const REACTIVE_FRAME_READ = 1 << 11;
 
 /**
  * A dependency write landed while this subscriber was mid-recompute — a
@@ -39,6 +45,44 @@ const REACTIVE_MANUAL_WRITE = 1 << 10;
  * either re-read later in the pass (fresh) or trimmed with it (not a dep).
  */ const REACTIVE_MISSED_WAKE = 1 << 12;
 
+/** A `refresh()` asked this node to re-ask its question (A19 exc. 2, A24):
+ * consumed by the next pass, which — going pending — classifies its flight
+ * quiet (`_x._reask`). */ const REACTIVE_REASK = 1 << 13;
+
+/** The pass was served a node's ambient staging — written this flush, not
+ * held. If the flush parks, the pass is the frame's with it (the same sync
+ * frame as the async): a verdict read cannot break it out. Per pass. */ const REACTIVE_STAGED_READ = 1 << 14;
+
+/** The pass entered a verdict window (`isPending`/`latest`). Per pass: a
+ * pass that did not keeps CONFIG_VERDICT no longer — the frame-reader
+ * posture lasts exactly as long as the probing does. */ const REACTIVE_PROBED = 1 << 15;
+
+/** Lanes — the node (a lane's member) was dirtied by the lane's own
+ * re-staging (a re-guess, lane work re-derived): its next pass is the
+ * lane's from the start (`recompute`), not a stale reader's re-run by an
+ * unrelated write (#3460). Consumed by the pass. */ const REACTIVE_LANE_DIRTY = 1 << 16;
+
+/** Lanes (plan sec. 28) — the pass read a lane's value as lane work (`enterLane`): a
+ * tracked derivation's read of displayed optimism, a verdict read routed
+ * into the holder's verdict lane. A pass in a lane's seat that read none of
+ * its world has left the lane (`recompute`'s tail). Per pass. */ const REACTIVE_LANE_READ = 1 << 17;
+
+/** Lanes (plan sec. 28) — a render effect in the frame's seat was served the screen
+ * for a lane's node (`laneRead`: a stale reader of a lane that has not
+ * shown). Its pass computing exactly what it last applied has nothing to
+ * run — an effect has no comparator, and the guess's notification is not a
+ * change it can see. Per pass. */ const REACTIVE_SCREEN_READ = 1 << 18;
+
+/** A verdict reader whose probe was answered before the flush had a
+ * transaction (verdict.ts `watchVerdict`): the seam re-runs it even if a
+ * later read of the same pass routed it into a verdict lane — that was not
+ * the probe's answer (lanes.ts). Per pass. */ const REACTIVE_PROBE_UNANSWERED = 1 << 19;
+
+/** The pass opened a verdict window of its own (`isPending`/`latest`) — not
+ * only read a verdict memo (F-6, core.ts `read`). An async memo whose pass
+ * did not is D-25's hold work while its flight is up (verdict.ts
+ * `holdWork`). Per pass (1 << 20 is lanes.ts's LEFT_SHOWN). */ const REACTIVE_WINDOW = 1 << 21;
+
 // Static configuration bits packed into Owner/Computed/Signal _config.
 const CONFIG_OWNED_WRITE = 1 << 0;
 
@@ -54,6 +98,83 @@ const CONFIG_AUTO_DISPOSE = 1 << 5;
 
 const CONFIG_SYNC = 1 << 6;
 
+// CARVE 3: REACTIVE_ZOMBIE, CONFIG_AUTHORITATIVE_READ, CONFIG_DIRECT_COMMIT,
+// CONFIG_HELD_CHILDREN, CONFIG_INPUTS_PUBLISHED and CONFIG_ADOPTED_UNFLUSHED
+// (transaction holds, zombies, until()'s authoritative view) went with the
+// transactions.
+// L2 (step 2): four bits, all maintained by the node's commit.
+/** The node has a pass awaiting commit: its live children (and `_disposal`)
+ * are that pass's and were never shown — a re-pass tears them down on the
+ * spot, while the frame parked on `_x._pendingFirstChild` keeps waiting for
+ * the commit. Set by `recompute` when it queues the node. */ const CONFIG_STAGED = 1 << 7;
+
+/** The node's staged state is in the future: the flush that staged it
+ * parked. A write to it, a tracked read of it by a derivation, or a pass
+ * over a derivation holding it joins the future (the flush parks). Render
+ * effects are the frame, not derivations (rule 3): reading it outside a
+ * parking flush they see the committed value and hold nothing, and are
+ * re-derived at the landing. Set at the park seam on every staged node. */ const CONFIG_HELD = 1 << 8;
+
+/** A member of the uncommitted frame a held pass built (ruling A): set at
+ * the park seam on every computed under a staged node (`holdFrame`). Never
+ * shown, it has no screen: its reads are its transaction's, whichever flush
+ * runs it (`bornInto`, #4010). Cleared by its commit. */ const CONFIG_HELD_FRAME = 1 << 20;
+
+/** A15's reveal corollary (#3305): a commit published this flight's inputs
+ * beneath it — the node was pending, nothing staged, when it committed — so
+ * its committed value is torn against the visible frame. A render effect
+ * revealing it cannot be a stale reader: it observes the flight (pends,
+ * holds) instead of showing the pre-flight value. Outlives the flight that
+ * earned it for as long as the node stays pending, and no longer: the
+ * commit that lands a value clears it. */ const CONFIG_INPUTS_PUBLISHED = 1 << 10;
+
+/** Lanes (plan sec. 28) — the node has a lane's value (`_x._lane`): a written guess
+ * (CONFIG_GUESS) or a lane pass's derivation of one. Its lane is
+ * `_x._transaction`. The gate to the lane arm of `read`; `_value` stays the
+ * committed truth and `_pendingValue` a transaction's staging throughout —
+ * a value's world is where it lives, never a bit. */ const CONFIG_OVERRIDE = 1 << 11;
+
+/** A store slot node (`slotSignal`): a leaf, presence, container or deep
+ * witness of a store target. One literal, no `_x` at birth; the last-one-out
+ * sweep dispatches it to the store's shared release hook (graph.ts) instead
+ * of a per-node `_unobserved` closure. */ const CONFIG_SLOT_NODE = 1 << 12;
+
+/** A store slot node whose staging is a USER setter's proposal, not its
+ * derive's derivation (A34 (3)'s discriminator for derived stores — the
+ * leaf twin of REACTIVE_MANUAL_WRITE). Set by the user setter, cleared by
+ * the derive's own write to the key. */ const CONFIG_MANUAL_WRITE = 1 << 18;
+
+/** D-41: the staged value in `_pendingValue` is an error — an
+ * answer of the held frame, published at its landing like a value. */ const CONFIG_STAGED_ERROR = 1 << 21;
+
+/** Lanes — the node carries a written guess (`optimisticWrite`): its own
+ * source recomputing it, or a plain write landing on it, is the truth
+ * (`supersede`). A lane's derived staging is not. */ const CONFIG_GUESS = 1 << 13;
+
+/** The node's pass read a verdict (`isPending`/`latest`): a dependency going
+ * pending is a question for its next pass — the verdict changed — so the
+ * propagation re-derives it instead of marking it pending (as a kept-tail
+ * link does, A30). Set at the window, never cleared: a reader that stopped
+ * asking re-derives once and goes pending through its own read. The same
+ * bit as REACTIVE_PROBED: a pass's probe (or a read of a verdict memo,
+ * core.ts `read`) carries into the config at its end without a shift. */ const CONFIG_VERDICT = 1 << 15;
+
+/** A dependency's status is a question for this node's pass, not a fact
+ * about its current one: the propagation re-derives it instead of marking
+ * it, for errors as for pending (as CONFIG_VERDICT). A boundary's output
+ * (show the content, or the fallback) and its `on` node (boundaries.ts); a
+ * promise over an expression (`resolve`/`until`, signals.ts: the pass reads
+ * the error and rejects, or re-asks a pending source). */ const CONFIG_REDERIVE = 1 << 14;
+
+/** An answered `createDeferred` node (deferred.ts): held because a
+ * downstream hold staged its landing, its re-pass is a lagging question,
+ * not an answer, and joins no transaction (D-40). */ const CONFIG_LAGS = 1 << 19;
+
+/** The reader wants the truth, not the lane's guess (`until`, signals.ts):
+ * a read of displayed optimism serves the base the guess covers, makes the
+ * pass no lane's, and the truth landing wakes it even when it confirms the
+ * guess (the one case ordinary subscribers are not told — A17's silence). */ const CONFIG_AUTHORITATIVE = 1 << 17;
+
 // Presence bits (stage-3 hot-path monomorphism, DESIGN-PATCH-CHANNEL §11b):
 // optional per-node slots (_overrideValue, _pendingSignal/_latestValueComputed,
 // _snapshotValue, _optimisticLane) are NOT part of every node's hidden class —
@@ -62,26 +183,36 @@ const CONFIG_SYNC = 1 << 6;
 // pay one monomorphic masked read and only touch the optional field when its
 // installer flagged it. Bits are STICKY ("may be set") — the guarded field
 // read remains authoritative.
-const CONFIG_OPTIMISTIC = 1 << 7;
-
-const CONFIG_HAS_COMPANIONS = 1 << 8;
-
 const CONFIG_HAS_SNAPSHOT = 1 << 9;
 
-const CONFIG_HAS_LANE = 1 << 10;
-
-/** Set on a FIREWALL computed when any of its child signals creates an
- * isPending()/latest() companion. Gates the post-recompute child-companion
- * walk (#3038): a store computed's `_child` chain holds one node per
- * materialized leaf, so walking it unconditionally makes every update cost
- * O(all leaves ever read). Sticky — set at companion creation, never
- * cleared; sync-only apps never set it and never pay the walk. */ const CONFIG_CHILD_COMPANIONS = 1 << 11;
-
-/** Set on a computed when its first firewall child signal is installed
- * (projection machinery). Gates markNode's firewall-children walk with one
- * masked read of the always-present _config — the walk's old `_child` read
- * moved into the cold extension (§12), and an unconditional `_x` deref per
- * marked node measurably taxed the propagation hot path (diamond -22%). */ const CONFIG_FW_CHILDREN = 1 << 12;
+/** Fresh-pull reader (awaitable `refresh()`'s waiter effect): a read of a
+ * dirty source recomputes it inline even when the height gate defers to the
+ * flush. Closes the same-flush ordering race where a waiter created
+ * alongside a refresh() mark read the PRE-re-ask value as settled and
+ * delivered stale; with the pull, the waiter either parks on the re-ask's
+ * pending window (async — woken by the settle walk, which runs on every
+ * landing including equal-value ones) or serves its sync answer. resolve()
+ * deliberately keeps that race — its contract is "first settled value"
+ * (#2930), not "next quiescent state". */ const CONFIG_FRESH_READ = 1 << 16;
+
+/** A28 (4): the node was written inside a recompute that ran OUTSIDE a flush
+ * (a creation-time compute — boundary machinery, a mapArray's first run). Such
+ * a write is promoted at that recompute's end: readers in the same block see
+ * it. Cleared when the next flush begins; set only on that rare path. */ const CONFIG_PROMOTED = 1 << 22;
+
+/** The frame (rule 3, D-3): a render effect (set at creation, as
+ * `EFFECT_RENDER << 23` — keep the two in step), and a boundary's tree and
+ * output (boundaries.ts) — structure between the content and the render
+ * effect that shows it, not a user derivation of the content. Outside a
+ * hold's own flush it reads that hold's values as committed and is
+ * re-derived at its landing, and a re-pass of it publishes mainline: it
+ * joins nothing, so two mounts under one boundary made in separate flushes
+ * keep their holds apart (D-4, S-5 rows 1′–3′, #4283). */ const CONFIG_FRAME = 1 << 23;
+
+/** The node's last answering pass registered a flight: an async memo. Kept
+ * by the verdict engine alone (verdict.ts `holdWork`), which reads it. */ const CONFIG_ASYNC = 1 << 29;
+
+const STATUS_NONE = 0;
 
 const STATUS_PENDING = 1 << 0;
 
@@ -89,6 +220,13 @@ const STATUS_ERROR = 1 << 1;
 
 const STATUS_UNINITIALIZED = 1 << 2;
 
+/** An error that answered a node's first read (no value has ever landed):
+ * the error, not UNINITIALIZED, is its status while shown, but a re-ask
+ * makes it uninitialized-pending again — it still has no value (#4244). */ const STATUS_NO_VALUE = 1 << 3;
+
+/** `catchHook`'s answer when the catcher is a boundary re-armed by
+ * `on` (truthy, as any catch): what it collects is its own, not the hold's. */ const CAUGHT_REARMED = 2;
+
 const EFFECT_RENDER = 1;
 
 const EFFECT_USER = 2;
@@ -99,22 +237,6 @@ const NOT_PENDING = {};
 
 const NO_SNAPSHOT = {};
 
-/**
- * Stand-in stored in `_overrideValue` for an optimistic write of literal
- * `undefined` (#2898). The slot doubles as the optimistic-node brand
- * (`undefined` = not optimistic, `NOT_PENDING` = at rest), so the raw value
- * would erase the node's optimistic identity: the write turns invisible and
- * follow-up writes route off the optimistic path and commit permanently.
- * Same shape as NO_SNAPSHOT. Sites that surface the override VALUE unwrap
- * via `visibleOverrideValue`; slot identity tests stay raw.
- */ const OVERRIDE_UNDEFINED = {};
-
-/** Unwrap an active override's stored value for surfacing to readers (#2898). */ function unwrapOverride(E) {
-    return E === OVERRIDE_UNDEFINED ? undefined : E;
-}
-
-const STORE_SNAPSHOT_PROPS = "sp";
-
 const SUPPORTS_PROXY = typeof Proxy === "function";
 
 const defaultContext = {};
@@ -127,4 +249,6 @@ const defaultContext = {};
  * @internal
  */ const $REFRESH = Symbol("refresh");
 
-export { $REFRESH, CONFIG_AUTO_DISPOSE, CONFIG_CHILDREN_FORBIDDEN, CONFIG_CHILD_COMPANIONS, CONFIG_FW_CHILDREN, CONFIG_HAS_COMPANIONS, CONFIG_HAS_LANE, CONFIG_HAS_SNAPSHOT, CONFIG_IN_SNAPSHOT_SCOPE, CONFIG_NO_SNAPSHOT, CONFIG_OPTIMISTIC, CONFIG_OWNED_WRITE, CONFIG_SYNC, CONFIG_TRANSPARENT, EFFECT_RENDER, EFFECT_TRACKED, EFFECT_USER, NOT_PENDING, NO_SNAPSHOT, OVERRIDE_UNDEFINED, REACTIVE_CHECK, REACTIVE_DIRTY, REACTIVE_DISPOSED, REACTIVE_IN_HEAP, REACTIVE_IN_HEAP_HEIGHT, REACTIVE_LAZY, REACTIVE_MANUAL_WRITE, REACTIVE_MISSED_WAKE, REACTIVE_NONE, REACTIVE_OPTIMISTIC_DIRTY, REACTIVE_REASK, REACTIVE_RECOMPUTING_DEPS, REACTIVE_SNAPSHOT_STALE, REACTIVE_ZOMBIE, STATUS_ERROR, STATUS_PENDING, STATUS_UNINITIALIZED, STORE_SNAPSHOT_PROPS, SUPPORTS_PROXY, defaultContext, unwrapOverride };
+const NewSet = Set;
+
+export { $REFRESH, CAUGHT_REARMED, CONFIG_ASYNC, CONFIG_AUTHORITATIVE, CONFIG_AUTO_DISPOSE, CONFIG_CHILDREN_FORBIDDEN, CONFIG_FRAME, CONFIG_FRESH_READ, CONFIG_GUESS, CONFIG_HAS_SNAPSHOT, CONFIG_HELD, CONFIG_HELD_FRAME, CONFIG_INPUTS_PUBLISHED, CONFIG_IN_SNAPSHOT_SCOPE, CONFIG_LAGS, CONFIG_MANUAL_WRITE, CONFIG_NO_SNAPSHOT, CONFIG_OVERRIDE, CONFIG_OWNED_WRITE, CONFIG_PROMOTED, CONFIG_REDERIVE, CONFIG_SLOT_NODE, CONFIG_STAGED, CONFIG_STAGED_ERROR, CONFIG_SYNC, CONFIG_TRANSPARENT, CONFIG_VERDICT, EFFECT_RENDER, EFFECT_TRACKED, EFFECT_USER, NOT_PENDING, NO_SNAPSHOT, NewSet, REACTIVE_CHECK, REACTIVE_DIRTY, REACTIVE_DISPOSED, REACTIVE_FRAME_READ, REACTIVE_IN_HEAP, REACTIVE_IN_HEAP_HEIGHT, REACTIVE_JOINED, REACTIVE_LANE_DIRTY, REACTIVE_LANE_READ, REACTIVE_LAZY, REACTIVE_MANUAL_WRITE, REACTIVE_MISSED_WAKE, REACTIVE_NONE, REACTIVE_PROBED, REACTIVE_PROBE_UNANSWERED, REACTIVE_REASK, REACTIVE_RECOMPUTING_DEPS, REACTIVE_SCREEN_READ, REACTIVE_SNAPSHOT_STALE, REACTIVE_STAGED_READ, REACTIVE_WINDOW, REACTIVE_ZOMBIE, STATUS_ERROR, STATUS_NONE, STATUS_NO_VALUE, STATUS_PENDING, STATUS_UNINITIALIZED, SUPPORTS_PROXY, defaultContext };

package/dist/prod/core/context.js

@@ -29,11 +29,15 @@ import { getOwner } from "./owner.js";
     if (!t) {
         throw new NoOwnerError;
     }
-    const n = hasContext(e, t) ? t.we[e.id] : e.defaultValue;
-    if (isUndefined(n)) {
+    // `undefined` alone means unset — a provided `null` is a value (no `??`).
+        let r = t.A[e.id];
+    if (r === undefined) r = e.defaultValue;
+    if (r === undefined) {
+        // Dev names the context and why it has no value: no provider, or a
+        // provider that passed `undefined` (the key is set, to `undefined`).
         throw new ContextNotFoundError;
     }
-    return n;
+    return r;
 }
 
 /**
@@ -44,24 +48,16 @@ import { getOwner } from "./owner.js";
  * @throws `NoOwnerError` if there's no owner at the time of call.
  *
  * @internal
- */ function setContext(e, t, n = getOwner()) {
-    if (!n) {
+ */ function setContext(e, t, r = getOwner()) {
+    if (!r) {
         throw new NoOwnerError;
     }
     // We're creating a new object to avoid child context values being exposed to parent owners. If
     // we don't do this, everything will be a singleton and all hell will break lose.
-        n.we = {
-        ...n.we,
-        [e.id]: isUndefined(t) ? e.defaultValue : t
+        r.A = {
+        ...r.A,
+        [e.id]: t === undefined ? e.defaultValue : t
     };
 }
 
-function hasContext(e, t) {
-    return !isUndefined(t?.we[e.id]);
-}
-
-function isUndefined(e) {
-    return typeof e === "undefined";
-}
-
 export { createContext, getContext, setContext };

package/dist/prod/core/copies.js

@@ -0,0 +1,10 @@
+/** @internal Runs `fn` with this copy marked as the one running. */
+function runAsSolidCopy(n) {
+    return n();
+}
+
+/** @internal An ownerless component or context read: warns if another copy is running. */ function checkForeignOwnerless() {
+    return;
+}
+
+export { checkForeignOwnerless, runAsSolidCopy };