synstate 3.0.5 → 3.0.6

package/README.md

@@ -24,7 +24,7 @@
 - 🎯 **Simple State Management**: Easy-to-use `createState` and `createReducer` similar to React useState/useReducer for global state
 - ⚡ **High Performance**: Optimized for fast state updates and minimal re-renders
 - 🎨 **Type-Safe**: Full TypeScript support with precise type inference
-- 🚀 **Lightweight**: <!-- bundle-size:synstate -->~4.6 kB min+gzip<!-- /bundle-size:synstate --> with two external runtime dependencies ([ts-data-forge](https://www.npmjs.com/package/ts-data-forge) and [ts-std-forge](https://www.npmjs.com/package/ts-std-forge), and the first depends on the second)
+- 🚀 **Lightweight**: <!-- bundle-size:synstate -->~4.7 kB min+gzip<!-- /bundle-size:synstate --> with two external runtime dependencies ([ts-data-forge](https://www.npmjs.com/package/ts-data-forge) and [ts-std-forge](https://www.npmjs.com/package/ts-std-forge), and the first depends on the second)
 - 🌐 **Framework Agnostic**: Works with React, Vue, Svelte, or vanilla JavaScript
 - 🔄 **Reactive Updates**: Automatic propagation of state changes to all subscribers
 - 📡 **Event System**: Built-in `createValueEmitter`, `createEventEmitter` for event-driven architecture

package/dist/core/base/create-observable-base.d.mts

@@ -15,12 +15,42 @@ import { type ChildObservable, type ObservableBase, type ObservableId, type Obse
  */
 export type ObservableBaseHandle<A> = Readonly<{
     id: ObservableId;
+    /**
+     * Registers the public object {@link assembleObservable} built from this
+     * handle, so that its four state flags (`isCompleted`, `updateToken`,
+     * `hasSubscriber`, `hasChild`) can be mirrored onto it as plain data
+     * properties.
+     *
+     * They used to be getters delegating to this handle's closures, and that
+     * costs more than it looks. Reading one was an accessor call plus a closure
+     * call where a field read would do — `updateToken` is read once per child
+     * per update, so the propagation path paid it on every step — and an object
+     * literal carrying accessors is far more expensive to create than one
+     * carrying data, which is most of what building a graph costs. Measured on
+     * one machine with `pnpm run benchmark`: the derived chain's 100,000 updates
+     * 16.7 ms -> 13.6 ms, and the cascaded diamond at N=20, whose measurement is
+     * dominated by graph construction, 587 ms -> 362 ms.
+     *
+     * Every write below therefore has to keep the mirror in step; that is the
+     * price of not reading through a closure on the hot path. It is paid in
+     * clarity too, and on purpose: `hasSubscriber` and `hasChild` are derived
+     * from `mut_subscribers` and `mut_children`, which a getter stated once and
+     * declaratively, whereas the mirror restates it at every write.
+     *
+     * Nor can the rarely read flags alone go back to getters while `updateToken`
+     * stays data. A single accessor in the literal is enough to lose nearly all
+     * of the gain: measured on Node 26 with the `...extra` spread followed by
+     * these properties, one getter among data properties made the literal about
+     * 10x slower to create than all data (four getters: about 15x) and gave
+     * every instance its own hidden class (`%HaveSameMap` false). Keep all four
+     * as data, or measure again before changing that.
+     */
+    attach: (writers: ObservableStateWriters) => void;
     addChild: <B>(child: ChildObservable<B>) => void;
     getSnapshot: () => Optional<A>;
     isCompleted: () => boolean;
     updateToken: () => UpdateToken;
     hasSubscriber: () => boolean;
-    hasChild: () => boolean;
     hasActiveChild: () => boolean;
     subscribe: (onNext: (v: A) => void, onComplete?: () => void) => Subscription;
     /** Stores `nextValue` as the current value and notifies subscribers. */
@@ -33,6 +63,19 @@ export type ObservableBaseHandle<A> = Readonly<{
      */
     completeBase: () => void;
 }>;
+/**
+ * How the handle writes the four state flags onto the public object. The
+ * writers are closures over that object rather than the object itself, because
+ * a parameter this side could mutate has to be a mutable type, which
+ * `@typescript-eslint/prefer-readonly-parameter-types` rejects — and the object
+ * is `Readonly` to everyone else.
+ */
+type ObservableStateWriters = Readonly<{
+    setIsCompleted: (value: boolean) => void;
+    setUpdateToken: (value: UpdateToken) => void;
+    setHasSubscriber: (value: boolean) => void;
+    setHasChild: (value: boolean) => void;
+}>;
 export declare const createObservableBaseHandle: <A>(initialValue: Optional<A>) => ObservableBaseHandle<A>;
 /**
  * The extra members every manager observable — a root or an async child — owns:
@@ -63,17 +106,19 @@ type AssembleObservableArgs<A, Kind extends ObservableKind, Extra extends Readon
     /**
      * Kind-specific public members (`parents`, `addDescendant`) and leaf
      * extensions (`next`, `start`). They are merged here, in the one place the
-     * final object literal is created, because the public getters below must not
-     * be copied by a spread (spreading would freeze their current values).
+     * final object literal is created, because the handle keeps the state flags
+     * up to date on that object alone: a copy made by spreading it afterwards
+     * would freeze their current values.
      */
     extra: Extra;
 }>;
 /**
  * Builds the public observable object from a base handle. This replaces the
  * implicit assembly a `class` performs: state stays in the handle's closures,
- * `isCompleted` / `updateToken` / `hasSubscriber` / `hasChild` become getters
- * delegating to the handle, and the kind-specific behavior (`tryUpdate`,
- * `tryComplete`, `complete`) is passed in already composed.
+ * `isCompleted` / `updateToken` / `hasSubscriber` / `hasChild` become data
+ * properties the handle keeps in step through `attach`, and the kind-specific
+ * behavior (`tryUpdate`, `tryComplete`, `complete`) is passed in already
+ * composed.
  */
 export declare const assembleObservable: <A, Kind extends ObservableKind, Extra extends ReadonlyRecord<string, unknown>>({ kind, depth, handle, tryUpdate, tryComplete, complete, extra, }: AssembleObservableArgs<A, Kind, Extra>) => Extra & ObservableBase<A> & Readonly<{
     kind: Kind;

package/dist/core/base/create-observable-base.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"create-observable-base.d.mts","sourceRoot":"","sources":["../../../src/core/base/create-observable-base.mts"],"names":[],"mappings":"AAAA,OAAO,EAAO,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,eAAe,EAGpB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,cAAc,EAInB,KAAK,YAAY,EACjB,KAAK,WAAW,EAEjB,MAAM,oBAAoB,CAAC;AAS5B;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7C,EAAE,EAAE,YAAY,CAAC;IAEjB,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAEjD,WAAW,EAAE,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE/B,WAAW,EAAE,MAAM,OAAO,CAAC;IAE3B,WAAW,EAAE,MAAM,WAAW,CAAC;IAE/B,aAAa,EAAE,MAAM,OAAO,CAAC;IAE7B,QAAQ,EAAE,MAAM,OAAO,CAAC;IAExB,cAAc,EAAE,MAAM,OAAO,CAAC;IAE9B,SAAS,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,IAAI,KAAK,YAAY,CAAC;IAE7E,wEAAwE;IACxE,OAAO,EAAE,CAAC,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,WAAW,KAAK,IAAI,CAAC;IAE1D;;;;;OAKG;IACH,YAAY,EAAE,MAAM,IAAI,CAAC;CAC1B,CAAC,CAAC;AAEH,eAAO,MAAM,0BAA0B,GAAI,CAAC,gBAC5B,QAAQ,CAAC,CAAC,CAAC,KACxB,oBAAoB,CAAC,CAAC,CA0HxB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC/C,aAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAEtD,sEAAsE;IACtE,WAAW,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,IAAI,CAAC;CACrC,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,GAAI,CAAC,UACpC,oBAAoB,CAAC,CAAC,CAAC,KAC9B,sBAAsB,CAAC,CAAC,CAmC1B,CAAC;AAEF,6EAA6E;AAC7E,eAAO,MAAM,6BAA6B,QAAO,CAAC,CAChD,YAAY,EAAE,WAAW,KACtB,IAAI,CAA4B,CAAC;AAYtC,KAAK,sBAAsB,CACzB,CAAC,EACD,IAAI,SAAS,cAAc,EAC3B,KAAK,SAAS,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,IAC3C,QAAQ,CAAC;IACX,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,IAAI,SAAS,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC;IACxC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAChC,SAAS,EAAE,CAAC,WAAW,EAAE,WAAW,KAAK,IAAI,CAAC;IAC9C,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,IAAI,CAAC;IACrB;;;;;OAKG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAC7B,CAAC,EACD,IAAI,SAAS,cAAc,EAC3B,KAAK,SAAS,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,qEAS5C,sBAAsB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAG,KAAK,GAC/C,cAAc,CAAC,CAAC,CAAC,GACjB,QAAQ,CAAC;IACP,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,sBAAsB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;CACxD,CA0DF,CAAC"}
+{"version":3,"file":"create-observable-base.d.mts","sourceRoot":"","sources":["../../../src/core/base/create-observable-base.mts"],"names":[],"mappings":"AAAA,OAAO,EAAO,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,eAAe,EAGpB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,cAAc,EAInB,KAAK,YAAY,EACjB,KAAK,WAAW,EAEjB,MAAM,oBAAoB,CAAC;AAS5B;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7C,EAAE,EAAE,YAAY,CAAC;IAEjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,MAAM,EAAE,CAAC,OAAO,EAAE,sBAAsB,KAAK,IAAI,CAAC;IAElD,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAEjD,WAAW,EAAE,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE/B,WAAW,EAAE,MAAM,OAAO,CAAC;IAE3B,WAAW,EAAE,MAAM,WAAW,CAAC;IAE/B,aAAa,EAAE,MAAM,OAAO,CAAC;IAE7B,cAAc,EAAE,MAAM,OAAO,CAAC;IAE9B,SAAS,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,IAAI,KAAK,YAAY,CAAC;IAE7E,wEAAwE;IACxE,OAAO,EAAE,CAAC,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,WAAW,KAAK,IAAI,CAAC;IAE1D;;;;;OAKG;IACH,YAAY,EAAE,MAAM,IAAI,CAAC;CAC1B,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,KAAK,sBAAsB,GAAG,QAAQ,CAAC;IACrC,cAAc,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;IACzC,cAAc,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,IAAI,CAAC;IAC7C,gBAAgB,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;IAC3C,WAAW,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;CACvC,CAAC,CAAC;AAEH,eAAO,MAAM,0BAA0B,GAAI,CAAC,gBAC5B,QAAQ,CAAC,CAAC,CAAC,KACxB,oBAAoB,CAAC,CAAC,CAwJxB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC/C,aAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAEtD,sEAAsE;IACtE,WAAW,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,IAAI,CAAC;CACrC,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,GAAI,CAAC,UACpC,oBAAoB,CAAC,CAAC,CAAC,KAC9B,sBAAsB,CAAC,CAAC,CAmC1B,CAAC;AAEF,6EAA6E;AAC7E,eAAO,MAAM,6BAA6B,QAAO,CAAC,CAChD,YAAY,EAAE,WAAW,KACtB,IAAI,CAA4B,CAAC;AAYtC,KAAK,sBAAsB,CACzB,CAAC,EACD,IAAI,SAAS,cAAc,EAC3B,KAAK,SAAS,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,IAC3C,QAAQ,CAAC;IACX,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,IAAI,SAAS,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC;IACxC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAChC,SAAS,EAAE,CAAC,WAAW,EAAE,WAAW,KAAK,IAAI,CAAC;IAC9C,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,IAAI,CAAC;IACrB;;;;;;OAMG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAC7B,CAAC,EACD,IAAI,SAAS,cAAc,EAC3B,KAAK,SAAS,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,qEAS5C,sBAAsB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAG,KAAK,GAC/C,cAAc,CAAC,CAAC,CAAC,GACjB,QAAQ,CAAC;IACP,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,sBAAsB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;CACxD,CAyEF,CAAC"}

package/dist/core/base/create-observable-base.mjs

@@ -8,26 +8,43 @@ export const createObservableBaseHandle = (initialValue) => {
     let mut_currentValue = initialValue;
     let mut_isCompleted = false;
     let mut_updateToken = issueUpdateToken();
+
+
+
+
+
+
+    let mut_writers;
+    const attach = (writers) => {
+        mut_writers = writers;
+        writers.setIsCompleted(mut_isCompleted);
+        writers.setUpdateToken(mut_updateToken);
+        writers.setHasSubscriber(mut_subscribers.size > 0);
+        writers.setHasChild(Arr.isNonEmpty(mut_children));
+    };
     const addSubscriber = (s) => {
 
         const subscriberId = issueSubscriberId();
         mut_subscribers.set(subscriberId, s);
+        mut_writers?.setHasSubscriber(true);
         return subscriberId;
     };
     const removeSubscriber = (subscriberId) => {
         mut_subscribers.delete(subscriberId);
+        mut_writers?.setHasSubscriber(mut_subscribers.size > 0);
     };
     const addChild = (child) => {
         mut_children = Arr.toPushed(mut_children, child);
+        mut_writers?.setHasChild(true);
     };
     const getSnapshot = () => mut_currentValue;
     const isCompleted = () => mut_isCompleted;
     const updateToken = () => mut_updateToken;
     const hasSubscriber = () => mut_subscribers.size > 0;
-    const hasChild = () => Arr.isNonEmpty(mut_children);
     const hasActiveChild = () => mut_children.some((c) => !c.isCompleted);
     const setNext = (nextValue, nextUpdateToken) => {
         mut_updateToken = nextUpdateToken;
+        mut_writers?.setUpdateToken(nextUpdateToken);
         mut_currentValue = Optional.some(nextValue);
         for (const s of mut_subscribers.values()) {
             s.onNext(nextValue);
@@ -39,12 +56,14 @@ export const createObservableBaseHandle = (initialValue) => {
         }
 
         mut_isCompleted = true;
+        mut_writers?.setIsCompleted(true);
 
         for (const s of mut_subscribers.values()) {
             s.onComplete();
         }
 
         mut_subscribers.clear();
+        mut_writers?.setHasSubscriber(false);
 
         for (const o of mut_children) {
             o.tryComplete();
@@ -71,12 +90,12 @@ export const createObservableBaseHandle = (initialValue) => {
     };
     return {
         id,
+        attach,
         addChild,
         getSnapshot,
         isCompleted,
         updateToken,
         hasSubscriber,
-        hasChild,
         hasActiveChild,
         subscribe,
         setNext,
@@ -128,32 +147,30 @@ const tryUpdateNotImplemented = (_updateToken) => {
 
 
 
+
 export const assembleObservable = ({ kind, depth, handle, tryUpdate, tryComplete, complete, extra, }) => {
     function pipe(operator) {
         return operator(
 
 
-        observable);
+        mut_observable);
     }
-    const observable = {
+
+
+
+
+
+    const mut_observable = {
         ...extra,
         id: handle.id,
         kind,
         depth,
         addChild: handle.addChild,
         getSnapshot: handle.getSnapshot,
-        get isCompleted() {
-            return handle.isCompleted();
-        },
-        get updateToken() {
-            return handle.updateToken();
-        },
-        get hasSubscriber() {
-            return handle.hasSubscriber();
-        },
-        get hasChild() {
-            return handle.hasChild();
-        },
+        isCompleted: false,
+        updateToken: handle.updateToken(),
+        hasSubscriber: false,
+        hasChild: false,
         hasActiveChild: handle.hasActiveChild,
         tryUpdate,
         tryComplete,
@@ -161,6 +178,20 @@ export const assembleObservable = ({ kind, depth, handle, tryUpdate, tryComplete
         subscribe: handle.subscribe,
         pipe,
     };
-    return observable;
+    handle.attach({
+        setIsCompleted: (value) => {
+            mut_observable.isCompleted = value;
+        },
+        setUpdateToken: (value) => {
+            mut_observable.updateToken = value;
+        },
+        setHasSubscriber: (value) => {
+            mut_observable.hasSubscriber = value;
+        },
+        setHasChild: (value) => {
+            mut_observable.hasChild = value;
+        },
+    });
+    return mut_observable;
 };
 //# sourceMappingURL=create-observable-base.mjs.map

package/dist/core/base/create-observable-base.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"create-observable-base.mjs","sourceRoot":"","sources":["../../../src/core/base/create-observable-base.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAoB3C,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,GACb,MAAM,oBAAoB,CAAC;AA6C5B,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,YAAyB,EACA,EAAE;IAC3B,MAAM,EAAE,GAAG,iBAAiB,EAAE,CAAC;IAE/B,IAAI,YAAY,GAAwC,EAAE,CAAC;IAE3D,MAAM,eAAe,GAA4C,IAAI,GAAG,EAAE,CAAC;IAE3E,IAAI,gBAAgB,GAAgB,YAAY,CAAC;IAEjD,IAAI,eAAe,GAAG,KAAK,CAAC;IAE5B,IAAI,eAAe,GAAgB,gBAAgB,EAAE,CAAC;IAEtD,MAAM,aAAa,GAAG,CAAC,CAAgB,EAAgB,EAAE;QACvD,oCAAoC;QACpC,MAAM,YAAY,GAAG,iBAAiB,EAAE,CAAC;QAEzC,eAAe,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QAErC,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,gBAAgB,GAAG,CAAC,YAA0B,EAAQ,EAAE;QAC5D,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,CAAK,KAAyB,EAAQ,EAAE;QACvD,YAAY,GAAG,GAAG,CAAC,QAAQ,CACzB,YAAY,EAEZ,KAAiC,CAClC,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,GAAgB,EAAE,CAAC,gBAAgB,CAAC;IAExD,MAAM,WAAW,GAAG,GAAY,EAAE,CAAC,eAAe,CAAC;IAEnD,MAAM,WAAW,GAAG,GAAgB,EAAE,CAAC,eAAe,CAAC;IAEvD,MAAM,aAAa,GAAG,GAAY,EAAE,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC;IAE9D,MAAM,QAAQ,GAAG,GAAY,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAE7D,MAAM,cAAc,GAAG,GAAY,EAAE,CACnC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAE3C,MAAM,OAAO,GAAG,CAAC,SAAY,EAAE,eAA4B,EAAQ,EAAE;QACnE,eAAe,GAAG,eAAe,CAAC;QAElC,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE5C,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,GAAS,EAAE;QAC9B,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO,CAAC,sBAAsB;QAChC,CAAC;QAED,eAAe;QACf,eAAe,GAAG,IAAI,CAAC;QAEvB,wCAAwC;QACxC,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,CAAC,CAAC,UAAU,EAAE,CAAC;QACjB,CAAC;QAED,yBAAyB;QACzB,eAAe,CAAC,KAAK,EAAE,CAAC;QAExB,wBAAwB;QACxB,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,CAAC,CAAC,WAAW,EAAE,CAAC;QAClB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAChB,MAAsB,EACtB,UAAuB,EACT,EAAE;QAChB,aAAa;QACb,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;QAE3B,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QAED,IAAI,eAAe,EAAE,CAAC;YACpB,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,UAAU,EAAE,CAAC;YACf,CAAC;YAED,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,CAAC;QACnC,CAAC;QAED,MAAM,YAAY,GAAiB,aAAa,CAC9C,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CACjC,CAAC;QAEF,OAAO;YACL,WAAW,EAAE,GAAG,EAAE;gBAChB,gBAAgB,CAAC,YAAY,CAAC,CAAC;YACjC,CAAC;SACF,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO;QACL,EAAE;QACF,QAAQ;QACR,WAAW;QACX,WAAW;QACX,WAAW;QACX,aAAa;QACb,QAAQ;QACR,cAAc;QACd,SAAS;QACT,OAAO;QACP,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAaF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,MAA+B,EACJ,EAAE;IAC7B,IAAI,oBAAoB,GAAwC,EAAE,CAAC;IAEnE,MAAM,oBAAoB,GAA6B,IAAI,GAAG,EAAE,CAAC;IAEjE,MAAM,aAAa,GAAG,CAAK,KAAyB,EAAQ,EAAE;QAC5D,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YACvC,OAAO;QACT,CAAC;QAED,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAEnC,MAAM,SAAS,GAAG,YAAY,CAC5B,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EACxC,KAAK,CAAC,KAAK,CACZ,CAAC;QAEF,oBAAoB,GAAG,GAAG,CAAC,UAAU,CACnC,oBAAoB,EACpB,SAAS,EACT,KAAK,CACN,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,SAAY,EAAQ,EAAE;QACzC,MAAM,WAAW,GAAG,gBAAgB,EAAE,CAAC;QAEvC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAEvC,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACrC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAElC,EAAE,CAAC,uBAAuB,CAAC;AAEtC,MAAM,uBAAuB,GAAG,CAAC,YAAyB,EAAQ,EAAE;IAClE,wEAAwE;IACxE,yEAAyE;IACzE,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,+CAA+C;IAC/C,WAAW,EAAE,CAAC;AAChB,CAAC,CAAC;AAsBF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAIhC,EACA,IAAI,EACJ,KAAK,EACL,MAAM,EACN,SAAS,EACT,WAAW,EACX,QAAQ,EACR,KAAK,GACkC,EAKpC,EAAE;IAOL,SAAS,IAAI,CAAI,QAAwB;QACvC,OAAO,QAAQ;QACb,4DAA4D;QAC5D,oEAAoE;QACpE,UAAiD,CAClD,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,GAAG,KAAK;QAER,EAAE,EAAE,MAAM,CAAC,EAAE;QAEb,IAAI;QAEJ,KAAK;QAEL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QAEzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAE/B,IAAI,WAAW;YACb,OAAO,MAAM,CAAC,WAAW,EAAE,CAAC;QAC9B,CAAC;QAED,IAAI,WAAW;YACb,OAAO,MAAM,CAAC,WAAW,EAAE,CAAC;QAC9B,CAAC;QAED,IAAI,aAAa;YACf,OAAO,MAAM,CAAC,aAAa,EAAE,CAAC;QAChC,CAAC;QAED,IAAI,QAAQ;YACV,OAAO,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC3B,CAAC;QAED,cAAc,EAAE,MAAM,CAAC,cAAc;QAErC,SAAS;QAET,WAAW;QAEX,QAAQ;QAER,SAAS,EAAE,MAAM,CAAC,SAAS;QAE3B,IAAI;KACI,CAAC;IAEX,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC"}
+{"version":3,"file":"create-observable-base.mjs","sourceRoot":"","sources":["../../../src/core/base/create-observable-base.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAoB3C,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAyF5B,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,YAAyB,EACA,EAAE;IAC3B,MAAM,EAAE,GAAG,iBAAiB,EAAE,CAAC;IAE/B,IAAI,YAAY,GAAwC,EAAE,CAAC;IAE3D,MAAM,eAAe,GAA4C,IAAI,GAAG,EAAE,CAAC;IAE3E,IAAI,gBAAgB,GAAgB,YAAY,CAAC;IAEjD,IAAI,eAAe,GAAG,KAAK,CAAC;IAE5B,IAAI,eAAe,GAAgB,gBAAgB,EAAE,CAAC;IAEtD;;;;;OAKG;IACH,IAAI,WAA+C,CAAC;IAEpD,MAAM,MAAM,GAAG,CAAC,OAA+B,EAAQ,EAAE;QACvD,WAAW,GAAG,OAAO,CAAC;QAEtB,OAAO,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;QAExC,OAAO,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;QAExC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAEnD,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,CAAgB,EAAgB,EAAE;QACvD,oCAAoC;QACpC,MAAM,YAAY,GAAG,iBAAiB,EAAE,CAAC;QAEzC,eAAe,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QAErC,WAAW,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAEpC,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,gBAAgB,GAAG,CAAC,YAA0B,EAAQ,EAAE;QAC5D,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAErC,WAAW,EAAE,gBAAgB,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,CAAK,KAAyB,EAAQ,EAAE;QACvD,YAAY,GAAG,GAAG,CAAC,QAAQ,CACzB,YAAY,EAEZ,KAAiC,CAClC,CAAC;QAEF,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,GAAgB,EAAE,CAAC,gBAAgB,CAAC;IAExD,MAAM,WAAW,GAAG,GAAY,EAAE,CAAC,eAAe,CAAC;IAEnD,MAAM,WAAW,GAAG,GAAgB,EAAE,CAAC,eAAe,CAAC;IAEvD,MAAM,aAAa,GAAG,GAAY,EAAE,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC;IAE9D,MAAM,cAAc,GAAG,GAAY,EAAE,CACnC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAE3C,MAAM,OAAO,GAAG,CAAC,SAAY,EAAE,eAA4B,EAAQ,EAAE;QACnE,eAAe,GAAG,eAAe,CAAC;QAElC,WAAW,EAAE,cAAc,CAAC,eAAe,CAAC,CAAC;QAE7C,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE5C,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,GAAS,EAAE;QAC9B,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO,CAAC,sBAAsB;QAChC,CAAC;QAED,eAAe;QACf,eAAe,GAAG,IAAI,CAAC;QAEvB,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;QAElC,wCAAwC;QACxC,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,CAAC,CAAC,UAAU,EAAE,CAAC;QACjB,CAAC;QAED,yBAAyB;QACzB,eAAe,CAAC,KAAK,EAAE,CAAC;QAExB,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAErC,wBAAwB;QACxB,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,CAAC,CAAC,WAAW,EAAE,CAAC;QAClB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAChB,MAAsB,EACtB,UAAuB,EACT,EAAE;QAChB,aAAa;QACb,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;QAE3B,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QAED,IAAI,eAAe,EAAE,CAAC;YACpB,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,UAAU,EAAE,CAAC;YACf,CAAC;YAED,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,CAAC;QACnC,CAAC;QAED,MAAM,YAAY,GAAiB,aAAa,CAC9C,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CACjC,CAAC;QAEF,OAAO;YACL,WAAW,EAAE,GAAG,EAAE;gBAChB,gBAAgB,CAAC,YAAY,CAAC,CAAC;YACjC,CAAC;SACF,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO;QACL,EAAE;QACF,MAAM;QACN,QAAQ;QACR,WAAW;QACX,WAAW;QACX,WAAW;QACX,aAAa;QACb,cAAc;QACd,SAAS;QACT,OAAO;QACP,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAaF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,MAA+B,EACJ,EAAE;IAC7B,IAAI,oBAAoB,GAAwC,EAAE,CAAC;IAEnE,MAAM,oBAAoB,GAA6B,IAAI,GAAG,EAAE,CAAC;IAEjE,MAAM,aAAa,GAAG,CAAK,KAAyB,EAAQ,EAAE;QAC5D,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YACvC,OAAO;QACT,CAAC;QAED,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAEnC,MAAM,SAAS,GAAG,YAAY,CAC5B,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EACxC,KAAK,CAAC,KAAK,CACZ,CAAC;QAEF,oBAAoB,GAAG,GAAG,CAAC,UAAU,CACnC,oBAAoB,EACpB,SAAS,EACT,KAAK,CACN,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,SAAY,EAAQ,EAAE;QACzC,MAAM,WAAW,GAAG,gBAAgB,EAAE,CAAC;QAEvC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAEvC,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACrC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAElC,EAAE,CAAC,uBAAuB,CAAC;AAEtC,MAAM,uBAAuB,GAAG,CAAC,YAAyB,EAAQ,EAAE;IAClE,wEAAwE;IACxE,yEAAyE;IACzE,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,+CAA+C;IAC/C,WAAW,EAAE,CAAC;AAChB,CAAC,CAAC;AAuBF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAIhC,EACA,IAAI,EACJ,KAAK,EACL,MAAM,EACN,SAAS,EACT,WAAW,EACX,QAAQ,EACR,KAAK,GACkC,EAKpC,EAAE;IAOL,SAAS,IAAI,CAAI,QAAwB;QACvC,OAAO,QAAQ;QACb,4DAA4D;QAC5D,oEAAoE;QACpE,cAAqD,CACtD,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,uDAAuD;IACvD,MAAM,cAAc,GAAG;QACrB,GAAG,KAAK;QAER,EAAE,EAAE,MAAM,CAAC,EAAE;QAEb,IAAI;QAEJ,KAAK;QAEL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QAEzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAE/B,WAAW,EAAE,KAAK;QAElB,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE;QAEjC,aAAa,EAAE,KAAK;QAEpB,QAAQ,EAAE,KAAK;QAEf,cAAc,EAAE,MAAM,CAAC,cAAc;QAErC,SAAS;QAET,WAAW;QAEX,QAAQ;QAER,SAAS,EAAE,MAAM,CAAC,SAAS;QAE3B,IAAI;KACL,CAAC;IAEF,MAAM,CAAC,MAAM,CAAC;QACZ,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE;YACxB,cAAc,CAAC,WAAW,GAAG,KAAK,CAAC;QACrC,CAAC;QAED,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE;YACxB,cAAc,CAAC,WAAW,GAAG,KAAK,CAAC;QACrC,CAAC;QAED,gBAAgB,EAAE,CAAC,KAAK,EAAE,EAAE;YAC1B,cAAc,CAAC,aAAa,GAAG,KAAK,CAAC;QACvC,CAAC;QAED,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE;YACrB,cAAc,CAAC,QAAQ,GAAG,KAAK,CAAC;QAClC,CAAC;KACF,CAAC,CAAC;IAEH,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "synstate",
-  "version": "3.0.5",
+  "version": "3.0.6",
   "description": "Type-safe State Management Library for TypeScript/JavaScript",
   "repository": {
     "type": "git",
@@ -39,7 +39,7 @@
     "@types/react": "19.3.0",
     "@vitest/browser-playwright": "5.0.1",
     "argparse": "3.0.2",
-    "eslint-config-typed": "5.15.0",
+    "eslint-config-typed": "5.15.1",
     "eslint-plugin-ts-data-forge": "0.8.1",
     "eslint-plugin-ts-fortress": "1.2.3",
     "eslint-plugin-ts-type-forge": "0.8.4",
@@ -51,8 +51,8 @@
     "prettier-plugin-packagejson": "3.0.2",
     "react": "19.3.0",
     "rxjs": "7.8.2",
-    "synstate-react-hooks": "3.0.5",
-    "synstate-react-hooks-compat": "3.0.5",
+    "synstate-react-hooks": "3.0.6",
+    "synstate-react-hooks-compat": "3.0.6",
     "ts-repo-utils": "10.7.1",
     "valtio": "2.3.2",
     "zustand": "5.0.15"

package/src/core/base/create-observable-base.mts

@@ -42,6 +42,38 @@ import {
 export type ObservableBaseHandle<A> = Readonly<{
   id: ObservableId;
 
+  /**
+   * Registers the public object {@link assembleObservable} built from this
+   * handle, so that its four state flags (`isCompleted`, `updateToken`,
+   * `hasSubscriber`, `hasChild`) can be mirrored onto it as plain data
+   * properties.
+   *
+   * They used to be getters delegating to this handle's closures, and that
+   * costs more than it looks. Reading one was an accessor call plus a closure
+   * call where a field read would do — `updateToken` is read once per child
+   * per update, so the propagation path paid it on every step — and an object
+   * literal carrying accessors is far more expensive to create than one
+   * carrying data, which is most of what building a graph costs. Measured on
+   * one machine with `pnpm run benchmark`: the derived chain's 100,000 updates
+   * 16.7 ms -> 13.6 ms, and the cascaded diamond at N=20, whose measurement is
+   * dominated by graph construction, 587 ms -> 362 ms.
+   *
+   * Every write below therefore has to keep the mirror in step; that is the
+   * price of not reading through a closure on the hot path. It is paid in
+   * clarity too, and on purpose: `hasSubscriber` and `hasChild` are derived
+   * from `mut_subscribers` and `mut_children`, which a getter stated once and
+   * declaratively, whereas the mirror restates it at every write.
+   *
+   * Nor can the rarely read flags alone go back to getters while `updateToken`
+   * stays data. A single accessor in the literal is enough to lose nearly all
+   * of the gain: measured on Node 26 with the `...extra` spread followed by
+   * these properties, one getter among data properties made the literal about
+   * 10x slower to create than all data (four getters: about 15x) and gave
+   * every instance its own hidden class (`%HaveSameMap` false). Keep all four
+   * as data, or measure again before changing that.
+   */
+  attach: (writers: ObservableStateWriters) => void;
+
   addChild: <B>(child: ChildObservable<B>) => void;
 
   getSnapshot: () => Optional<A>;
@@ -52,8 +84,6 @@ export type ObservableBaseHandle<A> = Readonly<{
 
   hasSubscriber: () => boolean;
 
-  hasChild: () => boolean;
-
   hasActiveChild: () => boolean;
 
   subscribe: (onNext: (v: A) => void, onComplete?: () => void) => Subscription;
@@ -70,6 +100,20 @@ export type ObservableBaseHandle<A> = Readonly<{
   completeBase: () => void;
 }>;
 
+/**
+ * How the handle writes the four state flags onto the public object. The
+ * writers are closures over that object rather than the object itself, because
+ * a parameter this side could mutate has to be a mutable type, which
+ * `@typescript-eslint/prefer-readonly-parameter-types` rejects — and the object
+ * is `Readonly` to everyone else.
+ */
+type ObservableStateWriters = Readonly<{
+  setIsCompleted: (value: boolean) => void;
+  setUpdateToken: (value: UpdateToken) => void;
+  setHasSubscriber: (value: boolean) => void;
+  setHasChild: (value: boolean) => void;
+}>;
+
 export const createObservableBaseHandle = <A,>(
   initialValue: Optional<A>,
 ): ObservableBaseHandle<A> => {
@@ -85,17 +129,41 @@ export const createObservableBaseHandle = <A,>(
 
   let mut_updateToken: UpdateToken = issueUpdateToken();
 
+  /**
+   * Set once {@link assembleObservable} has built the public object. It does
+   * not exist while a leaf factory's `init` callback runs — that callback may
+   * already subscribe or complete — so every write below is optional, and
+   * `attach` copies the state as it stands rather than assuming defaults.
+   */
+  let mut_writers: ObservableStateWriters | undefined;
+
+  const attach = (writers: ObservableStateWriters): void => {
+    mut_writers = writers;
+
+    writers.setIsCompleted(mut_isCompleted);
+
+    writers.setUpdateToken(mut_updateToken);
+
+    writers.setHasSubscriber(mut_subscribers.size > 0);
+
+    writers.setHasChild(Arr.isNonEmpty(mut_children));
+  };
+
   const addSubscriber = (s: Subscriber<A>): SubscriberId => {
     // return the id of added subscriber
     const subscriberId = issueSubscriberId();
 
     mut_subscribers.set(subscriberId, s);
 
+    mut_writers?.setHasSubscriber(true);
+
     return subscriberId;
   };
 
   const removeSubscriber = (subscriberId: SubscriberId): void => {
     mut_subscribers.delete(subscriberId);
+
+    mut_writers?.setHasSubscriber(mut_subscribers.size > 0);
   };
 
   const addChild = <B,>(child: ChildObservable<B>): void => {
@@ -104,6 +172,8 @@ export const createObservableBaseHandle = <A,>(
 
       child as ChildObservable<unknown>,
     );
+
+    mut_writers?.setHasChild(true);
   };
 
   const getSnapshot = (): Optional<A> => mut_currentValue;
@@ -114,14 +184,14 @@ export const createObservableBaseHandle = <A,>(
 
   const hasSubscriber = (): boolean => mut_subscribers.size > 0;
 
-  const hasChild = (): boolean => Arr.isNonEmpty(mut_children);
-
   const hasActiveChild = (): boolean =>
     mut_children.some((c) => !c.isCompleted);
 
   const setNext = (nextValue: A, nextUpdateToken: UpdateToken): void => {
     mut_updateToken = nextUpdateToken;
 
+    mut_writers?.setUpdateToken(nextUpdateToken);
+
     mut_currentValue = Optional.some(nextValue);
 
     for (const s of mut_subscribers.values()) {
@@ -137,6 +207,8 @@ export const createObservableBaseHandle = <A,>(
     // change state
     mut_isCompleted = true;
 
+    mut_writers?.setIsCompleted(true);
+
     // run subscribers for the current value
     for (const s of mut_subscribers.values()) {
       s.onComplete();
@@ -145,6 +217,8 @@ export const createObservableBaseHandle = <A,>(
     // remove all subscribers
     mut_subscribers.clear();
 
+    mut_writers?.setHasSubscriber(false);
+
     // propagate to children
     for (const o of mut_children) {
       o.tryComplete();
@@ -183,12 +257,12 @@ export const createObservableBaseHandle = <A,>(
 
   return {
     id,
+    attach,
     addChild,
     getSnapshot,
     isCompleted,
     updateToken,
     hasSubscriber,
-    hasChild,
     hasActiveChild,
     subscribe,
     setNext,
@@ -282,8 +356,9 @@ type AssembleObservableArgs<
   /**
    * Kind-specific public members (`parents`, `addDescendant`) and leaf
    * extensions (`next`, `start`). They are merged here, in the one place the
-   * final object literal is created, because the public getters below must not
-   * be copied by a spread (spreading would freeze their current values).
+   * final object literal is created, because the handle keeps the state flags
+   * up to date on that object alone: a copy made by spreading it afterwards
+   * would freeze their current values.
    */
   extra: Extra;
 }>;
@@ -291,9 +366,10 @@ type AssembleObservableArgs<
 /**
  * Builds the public observable object from a base handle. This replaces the
  * implicit assembly a `class` performs: state stays in the handle's closures,
- * `isCompleted` / `updateToken` / `hasSubscriber` / `hasChild` become getters
- * delegating to the handle, and the kind-specific behavior (`tryUpdate`,
- * `tryComplete`, `complete`) is passed in already composed.
+ * `isCompleted` / `updateToken` / `hasSubscriber` / `hasChild` become data
+ * properties the handle keeps in step through `attach`, and the kind-specific
+ * behavior (`tryUpdate`, `tryComplete`, `complete`) is passed in already
+ * composed.
  */
 export const assembleObservable = <
   A,
@@ -323,11 +399,16 @@ export const assembleObservable = <
     return operator(
       // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
       // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-      observable as unknown as InitializedObservable<A>,
+      mut_observable as unknown as InitializedObservable<A>,
     );
   }
 
-  const observable = {
+  // The four state flags are plain data properties kept in step by the handle,
+  // not getters delegating to it — see `ObservableBaseHandle.attach` for the
+  // measurements that decided this. `updateToken` in particular is read once
+  // per child per update, and `tryUpdate` reading a field rather than calling
+  // through an accessor is most of what the change buys.
+  const mut_observable = {
     ...extra,
 
     id: handle.id,
@@ -340,21 +421,13 @@ export const assembleObservable = <
 
     getSnapshot: handle.getSnapshot,
 
-    get isCompleted(): boolean {
-      return handle.isCompleted();
-    },
+    isCompleted: false,
 
-    get updateToken(): UpdateToken {
-      return handle.updateToken();
-    },
+    updateToken: handle.updateToken(),
 
-    get hasSubscriber(): boolean {
-      return handle.hasSubscriber();
-    },
+    hasSubscriber: false,
 
-    get hasChild(): boolean {
-      return handle.hasChild();
-    },
+    hasChild: false,
 
     hasActiveChild: handle.hasActiveChild,
 
@@ -367,7 +440,25 @@ export const assembleObservable = <
     subscribe: handle.subscribe,
 
     pipe,
-  } as const;
+  };
+
+  handle.attach({
+    setIsCompleted: (value) => {
+      mut_observable.isCompleted = value;
+    },
+
+    setUpdateToken: (value) => {
+      mut_observable.updateToken = value;
+    },
+
+    setHasSubscriber: (value) => {
+      mut_observable.hasSubscriber = value;
+    },
+
+    setHasChild: (value) => {
+      mut_observable.hasChild = value;
+    },
+  });
 
-  return observable;
+  return mut_observable;
 };