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

package/dist/observe/core/scheduler.js

@@ -1,8 +1,10 @@
-import { EFFECT_RENDER, EFFECT_USER, CONFIG_HELD, CONFIG_OVERRIDE, NOT_PENDING, STATUS_UNINITIALIZED, STATUS_PENDING, CONFIG_STAGED, REACTIVE_DISPOSED, REACTIVE_ZOMBIE, CONFIG_VERDICT, CONFIG_HAS_SNAPSHOT, REACTIVE_RECOMPUTING_DEPS, REACTIVE_MISSED_WAKE, CONFIG_IN_SNAPSHOT_SCOPE, REACTIVE_SNAPSHOT_STALE, CONFIG_HELD_FRAME, REACTIVE_LANE_DIRTY, CONFIG_INPUTS_PUBLISHED, EFFECT_TRACKED, REACTIVE_MANUAL_WRITE, CONFIG_GUESS, REACTIVE_FRAME_READ, CONFIG_REDERIVE, STATUS_ERROR } from "./constants.js";
+import { EFFECT_RENDER, EFFECT_USER, CONFIG_HELD, CONFIG_OVERRIDE, NOT_PENDING, STATUS_UNINITIALIZED, STATUS_PENDING, CONFIG_STAGED, REACTIVE_DISPOSED, REACTIVE_ZOMBIE, CONFIG_VERDICT, CONFIG_HAS_SNAPSHOT, REACTIVE_RECOMPUTING_DEPS, REACTIVE_MISSED_WAKE, CONFIG_IN_SNAPSHOT_SCOPE, REACTIVE_SNAPSHOT_STALE, CONFIG_HELD_FRAME, REACTIVE_LANE_DIRTY, CONFIG_STAGED_ERROR, CONFIG_INPUTS_PUBLISHED, STATUS_ERROR, EFFECT_TRACKED, REACTIVE_MANUAL_WRITE, CONFIG_GUESS, REACTIVE_FRAME_READ, CONFIG_REDERIVE } from "./constants.js";
 
 import { attrHooks } from "./attribution-hooks.js";
 
-import { resyncUnflushedCompanions, recompute, markUnflushedStaged, ext } from "./core.js";
+import { notifyStatus } from "./async.js";
+
+import { resyncUnflushedCompanions, isSame, recompute, markUnflushedStaged, ext } from "./core.js";
 
 import { DEV, GRAPH_SIZE_WARN_AT, noteFanOut } from "./dev.js";
 
@@ -12,29 +14,136 @@ import { runHeap, enqueueSub, deleteFromHeap } from "./heap.js";
 
 import { devCheckQuiescent } from "./invariants.js";
 
+// Optional-module hooks: module bindings, not `GlobalQueue` statics, so a
+// bundle that never imports the installing module never assigns them — its
+// minifier folds every guarded call site (and the branch behind it) away.
+// Each module installs its own set at evaluation (pay-for-use).
+// Lanes (lanes.ts; installed when `createOptimistic` — or verdict.ts — is
+// imported; every call site is behind a bit or a `passLane` nothing else sets).
+let laneReadHook = null;
+
+let laneStageHook = null;
+
+let laneOutcomeHook = null;
+
+let laneWriteHook = null;
+
+let applyGuessesHook = null;
+
+let laneSeamsHook = null;
+
+let laneCorrectionsHook = null;
+
+let endLanesHook = null;
+
+let lanesBlockedHook = null;
+
+function installLaneHooks(e, n, o, t, l, s, u, i, r) {
+    laneReadHook = e;
+    laneStageHook = n;
+    laneOutcomeHook = o;
+    laneWriteHook = t;
+    applyGuessesHook = l;
+    laneSeamsHook = s;
+    laneCorrectionsHook = u;
+    endLanesHook = i;
+    lanesBlockedHook = r;
+}
+
+// Boundaries (boundaries.ts): the display consumers between an observer
+// and the root. `catch` — status from a frame reader, nearest boundary
+// first (true: caught, the root never hears of it; a clear — flags 0 —
+// settles the reader there); `fresh` — a pass that read a hold (true: a
+// first pass a loading boundary that has not shown content caught,
+// `joinPass`; `held`: the flush's hold owns it, nothing catches it);
+// `hidden` — a frame reader behind a fallback (the boundary showing it)
+// is not on screen and holds nothing; `boundarySeam` — the seam's sweep (readers
+// gone or settled without a pass reveal; an `on` re-arm resolves);
+// `heldRun` — a queued run under a fallback-showing boundary waits for
+// the reveal (true: held; the boundary re-queues it by type). The
+// synchronous first render on creation builds the subtree, attached or
+// not; its updates and the user effects wait.
+let catchHook = null;
+
+let freshHook = null;
+
+let hiddenHook = null;
+
+let boundarySeamHook = null;
+
+let heldRunHook = null;
+
+function installBoundaryHooks(e, n, o, t, l) {
+    catchHook = e;
+    freshHook = n;
+    hiddenHook = o;
+    boundarySeamHook = t;
+    heldRunHook = l;
+}
+
+/** Store (store/store.ts): `park` — the flush parked into `t`: the store
+ * materializes and holds the container node of every staging that had none
+ * (a staging needs the node as its home only when something can read the
+ * frame through it; a hold can); `commit` — fold the pending backings whose
+ * container nodes this flush committed (the owned-raw model's one mutation
+ * point). */ let storeParkHook = null;
+
+let storeCommitHook = null;
+
+function installStoreHooks(e, n) {
+    storeParkHook = e;
+    storeCommitHook = n;
+}
+
+/** `affects()` marks (affects.ts): the releases at a landing and at the seam
+ * (ambient marks). */ let releaseMarksHook = null;
+
+let releaseAmbientMarksHook = null;
+
+function installMarkHooks(e, n) {
+    releaseMarksHook = e;
+    releaseAmbientMarksHook = n;
+}
+
+/** Verdicts (verdict.ts). */ let observeFlightHook = null;
+
+function installVerdictHooks(e) {
+    observeFlightHook = e;
+}
+
+/** External-source bridge (wired by enableExternalSource(); undefined while
+ * no config is active — including after _resetExternalSourceConfig()). */ let wireExternalSourceHook = undefined;
+
+let externalUntrackHook = undefined;
+
+function setExternalHooks(e, n) {
+    wireExternalSourceHook = e;
+    externalUntrackHook = n;
+}
+
 /** Live transactions — opened, unmerged, not landed. Scanned at every seam
  * while non-empty; nothing on the plain path. */ const transactions = [];
 
 /** Observe tier: this flush parked its transaction (`holdStart` fired). */ let holding = false;
 
 /** A transaction (listed here) or a lane (lanes.ts lists its own). */ function newTransaction(e, n = null) {
-    const t = {
-        Je: [],
-        En: [ [], [] ],
-        an: [],
-        Sn: null,
+    const o = {
+        je: [],
+        un: [ [], [] ],
+        En: [],
+        cn: null,
         _parent: n,
-        B: e,
-        rt: null,
+        V: e,
+        it: null,
         tt: 0,
         nt: false,
-        un: null,
-        Tt: false,
-        fn: false,
-        T: null
+        nn: null,
+        It: false,
+        ln: false,
+        I: null
     };
-    if (!e) transactions.push(t);
-    return t;
+    if (!e) transactions.push(o);
+    return o;
 }
 
 // Lanes (plan sec. 28, 2026-10-02; lanes.ts). A lane is "a new base of a transition":
@@ -78,14 +187,14 @@ function setPassLane(e) {
  * set it. */ let passTx = null;
 
 function joinPassTx(e, n) {
-    if (globalQueue.X && !n || flushTransaction !== null) return joinFuture(e);
+    if (globalQueue.q && !n || flushTransaction !== null) return joinFuture(e);
     if (passTx === null) passTx = resolveTx(e); else merge(resolveTx(e), passTx);
     schedule();
 }
 
 /** The transaction holding a node (CONFIG_HELD set), resolved through
  * merges; the path is compressed. */ function txOf(e) {
-    return e.m._t = resolveTx(e.m._t);
+    return e.T.Je = resolveTx(e.T.Je);
 }
 
 /** `t` resolved through merges while it is still parked or open; null once
@@ -95,7 +204,7 @@ function joinPassTx(e, n) {
 }
 
 function resolveTx(e) {
-    while (e.Sn !== null) e = e.Sn;
+    while (e.cn !== null) e = e.cn;
     return e;
 }
 
@@ -106,7 +215,7 @@ function resolveTx(e) {
     if (n === null) {
         flushTransaction = e === null ? newTransaction(false) : resolveTx(e);
     } else if (e !== null) merge(resolveTx(e), n);
-    if (!globalQueue.X) schedule();
+    if (!globalQueue.q) schedule();
 }
 
 /** `t` merges into `f`: the work that touched both entangles them (A15).
@@ -116,16 +225,16 @@ function resolveTx(e) {
     // into the other would close a cycle `resolveTx` never leaves.
     e = resolveTx(e);
     n = resolveTx(n);
-    if (e === n || e.B || n.B) return;
+    if (e === n || e.V || n.V) return;
     if (attrHooks !== null) attrHooks.transitionMerged(n, e);
-    e.Sn = n;
+    e.cn = n;
     n.tt += e.tt;
     n.nt ||= e.nt;
-    append(n.Je, e.Je);
-    append(n.En[0], e.En[0]);
-    append(n.En[1], e.En[1]);
-    append(n.an, e.an);
-    if (e.T !== null) append(n.T ??= [], e.T);
+    append(n.je, e.je);
+    append(n.un[0], e.un[0]);
+    append(n.un[1], e.un[1]);
+    append(n.En, e.En);
+    if (e.I !== null) append(n.I ??= [], e.I);
     transactions.splice(transactions.indexOf(e), 1);
 }
 
@@ -151,9 +260,9 @@ function resolveTx(e) {
     judge ??= e;
     // An action still running in it holds it open (action.ts). Its lanes
     // (lanes.ts): a lane under `t` blocks it while blocked itself.
-        const t = e.tt !== 0 || blockedBy(e.Je, e) || !!GlobalQueue.dn && GlobalQueue.dn(e);
+        const o = e.tt !== 0 || blockedBy(e.je, e) || !!lanesBlockedHook?.(e);
     judge = n;
-    return t;
+    return o;
 }
 
 let judge = null;
@@ -162,9 +271,9 @@ let judge = null;
  * frame reader observes (`blockedBy`'s predicate, collected; the readers
  * themselves are not sources). */ function blockersOf(e) {
     const n = [];
-    for (let t = 0; t < e.Je.length; t++) {
-        const l = e.Je[t];
-        if (!l.u && l.S & STATUS_PENDING && !(l.R & REACTIVE_DISPOSED) && (l.m._t === null || txOf(l) === e) && blockedBy([ l ], e)) n.push(l);
+    for (let o = 0; o < e.je.length; o++) {
+        const t = e.je[o];
+        if (!t.i && t.m & STATUS_PENDING && !(t.R & REACTIVE_DISPOSED) && (t.T.Je === null || txOf(t) === e) && blockedBy([ t ], e)) n.push(t);
     }
     return n;
 }
@@ -174,33 +283,33 @@ let judge = null;
  * not (lanes.ts, the body-end corollary). A pending reader counts only if
  * one of the sources it waits on is `t`'s (a render effect marked pending
  * by a lane flight, never re-run, is the lane's wait, not the frame's). */ function ownFlights(e) {
-    return blockedBy(e.Je, e, true);
+    return blockedBy(e.je, e, true);
 }
 
 /** A source the pending node waits on that is `t`'s (held by it, or by no
  * one) — not another transaction's or lane's work. Itself, when it is the
  * source. */ function ownSource(e, n) {
-    const t = e.m?.Se;
-    if (t === undefined) return true;
-    for (const e of t) {
-        const t = e.m?._t;
-        if (t == null || resolveTx(t) === n) return true;
+    const o = e.T?.fe;
+    if (o === undefined) return true;
+    for (const e of o) {
+        const o = e.T?.Je;
+        if (o == null || resolveTx(o) === n) return true;
     }
     return false;
 }
 
-function blockedBy(e, n, t = false) {
-    for (let l = 0; l < e.length; l++) {
-        const o = e[l];
-        if (!(o.S & STATUS_PENDING) || o.R & REACTIVE_DISPOSED || o.i & CONFIG_GUESS || o.m._t !== null && txOf(o) !== n || t && !ownSource(o, n)) continue;
+function blockedBy(e, n, o = false) {
+    for (let t = 0; t < e.length; t++) {
+        const l = e[t];
+        if (!(l.m & STATUS_PENDING) || l.R & REACTIVE_DISPOSED || l.l & CONFIG_GUESS || l.T.Je !== null && txOf(l) !== n || o && !ownSource(l, n)) continue;
         // The frame's own pending observer (off screen: this one holds nothing;
         // the next listed node may).
-                if (o.u === EFFECT_RENDER) {
-            if (onScreen(o, judge ?? n)) return true;
+                if (l.i === EFFECT_RENDER) {
+            if (onScreen(l, judge ?? n)) return true;
             continue;
         }
-        for (let e = o.t; e !== null; e = e.o) {
-            const t = e.l;
+        for (let e = l.o; e !== null; e = e.t) {
+            const o = e.u;
             // A frame reader: a render effect, or a stale reader of the flight
             // (REACTIVE_FRAME_READ — a verdict reader, `observeFlight`; lane work,
             // `frameRead`): served committed instead of going pending, it derives
@@ -212,7 +321,7 @@ function blockedBy(e, n, t = 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 ((t.u === EFFECT_RENDER && t.S & STATUS_PENDING || t.R & REACTIVE_FRAME_READ || t.i & CONFIG_REDERIVE && t.S === STATUS_PENDING) && (e.Pe === t.pe || t.m?.F != null) && !(t.R & REACTIVE_DISPOSED) && onScreen(t, 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.Te === o.Ne || o.T?.F != null) && !(o.R & REACTIVE_DISPOSED) && onScreen(o, judge ?? n)) return true;
         }
     }
     return false;
@@ -226,7 +335,7 @@ function blockedBy(e, n, t = false) {
  * makes its say moot), and not behind a fallback (A33: a boundary showing its fallback is the display of
  * everything under it, so a reader there is not on screen and holds
  * nothing — boundaries.ts). */ function onScreen(e, n) {
-    return !(e.R & REACTIVE_ZOMBIE && removalStagedBy(e, n)) && !(GlobalQueue.se && GlobalQueue.se(e));
+    return !(e.R & REACTIVE_ZOMBIE && removalStagedBy(e, n)) && !hiddenHook?.(e);
 }
 
 /** A15 (#3463): a reader whose removal is staged — a zombie, parked by a
@@ -235,9 +344,9 @@ function blockedBy(e, n, t = false) {
  * (done, and the commit disposes it; not done, and it stays parked). The
  * staging transaction is the one holding the pass that parked the frame:
  * the nearest non-zombie ancestor. */ function removalStagedBy(e, n) {
-    let t = e;
-    while (t !== null && t.R & REACTIVE_ZOMBIE) t = t._parent;
-    return t !== null && (t.i & CONFIG_HELD) !== 0 && t.m?._t != null && txOf(t) === resolveTx(n);
+    let o = e;
+    while (o?.R & REACTIVE_ZOMBIE) o = o._parent;
+    return o?.l & CONFIG_HELD && o.T?.Je != null && txOf(o) === resolveTx(n);
 }
 
 /** Unchanged passes this flush whose stale dependency tail awaits the
@@ -264,17 +373,17 @@ function deferZombie(e) {
 
 /** Put a staged node in a transaction: flagged, stamped, on its landing
  * list. */ function holdNode(e, n) {
-    e.i |= CONFIG_HELD;
+    e.l |= CONFIG_HELD;
     list(e, n);
 }
 
 /** Put a node on a transaction's list, once: a node's `_transaction` is the
  * transaction whose `_nodes` it is on (every site that sets one does the
  * other), so a re-pass, a re-landing or a re-staging adds nothing. */ function list(e, n) {
-    const t = ext(e);
-    if (t._t === n) return;
-    t._t = n;
-    n.Je.push(e);
+    const o = ext(e);
+    if (o.Je === n) return;
+    o.Je = n;
+    n.je.push(e);
 }
 
 /** Hold the (uncommitted) frame under a held pass: every computed in the
@@ -290,21 +399,34 @@ 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 t = e.nn; t !== null; t = t.tn) {
-        if (t.m?._t?.B) continue;
-        if (t.ee !== undefined) {
-            if (!(t.i & CONFIG_HELD)) holdNode(t, n);
-            t.i |= CONFIG_HELD_FRAME;
+    for (let o = e.ze; o !== null; o = o.Xe) {
+        if (o.T?.Je?.V) continue;
+        if (o.X !== undefined) {
+            if (!(o.l & CONFIG_HELD)) holdNode(o, n);
+            o.l |= CONFIG_HELD_FRAME;
         }
-        holdFrame(t, n);
+        holdFrame(o, n);
+    }
+}
+
+/** 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.ze; t !== null; t = t.Xe) {
+        if ((t.l & (CONFIG_HELD | CONFIG_OVERRIDE)) === CONFIG_HELD && txOf(t) !== n) o(t);
+        heldUnder(t, n, o);
     }
 }
 
+/** `n` leaves the hold it was staged in: its next pass publishes mainline. */ function unhold(e) {
+    e.T.Je = null;
+    e.l &= ~CONFIG_HELD;
+}
+
 const dirtyQueue = {
-    jt: new Array(2e3).fill(undefined),
-    N: false,
-    ut: 0,
-    Kt: 0
+    gt: new Array(2e3).fill(undefined),
+    p: false,
+    st: 0,
+    jt: 0
 };
 
 let clock = 0;
@@ -367,7 +489,7 @@ function schedule() {
     }
     if (scheduled) return;
     scheduled = true;
-    if (!syncDepth && !globalQueue.X) {
+    if (!syncDepth && !globalQueue.q) {
         queueMicrotask(flush);
     }
 }
@@ -398,9 +520,9 @@ function haltReactivity(e) {
     // nothing an app or its telemetry can act on (#3338 — an uncaught throw
     // during the hydration render). The rethrow may reach the top as well in
     // the non-swallowed cases; a duplicate report beats a silent one.
-        const t = e !== undefined && globalThis.reportError;
-    t || e === undefined ? console.error(n) : console.error(n, e);
-    t && t(e);
+        const o = e !== undefined && globalThis.reportError;
+    o || e === undefined ? console.error(n) : console.error(n, e);
+    o && o(e);
 }
 
 // Logs on the first write after a halt so a frozen interaction is traceable.
@@ -416,11 +538,11 @@ function notifyHalted() {
 }
 
 class GlobalQueue {
-    En=[ [], [] ];
-    X=false;
+    un=[ [], [] ];
+    q=false;
     flush() {
-        if (this.X) return;
-        this.X = true;
+        if (this.q) return;
+        this.q = true;
         // A28: companions of nodes written since the last flush mirror the
         // flushed world — re-synced inside the running window (the write is
         // "flushed" from here on).
@@ -433,12 +555,12 @@ class GlobalQueue {
             // recomputed; late subscribers (an effect reading a swept memo this
             // flush) revive it, which is the pay-for-use contract.
             sweepDormant();
-            runHeap(dirtyQueue, GlobalQueue.et);
+            runHeap(dirtyQueue, GlobalQueue.Ze);
             this.settle();
             clock++;
             // A write the commit sweep staged with no subscriber to dirty is work
             // too — the next round commits it.
-                        scheduled = dirtyQueue.Kt >= dirtyQueue.ut || pendingNodes.length !== 0;
+                        scheduled = dirtyQueue.jt >= dirtyQueue.st || pendingNodes.length !== 0;
             this.run(EFFECT_RENDER);
             this.run(EFFECT_USER);
             if (true && holding) {
@@ -448,7 +570,7 @@ class GlobalQueue {
             if (false && !scheduled) ;
             if (false) ;
         } finally {
-            this.X = false;
+            this.q = false;
             passTx = null;
         }
     }
@@ -461,7 +583,7 @@ class GlobalQueue {
         // Lanes: an ended action body judges its guesses now that their passes
         // have run (lanes.ts); a correction's re-derivations run in one more
         // pure round — the parent's flights before the parent is judged below.
-        if (GlobalQueue.On?.()) runHeap(dirtyQueue, GlobalQueue.et);
+        if (laneCorrectionsHook?.()) runHeap(dirtyQueue, GlobalQueue.Ze);
         const e = flushTransaction;
         flushTransaction = null;
         // The frame's verdict is in: the guesses written since the last seam
@@ -469,21 +591,21 @@ class GlobalQueue {
         // parents a nested lane to it), or are dropped — the frame commits, and
         // there is nothing to be optimistic over. Their passes run next round;
         // a parent landing at this very seam ends the lane before they do.
-                GlobalQueue.Gn?.(e);
+                applyGuessesHook?.(e);
         // 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.B ? resolveTx(e) : null;
+                const n = e !== null && !e.V ? resolveTx(e) : null;
         if (n !== null) {
             // `t._nodes` grows under the walk (holdFrame pushes); the bound is
             // this flush's list, which does not.
             const e = pendingNodes.length;
-            for (let t = 0; t < e; t++) {
-                const e = pendingNodes[t];
+            for (let o = 0; o < e; o++) {
+                const e = pendingNodes[o];
                 // 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.i & (CONFIG_HELD | CONFIG_OVERRIDE)) && (e.m === null || e.m._t === null || !e.m._t.B)) {
+                                if (!(e.l & (CONFIG_HELD | CONFIG_OVERRIDE)) && (e.T === null || e.T.Je === null || !e.T.Je.V)) {
                     // 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
@@ -492,15 +614,19 @@ 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.Oe === NOT_PENDING && e.S & STATUS_UNINITIALIZED && e.u !== EFFECT_RENDER) continue;
+                    if (e.ue === 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.Oe !== NOT_PENDING && !(e.S & (STATUS_PENDING | STATUS_UNINITIALIZED)) && e.en && e.en(e.Ae, e.Oe) && e.m?.St == null && e.m?.ct == null) {
-                        e.Oe = NOT_PENDING;
-                        e.i &= ~CONFIG_STAGED;
+                                        if (e.ue !== NOT_PENDING && !(e.m & (STATUS_PENDING | STATUS_UNINITIALIZED)) && e.T?.Nt == null && e.T?.ft == 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.ue)) {
+                        e.ue = NOT_PENDING;
+                        e.l &= ~CONFIG_STAGED;
                         continue;
                     }
                     holdNode(e, n);
@@ -508,10 +634,10 @@ class GlobalQueue {
                 // A held pass's frame is held with it (ruling A, O2): the children it
                 // created are the transaction's — they compute, and a pass over them
                 // or a write that reaches them joins; they effect at the landing.
-                                if (e.i & CONFIG_STAGED) holdFrame(e, n);
+                                if (e.l & CONFIG_STAGED) holdFrame(e, n);
             }
             pendingNodes.length = 0;
-            GlobalQueue.An?.(n);
+            storeParkHook?.(n);
             // (This flush's runs are stashed with `t` below — after the landings,
             // so a `t` that lands at this very seam runs them first, ahead of
             // the runs it held from earlier flushes.)
@@ -521,8 +647,12 @@ class GlobalQueue {
             // through like the same read outside): it re-runs now, as the
             // holder's verdict lane's work — before the lane seams, which reveal
             // it (nothing commits this seam that could dispose it).
-                        const t = deferredZombies.splice(0).sort((e, n) => e.it - n.it);
-            for (let e = 0; e < t.length; e++) if ((t[e].R & (REACTIVE_DISPOSED | REACTIVE_ZOMBIE)) === REACTIVE_ZOMBIE && t[e].i & CONFIG_VERDICT) recompute(t[e]);
+            // (Verdict readers exist only with the verdict engine installed.)
+                        const o = deferredZombies.splice(0);
+            if (observeFlightHook) {
+                o.sort((e, n) => e.Et - n.Et);
+                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
             // are held, and the committed frame still derives from them — no trim.
                 } else {
@@ -534,7 +664,7 @@ class GlobalQueue {
             // `recompute`'s own gates.
                         for (let e = 0; e < heldTrims.length; e++) {
                 const n = heldTrims[e];
-                if (n.m?.F == null && !n.lt) trimStaleDeps(n);
+                if (n.T?.F == null && !n.Qe) trimStaleDeps(n);
             }
         }
         // The list is the flush's either way. Reset only when there is something
@@ -548,19 +678,21 @@ class GlobalQueue {
         // removes its entry.
         // This flush's own runs, the lanes' reveals, and the landings' held runs
         // are collected apart and ordered below.
-                const t = this.En;
-        const l = this.En = [ [], [] ];
+                const o = this.un;
+        const t = this.un = [ [], [] ];
         // 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).
-                GlobalQueue.cn?.(n !== null ? stagedReaders : null);
-        if (stagedReaders.length) stagedReaders.length = 0;
-        this.En = [ [], [] ];
+                if (laneSeamsHook) {
+            laneSeamsHook(n !== null ? stagedReaders : null);
+            if (stagedReaders.length) stagedReaders.length = 0;
+        }
+        this.un = [ [], [] ];
         for (let e = transactions.length - 1; e >= 0; e--) {
             const n = transactions[e];
             if (blocked(n)) continue;
             transactions.splice(e, 1);
-            GlobalQueue.Tn?.(n);
+            endLanesHook?.(n);
             land(n);
             // A landing's commits can dispose a zombie a transaction judged above
             // was blocked on (#3463: live "until the commit that disposes it") —
@@ -569,13 +701,13 @@ class GlobalQueue {
         }
         // The store folds the pending backings whose container nodes committed
         // — this flush's, or a landing's (store/store.ts installs it).
-                GlobalQueue.Rn?.();
+                storeCommitHook?.();
         // Marks declared outside a transaction: the flush that carried them
         // parked (something async below) — the window is the frame's, the marks
         // are its transaction's; else they release at the seam, verdict-only,
         // nothing to show (affects.ts).
-                const o = n && liveTx(n);
-        GlobalQueue.A?.(o);
+                const l = n && liveTx(n);
+        releaseAmbientMarksHook?.(l);
         // The effect phase: lane work first (displayed ahead of the frame), then
         // this flush's runs, then the runs the landings held from earlier
         // flushes — as one pass would have queued them (#3540: a shell
@@ -583,48 +715,48 @@ class GlobalQueue {
         // write; #3528: a display-ahead swap before the count it is shown
         // beside). A parked frame's runs wait with its transaction instead: the
         // effect phase applies a committed frame.
-                const u = o !== null;
+                const s = l !== null;
         // Attribution hook: this flush found its transaction incomplete — its
         // writes stay staged, its runs are stashed below. Before the effect
         // phase (the lanes' display-ahead runs are the visible acknowledgers);
         // `holdEnd` fires after it (`flush`).
-                if (u && attrHooks !== null) {
-            attrHooks.holdStart(o);
+                if (s && attrHooks !== null) {
+            attrHooks.holdStart(l);
             holding = true;
         }
         for (let e = 0; e < 2; e++) {
-            if (u) append(o.En[e], t[e]);
+            if (s) append(l.un[e], o[e]);
             // The plain flush — no reveal, no landing, not parked — has nothing to
             // order around its own runs: they are the queue as they stand (the
             // same array, not a copy; `run` takes it whole). Every other seam
             // builds the ordered queue above.
-                        this.En[e] = u || l[e].length || this.En[e].length ? l[e].concat(u ? [] : t[e], this.En[e]) : t[e];
+                        this.un[e] = s || t[e].length || this.un[e].length ? t[e].concat(s ? [] : o[e], this.un[e]) : o[e];
         }
         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.it - n.it);
+            const e = deferredZombies.splice(0).sort((e, n) => e.Et - n.Et);
             for (let n = 0; n < e.length; n++) {
                 if (!(e[n].R & REACTIVE_DISPOSED)) recompute(e[n]);
             }
         }
         // Boundaries: readers that settled, landed or died this flush are
         // dropped; a fallback with none left reveals next round.
-                GlobalQueue.ce?.();
+                boundarySeamHook?.();
     }
     run(e) {
-        const n = this.En[e - 1];
+        const n = this.un[e - 1];
         if (n.length) {
-            this.En[e - 1] = [];
+            this.un[e - 1] = [];
             runQueue(n, e);
         }
     }
-    enqueue(e, n, t = passLane) {
+    enqueue(e, n, o = passLane) {
         // Lane work's runs are the lane's: they run at its reveal, not with
         // the frame (which may park). A lane pass that read the frame's own
         // staging is the frame's (`recompute` passes null): its run waits with
         // the frame.
-        if (e) (t !== null ? t : this).En[e - 1].push(n);
+        if (e) (o !== null ? o : this).un[e - 1].push(n);
         schedule();
     }
     /** Status reaching the root: pending is absorbed (the root mount defers —
@@ -640,10 +772,10 @@ class GlobalQueue {
      *
      * A boundary between the observer and the root (boundaries.ts) is asked
      * first: a fallback catches what is not ready under it, and the root
-     * never hears of it. */    notify(e, n, t, l) {
-        if (GlobalQueue.ie && GlobalQueue.ie(e, t & n, l)) return true;
+     * never hears of it. */    notify(e, n, o, t) {
+        if (catchHook?.(e, o & n, t)) return true;
         if (n & STATUS_PENDING) {
-            if (t & STATUS_PENDING) {
+            if (o & STATUS_PENDING) {
                 // A pass that went pending holds its frame: the async's own
                 // synchronous frame is not ready (A15 reveal corollary: a reveal
                 // that discovers a flight whose inputs are visible holds and joins
@@ -675,23 +807,23 @@ class GlobalQueue {
  * 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.an.length; n++) {
-        const t = e.an[n];
+    for (let n = 0; n < e.En.length; n++) {
+        const o = e.En[n];
         // 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 (t.R & REACTIVE_DISPOSED || t.S & STATUS_ERROR) continue;
-        if (t.R & REACTIVE_FRAME_READ || t.i & CONFIG_VERDICT) {
-            t.R &= ~REACTIVE_FRAME_READ;
-            t.lt = false;
+                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.Qe = 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 = t.nn; e !== null; e = e.tn) if (e.u) e.lt = false;
-            enqueueSub(t);
+                        for (let e = o.ze; e !== null; e = e.Xe) if (e.i) e.Qe = false;
+            enqueueSub(o);
         }
     }
-    e.an.length = 0;
+    e.En.length = 0;
 }
 
 /** The landing: the held frame becomes the frame. */ function land(e) {
@@ -699,16 +831,20 @@ class GlobalQueue {
     // (`_nodes` still lists them).
     if (attrHooks !== null) attrHooks.transitionSettled(e);
     reruns(e);
-    if (e.T !== null) GlobalQueue.k(e.T);
+    if (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.
-        for (let n = 0; n < e.Je.length; n++) {
-        const t = e.Je[n];
-        if (t.m._t === null || txOf(t) !== e) continue;
-        t.m._t = null;
-        commitPendingNode(t);
+        for (let n = 0; n < e.je.length; n++) {
+        const o = e.je[n];
+        if (o.T.Je === null || txOf(o) !== e) continue;
+        o.T.Je = null;
+        commitPendingNode(o);
     }
+    // A cleanup those commits ran that wrote a node `u` still held joined
+    // `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);
 }
 
@@ -717,13 +853,13 @@ class GlobalQueue {
  * pass would have queued them — a shell re-derived at the landing before a
  * boundary swap held since the write (#3540's log order). */ function releaseQueues(e) {
     for (let n = 0; n < 2; n++) {
-        append(globalQueue.En[n], e.En[n]);
-        e.En[n] = [];
+        append(globalQueue.un[n], e.un[n]);
+        e.un[n] = [];
     }
 }
 
 /** `a.push(...b)` without the argument-count limit. */ function append(e, n) {
-    for (let t = 0; t < n.length; t++) e.push(n[t]);
+    for (let o = 0; o < n.length; o++) e.push(n[o]);
 }
 
 /** Nodes staged this flush (`_pendingValue` set), committed at its end. */ const pendingNodes = [];
@@ -738,13 +874,13 @@ class GlobalQueue {
  * after `t`'s landing (`_reruns`). Once per pass. */ function staleReader(e, n) {
     if (!(e.R & REACTIVE_FRAME_READ)) {
         e.R |= REACTIVE_FRAME_READ;
-        n.an.push(e);
+        n.En.push(e);
     }
 }
 
 function queuePendingNode(e) {
     pendingNodes.push(e);
-    if (!globalQueue.X) markUnflushedStaged();
+    if (!globalQueue.q) markUnflushedStaged();
  // A28
 }
 
@@ -760,18 +896,18 @@ function bumpNotifyEpoch() {
 function insertSubs(e) {
     // §12d: stamp before walking — setSignal's staged-rewrite fast path skips
     // the next walk for this node while the epoch holds (marking is idempotent).
-    e.Pt = notifyEpoch;
+    e.Ot = notifyEpoch;
     // Presence bits gate the optional-slot probes (see constants.ts): one
     // masked read of the always-present _config instead of missing-property
     // lookups in the hottest notify loop.
-        const n = e.i;
-    const t = (n & CONFIG_HAS_SNAPSHOT) !== 0 && e.m?.ot !== undefined;
+        const n = e.l;
+    const o = (n & CONFIG_HAS_SNAPSHOT) !== 0 && e.T?.lt !== undefined;
     // Observe-tier fan-out: this walk visits every subscriber edge anyway, so
     // the graph-size count is one local increment here and no field anywhere.
-        let l = 0;
-    for (let n = e.t; n !== null; n = n.o) {
-        const e = n.l;
-        l++;
+        let t = 0;
+    for (let n = e.o; n !== null; n = n.t) {
+        const e = n.u;
+        t++;
         // Missed-wake latch (#3037): this write is landing while the subscriber
         // is mid-recompute (a nested pull committing beneath its reads), and the
         // heap refuses RECOMPUTING nodes. A gen-current link means the pass
@@ -780,14 +916,14 @@ 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.Pe === e.pe && n !== e.p) e.R |= REACTIVE_MISSED_WAKE;
-        if (t && e.i & CONFIG_IN_SNAPSHOT_SCOPE) {
+                if (e.R & REACTIVE_RECOMPUTING_DEPS && n.Te === e.Ne && n !== e._) e.R |= REACTIVE_MISSED_WAKE;
+        if (o && e.l & CONFIG_IN_SNAPSHOT_SCOPE) {
             e.R |= REACTIVE_SNAPSHOT_STALE;
             continue;
         }
         enqueueSub(e);
     }
-    if (l >= GRAPH_SIZE_WARN_AT) noteFanOut(e, l);
+    if (t >= GRAPH_SIZE_WARN_AT) noteFanOut(e, t);
 }
 
 /** Lane work re-staged (lanes.ts; `recompute`): the lane's members among
@@ -798,14 +934,14 @@ function insertSubs(e) {
  * is a live write if the effect becomes a zombie later this flush — an
  * on-screen reader whose removal an adopted write stages follows the lane
  * (the lane-membership ruling, 2026-10-05; `_update`). */ function laneDirty(e, n) {
-    for (let t = e.t; t !== null; t = t.o) {
-        const e = t.l.m?._t;
-        if (e?.B ? sameLane(e, n) : t.l.u) t.l.R |= REACTIVE_LANE_DIRTY;
+    for (let o = e.o; o !== null; o = o.t) {
+        const e = o.u.T?.Je;
+        if (e?.V ? sameLane(e, n) : o.u.i) o.u.R |= REACTIVE_LANE_DIRTY;
     }
 }
 
 /** One lane, or two of one link group (#3335): one reveal unit. */ function sameLane(e, n) {
-    return e === n || e.un !== null && e.un === n.un;
+    return e === n || e.nn !== null && e.nn === n.nn;
 }
 
 function commitPendingNode(e) {
@@ -815,40 +951,52 @@ function commitPendingNode(e) {
     // staged) stays uncommitted: a re-pass disposes its children on the spot,
     // and the frame it parked stays the frame until a pass of this node
     // commits a value.
-        if (!n.ee) {
-        e.i &= -385;
-        if (e.Oe !== NOT_PENDING) {
-            e.Ae = e.Oe;
-            e.Oe = NOT_PENDING;
+        if (!n.X) {
+        e.l &= -385;
+        if (e.ue !== NOT_PENDING) {
+            e.Ie = e.ue;
+            e.ue = 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 t = e.Oe === NOT_PENDING && (n.S & STATUS_PENDING) !== 0;
-    e.i = t ? e.i & -1048833 | CONFIG_INPUTS_PUBLISHED : e.i & -1049985;
-    if (e.Oe !== NOT_PENDING) {
-        e.Ae = e.Oe;
-        e.Oe = NOT_PENDING;
+        const o = e.ue === 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;
+    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.ue;
+        e.ue = NOT_PENDING;
+        e.ie = clock + 1;
+        notifyStatus(n, STATUS_ERROR, o);
+    } else if (e.ue !== NOT_PENDING) {
+        e.Ie = e.ue;
+        e.ue = NOT_PENDING;
         // A node born staged (recompute) initializes at this commit.
-                n.S &= ~STATUS_UNINITIALIZED;
+                n.m &= ~STATUS_UNINITIALIZED;
         // A quiet re-ask's classification survives its landing and dies with
         // the landed value's commit (A19 exc. 2, #3178): verdict-quiet through
         // the reveal. (The sweep of a node still in flight is not a landing.)
         // The A28 stash goes with it.
-                if (n.m != null) n.m.It = false, n.m.ht = NOT_PENDING;
+                if (n.T != null) n.T.ut = false, n.T.Gt = NOT_PENDING;
         // An effect with a staged value was born held (L2): its first run is
         // this commit's, not its creation's (A29) — queue it now.
-                if (e.u && e.u !== EFFECT_TRACKED) {
-            e.lt = true;
-            globalQueue.enqueue(e.u, e.Y ??= GlobalQueue.q.bind(null, n));
+                if (e.i && e.i !== EFFECT_TRACKED) {
+            e.Qe = true;
+            globalQueue.enqueue(e.i, e.W ??= GlobalQueue.K.bind(null, n));
         }
     }
     // The committed value is the first observable answer for a loading-window
     // node — the window closes here, not at compute time (#2990). Unconditional
     // store to an always-present computed slot.
-        n.De = false;
+        n.ce = false;
     n.R &= ~REACTIVE_MANUAL_WRITE;
     // The dependencies of the pass that produced the value are the frame's now:
     // the previous frame's tail goes (A30, #3410; `recompute` left it for a
@@ -856,11 +1004,11 @@ 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.m?.F == null) trimStaleDeps(n);
-    if (!(n.S & STATUS_PENDING)) n.S &= ~STATUS_UNINITIALIZED;
+        if (n.T?.F == 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.
-        if (!t && n.m != null && (n.m.St !== null || n.m.ct !== null)) GlobalQueue.Et(n, false, true);
+        if (!o && n.T != null && (n.T.Nt !== null || n.T.ft !== null)) GlobalQueue.et(n, false, true);
 }
 
 function commitPendingNodes() {
@@ -869,7 +1017,7 @@ function commitPendingNodes() {
         // A node a lane pass re-staged this round is the lane's to reveal; one
         // a transaction holds (born held by a mainline pass, `passTx`) is that
         // transaction's to commit, at its landing.
-                if (!(n.i & (CONFIG_OVERRIDE | CONFIG_HELD))) commitPendingNode(n);
+                if (!(n.l & (CONFIG_OVERRIDE | CONFIG_HELD))) commitPendingNode(n);
     }
     pendingNodes.length = 0;
 }
@@ -894,7 +1042,7 @@ function flush(e) {
             }
         }
     }
-    if (globalQueue.X) {
+    if (globalQueue.q) {
         return;
     }
     if (halted) return;
@@ -918,7 +1066,7 @@ function flush(e) {
 }
 
 function runQueue(e, n) {
-    for (let t = 0; t < e.length; t++) e[t](n);
+    for (let o = 0; o < e.length; o++) e[o](n);
 }
 
-export { GlobalQueue, MAINLINE_QUESTION, ROOT_ERROR_HOOK, actionDepth, blocked, blockersOf, bumpNotifyEpoch, clock, commitPendingNode, deferZombie, dirtyQueue, enforceLoadingBoundary, enterAction, exitAction, flush, flushTransaction, globalQueue, haltReactivity, heldTrim, holdNode, insertSubs, joinFuture, joinPassTx, laneDirty, list, liveTx, merge, newTransaction, nextQuestion, notifyEpoch, ownFlights, passLane, passTx, question, queuePendingNode, releaseQueues, reruns, resetErrorHalt, resolveTx, sameLane, schedule, setPassLane, setQuestion, stagedReaders, staleReader, txOf };
+export { GlobalQueue, MAINLINE_QUESTION, ROOT_ERROR_HOOK, actionDepth, applyGuessesHook, blocked, blockersOf, boundarySeamHook, bumpNotifyEpoch, catchHook, clock, commitPendingNode, deferZombie, dirtyQueue, endLanesHook, enforceLoadingBoundary, enterAction, exitAction, externalUntrackHook, flush, flushTransaction, freshHook, globalQueue, haltReactivity, 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 };