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

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,138 @@ import { runHeap, enqueueSub, deleteFromHeap } from "./heap.js";
 
 import { devCheckQuiescent } from "./invariants.js";
 
+import { rethrowCleanupError } from "./owner.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, o, n, t, l, s, u, r, i) {
+    laneReadHook = e;
+    laneStageHook = o;
+    laneOutcomeHook = n;
+    laneWriteHook = t;
+    applyGuessesHook = l;
+    laneSeamsHook = s;
+    laneCorrectionsHook = u;
+    endLanesHook = r;
+    lanesBlockedHook = i;
+}
+
+// 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, o, n, t, l) {
+    catchHook = e;
+    freshHook = o;
+    hiddenHook = n;
+    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, o) {
+    storeParkHook = e;
+    storeCommitHook = o;
+}
+
+/** `affects()` marks (affects.ts): the releases at a landing and at the seam
+ * (ambient marks). */ let releaseMarksHook = null;
+
+let releaseAmbientMarksHook = null;
+
+function installMarkHooks(e, o) {
+    releaseMarksHook = e;
+    releaseAmbientMarksHook = o;
+}
+
+/** 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, o) {
+    wireExternalSourceHook = e;
+    externalUntrackHook = o;
+}
+
 /** 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,
-        _parent: n,
-        B: e,
-        rt: null,
+/** A transaction (listed here) or a lane (lanes.ts lists its own). */ function newTransaction(e, o = null) {
+    const n = {
+        je: [],
+        un: [ [], [] ],
+        En: [],
+        eo: null,
+        _parent: o,
+        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(n);
+    return n;
 }
 
 // Lanes (plan sec. 28, 2026-10-02; lanes.ts). A lane is "a new base of a transition":
@@ -77,15 +188,15 @@ function setPassLane(e) {
  * Cleared by the flush the join schedules, and at the end of a flush that
  * set it. */ let passTx = null;
 
-function joinPassTx(e, n) {
-    if (globalQueue.X && !n || flushTransaction !== null) return joinFuture(e);
+function joinPassTx(e, o) {
+    if (globalQueue.q && !o || 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,37 +206,37 @@ function joinPassTx(e, n) {
 }
 
 function resolveTx(e) {
-    while (e.Sn !== null) e = e.Sn;
+    while (e.eo !== null) e = e.eo;
     return e;
 }
 
 /** The flush joins transaction `t` — or needs one of its own (`null`: a pass
  * went pending with nothing held). Joining a second one merges it into the
  * flush's: the work that touched both entangles them (A15). */ function joinFuture(e) {
-    const n = flushTransaction;
-    if (n === null) {
+    const o = flushTransaction;
+    if (o === null) {
         flushTransaction = e === null ? newTransaction(false) : resolveTx(e);
-    } else if (e !== null) merge(resolveTx(e), n);
-    if (!globalQueue.X) schedule();
+    } else if (e !== null) merge(resolveTx(e), o);
+    if (!globalQueue.q) schedule();
 }
 
 /** `t` merges into `f`: the work that touched both entangles them (A15).
  * A lane never merges: it is a sub-frame, not a peer — its work is routed
- * per pass (`passLane`). */ function merge(e, n) {
+ * per pass (`passLane`). */ function merge(e, o) {
     // Both ends resolved: a stale pointer to a transaction already merged
     // 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 (attrHooks !== null) attrHooks.transitionMerged(n, e);
-    e.Sn = 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);
+    o = resolveTx(o);
+    if (e === o || e.V || o.V) return;
+    if (attrHooks !== null) attrHooks.transitionMerged(o, e);
+    e.eo = o;
+    o.tt += e.tt;
+    o.nt ||= e.nt;
+    append(o.je, e.je);
+    append(o.un[0], e.un[0]);
+    append(o.un[1], e.un[1]);
+    append(o.En, e.En);
+    if (e.I !== null) append(o.I ??= [], e.I);
     transactions.splice(transactions.indexOf(e), 1);
 }
 
@@ -147,13 +258,13 @@ function resolveTx(e) {
  * in for the flight (A17: "visible until its own fetch settles"). */ function blocked(e) {
     // The transaction being judged (a lane consulted on its behalf judges for
     // it): a zombie whose removal it stages is moot for it alone (`onScreen`).
-    const n = judge;
+    const o = judge;
     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);
-    judge = n;
-    return t;
+        const n = e.tt !== 0 || blockedBy(e.je, e) || !!lanesBlockedHook?.(e);
+    judge = o;
+    return n;
 }
 
 let judge = null;
@@ -161,12 +272,12 @@ let judge = null;
 /** Observe tier: the flights `t` waits on — its pending held sources a
  * 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);
+    const o = [];
+    for (let n = 0; n < e.je.length; n++) {
+        const t = e.je[n];
+        if (!t.i && t.m & STATUS_PENDING && !(t.R & REACTIVE_DISPOSED) && (t.T.Je === null || txOf(t) === e) && blockedBy([ t ], e)) o.push(t);
     }
-    return n;
+    return o;
 }
 
 /** `t`'s own flights only — not its lanes': a flight the frame asked for
@@ -174,33 +285,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;
+ * source. */ function ownSource(e, o) {
+    const n = e.T?.fe;
+    if (n === undefined) return true;
+    for (const e of n) {
+        const n = e.T?.Je;
+        if (n == null || resolveTx(n) === o) 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, o, n = 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) !== o || n && !ownSource(l, o)) 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 ?? o)) 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 n = 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 +323,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 ((n.i === EFFECT_RENDER && n.m & STATUS_PENDING || n.R & REACTIVE_FRAME_READ || n.l & CONFIG_REDERIVE && n.m === STATUS_PENDING) && (e.Te === n.Ne || n.T?.F != null) && !(n.R & REACTIVE_DISPOSED) && onScreen(n, judge ?? o)) return true;
         }
     }
     return false;
@@ -225,8 +336,8 @@ function blockedBy(e, n, t = false) {
  * is visible, a lane's reveal included: only the commit that disposes it
  * 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));
+ * nothing — boundaries.ts). */ function onScreen(e, o) {
+    return !(e.R & REACTIVE_ZOMBIE && removalStagedBy(e, o)) && !hiddenHook?.(e);
 }
 
 /** A15 (#3463): a reader whose removal is staged — a zombie, parked by a
@@ -234,10 +345,10 @@ function blockedBy(e, n, t = false) {
  * except the transaction staging its removal: for that one its say is moot
  * (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);
+ * the nearest non-zombie ancestor. */ function removalStagedBy(e, o) {
+    let n = e;
+    while (n?.R & REACTIVE_ZOMBIE) n = n._parent;
+    return n?.l & CONFIG_HELD && n.T?.Je != null && txOf(n) === resolveTx(o);
 }
 
 /** Unchanged passes this flush whose stale dependency tail awaits the
@@ -263,18 +374,18 @@ function deferZombie(e) {
 }
 
 /** Put a staged node in a transaction: flagged, stamped, on its landing
- * list. */ function holdNode(e, n) {
-    e.i |= CONFIG_HELD;
-    list(e, n);
+ * list. */ function holdNode(e, o) {
+    e.l |= CONFIG_HELD;
+    list(e, o);
 }
 
 /** 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);
+ * other), so a re-pass, a re-landing or a re-staging adds nothing. */ function list(e, o) {
+    const n = ext(e);
+    if (n.Je === o) return;
+    n.Je = o;
+    o.je.push(e);
 }
 
 /** Hold the (uncommitted) frame under a held pass: every computed in the
@@ -289,22 +400,35 @@ function deferZombie(e) {
  * and `dissolveLane` no longer finds it — a lane node with no lane, which the
  * 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;
+ * retired at the lane's seam. */ function holdFrame(e, o) {
+    for (let n = e.ze; n !== null; n = n.Xe) {
+        if (n.T?.Je?.V) continue;
+        if (n.X !== undefined) {
+            if (!(n.l & CONFIG_HELD)) holdNode(n, o);
+            n.l |= CONFIG_HELD_FRAME;
         }
-        holdFrame(t, n);
+        holdFrame(n, o);
     }
 }
 
+/** 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, o, n) {
+    for (let t = e.ze; t !== null; t = t.Xe) {
+        if ((t.l & (CONFIG_HELD | CONFIG_OVERRIDE)) === CONFIG_HELD && txOf(t) !== o) n(t);
+        heldUnder(t, o, n);
+    }
+}
+
+/** `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 +491,7 @@ function schedule() {
     }
     if (scheduled) return;
     scheduled = true;
-    if (!syncDepth && !globalQueue.X) {
+    if (!syncDepth && !globalQueue.q) {
         queueMicrotask(flush);
     }
 }
@@ -388,7 +512,9 @@ function schedule() {
 function haltReactivity(e) {
     if (halted) return;
     halted = true;
-    let n = "[REACTIVITY_HALTED]";
+    // A cleanup error collected before the halt is dropped (owner.ts).
+        rethrowCleanupError(true);
+    let o = "[REACTIVITY_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.
@@ -398,9 +524,18 @@ 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 n = e !== undefined && globalThis.reportError;
+    n || e === undefined ? console.error(o) : console.error(o, e);
+    n && n(e);
+}
+
+/**
+ * Dev: `haltReactivity`, located at `subject` — the computation the uncaught
+ * error escaped from — for the REACTIVITY_HALTED message's owner path. Call
+ * sites pick it in dev builds only (`haltReactivity(e)` in production), so
+ * production keeps the one-argument halt and its bytes unchanged.
+ */ function haltReactivityAt(e, o) {
+    haltReactivity(e);
 }
 
 // Logs on the first write after a halt so a frozen interaction is traceable.
@@ -416,11 +551,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 +568,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 +583,7 @@ class GlobalQueue {
             if (false && !scheduled) ;
             if (false) ;
         } finally {
-            this.X = false;
+            this.q = false;
             passTx = null;
         }
     }
@@ -461,7 +596,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 +604,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;
-        if (n !== null) {
+                const o = e !== null && !e.V ? resolveTx(e) : null;
+        if (o !== 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 n = 0; n < e; n++) {
+                const e = pendingNodes[n];
                 // 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,26 +627,30 @@ 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);
+                    holdNode(e, o);
                 }
                 // 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, o);
             }
             pendingNodes.length = 0;
-            GlobalQueue.An?.(n);
+            storeParkHook?.(o);
             // (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 +660,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 n = deferredZombies.splice(0);
+            if (observeFlightHook) {
+                n.sort((e, o) => e.Et - o.Et);
+                for (let e = 0; e < n.length; e++) if ((n[e].R & (REACTIVE_DISPOSED | REACTIVE_ZOMBIE)) === REACTIVE_ZOMBIE && n[e].l & CONFIG_VERDICT) recompute(n[e]);
+            }
             // The unchanged passes' tails stay linked (A30, #3469): their inputs
             // are held, and the committed frame still derives from them — no trim.
                 } else {
@@ -533,8 +676,8 @@ class GlobalQueue {
             // left an effect owing a run (`runEffect` trims when the run applies):
             // `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);
+                const o = heldTrims[e];
+                if (o.T?.F == null && !o.Qe) trimStaleDeps(o);
             }
         }
         // The list is the flush's either way. Reset only when there is something
@@ -548,20 +691,22 @@ 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 n = 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(o !== 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;
+            const o = transactions[e];
+            if (blocked(o)) continue;
             transactions.splice(e, 1);
-            GlobalQueue.Tn?.(n);
-            land(n);
+            endLanesHook?.(o);
+            land(o);
             // A landing's commits can dispose a zombie a transaction judged above
             // was blocked on (#3463: live "until the commit that disposes it") —
             // judge them again.
@@ -569,13 +714,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 = o && liveTx(o);
+        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 +728,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], n[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 ? [] : n[e], this.un[e]) : n[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);
-            for (let n = 0; n < e.length; n++) {
-                if (!(e[n].R & REACTIVE_DISPOSED)) recompute(e[n]);
+            const e = deferredZombies.splice(0).sort((e, o) => e.Et - o.Et);
+            for (let o = 0; o < e.length; o++) {
+                if (!(e[o].R & REACTIVE_DISPOSED)) recompute(e[o]);
             }
         }
         // 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];
-        if (n.length) {
-            this.En[e - 1] = [];
-            runQueue(n, e);
+        const o = this.un[e - 1];
+        if (o.length) {
+            this.un[e - 1] = [];
+            runQueue(o, e);
         }
     }
-    enqueue(e, n, t = passLane) {
+    enqueue(e, o, n = 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) (n !== null ? n : this).un[e - 1].push(o);
         schedule();
     }
     /** Status reaching the root: pending is absorbed (the root mount defers —
@@ -640,10 +785,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;
-        if (n & STATUS_PENDING) {
-            if (t & STATUS_PENDING) {
+     * never hears of it. */    notify(e, o, n, t) {
+        if (catchHook?.(e, n & o, t)) return true;
+        if (o & STATUS_PENDING) {
+            if (n & 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 +820,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 o = 0; o < e.En.length; o++) {
+        const n = 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 (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 (n.R & REACTIVE_DISPOSED || n.m & STATUS_ERROR) continue;
+        if (n.R & REACTIVE_FRAME_READ || n.l & CONFIG_VERDICT) {
+            n.R &= ~REACTIVE_FRAME_READ;
+            n.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 = n.ze; e !== null; e = e.Xe) if (e.i) e.Qe = false;
+            enqueueSub(n);
         }
     }
-    e.an.length = 0;
+    e.En.length = 0;
 }
 
 /** The landing: the held frame becomes the frame. */ function land(e) {
@@ -699,16 +844,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 o = 0; o < e.je.length; o++) {
+        const n = e.je[o];
+        if (n.T.Je === null || txOf(n) !== e) continue;
+        n.T.Je = null;
+        commitPendingNode(n);
     }
+    // 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);
 }
 
@@ -716,14 +865,14 @@ class GlobalQueue {
  * landing's re-passes, in height order): the frame's effects run as one
  * 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] = [];
+    for (let o = 0; o < 2; o++) {
+        append(globalQueue.un[o], e.un[o]);
+        e.un[o] = [];
     }
 }
 
-/** `a.push(...b)` without the argument-count limit. */ function append(e, n) {
-    for (let t = 0; t < n.length; t++) e.push(n[t]);
+/** `a.push(...b)` without the argument-count limit. */ function append(e, o) {
+    for (let n = 0; n < o.length; n++) e.push(o[n]);
 }
 
 /** Nodes staged this flush (`_pendingValue` set), committed at its end. */ const pendingNodes = [];
@@ -735,16 +884,16 @@ class GlobalQueue {
 
 /** A15's stale reader: `c` was served the committed value of a node `t`
  * holds (a render effect, a verdict reader, lane work) and is re-derived
- * after `t`'s landing (`_reruns`). Once per pass. */ function staleReader(e, n) {
+ * after `t`'s landing (`_reruns`). Once per pass. */ function staleReader(e, o) {
     if (!(e.R & REACTIVE_FRAME_READ)) {
         e.R |= REACTIVE_FRAME_READ;
-        n.an.push(e);
+        o.En.push(e);
     }
 }
 
 function queuePendingNode(e) {
     pendingNodes.push(e);
-    if (!globalQueue.X) markUnflushedStaged();
+    if (!globalQueue.q) markUnflushedStaged();
  // A28
 }
 
@@ -760,18 +909,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 o = e.l;
+    const n = (o & 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 o = e.o; o !== null; o = o.t) {
+        const e = o.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 +929,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 && o.Te === e.Ne && o !== e._) e.R |= REACTIVE_MISSED_WAKE;
+        if (n && 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
@@ -797,79 +946,91 @@ function insertSubs(e) {
  * inert for its pass (`recompute` seats a lane only from its own `_x`), it
  * 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;
+ * (the lane-membership ruling, 2026-10-05; `_update`). */ function laneDirty(e, o) {
+    for (let n = e.o; n !== null; n = n.t) {
+        const e = n.u.T?.Je;
+        if (e?.V ? sameLane(e, o) : n.u.i) n.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;
+/** One lane, or two of one link group (#3335): one reveal unit. */ function sameLane(e, o) {
+    return e === o || e.nn !== null && e.nn === o.nn;
 }
 
 function commitPendingNode(e) {
-    const n = e;
+    const o = e;
     // L2: the commit is where a pass, held or not, stops being uncommitted —
     // unless it has no answer yet. A pass still in flight (pending, nothing
     // 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 (!o.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 n = e.ue === NOT_PENDING && (o.m & STATUS_PENDING) !== 0;
+    const t = e.l & CONFIG_STAGED_ERROR;
+    // An answer commits: the error it replaces leaves the display (D-41).
+        if (!n && o.T) o.T.de = undefined;
+    e.l = n ? 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 n = e.ue;
+        e.ue = NOT_PENDING;
+        e.ie = clock + 1;
+        notifyStatus(o, STATUS_ERROR, n);
+    } 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;
+                o.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 (o.T != null) o.T.ut = false, o.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, o));
         }
     }
     // 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.R &= ~REACTIVE_MANUAL_WRITE;
+        o.ce = false;
+    o.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
     // staged pass). Only after a clean pass: `_error` is cleared by a clean
     // 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 (o.T?.F == null) trimStaleDeps(o);
+    if (!(o.m & STATUS_PENDING)) o.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 (!n && o.T != null && (o.T.Nt !== null || o.T.ft !== null)) GlobalQueue.et(o, false, true);
 }
 
 function commitPendingNodes() {
     for (let e = 0; e < pendingNodes.length; e++) {
-        const n = pendingNodes[e];
+        const o = pendingNodes[e];
         // 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 (!(o.l & (CONFIG_OVERRIDE | CONFIG_HELD))) commitPendingNode(o);
     }
     pendingNodes.length = 0;
 }
@@ -894,31 +1055,34 @@ function flush(e) {
             }
         }
     }
-    if (globalQueue.X) {
+    if (globalQueue.q) {
         return;
     }
     if (halted) return;
     // Attribution: whether this call drained anything, so `flushEnd` fires once
     // per real drain and never for a no-op call. The declaration is dead in
     // prod (its only write is behind true) and rollup drops it.
-        let n = false;
+        let o = false;
     // The drain's opening instant, under the loop's own condition so it fires
     // exactly when `flushEnd` below will. Outside every try (see the rule in
     // attribution-hooks.ts).
         if (attrHooks !== null && scheduled) attrHooks.flushStart();
     while (scheduled) {
         globalQueue.flush();
-        n = true;
+        o = true;
     }
     // Outside every try in this function (see the rule in attribution-hooks.ts):
     // the drain loop above is the one place all scheduled work funnels through,
     // so this is the "committed and effects ran" instant for everything the
     // loop processed.
-        if (n && attrHooks !== null) attrHooks.flushEnd();
+        if (o && attrHooks !== null) attrHooks.flushEnd();
+    // A cleanup that threw during the drain, now that the drain is complete
+    // (owner.ts).
+        rethrowCleanupError();
 }
 
-function runQueue(e, n) {
-    for (let t = 0; t < e.length; t++) e[t](n);
+function runQueue(e, o) {
+    for (let n = 0; n < e.length; n++) e[n](o);
 }
 
-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, 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 };