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

package/dist/prod/core/scheduler.js

@@ -135,12 +135,12 @@ function setExternalHooks(e, n) {
         En: [],
         cn: null,
         _parent: n,
-        v: e,
-        he: null,
+        P: e,
+        Pe: null,
         tt: 0,
         nt: false,
         en: null,
-        ke: false,
+        ge: false,
         ln: false,
         I: null
     };
@@ -227,7 +227,7 @@ function resolveTx(e) {
     // into the other would close a cycle `resolveTx` never leaves.
     e = resolveTx(e);
     n = resolveTx(n);
-    if (e === n || e.v || n.v) return;
+    if (e === n || e.P || n.P) return;
     e.cn = n;
     n.tt += e.tt;
     n.nt ||= e.nt;
@@ -311,7 +311,7 @@ function blockedBy(e, n, o = false) {
             // lane-membership ruling, 2026-10-05). An output that never committed
             // shows nothing — a mount the frame has not revealed — and holds
             // nothing.
-                        if ((o.i === EFFECT_RENDER && o.m & STATUS_PENDING || o.R & REACTIVE_FRAME_READ || o.l & CONFIG_REDERIVE && o.m === STATUS_PENDING) && (e.Te === o.Ne || o.T?.F != null) && !(o.R & REACTIVE_DISPOSED) && onScreen(o, judge ?? n)) return true;
+                        if ((o.i === EFFECT_RENDER && o.m & STATUS_PENDING || o.R & REACTIVE_FRAME_READ || o.l & CONFIG_REDERIVE && o.m === STATUS_PENDING) && (e.de === o.Ne || o.T?.U != null) && !(o.R & REACTIVE_DISPOSED) && onScreen(o, judge ?? n)) return true;
         }
     }
     return false;
@@ -389,8 +389,8 @@ function deferZombie(e) {
  * next read of it trips over (`laneRead` → `txOf`). Its frame is the lane's
  * too (ruling A: a lane pass's children are the lane's), revealed and
  * retired at the lane's seam. */ function holdFrame(e, n) {
-    for (let o = e.De; o !== null; o = o.pe) {
-        if (o.T?.Re?.v) continue;
+    for (let o = e.pe; o !== null; o = o.Ge) {
+        if (o.T?.Re?.P) continue;
         if (o.X !== undefined) {
             if (!(o.l & CONFIG_HELD)) holdNode(o, n);
             o.l |= CONFIG_HELD_FRAME;
@@ -401,7 +401,7 @@ function deferZombie(e) {
 
 /** The nodes under `owner` a transaction other than `t` holds (boundaries.ts:
  * what an earlier hold staged under a re-armed boundary). */ function heldUnder(e, n, o) {
-    for (let t = e.De; t !== null; t = t.pe) {
+    for (let t = e.pe; t !== null; t = t.Ge) {
         if ((t.l & (CONFIG_HELD | CONFIG_OVERRIDE)) === CONFIG_HELD && txOf(t) !== n) o(t);
         heldUnder(t, n, o);
     }
@@ -415,7 +415,7 @@ function deferZombie(e) {
 const dirtyQueue = {
     $e: new Array(2e3).fill(undefined),
     p: false,
-    Ge: 0,
+    Fe: 0,
     et: 0
 };
 
@@ -497,12 +497,14 @@ function schedule() {
  * hook machinery (pay-for-use).
  */ const ROOT_ERROR_HOOK = Symbol.for("solid-js/root-error-hook");
 
+const HALTED = "[REACTIVITY_HALTED]";
+
 function haltReactivity(e) {
     if (halted) return;
     halted = true;
     // A cleanup error collected before the halt is dropped (owner.ts).
         rethrowCleanupError(true);
-    let n = "[REACTIVITY_HALTED]";
+    let n = HALTED;
     // Surface the cause here too: callers rethrow it, but a creation-time throw
     // unwinds through ancestor recomputes that convert it to status instead of
     // surfacing it (#2884), so the rethrow alone cannot guarantee visibility.
@@ -530,7 +532,7 @@ function haltReactivity(e) {
 function notifyHalted() {
     if (haltNotified) return;
     haltNotified = true;
-    console.error("[REACTIVITY_HALTED]");
+    console.error(HALTED);
 }
 
 /** @internal Test/dev-reload hook. Revives scheduling after a halt. */ function resetErrorHalt() {
@@ -561,7 +563,7 @@ class GlobalQueue {
             clock++;
             // A write the commit sweep staged with no subscriber to dirty is work
             // too — the next round commits it.
-                        scheduled = dirtyQueue.et >= dirtyQueue.Ge || pendingNodes.length !== 0;
+                        scheduled = dirtyQueue.et >= dirtyQueue.Fe || pendingNodes.length !== 0;
             this.run(EFFECT_RENDER);
             this.run(EFFECT_USER);
             if (false && holding) ;
@@ -593,7 +595,7 @@ class GlobalQueue {
         // A lane's own flush (its flight landing, its reveal) parks nothing: the
         // lane's work reached it per pass; the frame's plain writes commit.
         // (Resolved: a guess over another transaction's guess merged them.)
-                const n = e !== null && !e.v ? resolveTx(e) : null;
+                const n = e !== null && !e.P ? resolveTx(e) : null;
         if (n !== null) {
             // `t._nodes` grows under the walk (holdFrame pushes); the bound is
             // this flush's list, which does not.
@@ -603,7 +605,7 @@ class GlobalQueue {
                 // Already held: the pass that re-staged it joined its transaction,
                 // which is `t` (or merged into it). Lane work is the lane's (a
                 // pending mark propagated onto it queued it here too).
-                                if (!(e.l & (CONFIG_HELD | CONFIG_OVERRIDE)) && (e.T === null || e.T.Re === null || !e.T.Re.v)) {
+                                if (!(e.l & (CONFIG_HELD | CONFIG_OVERRIDE)) && (e.T === null || e.T.Re === null || !e.T.Re.P)) {
                     // A loading source — pending with nothing staged and no committed
                     // value (A16, A19 exc. 1: uninitialized is loading, not pending)
                     // that is not an observer — is nobody's frame: not held. Its
@@ -612,18 +614,18 @@ class GlobalQueue {
                     // stale stamp was the bridge that entangled unrelated updates
                     // with a never-resolving flight). Its observers are held and
                     // wait on its flight (`blocked`).
-                    if (e.se === NOT_PENDING && e.m & STATUS_UNINITIALIZED && e.i !== EFFECT_RENDER) continue;
+                    if (e.ie === NOT_PENDING && e.m & STATUS_UNINITIALIZED && e.i !== EFFECT_RENDER) continue;
                     // A34 (2): a tick whose writes net to the committed value made no
                     // proposal (`setShow(false); setShow(true)` on a committed true) —
                     // not staged, not held, pends nothing; a later write to it is
                     // plain mainline. (A node already held stays held when written
                     // back: A34 (1).)
-                                        if (e.se !== NOT_PENDING && !(e.m & (STATUS_PENDING | STATUS_UNINITIALIZED)) && e.T?.Ue == null && e.T?.me == null && 
+                                        if (e.ie !== NOT_PENDING && !(e.m & (STATUS_PENDING | STATUS_UNINITIALIZED)) && e.T?.Ue == null && e.T?.me == null && 
                     // The comparator last: a pass that created children (an object
                     // owning a fresh async memo, #4111) must not have it read them.
                     // A NotReady read there is a change (`isSame`).
-                    isSame(e, e.Ie, e.se)) {
-                        e.se = NOT_PENDING;
+                    isSame(e, e.le, e.ie)) {
+                        e.ie = NOT_PENDING;
                         e.l &= ~CONFIG_STAGED;
                         continue;
                     }
@@ -648,7 +650,7 @@ class GlobalQueue {
             // (Verdict readers exist only with the verdict engine installed.)
                         const o = deferredZombies.splice(0);
             if (observeFlightHook) {
-                o.sort((e, n) => e.Fe - n.Fe);
+                o.sort((e, n) => e.he - n.he);
                 for (let e = 0; e < o.length; e++) if ((o[e].R & (REACTIVE_DISPOSED | REACTIVE_ZOMBIE)) === REACTIVE_ZOMBIE && o[e].l & CONFIG_VERDICT) recompute(o[e]);
             }
             // The unchanged passes' tails stay linked (A30, #3469): their inputs
@@ -662,7 +664,7 @@ class GlobalQueue {
             // `recompute`'s own gates.
                         for (let e = 0; e < heldTrims.length; e++) {
                 const n = heldTrims[e];
-                if (n.T?.F == null && !n.Ae) trimStaleDeps(n);
+                if (n.T?.U == null && !n.Ae) trimStaleDeps(n);
             }
         }
         // The list is the flush's either way. Reset only when there is something
@@ -677,11 +679,12 @@ class GlobalQueue {
         // This flush's own runs, the lanes' reveals, and the landings' held runs
         // are collected apart and ordered below.
                 const o = this.un;
-        const t = this.un = [ [], [] ];
+        const t = [ [], [] ];
         // The passes that read this frame's stagings as the screen read held
         // writes if it parked: the lane seam re-derives them on the committed
         // world (a lane's runs wait this round).
                 if (laneSeamsHook) {
+            this.un = t;
             laneSeamsHook(n !== null ? stagedReaders : null);
             if (stagedReaders.length) stagedReaders.length = 0;
         }
@@ -725,7 +728,7 @@ class GlobalQueue {
         if (deferredZombies.length !== 0) {
             // Survivors are the displayed frame of a held pass: they rerun for the
             // live write, parents before children.
-            const e = deferredZombies.splice(0).sort((e, n) => e.Fe - n.Fe);
+            const e = deferredZombies.splice(0).sort((e, n) => e.he - n.he);
             for (let n = 0; n < e.length; n++) {
                 if (!(e[n].R & REACTIVE_DISPOSED)) recompute(e[n]);
             }
@@ -796,29 +799,32 @@ class GlobalQueue {
  * or without the held read) owes nothing. A run this transaction stashed
  * for it is void (#3322: an effect has one value slot, and the stale pass
  * overwrote the value that run was for) — the re-derivation's run replaces
- * it. */ function reruns(e) {
-    for (let n = 0; n < e.En.length; n++) {
-        const o = e.En[n];
+ * it. Truthy when an effect re-derives (`land`). */ function reruns(e) {
+    let n;
+    for (let o = 0; o < e.En.length; o++) {
+        const t = e.En[o];
         // An errored reader's display is its error (D-39): the landing gives it
         // nothing to re-derive, and a re-run would be a read that retries the
         // errored source (#3945).
-                if (o.R & REACTIVE_DISPOSED || o.m & STATUS_ERROR) continue;
-        if (o.R & REACTIVE_FRAME_READ || o.l & CONFIG_VERDICT) {
-            o.R &= ~REACTIVE_FRAME_READ;
-            o.Ae = false;
+                if (t.R & REACTIVE_DISPOSED || t.m & STATUS_ERROR) continue;
+        if (t.R & REACTIVE_FRAME_READ || t.l & CONFIG_VERDICT) {
+            n ||= t.i;
+            t.R &= ~REACTIVE_FRAME_READ;
+            t.Ae = false;
             // Its frame is replaced by the re-derivation: a run one of its
             // children queued this flush (re-run by the same landing) is for the
             // frame being replaced — void too (#3404).
-                        for (let e = o.De; e !== null; e = e.pe) if (e.i) e.Ae = false;
-            enqueueSub(o);
+                        for (let e = t.pe; e !== null; e = e.Ge) if (e.i) e.Ae = false;
+            enqueueSub(t);
         }
     }
     e.En.length = 0;
+    return n;
 }
 
 /** The landing: the held frame becomes the frame. */ function land(e) {
-    reruns(e);
-    if (e.I !== null) releaseMarksHook(e.I);
+    const n = reruns(e);
+    if (releaseMarksHook && e.I !== null) releaseMarksHook(e.I);
     // Old children die in the commits (cleanups first), then the stashed
     // effects run ahead of this flush's own. A node a lane took over since
     // (a guess written over the staged truth) is the lane's to land.
@@ -832,7 +838,15 @@ class GlobalQueue {
     // `u`, which has left `transactions`: the write is this landing's, and
     // the next flush must not park in it (#4089).
         if (flushTransaction === e) flushTransaction = null;
-    releaseQueues(e);
+    // An effect re-derives next round (`reruns`): the held runs wait for it
+    // (D-9, the A15 reveal corollary, #4071). Its re-derivation can discover a
+    // flight — a stale reader whose mainline pass stopped reading it, now
+    // reading the landed world — and a landing that showed its runs first
+    // would reveal the held write beside a frame that can only show its old
+    // value. Queued last in this effect phase, the release hands them to the
+    // next round's own runs, ahead of the re-derivation's: they show with it,
+    // or park with it in the hold its pending opens. The commits stand.
+        if (n) globalQueue.un[1].push(() => releaseQueues(e)); else releaseQueues(e);
 }
 
 /** The held runs join this flush's effect phase after its own runs (the
@@ -888,7 +902,7 @@ function insertSubs(e) {
     // masked read of the always-present _config instead of missing-property
     // lookups in the hottest notify loop.
         const n = e.l;
-    const o = (n & CONFIG_HAS_SNAPSHOT) !== 0 && e.T?.Pe !== undefined;
+    const o = (n & CONFIG_HAS_SNAPSHOT) !== 0 && e.T?.De !== undefined;
     for (let n = e.o; n !== null; n = n.t) {
         const e = n.u;
         // Missed-wake latch (#3037): this write is landing while the subscriber
@@ -899,7 +913,7 @@ function insertSubs(e) {
         // pass either re-reads them fresh or trims them), and neither does the
         // tail link: it is the read IN FLIGHT — read() links before it pulls, so
         // this very commit is what that read returns.
-                if (e.R & REACTIVE_RECOMPUTING_DEPS && n.Te === e.Ne && n !== e._) e.R |= REACTIVE_MISSED_WAKE;
+                if (e.R & REACTIVE_RECOMPUTING_DEPS && n.de === e.Ne && n !== e._) e.R |= REACTIVE_MISSED_WAKE;
         if (o && e.l & CONFIG_IN_SNAPSHOT_SCOPE) {
             e.R |= REACTIVE_SNAPSHOT_STALE;
             continue;
@@ -918,7 +932,7 @@ function insertSubs(e) {
  * (the lane-membership ruling, 2026-10-05; `_update`). */ function laneDirty(e, n) {
     for (let o = e.o; o !== null; o = o.t) {
         const e = o.u.T?.Re;
-        if (e?.v ? sameLane(e, n) : o.u.i) o.u.R |= REACTIVE_LANE_DIRTY;
+        if (e?.P ? sameLane(e, n) : o.u.i) o.u.R |= REACTIVE_LANE_DIRTY;
     }
 }
 
@@ -935,32 +949,32 @@ function commitPendingNode(e) {
     // commits a value.
         if (!n.X) {
         e.l &= -385;
-        if (e.se !== NOT_PENDING) {
-            e.Ie = e.se;
-            e.se = NOT_PENDING;
+        if (e.ie !== NOT_PENDING) {
+            e.le = e.ie;
+            e.ie = NOT_PENDING;
         }
         return;
     }
     // Computeds only from here (`_statusFlags` is not a signal field). A
     // commit beneath a flight publishes its inputs (A15 reveal corollary,
     // #3305): a reveal of it must observe, not show the pre-flight value.
-        const o = e.se === NOT_PENDING && (n.m & STATUS_PENDING) !== 0;
+        const o = e.ie === NOT_PENDING && (n.m & STATUS_PENDING) !== 0;
     const t = e.l & CONFIG_STAGED_ERROR;
     // An answer commits: the error it replaces leaves the display (D-41).
-        if (!o && n.T) n.T.de = undefined;
+        if (!o && n.T) n.T.Ie = undefined;
     e.l = o ? e.l & -1048833 | CONFIG_INPUTS_PUBLISHED : e.l & -3147137;
     // D-41: the staged answer is an error — published now, when a value would
     // show, through the ordinary error path (`stageError`). Its readers first
     // see it in the cycle after this seam: a tracked re-read there is not a
     // retry (`read`), or a boundary re-derived by it would retry it forever.
         if (t) {
-        const o = e.se;
-        e.se = NOT_PENDING;
-        e.ie = clock + 1;
+        const o = e.ie;
+        e.ie = NOT_PENDING;
+        e.Se = clock + 1;
         notifyStatus(n, STATUS_ERROR, o);
-    } else if (e.se !== NOT_PENDING) {
-        e.Ie = e.se;
-        e.se = NOT_PENDING;
+    } else if (e.ie !== NOT_PENDING) {
+        e.le = e.ie;
+        e.ie = NOT_PENDING;
         // A node born staged (recompute) initializes at this commit.
                 n.m &= ~STATUS_UNINITIALIZED;
         // A quiet re-ask's classification survives its landing and dies with
@@ -986,7 +1000,7 @@ function commitPendingNode(e) {
     // pass or by the node's own landing (whose pass was clean), so a set
     // `_error` means the last pass threw, kept its full list, and `_depsTail`
     // marks where it stopped.
-        if (n.T?.F == null) trimStaleDeps(n);
+        if (n.T?.U == null) trimStaleDeps(n);
     if (!(n.m & STATUS_PENDING)) n.m &= ~STATUS_UNINITIALIZED;
     // L2: the children this commit publishes are the frame's now — the frame
     // they replace, parked by the pass (`recompute`), goes.
@@ -1040,4 +1054,4 @@ function runQueue(e, n) {
     for (let o = 0; o < e.length; o++) e[o](n);
 }
 
-export { GlobalQueue, MAINLINE_QUESTION, ROOT_ERROR_HOOK, actionDepth, applyGuessesHook, blocked, boundarySeamHook, bumpNotifyEpoch, catchHook, clock, commitPendingNode, deferZombie, dirtyQueue, endLanesHook, enforceLoadingBoundary, enterAction, exitAction, externalUntrackHook, flush, flushTransaction, freshHook, globalQueue, haltReactivity, haltReactivityAt, heldRunHook, heldTrim, heldUnder, hiddenHook, holdNode, insertSubs, installBoundaryHooks, installLaneHooks, installMarkHooks, installStoreHooks, installVerdictHooks, joinFuture, joinPassTx, laneCorrectionsHook, laneDirty, laneOutcomeHook, laneReadHook, laneSeamsHook, laneStageHook, laneWriteHook, lanesBlockedHook, list, liveTx, merge, newTransaction, nextQuestion, notifyEpoch, observeFlightHook, ownFlights, passLane, passTx, question, queuePendingNode, releaseAmbientMarksHook, releaseMarksHook, releaseQueues, reruns, resetErrorHalt, resolveTx, sameLane, schedule, setExternalHooks, setPassLane, setQuestion, stagedReaders, staleReader, storeCommitHook, storeParkHook, txOf, unhold, wireExternalSourceHook };
+export { GlobalQueue, MAINLINE_QUESTION, ROOT_ERROR_HOOK, actionDepth, applyGuessesHook, blocked, boundarySeamHook, bumpNotifyEpoch, catchHook, clock, commitPendingNode, deferZombie, dirtyQueue, endLanesHook, enforceLoadingBoundary, enterAction, exitAction, externalUntrackHook, flush, flushTransaction, freshHook, globalQueue, haltReactivity, haltReactivityAt, heldRunHook, heldTrim, heldUnder, hiddenHook, holdNode, insertSubs, installBoundaryHooks, installLaneHooks, installMarkHooks, installStoreHooks, installVerdictHooks, joinFuture, joinPassTx, laneCorrectionsHook, laneDirty, laneOutcomeHook, laneReadHook, laneSeamsHook, laneStageHook, laneWriteHook, lanesBlockedHook, list, liveTx, merge, newTransaction, nextQuestion, notifyEpoch, observeFlightHook, ownFlights, passLane, passTx, pendingNodes, question, queuePendingNode, releaseAmbientMarksHook, releaseMarksHook, releaseQueues, reruns, resetErrorHalt, resolveTx, sameLane, schedule, setExternalHooks, setPassLane, setQuestion, stagedReaders, staleReader, storeCommitHook, storeParkHook, txOf, unhold, wireExternalSourceHook };

package/dist/prod/core/truth.js

@@ -12,9 +12,9 @@ import { enqueueSub } from "./heap.js";
  * staging a shown lane holds for its next reveal, else its slot; the
  * committed value while it has none (its first lane pass in flight). */
 function laneValueOf(r) {
-    if (!(r.l & CONFIG_GUESS) && r.se !== NOT_PENDING) return r.se;
-    const t = r.T.v;
-    return t !== NOT_PENDING ? t : r.Ie;
+    if (!(r.l & CONFIG_GUESS) && r.ie !== NOT_PENDING) return r.ie;
+    const t = r.T.P;
+    return t !== NOT_PENDING ? t : r.le;
 }
 
 /** Truth readers (`until`, `refresh`; CONFIG_AUTHORITATIVE) — pay-for-use:
@@ -25,7 +25,7 @@ function laneValueOf(r) {
  * value. */ function truthRead(r) {
     if (truth(r)) return laneValueOf(r);
     if (!(r.l & CONFIG_GUESS)) throw new NotReadyError(null);
-    return r.se !== NOT_PENDING ? r.se : r.Ie;
+    return r.ie !== NOT_PENDING ? r.ie : r.le;
 }
 
 /** A guess confirmed: its lane's truth readers re-read — of the lane's
@@ -36,8 +36,8 @@ function laneValueOf(r) {
 /** A lane node's value is the truth when every guess beneath it is
  * confirmed — its source staged a value equal to the guess — and nothing
  * beneath it is held in the parent: same inputs, same value. */ function truth(r) {
-    if (r.l & CONFIG_GUESS) return r.se !== NOT_PENDING && r.xe && r.xe(r.T.v, r.se);
-    if (r.se !== NOT_PENDING) return;
+    if (r.l & CONFIG_GUESS) return r.ie !== NOT_PENDING && r.xe && r.xe(r.T.P, r.ie);
+    if (r.ie !== NOT_PENDING) return;
     if (r.l & CONFIG_OVERRIDE) for (let t = r.C; t; t = t.G) if (!truth(t.S)) return;
     return 1;
 }

package/dist/prod/core/verdict.js

@@ -157,7 +157,7 @@ let probeFound = false;
  * flight — a staging equal to what is displayed changes nothing when it
  * lands: final now (maintainer, 2026-10-02). */ function heldNotFinal(e) {
     if ((e.m & STATUS_PENDING) !== 0 && !quietPending(e)) return true;
-    return e.se !== NOT_PENDING && !latestActive && !e.T.Ve && !(e.m & STATUS_UNINITIALIZED) && (!!e.T.de || !e.xe || !e.xe(e.Ie, e.se));
+    return e.ie !== NOT_PENDING && !latestActive && !e.T.Ve && !(e.m & STATUS_UNINITIALIZED) && (!!e.T.Ie || !e.xe || !e.xe(e.le, e.ie));
 }
 
 /** `isPending`'s answer for an unheld node whose flight is up (cause ii). */ function pendingVerdict(e, t) {
@@ -256,8 +256,8 @@ let probeFound = false;
 }
 
 /** The staging, or the staged error thrown (D-41). */ function staged(e) {
-    if (e.l & CONFIG_STAGED_ERROR) throw e.se;
-    return e.se;
+    if (e.l & CONFIG_STAGED_ERROR) throw e.ie;
+    return e.ie;
 }
 
 /** `latest()` of a held node: the flushed staging — the proposal — and, for
@@ -317,11 +317,11 @@ let probeFound = false;
         if (i) verdictRead(t, r._parent ?? r);
         const u = (n.m & STATUS_PENDING) !== 0 && !quietPending(n);
         if (e.l & CONFIG_GUESS) {
-            if (probing && (u || e.se !== NOT_PENDING && (!e.xe || !e.xe(e.T.v, e.se)))) probeFound = true;
+            if (probing && (u || e.ie !== NOT_PENDING && (!e.xe || !e.xe(e.T.P, e.ie)))) probeFound = true;
             // A lane a correction folded under (D-34): `latest()` shows the hold's
             // world whole — the truth beneath each guess, else what it covered.
                         if (latestActive && r.folded) return r.folded(null, e);
-            return e.T.v;
+            return e.T.P;
         }
         if (probing && u) probeFound = true;
         return latestActive && !u ? laneValueOf(e) : display(e);
@@ -335,30 +335,30 @@ let probeFound = false;
             // in flight — is a stale reader of the lane (#3460, as `laneRead`): the
             // committed value now, re-derived at the reveal. Not inside a probe:
             // `isPending` is answered below either way.
-                        if (i && !probing && t.i === EFFECT_RENDER && passLane === null && r.he !== null && r.he.ln && flushTransaction !== r) {
-                staleReader(t, r.he);
-                return e.Ie;
+                        if (i && !probing && t.i === EFFECT_RENDER && passLane === null && r.Pe !== null && r.Pe.ln && flushTransaction !== r) {
+                staleReader(t, r.Pe);
+                return e.le;
             }
             if (i) verdictRead(t, r);
             if (probing && heldNotFinal(n)) probeFound = true;
-            if (latestActive && e.se !== NOT_PENDING) {
+            if (latestActive && e.ie !== NOT_PENDING) {
                 // An action body reading another transaction's proposal derives
                 // from it: the two settle as one (A15; posture C, 2026-09-15). An
                 // untracked read elsewhere has no transaction to entangle.
                 if (!i && flushTransaction !== null && !globalQueue.q) joinFuture(txOf(e));
                 return heldLatest(e, i ? t : null);
             }
-            return e.Ie;
+            return e.le;
         }
         // Born into the future: its staging is its only value. It has no
         // committed value, so no verdict: `isPending` reads it as its read does —
         // the owner joins the hold (held with it, or caught by a boundary that
         // has not shown content) and answers for the commit, where it is final.
-                if (e.se !== NOT_PENDING && !(n.m & STATUS_PENDING)) {
+                if (e.ie !== NOT_PENDING && !(n.m & STATUS_PENDING)) {
             if (probing && r) joinPass(t, e);
             return staged(e);
         }
-    } else if (e.se !== NOT_PENDING) {
+    } else if (e.ie !== NOT_PENDING) {
         if (n.m & STATUS_PENDING && !u) pendingVerdict(i ? t : null, n); else if (i && globalQueue.q) provisionalVerdict(t, !latestActive && !u);
         // Outside a flush, the staging is an unflushed write (A28): the probe
         // answers for the flushed world, and watches the seam of the flush that
@@ -373,21 +373,21 @@ let probeFound = false;
             if (globalQueue.q) return staged(e);
             if (t !== null) markLateLinker(t);
         }
-        return e.Ie;
+        return e.le;
     }
     if (n.m & STATUS_PENDING) {
         if (!u) {
             pendingVerdict(i ? t : null, n);
-            return e.Ie;
+            return e.le;
         }
         // As `read()`: an untracked read of a pending node still re-runs its
         // reader when the node settles (a projection's pull reads its firewall
         // untracked, store/store.ts).
                 if (t !== null && !tracking && !spectating && e !== t) link(e, t);
-        throw n.T?.F;
+        throw n.T?.U;
     }
-    if (n.X !== undefined && n.m & STATUS_ERROR) throw n.T.F;
-    return e.Ie;
+    if (n.X !== undefined && n.m & STATUS_ERROR) throw n.T.U;
+    return e.le;
 }
 
 // Installed at module evaluation — present exactly when something imports

package/dist/prod/deferred.js

@@ -121,7 +121,7 @@ GlobalQueue.er = e => lagging.size !== 0 ? lagOf(e, new Set) : undefined;
      * does not replace (D-40) — restaged as the committed value, the hold's
      * readers would re-derive against the old input. */    const serve = e => {
         const r = handleAsync(t, e);
-        return t.l & CONFIG_HELD && t.se !== NOT_PENDING ? t.se : r;
+        return t.l & CONFIG_HELD && t.ie !== NOT_PENDING ? t.ie : r;
     };
     const end = () => t.R & REACTIVE_DISPOSED && land(o);
     return accessor(computed(r => {
@@ -133,49 +133,51 @@ GlobalQueue.er = e => lagging.size !== 0 ? lagOf(e, new Set) : undefined;
         // Sticky, and read before this wrapper ever opens the window itself.
                 const n = l ||= !(t.m & STATUS_UNINITIALIZED) && !t.ce;
         if (n) t.ce = true, t.l |= CONFIG_LAGS;
-        let c;
         try {
-            c = e(r);
+            const t = e(r);
+            if (n && typeof t === "object" && t !== null) {
+                if (isThenable(t)) {
+                    ask(t);
+                    const done = () => land(t, true);
+                    t.then(done, done);
+                    return serve(t);
+                }
+                const e = t[Symbol.asyncIterator];
+                if (e) {
+                    // A stream's flight ends at its first yield (or its end).
+                    const r = e.call(t);
+                    let o = true;
+                    const done = () => land(n, true);
+                    const n = {
+                        // Registered ahead of the engine's own reaction to the same
+                        // promise, as for a plain flight: verdict and value in one flush.
+                        next: e => {
+                            const t = r.next(e);
+                            if (o) {
+                                o = false;
+                                if (isThenable(t)) t.then(done, done); else done();
+                            }
+                            return t;
+                        },
+                        return: e => r.return?.(e) ?? Promise.resolve({
+                            done: true,
+                            value: e
+                        })
+                    };
+                    ask(n);
+                    return serve({
+                        [Symbol.asyncIterator]: () => n
+                    });
+                }
+            }
+            land(o);
+            return t;
         } catch (e) {
             // The wrapping form: an unready source parks the node in the window,
             // and the wait is its flight until the source's settle re-runs it.
-            if (n && e instanceof NotReadyError) ask(e);
+            if (n && e instanceof NotReadyError) ask(e); else land(o);
             throw e;
         }
-        if (n && typeof c === "object" && c !== null) {
-            if (isThenable(c)) {
-                ask(c);
-                const done = () => land(c, true);
-                c.then(done, done);
-                return serve(c);
-            }
-            const e = c[Symbol.asyncIterator];
-            if (e) {
-                // A stream's flight ends at its first yield (or its end).
-                const r = e.call(c);
-                let t = true;
-                const done = () => land(o, true);
-                const o = {
-                    // Registered ahead of the engine's own reaction to the same
-                    // promise, as for a plain flight: verdict and value in one flush.
-                    next: e => {
-                        const o = r.next(e);
-                        if (t) t = false, o.then(done, done);
-                        return o;
-                    },
-                    return: e => r.return?.(e) ?? Promise.resolve({
-                        done: true,
-                        value: e
-                    })
-                };
-                ask(o);
-                return serve({
-                    [Symbol.asyncIterator]: () => o
-                });
-            }
-        }
-        land(o);
-        return c;
     }, r));
 }