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

package/dist/prod/store/store.js

@@ -10,7 +10,7 @@ import { getObserver } from "../core/owner.js";
 
 import { insertIntoHeap } from "../core/heap.js";
 
-import { txOf, flushTransaction, holdNode, joinFuture, insertSubs, schedule, passLane, globalQueue, queuePendingNode, GlobalQueue, installStoreHooks, joinPassTx, dirtyQueue } from "../core/scheduler.js";
+import { txOf, flushTransaction, holdNode, joinFuture, insertSubs, schedule, passLane, globalQueue, queuePendingNode, resolveTx, GlobalQueue, installStoreHooks, joinPassTx, dirtyQueue } from "../core/scheduler.js";
 
 import { lookupTarget, setLookup, $OWNER, isOwned, markDescendants, devAssertNeverUserMutation } from "./target.js";
 
@@ -266,8 +266,13 @@ setSlotUnobserved(e => {
  // a node-less staging holds nothing (`stageOn`)
     // Held by the container's transaction only for a key the HELD staging
     // changed — a mainline layer's change above it stages mainline. (A
-    // container carrying a guess is a lane's: the flush's park decides.)
-        if ((i.l & (CONFIG_HELD | CONFIG_OVERRIDE)) === CONFIG_HELD && heldKeyChanged(e, r)) holdNode(n, txOf(i));
+    // container carrying a guess is a lane's: the flush's park decides —
+    // unless a correction folded under the guess, D-34: the key is that
+    // correction's hold's.)
+        if (i.l & CONFIG_HELD && heldKeyChanged(e, r)) {
+        const e = txOf(i);
+        if (!(i.l & CONFIG_OVERRIDE) || e.folded) holdNode(n, resolveTx(e._parent ?? e));
+    }
     // A28 (4): a batch written inside a creation-time pass is promoted — its
     // late-materialized leaf with it.
         if (i.l & CONFIG_PROMOTED) notePromotedWrite(n);
@@ -1111,7 +1116,7 @@ function inDraft(e) {
  * committed frame. */ function stagingReader() {
     let e = context;
     if (e === null) return null;
-    if (e.je) e = e.Ye ?? null;
+    if (e.Qe) e = e.Ye ?? null;
     return e === null || e.l & CONFIG_CHILDREN_FORBIDDEN ? null : e;
 }
 
@@ -1645,7 +1650,9 @@ const traps = {
     set(e, n, t) {
         const r = inDraft(e);
         const i = !r && writeOverride;
-        if (!r && !i) return true;
+        if (!r && !i) {
+            return true;
+        }
         if (n === "__proto__") return true;
  // pollution guard (core R30)
                 const o = e.s ? t : unwrapValue(t);
@@ -1694,7 +1701,9 @@ const traps = {
     defineProperty(e, n, t) {
         const r = inDraft(e);
         const i = !r && writeOverride;
-        if (!r && !i) return true;
+        if (!r && !i) {
+            return true;
+        }
         if (n === "__proto__") return true;
         if (t.get || t.set) e.a = true;
         if ("value" in t) t = {
@@ -1712,7 +1721,9 @@ const traps = {
     deleteProperty(e, n) {
         const t = inDraft(e);
         const r = !t && writeOverride;
-        if (!t && !r) return true;
+        if (!t && !r) {
+            return true;
+        }
         const i = ensurePB(e);
         touch(e, n);
         // The key count (`kc`, the overlay gate and the rebuild cap) follows a

package/dist/types/core/core.d.ts

@@ -45,6 +45,9 @@ export declare function ext(el: {
  * the boundary collects it and shows its fallback, and the pass is the
  * boundary's, not the tick's (A29's boundary exemption, #3540). */
 export declare function joinPass(c: Computed<any>, el: Signal<any> | Computed<any>): void;
+/** `joinPass` into the hold `t` (a folded guess's: store/optimistic.ts
+ * `foldedRead`, D-34) — a reader is never a render effect there. */
+export declare function joinPassAt(c: Computed<any>, t: Transaction): void;
 /** A node born into transaction `t`: held by it and never committed (A29,
  * ruling A) — uninitialized (born held), or a member of the frame one of its
  * held passes built (CONFIG_HELD_FRAME). Its branch exists only in `t`: it
@@ -117,8 +120,9 @@ export declare function exitCallback(): void;
  * its owner (a list pass removing a row, a branch switching away), so its
  * writes are imperative like an effect callback's (#4165). Kept apart from
  * `callbackDepth` because its sites cannot use try/finally (the frame would
- * survive into prod): a throwing cleanup leaves it raised, and dev.ts resets
- * it on the next microtask, which teardown — synchronous — never spans.
+ * survive into prod). A throwing cleanup is caught (owner.ts `runCleanup`);
+ * anything else escaping a teardown leaves it raised, and dev.ts resets it on
+ * the next microtask, which teardown — synchronous — never spans.
  */
 export declare let disposalDepth: number;
 export declare function enterDisposal(): void;
@@ -239,7 +243,10 @@ export declare function read<T>(el: Signal<T> | Computed<T>): T;
 export declare function serve(el: Signal<any> | Computed<any>, c: Computed<any> | null): unknown;
 /** A pass read a staging of this flush: it derives from what the flush may
  * yet hold (REACTIVE_STAGED_READ — the seam decides). Lane work too (plan sec. 28, a
- * lane sees the screen plus its own guesses): the staging is the screen if
+ * lane sees the screen plus its own guesses) — a folded lane's only before
+ * the frame has a transaction (after, it reads the screen like a verdict
+ * reader, `stagedScreen` — a list pass never pairs a held length with the
+ * guess's rows, D-34): the staging is the screen if
  * the frame commits — one pass, the common case — and a held write if it
  * parks, which the seam repairs (`stagedReaders`): the pass re-derives on
  * the committed world and its lane's runs wait that round, so the held

package/dist/types/core/dev.d.ts

@@ -16,7 +16,7 @@ export interface DevHooks {
  * `warn`/`error` as failures unless they opt in to `info`.
  */
 export type DiagnosticSeverity = "info" | "warn" | "error";
-export type DiagnosticCode = "STRICT_READ_UNTRACKED" | "PENDING_ASYNC_UNTRACKED_READ" | "PENDING_ASYNC_FORBIDDEN_SCOPE" | "REACTIVE_WRITE_IN_OWNED_SCOPE" | "ASYNC_STORE_SETTER" | "ACTION_CALLED_IN_OWNED_SCOPE" | "RUN_WITH_DISPOSED_OWNER" | "NO_OWNER_CLEANUP" | "CLEANUP_IN_FORBIDDEN_SCOPE" | "SETTLED_CLEANUP_UNOWNED" | "SETTLE_WALK_UNINITIALIZED_SOURCE" | "FLUSH_IN_EFFECT_CALLBACK" | "PRIMITIVE_IN_FORBIDDEN_SCOPE" | "PRIMITIVE_IN_EFFECT_CALLBACK" | "NO_OWNER_EFFECT" | "NO_OWNER_BOUNDARY" | "ASYNC_OUTSIDE_LOADING_BOUNDARY" | "LOADING_ON_OUTSIDE_HOLD" | "INVALID_REFRESH_TARGET" | "INVALID_AFFECTS_TARGET" | "MISSING_EFFECT_FN" | "SYNC_NODE_RECEIVED_ASYNC" | "UNTRACKED_READ_AFTER_AWAIT" | "REACTIVITY_HALTED" | "INVARIANT_VIOLATION" | "HUGE_FAN_OUT" | "HUGE_FAN_IN" | "GRAPH_GROWTH" | "HOT_SCOPE_RERUNS" | "HOT_SCOPE_TIME" | "WIDE_SCOPE_DEPS" | "UNSTABLE_MEMO_OUTPUT" | "WASTED_RECOMPUTE" | "ASYNC_WATERFALL" | "HOT_SCOPE_FANOUT" | "SILENT_HOLD" | "LONG_HOLD" | "UNTRACKED_ASYNC_HANDLER" | "ABANDONED_FLIGHTS" | "FALLBACK_FLASH" | "STACKED_HOLDS" | "OPTIMISTIC_REVERTED" | "EFFECT_WRITES_OWN_SOURCE" | "EFFECT_RELAY_TEAR" | "IMMUTABLE_UPDATE_IN_STORE" | "UNSTABLE_LIST_IDENTITY" | "SSR_RENDER_ERROR_CONTAINED" | "SSR_SUBTREE_ABANDONED" | "SSR_STREAM_ABANDONED" | "SSR_CLIENT_CONTENT_MASKED" | "LATE_HEADER_WRITE" | "SERVER_ERROR_SANITIZED" | "SSR_BOUNDARY_WATERFALL" | "SSR_UNDECLARED_LIVE_SOURCE" | "SSR_LIVE_HOLE_LATCHED" | "SERVER_WRITE" | "REVEAL_IN_RENDER_TO_STRING" | "LAZY_ASSET_UNMAPPED" | "PRELOAD_DESCRIPTOR_INVALID" | "HEAD_TAG_INVALID" | "UNRECOGNIZED_INSERT_VALUE" | "UNSCOPED_HOLE_ALLOCATED_IDS" | "LOWERCASE_EVENT_ATTRIBUTE" | "FRAME_MARKER_CORRUPTED" | "DYNAMIC_ASYNC_COMPONENT";
+export type DiagnosticCode = "STRICT_READ_UNTRACKED" | "PENDING_ASYNC_UNTRACKED_READ" | "PENDING_ASYNC_FORBIDDEN_SCOPE" | "REACTIVE_WRITE_IN_OWNED_SCOPE" | "ASYNC_STORE_SETTER" | "STORE_WRITE_OUTSIDE_SETTER" | "ACTION_CALLED_IN_OWNED_SCOPE" | "RUN_WITH_DISPOSED_OWNER" | "NO_OWNER_CLEANUP" | "CLEANUP_IN_FORBIDDEN_SCOPE" | "SETTLED_CLEANUP_UNOWNED" | "SETTLE_WALK_UNINITIALIZED_SOURCE" | "FLUSH_IN_EFFECT_CALLBACK" | "PRIMITIVE_IN_FORBIDDEN_SCOPE" | "PRIMITIVE_IN_EFFECT_CALLBACK" | "NO_OWNER_EFFECT" | "NO_OWNER_BOUNDARY" | "ASYNC_OUTSIDE_LOADING_BOUNDARY" | "LOADING_ON_OUTSIDE_HOLD" | "INVALID_REFRESH_TARGET" | "INVALID_AFFECTS_TARGET" | "MISSING_EFFECT_FN" | "SYNC_NODE_RECEIVED_ASYNC" | "UNTRACKED_READ_AFTER_AWAIT" | "REACTIVITY_HALTED" | "INVARIANT_VIOLATION" | "HUGE_FAN_OUT" | "HUGE_FAN_IN" | "GRAPH_GROWTH" | "HOT_SCOPE_RERUNS" | "HOT_SCOPE_TIME" | "WIDE_SCOPE_DEPS" | "UNSTABLE_MEMO_OUTPUT" | "WASTED_RECOMPUTE" | "ASYNC_WATERFALL" | "HOT_SCOPE_FANOUT" | "SILENT_HOLD" | "LONG_HOLD" | "UNTRACKED_ASYNC_HANDLER" | "ABANDONED_FLIGHTS" | "FALLBACK_FLASH" | "STACKED_HOLDS" | "OPTIMISTIC_REVERTED" | "EFFECT_WRITES_OWN_SOURCE" | "EFFECT_RELAY_TEAR" | "IMMUTABLE_UPDATE_IN_STORE" | "UNSTABLE_LIST_IDENTITY" | "SSR_RENDER_ERROR_CONTAINED" | "SSR_SUBTREE_ABANDONED" | "SSR_STREAM_ABANDONED" | "SSR_CLIENT_CONTENT_MASKED" | "LATE_HEADER_WRITE" | "SERVER_ERROR_SANITIZED" | "SSR_BOUNDARY_WATERFALL" | "SSR_UNDECLARED_LIVE_SOURCE" | "SSR_LIVE_HOLE_LATCHED" | "SERVER_WRITE" | "REVEAL_IN_RENDER_TO_STRING" | "LAZY_ASSET_UNMAPPED" | "PRELOAD_DESCRIPTOR_INVALID" | "HEAD_TAG_INVALID" | "UNRECOGNIZED_INSERT_VALUE" | "UNSCOPED_HOLE_ALLOCATED_IDS" | "LOWERCASE_EVENT_ATTRIBUTE" | "UNCOMMITTED_INPUT_OVERWRITTEN" | "FRAME_MARKER_CORRUPTED" | "DYNAMIC_ASYNC_COMPONENT";
 export type DiagnosticKind = "strict-read" | "async" | "write" | "lifecycle" | "owner" | "error" | "perf" | "graph"
 /** Perceived responsiveness: the runtime behaved correctly but the user saw no feedback. */
  | "responsiveness"
@@ -472,6 +472,14 @@ export declare function ownerPath(subject: DiagnosticSubject | null | undefined)
  * own). Console output is a separate, dev-tier step — see `reportDiagnostic`.
  */
 export declare function emitDiagnostic(event: Omit<DiagnosticEvent, "sequence">, subject?: DiagnosticSubject | null | undefined): DiagnosticEvent;
+/**
+ * The locating lines of a console report: `\n  in <App> › <TodoRow> › effect`
+ * (the owner path) and `\n  at src/App.tsx:18:3` (see `locationLine`), each
+ * when the entry carries it; `""` when it carries neither. Shared by
+ * `reportDiagnostic` and the sites that print their own console entry (the
+ * halt, which logs its cause beside the message).
+ */
+export declare function locationLines(entry: DiagnosticEvent): string;
 /**
  * The console face of a diagnostic — ONE entry per finding: the message, the
  * owner path (`in <App> › <TodoRow> › effect`) so a human can locate it, the

package/dist/types/core/error.d.ts

@@ -52,5 +52,13 @@ export declare class NoOwnerError extends Error {
     constructor();
 }
 export declare class ContextNotFoundError extends Error {
-    constructor();
+    /**
+     * In dev, a read site passes the context (and whether a provider above set
+     * it to `undefined`) so the message can name it and say why it has no
+     * value (#4181). Read through `arguments` so production — where the message
+     * is empty — keeps the zero-parameter constructor byte for byte.
+     */
+    constructor(context?: {
+        id: symbol;
+    }, providedUndefined?: boolean);
 }

package/dist/types/core/owner.d.ts

@@ -1,6 +1,10 @@
 import type { Computed, Disposable, Owner, Root } from "./types.js";
 export declare function markDisposal(el: Owner): void;
 export declare function dispose(node: Computed<unknown>): void;
+/** Runs a cleanup or `unobserved` hook; a throw is collected, not raised. @internal */
+export declare function runCleanup(fn: () => void): void;
+/** Rethrows the error `runCleanup` collected, once; `drop` discards it. @internal */
+export declare function rethrowCleanupError(drop?: boolean): void;
 export declare function disposeChildren(node: Owner, self?: boolean, zombie?: boolean): void;
 export declare function linkChild(parent: Owner, node: Owner): void;
 /**

package/dist/types/core/scheduler.d.ts

@@ -1,3 +1,4 @@
+import { type DiagnosticSubject } from "./dev.js";
 import { type Heap } from "./heap.js";
 import type { Computed, Owner, Signal } from "./types.js";
 export declare let laneReadHook: ((c: Computed<any> | null, el: Signal<any> | Computed<any>) => unknown) | null;
@@ -79,6 +80,15 @@ export interface Transaction {
      * leaf reading a held lane that has not shown is a stale reader of it
      * (#3460); one reading a lane the seam has not judged yet is its work. */
     _held: boolean;
+    /** Lane: a current truth that differs folded beneath one of its keyed
+     * guesses (lanes.ts `laneWrite`, D-34) — the store's reader of it: a
+     * deriving pass outside the lane, or `latest()` (`c` null), is served
+     * the hold's world from its guesses; NOT_PENDING otherwise
+     * (store/optimistic.ts `foldedRead`). Unset until then; not
+     * `_`-prefixed: a new mangled name shifts every later one
+     * (scripts/mangle-props.mjs), which costs the floors bytes for a path
+     * only optimistic stores reach. */
+    folded?: (c: Computed<any> | null, el: Signal<any> | Computed<any>) => unknown;
     /** `affects()` marks declared in it (affects.ts): released at the landing.
      * Not nodes — a mark holds nothing (`blocked` never sees one). */
     _marks: Signal<any>[] | null;
@@ -219,6 +229,13 @@ export declare function schedule(): void;
  */
 export declare const ROOT_ERROR_HOOK: unique symbol;
 export declare function haltReactivity(cause?: unknown): void;
+/**
+ * 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.
+ */
+export declare function haltReactivityAt(cause: unknown, subject: DiagnosticSubject): void;
 /** @internal Test/dev-reload hook. Revives scheduling after a halt. */
 export declare function resetErrorHalt(): void;
 export interface IQueue {
@@ -252,10 +269,12 @@ export declare class GlobalQueue implements IQueue {
     static _storeWrappable: ((v: unknown) => boolean) | undefined;
     static _mark: ((node: Signal<any> | Computed<any>) => void) | undefined;
     static _witnessMark: (() => void) | undefined;
-    /** An older question's truth was held beneath a guess (lanes.ts
-     * `laneWrite`): the store re-bases an arrangement guess over it
-     * (store/optimistic.ts). */
-    static _laneRebase: ((el: Signal<any>, truth: unknown) => void) | undefined;
+    /** A truth landing on a guess (lanes.ts `laneWrite`), `older` when it
+     * answers an older question: the store re-bases an arrangement guess over
+     * it; a current one differing from a shown keyed arrangement guess folds
+     * beneath it instead of voiding it (D-34) — true: the lane stages it
+     * beneath (store/optimistic.ts). */
+    static _laneRebase: ((el: Signal<any>, truth: unknown, older: boolean) => boolean | void) | undefined;
     static _verdictLane: ((t: Transaction) => Transaction) | undefined;
     static _laneGuesses: ((t: Transaction) => Signal<any>[]) | undefined;
     /** `createDeferred` (deferred.ts): a deferred node with a flight up that

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@solidjs/signals",
-  "version": "2.0.0-rc.16",
+  "version": "2.0.0-rc.17",
   "description": "Solid's reactive primitives: signals, memos, effects, stores, and async-aware computations.",
   "author": "Ryan Carniato",
   "license": "MIT",