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

package/dist/observe/core/truth.js

@@ -0,0 +1,47 @@
+import { CONFIG_GUESS, NOT_PENDING, STATUS_UNINITIALIZED, CONFIG_AUTHORITATIVE, CONFIG_OVERRIDE } from "./constants.js";
+
+import { NotReadyError } from "./error.js";
+
+import { enqueueSub } from "./heap.js";
+
+// Truth reads (`until`, `refresh`; CONFIG_AUTHORITATIVE) over lane nodes.
+// Side-effect free and apart from lanes.ts so a truth reader alone does not
+// retain the lane engine: its reads reach these only through `laneRead`,
+// which exists once something installs lanes (`createOptimistic`, verdicts).
+/** A lane node's current value: its guess, or the latest it derived — the
+ * staging a shown lane holds for its next reveal, else its slot; the
+ * committed value while it has none (its first lane pass in flight) —
+ * NOT_PENDING for a node with no committed value either (born in the lane,
+ * uninitialized: its reads throw NotReady, A7; #4363). */
+function laneValueOf(r) {
+    if (!(r.l & CONFIG_GUESS) && r.ue !== NOT_PENDING) return r.ue;
+    const t = r.T.V;
+    return t !== NOT_PENDING || r.m & STATUS_UNINITIALIZED ? t : r.le;
+}
+
+/** Truth readers (`until`, `refresh`; CONFIG_AUTHORITATIVE) — pay-for-use:
+ * the first one installs these on GlobalQueue (signals.ts `watch`).
+ *
+ * A truth reader's read of a lane node: the lane's value when it is the
+ * truth (#3943), else the truth staged beneath a guess, else the committed
+ * value. */ function truthRead(r) {
+    if (truth(r)) return laneValueOf(r);
+    if (!(r.l & CONFIG_GUESS)) throw new NotReadyError(null);
+    return r.ue !== NOT_PENDING ? r.ue : r.le;
+}
+
+/** A guess confirmed: its lane's truth readers re-read — of the lane's
+ * derivations too, which may be the truth now (#3943). */ function truthConfirmed(r) {
+    for (let t = 0; t < r.Ye.length; t++) for (let e = r.Ye[t].o; e !== null; e = e.t) if (e.u.l & CONFIG_AUTHORITATIVE) enqueueSub(e.u);
+}
+
+/** A lane node's value is the truth when every guess beneath it is
+ * confirmed — its source staged a value equal to the guess — and nothing
+ * beneath it is held in the parent: same inputs, same value. */ function truth(r) {
+    if (r.l & CONFIG_GUESS) return r.ue !== NOT_PENDING && r.je && r.je(r.T.V, r.ue);
+    if (r.ue !== NOT_PENDING) return;
+    if (r.l & CONFIG_OVERRIDE) for (let t = r.C; t; t = t.G) if (!truth(t.S)) return;
+    return 1;
+}
+
+export { laneValueOf, truthConfirmed, truthRead };

package/dist/observe/core/verdict.js

@@ -0,0 +1,470 @@
+import { REACTIVE_PROBED, REACTIVE_WINDOW, CONFIG_VERDICT, CONFIG_ASYNC, CONFIG_CHILDREN_FORBIDDEN, CONFIG_OVERRIDE, STATUS_ERROR, CONFIG_GUESS, STATUS_PENDING, NOT_PENDING, STATUS_UNINITIALIZED, CONFIG_HELD, EFFECT_RENDER, CONFIG_STAGED_ERROR, REACTIVE_STAGED_READ, REACTIVE_PROBE_UNANSWERED, REACTIVE_REASK, CONFIG_INPUTS_PUBLISHED, REACTIVE_JOINED, REACTIVE_LANE_READ } from "./constants.js";
+
+import { context, creatorPass, tracking, creatorReads, setVerdict, verdict, prepareComputed, pullComputed, joinPass, markLateLinker, spectating, unflushedValue, bornInto } from "./core.js";
+
+import "./dev.js";
+
+import { NotReadyError } from "./error.js";
+
+import { link } from "./graph.js";
+
+import { display, verdictLane } from "./lanes.js";
+
+import { installVerdictHooks, GlobalQueue, flushTransaction, txOf, passLane, staleReader, globalQueue, joinFuture, stagedReaders, queuePendingNode, setPassLane } from "./scheduler.js";
+
+import { laneValueOf } from "./truth.js";
+
+// Verdicts (plan sec. 28 replay, 2026-10-02; maintainer, 2026-10-01: verdicts are
+// optimistic state the system supplies). `isPending(fn)` asks whether what
+// `fn` reads is final; `latest(fn)` reads the proposal — the staged write or
+// landing, the lane's value — instead of the screen. A verdict is a guess
+// ("pending, until this lands"; "the proposal is the value") and its readers
+// break out of the hold the way a lane's do: work of the holder's verdict
+// lane (lanes.ts), shown now, re-derived at the landing, ending with it. A
+// verdict reader is a frame reader: its plain reads of held nodes see the
+// screen (core.ts `frameRead`), so `[isPending(x), x()]` never pairs the
+// fresh value with pending (A10).
+/** A verdict reader whose answer this flush could not give yet: the node it
+ * asked about is staged and not held — whether it will be is the seam's
+ * verdict. It read the staging as the screen: if the flush parks it runs
+ * again next round, as lane work that did the same does (`stagedReaders`,
+ * lanes.ts — entering the verdict lane then voids what it staged); if it
+ * commits, the answer stood. */
+function watchVerdict(e, t = false) {
+    if (t) e.R |= REACTIVE_PROBE_UNANSWERED;
+    stagedReaders.push(e);
+}
+
+/** The reading pass is the holder's verdict lane's — unless already lane
+ * work, or already the transaction's (it derives from the future — a held
+ * node's, or the staging of a write this flush may hold — and the verdict
+ * does not rescue it: its result shows at the landing, re-derived). A lane
+ * read, for `recompute`'s tail (REACTIVE_LANE_READ). */ function route(e, t) {
+    if (!passLane && !(e.R & (REACTIVE_JOINED | REACTIVE_STAGED_READ))) setPassLane(verdictLane(t));
+    e.R |= REACTIVE_LANE_READ;
+}
+
+/** A verdict reader served a flight's committed value (the A31 frame-reader
+ * case) still observed the flight — A15's stale reader "derives from the
+ * flight all the same": the frame holds (the flush's transaction opens if
+ * none has, as the throw would have had it), the reader is that
+ * transaction's verdict lane's (shown now, with the flight's verdict), and
+ * re-derives at the landing (REACTIVE_FRAME_READ — which is also what makes
+ * it a blocker of the hold, `blockedBy`; a probe alone is neither). The
+ * hold is on the flight: a reader served committed never goes pending, so
+ * the transaction waits on it only through the flight's node — one that
+ * went pending this flush is queued for the seam to hold; one in the air
+ * from before, held by nobody (a lane's derivation whose lane dissolved at
+ * its parent's landing with the flight still up; a flight nothing displayed,
+ * #3305), is registered by this, its first observer (A15, #3458): queued for
+ * the seam as if it had gone pending here, so the transaction has an entry
+ * for what it now shows a reader of. Held by nothing, it landed at this very
+ * seam and its `_reruns` re-derived the reader into the same observation,
+ * every flush (fuzzer F12). True when the reader is served the committed
+ * value — not over a flight committed beneath inputs already on screen (A15
+ * reveal corollary, #3305): that value would tear against them, and the
+ * reveal observes the flight. Nor for a reader born into the flight's
+ * transaction (`bornInto`, #4010): it has no screen — it waits on the flight
+ * with the rest of its frame. */ function observeFlight(e, t) {
+    if (t.l & CONFIG_INPUTS_PUBLISHED || t.l & CONFIG_HELD && bornInto(e, txOf(t))) return false;
+    if (globalQueue.Y) {
+        joinFuture(null);
+        if (!(t.l & CONFIG_HELD)) queuePendingNode(t);
+        verdictRead(e, flushTransaction, true);
+    }
+    return true;
+}
+
+/** Verdict windows. Inside `latest(fn)` a read of a held node serves the
+ * proposal (above the async, the held write; below it, the committed value
+ * — nothing newer exists) instead of joining or throwing; inside
+ * `isPending(fn)` a read records whether what it saw is final. Either way
+ * the reader breaks out: work of the holder's verdict lane, shown now and
+ * re-derived at the landing. */ let latestActive = false;
+
+let probing = false;
+
+let probeFound = false;
+
+/** A verdict read of a node a transaction (or lane) holds: the reading pass
+ * is the holder's verdict lane's and re-derives at the holder's landing
+ * (`_reruns`, as a stale reader). `isPending` flips at the landing with no
+ * value notifying anyone (a held write's commit; a held landing's): its
+ * reader re-derives there. `latest` shows the proposal that lands — a
+ * rewrite or a landing reaches its reader through the link it holds — so a
+ * re-run would only repeat the frame. */ function verdictRead(e, t, r) {
+    route(e, t);
+    if (r) staleReader(e, t); else if (probing && t.En[t.En.length - 1] !== e) t.En.push(e);
+}
+
+/** A verdict read of a node staged or in flight but not held yet: whether it
+ * will be is the seam's.
+ *
+ * `isPending` asks exactly that — final unless the flush parks — so its
+ * reader cannot be answered before the seam: a flush that has joined a
+ * transaction parks, and the node with it — the reader is that
+ * transaction's verdict lane's now; before anything joined, the reader
+ * watches the seam and runs again if the flush parks (a plain sync write
+ * never glitches it true).
+ *
+ * `latest` has its answer either way — the proposal — but its reader's
+ * membership is the seam's too: the frame opens no transaction for it
+ * (#4365 — one opened for the read alone made a plain read after the window
+ * take it for a hold, `stagedScreen`, and serve the screen beside the
+ * staging in a frame nothing held). The reader watches the seam like a
+ * probe before anything joined: its pass is the frame's, and runs again in
+ * the verdict lane if the flush parks. Once the flush has joined a
+ * transaction, the reader is its verdict lane's at once; a pass that also
+ * read the frame's own stagings plainly (REACTIVE_STAGED_READ) stays the
+ * frame's (`route` does not move it). */ function provisionalVerdict(e, t) {
+    if (flushTransaction) {
+        if (probing && t) probeFound = true;
+        verdictRead(e, flushTransaction);
+        if (probing && e.R & REACTIVE_STAGED_READ) watchVerdict(e);
+        return;
+    }
+    // Before anything joined, a staging that would not be final held has no
+    // answer yet: whatever the seam decides, the pass runs again — a later
+    // plain read of the same pass may route it into the verdict lane
+    // (`observeFlight`), which the seam must not take as this probe's answer.
+    // `latest` opens no transaction for its answer either (#4365): the plain
+    // read of a staging after it took one opened for it for a hold and paired
+    // the staging with the screen, in a frame nothing held. Its pass is the
+    // frame's — whole — and re-derives once if the flush parks (unanswered:
+    // its membership is the seam's, not the transaction it joins).
+        watchVerdict(e, !probing || t);
+}
+
+/** A19 exc. 2 / A24: a flight that re-asks the question already answered
+ * (a `refresh()`, a poll) is quiet; a node pending through others is quiet
+ * when every flight it waits on is. */ function quietPending(e) {
+    const t = e.T;
+    if (!t) return false;
+    if (t.se) {
+        for (const e of t.se) if (!e.T?.ut) return false;
+        return true;
+    }
+    return t.ut;
+}
+
+/** `isPending`'s answer for a held node (A19), relative to what the reader
+ * sees — a verdict reader is a frame reader and sees the committed value: a
+ * flight still up (cause ii) is not final unless quiet; a held write or
+ * landing (staged — cause i/iii) is not final unless it answers the question
+ * already shown (a quiet re-ask, through its reveal), is the node's first
+ * landing (commit #0: loading, not pending), or the probe sits inside a
+ * `latest` window, whose view of the node IS the proposal (A10: a reader
+ * that observed the fresh value is not told it is pending; inside `latest`,
+ * `isPending` asks whether the latest view is final). A member of a held
+ * frame with neither is final. A24: pending iff a value change is in
+ * flight — a staging equal to what is displayed changes nothing when it
+ * lands: final now (maintainer, 2026-10-02). */ function heldNotFinal(e) {
+    if ((e.m & STATUS_PENDING) !== 0 && !quietPending(e)) return true;
+    return e.ue !== NOT_PENDING && !latestActive && !e.T.ut && !(e.m & STATUS_UNINITIALIZED) && (!!e.T.Te || !e.je || !e.je(e.le, e.ue));
+}
+
+/** `isPending`'s answer for an unheld node whose flight is up (cause ii). */ function pendingVerdict(e, t) {
+    if (t.m & STATUS_UNINITIALIZED) return;
+    if (probing && !quietPending(t)) probeFound = true;
+    if (e && tracking) {
+        if (t.l & CONFIG_HELD) verdictRead(e, txOf(t)); else if (globalQueue.Y) {
+            // `latest` of a flight serves the committed value, the frame's and the
+            // lane's alike (D-22): nothing is the seam's, so the reader is the
+            // verdict lane's now, as a plain read of a flight makes it
+            // (`observeFlight`). Its frame pass re-derived in the lane (R5) asked
+            // its question again (F-9, #4397). A staging's is the seam's (#4365).
+            if (!probing) joinFuture(null);
+            provisionalVerdict(e, false);
+ // decided above
+                }
+    }
+}
+
+/** The pass entering a verdict window is a verdict reader (CONFIG_VERDICT):
+ * a dependency going pending re-derives it, the verdict having changed. Not
+ * an untracked window: that is a snapshot, like any untracked read (#3946 —
+ * a router's link claim probing inside the computation that creates the
+ * anchor). A throw still reaches the pass through `untrack`. */ function markVerdictReader(e) {
+    const t = creatorPass(context);
+    if (t && tracking) {
+        // A pass run inside passes still running — its creator's, theirs — one
+        // of which read the future or a staging (a branch a held or staged
+        // condition opened, and whatever that branch creates) has no screen: the
+        // branch exists only in that world. It reads that world as any
+        // derivation of it does (`bornInto` once held) and stays its pass
+        // (`route`); a verdict reader from its next pass. #4341: a memo born in
+        // a newly opened <Match> read the screen, where its branch was closed.
+        // Not such a pass: a verdict reader now.
+        t.l &= ~CONFIG_ASYNC;
+        t.R |= REACTIVE_PROBED | REACTIVE_WINDOW | (creatorReads(t, 0) || (t.l |= CONFIG_VERDICT, 
+        0));
+        // Observe tier: which windows this pass entered (1 `isPending`, 2
+        // `latest`) — the hold census names the affordance (attribution.ts).
+                t.Ve = (t.Ve ?? 0) | e;
+    }
+}
+
+/** The windows. `read` dispatches to `verdictValue` while one is open; each
+ * restores the dispatch it found — none inside a memo's pass a window
+ * pulled (`verdictValue`). */ function latest(e) {
+    markVerdictReader(2);
+    const t = latestActive, r = verdict;
+    latestActive = true;
+    setVerdict(verdictValue);
+    try {
+        return e();
+    } finally {
+        latestActive = t;
+        setVerdict(r);
+    }
+}
+
+/**
+ * Reports whether what `fn` reads is still waiting on an update. Read the
+ * values in question inside `fn`: the probe answers `true` while any of
+ * them depends on a change that is in flight — a write or an async source
+ * that has started producing a new value whose result has not landed yet —
+ * and `false` once the latest value is the one on screen. The answer is
+ * tracked like any read, so a memo or effect that calls `isPending` re-runs
+ * when it flips.
+ *
+ * A read that has no value yet is loading, not pending: inside `fn` it
+ * follows the surrounding `Loading` path like any other read, and the probe
+ * reports only updates to a value that already exists. A bare `refresh()`
+ * does not flip `isPending`; pair it with `affects()` to make the re-ask
+ * visible.
+ *
+ * @param fn expression to probe; read the values in question inside it
+ *
+ * @returns `true` while a read inside `fn` depends on a change that has not committed yet
+ *
+ * @example
+ * ```ts
+ * const [query, setQuery] = createSignal("");
+ * const results = createMemo(() => searchProducts(query()));
+ * const stale = createMemo(() => isPending(results));
+ *
+ * setQuery("shoes");
+ * // stale() is true until the new results land, while results() keeps
+ * // serving the previous list — dim it instead of showing a spinner.
+ * ```
+ *
+ * @description https://v2.solidjs.com/reference/solid-js/reactivity/is-pending
+ */ function isPending(e) {
+    markVerdictReader(1);
+    const t = probing;
+    const r = probeFound;
+    const i = verdict;
+    probing = true;
+    probeFound = false;
+    setVerdict(verdictValue);
+    try {
+        e();
+        return probeFound;
+    } catch (e) {
+        // A pending node is served inside the probe; what still throws is an
+        // uninitialized one — loading, not pending (A19 exc. 1) — whose NotReady
+        // propagates to boundaries from inside an owner (B5a; a component body
+        // suspends on it like any read, #2928) and is swallowed outside one. A
+        // verdict never throws anything else: a thunk that errors is simply not
+        // pending.
+        if (e instanceof NotReadyError && !probeFound && context !== null) throw e;
+        return probeFound;
+    } finally {
+        probing = t;
+        probeFound = r;
+        setVerdict(i);
+    }
+}
+
+/** The staging, or the staged error thrown (D-41). */ function staged(e) {
+    if (e.l & CONFIG_STAGED_ERROR) throw e.ue;
+    return e.ue;
+}
+
+/** `latest()` of a held node: the flushed staging — the proposal — and, for
+ * a tracked reader of a rewrite not yet flushed, the late-linker re-run in
+ * the flush that carries it. */ function heldLatest(e, t) {
+    const r = unflushedValue(e);
+    if (r === NOT_PENDING) return staged(e);
+    if (t) markLateLinker(t);
+    return r;
+}
+
+/** The verdict windows' read — `latest(fn)` and `isPending(fn)` — in one
+ * cold path off `read`'s. It links and pulls like a plain read, then answers
+ * for what the reader sees (a verdict reader is a frame reader):
+ * - a lane's node: the reader is the holder's verdict lane's (not the
+ *   lane's — a lane blocked on its own flight would hold the reader's run,
+ *   the opposite of a verdict's display-ahead). A guess is the value (A17),
+ *   not final while its own question flies or a truth held beneath it
+ *   differs (A24, A18 provenance). A derivation: `latest` sees the lane's
+ *   latest (a landing a blocked lane holds has answered its question — the
+ *   checkout's shipping text updates independently of the tax in flight),
+ *   `isPending` the screen; not final while its own flight is up. A
+ *   derivation's first load in flight (nothing produced yet — an async memo
+ *   over a verdict memo, F-6) reads as the flight below: loading (D-22);
+ * - a held node: the reader breaks out as the holder's verdict lane's and
+ *   re-derives at the landing; `latest` serves the proposal (`heldLatest`),
+ *   `isPending` answers `heldNotFinal`;
+ * - a node staged this flush and not yet held: the seam's verdict
+ *   (`provisionalVerdict`) — or, with a newer question already in flight
+ *   (#3376, the stale first hop of a chain), its flight's;
+ * - a flight (cause ii): `isPending` records it (`pendingVerdict`), `latest`
+ *   serves the committed value — below the async nothing newer exists; an
+ *   uninitialized one throws NotReady: loading, not pending (A19 exc. 1);
+ * - an errored derivation throws for every reader (#2897). */ function verdictValue(e, t) {
+    const r = e;
+    const i = !!t && !(t.l & CONFIG_CHILDREN_FORBIDDEN);
+    const n = i && tracking;
+    // A31: the pulled memo's pass is its own, not the probe's — it reads
+    // outside the window, and the probe's read below answers for what the pass
+    // produced. So is a lazy or dormant memo's wake (an unowned memo with no
+    // reader left, #4366): woken inside the window, it read its sources as the
+    // probe does, the committed value under a landing. (A signal has no
+    // `_flags`: the wake is a no-op for it.)
+        setVerdict(null);
+    prepareComputed(r);
+    if (t && tracking) {
+        link(e, t);
+        if (e.X) pullComputed(r, t);
+    }
+    setVerdict(verdictValue);
+    // A live `affects()` mark on the node or a dependency (affects.ts): not
+    // final by declaration — the value itself is read as below. The verdict is
+    // display-ahead like any: in a transaction's flush (the declaring action's
+    // body) the reader is its verdict lane's, not a staging the frame parks.
+        if (probing && GlobalQueue.p?.(r)) {
+        probeFound = true;
+        if (n && flushTransaction) verdictRead(t, flushTransaction);
+    }
+    if (e.l & CONFIG_OVERRIDE && !(r.m & STATUS_ERROR && !(e.l & CONFIG_GUESS))) {
+        const i = txOf(e), o = (r.m & STATUS_PENDING) !== 0 && !quietPending(r), a = e.l & CONFIG_GUESS, 
+        // NOT_PENDING: a node born in the lane with nothing in it yet has no
+        // value in either view — loading, not pending, and no verdict to read
+        // ahead: it is read as any uninitialized node, NotReady below (A7, A19
+        // exc. 1; #4363), its reader not moved into the verdict lane.
+        u = a ? 0 : latestActive && !o ? laneValueOf(e) : display(e);
+        if (u !== NOT_PENDING) {
+            if (n) verdictRead(t, i._parent ?? i);
+            if (a) {
+                if (probing && (o || e.ue !== NOT_PENDING && (!e.je || !e.je(e.T.V, e.ue)))) probeFound = true;
+                // A lane a correction folded under (D-34): `latest()` shows the hold's
+                // world whole — the truth beneath each guess, else what it covered.
+                                if (latestActive && i.folded) return i.folded(null, e);
+                return e.T.V;
+            }
+            // A first load in flight with nothing produced yet: loading, for
+            // `latest` (D-22) as for `isPending` (A19 exc. 1) — unless an error
+            // answered it first: its re-ask is pending, the error its display
+            // (D-41, #4375).
+                        if (o && u === e.le && r.m & STATUS_UNINITIALIZED && (latestActive || !r.T.Te)) throw r.T.U;
+            if (probing && o) probeFound = true;
+            return u;
+        }
+    }
+    const o = (r.m & STATUS_UNINITIALIZED) !== 0;
+    if (e.l & CONFIG_HELD) {
+        if (!o) {
+            const i = txOf(e);
+            // A render effect re-run (or mounted) outside the verdict lane's flush
+            // while the lane is blocked — its display held on its own derivation
+            // in flight — is a stale reader of the lane (#3460, as `laneRead`): the
+            // committed value now, re-derived at the reveal. Not inside a probe:
+            // `isPending` is answered below either way.
+                        if (n && !probing && t.i === EFFECT_RENDER && !passLane && i.it?.ln && flushTransaction !== i) {
+                staleReader(t, i.it);
+                return e.le;
+            }
+            if (n) verdictRead(t, i);
+            if (probing && heldNotFinal(r)) probeFound = true;
+            if (latestActive && e.ue !== NOT_PENDING) {
+                // An action body reading another transaction's proposal derives
+                // from it: the two settle as one (A15; posture C, 2026-09-15). An
+                // untracked read elsewhere has no transaction to entangle.
+                if (!n && flushTransaction && !globalQueue.Y) joinFuture(txOf(e));
+                return heldLatest(e, n ? t : null);
+            }
+            return e.le;
+        }
+        // Born into the future: its staging is its only value. It has no
+        // committed value, so no verdict: `isPending` reads it as its read does —
+        // the owner joins the hold (held with it, or caught by a boundary that
+        // has not shown content) and answers for the commit, where it is final.
+                if (e.ue !== NOT_PENDING && !(r.m & STATUS_PENDING)) {
+            if (probing && i) joinPass(t, e);
+            return staged(e);
+        }
+    } else if (e.ue !== NOT_PENDING) {
+        if (r.m & STATUS_PENDING && !o) pendingVerdict(n ? t : null, r); else if (n && globalQueue.Y) provisionalVerdict(t, !latestActive && !o);
+        // Outside a flush, the staging is an unflushed write (A28): the probe
+        // answers for the flushed world, and watches the seam of the flush that
+        // carries the write — a memo of `isPending(x)` created after the write
+        // flips if that flush parks (#3078). (The write's own fan-out ran before
+        // the reader existed; nothing else would re-derive it.)
+         else if (n && probing) watchVerdict(t);
+        if (latestActive) {
+            // A28: an unflushed write is not what `latest` serves; a tracked
+            // reader derived from the flushed world runs again in the carrying
+            // flush.
+            if (globalQueue.Y) return staged(e);
+            if (t) markLateLinker(t);
+        }
+        return e.le;
+    }
+    if (r.m & STATUS_PENDING) {
+        if (!o) {
+            pendingVerdict(n ? t : null, r);
+            return e.le;
+        }
+        // As `read()`: an untracked read of a pending node still re-runs its
+        // reader when the node settles (a projection's pull reads its firewall
+        // untracked, store/store.ts).
+                if (t && !tracking && !spectating && e !== t) link(e, t);
+        throw r.T?.U;
+    }
+    if (e.X && r.m & STATUS_ERROR) throw r.T.U;
+    return e.le;
+}
+
+/** D-25: a node whose fetch a hold is waiting on is that hold's work, not a
+ * verdict reader — a pass that re-runs it reads plainly — and a memo's
+ * posture is what it reads: one that reads a verdict reader's value is a
+ * verdict reader itself (#4050). An async memo with no verdict window of its
+ * own (REACTIVE_WINDOW: it read a verdict memo, it called neither `latest`
+ * nor `isPending`) is a verdict reader between its flights, and the hold's
+ * work while one is up or its hold re-runs it.
+ *
+ * At a pass's head (core.ts `recompute`): a pending node's pass — its
+ * flight is the transition's own work (#3884) — and a held one's re-run of
+ * such a memo read plainly: the write that re-ran it is its hold's, and
+ * served the screen it re-asked a question it had answered (A10, #4397).
+ * Only a memo that never asked: D-25's "a verdict posture outlives the pass
+ * that asked" is a pass that called `latest`/`isPending`, which clears
+ * CONFIG_ASYNC and stays a verdict reader whoever dirties it.
+ *
+ * On `source` going pending (`propagateStatus`): such a memo waits on it
+ * like any derivation (F-9) instead of re-deriving — what it read changed
+ * no value, so its re-run re-asked the question it was answering. Unless
+ * its own flight is up outside a lane on a new question of the source's:
+ * its re-run supersedes a flight asked of a value the source has moved past
+ * (re-asked by a `refresh()`, the source's question is the same one). */ function holdWork(e, t) {
+    // CONFIG_ASYNC records an async memo with no window of its own: its last
+    // answering pass registered a flight (`handleAsync`) and called neither
+    // `latest` nor `isPending`. A window (`markVerdictReader`), a sync answer or
+    // an error clears it; a pass left pending keeps the last answer's.
+    const r = e.l & CONFIG_ASYNC;
+    return r && (!(e.m & STATUS_PENDING) || e.T.Je?.V || t.R & REACTIVE_REASK);
+}
+
+// Installed at module evaluation — present exactly when something imports
+// `latest` or `isPending`. (`read` dispatches to `verdictValue` through
+// `verdict`, set while a window is open.)
+installVerdictHooks(observeFlight, holdWork);
+
+/** A store read inside an untracked `isPending` probe found a live mark on
+ * a record with no node to carry it (store/affects.ts): not final. */ GlobalQueue.bt = () => {
+    if (probing) probeFound = true;
+};
+
+export { isPending, latest };