@pyreon/reactivity 0.16.0 → 0.19.0

package/lib/analysis/index.js.html

@@ -5386,7 +5386,7 @@ var drawChart = (function (exports) {
   </script>
   <script>
     /*<!--*/
-    const data = {"version":2,"tree":{"name":"root","children":[{"name":"index.js","children":[{"name":"src","children":[{"uid":"a1cf068b-1","name":"batch.ts"},{"uid":"a1cf068b-3","name":"cell.ts"},{"uid":"a1cf068b-5","name":"scope.ts"},{"uid":"a1cf068b-7","name":"tracking.ts"},{"uid":"a1cf068b-9","name":"effect.ts"},{"uid":"a1cf068b-11","name":"computed.ts"},{"uid":"a1cf068b-13","name":"createSelector.ts"},{"uid":"a1cf068b-15","name":"debug.ts"},{"uid":"a1cf068b-17","name":"signal.ts"},{"uid":"a1cf068b-19","name":"store.ts"},{"uid":"a1cf068b-21","name":"reconcile.ts"},{"uid":"a1cf068b-23","name":"resource.ts"},{"uid":"a1cf068b-25","name":"watch.ts"},{"uid":"a1cf068b-27","name":"index.ts"}]}]}],"isRoot":true},"nodeParts":{"a1cf068b-1":{"renderedLength":3016,"gzipLength":1167,"brotliLength":0,"metaUid":"a1cf068b-0"},"a1cf068b-3":{"renderedLength":1636,"gzipLength":786,"brotliLength":0,"metaUid":"a1cf068b-2"},"a1cf068b-5":{"renderedLength":3026,"gzipLength":1226,"brotliLength":0,"metaUid":"a1cf068b-4"},"a1cf068b-7":{"renderedLength":2227,"gzipLength":858,"brotliLength":0,"metaUid":"a1cf068b-6"},"a1cf068b-9":{"renderedLength":7391,"gzipLength":2397,"brotliLength":0,"metaUid":"a1cf068b-8"},"a1cf068b-11":{"renderedLength":4548,"gzipLength":1464,"brotliLength":0,"metaUid":"a1cf068b-10"},"a1cf068b-13":{"renderedLength":2244,"gzipLength":981,"brotliLength":0,"metaUid":"a1cf068b-12"},"a1cf068b-15":{"renderedLength":2469,"gzipLength":1092,"brotliLength":0,"metaUid":"a1cf068b-14"},"a1cf068b-17":{"renderedLength":2818,"gzipLength":1191,"brotliLength":0,"metaUid":"a1cf068b-16"},"a1cf068b-19":{"renderedLength":5143,"gzipLength":1835,"brotliLength":0,"metaUid":"a1cf068b-18"},"a1cf068b-21":{"renderedLength":2109,"gzipLength":867,"brotliLength":0,"metaUid":"a1cf068b-20"},"a1cf068b-23":{"renderedLength":1205,"gzipLength":524,"brotliLength":0,"metaUid":"a1cf068b-22"},"a1cf068b-25":{"renderedLength":1249,"gzipLength":582,"brotliLength":0,"metaUid":"a1cf068b-24"},"a1cf068b-27":{"renderedLength":0,"gzipLength":0,"brotliLength":0,"metaUid":"a1cf068b-26"}},"nodeMetas":{"a1cf068b-0":{"id":"/src/batch.ts","moduleParts":{"index.js":"a1cf068b-1"},"imported":[],"importedBy":[{"uid":"a1cf068b-26"},{"uid":"a1cf068b-10"},{"uid":"a1cf068b-16"},{"uid":"a1cf068b-6"}]},"a1cf068b-2":{"id":"/src/cell.ts","moduleParts":{"index.js":"a1cf068b-3"},"imported":[],"importedBy":[{"uid":"a1cf068b-26"}]},"a1cf068b-4":{"id":"/src/scope.ts","moduleParts":{"index.js":"a1cf068b-5"},"imported":[],"importedBy":[{"uid":"a1cf068b-26"},{"uid":"a1cf068b-10"},{"uid":"a1cf068b-8"}]},"a1cf068b-6":{"id":"/src/tracking.ts","moduleParts":{"index.js":"a1cf068b-7"},"imported":[{"uid":"a1cf068b-0"}],"importedBy":[{"uid":"a1cf068b-26"},{"uid":"a1cf068b-10"},{"uid":"a1cf068b-12"},{"uid":"a1cf068b-8"},{"uid":"a1cf068b-22"},{"uid":"a1cf068b-16"}]},"a1cf068b-8":{"id":"/src/effect.ts","moduleParts":{"index.js":"a1cf068b-9"},"imported":[{"uid":"a1cf068b-4"},{"uid":"a1cf068b-6"}],"importedBy":[{"uid":"a1cf068b-26"},{"uid":"a1cf068b-10"},{"uid":"a1cf068b-12"},{"uid":"a1cf068b-22"},{"uid":"a1cf068b-24"}]},"a1cf068b-10":{"id":"/src/computed.ts","moduleParts":{"index.js":"a1cf068b-11"},"imported":[{"uid":"a1cf068b-0"},{"uid":"a1cf068b-8"},{"uid":"a1cf068b-4"},{"uid":"a1cf068b-6"}],"importedBy":[{"uid":"a1cf068b-26"}]},"a1cf068b-12":{"id":"/src/createSelector.ts","moduleParts":{"index.js":"a1cf068b-13"},"imported":[{"uid":"a1cf068b-8"},{"uid":"a1cf068b-6"}],"importedBy":[{"uid":"a1cf068b-26"}]},"a1cf068b-14":{"id":"/src/debug.ts","moduleParts":{"index.js":"a1cf068b-15"},"imported":[],"importedBy":[{"uid":"a1cf068b-26"},{"uid":"a1cf068b-16"}]},"a1cf068b-16":{"id":"/src/signal.ts","moduleParts":{"index.js":"a1cf068b-17"},"imported":[{"uid":"a1cf068b-0"},{"uid":"a1cf068b-14"},{"uid":"a1cf068b-6"}],"importedBy":[{"uid":"a1cf068b-26"},{"uid":"a1cf068b-22"},{"uid":"a1cf068b-18"}]},"a1cf068b-18":{"id":"/src/store.ts","moduleParts":{"index.js":"a1cf068b-19"},"imported":[{"uid":"a1cf068b-16"}],"importedBy":[{"uid":"a1cf068b-26"},{"uid":"a1cf068b-20"}]},"a1cf068b-20":{"id":"/src/reconcile.ts","moduleParts":{"index.js":"a1cf068b-21"},"imported":[{"uid":"a1cf068b-18"}],"importedBy":[{"uid":"a1cf068b-26"}]},"a1cf068b-22":{"id":"/src/resource.ts","moduleParts":{"index.js":"a1cf068b-23"},"imported":[{"uid":"a1cf068b-8"},{"uid":"a1cf068b-16"},{"uid":"a1cf068b-6"}],"importedBy":[{"uid":"a1cf068b-26"}]},"a1cf068b-24":{"id":"/src/watch.ts","moduleParts":{"index.js":"a1cf068b-25"},"imported":[{"uid":"a1cf068b-8"}],"importedBy":[{"uid":"a1cf068b-26"}]},"a1cf068b-26":{"id":"/src/index.ts","moduleParts":{"index.js":"a1cf068b-27"},"imported":[{"uid":"a1cf068b-0"},{"uid":"a1cf068b-2"},{"uid":"a1cf068b-10"},{"uid":"a1cf068b-12"},{"uid":"a1cf068b-14"},{"uid":"a1cf068b-8"},{"uid":"a1cf068b-20"},{"uid":"a1cf068b-22"},{"uid":"a1cf068b-4"},{"uid":"a1cf068b-16"},{"uid":"a1cf068b-18"},{"uid":"a1cf068b-6"},{"uid":"a1cf068b-24"}],"importedBy":[],"isEntry":true}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
+    const data = {"version":2,"tree":{"name":"root","children":[{"name":"index.js","children":[{"name":"src","children":[{"uid":"3d8fcc8f-1","name":"batch.ts"},{"uid":"3d8fcc8f-3","name":"cell.ts"},{"uid":"3d8fcc8f-5","name":"scope.ts"},{"uid":"3d8fcc8f-7","name":"tracking.ts"},{"uid":"3d8fcc8f-9","name":"effect.ts"},{"uid":"3d8fcc8f-11","name":"computed.ts"},{"uid":"3d8fcc8f-13","name":"createSelector.ts"},{"uid":"3d8fcc8f-15","name":"debug.ts"},{"uid":"3d8fcc8f-17","name":"reactive-trace.ts"},{"uid":"3d8fcc8f-19","name":"signal.ts"},{"uid":"3d8fcc8f-21","name":"store.ts"},{"uid":"3d8fcc8f-23","name":"reconcile.ts"},{"uid":"3d8fcc8f-25","name":"resource.ts"},{"uid":"3d8fcc8f-27","name":"watch.ts"},{"uid":"3d8fcc8f-29","name":"index.ts"}]}]}],"isRoot":true},"nodeParts":{"3d8fcc8f-1":{"renderedLength":3016,"gzipLength":1167,"brotliLength":0,"metaUid":"3d8fcc8f-0"},"3d8fcc8f-3":{"renderedLength":1636,"gzipLength":786,"brotliLength":0,"metaUid":"3d8fcc8f-2"},"3d8fcc8f-5":{"renderedLength":3026,"gzipLength":1226,"brotliLength":0,"metaUid":"3d8fcc8f-4"},"3d8fcc8f-7":{"renderedLength":2227,"gzipLength":858,"brotliLength":0,"metaUid":"3d8fcc8f-6"},"3d8fcc8f-9":{"renderedLength":7391,"gzipLength":2397,"brotliLength":0,"metaUid":"3d8fcc8f-8"},"3d8fcc8f-11":{"renderedLength":4716,"gzipLength":1476,"brotliLength":0,"metaUid":"3d8fcc8f-10"},"3d8fcc8f-13":{"renderedLength":2244,"gzipLength":981,"brotliLength":0,"metaUid":"3d8fcc8f-12"},"3d8fcc8f-15":{"renderedLength":2469,"gzipLength":1092,"brotliLength":0,"metaUid":"3d8fcc8f-14"},"3d8fcc8f-17":{"renderedLength":2721,"gzipLength":1363,"brotliLength":0,"metaUid":"3d8fcc8f-16"},"3d8fcc8f-19":{"renderedLength":3408,"gzipLength":1476,"brotliLength":0,"metaUid":"3d8fcc8f-18"},"3d8fcc8f-21":{"renderedLength":5232,"gzipLength":1867,"brotliLength":0,"metaUid":"3d8fcc8f-20"},"3d8fcc8f-23":{"renderedLength":2278,"gzipLength":940,"brotliLength":0,"metaUid":"3d8fcc8f-22"},"3d8fcc8f-25":{"renderedLength":1205,"gzipLength":524,"brotliLength":0,"metaUid":"3d8fcc8f-24"},"3d8fcc8f-27":{"renderedLength":1249,"gzipLength":582,"brotliLength":0,"metaUid":"3d8fcc8f-26"},"3d8fcc8f-29":{"renderedLength":0,"gzipLength":0,"brotliLength":0,"metaUid":"3d8fcc8f-28"}},"nodeMetas":{"3d8fcc8f-0":{"id":"/src/batch.ts","moduleParts":{"index.js":"3d8fcc8f-1"},"imported":[],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-10"},{"uid":"3d8fcc8f-18"},{"uid":"3d8fcc8f-6"}]},"3d8fcc8f-2":{"id":"/src/cell.ts","moduleParts":{"index.js":"3d8fcc8f-3"},"imported":[],"importedBy":[{"uid":"3d8fcc8f-28"}]},"3d8fcc8f-4":{"id":"/src/scope.ts","moduleParts":{"index.js":"3d8fcc8f-5"},"imported":[],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-10"},{"uid":"3d8fcc8f-8"}]},"3d8fcc8f-6":{"id":"/src/tracking.ts","moduleParts":{"index.js":"3d8fcc8f-7"},"imported":[{"uid":"3d8fcc8f-0"}],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-10"},{"uid":"3d8fcc8f-12"},{"uid":"3d8fcc8f-8"},{"uid":"3d8fcc8f-24"},{"uid":"3d8fcc8f-18"}]},"3d8fcc8f-8":{"id":"/src/effect.ts","moduleParts":{"index.js":"3d8fcc8f-9"},"imported":[{"uid":"3d8fcc8f-4"},{"uid":"3d8fcc8f-6"}],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-10"},{"uid":"3d8fcc8f-12"},{"uid":"3d8fcc8f-24"},{"uid":"3d8fcc8f-26"}]},"3d8fcc8f-10":{"id":"/src/computed.ts","moduleParts":{"index.js":"3d8fcc8f-11"},"imported":[{"uid":"3d8fcc8f-0"},{"uid":"3d8fcc8f-8"},{"uid":"3d8fcc8f-4"},{"uid":"3d8fcc8f-6"}],"importedBy":[{"uid":"3d8fcc8f-28"}]},"3d8fcc8f-12":{"id":"/src/createSelector.ts","moduleParts":{"index.js":"3d8fcc8f-13"},"imported":[{"uid":"3d8fcc8f-8"},{"uid":"3d8fcc8f-6"}],"importedBy":[{"uid":"3d8fcc8f-28"}]},"3d8fcc8f-14":{"id":"/src/debug.ts","moduleParts":{"index.js":"3d8fcc8f-15"},"imported":[],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-18"}]},"3d8fcc8f-16":{"id":"/src/reactive-trace.ts","moduleParts":{"index.js":"3d8fcc8f-17"},"imported":[],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-18"}]},"3d8fcc8f-18":{"id":"/src/signal.ts","moduleParts":{"index.js":"3d8fcc8f-19"},"imported":[{"uid":"3d8fcc8f-0"},{"uid":"3d8fcc8f-14"},{"uid":"3d8fcc8f-16"},{"uid":"3d8fcc8f-6"}],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-24"},{"uid":"3d8fcc8f-20"}]},"3d8fcc8f-20":{"id":"/src/store.ts","moduleParts":{"index.js":"3d8fcc8f-21"},"imported":[{"uid":"3d8fcc8f-18"}],"importedBy":[{"uid":"3d8fcc8f-28"},{"uid":"3d8fcc8f-22"}]},"3d8fcc8f-22":{"id":"/src/reconcile.ts","moduleParts":{"index.js":"3d8fcc8f-23"},"imported":[{"uid":"3d8fcc8f-20"}],"importedBy":[{"uid":"3d8fcc8f-28"}]},"3d8fcc8f-24":{"id":"/src/resource.ts","moduleParts":{"index.js":"3d8fcc8f-25"},"imported":[{"uid":"3d8fcc8f-8"},{"uid":"3d8fcc8f-18"},{"uid":"3d8fcc8f-6"}],"importedBy":[{"uid":"3d8fcc8f-28"}]},"3d8fcc8f-26":{"id":"/src/watch.ts","moduleParts":{"index.js":"3d8fcc8f-27"},"imported":[{"uid":"3d8fcc8f-8"}],"importedBy":[{"uid":"3d8fcc8f-28"}]},"3d8fcc8f-28":{"id":"/src/index.ts","moduleParts":{"index.js":"3d8fcc8f-29"},"imported":[{"uid":"3d8fcc8f-0"},{"uid":"3d8fcc8f-2"},{"uid":"3d8fcc8f-10"},{"uid":"3d8fcc8f-12"},{"uid":"3d8fcc8f-14"},{"uid":"3d8fcc8f-16"},{"uid":"3d8fcc8f-8"},{"uid":"3d8fcc8f-22"},{"uid":"3d8fcc8f-24"},{"uid":"3d8fcc8f-4"},{"uid":"3d8fcc8f-18"},{"uid":"3d8fcc8f-20"},{"uid":"3d8fcc8f-6"},{"uid":"3d8fcc8f-26"}],"importedBy":[],"isEntry":true}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
 
     const run = () => {
       const width = window.innerWidth;

package/lib/index.js

@@ -615,7 +615,7 @@ function computedLazy(fn) {
 		if (disposed || dirty) return;
 		dirty = true;
 		if (host._s) notifySubscribers(host._s);
-		if (directFns) for (const f of directFns) f?.();
+		if (directFns) for (const f of directFns) f();
 	};
 	_markRecompute(recompute);
 	const read = () => {
@@ -649,13 +649,16 @@ function computedLazy(fn) {
 		},
 		enumerable: false
 	});
+	Object.defineProperty(read, "_d", {
+		get: () => directFns,
+		enumerable: false
+	});
 	read.direct = (updater) => {
-		if (!directFns) directFns = [];
-		const arr = directFns;
-		const idx = arr.length;
-		arr.push(updater);
+		if (!directFns) directFns = /* @__PURE__ */ new Set();
+		const set = directFns;
+		set.add(updater);
 		return () => {
-			arr[idx] = null;
+			set.delete(updater);
 		};
 	};
 	getCurrentScope()?.add({ dispose: read.dispose });
@@ -690,7 +693,7 @@ function computedWithEquals(fn, equals) {
 			return;
 		}
 		if (host._s) notifySubscribers(host._s);
-		if (directFns) for (const f of directFns) f?.();
+		if (directFns) for (const f of directFns) f();
 	};
 	_markRecompute(recompute);
 	const read = () => {
@@ -720,13 +723,16 @@ function computedWithEquals(fn, equals) {
 		},
 		enumerable: false
 	});
+	Object.defineProperty(read, "_d", {
+		get: () => directFns,
+		enumerable: false
+	});
 	read.direct = (updater) => {
-		if (!directFns) directFns = [];
-		const arr = directFns;
-		const idx = arr.length;
-		arr.push(updater);
+		if (!directFns) directFns = /* @__PURE__ */ new Set();
+		const set = directFns;
+		set.add(updater);
 		return () => {
-			arr[idx] = null;
+			set.delete(updater);
 		};
 	};
 	getCurrentScope()?.add({ dispose: read.dispose });
@@ -909,6 +915,93 @@ function inspectSignal(sig) {
 	return info;
 }
 
+//#endregion
+//#region src/reactive-trace.ts
+/**
+* Ring-buffer capacity. 50 entries is enough to see the causal chain
+* for a crash (the writes in the few ticks before the throw) without
+* the buffer itself becoming a memory concern — each entry is a small
+* object with two short strings.
+*/
+const CAP = 50;
+let _buf = null;
+let _count = 0;
+/** Max characters of a value preview before truncation. Keeps the buffer + serialized report small. */
+const PREVIEW_MAX = 80;
+/**
+* Safe, bounded stringification. Never throws (a getter or `toJSON`
+* that throws must not break the trace recorder), never returns more
+* than `PREVIEW_MAX` chars + an ellipsis marker.
+*/
+function preview(v) {
+	let s;
+	try {
+		if (v === null) return "null";
+		if (v === void 0) return "undefined";
+		const t = typeof v;
+		if (t === "string") s = JSON.stringify(v);
+		else if (t === "number" || t === "boolean" || t === "bigint") s = String(v);
+		else if (t === "function") s = `[Function ${v.name || "anonymous"}]`;
+		else if (t === "symbol") s = v.toString();
+		else if (Array.isArray(v)) s = `Array(${v.length})`;
+		else {
+			const ctor = v.constructor?.name;
+			const keys = (() => {
+				try {
+					return Object.keys(v).slice(0, 4);
+				} catch {
+					return [];
+				}
+			})();
+			s = `${ctor && ctor !== "Object" ? ctor + " " : ""}{${keys.join(", ")}${keys.length === 4 ? ", …" : ""}}`;
+		}
+	} catch {
+		s = "[unstringifiable]";
+	}
+	return s.length > PREVIEW_MAX ? s.slice(0, PREVIEW_MAX) + "…" : s;
+}
+/**
+* Record one signal write. Called from `signal.ts` `_set`, already
+* inside the prod-gate, so this never runs in production builds.
+*
+* @internal
+*/
+function _recordSignalWrite(name, prev, next) {
+	if (_buf === null) _buf = new Array(CAP);
+	_buf[_count % CAP] = {
+		name,
+		prev: preview(prev),
+		next: preview(next),
+		timestamp: typeof performance !== "undefined" && typeof performance.now === "function" ? performance.now() : Date.now()
+	};
+	_count++;
+}
+/**
+* Returns the recorded writes in chronological order (oldest → newest),
+* at most `CAP` entries. Empty array when nothing has been recorded.
+* The returned array is a fresh copy — safe to retain / serialize
+* without pinning the ring buffer.
+*
+* Consumed by `@pyreon/core`'s `reportError` to attach `reactiveTrace`
+* to the error context.
+*/
+function getReactiveTrace() {
+	if (_buf === null || _count === 0) return [];
+	if (_count <= CAP) return _buf.slice(0, _count);
+	const start = _count % CAP;
+	const out = [];
+	for (let i = 0; i < CAP; i++) {
+		const e = _buf[(start + i) % CAP];
+		if (e) out.push(e);
+	}
+	return out;
+}
+/** Clears the buffer. For test isolation; not part of the app-facing API. */
+function clearReactiveTrace() {
+	_buf = null;
+	_count = 0;
+}
+
 //#endregion
 //#region src/signal.ts
 const _countSink = globalThis;
@@ -920,6 +1013,7 @@ function _set(newValue) {
 	if (process.env.NODE_ENV !== "production") _countSink.__pyreon_count__?.("reactivity.signalWrite");
 	const prev = this._v;
 	this._v = newValue;
+	if (process.env.NODE_ENV !== "production") _recordSignalWrite(this.label, prev, newValue);
 	if (isTracing()) try {
 		_notifyTraceListeners(this, prev, newValue);
 	} catch (err) {
@@ -943,28 +1037,33 @@ function _subscribe(listener) {
 }
 /**
 * Register a direct updater — lighter than subscribe().
-* Uses a flat array instead of Set. Disposal nulls the slot (no Set.delete overhead).
 * Used by compiler-emitted _bindText/_bindDirect for zero-overhead DOM bindings.
+*
+* Backed by a `Set` (same as `_s`), NOT a flat array. The array form
+* disposed by nulling the slot (`arr[idx] = null`) but never compacted —
+* so a long-lived signal (theme/locale/auth, or a signal read inside
+* `<For>` rows) bound by churning components accumulated one permanent
+* dead slot per ever-mounted binding. That is an app-lifetime memory
+* leak AND degrades the signal-write hot path: `notifyDirect` iterated
+* O(total-ever-registered), not O(live). A Set bounds growth to the live
+* set and keeps disposal + iteration O(live); the "Set.delete overhead"
+* the array form optimised for is negligible against an unbounded array.
 */
 function _directFn(updater) {
-	if (!this._d) this._d = [];
-	const arr = this._d;
-	const idx = arr.length;
-	arr.push(updater);
+	if (!this._d) this._d = /* @__PURE__ */ new Set();
+	const set = this._d;
+	set.add(updater);
 	return () => {
-		arr[idx] = null;
+		set.delete(updater);
 	};
 }
 /**
-* Notify direct updaters — flat array iteration, batch-aware.
-* Null slots (from disposed updaters) are skipped.
+* Notify direct updaters — set iteration, batch-aware. Disposed updaters
+* are already absent from the set (O(1) delete on disposal).
 */
 function notifyDirect(updaters) {
-	if (isBatching()) for (let i = 0; i < updaters.length; i++) {
-		const fn = updaters[i];
-		if (fn) enqueuePendingNotification(fn);
-	}
-	else for (let i = 0; i < updaters.length; i++) updaters[i]?.();
+	if (isBatching()) for (const fn of updaters) enqueuePendingNotification(fn);
+	else for (const fn of updaters) fn();
 }
 function _debug() {
 	return {
@@ -1111,6 +1210,7 @@ function wrap(raw, shallow) {
 				target[key] = value;
 				return true;
 			}
+			if (key === "__proto__" || key === "constructor" || key === "prototype") return true;
 			const prevLength = isArray ? target.length : 0;
 			target[key] = value;
 			if (isArray && key === "length") {
@@ -1164,6 +1264,11 @@ function wrap(raw, shallow) {
 * Arrays are reconciled by index — elements at the same index are recursively
 * diffed rather than replaced wholesale. Excess old elements are removed.
 */
+const DANGEROUS_KEYS = new Set([
+	"__proto__",
+	"constructor",
+	"prototype"
+]);
 function reconcile(source, target) {
 	_reconcileInner(source, target, /* @__PURE__ */ new WeakSet());
 }
@@ -1188,6 +1293,7 @@ function _reconcileObject(source, target, seen) {
 	const sourceKeys = Object.keys(source);
 	const targetKeys = new Set(Object.keys(target));
 	for (const key of sourceKeys) {
+		if (DANGEROUS_KEYS.has(key)) continue;
 		const sv = source[key];
 		const tv = target[key];
 		if (sv !== null && typeof sv === "object" && tv !== null && typeof tv === "object") if (isStore(tv)) _reconcileInner(sv, tv, seen);
@@ -1195,7 +1301,10 @@ function _reconcileObject(source, target, seen) {
 		else target[key] = sv;
 		targetKeys.delete(key);
 	}
-	for (const key of targetKeys) delete target[key];
+	for (const key of targetKeys) {
+		if (DANGEROUS_KEYS.has(key)) continue;
+		delete target[key];
+	}
 }
 
 //#endregion
@@ -1307,5 +1416,5 @@ function watch(source, callback, opts = {}) {
 }
 
 //#endregion
-export { Cell, EffectScope, _bind, batch, cell, computed, createResource, createSelector, createStore, effect, effectScope, getCurrentScope, inspectSignal, isStore, markRaw, nextTick, onCleanup, onScopeDispose, onSignalUpdate, reconcile, renderEffect, runUntracked, runUntracked as untrack, setCurrentScope, setErrorHandler, setSnapshotCapture, shallowReactive, signal, watch, why };
+export { Cell, EffectScope, _bind, batch, cell, clearReactiveTrace, computed, createResource, createSelector, createStore, effect, effectScope, getCurrentScope, getReactiveTrace, inspectSignal, isStore, markRaw, nextTick, onCleanup, onScopeDispose, onSignalUpdate, reconcile, renderEffect, runUntracked, runUntracked as untrack, setCurrentScope, setErrorHandler, setSnapshotCapture, shallowReactive, signal, watch, why };
 //# sourceMappingURL=index.js.map

package/lib/types/index.d.ts

@@ -133,9 +133,9 @@ interface Signal<T> {
   subscribe(listener: () => void): () => void;
   /**
    * Register a direct updater — even lighter than subscribe().
-   * Uses a flat array instead of Set. Disposal nulls the slot (no Set.delete).
    * Intended for compiler-emitted DOM bindings (_bindText, _bindDirect).
-   * Returns a disposer that nulls the slot.
+   * Returns a disposer that removes the updater (O(1)); the live set
+   * stays bounded under register/dispose churn.
    */
   direct(updater: () => void): () => void;
   /**
@@ -209,6 +209,56 @@ declare function why(): void;
  */
 declare function inspectSignal<T>(sig: Signal<T>): SignalDebugInfo<T>;
 //#endregion
+//#region src/reactive-trace.d.ts
+/**
+ * Reactive trace — a bounded, dev-only ring buffer of recent signal
+ * writes. When a signal-based UI throws, the single most useful
+ * debugging question is "what reactive state changed in the run-up to
+ * the crash" — a point-in-time snapshot of every signal value can't
+ * answer that (it shows the end state, not the causal sequence). The
+ * ring buffer records the last N writes so an error report can attach
+ * the sequence that led into the bad state.
+ *
+ * Design constraints:
+ *
+ *   - **Bounded memory.** Fixed-size circular buffer (`CAP` entries).
+ *     Never grows. Old entries overwrite oldest-first.
+ *   - **No value retention.** Stores a TRUNCATED STRING preview of
+ *     prev / next, never the raw value. Holding raw references would
+ *     retain large arrays / detached DOM / closures in the buffer and
+ *     leak them for the buffer's lifetime. The preview is also what
+ *     makes the trace safely serializable into an error report.
+ *   - **Cheap.** No stack capture (that's the expensive part of the
+ *     `onSignalUpdate` debug path — this is deliberately lighter so it
+ *     can record every write in dev without a perf cost). One object
+ *     literal + one array slot write per signal write.
+ *   - **Zero production cost.** The single call site in `signal.ts`
+ *     is inside the existing `process.env.NODE_ENV !== 'production'`
+ *     gate, so the whole module tree-shakes out of prod bundles.
+ */
+interface ReactiveTraceEntry {
+  /** Signal `label` (set via `signal(v, { name })` or the vite plugin's dev auto-naming). `undefined` for anonymous signals. */
+  name: string | undefined;
+  /** Bounded string preview of the value before the write. */
+  prev: string;
+  /** Bounded string preview of the value after the write. */
+  next: string;
+  /** `performance.now()` at write time (monotonic; survives clock changes). */
+  timestamp: number;
+}
+/**
+ * Returns the recorded writes in chronological order (oldest → newest),
+ * at most `CAP` entries. Empty array when nothing has been recorded.
+ * The returned array is a fresh copy — safe to retain / serialize
+ * without pinning the ring buffer.
+ *
+ * Consumed by `@pyreon/core`'s `reportError` to attach `reactiveTrace`
+ * to the error context.
+ */
+declare function getReactiveTrace(): ReactiveTraceEntry[];
+/** Clears the buffer. For test isolation; not part of the app-facing API. */
+declare function clearReactiveTrace(): void;
+//#endregion
 //#region src/effect.d.ts
 interface Effect {
   dispose(): void;
@@ -465,5 +515,5 @@ interface WatchOptions {
  */
 declare function watch<T>(source: () => T, callback: (newVal: T, oldVal: T | undefined) => void | (() => void), opts?: WatchOptions): () => void;
 //#endregion
-export { Cell, type Computed, type ComputedOptions, type Effect, EffectScope, type ReactiveSnapshotCapture, type ReadonlySignal, type Resource, type Signal, type SignalDebugInfo, type SignalOptions, type WatchOptions, _bind, batch, cell, computed, createResource, createSelector, createStore, effect, effectScope, getCurrentScope, inspectSignal, isStore, markRaw, nextTick, onCleanup, onScopeDispose, onSignalUpdate, reconcile, renderEffect, runUntracked, runUntracked as untrack, setCurrentScope, setErrorHandler, setSnapshotCapture, shallowReactive, signal, watch, why };
+export { Cell, type Computed, type ComputedOptions, type Effect, EffectScope, type ReactiveSnapshotCapture, type ReactiveTraceEntry, type ReadonlySignal, type Resource, type Signal, type SignalDebugInfo, type SignalOptions, type WatchOptions, _bind, batch, cell, clearReactiveTrace, computed, createResource, createSelector, createStore, effect, effectScope, getCurrentScope, getReactiveTrace, inspectSignal, isStore, markRaw, nextTick, onCleanup, onScopeDispose, onSignalUpdate, reconcile, renderEffect, runUntracked, runUntracked as untrack, setCurrentScope, setErrorHandler, setSnapshotCapture, shallowReactive, signal, watch, why };
 //# sourceMappingURL=index2.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pyreon/reactivity",
-  "version": "0.16.0",
+  "version": "0.19.0",
   "description": "Signals-based reactivity system for Pyreon",
   "homepage": "https://github.com/pyreon/pyreon/tree/main/packages/reactivity#readme",
   "bugs": {

package/src/computed.ts

@@ -87,13 +87,21 @@ function computedLazy<T>(fn: () => T): Computed<T> {
   let tracked = false
   const deps: Set<() => void>[] = []
   const host: { _s: Set<() => void> | null } = { _s: null }
-  let directFns: ((() => void) | null)[] | null = null
+  // Set, not a never-compacted flat array. The array form's disposal
+  // only nulled the slot (`arr[idx] = null`) and never shrank, so a
+  // long-lived computed (a derived theme/locale/auth value, or one read
+  // inside churning `<For>` rows) bound by mount/unmount churn grew one
+  // permanent dead slot per ever-registered binding — app-lifetime
+  // memory growth AND `recompute` iterating O(total-ever) instead of
+  // O(live). Identical bug class already fixed for `signal._d`
+  // (signal.ts `_directFn`); `computed` was left on the broken pattern.
+  let directFns: Set<() => void> | null = null
 
   const recompute = () => {
     if (disposed || dirty) return
     dirty = true
     if (host._s) notifySubscribers(host._s)
-    if (directFns) for (const f of directFns) f?.()
+    if (directFns) for (const f of directFns) f()
   }
   _markRecompute(recompute)
 
@@ -136,13 +144,20 @@ function computedLazy<T>(fn: () => T): Computed<T> {
     enumerable: false,
   })
 
+  // @internal — mirrors `signal._d`. Lets tests deterministically assert
+  // the live direct-updater set stays BOUNDED under register/dispose
+  // churn (the never-compacted-array leak this fix removes).
+  Object.defineProperty(read, '_d', {
+    get: () => directFns,
+    enumerable: false,
+  })
+
   read.direct = (updater: () => void): (() => void) => {
-    if (!directFns) directFns = []
-    const arr = directFns
-    const idx = arr.length
-    arr.push(updater)
+    if (!directFns) directFns = new Set()
+    const set = directFns
+    set.add(updater)
     return () => {
-      arr[idx] = null
+      set.delete(updater)
     }
   }
 
@@ -163,7 +178,15 @@ function computedWithEquals<T>(fn: () => T, equals: (prev: T, next: T) => boolea
   let disposed = false
   const deps: Set<() => void>[] = []
   const host: { _s: Set<() => void> | null } = { _s: null }
-  let directFns: ((() => void) | null)[] | null = null
+  // Set, not a never-compacted flat array. The array form's disposal
+  // only nulled the slot (`arr[idx] = null`) and never shrank, so a
+  // long-lived computed (a derived theme/locale/auth value, or one read
+  // inside churning `<For>` rows) bound by mount/unmount churn grew one
+  // permanent dead slot per ever-registered binding — app-lifetime
+  // memory growth AND `recompute` iterating O(total-ever) instead of
+  // O(live). Identical bug class already fixed for `signal._d`
+  // (signal.ts `_directFn`); `computed` was left on the broken pattern.
+  let directFns: Set<() => void> | null = null
 
   const recompute = () => {
     if (disposed) return
@@ -181,7 +204,7 @@ function computedWithEquals<T>(fn: () => T, equals: (prev: T, next: T) => boolea
       return
     }
     if (host._s) notifySubscribers(host._s)
-    if (directFns) for (const f of directFns) f?.()
+    if (directFns) for (const f of directFns) f()
   }
   _markRecompute(recompute)
 
@@ -216,13 +239,20 @@ function computedWithEquals<T>(fn: () => T, equals: (prev: T, next: T) => boolea
     enumerable: false,
   })
 
+  // @internal — mirrors `signal._d`. Lets tests deterministically assert
+  // the live direct-updater set stays BOUNDED under register/dispose
+  // churn (the never-compacted-array leak this fix removes).
+  Object.defineProperty(read, '_d', {
+    get: () => directFns,
+    enumerable: false,
+  })
+
   read.direct = (updater: () => void): (() => void) => {
-    if (!directFns) directFns = []
-    const arr = directFns
-    const idx = arr.length
-    arr.push(updater)
+    if (!directFns) directFns = new Set()
+    const set = directFns
+    set.add(updater)
     return () => {
-      arr[idx] = null
+      set.delete(updater)
     }
   }
 

package/src/effect.ts

@@ -102,6 +102,11 @@ interface PyreonErrorBridge {
 const _errorBridge = globalThis as PyreonErrorBridge
 
 function _defaultErrorHandler(err: unknown): void {
+  // Last-resort unhandled-effect-error reporter — MUST fire in
+  // production (silently swallowing uncaught effect errors is a
+  // serious bug; React/Vue/Solid all log uncaught errors in prod).
+  // Deliberately not __DEV__-gated.
+  // pyreon-lint-disable-next-line pyreon/dev-guard-warnings
   console.error('[pyreon] Unhandled effect error:', err)
 }
 

package/src/index.ts

@@ -5,6 +5,8 @@ export { Cell, cell } from './cell'
 export { type Computed, type ComputedOptions, computed } from './computed'
 export { createSelector } from './createSelector'
 export { inspectSignal, onSignalUpdate, why } from './debug'
+export type { ReactiveTraceEntry } from './reactive-trace'
+export { clearReactiveTrace, getReactiveTrace } from './reactive-trace'
 export {
   _bind,
   type Effect,

package/src/manifest.ts

@@ -58,7 +58,7 @@ effect(() => {
     'createStore() / reconcile() / isStore() — deeply reactive proxy stores + structural diff',
     'effectScope() / getCurrentScope() — scope-based lifecycle management',
     'untrack() — read without subscribing',
-    'onSignalUpdate() / inspectSignal() / why() — debug instrumentation',
+    'onSignalUpdate() / inspectSignal() / why() / getReactiveTrace() — debug instrumentation',
     'setErrorHandler() — global hook for unhandled effect errors',
     'Standalone — zero DOM, zero JSX, zero framework dependency',
   ],
@@ -553,6 +553,27 @@ why()         // disarm + dump transcript:
       ],
       seeAlso: ['onSignalUpdate', 'inspectSignal'],
     },
+    {
+      name: 'getReactiveTrace',
+      kind: 'function',
+      signature:
+        '() => Array<{ name: string | undefined; prev: string; next: string; timestamp: number }>',
+      summary:
+        'Returns the last ~50 signal writes (chronological, oldest → newest) from a bounded dev-only ring buffer — the causal SEQUENCE of reactive state changes, not a point-in-time snapshot. `@pyreon/core` attaches this to `ErrorContext.reactiveTrace` automatically so error reports carry "what changed in the run-up to the crash". Entries hold bounded string previews of values (never raw refs — no memory pinning, always serializable). **Dev-only**: the recorder feeding the buffer is behind the production dead-code gate and tree-shakes out, so this returns `[]` in prod builds. Distinct from `onSignalUpdate` — that is opt-in and captures stacks; this is always-on, deliberately cheap, and exists to enrich error reports. `clearReactiveTrace()` resets it (test isolation).',
+      example: `import { getReactiveTrace, clearReactiveTrace, signal } from '@pyreon/reactivity'
+
+const status = signal('idle', { name: 'status' })
+status.set('submitting')
+getReactiveTrace()
+// [{ name: 'status', prev: '"idle"', next: '"submitting"', timestamp: 1234.5 }]
+clearReactiveTrace()  // → []`,
+      mistakes: [
+        'Expecting it to return signal VALUES — it returns string PREVIEWS (truncated, safely stringified). For live values inspect the signal directly',
+        'Relying on it in production — returns `[]` (the recorder is dev-gated and tree-shaken). Use it for dev tooling / error-report enrichment, not runtime logic',
+        'Treating it as a snapshot of all signals — it is a bounded ring of recent WRITES; signals never written (or written before the ~50-entry window) are absent',
+      ],
+      seeAlso: ['onSignalUpdate', 'inspectSignal'],
+    },
     {
       name: 'setErrorHandler',
       kind: 'function',