@solidjs/signals 2.0.0-beta.21 → 2.0.0-beta.22

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

@@ -81,12 +81,9 @@ export declare class GlobalQueue extends Queue {
     static _runEffect: (el: Computed<unknown>) => void;
     static _clearOptimisticStores: ((stores: Set<any>, completing: Transition | null) => void) | null;
     static _releaseAffectsScope: ((node: OptimisticNode) => void) | null;
-    static _applyAffectsReads: ((el: Computed<any>, sources: (Signal<any> | Computed<any>)[]) => void) | null;
     static _releaseAffectsMarks: ((nodes: OptimisticNode[]) => void) | null;
     static _markAffects: ((node: OptimisticNode) => void) | null;
     static _releaseAffectsMark: ((node: OptimisticNode) => void) | null;
-    static _onlyMarkPending: ((el: Computed<any>) => boolean) | null;
-    static _collectMarkSources: ((el: Computed<any>, into: OptimisticNode[]) => void) | null;
     static _wireExternalSource: ((self: Computed<any>) => void) | null;
     static _externalUntrack: (<T>(fn: () => T) => T) | null;
     static _syncCompanions: (<T>(el: Signal<T> | Computed<T>, value: T) => void) | null;
@@ -97,15 +94,13 @@ export declare class GlobalQueue extends Queue {
     static _pendingCheck: ((el: OptimisticNode, c: Computed<any> | null, owner: OptimisticNode, firewall: Computed<any> | null) => void) | null;
     static _recordFresh: ((el: OptimisticNode, value: any) => void) | null;
     static _applyReask: ((el: Computed<any>, hadReask: boolean) => boolean) | null;
-    static _repollVerdicts: ((el: Computed<any>) => void) | null;
+    static _repollVerdicts: ((el: Computed<any>, snap?: boolean) => void) | null;
     static _witnessAffects: ((node: OptimisticNode) => void) | null;
     static _optimisticWrite: (<T>(el: Signal<T> | Computed<T>, v: T | ((prev: T) => T)) => T) | null;
     static _resolveOptimistic: ((nodes: OptimisticNode[]) => void) | null;
-    static _stashOptimistic: ((stashedTransition: Transition) => void) | null;
     static _transitionBlocked: ((transition: Transition) => boolean) | null;
     static _cleanupLanes: ((completingTransition: Transition | null) => void) | null;
     static _runLaneEffects: ((type: number) => void) | null;
-    static _readStashed: ((el: Signal<any>) => boolean) | null;
     static _gatedRead: ((el: Signal<any>, owner: OptimisticNode, c: Computed<any>) => boolean) | null;
     static _laneSuspends: ((owner: OptimisticNode) => boolean) | null;
     static _laneReadsCommitted: ((el: OptimisticNode, owner: OptimisticNode, c: Computed<any>) => boolean) | null;

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

@@ -59,19 +59,14 @@ export interface RawSignal<T> {
     _parentSource?: Signal<any> | Computed<any>;
     /**
      * Live `affects()` marks on this node (refcount). Non-zero is declared
-     * motion: the node reads pending regardless of graph state, until every
-     * declaring transaction settles/reverts and releases its mark.
+     * motion: the node — and, via the verdict layer's dep-graph coverage walk,
+     * everything derived from it — reads pending regardless of graph state,
+     * until every declaring transaction settles/reverts and releases its mark.
+     * This count is the mark's ONLY graph state: the dedicated channel stores
+     * nothing downstream and never touches status flags, errors, or pending
+     * sources.
      */
     _affectsCount?: number;
-    /**
-     * The mark's identity on the pending-source rails (lazy, see
-     * `getAffectsSentinel`). Downstream subscribers hold it in
-     * `_pendingSources` exactly like a real in-flight source, but with its own
-     * identity so a landing or quiet re-ask on the node itself can't clear it.
-     */
-    _affectsSentinel?: Computed<any>;
-    /** Set only on sentinels: the marked node this sentinel stands for. */
-    _affectsFor?: Signal<any> | Computed<any>;
 }
 export interface FirewallSignal<T> extends RawSignal<T> {
     _firewall: Computed<any>;

package/dist/types-cjs/affects.d.cts

@@ -4,15 +4,15 @@ import { type Store } from "./store/store.cjs";
  * Declares that in-flight work will change the targeted data: the named
  * slot(s) — and everything DERIVED from them — read as pending
  * (`isPending` → `true`) from the declaration until the surrounding
- * transaction settles or reverts. Marks ride the same status rails as real
- * in-flight async, so pendingness flows through memos and effects like any
- * other pending source, while the marked values themselves stay readable
- * (a mark is a promise of change, not an absence of value). This is the
- * declaration verb of the pending model — additive only. A mark can turn
- * pending ON for data the graph can't see changing yet; nothing can turn
- * pending OFF while a real change is in flight — a quiet `refresh()`
- * re-ask under a mark still reads pending (declaring the reload is what
- * makes it a real question).
+ * transaction settles or reverts. A mark lives on its own channel — a
+ * refcount on the marked node plus dep-graph reachability in the verdict
+ * layer — so the marked values themselves stay readable (a mark is a promise
+ * of change, not an absence of value), no reader ever suspends on one, and
+ * completion/settlement accounting never sees one. This is the declaration
+ * verb of the pending model — additive only. A mark can turn pending ON for
+ * data the graph can't see changing yet; nothing can turn pending OFF while
+ * a real change is in flight — a quiet `refresh()` re-ask under a mark still
+ * reads pending (declaring the reload is what makes it a real question).
  *
  * Targets:
  * - `affects(store)` — a store proxy (any record, root or nested): every

package/dist/types-cjs/core/async.d.cts

@@ -3,7 +3,7 @@ import type { Computed, Link } from "./types.cjs";
 export declare function addPendingSource(el: Computed<any>, source: Computed<any>): boolean;
 export declare function setPendingError(el: Computed<any>, source?: Computed<any>, error?: any): void;
 export declare function forEachDependent(el: Computed<any>, fn: (node: Computed<any>, link: Link) => void): void;
-export declare function settlePendingSource(el: Computed<any>, source?: Computed<any>, snap?: boolean): void;
+export declare function settlePendingSource(el: Computed<any>): void;
 export declare function isThenable<T>(value: T | PromiseLike<T>): value is PromiseLike<T>;
 export declare function handleAsync<T>(el: Computed<T>, result: T | PromiseLike<T> | AsyncIterable<T>, setter?: (value: T) => void): T;
 export declare function clearStatus(el: Computed<any>, clearUninitialized?: boolean): void;

package/dist/types-cjs/core/error.d.cts

@@ -24,6 +24,13 @@
  */
 export declare class NotReadyError extends Error {
     source: any;
+    /**
+     * Tags a visibility-only notification on the affects() boundary channel:
+     * boundaries update display state from it, but the root queue never
+     * registers a reporter — marks are invisible to completion accounting by
+     * construction.
+     */
+    _markVisual?: boolean;
     constructor(source: any);
 }
 export declare class StatusError extends Error {

package/dist/types-cjs/core/scheduler.d.cts

@@ -81,12 +81,9 @@ export declare class GlobalQueue extends Queue {
     static _runEffect: (el: Computed<unknown>) => void;
     static _clearOptimisticStores: ((stores: Set<any>, completing: Transition | null) => void) | null;
     static _releaseAffectsScope: ((node: OptimisticNode) => void) | null;
-    static _applyAffectsReads: ((el: Computed<any>, sources: (Signal<any> | Computed<any>)[]) => void) | null;
     static _releaseAffectsMarks: ((nodes: OptimisticNode[]) => void) | null;
     static _markAffects: ((node: OptimisticNode) => void) | null;
     static _releaseAffectsMark: ((node: OptimisticNode) => void) | null;
-    static _onlyMarkPending: ((el: Computed<any>) => boolean) | null;
-    static _collectMarkSources: ((el: Computed<any>, into: OptimisticNode[]) => void) | null;
     static _wireExternalSource: ((self: Computed<any>) => void) | null;
     static _externalUntrack: (<T>(fn: () => T) => T) | null;
     static _syncCompanions: (<T>(el: Signal<T> | Computed<T>, value: T) => void) | null;
@@ -97,15 +94,13 @@ export declare class GlobalQueue extends Queue {
     static _pendingCheck: ((el: OptimisticNode, c: Computed<any> | null, owner: OptimisticNode, firewall: Computed<any> | null) => void) | null;
     static _recordFresh: ((el: OptimisticNode, value: any) => void) | null;
     static _applyReask: ((el: Computed<any>, hadReask: boolean) => boolean) | null;
-    static _repollVerdicts: ((el: Computed<any>) => void) | null;
+    static _repollVerdicts: ((el: Computed<any>, snap?: boolean) => void) | null;
     static _witnessAffects: ((node: OptimisticNode) => void) | null;
     static _optimisticWrite: (<T>(el: Signal<T> | Computed<T>, v: T | ((prev: T) => T)) => T) | null;
     static _resolveOptimistic: ((nodes: OptimisticNode[]) => void) | null;
-    static _stashOptimistic: ((stashedTransition: Transition) => void) | null;
     static _transitionBlocked: ((transition: Transition) => boolean) | null;
     static _cleanupLanes: ((completingTransition: Transition | null) => void) | null;
     static _runLaneEffects: ((type: number) => void) | null;
-    static _readStashed: ((el: Signal<any>) => boolean) | null;
     static _gatedRead: ((el: Signal<any>, owner: OptimisticNode, c: Computed<any>) => boolean) | null;
     static _laneSuspends: ((owner: OptimisticNode) => boolean) | null;
     static _laneReadsCommitted: ((el: OptimisticNode, owner: OptimisticNode, c: Computed<any>) => boolean) | null;

package/dist/types-cjs/core/types.d.cts

@@ -59,19 +59,14 @@ export interface RawSignal<T> {
     _parentSource?: Signal<any> | Computed<any>;
     /**
      * Live `affects()` marks on this node (refcount). Non-zero is declared
-     * motion: the node reads pending regardless of graph state, until every
-     * declaring transaction settles/reverts and releases its mark.
+     * motion: the node — and, via the verdict layer's dep-graph coverage walk,
+     * everything derived from it — reads pending regardless of graph state,
+     * until every declaring transaction settles/reverts and releases its mark.
+     * This count is the mark's ONLY graph state: the dedicated channel stores
+     * nothing downstream and never touches status flags, errors, or pending
+     * sources.
      */
     _affectsCount?: number;
-    /**
-     * The mark's identity on the pending-source rails (lazy, see
-     * `getAffectsSentinel`). Downstream subscribers hold it in
-     * `_pendingSources` exactly like a real in-flight source, but with its own
-     * identity so a landing or quiet re-ask on the node itself can't clear it.
-     */
-    _affectsSentinel?: Computed<any>;
-    /** Set only on sentinels: the marked node this sentinel stands for. */
-    _affectsFor?: Signal<any> | Computed<any>;
 }
 export interface FirewallSignal<T> extends RawSignal<T> {
     _firewall: Computed<any>;

package/package.json

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