@zerolith/state 1.1.0 → 1.3.0

package/dist/history.d.ts

@@ -32,7 +32,11 @@ export interface History<T> {
  * the undone value back. A new checkpoint after an undo starts a new
  * branch, as in most editors, so what was undone is gone. `limit`
  * checkpoints are kept, 50 by default. Each move writes the signal and
- * both flags in one batch, so an effect over them runs once.
+ * both flags in one batch, so an effect over them runs once. Over a
+ * `stored` signal, a write from another tab makes the history forget its
+ * checkpoints, since going back to one would take that change back too;
+ * created inside an owner, the history stops listening for those writes
+ * when the owner is disposed.
  */
 export declare function history<T>(source: Signal<T>, options?: HistoryOptions): History<T>;
 //# sourceMappingURL=history.d.ts.map

package/dist/history.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../src/history.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,MAAM,EAA4B,MAAM,UAAU,CAAC;AAEtF,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAE3B,8IAA8I;IAC9I,KAAK,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,uCAAuC;AACvC,MAAM,WAAW,OAAO,CAAC,CAAC;IAEtB,4HAA4H;IAC5H,UAAU,IAAI,IAAI,CAAC;IACnB,8HAA8H;IAC9H,IAAI,IAAI,OAAO,CAAC;IAChB,6FAA6F;IAC7F,IAAI,IAAI,OAAO,CAAC;IAChB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,+CAA+C;IAC/C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,sGAAsG;IACtG,OAAO,IAAI,IAAI,CAAC;IAChB,oCAAoC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAC9B;AAED;;;;;;;;GAQG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,GAAE,cAAmB,GAAG,OAAO,CAAC,CAAC,CAAC,CA+DtF"}
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../src/history.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,MAAM,EAAiD,MAAM,UAAU,CAAC;AAG3G,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAE3B,8IAA8I;IAC9I,KAAK,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,uCAAuC;AACvC,MAAM,WAAW,OAAO,CAAC,CAAC;IAEtB,4HAA4H;IAC5H,UAAU,IAAI,IAAI,CAAC;IACnB,8HAA8H;IAC9H,IAAI,IAAI,OAAO,CAAC;IAChB,6FAA6F;IAC7F,IAAI,IAAI,OAAO,CAAC;IAChB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,+CAA+C;IAC/C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,sGAAsG;IACtG,OAAO,IAAI,IAAI,CAAC;IAChB,oCAAoC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAC9B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,GAAE,cAAmB,GAAG,OAAO,CAAC,CAAC,CAAC,CAqEtF"}

package/dist/history.js

@@ -2,7 +2,8 @@
  * Undo and redo for a signal, from explicit checkpoints, as an editor
  * keeps them.
  */
-import { batch, signal, untracked } from "zerolith";
+import { batch, hasOwner, onDispose, signal, untracked } from "zerolith";
+import { onOutsideWrite } from "./stored.js";
 /**
  * Undo and redo for `source` from explicit checkpoints: call
  * `checkpoint()` before a change worth undoing, as an editor does before
@@ -10,7 +11,11 @@ import { batch, signal, untracked } from "zerolith";
  * the undone value back. A new checkpoint after an undo starts a new
  * branch, as in most editors, so what was undone is gone. `limit`
  * checkpoints are kept, 50 by default. Each move writes the signal and
- * both flags in one batch, so an effect over them runs once.
+ * both flags in one batch, so an effect over them runs once. Over a
+ * `stored` signal, a write from another tab makes the history forget its
+ * checkpoints, since going back to one would take that change back too;
+ * created inside an owner, the history stops listening for those writes
+ * when the owner is disposed.
  */
 export function history(source, options = {}) {
     const limit = Number.isFinite(options.limit) ? Math.max(1, Math.floor(options.limit)) : 50;
@@ -22,6 +27,15 @@ export function history(source, options = {}) {
         canUndo.set(past.length > 0);
         canRedo.set(future.length > 0);
     };
+    const forget = () => {
+        past.length = 0;
+        future.length = 0;
+        batch(update);
+    };
+    const stop = onOutsideWrite(source, forget);
+    if (hasOwner()) {
+        onDispose(stop);
+    }
     return {
         source,
         canUndo,
@@ -58,11 +72,7 @@ export function history(source, options = {}) {
             });
             return true;
         },
-        dispose() {
-            past.length = 0;
-            future.length = 0;
-            batch(update);
-        }
+        dispose: forget
     };
 }
 //# sourceMappingURL=history.js.map

package/dist/history.js.map

@@ -1 +1 @@
-{"version":3,"file":"history.js","sourceRoot":"","sources":["../src/history.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAoC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AA4BtF;;;;;;;;GAQG;AACH,MAAM,UAAU,OAAO,CAAI,MAAiB,EAAE,OAAO,GAAmB,EAAE;IAEtE,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAe,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrG,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,GAAS,EAAE;QAEtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC;IACF,OAAO;QACH,MAAM;QACN,OAAO;QACP,OAAO;QACP,UAAU;YAEN,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,EACvB,CAAC;gBACG,IAAI,CAAC,KAAK,EAAE,CAAC;YACjB,CAAC;YACD,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;YAClB,KAAK,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC;QACD,IAAI;YAEA,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EACrB,CAAC;gBACG,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAO,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,KAAK,CAAC,GAAG,EAAE;gBAEP,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACrB,MAAM,EAAE,CAAC;YACb,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,IAAI;YAEA,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;gBACG,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAO,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzC,KAAK,CAAC,GAAG,EAAE;gBAEP,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjB,MAAM,EAAE,CAAC;YACb,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO;YAEH,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;YAChB,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;YAClB,KAAK,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC;KACJ,CAAC;AACN,CAAC"}
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../src/history.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAoC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AA4B7C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,OAAO,CAAI,MAAiB,EAAE,OAAO,GAAmB,EAAE;IAEtE,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAe,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrG,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,GAAS,EAAE;QAEtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,GAAS,EAAE;QAEtB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QAClB,KAAK,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,MAAyB,EAAE,MAAM,CAAC,CAAC;IAC/D,IAAI,QAAQ,EAAE,EACd,CAAC;QACG,SAAS,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO;QACH,MAAM;QACN,OAAO;QACP,OAAO;QACP,UAAU;YAEN,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,EACvB,CAAC;gBACG,IAAI,CAAC,KAAK,EAAE,CAAC;YACjB,CAAC;YACD,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;YAClB,KAAK,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC;QACD,IAAI;YAEA,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EACrB,CAAC;gBACG,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAO,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,KAAK,CAAC,GAAG,EAAE;gBAEP,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACrB,MAAM,EAAE,CAAC;YACb,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,IAAI;YAEA,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;gBACG,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAO,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzC,KAAK,CAAC,GAAG,EAAE;gBAEP,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjB,MAAM,EAAE,CAAC;YACb,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,EAAE,MAAM;KAClB,CAAC;AACN,CAAC"}

package/dist/production/history.js

@@ -1,2 +1,2 @@
-import{batch as e,signal as t,untracked as n}from"zerolith";export function history(r,i={}){let a=Number.isFinite(i.limit)?Math.max(1,Math.floor(i.limit)):50,o=[],s=[],c=t(!1),l=t(!1),u=()=>{c.set(o.length>0),l.set(s.length>0)};return{source:r,canUndo:c,canRedo:l,checkpoint(){o.push(n(()=>r.get())),o.length>a&&o.shift(),s.length=0,e(u)},undo(){if(o.length===0)return!1;let t=o.pop();return s.push(n(()=>r.get())),e(()=>{r.set(t),u()}),!0},redo(){if(s.length===0)return!1;let t=s.pop();return o.push(n(()=>r.get())),e(()=>{r.set(t),u()}),!0},dispose(){o.length=0,s.length=0,e(u)}}}
+import{batch as e,hasOwner as t,onDispose as n,signal as r,untracked as i}from"zerolith";import{onOutsideWrite as a}from"./stored.js";export function history(o,s={}){let c=Number.isFinite(s.limit)?Math.max(1,Math.floor(s.limit)):50,l=[],u=[],d=r(!1),f=r(!1),p=()=>{d.set(l.length>0),f.set(u.length>0)},m=()=>{l.length=0,u.length=0,e(p)},h=a(o,m);return t()&&n(h),{source:o,canUndo:d,canRedo:f,checkpoint(){l.push(i(()=>o.get())),l.length>c&&l.shift(),u.length=0,e(p)},undo(){if(l.length===0)return!1;let t=l.pop();return u.push(i(()=>o.get())),e(()=>{o.set(t),p()}),!0},redo(){if(u.length===0)return!1;let t=u.pop();return l.push(i(()=>o.get())),e(()=>{o.set(t),p()}),!0},dispose:m}}
 //# sourceMappingURL=history.js.map

package/dist/production/history.js.map

@@ -1 +1 @@
-{"version":3,"file":"history.js","sources":["../../src/history.ts"],"sourcesContent":["/**\n * Undo and redo for a signal, from explicit checkpoints, as an editor\n * keeps them.\n */\nimport { type ReadableSignal, type Signal, batch, signal, untracked } from \"zerolith\";\n\n/** Options for `history`. */\nexport interface HistoryOptions\n{\n    /** How many checkpoints are kept; the oldest goes when one more is saved. Defaults to 50, which a value that is not a finite number keeps. */\n    limit?: number;\n}\n\n/** The undo and redo of one signal. */\nexport interface History<T>\n{\n    /** Saves the signal's current value as the point `undo()` goes back to, and drops what `redo()` could have brought back. */\n    checkpoint(): void;\n    /** Sets the signal back to the last checkpoint, keeping the current value for `redo()`; false when there is no checkpoint. */\n    undo(): boolean;\n    /** Sets the signal forward to the value the last `undo()` left; false when there is none. */\n    redo(): boolean;\n    /** True while `undo()` has somewhere to go, for a button to follow. */\n    readonly canUndo: ReadableSignal<boolean>;\n    /** True while `redo()` has somewhere to go. */\n    readonly canRedo: ReadableSignal<boolean>;\n    /** Forgets every checkpoint and every value `redo()` could bring back; the signal keeps its value. */\n    dispose(): void;\n    /** The signal the history is of. */\n    readonly source: Signal<T>;\n}\n\n/**\n * Undo and redo for `source` from explicit checkpoints: call\n * `checkpoint()` before a change worth undoing, as an editor does before\n * each edit, and `undo()` sets the signal back to it while `redo()` brings\n * the undone value back. A new checkpoint after an undo starts a new\n * branch, as in most editors, so what was undone is gone. `limit`\n * checkpoints are kept, 50 by default. Each move writes the signal and\n * both flags in one batch, so an effect over them runs once.\n */\nexport function history<T>(source: Signal<T>, options: HistoryOptions = {}): History<T>\n{\n    const limit = Number.isFinite(options.limit) ? Math.max(1, Math.floor(options.limit as number)) : 50;\n    const past: T[] = [];\n    const future: T[] = [];\n    const canUndo = signal(false);\n    const canRedo = signal(false);\n    const update = (): void =>\n    {\n        canUndo.set(past.length > 0);\n        canRedo.set(future.length > 0);\n    };\n    return {\n        source,\n        canUndo,\n        canRedo,\n        checkpoint(): void\n        {\n            past.push(untracked(() => source.get()));\n            if (past.length > limit)\n            {\n                past.shift();\n            }\n            future.length = 0;\n            batch(update);\n        },\n        undo(): boolean\n        {\n            if (past.length === 0)\n            {\n                return false;\n            }\n            const previous = past.pop() as T;\n            future.push(untracked(() => source.get()));\n            batch(() =>\n            {\n                source.set(previous);\n                update();\n            });\n            return true;\n        },\n        redo(): boolean\n        {\n            if (future.length === 0)\n            {\n                return false;\n            }\n            const next = future.pop() as T;\n            past.push(untracked(() => source.get()));\n            batch(() =>\n            {\n                source.set(next);\n                update();\n            });\n            return true;\n        },\n        dispose(): void\n        {\n            past.length = 0;\n            future.length = 0;\n            batch(update);\n        }\n    };\n}\n"],"names":["limit","options","past","future","canUndo","signal","canRedo","update","untracked","source","batch","previous","next"],"mappings":"AAIA,OAA2C,WAAO,YAAQ,mBAAiB,WAqC3E,OAAM,SAAU,QAAW,EAAmB,EAA0B,CAAA,EAAE,CAEtE,IAAMA,EAAQ,OAAO,SAASC,EAAQ,KAAK,EAAI,KAAK,IAAI,EAAG,KAAK,MAAMA,EAAQ,KAAe,CAAC,EAAI,GAC5FC,EAAY,CAAA,EACZC,EAAc,CAAA,EACdC,EAAUC,EAAO,EAAK,EACtBC,EAAUD,EAAO,EAAK,EACtBE,MAAoB,CAEtBH,EAAQ,IAAIF,EAAK,OAAS,CAAC,EAC3BI,EAAQ,IAAIH,EAAO,OAAS,CAAC,CACjC,EACA,MAAO,CACH,SACA,UACA,UACA,YAAU,CAEND,EAAK,KAAKM,MAAgBC,EAAO,IAAG,CAAE,CAAC,EACnCP,EAAK,OAASF,GAEdE,EAAK,MAAK,EAEd,EAAO,OAAS,EAChBQ,EAAMH,CAAM,CAChB,EACA,MAAI,CAEA,GAAIL,EAAK,SAAW,EAEhB,MAAO,GAEX,IAAMS,EAAWT,EAAK,IAAG,EAOzB,OANAC,EAAO,KAAKK,MAAgBC,EAAO,IAAG,CAAE,CAAC,EACzCC,MAAW,CAEPD,EAAO,IAAIE,CAAQ,EACnBJ,EAAM,CACV,CAAC,EACM,EACX,EACA,MAAI,CAEA,GAAIJ,EAAO,SAAW,EAElB,MAAO,GAEX,IAAMS,EAAOT,EAAO,IAAG,EAOvB,OANAD,EAAK,KAAKM,MAAgBC,EAAO,IAAG,CAAE,CAAC,EACvCC,MAAW,CAEPD,EAAO,IAAIG,CAAI,EACfL,EAAM,CACV,CAAC,EACM,EACX,EACA,SAAO,CAEH,EAAK,OAAS,EACd,EAAO,OAAS,EAChBG,EAAMH,CAAM,CAChB,CACH,CACL"}
+{"version":3,"file":"history.js","sources":["../../src/history.ts"],"sourcesContent":["/**\n * Undo and redo for a signal, from explicit checkpoints, as an editor\n * keeps them.\n */\nimport { type ReadableSignal, type Signal, batch, hasOwner, onDispose, signal, untracked } from \"zerolith\";\nimport { onOutsideWrite } from \"./stored.js\";\n\n/** Options for `history`. */\nexport interface HistoryOptions\n{\n    /** How many checkpoints are kept; the oldest goes when one more is saved. Defaults to 50, which a value that is not a finite number keeps. */\n    limit?: number;\n}\n\n/** The undo and redo of one signal. */\nexport interface History<T>\n{\n    /** Saves the signal's current value as the point `undo()` goes back to, and drops what `redo()` could have brought back. */\n    checkpoint(): void;\n    /** Sets the signal back to the last checkpoint, keeping the current value for `redo()`; false when there is no checkpoint. */\n    undo(): boolean;\n    /** Sets the signal forward to the value the last `undo()` left; false when there is none. */\n    redo(): boolean;\n    /** True while `undo()` has somewhere to go, for a button to follow. */\n    readonly canUndo: ReadableSignal<boolean>;\n    /** True while `redo()` has somewhere to go. */\n    readonly canRedo: ReadableSignal<boolean>;\n    /** Forgets every checkpoint and every value `redo()` could bring back; the signal keeps its value. */\n    dispose(): void;\n    /** The signal the history is of. */\n    readonly source: Signal<T>;\n}\n\n/**\n * Undo and redo for `source` from explicit checkpoints: call\n * `checkpoint()` before a change worth undoing, as an editor does before\n * each edit, and `undo()` sets the signal back to it while `redo()` brings\n * the undone value back. A new checkpoint after an undo starts a new\n * branch, as in most editors, so what was undone is gone. `limit`\n * checkpoints are kept, 50 by default. Each move writes the signal and\n * both flags in one batch, so an effect over them runs once. Over a\n * `stored` signal, a write from another tab makes the history forget its\n * checkpoints, since going back to one would take that change back too;\n * created inside an owner, the history stops listening for those writes\n * when the owner is disposed.\n */\nexport function history<T>(source: Signal<T>, options: HistoryOptions = {}): History<T>\n{\n    const limit = Number.isFinite(options.limit) ? Math.max(1, Math.floor(options.limit as number)) : 50;\n    const past: T[] = [];\n    const future: T[] = [];\n    const canUndo = signal(false);\n    const canRedo = signal(false);\n    const update = (): void =>\n    {\n        canUndo.set(past.length > 0);\n        canRedo.set(future.length > 0);\n    };\n    const forget = (): void =>\n    {\n        past.length = 0;\n        future.length = 0;\n        batch(update);\n    };\n    const stop = onOutsideWrite(source as Signal<unknown>, forget);\n    if (hasOwner())\n    {\n        onDispose(stop);\n    }\n    return {\n        source,\n        canUndo,\n        canRedo,\n        checkpoint(): void\n        {\n            past.push(untracked(() => source.get()));\n            if (past.length > limit)\n            {\n                past.shift();\n            }\n            future.length = 0;\n            batch(update);\n        },\n        undo(): boolean\n        {\n            if (past.length === 0)\n            {\n                return false;\n            }\n            const previous = past.pop() as T;\n            future.push(untracked(() => source.get()));\n            batch(() =>\n            {\n                source.set(previous);\n                update();\n            });\n            return true;\n        },\n        redo(): boolean\n        {\n            if (future.length === 0)\n            {\n                return false;\n            }\n            const next = future.pop() as T;\n            past.push(untracked(() => source.get()));\n            batch(() =>\n            {\n                source.set(next);\n                update();\n            });\n            return true;\n        },\n        dispose: forget\n    };\n}\n"],"names":["limit","options","past","future","canUndo","signal","canRedo","update","forget","batch","stop","onOutsideWrite","source","hasOwner","onDispose","untracked","previous","next"],"mappings":"AAIA,OAA2C,WAAO,cAAU,eAAW,YAAQ,mBAAiB,WAChG,OAAS,wBAAsB,cAyC/B,OAAM,SAAU,QAAW,EAAmB,EAA0B,CAAA,EAAE,CAEtE,IAAMA,EAAQ,OAAO,SAASC,EAAQ,KAAK,EAAI,KAAK,IAAI,EAAG,KAAK,MAAMA,EAAQ,KAAe,CAAC,EAAI,GAC5FC,EAAY,CAAA,EACZC,EAAc,CAAA,EACdC,EAAUC,EAAO,EAAK,EACtBC,EAAUD,EAAO,EAAK,EACtBE,MAAoB,CAEtBH,EAAQ,IAAIF,EAAK,OAAS,CAAC,EAC3BI,EAAQ,IAAIH,EAAO,OAAS,CAAC,CACjC,EACMK,MAAoB,CAEtB,EAAK,OAAS,EACd,EAAO,OAAS,EAChBC,EAAMF,CAAM,CAChB,EACMG,EAAOC,EAAeC,EAA2BJ,CAAM,EAK7D,OAJIK,EAAQ,GAERC,EAAUJ,CAAI,EAEX,CACH,SACA,UACA,UACA,YAAU,CAENR,EAAK,KAAKa,MAAgBH,EAAO,IAAG,CAAE,CAAC,EACnCV,EAAK,OAASF,GAEdE,EAAK,MAAK,EAEd,EAAO,OAAS,EAChBO,EAAMF,CAAM,CAChB,EACA,MAAI,CAEA,GAAIL,EAAK,SAAW,EAEhB,MAAO,GAEX,IAAMc,EAAWd,EAAK,IAAG,EAOzB,OANAC,EAAO,KAAKY,MAAgBH,EAAO,IAAG,CAAE,CAAC,EACzCH,MAAW,CAEPG,EAAO,IAAII,CAAQ,EACnBT,EAAM,CACV,CAAC,EACM,EACX,EACA,MAAI,CAEA,GAAIJ,EAAO,SAAW,EAElB,MAAO,GAEX,IAAMc,EAAOd,EAAO,IAAG,EAOvB,OANAD,EAAK,KAAKa,MAAgBH,EAAO,IAAG,CAAE,CAAC,EACvCH,MAAW,CAEPG,EAAO,IAAIK,CAAI,EACfV,EAAM,CACV,CAAC,EACM,EACX,EACA,QAASC,CACZ,CACL"}

package/dist/production/stored.js

@@ -1,2 +1,2 @@
-import{diagnostic as e,effect as t,hasOwner as n,onDispose as r,report as i,signal as a}from"zerolith";const o=new Set,s=new Map;function c(t,n){try{let e=t===`session`?globalThis.sessionStorage:globalThis.localStorage;return e.getItem(``),e}catch{o.has(t)||(o.add(t),i(e(`state_storage_unavailable`,`warning`,{storage:t,key:n})));return}}function l(t,n,r){if(t===null)return r;try{return JSON.parse(t)}catch{return i(e(`state_storage_unreadable`,`warning`,{key:n})),r}}function u(e){try{return JSON.stringify(e)}catch{return}}export function stored(o,d,f={}){let p=f.storage??`local`,m=c(p,o),h=a(m===void 0?d:l(m.getItem(o),o,d),f.equals===void 0?void 0:{equals:f.equals});if(m===void 0)return h;let g=`${p}:${o}`,_=(s.get(g)??0)+1;s.set(g,_),_>1&&i(e(`state_key_duplicate`,`warning`,{storage:p,key:o}));let v=!0,y=!1;t(()=>{let t=h.get();if(v||y){v=!1;return}let n=u(t);if(n===void 0&&t!==void 0)i(e(`state_value_not_json`,`warning`,{key:o}));else try{n===void 0?m.removeItem(o):m.setItem(o,n)}catch{i(e(`state_storage_unavailable`,`warning`,{storage:p,key:o}))}});let b=e=>{if(!(e.storageArea!==m||e.key!==null&&e.key!==o)){y=!0;try{h.set(l(e.newValue,o,d))}finally{y=!1}}};return addEventListener(`storage`,b),n()&&r(()=>{removeEventListener(`storage`,b);let e=(s.get(g)??1)-1;e>0?s.set(g,e):s.delete(g)}),h}
+import{diagnostic as e,effect as t,hasOwner as n,onDispose as r,report as i,signal as a}from"zerolith";const o=new Set,s=new Map,c=new WeakMap;export function onOutsideWrite(e,t){let n=c.get(e);return n===void 0&&(n=new Set,c.set(e,n)),n.add(t),()=>{n.delete(t)}}function l(t,n){try{let e=t===`session`?globalThis.sessionStorage:globalThis.localStorage;return e.getItem(``),e}catch{o.has(t)||(o.add(t),i(e(`state_storage_unavailable`,`warning`,{storage:t,key:n})));return}}function u(t,n,r,a){if(t===null)return r;let o,s;try{o=JSON.parse(t),s=a===void 0||a(o)}catch{s=!1}return s?o:(i(e(`state_storage_unreadable`,`warning`,{key:n})),r)}function d(e){try{return JSON.stringify(e)}catch{return}}export function stored(o,f,p={}){let m=p.storage??`local`,h=l(m,o),g=a(h===void 0?f:u(h.getItem(o),o,f,p.validate),p.equals===void 0?void 0:{equals:p.equals});if(h===void 0)return g;let _=`${m}:${o}`,v=(s.get(_)??0)+1;s.set(_,v),v>1&&i(e(`state_key_duplicate`,`warning`,{storage:m,key:o}));let y=!0,b=!1;t(()=>{let t=g.get();if(y||b){y=!1;return}let n=d(t);if(n===void 0&&t!==void 0)i(e(`state_value_not_json`,`warning`,{key:o}));else try{n===void 0?h.removeItem(o):h.setItem(o,n)}catch{i(e(`state_storage_unavailable`,`warning`,{storage:m,key:o}))}});let x=e=>{if(!(e.storageArea!==h||e.key!==null&&e.key!==o)){b=!0;try{g.set(u(e.newValue,o,f,p.validate))}finally{b=!1}for(let e of c.get(g)??[])e()}};return addEventListener(`storage`,x),n()&&r(()=>{removeEventListener(`storage`,x);let e=(s.get(_)??1)-1;e>0?s.set(_,e):s.delete(_)}),g}
 //# sourceMappingURL=stored.js.map

package/dist/production/stored.js.map

@@ -1 +1 @@
-{"version":3,"file":"stored.js","sources":["../../src/stored.ts"],"sourcesContent":["/**\n * A signal kept in the browser's storage under a key, as JSON, and in step\n * across tabs through the `storage` event.\n */\nimport { type Signal, diagnostic, effect, hasOwner, onDispose, report, signal } from \"zerolith\";\n\n/** Options for `stored`. */\nexport interface StoredOptions<T>\n{\n    /** Which storage keeps the value: `localStorage`, shared across tabs and kept across sessions, or `sessionStorage`, this tab's alone. Defaults to local. */\n    storage?: \"local\" | \"session\";\n    /** When two values count as the same, so a set of an equal value changes nothing; the signal's own option. */\n    equals?: (previous: T, next: T) => boolean;\n}\n\n/** The storage kinds reported unavailable on this page, each once. */\nconst unavailable = new Set<string>();\n\n/** How many stored signals are live for each key of each storage, so a second one for a key is reported. */\nconst live = new Map<string, number>();\n\n/** The storage of a kind, or undefined where the page has none or refuses it, which is reported once per kind with the first key asked for. */\nfunction storageOf(kind: \"local\" | \"session\", key: string): Storage | undefined\n{\n    try\n    {\n        const store = kind === \"session\" ? globalThis.sessionStorage : globalThis.localStorage;\n        store.getItem(\"\");\n        return store;\n    }\n    catch\n    {\n        if (!unavailable.has(kind))\n        {\n            unavailable.add(kind);\n            report(diagnostic(\"state_storage_unavailable\", \"warning\", { storage: kind, key }));\n        }\n        return undefined;\n    }\n}\n\n/** The value kept as `raw` under `key`, or `initial` where nothing is kept or what is kept does not parse, which is reported. */\nfunction parse<T>(raw: string | null, key: string, initial: T): T\n{\n    if (raw === null)\n    {\n        return initial;\n    }\n    try\n    {\n        return JSON.parse(raw) as T;\n    }\n    catch\n    {\n        report(diagnostic(\"state_storage_unreadable\", \"warning\", { key }));\n        return initial;\n    }\n}\n\n/** The JSON for `next`, or undefined for a value JSON cannot hold: a BigInt or a cycle, which throws, and a function or a symbol, which it leaves out. */\nfunction toJson(next: unknown): string | undefined\n{\n    try\n    {\n        return JSON.stringify(next);\n    }\n    catch\n    {\n        return undefined;\n    }\n}\n\n/**\n * A writable signal kept in storage under `key` as JSON: read back on\n * creation, written on every set, and set again when another tab writes\n * the key, so every tab shows the same value. A missing value takes\n * `initial` quietly; one that does not parse takes `initial` and reports\n * `state_storage_unreadable`. Setting `undefined` removes the key, so it\n * reads back as `initial`; a value JSON cannot hold, such as a BigInt,\n * stays in memory and reports `state_value_not_json`. Where the page has\n * no storage, as on the server, the signal is a plain one and\n * `state_storage_unavailable` is reported once, as it is for each write\n * the storage refuses. Create each key once and share the signal: two\n * stored signals for one key in the same tab do not hear each other,\n * since the storage event tells other tabs alone, and the second reports\n * `state_key_duplicate`. The write and the listener for other tabs are\n * disposed with the enclosing owner when there is one, after which the\n * signal keeps its value in memory alone; created in plain code, they\n * live for the page.\n */\nexport function stored<T>(key: string, initial: T, options: StoredOptions<T> = {}): Signal<T>\n{\n    const kind = options.storage ?? \"local\";\n    const store = storageOf(kind, key);\n    const value = signal<T>(store === undefined ? initial : parse(store.getItem(key), key, initial), options.equals === undefined ? undefined : { equals: options.equals });\n    if (store === undefined)\n    {\n        return value;\n    }\n    const id = `${kind}:${key}`;\n    const count = (live.get(id) ?? 0) + 1;\n    live.set(id, count);\n    if (count > 1)\n    {\n        report(diagnostic(\"state_key_duplicate\", \"warning\", { storage: kind, key }));\n    }\n    let first = true;\n    let echo = false;\n    effect(() =>\n    {\n        const next = value.get();\n        if (first || echo)\n        {\n            first = false;\n            return;\n        }\n        const json = toJson(next);\n        if (json === undefined && next !== undefined)\n        {\n            report(diagnostic(\"state_value_not_json\", \"warning\", { key }));\n            return;\n        }\n        try\n        {\n            if (json === undefined)\n            {\n                store.removeItem(key);\n            }\n            else\n            {\n                store.setItem(key, json);\n            }\n        }\n        catch\n        {\n            report(diagnostic(\"state_storage_unavailable\", \"warning\", { storage: kind, key }));\n        }\n    });\n    const onStorage = (event: StorageEvent): void =>\n    {\n        if (event.storageArea !== store || (event.key !== null && event.key !== key))\n        {\n            return;\n        }\n        echo = true;\n        try\n        {\n            value.set(parse(event.newValue, key, initial));\n        }\n        finally\n        {\n            echo = false;\n        }\n    };\n    addEventListener(\"storage\", onStorage);\n    if (hasOwner())\n    {\n        onDispose(() =>\n        {\n            removeEventListener(\"storage\", onStorage);\n            const left = (live.get(id) ?? 1) - 1;\n            if (left > 0)\n            {\n                live.set(id, left);\n            }\n            else\n            {\n                live.delete(id);\n            }\n        });\n    }\n    return value;\n}\n"],"names":["unavailable","live","storageOf","store","kind","report","diagnostic","parse","raw","initial","toJson","next","options","key","value","signal","id","count","first","echo","effect","json","onStorage","event","hasOwner","onDispose","left"],"mappings":"AAIA,OAAsB,gBAAY,YAAQ,cAAU,eAAW,YAAQ,gBAAc,WAYrF,MAAMA,EAAc,IAAI,IAGlBC,EAAO,IAAI,IAGjB,SAASC,EAAU,EAA2B,EAAW,CAErD,GACA,CACI,IAAMC,EAAQC,IAAS,UAAY,WAAW,eAAiB,WAAW,aAE1E,OADAD,EAAM,QAAQ,EAAE,EACTA,CACX,MAEA,CACSH,EAAY,IAAII,CAAI,IAErBJ,EAAY,IAAII,CAAI,EACpBC,EAAOC,EAAW,4BAA6B,UAAW,CAAE,QAASF,EAAM,KAAG,CAAE,CAAC,GAErF,MACJ,CACJ,CAGA,SAASG,EAAS,EAAoB,EAAa,EAAU,CAEzD,GAAIC,IAAQ,KAER,OAAOC,EAEX,GACA,CACI,OAAO,KAAK,MAAMD,CAAG,CACzB,MAEA,CAEI,OADAH,EAAOC,EAAW,2BAA4B,UAAW,CAAE,KAAG,CAAE,CAAC,EAC1DG,CACX,CACJ,CAGA,SAASC,EAAO,EAAa,CAEzB,GACA,CACI,OAAO,KAAK,UAAUC,CAAI,CAC9B,MAEA,CACI,MACJ,CACJ,CAoBA,OAAM,SAAU,OAAU,EAAa,EAAY,EAA4B,CAAA,EAAE,CAE7E,IAAMP,EAAOQ,EAAQ,SAAW,QAC1BT,EAAQD,EAAUE,EAAMS,CAAG,EAC3BC,EAAQC,EAAUZ,IAAU,OAAYM,EAAUF,EAAMJ,EAAM,QAAQU,CAAG,EAAGA,EAAKJ,CAAO,EAAGG,EAAQ,SAAW,OAAY,OAAY,CAAE,OAAQA,EAAQ,MAAM,CAAE,EACtK,GAAIT,IAAU,OAEV,OAAOW,EAEX,IAAME,EAAK,GAAGZ,EAAI,GAAIS,IAChBI,GAAShB,EAAK,IAAIe,CAAE,GAAK,GAAK,EACpCf,EAAK,IAAIe,EAAIC,CAAK,EACdA,EAAQ,GAERZ,EAAOC,EAAW,sBAAuB,UAAW,CAAE,QAASF,EAAM,KAAG,CAAE,CAAC,EAE/E,IAAIc,EAAQ,GACRC,EAAO,GACXC,MAAY,CAER,IAAMT,EAAOG,EAAM,IAAG,EACtB,GAAII,GAASC,EACb,CACI,EAAQ,GACR,MACJ,CACA,IAAME,EAAOX,EAAOC,CAAI,EACxB,GAAIU,IAAS,QAAaV,IAAS,OAE/BN,EAAOC,EAAW,uBAAwB,UAAW,CAAE,KAAG,CAAE,CAAC,OAGjE,GACA,CACQe,IAAS,OAETlB,EAAM,WAAWU,CAAG,EAIpBV,EAAM,QAAQU,EAAKQ,CAAI,CAE/B,MAEA,CACIhB,EAAOC,EAAW,4BAA6B,UAAW,CAAE,QAASF,EAAM,KAAG,CAAE,CAAC,CACrF,CACJ,CAAC,EACD,IAAMkB,EAAa,GAA6B,CAE5C,GAAI,IAAM,cAAgBnB,GAAUoB,EAAM,MAAQ,MAAQA,EAAM,MAAQV,GAIxE,GAAO,GACP,GACA,CACIC,EAAM,IAAIP,EAAMgB,EAAM,SAAUV,EAAKJ,CAAO,CAAC,CACjD,QAEA,CACI,EAAO,EACX,CARW,CASf,EAkBA,OAjBA,iBAAiB,UAAWa,CAAS,EACjCE,EAAQ,GAERC,MAAe,CAEX,oBAAoB,UAAWH,CAAS,EACxC,IAAMI,GAAQzB,EAAK,IAAIe,CAAE,GAAK,GAAK,EAC/BU,EAAO,EAEPzB,EAAK,IAAIe,EAAIU,CAAI,EAIjBzB,EAAK,OAAOe,CAAE,CAEtB,CAAC,EAEEF,CACX"}
+{"version":3,"file":"stored.js","sources":["../../src/stored.ts"],"sourcesContent":["/**\n * A signal kept in the browser's storage under a key, as JSON, and in step\n * across tabs through the `storage` event.\n */\nimport { type Signal, diagnostic, effect, hasOwner, onDispose, report, signal } from \"zerolith\";\n\n/** Options for `stored`. */\nexport interface StoredOptions<T>\n{\n    /** Which storage keeps the value: `localStorage`, shared across tabs and kept across sessions, or `sessionStorage`, this tab's alone. Defaults to local. */\n    storage?: \"local\" | \"session\";\n    /** When two values count as the same, so a set of an equal value changes nothing; the signal's own option. */\n    equals?: (previous: T, next: T) => boolean;\n    /**\n     * Whether a kept value, once parsed, is one the signal can hold. A value\n     * it refuses, or throws on, is read as `initial` and reported as\n     * `state_storage_unreadable`, on creation and when another tab writes the\n     * key, so data of another shape, such as another app's under the same\n     * key, never reaches the page.\n     */\n    validate?: (value: unknown) => boolean;\n}\n\n/** The storage kinds reported unavailable on this page, each once. */\nconst unavailable = new Set<string>();\n\n/** How many stored signals are live for each key of each storage, so a second one for a key is reported. */\nconst live = new Map<string, number>();\n\n/** What runs after a stored signal takes a value another tab wrote, keyed by the signal. */\nconst outside = new WeakMap<Signal<unknown>, Set<() => void>>();\n\n/**\n * Runs `listener` each time `source` takes a value another tab wrote, which\n * only a stored signal does, and returns the function that stops it. The\n * history uses it; the package does not export it.\n */\nexport function onOutsideWrite(source: Signal<unknown>, listener: () => void): () => void\n{\n    let listeners = outside.get(source);\n    if (listeners === undefined)\n    {\n        listeners = new Set();\n        outside.set(source, listeners);\n    }\n    listeners.add(listener);\n    return () =>\n    {\n        listeners.delete(listener);\n    };\n}\n\n/** The storage of a kind, or undefined where the page has none or refuses it, which is reported once per kind with the first key asked for. */\nfunction storageOf(kind: \"local\" | \"session\", key: string): Storage | undefined\n{\n    try\n    {\n        const store = kind === \"session\" ? globalThis.sessionStorage : globalThis.localStorage;\n        store.getItem(\"\");\n        return store;\n    }\n    catch\n    {\n        if (!unavailable.has(kind))\n        {\n            unavailable.add(kind);\n            report(diagnostic(\"state_storage_unavailable\", \"warning\", { storage: kind, key }));\n        }\n        return undefined;\n    }\n}\n\n/** The value kept as `raw` under `key`, or `initial` where nothing is kept, or where what is kept does not parse or `validate` refuses it, which is reported. */\nfunction parse<T>(raw: string | null, key: string, initial: T, validate: ((value: unknown) => boolean) | undefined): T\n{\n    if (raw === null)\n    {\n        return initial;\n    }\n    let value: unknown;\n    let accepted: boolean;\n    try\n    {\n        value = JSON.parse(raw);\n        accepted = validate === undefined || validate(value);\n    }\n    catch\n    {\n        accepted = false;\n    }\n    if (!accepted)\n    {\n        report(diagnostic(\"state_storage_unreadable\", \"warning\", { key }));\n        return initial;\n    }\n    return value as T;\n}\n\n/** The JSON for `next`, or undefined for a value JSON cannot hold: a BigInt or a cycle, which throws, and a function or a symbol, which it leaves out. */\nfunction toJson(next: unknown): string | undefined\n{\n    try\n    {\n        return JSON.stringify(next);\n    }\n    catch\n    {\n        return undefined;\n    }\n}\n\n/**\n * A writable signal kept in storage under `key` as JSON: read back on\n * creation, written on every set, and set again when another tab writes\n * the key, so every tab shows the same value. A missing value takes\n * `initial` quietly; one that does not parse, or that the `validate`\n * option refuses, takes `initial` and reports `state_storage_unreadable`. Setting `undefined` removes the key, so it\n * reads back as `initial`; a value JSON cannot hold, such as a BigInt,\n * stays in memory and reports `state_value_not_json`. Where the page has\n * no storage, as on the server, the signal is a plain one and\n * `state_storage_unavailable` is reported once, as it is for each write\n * the storage refuses. Create each key once and share the signal: two\n * stored signals for one key in the same tab do not hear each other,\n * since the storage event tells other tabs alone, and the second reports\n * `state_key_duplicate`. The write and the listener for other tabs are\n * disposed with the enclosing owner when there is one, after which the\n * signal keeps its value in memory alone; created in plain code, they\n * live for the page.\n */\nexport function stored<T>(key: string, initial: T, options: StoredOptions<T> = {}): Signal<T>\n{\n    const kind = options.storage ?? \"local\";\n    const store = storageOf(kind, key);\n    const value = signal<T>(store === undefined ? initial : parse(store.getItem(key), key, initial, options.validate), options.equals === undefined ? undefined : { equals: options.equals });\n    if (store === undefined)\n    {\n        return value;\n    }\n    const id = `${kind}:${key}`;\n    const count = (live.get(id) ?? 0) + 1;\n    live.set(id, count);\n    if (count > 1)\n    {\n        report(diagnostic(\"state_key_duplicate\", \"warning\", { storage: kind, key }));\n    }\n    let first = true;\n    let echo = false;\n    effect(() =>\n    {\n        const next = value.get();\n        if (first || echo)\n        {\n            first = false;\n            return;\n        }\n        const json = toJson(next);\n        if (json === undefined && next !== undefined)\n        {\n            report(diagnostic(\"state_value_not_json\", \"warning\", { key }));\n            return;\n        }\n        try\n        {\n            if (json === undefined)\n            {\n                store.removeItem(key);\n            }\n            else\n            {\n                store.setItem(key, json);\n            }\n        }\n        catch\n        {\n            report(diagnostic(\"state_storage_unavailable\", \"warning\", { storage: kind, key }));\n        }\n    });\n    const onStorage = (event: StorageEvent): void =>\n    {\n        if (event.storageArea !== store || (event.key !== null && event.key !== key))\n        {\n            return;\n        }\n        echo = true;\n        try\n        {\n            value.set(parse(event.newValue, key, initial, options.validate));\n        }\n        finally\n        {\n            echo = false;\n        }\n        for (const listener of outside.get(value as Signal<unknown>) ?? [])\n        {\n            listener();\n        }\n    };\n    addEventListener(\"storage\", onStorage);\n    if (hasOwner())\n    {\n        onDispose(() =>\n        {\n            removeEventListener(\"storage\", onStorage);\n            const left = (live.get(id) ?? 1) - 1;\n            if (left > 0)\n            {\n                live.set(id, left);\n            }\n            else\n            {\n                live.delete(id);\n            }\n        });\n    }\n    return value;\n}\n"],"names":["unavailable","live","outside","listeners","source","listener","storageOf","store","kind","report","diagnostic","parse","raw","initial","value","accepted","validate","toJson","next","options","key","signal","id","count","first","echo","effect","json","onStorage","event","hasOwner","onDispose","left"],"mappings":"AAIA,OAAsB,gBAAY,YAAQ,cAAU,eAAW,YAAQ,gBAAc,WAoBrF,MAAMA,EAAc,IAAI,IAGlBC,EAAO,IAAI,IAGXC,EAAU,IAAI,QAOpB,OAAM,SAAU,eAAe,EAAyB,EAAoB,CAExE,IAAIC,EAAYD,EAAQ,IAAIE,CAAM,EAOlC,OANID,IAAc,SAEd,EAAY,IAAI,IAChBD,EAAQ,IAAIE,EAAQD,CAAS,GAEjCA,EAAU,IAAIE,CAAQ,MACV,CAERF,EAAU,OAAOE,CAAQ,CAC7B,CACJ,CAGA,SAASC,EAAU,EAA2B,EAAW,CAErD,GACA,CACI,IAAMC,EAAQC,IAAS,UAAY,WAAW,eAAiB,WAAW,aAE1E,OADAD,EAAM,QAAQ,EAAE,EACTA,CACX,MAEA,CACSP,EAAY,IAAIQ,CAAI,IAErBR,EAAY,IAAIQ,CAAI,EACpBC,EAAOC,EAAW,4BAA6B,UAAW,CAAE,QAASF,EAAM,KAAG,CAAE,CAAC,GAErF,MACJ,CACJ,CAGA,SAASG,EAAS,EAAoB,EAAa,EAAY,EAAmD,CAE9G,GAAIC,IAAQ,KAER,OAAOC,EAEX,IAAIC,EACAC,EACJ,GACA,CACI,EAAQ,KAAK,MAAMH,CAAG,EACtB,EAAWI,IAAa,QAAaA,EAASF,CAAK,CACvD,MAEA,CACI,EAAW,EACf,CAMA,OALKC,EAKED,GAHHL,EAAOC,EAAW,2BAA4B,UAAW,CAAE,KAAG,CAAE,CAAC,EAC1DG,EAGf,CAGA,SAASI,EAAO,EAAa,CAEzB,GACA,CACI,OAAO,KAAK,UAAUC,CAAI,CAC9B,MAEA,CACI,MACJ,CACJ,CAoBA,OAAM,SAAU,OAAU,EAAa,EAAY,EAA4B,CAAA,EAAE,CAE7E,IAAMV,EAAOW,EAAQ,SAAW,QAC1BZ,EAAQD,EAAUE,EAAMY,CAAG,EAC3BN,EAAQO,EAAUd,IAAU,OAAYM,EAAUF,EAAMJ,EAAM,QAAQa,CAAG,EAAGA,EAAKP,EAASM,EAAQ,QAAQ,EAAGA,EAAQ,SAAW,OAAY,OAAY,CAAE,OAAQA,EAAQ,MAAM,CAAE,EACxL,GAAIZ,IAAU,OAEV,OAAOO,EAEX,IAAMQ,EAAK,GAAGd,EAAI,GAAIY,IAChBG,GAAStB,EAAK,IAAIqB,CAAE,GAAK,GAAK,EACpCrB,EAAK,IAAIqB,EAAIC,CAAK,EACdA,EAAQ,GAERd,EAAOC,EAAW,sBAAuB,UAAW,CAAE,QAASF,EAAM,KAAG,CAAE,CAAC,EAE/E,IAAIgB,EAAQ,GACRC,EAAO,GACXC,MAAY,CAER,IAAMR,EAAOJ,EAAM,IAAG,EACtB,GAAIU,GAASC,EACb,CACI,EAAQ,GACR,MACJ,CACA,IAAME,EAAOV,EAAOC,CAAI,EACxB,GAAIS,IAAS,QAAaT,IAAS,OAE/BT,EAAOC,EAAW,uBAAwB,UAAW,CAAE,KAAG,CAAE,CAAC,OAGjE,GACA,CACQiB,IAAS,OAETpB,EAAM,WAAWa,CAAG,EAIpBb,EAAM,QAAQa,EAAKO,CAAI,CAE/B,MAEA,CACIlB,EAAOC,EAAW,4BAA6B,UAAW,CAAE,QAASF,EAAM,KAAG,CAAE,CAAC,CACrF,CACJ,CAAC,EACD,IAAMoB,EAAa,GAA6B,CAE5C,GAAI,IAAM,cAAgBrB,GAAUsB,EAAM,MAAQ,MAAQA,EAAM,MAAQT,GAIxE,GAAO,GACP,GACA,CACIN,EAAM,IAAIH,EAAMkB,EAAM,SAAUT,EAAKP,EAASM,EAAQ,QAAQ,CAAC,CACnE,QAEA,CACI,EAAO,EACX,CACA,IAAK,IAAMd,KAAYH,EAAQ,IAAIY,CAAwB,GAAK,CAAA,EAE5DT,EAAQ,CAXD,CAaf,EAkBA,OAjBA,iBAAiB,UAAWuB,CAAS,EACjCE,EAAQ,GAERC,MAAe,CAEX,oBAAoB,UAAWH,CAAS,EACxC,IAAMI,GAAQ/B,EAAK,IAAIqB,CAAE,GAAK,GAAK,EAC/BU,EAAO,EAEP/B,EAAK,IAAIqB,EAAIU,CAAI,EAIjB/B,EAAK,OAAOqB,CAAE,CAEtB,CAAC,EAEER,CACX"}

package/dist/stored.d.ts

@@ -9,13 +9,27 @@ export interface StoredOptions<T> {
     storage?: "local" | "session";
     /** When two values count as the same, so a set of an equal value changes nothing; the signal's own option. */
     equals?: (previous: T, next: T) => boolean;
+    /**
+     * Whether a kept value, once parsed, is one the signal can hold. A value
+     * it refuses, or throws on, is read as `initial` and reported as
+     * `state_storage_unreadable`, on creation and when another tab writes the
+     * key, so data of another shape, such as another app's under the same
+     * key, never reaches the page.
+     */
+    validate?: (value: unknown) => boolean;
 }
+/**
+ * Runs `listener` each time `source` takes a value another tab wrote, which
+ * only a stored signal does, and returns the function that stops it. The
+ * history uses it; the package does not export it.
+ */
+export declare function onOutsideWrite(source: Signal<unknown>, listener: () => void): () => void;
 /**
  * A writable signal kept in storage under `key` as JSON: read back on
  * creation, written on every set, and set again when another tab writes
  * the key, so every tab shows the same value. A missing value takes
- * `initial` quietly; one that does not parse takes `initial` and reports
- * `state_storage_unreadable`. Setting `undefined` removes the key, so it
+ * `initial` quietly; one that does not parse, or that the `validate`
+ * option refuses, takes `initial` and reports `state_storage_unreadable`. Setting `undefined` removes the key, so it
  * reads back as `initial`; a value JSON cannot hold, such as a BigInt,
  * stays in memory and reports `state_value_not_json`. Where the page has
  * no storage, as on the server, the signal is a plain one and

package/dist/stored.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stored.d.ts","sourceRoot":"","sources":["../src/stored.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,KAAK,MAAM,EAA2D,MAAM,UAAU,CAAC;AAEhG,4BAA4B;AAC5B,MAAM,WAAW,aAAa,CAAC,CAAC;IAE5B,4JAA4J;IAC5J,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,8GAA8G;IAC9G,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;CAC9C;AA2DD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAE,aAAa,CAAC,CAAC,CAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAkF5F"}
+{"version":3,"file":"stored.d.ts","sourceRoot":"","sources":["../src/stored.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,KAAK,MAAM,EAA2D,MAAM,UAAU,CAAC;AAEhG,4BAA4B;AAC5B,MAAM,WAAW,aAAa,CAAC,CAAC;IAE5B,4JAA4J;IAC5J,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,8GAA8G;IAC9G,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;IAC3C;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;CAC1C;AAWD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAaxF;AA6DD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAE,aAAa,CAAC,CAAC,CAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAsF5F"}

package/dist/stored.js

@@ -7,6 +7,24 @@ import { diagnostic, effect, hasOwner, onDispose, report, signal } from "zerolit
 const unavailable = new Set();
 /** How many stored signals are live for each key of each storage, so a second one for a key is reported. */
 const live = new Map();
+/** What runs after a stored signal takes a value another tab wrote, keyed by the signal. */
+const outside = new WeakMap();
+/**
+ * Runs `listener` each time `source` takes a value another tab wrote, which
+ * only a stored signal does, and returns the function that stops it. The
+ * history uses it; the package does not export it.
+ */
+export function onOutsideWrite(source, listener) {
+    let listeners = outside.get(source);
+    if (listeners === undefined) {
+        listeners = new Set();
+        outside.set(source, listeners);
+    }
+    listeners.add(listener);
+    return () => {
+        listeners.delete(listener);
+    };
+}
 /** The storage of a kind, or undefined where the page has none or refuses it, which is reported once per kind with the first key asked for. */
 function storageOf(kind, key) {
     try {
@@ -22,18 +40,25 @@ function storageOf(kind, key) {
         return undefined;
     }
 }
-/** The value kept as `raw` under `key`, or `initial` where nothing is kept or what is kept does not parse, which is reported. */
-function parse(raw, key, initial) {
+/** The value kept as `raw` under `key`, or `initial` where nothing is kept, or where what is kept does not parse or `validate` refuses it, which is reported. */
+function parse(raw, key, initial, validate) {
     if (raw === null) {
         return initial;
     }
+    let value;
+    let accepted;
     try {
-        return JSON.parse(raw);
+        value = JSON.parse(raw);
+        accepted = validate === undefined || validate(value);
     }
     catch {
+        accepted = false;
+    }
+    if (!accepted) {
         report(diagnostic("state_storage_unreadable", "warning", { key }));
         return initial;
     }
+    return value;
 }
 /** The JSON for `next`, or undefined for a value JSON cannot hold: a BigInt or a cycle, which throws, and a function or a symbol, which it leaves out. */
 function toJson(next) {
@@ -48,8 +73,8 @@ function toJson(next) {
  * A writable signal kept in storage under `key` as JSON: read back on
  * creation, written on every set, and set again when another tab writes
  * the key, so every tab shows the same value. A missing value takes
- * `initial` quietly; one that does not parse takes `initial` and reports
- * `state_storage_unreadable`. Setting `undefined` removes the key, so it
+ * `initial` quietly; one that does not parse, or that the `validate`
+ * option refuses, takes `initial` and reports `state_storage_unreadable`. Setting `undefined` removes the key, so it
  * reads back as `initial`; a value JSON cannot hold, such as a BigInt,
  * stays in memory and reports `state_value_not_json`. Where the page has
  * no storage, as on the server, the signal is a plain one and
@@ -65,7 +90,7 @@ function toJson(next) {
 export function stored(key, initial, options = {}) {
     const kind = options.storage ?? "local";
     const store = storageOf(kind, key);
-    const value = signal(store === undefined ? initial : parse(store.getItem(key), key, initial), options.equals === undefined ? undefined : { equals: options.equals });
+    const value = signal(store === undefined ? initial : parse(store.getItem(key), key, initial, options.validate), options.equals === undefined ? undefined : { equals: options.equals });
     if (store === undefined) {
         return value;
     }
@@ -106,11 +131,14 @@ export function stored(key, initial, options = {}) {
         }
         echo = true;
         try {
-            value.set(parse(event.newValue, key, initial));
+            value.set(parse(event.newValue, key, initial, options.validate));
         }
         finally {
             echo = false;
         }
+        for (const listener of outside.get(value) ?? []) {
+            listener();
+        }
     };
     addEventListener("storage", onStorage);
     if (hasOwner()) {

package/dist/stored.js.map

@@ -1 +1 @@
-{"version":3,"file":"stored.js","sourceRoot":"","sources":["../src/stored.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAe,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAWhG,sEAAsE;AACtE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtC,4GAA4G;AAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEvC,+IAA+I;AAC/I,SAAS,SAAS,CAAC,IAAyB,EAAE,GAAW;IAErD,IACA,CAAC;QACG,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;QACvF,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MACA,CAAC;QACG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAC1B,CAAC;YACG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,CAAC,UAAU,CAAC,2BAA2B,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAED,iIAAiI;AACjI,SAAS,KAAK,CAAI,GAAkB,EAAE,GAAW,EAAE,OAAU;IAEzD,IAAI,GAAG,KAAK,IAAI,EAChB,CAAC;QACG,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,IACA,CAAC;QACG,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAM,CAAC;IAChC,CAAC;IACD,MACA,CAAC;QACG,MAAM,CAAC,UAAU,CAAC,0BAA0B,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACnB,CAAC;AACL,CAAC;AAED,0JAA0J;AAC1J,SAAS,MAAM,CAAC,IAAa;IAEzB,IACA,CAAC;QACG,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,MACA,CAAC;QACG,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,MAAM,CAAI,GAAW,EAAE,OAAU,EAAE,OAAO,GAAqB,EAAE;IAE7E,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC;IACxC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACxK,IAAI,KAAK,KAAK,SAAS,EACvB,CAAC;QACG,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACpB,IAAI,KAAK,GAAG,CAAC,EACb,CAAC;QACG,MAAM,CAAC,UAAU,CAAC,qBAAqB,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,CAAC,GAAG,EAAE;QAER,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,KAAK,IAAI,IAAI,EACjB,CAAC;YACG,KAAK,GAAG,KAAK,CAAC;YACd,OAAO;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAC5C,CAAC;YACG,MAAM,CAAC,UAAU,CAAC,sBAAsB,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC/D,OAAO;QACX,CAAC;QACD,IACA,CAAC;YACG,IAAI,IAAI,KAAK,SAAS,EACtB,CAAC;gBACG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;iBAED,CAAC;gBACG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;QACD,MACA,CAAC;YACG,MAAM,CAAC,UAAU,CAAC,2BAA2B,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,KAAmB,EAAQ,EAAE;QAE5C,IAAI,KAAK,CAAC,WAAW,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,EAC5E,CAAC;YACG,OAAO;QACX,CAAC;QACD,IAAI,GAAG,IAAI,CAAC;QACZ,IACA,CAAC;YACG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QACnD,CAAC;gBAED,CAAC;YACG,IAAI,GAAG,KAAK,CAAC;QACjB,CAAC;IACL,CAAC,CAAC;IACF,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACvC,IAAI,QAAQ,EAAE,EACd,CAAC;QACG,SAAS,CAAC,GAAG,EAAE;YAEX,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,IAAI,GAAG,CAAC,EACZ,CAAC;gBACG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACvB,CAAC;iBAED,CAAC;gBACG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACpB,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}
+{"version":3,"file":"stored.js","sourceRoot":"","sources":["../src/stored.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAe,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAmBhG,sEAAsE;AACtE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtC,4GAA4G;AAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEvC,4FAA4F;AAC5F,MAAM,OAAO,GAAG,IAAI,OAAO,EAAoC,CAAC;AAEhE;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,MAAuB,EAAE,QAAoB;IAExE,IAAI,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,SAAS,KAAK,SAAS,EAC3B,CAAC;QACG,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC,CAAC;IACD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxB,OAAO,GAAG,EAAE;QAER,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC,CAAC;AACN,CAAC;AAED,+IAA+I;AAC/I,SAAS,SAAS,CAAC,IAAyB,EAAE,GAAW;IAErD,IACA,CAAC;QACG,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;QACvF,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MACA,CAAC;QACG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAC1B,CAAC;YACG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,CAAC,UAAU,CAAC,2BAA2B,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAED,iKAAiK;AACjK,SAAS,KAAK,CAAI,GAAkB,EAAE,GAAW,EAAE,OAAU,EAAE,QAAmD;IAE9G,IAAI,GAAG,KAAK,IAAI,EAChB,CAAC;QACG,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,IAAI,KAAc,CAAC;IACnB,IAAI,QAAiB,CAAC;IACtB,IACA,CAAC;QACG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,QAAQ,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,MACA,CAAC;QACG,QAAQ,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,IAAI,CAAC,QAAQ,EACb,CAAC;QACG,MAAM,CAAC,UAAU,CAAC,0BAA0B,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,OAAO,KAAU,CAAC;AACtB,CAAC;AAED,0JAA0J;AAC1J,SAAS,MAAM,CAAC,IAAa;IAEzB,IACA,CAAC;QACG,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,MACA,CAAC;QACG,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,MAAM,CAAI,GAAW,EAAE,OAAU,EAAE,OAAO,GAAqB,EAAE;IAE7E,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC;IACxC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1L,IAAI,KAAK,KAAK,SAAS,EACvB,CAAC;QACG,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACpB,IAAI,KAAK,GAAG,CAAC,EACb,CAAC;QACG,MAAM,CAAC,UAAU,CAAC,qBAAqB,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,CAAC,GAAG,EAAE;QAER,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,KAAK,IAAI,IAAI,EACjB,CAAC;YACG,KAAK,GAAG,KAAK,CAAC;YACd,OAAO;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAC5C,CAAC;YACG,MAAM,CAAC,UAAU,CAAC,sBAAsB,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC/D,OAAO;QACX,CAAC;QACD,IACA,CAAC;YACG,IAAI,IAAI,KAAK,SAAS,EACtB,CAAC;gBACG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;iBAED,CAAC;gBACG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;QACD,MACA,CAAC;YACG,MAAM,CAAC,UAAU,CAAC,2BAA2B,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,KAAmB,EAAQ,EAAE;QAE5C,IAAI,KAAK,CAAC,WAAW,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,EAC5E,CAAC;YACG,OAAO;QACX,CAAC;QACD,IAAI,GAAG,IAAI,CAAC;QACZ,IACA,CAAC;YACG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,CAAC;gBAED,CAAC;YACG,IAAI,GAAG,KAAK,CAAC;QACjB,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,KAAwB,CAAC,IAAI,EAAE,EAClE,CAAC;YACG,QAAQ,EAAE,CAAC;QACf,CAAC;IACL,CAAC,CAAC;IACF,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACvC,IAAI,QAAQ,EAAE,EACd,CAAC;QACG,SAAS,CAAC,GAAG,EAAE;YAEX,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,IAAI,GAAG,CAAC,EACZ,CAAC;gBACG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACvB,CAAC;iBAED,CAAC;gBACG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACpB,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@zerolith/state",
-    "version": "1.1.0",
+    "version": "1.3.0",
     "description": "Signals with a memory for zerolith: a signal kept in storage and across tabs, undo and redo, debounced and throttled signals, and a row selector",
     "license": "Apache-2.0",
     "author": "molexxxx",
@@ -44,9 +44,9 @@
         "build": "tsc -p tsconfig.build.json && node ../../scripts/production.ts"
     },
     "peerDependencies": {
-        "zerolith": "^1.1.0"
+        "zerolith": "^1.3.0"
     },
     "devDependencies": {
-        "zerolith": "^1.1.0"
+        "zerolith": "^1.3.0"
     }
 }

package/src/history.ts

@@ -2,7 +2,8 @@
  * Undo and redo for a signal, from explicit checkpoints, as an editor
  * keeps them.
  */
-import { type ReadableSignal, type Signal, batch, signal, untracked } from "zerolith";
+import { type ReadableSignal, type Signal, batch, hasOwner, onDispose, signal, untracked } from "zerolith";
+import { onOutsideWrite } from "./stored.js";
 
 /** Options for `history`. */
 export interface HistoryOptions
@@ -37,7 +38,11 @@ export interface History<T>
  * the undone value back. A new checkpoint after an undo starts a new
  * branch, as in most editors, so what was undone is gone. `limit`
  * checkpoints are kept, 50 by default. Each move writes the signal and
- * both flags in one batch, so an effect over them runs once.
+ * both flags in one batch, so an effect over them runs once. Over a
+ * `stored` signal, a write from another tab makes the history forget its
+ * checkpoints, since going back to one would take that change back too;
+ * created inside an owner, the history stops listening for those writes
+ * when the owner is disposed.
  */
 export function history<T>(source: Signal<T>, options: HistoryOptions = {}): History<T>
 {
@@ -51,6 +56,17 @@ export function history<T>(source: Signal<T>, options: HistoryOptions = {}): His
         canUndo.set(past.length > 0);
         canRedo.set(future.length > 0);
     };
+    const forget = (): void =>
+    {
+        past.length = 0;
+        future.length = 0;
+        batch(update);
+    };
+    const stop = onOutsideWrite(source as Signal<unknown>, forget);
+    if (hasOwner())
+    {
+        onDispose(stop);
+    }
     return {
         source,
         canUndo,
@@ -95,11 +111,6 @@ export function history<T>(source: Signal<T>, options: HistoryOptions = {}): His
             });
             return true;
         },
-        dispose(): void
-        {
-            past.length = 0;
-            future.length = 0;
-            batch(update);
-        }
+        dispose: forget
     };
 }

package/src/stored.ts

@@ -11,6 +11,14 @@ export interface StoredOptions<T>
     storage?: "local" | "session";
     /** When two values count as the same, so a set of an equal value changes nothing; the signal's own option. */
     equals?: (previous: T, next: T) => boolean;
+    /**
+     * Whether a kept value, once parsed, is one the signal can hold. A value
+     * it refuses, or throws on, is read as `initial` and reported as
+     * `state_storage_unreadable`, on creation and when another tab writes the
+     * key, so data of another shape, such as another app's under the same
+     * key, never reaches the page.
+     */
+    validate?: (value: unknown) => boolean;
 }
 
 /** The storage kinds reported unavailable on this page, each once. */
@@ -19,6 +27,29 @@ const unavailable = new Set<string>();
 /** How many stored signals are live for each key of each storage, so a second one for a key is reported. */
 const live = new Map<string, number>();
 
+/** What runs after a stored signal takes a value another tab wrote, keyed by the signal. */
+const outside = new WeakMap<Signal<unknown>, Set<() => void>>();
+
+/**
+ * Runs `listener` each time `source` takes a value another tab wrote, which
+ * only a stored signal does, and returns the function that stops it. The
+ * history uses it; the package does not export it.
+ */
+export function onOutsideWrite(source: Signal<unknown>, listener: () => void): () => void
+{
+    let listeners = outside.get(source);
+    if (listeners === undefined)
+    {
+        listeners = new Set();
+        outside.set(source, listeners);
+    }
+    listeners.add(listener);
+    return () =>
+    {
+        listeners.delete(listener);
+    };
+}
+
 /** The storage of a kind, or undefined where the page has none or refuses it, which is reported once per kind with the first key asked for. */
 function storageOf(kind: "local" | "session", key: string): Storage | undefined
 {
@@ -39,22 +70,30 @@ function storageOf(kind: "local" | "session", key: string): Storage | undefined
     }
 }
 
-/** The value kept as `raw` under `key`, or `initial` where nothing is kept or what is kept does not parse, which is reported. */
-function parse<T>(raw: string | null, key: string, initial: T): T
+/** The value kept as `raw` under `key`, or `initial` where nothing is kept, or where what is kept does not parse or `validate` refuses it, which is reported. */
+function parse<T>(raw: string | null, key: string, initial: T, validate: ((value: unknown) => boolean) | undefined): T
 {
     if (raw === null)
     {
         return initial;
     }
+    let value: unknown;
+    let accepted: boolean;
     try
     {
-        return JSON.parse(raw) as T;
+        value = JSON.parse(raw);
+        accepted = validate === undefined || validate(value);
     }
     catch
+    {
+        accepted = false;
+    }
+    if (!accepted)
     {
         report(diagnostic("state_storage_unreadable", "warning", { key }));
         return initial;
     }
+    return value as T;
 }
 
 /** The JSON for `next`, or undefined for a value JSON cannot hold: a BigInt or a cycle, which throws, and a function or a symbol, which it leaves out. */
@@ -74,8 +113,8 @@ function toJson(next: unknown): string | undefined
  * A writable signal kept in storage under `key` as JSON: read back on
  * creation, written on every set, and set again when another tab writes
  * the key, so every tab shows the same value. A missing value takes
- * `initial` quietly; one that does not parse takes `initial` and reports
- * `state_storage_unreadable`. Setting `undefined` removes the key, so it
+ * `initial` quietly; one that does not parse, or that the `validate`
+ * option refuses, takes `initial` and reports `state_storage_unreadable`. Setting `undefined` removes the key, so it
  * reads back as `initial`; a value JSON cannot hold, such as a BigInt,
  * stays in memory and reports `state_value_not_json`. Where the page has
  * no storage, as on the server, the signal is a plain one and
@@ -92,7 +131,7 @@ export function stored<T>(key: string, initial: T, options: StoredOptions<T> = {
 {
     const kind = options.storage ?? "local";
     const store = storageOf(kind, key);
-    const value = signal<T>(store === undefined ? initial : parse(store.getItem(key), key, initial), options.equals === undefined ? undefined : { equals: options.equals });
+    const value = signal<T>(store === undefined ? initial : parse(store.getItem(key), key, initial, options.validate), options.equals === undefined ? undefined : { equals: options.equals });
     if (store === undefined)
     {
         return value;
@@ -145,12 +184,16 @@ export function stored<T>(key: string, initial: T, options: StoredOptions<T> = {
         echo = true;
         try
         {
-            value.set(parse(event.newValue, key, initial));
+            value.set(parse(event.newValue, key, initial, options.validate));
         }
         finally
         {
             echo = false;
         }
+        for (const listener of outside.get(value as Signal<unknown>) ?? [])
+        {
+            listener();
+        }
     };
     addEventListener("storage", onStorage);
     if (hasOwner())