@praxisjs/core 1.7.0 → 1.8.1

package/dist/signal/computed.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"computed.d.ts","sourceRoot":"","sources":["../../src/signal/computed.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAWjD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CA4DxD"}
+{"version":3,"file":"computed.d.ts","sourceRoot":"","sources":["../../src/signal/computed.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAWnE,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CA8DxD;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAMpG"}

package/dist/signal/computed.js

@@ -1,4 +1,4 @@
-import { activeEffect, runEffect } from "./effect";
+import { activeEffect, cleanupEffectDeps, runEffect } from "./effect";
 import { addSub, removeSub, notifySubs } from "./signal";
 function isComputedRecompute(eff) {
     return eff.__isComputedRecompute === true;
@@ -42,7 +42,9 @@ export function computed(getter) {
         }
         if (dirty) {
             const prevEffect = activeEffect;
-            runEffect(getRecompute());
+            const recomputeEffect = getRecompute();
+            cleanupEffectDeps(recomputeEffect);
+            runEffect(recomputeEffect);
             try {
                 cachedValue = getter();
                 dirty = false;
@@ -63,4 +65,11 @@ export function computed(getter) {
     c.__isComputed = true;
     return c;
 }
+export function writableComputed(getter, setter) {
+    const c = computed(getter);
+    c.set = setter;
+    c.update = (updater) => { setter(updater(c())); };
+    c.__isWritableComputed = true;
+    return c;
+}
 //# sourceMappingURL=computed.js.map

package/dist/signal/computed.js.map

@@ -1 +1 @@
-{"version":3,"file":"computed.js","sourceRoot":"","sources":["../../src/signal/computed.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,SAAS,EAAe,MAAM,UAAU,CAAC;AAChE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAgB,MAAM,UAAU,CAAC;AAIvE,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAQ,GAAkC,CAAC,qBAAqB,KAAK,IAAI,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,QAAQ,CAAI,MAAe;IACzC,IAAI,WAA0B,CAAC;IAC/B,IAAI,KAAK,GAAG,IAAI,CAAC;IAEjB,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,IAAe,EAAE,CAAC;IACjD,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,IAAe,EAAE,CAAC;IAC7C,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,IAAI,SAAS,GAA6B,IAAI,CAAC;IAE/C,SAAS,YAAY;QACnB,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACzC,SAAS,GAAG,SAAS,SAAS;YAC5B,IAAI,KAAK;gBAAE,OAAO;YAClB,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,cAAc,CAAC,IAAI,KAAK,IAAI;gBAAE,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzE,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC3C,SAAS,GAAG,IAAI,CAAC;gBACjB,cAAc,CAAC,GAAG,EAAE;oBAClB,SAAS,GAAG,KAAK,CAAC;oBAClB,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI;wBAAE,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACnE,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAsB,CAAC;QACvB,SAAS,CAAC,qBAAqB,GAAG,IAAI,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,SAAS,IAAI;QACX,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,IAAI,mBAAmB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;YACvC,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,UAAU,GAAG,YAAY,CAAC;YAChC,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC;YAC1B,IAAI,CAAC;gBACH,WAAW,GAAG,MAAM,EAAE,CAAC;gBACvB,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;oBAAS,CAAC;gBACT,SAAS,CAAC,UAAU,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,OAAO,WAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,CAAC,GAAG,IAAmB,CAAC;IAE9B,CAAC,CAAC,SAAS,GAAG,CAAC,EAAsB,EAAE,EAAE;QACvC,MAAM,OAAO,GAAW,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5B,OAAO,EAAE,CAAC;QACV,OAAO,GAAG,EAAE,GAAG,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC;IAEF,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;IACtB,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"computed.js","sourceRoot":"","sources":["../../src/signal/computed.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,SAAS,EAA6B,MAAM,UAAU,CAAC;AACjG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAIzD,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAQ,GAAkC,CAAC,qBAAqB,KAAK,IAAI,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,QAAQ,CAAI,MAAe;IACzC,IAAI,WAA0B,CAAC;IAC/B,IAAI,KAAK,GAAG,IAAI,CAAC;IAEjB,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,IAAe,EAAE,CAAC;IACjD,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,IAAe,EAAE,CAAC;IAC7C,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,IAAI,SAAS,GAA6B,IAAI,CAAC;IAE/C,SAAS,YAAY;QACnB,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACzC,SAAS,GAAG,SAAS,SAAS;YAC5B,IAAI,KAAK;gBAAE,OAAO;YAClB,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,cAAc,CAAC,IAAI,KAAK,IAAI;gBAAE,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzE,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC3C,SAAS,GAAG,IAAI,CAAC;gBACjB,cAAc,CAAC,GAAG,EAAE;oBAClB,SAAS,GAAG,KAAK,CAAC;oBAClB,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI;wBAAE,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACnE,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAsB,CAAC;QACvB,SAAS,CAAC,qBAAqB,GAAG,IAAI,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,SAAS,IAAI;QACX,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,IAAI,mBAAmB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;YACvC,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,UAAU,GAAG,YAAY,CAAC;YAChC,MAAM,eAAe,GAAG,YAAY,EAAE,CAAC;YACvC,iBAAiB,CAAC,eAAe,CAAC,CAAC;YACnC,SAAS,CAAC,eAAe,CAAC,CAAC;YAC3B,IAAI,CAAC;gBACH,WAAW,GAAG,MAAM,EAAE,CAAC;gBACvB,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;oBAAS,CAAC;gBACT,SAAS,CAAC,UAAU,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,OAAO,WAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,CAAC,GAAG,IAAmB,CAAC;IAE9B,CAAC,CAAC,SAAS,GAAG,CAAC,EAAsB,EAAE,EAAE;QACvC,MAAM,OAAO,GAAW,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5B,OAAO,EAAE,CAAC;QACV,OAAO,GAAG,EAAE,GAAG,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC;IAEF,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;IACtB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAI,MAAe,EAAE,MAA0B;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAwB,CAAC;IAClD,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC;IACf,CAAC,CAAC,MAAM,GAAG,CAAC,OAAO,EAAE,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,oBAAoB,GAAG,IAAI,CAAC;IAC9B,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/signal/effect.d.ts

@@ -1,5 +1,11 @@
 export type Effect = () => void;
+export type SubList = Effect | Effect[] | null;
+export interface SubscriberHolder {
+    subs: SubList;
+}
 export declare let activeEffect: Effect | null;
+export declare function recordDependency(eff: Effect, holder: SubscriberHolder): void;
+export declare function cleanupEffectDeps(eff: Effect): void;
 export declare function track(effect: Effect): void;
 export declare function runEffect(effect: Effect | null): void;
 export declare function untrack<T>(fn: () => T): T;

package/dist/signal/effect.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../src/signal/effect.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC;AAEhC,eAAO,IAAI,YAAY,EAAE,MAAM,GAAG,IAAW,CAAC;AAG9C,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,QASnC;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,QAE9C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAQzC;AAGD,KAAK,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC;AAEnC,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,OAAO,SAkBd,IAAI,CAK7B"}
+{"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../src/signal/effect.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC;AAChC,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;AAC/C,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,OAAO,CAAC;CACf;AAID,eAAO,IAAI,YAAY,EAAE,MAAM,GAAG,IAAW,CAAC;AAe9C,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAI5E;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAMnD;AAED,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,QAUnC;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,QAE9C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAQzC;AAGD,KAAK,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC;AAEnC,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,OAAO,SAmBd,IAAI,CAO7B"}

package/dist/signal/effect.js

@@ -1,6 +1,36 @@
 export let activeEffect = null;
 const effectStack = [];
+function removeTrackedSub(holder, eff) {
+    const subs = holder.subs;
+    if (subs === null)
+        return;
+    if (typeof subs === "function") {
+        if (subs === eff)
+            holder.subs = null;
+        return;
+    }
+    const idx = subs.indexOf(eff);
+    if (idx >= 0)
+        subs.splice(idx, 1);
+    if (subs.length === 0)
+        holder.subs = null;
+}
+export function recordDependency(eff, holder) {
+    const tracked = eff;
+    tracked.__deps ??= new Set();
+    tracked.__deps.add(holder);
+}
+export function cleanupEffectDeps(eff) {
+    const tracked = eff;
+    const deps = tracked.__deps;
+    if (!deps)
+        return;
+    for (const holder of deps)
+        removeTrackedSub(holder, eff);
+    deps.clear();
+}
 export function track(effect) {
+    cleanupEffectDeps(effect);
     effectStack.push(effect);
     activeEffect = effect;
     try {
@@ -30,6 +60,7 @@ export function effect(fn) {
     function run() {
         if (stopped)
             return;
+        cleanupEffectDeps(run);
         cleanup?.();
         const prev = activeEffect;
         activeEffect = run;
@@ -42,7 +73,10 @@ export function effect(fn) {
     }
     run();
     return function stop() {
+        if (stopped)
+            return;
         stopped = true;
+        cleanupEffectDeps(run);
         cleanup?.();
         cleanup = undefined;
     };

package/dist/signal/effect.js.map

@@ -1 +1 @@
-{"version":3,"file":"effect.js","sourceRoot":"","sources":["../../src/signal/effect.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,IAAI,YAAY,GAAkB,IAAI,CAAC;AAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;AAEjC,MAAM,UAAU,KAAK,CAAC,MAAc;IAClC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,YAAY,GAAG,MAAM,CAAC;IACtB,IAAI,CAAC;QACH,MAAM,EAAE,CAAC;IACX,CAAC;YAAS,CAAC;QACT,WAAW,CAAC,GAAG,EAAE,CAAC;QAClB,YAAY,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAqB;IAC7C,YAAY,GAAG,MAAM,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CAAI,EAAW;IACpC,MAAM,IAAI,GAAG,YAAY,CAAC;IAC1B,YAAY,GAAG,IAAI,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;AACH,CAAC;AAKD,MAAM,UAAU,MAAM,CAAC,EAAiB;IACtC,IAAI,OAAgB,CAAC;IACrB,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,SAAS,GAAG;QACV,IAAI,OAAO;YAAE,OAAO;QACpB,OAAO,EAAE,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,YAAY,CAAC;QAC1B,YAAY,GAAG,GAAG,CAAC;QACnB,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,EAAE,CAAC;QACjB,CAAC;gBAAS,CAAC;YACT,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;IACH,CAAC;IAED,GAAG,EAAE,CAAC;IAEN,OAAO,SAAS,IAAI;QAClB,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,EAAE,EAAE,CAAC;QACZ,OAAO,GAAG,SAAS,CAAC;IACtB,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"effect.js","sourceRoot":"","sources":["../../src/signal/effect.ts"],"names":[],"mappings":"AAQA,MAAM,CAAC,IAAI,YAAY,GAAkB,IAAI,CAAC;AAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;AAEjC,SAAS,gBAAgB,CAAC,MAAwB,EAAE,GAAW;IAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO;IAC1B,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;QACrC,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,GAAG,IAAI,CAAC;QAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAW,EAAE,MAAwB;IACpE,MAAM,OAAO,GAAG,GAAoB,CAAC;IACrC,OAAO,CAAC,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;IAC7B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,MAAM,OAAO,GAAG,GAAoB,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,KAAK,MAAM,MAAM,IAAI,IAAI;QAAE,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC;AACf,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,MAAc;IAClC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1B,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,YAAY,GAAG,MAAM,CAAC;IACtB,IAAI,CAAC;QACH,MAAM,EAAE,CAAC;IACX,CAAC;YAAS,CAAC;QACT,WAAW,CAAC,GAAG,EAAE,CAAC;QAClB,YAAY,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAqB;IAC7C,YAAY,GAAG,MAAM,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CAAI,EAAW;IACpC,MAAM,IAAI,GAAG,YAAY,CAAC;IAC1B,YAAY,GAAG,IAAI,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;AACH,CAAC;AAKD,MAAM,UAAU,MAAM,CAAC,EAAiB;IACtC,IAAI,OAAgB,CAAC;IACrB,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,SAAS,GAAG;QACV,IAAI,OAAO;YAAE,OAAO;QACpB,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACvB,OAAO,EAAE,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,YAAY,CAAC;QAC1B,YAAY,GAAG,GAAG,CAAC;QACnB,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,EAAE,CAAC;QACjB,CAAC;gBAAS,CAAC;YACT,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;IACH,CAAC;IAED,GAAG,EAAE,CAAC;IAEN,OAAO,SAAS,IAAI;QAClB,IAAI,OAAO;YAAE,OAAO;QACpB,OAAO,GAAG,IAAI,CAAC;QACf,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACvB,OAAO,EAAE,EAAE,CAAC;QACZ,OAAO,GAAG,SAAS,CAAC;IACtB,CAAC,CAAC;AACJ,CAAC"}

package/dist/signal/index.d.ts

@@ -1,7 +1,7 @@
 export { batch } from "./batch";
 export { peek } from "./peek";
 export { signal } from "./signal";
-export { computed } from "./computed";
+export { computed, writableComputed } from "./computed";
 export { type PersistedSignalOptions, persistedSignal } from "./persisted";
 export { type SyncedSignal, syncedSignal } from "./synced";
 export { effect, untrack } from "./effect";

package/dist/signal/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/signal/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,KAAK,sBAAsB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,KAAK,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/signal/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,KAAK,sBAAsB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,KAAK,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC"}

package/dist/signal/index.js

@@ -1,7 +1,7 @@
 export { batch } from "./batch";
 export { peek } from "./peek";
 export { signal } from "./signal";
-export { computed } from "./computed";
+export { computed, writableComputed } from "./computed";
 export { persistedSignal } from "./persisted";
 export { syncedSignal } from "./synced";
 export { effect, untrack } from "./effect";

package/dist/signal/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/signal/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAA+B,eAAe,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAqB,YAAY,EAAE,MAAM,UAAU,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/signal/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAA+B,eAAe,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAqB,YAAY,EAAE,MAAM,UAAU,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC"}

package/dist/signal/signal.d.ts

@@ -1,12 +1,8 @@
 import type { Signal } from "@praxisjs/shared";
-import { type Effect } from "./effect";
-export type SubList = Effect | Effect[] | null;
-export declare function addSub(holder: {
-    subs: SubList;
-}, eff: Effect): void;
-export declare function removeSub(holder: {
-    subs: SubList;
-}, eff: Effect): void;
+import { type Effect, type SubList, type SubscriberHolder } from "./effect";
+export type { SubList } from "./effect";
+export declare function addSub(holder: SubscriberHolder, eff: Effect): void;
+export declare function removeSub(holder: SubscriberHolder, eff: Effect): void;
 export declare function notifySubs(subs: Exclude<SubList, null>, batching: boolean): void;
 export declare function signal<T>(initialValue: T): Signal<T>;
 //# sourceMappingURL=signal.d.ts.map

package/dist/signal/signal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signal.d.ts","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,UAAU,CAAC;AAErD,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;AAE/C,wBAAgB,MAAM,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CASnE;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAStE;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAoBhF;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CA4BpD"}
+{"version":3,"file":"signal.d.ts","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAGL,KAAK,MAAM,EACX,KAAK,OAAO,EACZ,KAAK,gBAAgB,EACtB,MAAM,UAAU,CAAC;AAElB,YAAY,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAExC,wBAAgB,MAAM,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAUlE;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAUrE;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAqBhF;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CA4BpD"}

package/dist/signal/signal.js

@@ -1,5 +1,5 @@
 import { isBatching, enqueueEffect } from "./batch";
-import { activeEffect } from "./effect";
+import { activeEffect, recordDependency, } from "./effect";
 export function addSub(holder, eff) {
     const subs = holder.subs;
     if (subs === null) {
@@ -13,6 +13,7 @@ export function addSub(holder, eff) {
         if (!subs.includes(eff))
             subs.push(eff);
     }
+    recordDependency(eff, holder);
 }
 export function removeSub(holder, eff) {
     const subs = holder.subs;
@@ -26,6 +27,8 @@ export function removeSub(holder, eff) {
         const idx = subs.indexOf(eff);
         if (idx >= 0)
             subs.splice(idx, 1);
+        if (subs.length === 0)
+            holder.subs = null;
     }
 }
 export function notifySubs(subs, batching) {
@@ -36,14 +39,15 @@ export function notifySubs(subs, batching) {
             subs();
         return;
     }
+    const snapshot = [...subs];
     if (batching) {
-        for (const sub of subs)
+        for (const sub of snapshot)
             enqueueEffect(sub);
         return;
     }
     let lastError;
     let hasError = false;
-    for (const sub of subs) {
+    for (const sub of snapshot) {
         try {
             sub();
         }

package/dist/signal/signal.js.map

@@ -1 +1 @@
-{"version":3,"file":"signal.js","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,YAAY,EAAe,MAAM,UAAU,CAAC;AAIrD,MAAM,UAAU,MAAM,CAAC,MAAyB,EAAE,GAAW;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,CAAC,IAAI,GAAG,GAAG,CAAC;IACpB,CAAC;SAAM,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAyB,EAAE,GAAW;IAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO;IAC1B,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,IAAI,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAA4B,EAAE,QAAiB;IACxE,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,QAAQ;YAAE,aAAa,CAAC,IAAI,CAAC,CAAC;;YAAM,IAAI,EAAE,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,IAAI,SAAkB,CAAC;IACvB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;QACR,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,SAAS,GAAG,CAAC,CAAC;YACd,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IACD,IAAI,QAAQ;QAAE,MAAM,SAAS,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,MAAM,CAAI,YAAe;IACvC,IAAI,KAAK,GAAG,YAAY,CAAC;IACzB,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,IAAe,EAAE,CAAC;IAEzC,SAAS,IAAI;QACX,IAAI,YAAY,KAAK,IAAI;YAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,GAAG,IAAiB,CAAC;IAE5B,CAAC,CAAC,GAAG,GAAG,CAAC,QAAW,EAAE,EAAE;QACtB,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO;QACvC,KAAK,GAAG,QAAQ,CAAC;QACjB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,CAAC,CAAC,MAAM,GAAG,CAAC,EAAkB,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzD,CAAC,CAAC,SAAS,GAAG,CAAC,EAAsB,EAAE,EAAE;QACvC,MAAM,OAAO,GAAW,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxB,OAAO,EAAE,CAAC;QACV,OAAO,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC;IAEF,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACpB,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"signal.js","sourceRoot":"","sources":["../../src/signal/signal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EACL,YAAY,EACZ,gBAAgB,GAIjB,MAAM,UAAU,CAAC;AAIlB,MAAM,UAAU,MAAM,CAAC,MAAwB,EAAE,GAAW;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,CAAC,IAAI,GAAG,GAAG,CAAC;IACpB,CAAC;SAAM,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IACD,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAwB,EAAE,GAAW;IAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO;IAC1B,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,IAAI,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAA4B,EAAE,QAAiB;IACxE,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,QAAQ;YAAE,aAAa,CAAC,IAAI,CAAC,CAAC;;YAAM,IAAI,EAAE,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAC3B,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,MAAM,GAAG,IAAI,QAAQ;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,IAAI,SAAkB,CAAC;IACvB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;QACR,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,SAAS,GAAG,CAAC,CAAC;YACd,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IACD,IAAI,QAAQ;QAAE,MAAM,SAAS,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,MAAM,CAAI,YAAe;IACvC,IAAI,KAAK,GAAG,YAAY,CAAC;IACzB,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,IAAe,EAAE,CAAC;IAEzC,SAAS,IAAI;QACX,IAAI,YAAY,KAAK,IAAI;YAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,GAAG,IAAiB,CAAC;IAE5B,CAAC,CAAC,GAAG,GAAG,CAAC,QAAW,EAAE,EAAE;QACtB,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO;QACvC,KAAK,GAAG,QAAQ,CAAC;QACjB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,CAAC,CAAC,MAAM,GAAG,CAAC,EAAkB,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzD,CAAC,CAAC,SAAS,GAAG,CAAC,EAAsB,EAAE,EAAE;QACvC,MAAM,OAAO,GAAW,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxB,OAAO,EAAE,CAAC;QACV,OAAO,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC;IAEF,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACpB,OAAO,CAAC,CAAC;AACX,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@praxisjs/core",
-  "version": "1.7.0",
+  "version": "1.8.1",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -18,7 +18,7 @@
     "typescript": "^5.9.3"
   },
   "dependencies": {
-    "@praxisjs/shared": "0.2.0"
+    "@praxisjs/shared": "0.3.0"
   },
   "scripts": {
     "build": "tsc",

package/src/__tests__/computed.test.ts

@@ -1,6 +1,6 @@
 import { describe, it, expect, vi } from "vitest";
 
-import { computed } from "../signal/computed";
+import { computed, writableComputed } from "../signal/computed";
 import { signal } from "../signal/signal";
 
 describe("computed", () => {
@@ -131,6 +131,27 @@ describe("computed", () => {
     expect(c()).toBe(21);
   });
 
+  it("dynamic dependency: stale branch changes do not dirty the computed", () => {
+    const toggle = signal(true);
+    const a = signal(10);
+    const b = signal(20);
+    const fn = vi.fn(() => (toggle() ? a() : b()));
+    const c = computed(fn);
+
+    expect(c()).toBe(10);
+    toggle.set(false);
+    expect(c()).toBe(20);
+    expect(fn).toHaveBeenCalledTimes(2);
+
+    a.set(11);
+    expect(c()).toBe(20);
+    expect(fn).toHaveBeenCalledTimes(2);
+
+    b.set(21);
+    expect(c()).toBe(21);
+    expect(fn).toHaveBeenCalledTimes(3);
+  });
+
   it("unsubscribe then re-subscribe works correctly", async () => {
     const s = signal(1);
     const c = computed(() => s() * 3);
@@ -225,3 +246,45 @@ describe("computed", () => {
     }).not.toThrow();
   });
 });
+
+describe("writableComputed", () => {
+  it("read returns the getter value", () => {
+    const s = signal(5);
+    const wc = writableComputed(() => s() * 2, (_v) => { /* no-op */ });
+    expect(wc()).toBe(10);
+  });
+
+  it("set calls the setter", () => {
+    const s = signal(0);
+    const wc = writableComputed(() => s(), (v) => { s.set(v); });
+    wc.set(42);
+    expect(s()).toBe(42);
+    expect(wc()).toBe(42);
+  });
+
+  it("update applies the updater and calls the setter", () => {
+    const s = signal(10);
+    const wc = writableComputed(() => s(), (v) => { s.set(v); });
+    wc.update((current) => current + 5);
+    expect(s()).toBe(15);
+    expect(wc()).toBe(15);
+  });
+
+  it("marks __isWritableComputed = true", () => {
+    const wc = writableComputed(() => 1, (_v) => { /* no-op */ });
+    expect(wc.__isWritableComputed).toBe(true);
+  });
+
+  it("inherits __isComputed = true from computed", () => {
+    const wc = writableComputed(() => 1, (_v) => { /* no-op */ });
+    expect(wc.__isComputed).toBe(true);
+  });
+
+  it("recomputes when underlying signal changes", () => {
+    const s = signal(3);
+    const wc = writableComputed(() => s() * 2, (_v) => { /* no-op */ });
+    expect(wc()).toBe(6);
+    s.set(7);
+    expect(wc()).toBe(14);
+  });
+});

package/src/__tests__/effect.test.ts

@@ -1,6 +1,14 @@
 import { describe, it, expect, vi } from "vitest";
 
-import { effect, track, activeEffect } from "../signal/effect";
+import {
+  effect,
+  track,
+  activeEffect,
+  cleanupEffectDeps,
+  recordDependency,
+  type SubscriberHolder,
+} from "../signal/effect";
+import { batch } from "../signal/batch";
 import { signal } from "../signal/signal";
 
 describe("effect", () => {
@@ -63,6 +71,50 @@ describe("effect", () => {
     expect(values).toEqual([0]); // only initial run
   });
 
+  it("drops dependencies that are no longer read", () => {
+    const useA = signal(true);
+    const a = signal(1);
+    const b = signal(10);
+    const values: number[] = [];
+
+    effect(() => {
+      values.push(useA() ? a() : b());
+    });
+
+    useA.set(false);
+    expect(values).toEqual([1, 10]);
+
+    a.set(2);
+    expect(values).toEqual([1, 10]);
+
+    b.set(20);
+    expect(values).toEqual([1, 10, 20]);
+  });
+
+  it("does not skip other subscribers when one effect changes subscriptions while notifying", () => {
+    const useOther = signal(false);
+    const source = signal(0);
+    const other = signal(100);
+    const first = vi.fn();
+    const second = vi.fn();
+
+    effect(() => {
+      first(useOther() ? other() : source());
+    });
+    effect(() => {
+      second(source());
+    });
+
+    useOther.set(true);
+    first.mockClear();
+    second.mockClear();
+
+    source.set(1);
+
+    expect(first).not.toHaveBeenCalled();
+    expect(second).toHaveBeenCalledWith(1);
+  });
+
   it("effect with no reactive dependencies runs once only", () => {
     const ran = vi.fn();
     effect(() => {
@@ -103,6 +155,45 @@ describe("effect", () => {
     expect(cleanupFn).toHaveBeenCalledTimes(1);
   });
 
+  it("ignores a queued run after the effect was stopped", () => {
+    const s = signal(0);
+    const values: number[] = [];
+    const stop = effect(() => {
+      values.push(s());
+    });
+
+    batch(() => {
+      s.set(1);
+      stop();
+    });
+
+    expect(values).toEqual([0]);
+  });
+
+  it("cleanupEffectDeps handles empty, single, and array dependency holders", () => {
+    const tracked = vi.fn();
+    const other = vi.fn();
+    const emptyHolder: SubscriberHolder = { subs: null };
+    const singleHolder: SubscriberHolder = { subs: tracked };
+    const arrayHolder: SubscriberHolder = { subs: [tracked, other] };
+    const unmatchedSingleHolder: SubscriberHolder = { subs: other };
+    const unmatchedArrayHolder: SubscriberHolder = { subs: [other] };
+
+    recordDependency(tracked, emptyHolder);
+    recordDependency(tracked, singleHolder);
+    recordDependency(tracked, arrayHolder);
+    recordDependency(tracked, unmatchedSingleHolder);
+    recordDependency(tracked, unmatchedArrayHolder);
+
+    cleanupEffectDeps(tracked);
+
+    expect(emptyHolder.subs).toBeNull();
+    expect(singleHolder.subs).toBeNull();
+    expect(arrayHolder.subs).toEqual([other]);
+    expect(unmatchedSingleHolder.subs).toBe(other);
+    expect(unmatchedArrayHolder.subs).toEqual([other]);
+  });
+
   it("exception inside nested track() restores outer activeEffect", () => {
     const s = signal(0);
     const outer = vi.fn();

package/src/__tests__/resource.test.ts

@@ -218,6 +218,22 @@ describe("resource — cache + SWR (key, staleTime)", () => {
     r1.destroy();
     r2.destroy();
   });
+
+  it("key: mutate() updates the shared cache for future resources", async () => {
+    const fetcher = vi.fn(() => Promise.resolve("server-value"));
+    const r1 = resource(fetcher, { key: "mutate-cache", staleTime: 60_000 });
+    await vi.waitFor(() => r1.status() === "success");
+
+    r1.mutate("optimistic-value");
+
+    const r2 = resource(fetcher, { key: "mutate-cache", staleTime: 60_000 });
+    expect(r2.data()).toBe("optimistic-value");
+    expect(r2.status()).toBe("success");
+    await new Promise((res) => setTimeout(res, 10));
+    expect(fetcher).toHaveBeenCalledTimes(1);
+    r1.destroy();
+    r2.destroy();
+  });
 });
 
 describe("resource — deduplication", () => {
@@ -243,6 +259,27 @@ describe("resource — deduplication", () => {
     r1.destroy();
     r2.destroy();
   });
+
+  it("key: cancel() clears the settled in-flight request even when the local result is stale", async () => {
+    let resolveFirst!: (v: string) => void;
+    const fetcher = vi.fn(
+      () => new Promise<string>((res) => { resolveFirst = res; }),
+    );
+
+    const r1 = resource(fetcher, { key: "cancel-inflight" });
+    r1.cancel();
+    resolveFirst("stale");
+    await new Promise((res) => setTimeout(res, 0));
+
+    const r2 = resource(() => Promise.resolve("fresh"), { key: "cancel-inflight" });
+    await vi.waitFor(() => r2.data() === "fresh");
+
+    expect(fetcher).toHaveBeenCalledTimes(1);
+    expect(r1.data()).toBeNull();
+    expect(r2.data()).toBe("fresh");
+    r1.destroy();
+    r2.destroy();
+  });
 });
 
 describe("resource — key + non-Error sync throw in effect", () => {

package/src/__tests__/signal.test.ts

@@ -179,6 +179,25 @@ describe("signal", () => {
     expect(holder.subs).toBe(fn1);
   });
 
+  it("addSub does not add a duplicate subscriber to an array holder", () => {
+    const fn1: Effect = () => {};
+    const fn2: Effect = () => {};
+    const holder: { subs: SubList } = { subs: [fn1, fn2] };
+
+    addSub(holder, fn2);
+
+    expect(holder.subs).toEqual([fn1, fn2]);
+  });
+
+  it("removeSub normalizes an emptied array holder back to null", () => {
+    const fn: Effect = () => {};
+    const holder: { subs: SubList } = { subs: [fn] };
+
+    removeSub(holder, fn);
+
+    expect(holder.subs).toBeNull();
+  });
+
   it("set() with mutated object reference (same ref) does NOT notify — Object.is semantics", () => {
     const obj = { count: 0 };
     const s = signal(obj);

package/src/async/resource.ts

@@ -60,6 +60,10 @@ export function resource<T>(
   function _execute(fn: Promise<T>): void {
     const currentRunId = ++_runId;
 
+    function clearInflight(): void {
+      if (key && getInflight(key) === fn) deleteInflight(key);
+    }
+
     // untrack: _data.set(result) in the resolve handler must not re-trigger the enclosing effect.
     const hasCachedData = key !== undefined && untrack(() => _data()) !== null;
     if (!keepPreviousData && !hasCachedData) {
@@ -69,19 +73,19 @@ export function resource<T>(
     _status.set("pending");
 
     fn.then((result) => {
+      clearInflight();
       if (currentRunId !== _runId) return;
       _data.set(result);
       _error.set(null);
       _status.set("success");
       if (key) {
         setCacheEntry(key, result);
-        deleteInflight(key);
       }
     }).catch((err: unknown) => {
+      clearInflight();
       if (currentRunId !== _runId) return;
       _error.set(err instanceof Error ? err : new Error(String(err)));
       _status.set("error");
-      if (key) deleteInflight(key);
     });
   }
 
@@ -177,6 +181,7 @@ export function resource<T>(
       _data.set(data);
       _error.set(null);
       _status.set("success");
+      if (key) setCacheEntry(key, data);
     },
     destroy,
   };

package/src/component/base.ts

@@ -19,7 +19,8 @@ export abstract class RootComponent<T extends object = Record<string, never>> {
   onBeforeMount?(): void;
   onMount?(): void;
   onUnmount?(): void;
-  onError?(error: Error): void;
+  // eslint-disable-next-line @typescript-eslint/no-invalid-void-type
+  onError?(error: Error): Node | Node[] | null | undefined | void;
 
   abstract render(): Node | Node[] | null;
 }

package/src/internal.ts

@@ -11,6 +11,7 @@ export {
   syncedSignal,
   peek,
   computed,
+  writableComputed,
   batch,
   effect,
   untrack,

package/src/signal/computed.ts

@@ -1,7 +1,7 @@
-import type { Computed } from "@praxisjs/shared";
+import type { Computed, WritableComputed } from "@praxisjs/shared";
 
-import { activeEffect, runEffect, type Effect } from "./effect";
-import { addSub, removeSub, notifySubs, type SubList } from "./signal";
+import { activeEffect, cleanupEffectDeps, runEffect, type Effect, type SubList } from "./effect";
+import { addSub, removeSub, notifySubs } from "./signal";
 
 type ComputedRecompute = Effect & { __isComputedRecompute: true };
 
@@ -47,7 +47,9 @@ export function computed<T>(getter: () => T): Computed<T> {
     }
     if (dirty) {
       const prevEffect = activeEffect;
-      runEffect(getRecompute());
+      const recomputeEffect = getRecompute();
+      cleanupEffectDeps(recomputeEffect);
+      runEffect(recomputeEffect);
       try {
         cachedValue = getter();
         dirty = false;
@@ -70,3 +72,11 @@ export function computed<T>(getter: () => T): Computed<T> {
   c.__isComputed = true;
   return c;
 }
+
+export function writableComputed<T>(getter: () => T, setter: (value: T) => void): WritableComputed<T> {
+  const c = computed(getter) as WritableComputed<T>;
+  c.set = setter;
+  c.update = (updater) => { setter(updater(c())); };
+  c.__isWritableComputed = true;
+  return c;
+}