@pyreon/core 0.18.0 → 0.20.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":"5310d1da-1","name":"lifecycle.ts"},{"uid":"5310d1da-3","name":"component.ts"},{"uid":"5310d1da-5","name":"compat-marker.ts"},{"uid":"5310d1da-7","name":"context.ts"},{"uid":"5310d1da-9","name":"h.ts"},{"uid":"5310d1da-11","name":"dynamic.ts"},{"uid":"5310d1da-13","name":"telemetry.ts"},{"uid":"5310d1da-15","name":"error-boundary.ts"},{"uid":"5310d1da-17","name":"for.ts"},{"uid":"5310d1da-19","name":"ref.ts"},{"uid":"5310d1da-21","name":"defer.ts"},{"uid":"5310d1da-23","name":"lazy.ts"},{"uid":"5310d1da-25","name":"map-array.ts"},{"uid":"5310d1da-27","name":"portal.ts"},{"uid":"5310d1da-29","name":"props.ts"},{"uid":"5310d1da-31","name":"show.ts"},{"uid":"5310d1da-33","name":"style.ts"},{"uid":"5310d1da-35","name":"suspense.ts"},{"uid":"5310d1da-37","name":"index.ts"}]}]}],"isRoot":true},"nodeParts":{"5310d1da-1":{"renderedLength":3078,"gzipLength":1313,"brotliLength":0,"metaUid":"5310d1da-0"},"5310d1da-3":{"renderedLength":1471,"gzipLength":693,"brotliLength":0,"metaUid":"5310d1da-2"},"5310d1da-5":{"renderedLength":3173,"gzipLength":1409,"brotliLength":0,"metaUid":"5310d1da-4"},"5310d1da-7":{"renderedLength":3600,"gzipLength":1542,"brotliLength":0,"metaUid":"5310d1da-6"},"5310d1da-9":{"renderedLength":1813,"gzipLength":957,"brotliLength":0,"metaUid":"5310d1da-8"},"5310d1da-11":{"renderedLength":490,"gzipLength":291,"brotliLength":0,"metaUid":"5310d1da-10"},"5310d1da-13":{"renderedLength":1208,"gzipLength":633,"brotliLength":0,"metaUid":"5310d1da-12"},"5310d1da-15":{"renderedLength":1659,"gzipLength":843,"brotliLength":0,"metaUid":"5310d1da-14"},"5310d1da-17":{"renderedLength":700,"gzipLength":478,"brotliLength":0,"metaUid":"5310d1da-16"},"5310d1da-19":{"renderedLength":86,"gzipLength":98,"brotliLength":0,"metaUid":"5310d1da-18"},"5310d1da-21":{"renderedLength":3979,"gzipLength":1715,"brotliLength":0,"metaUid":"5310d1da-20"},"5310d1da-23":{"renderedLength":461,"gzipLength":273,"brotliLength":0,"metaUid":"5310d1da-22"},"5310d1da-25":{"renderedLength":1018,"gzipLength":571,"brotliLength":0,"metaUid":"5310d1da-24"},"5310d1da-27":{"renderedLength":818,"gzipLength":491,"brotliLength":0,"metaUid":"5310d1da-26"},"5310d1da-29":{"renderedLength":6310,"gzipLength":2344,"brotliLength":0,"metaUid":"5310d1da-28"},"5310d1da-31":{"renderedLength":2022,"gzipLength":854,"brotliLength":0,"metaUid":"5310d1da-30"},"5310d1da-33":{"renderedLength":1858,"gzipLength":825,"brotliLength":0,"metaUid":"5310d1da-32"},"5310d1da-35":{"renderedLength":1104,"gzipLength":614,"brotliLength":0,"metaUid":"5310d1da-34"},"5310d1da-37":{"renderedLength":0,"gzipLength":0,"brotliLength":0,"metaUid":"5310d1da-36"}},"nodeMetas":{"5310d1da-0":{"id":"/src/lifecycle.ts","moduleParts":{"index.js":"5310d1da-1"},"imported":[],"importedBy":[{"uid":"5310d1da-36"},{"uid":"5310d1da-2"},{"uid":"5310d1da-6"},{"uid":"5310d1da-14"},{"uid":"5310d1da-20"}]},"5310d1da-2":{"id":"/src/component.ts","moduleParts":{"index.js":"5310d1da-3"},"imported":[{"uid":"5310d1da-0"}],"importedBy":[{"uid":"5310d1da-36"},{"uid":"5310d1da-14"}]},"5310d1da-4":{"id":"/src/compat-marker.ts","moduleParts":{"index.js":"5310d1da-5"},"imported":[],"importedBy":[{"uid":"5310d1da-36"},{"uid":"5310d1da-14"}]},"5310d1da-6":{"id":"/src/context.ts","moduleParts":{"index.js":"5310d1da-7"},"imported":[{"uid":"5310d1da-38"},{"uid":"5310d1da-0"}],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-8":{"id":"/src/h.ts","moduleParts":{"index.js":"5310d1da-9"},"imported":[],"importedBy":[{"uid":"5310d1da-36"},{"uid":"5310d1da-10"},{"uid":"5310d1da-20"},{"uid":"5310d1da-22"},{"uid":"5310d1da-34"}]},"5310d1da-10":{"id":"/src/dynamic.ts","moduleParts":{"index.js":"5310d1da-11"},"imported":[{"uid":"5310d1da-8"}],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-12":{"id":"/src/telemetry.ts","moduleParts":{"index.js":"5310d1da-13"},"imported":[],"importedBy":[{"uid":"5310d1da-36"},{"uid":"5310d1da-14"}]},"5310d1da-14":{"id":"/src/error-boundary.ts","moduleParts":{"index.js":"5310d1da-15"},"imported":[{"uid":"5310d1da-38"},{"uid":"5310d1da-4"},{"uid":"5310d1da-2"},{"uid":"5310d1da-0"},{"uid":"5310d1da-12"}],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-16":{"id":"/src/for.ts","moduleParts":{"index.js":"5310d1da-17"},"imported":[],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-18":{"id":"/src/ref.ts","moduleParts":{"index.js":"5310d1da-19"},"imported":[],"importedBy":[{"uid":"5310d1da-36"},{"uid":"5310d1da-20"}]},"5310d1da-20":{"id":"/src/defer.ts","moduleParts":{"index.js":"5310d1da-21"},"imported":[{"uid":"5310d1da-38"},{"uid":"5310d1da-8"},{"uid":"5310d1da-0"},{"uid":"5310d1da-18"}],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-22":{"id":"/src/lazy.ts","moduleParts":{"index.js":"5310d1da-23"},"imported":[{"uid":"5310d1da-38"},{"uid":"5310d1da-8"}],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-24":{"id":"/src/map-array.ts","moduleParts":{"index.js":"5310d1da-25"},"imported":[],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-26":{"id":"/src/portal.ts","moduleParts":{"index.js":"5310d1da-27"},"imported":[],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-28":{"id":"/src/props.ts","moduleParts":{"index.js":"5310d1da-29"},"imported":[],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-30":{"id":"/src/show.ts","moduleParts":{"index.js":"5310d1da-31"},"imported":[],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-32":{"id":"/src/style.ts","moduleParts":{"index.js":"5310d1da-33"},"imported":[],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-34":{"id":"/src/suspense.ts","moduleParts":{"index.js":"5310d1da-35"},"imported":[{"uid":"5310d1da-8"}],"importedBy":[{"uid":"5310d1da-36"}]},"5310d1da-36":{"id":"/src/index.ts","moduleParts":{"index.js":"5310d1da-37"},"imported":[{"uid":"5310d1da-2"},{"uid":"5310d1da-4"},{"uid":"5310d1da-6"},{"uid":"5310d1da-10"},{"uid":"5310d1da-14"},{"uid":"5310d1da-16"},{"uid":"5310d1da-8"},{"uid":"5310d1da-20"},{"uid":"5310d1da-22"},{"uid":"5310d1da-0"},{"uid":"5310d1da-24"},{"uid":"5310d1da-26"},{"uid":"5310d1da-28"},{"uid":"5310d1da-18"},{"uid":"5310d1da-30"},{"uid":"5310d1da-32"},{"uid":"5310d1da-34"},{"uid":"5310d1da-12"}],"importedBy":[],"isEntry":true},"5310d1da-38":{"id":"@pyreon/reactivity","moduleParts":{},"imported":[],"importedBy":[{"uid":"5310d1da-6"},{"uid":"5310d1da-14"},{"uid":"5310d1da-20"},{"uid":"5310d1da-22"}]}},"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":"d1de8643-1","name":"lifecycle.ts"},{"uid":"d1de8643-3","name":"component.ts"},{"uid":"d1de8643-5","name":"compat-marker.ts"},{"uid":"d1de8643-7","name":"compat-shared.ts"},{"uid":"d1de8643-9","name":"context.ts"},{"uid":"d1de8643-11","name":"h.ts"},{"uid":"d1de8643-13","name":"dynamic.ts"},{"uid":"d1de8643-15","name":"telemetry.ts"},{"uid":"d1de8643-17","name":"error-boundary.ts"},{"uid":"d1de8643-19","name":"for.ts"},{"uid":"d1de8643-21","name":"ref.ts"},{"uid":"d1de8643-23","name":"defer.ts"},{"uid":"d1de8643-25","name":"lazy.ts"},{"uid":"d1de8643-27","name":"map-array.ts"},{"uid":"d1de8643-29","name":"portal.ts"},{"uid":"d1de8643-31","name":"props.ts"},{"uid":"d1de8643-33","name":"show.ts"},{"uid":"d1de8643-35","name":"style.ts"},{"uid":"d1de8643-37","name":"suspense.ts"},{"uid":"d1de8643-39","name":"index.ts"}]}]}],"isRoot":true},"nodeParts":{"d1de8643-1":{"renderedLength":3090,"gzipLength":1316,"brotliLength":0,"metaUid":"d1de8643-0"},"d1de8643-3":{"renderedLength":1471,"gzipLength":693,"brotliLength":0,"metaUid":"d1de8643-2"},"d1de8643-5":{"renderedLength":3173,"gzipLength":1409,"brotliLength":0,"metaUid":"d1de8643-4"},"d1de8643-7":{"renderedLength":2346,"gzipLength":1033,"brotliLength":0,"metaUid":"d1de8643-6"},"d1de8643-9":{"renderedLength":3600,"gzipLength":1542,"brotliLength":0,"metaUid":"d1de8643-8"},"d1de8643-11":{"renderedLength":1813,"gzipLength":957,"brotliLength":0,"metaUid":"d1de8643-10"},"d1de8643-13":{"renderedLength":490,"gzipLength":292,"brotliLength":0,"metaUid":"d1de8643-12"},"d1de8643-15":{"renderedLength":1990,"gzipLength":950,"brotliLength":0,"metaUid":"d1de8643-14"},"d1de8643-17":{"renderedLength":1659,"gzipLength":843,"brotliLength":0,"metaUid":"d1de8643-16"},"d1de8643-19":{"renderedLength":700,"gzipLength":478,"brotliLength":0,"metaUid":"d1de8643-18"},"d1de8643-21":{"renderedLength":86,"gzipLength":98,"brotliLength":0,"metaUid":"d1de8643-20"},"d1de8643-23":{"renderedLength":4387,"gzipLength":1891,"brotliLength":0,"metaUid":"d1de8643-22"},"d1de8643-25":{"renderedLength":461,"gzipLength":273,"brotliLength":0,"metaUid":"d1de8643-24"},"d1de8643-27":{"renderedLength":1018,"gzipLength":571,"brotliLength":0,"metaUid":"d1de8643-26"},"d1de8643-29":{"renderedLength":818,"gzipLength":491,"brotliLength":0,"metaUid":"d1de8643-28"},"d1de8643-31":{"renderedLength":6310,"gzipLength":2344,"brotliLength":0,"metaUid":"d1de8643-30"},"d1de8643-33":{"renderedLength":2022,"gzipLength":854,"brotliLength":0,"metaUid":"d1de8643-32"},"d1de8643-35":{"renderedLength":1858,"gzipLength":825,"brotliLength":0,"metaUid":"d1de8643-34"},"d1de8643-37":{"renderedLength":1104,"gzipLength":614,"brotliLength":0,"metaUid":"d1de8643-36"},"d1de8643-39":{"renderedLength":0,"gzipLength":0,"brotliLength":0,"metaUid":"d1de8643-38"}},"nodeMetas":{"d1de8643-0":{"id":"/src/lifecycle.ts","moduleParts":{"index.js":"d1de8643-1"},"imported":[],"importedBy":[{"uid":"d1de8643-38"},{"uid":"d1de8643-2"},{"uid":"d1de8643-8"},{"uid":"d1de8643-16"},{"uid":"d1de8643-22"}]},"d1de8643-2":{"id":"/src/component.ts","moduleParts":{"index.js":"d1de8643-3"},"imported":[{"uid":"d1de8643-0"}],"importedBy":[{"uid":"d1de8643-38"},{"uid":"d1de8643-16"}]},"d1de8643-4":{"id":"/src/compat-marker.ts","moduleParts":{"index.js":"d1de8643-5"},"imported":[],"importedBy":[{"uid":"d1de8643-38"},{"uid":"d1de8643-16"}]},"d1de8643-6":{"id":"/src/compat-shared.ts","moduleParts":{"index.js":"d1de8643-7"},"imported":[],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-8":{"id":"/src/context.ts","moduleParts":{"index.js":"d1de8643-9"},"imported":[{"uid":"d1de8643-40"},{"uid":"d1de8643-0"}],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-10":{"id":"/src/h.ts","moduleParts":{"index.js":"d1de8643-11"},"imported":[],"importedBy":[{"uid":"d1de8643-38"},{"uid":"d1de8643-12"},{"uid":"d1de8643-22"},{"uid":"d1de8643-24"},{"uid":"d1de8643-36"}]},"d1de8643-12":{"id":"/src/dynamic.ts","moduleParts":{"index.js":"d1de8643-13"},"imported":[{"uid":"d1de8643-10"}],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-14":{"id":"/src/telemetry.ts","moduleParts":{"index.js":"d1de8643-15"},"imported":[{"uid":"d1de8643-40"}],"importedBy":[{"uid":"d1de8643-38"},{"uid":"d1de8643-16"}]},"d1de8643-16":{"id":"/src/error-boundary.ts","moduleParts":{"index.js":"d1de8643-17"},"imported":[{"uid":"d1de8643-40"},{"uid":"d1de8643-4"},{"uid":"d1de8643-2"},{"uid":"d1de8643-0"},{"uid":"d1de8643-14"}],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-18":{"id":"/src/for.ts","moduleParts":{"index.js":"d1de8643-19"},"imported":[],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-20":{"id":"/src/ref.ts","moduleParts":{"index.js":"d1de8643-21"},"imported":[],"importedBy":[{"uid":"d1de8643-38"},{"uid":"d1de8643-22"}]},"d1de8643-22":{"id":"/src/defer.ts","moduleParts":{"index.js":"d1de8643-23"},"imported":[{"uid":"d1de8643-40"},{"uid":"d1de8643-10"},{"uid":"d1de8643-0"},{"uid":"d1de8643-20"}],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-24":{"id":"/src/lazy.ts","moduleParts":{"index.js":"d1de8643-25"},"imported":[{"uid":"d1de8643-40"},{"uid":"d1de8643-10"}],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-26":{"id":"/src/map-array.ts","moduleParts":{"index.js":"d1de8643-27"},"imported":[],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-28":{"id":"/src/portal.ts","moduleParts":{"index.js":"d1de8643-29"},"imported":[],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-30":{"id":"/src/props.ts","moduleParts":{"index.js":"d1de8643-31"},"imported":[],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-32":{"id":"/src/show.ts","moduleParts":{"index.js":"d1de8643-33"},"imported":[],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-34":{"id":"/src/style.ts","moduleParts":{"index.js":"d1de8643-35"},"imported":[],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-36":{"id":"/src/suspense.ts","moduleParts":{"index.js":"d1de8643-37"},"imported":[{"uid":"d1de8643-10"}],"importedBy":[{"uid":"d1de8643-38"}]},"d1de8643-38":{"id":"/src/index.ts","moduleParts":{"index.js":"d1de8643-39"},"imported":[{"uid":"d1de8643-2"},{"uid":"d1de8643-4"},{"uid":"d1de8643-6"},{"uid":"d1de8643-8"},{"uid":"d1de8643-12"},{"uid":"d1de8643-16"},{"uid":"d1de8643-18"},{"uid":"d1de8643-10"},{"uid":"d1de8643-22"},{"uid":"d1de8643-24"},{"uid":"d1de8643-0"},{"uid":"d1de8643-26"},{"uid":"d1de8643-28"},{"uid":"d1de8643-30"},{"uid":"d1de8643-20"},{"uid":"d1de8643-32"},{"uid":"d1de8643-34"},{"uid":"d1de8643-36"},{"uid":"d1de8643-14"}],"importedBy":[],"isEntry":true},"d1de8643-40":{"id":"@pyreon/reactivity","moduleParts":{},"imported":[],"importedBy":[{"uid":"d1de8643-8"},{"uid":"d1de8643-16"},{"uid":"d1de8643-22"},{"uid":"d1de8643-24"},{"uid":"d1de8643-14"}]}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
 
     const run = () => {
       const width = window.innerWidth;

package/lib/index.js

@@ -1,7 +1,7 @@
-import { effect, setSnapshotCapture, signal } from "@pyreon/reactivity";
+import { effect, getReactiveTrace, setSnapshotCapture, signal } from "@pyreon/reactivity";
 
 //#region src/lifecycle.ts
-const __DEV__$4 = process.env.NODE_ENV !== "production";
+const __DEV__$5 = process.env.NODE_ENV !== "production";
 let _current = null;
 function setCurrentHooks(hooks) {
 	_current = hooks;
@@ -40,10 +40,10 @@ function captureCallSite() {
 	return "";
 }
 function warnOutsideSetup(hookName) {
-	if (__DEV__$4 && !_current) {
+	if (__DEV__$5 && !_current) {
 		const callSite = captureCallSite();
-		const location = callSite ? `\n  Called from: ${callSite}` : "";
-		console.warn(`[Pyreon] ${hookName}() called outside component setup. Lifecycle hooks must be called synchronously during a component's setup function.` + location + (hookName === "onUnmount" ? "\n  Hint: `provide()` internally calls onUnmount(). If you use provide(), ensure it runs during synchronous component setup — not inside effects, callbacks, or after awaits." : ""));
+		const callSiteSuffix = callSite ? `\n  Called from: ${callSite}` : "";
+		console.warn(`[Pyreon] ${hookName}() called outside component setup. Lifecycle hooks must be called synchronously during a component's setup function.` + callSiteSuffix + (hookName === "onUnmount" ? "\n  Hint: `provide()` internally calls onUnmount(). If you use provide(), ensure it runs during synchronous component setup — not inside effects, callbacks, or after awaits." : ""));
 	}
 }
 /**
@@ -231,6 +231,71 @@ function isNativeCompat(fn) {
 	return typeof fn === "function" && fn[NATIVE_COMPAT_MARKER] === true;
 }
 
+//#endregion
+//#region src/compat-shared.ts
+/**
+* Code shared by the framework-compat JSX runtimes
+* (`@pyreon/react-compat`, `@pyreon/preact-compat`).
+*
+* These helpers were previously copy-pasted byte-for-byte into both
+* packages. `@pyreon/core` is the correct single home — it's already a
+* dependency of every compat package and already hosts the sibling
+* cross-compat module `compat-marker.ts` (`nativeCompat` / `isNativeCompat`).
+*/
+/**
+* Shallow props comparison used by compat `memo()` / `useState` bailout.
+* Same-length key sets with `Object.is`-equal values → equal.
+*/
+function shallowEqualProps(a, b) {
+	const keysA = Object.keys(a);
+	const keysB = Object.keys(b);
+	if (keysA.length !== keysB.length) return false;
+	for (const k of keysA) if (!Object.is(a[k], b[k])) return false;
+	return true;
+}
+/**
+* Map React/Preact-style DOM attributes to standard HTML attributes,
+* mutating `props` in place. No-op when `type` is not a host string
+* (component vnodes keep their props untouched).
+*
+* The React and Preact variants were identical apart from React also
+* stripping `suppressContentEditableWarning`. Both keys are React/Preact
+* authoring-only and never valid DOM attributes, so always stripping
+* both is behavior-preserving for Preact (the key is never set there;
+* `delete` of an absent key is a no-op) and removes the only divergence.
+*/
+function mapCompatDomProps(props, type) {
+	if (typeof type !== "string") return;
+	if (props.className !== void 0) {
+		props.class = props.className;
+		delete props.className;
+	}
+	if (props.htmlFor !== void 0) {
+		props.for = props.htmlFor;
+		delete props.htmlFor;
+	}
+	if ((type === "input" || type === "textarea" || type === "select") && props.onChange !== void 0) {
+		if (props.onInput === void 0) props.onInput = props.onChange;
+		delete props.onChange;
+	}
+	if (props.autoFocus !== void 0) {
+		props.autofocus = props.autoFocus;
+		delete props.autoFocus;
+	}
+	if (type === "input" || type === "textarea") {
+		if (props.defaultValue !== void 0 && props.value === void 0) {
+			props.value = props.defaultValue;
+			delete props.defaultValue;
+		}
+		if (props.defaultChecked !== void 0 && props.checked === void 0) {
+			props.checked = props.defaultChecked;
+			delete props.defaultChecked;
+		}
+	}
+	delete props.suppressHydrationWarning;
+	delete props.suppressContentEditableWarning;
+}
+
 //#endregion
 //#region src/context.ts
 /**
@@ -396,10 +461,10 @@ function flattenChildren(children) {
 
 //#endregion
 //#region src/dynamic.ts
-const __DEV__$3 = process.env.NODE_ENV !== "production";
+const __DEV__$4 = process.env.NODE_ENV !== "production";
 function Dynamic(props) {
 	const { component, children, ...rest } = props;
-	if (__DEV__$3 && !component) console.warn("[Pyreon] <Dynamic> received a falsy `component` prop. Nothing will be rendered.");
+	if (__DEV__$4 && !component) console.warn("[Pyreon] <Dynamic> received a falsy `component` prop. Nothing will be rendered.");
 	if (!component) return null;
 	if (children === void 0) return h(component, rest);
 	if (Array.isArray(children)) return h(component, rest, ...children);
@@ -408,6 +473,24 @@ function Dynamic(props) {
 
 //#endregion
 //#region src/telemetry.ts
+/**
+* Error telemetry — hook into Pyreon's error reporting for Sentry, Datadog, etc.
+*
+* Captures errors from ALL lifecycle phases including reactive effects.
+* `effect()` errors thrown by `@pyreon/reactivity` are bridged through a
+* globalThis sink (no upward import — reactivity doesn't depend on core).
+*
+* @example
+* import { registerErrorHandler } from "@pyreon/core"
+* import * as Sentry from "@sentry/browser"
+*
+* registerErrorHandler(ctx => {
+*   Sentry.captureException(ctx.error, {
+*     extra: { component: ctx.component, phase: ctx.phase },
+*   })
+* })
+*/
+const __DEV__$3 = process.env.NODE_ENV !== "production";
 let _handlers = [];
 /**
 * Register a global error handler. Called whenever a component throws in any
@@ -431,6 +514,10 @@ function registerErrorHandler(handler) {
 * Existing console.error calls are preserved; this is additive.
 */
 function reportError(ctx) {
+	if (__DEV__$3 && ctx.reactiveTrace === void 0) try {
+		const trace = getReactiveTrace();
+		if (trace.length > 0) ctx.reactiveTrace = trace;
+	} catch {}
 	for (const h of _handlers) try {
 		h(ctx);
 	} catch {}
@@ -617,6 +704,11 @@ function Defer(props) {
 	const startLoad = () => {
 		if (loadStarted) return;
 		loadStarted = true;
+		if (!props.chunk) {
+			const err = /* @__PURE__ */ new Error("[Pyreon] <Defer> has no `chunk` prop. Either pass `chunk={() => import(\"...\")}` (explicit form), or use the inline form `<Defer when={...}><Component /></Defer>` with `@pyreon/vite-plugin` enabled — the compiler rewrites inline JSX to an explicit chunk-prop call.");
+			Failed.set(err);
+			return;
+		}
 		props.chunk().then((mod) => {
 			const Comp = typeof mod === "function" ? mod : mod.default;
 			if (__DEV__$1 && typeof Comp !== "function") {
@@ -639,7 +731,9 @@ function Defer(props) {
 		if (err) throw err;
 		const Comp = Loaded();
 		if (!Comp) return props.fallback ?? null;
-		return props.children ? props.children(Comp) : h(Comp, {});
+		const ch = props.children;
+		if (typeof ch === "function") return ch(Comp);
+		return h(Comp, {});
 	};
 	if ("on" in props && props.on === "visible") {
 		const containerRef = createRef();
@@ -1104,5 +1198,5 @@ function Suspense(props) {
 }
 
 //#endregion
-export { CSS_UNITLESS, Defer, Dynamic, EMPTY_PROPS, ErrorBoundary, For, ForSymbol, Fragment, Match, MatchSymbol, NATIVE_COMPAT_MARKER, Portal, PortalSymbol, REACTIVE_PROP, Show, Suspense, Switch, _rp, _wrapSpread, captureContextStack, createContext, createReactiveContext, createRef, createUniqueId, cx, defineComponent, dispatchToErrorBoundary, h, isNativeCompat, lazy, makeReactiveProps, mapArray, mergeProps, nativeCompat, normalizeStyleValue, onErrorCaptured, onMount, onUnmount, onUpdate, popContext, propagateError, provide, pushContext, registerErrorHandler, reportError, restoreContextStack, runWithHooks, setContextStackProvider, splitProps, toKebabCase, useContext, withContext };
+export { CSS_UNITLESS, Defer, Dynamic, EMPTY_PROPS, ErrorBoundary, For, ForSymbol, Fragment, Match, MatchSymbol, NATIVE_COMPAT_MARKER, Portal, PortalSymbol, REACTIVE_PROP, Show, Suspense, Switch, _rp, _wrapSpread, captureContextStack, createContext, createReactiveContext, createRef, createUniqueId, cx, defineComponent, dispatchToErrorBoundary, h, isNativeCompat, lazy, makeReactiveProps, mapArray, mapCompatDomProps, mergeProps, nativeCompat, normalizeStyleValue, onErrorCaptured, onMount, onUnmount, onUpdate, popContext, propagateError, provide, pushContext, registerErrorHandler, reportError, restoreContextStack, runWithHooks, setContextStackProvider, shallowEqualProps, splitProps, toKebabCase, useContext, withContext };
 //# sourceMappingURL=index.js.map

package/lib/types/index.d.ts

@@ -1,3 +1,5 @@
+import { ReactiveTraceEntry } from "@pyreon/reactivity";
+
 //#region src/types.d.ts
 type VNodeChildAtom = VNode | string | number | boolean | null | undefined;
 /** Reactive accessor — TS checks this arm FIRST so `{() => cond && <X />}` resolves correctly */
@@ -176,6 +178,34 @@ declare function nativeCompat<T>(fn: T): T;
  */
 declare function isNativeCompat(fn: unknown): boolean;
 //#endregion
+//#region src/compat-shared.d.ts
+/**
+ * Code shared by the framework-compat JSX runtimes
+ * (`@pyreon/react-compat`, `@pyreon/preact-compat`).
+ *
+ * These helpers were previously copy-pasted byte-for-byte into both
+ * packages. `@pyreon/core` is the correct single home — it's already a
+ * dependency of every compat package and already hosts the sibling
+ * cross-compat module `compat-marker.ts` (`nativeCompat` / `isNativeCompat`).
+ */
+/**
+ * Shallow props comparison used by compat `memo()` / `useState` bailout.
+ * Same-length key sets with `Object.is`-equal values → equal.
+ */
+declare function shallowEqualProps<P extends Record<string, unknown>>(a: P, b: P): boolean;
+/**
+ * Map React/Preact-style DOM attributes to standard HTML attributes,
+ * mutating `props` in place. No-op when `type` is not a host string
+ * (component vnodes keep their props untouched).
+ *
+ * The React and Preact variants were identical apart from React also
+ * stripping `suppressContentEditableWarning`. Both keys are React/Preact
+ * authoring-only and never valid DOM attributes, so always stripping
+ * both is behavior-preserving for Preact (the key is never set there;
+ * `delete` of an absent key is a no-op) and removes the only divergence.
+ */
+declare function mapCompatDomProps(props: Record<string, unknown>, type: unknown): void;
+//#endregion
 //#region src/context.d.ts
 /**
  * Provide / inject — like React context or Vue provide/inject.
@@ -1047,14 +1077,27 @@ type DeferProps<P extends Props> = DeferTrigger & {
    * Dynamic import to lazy-load. The literal `import('./X')` is what
    * Rolldown / Vite see when emitting chunks — using a variable here
    * defeats code splitting.
+   *
+   * Typed as optional ONLY because the compiler-driven inline form
+   * (`<Defer when={x}><Modal /></Defer>`) doesn't include a `chunk`
+   * prop at source level — `@pyreon/compiler`'s `transformDeferInline`
+   * synthesizes it before runtime. Authors using the explicit form
+   * must pass `chunk` — runtime throws a clear dev-mode error when
+   * the trigger fires and `chunk` is missing.
    */
-  chunk: () => Promise<ChunkResult<P>>;
+  chunk?: () => Promise<ChunkResult<P>>;
   /**
-   * Render-prop for the loaded component. Receives the resolved component
-   * and returns its JSX with whatever props the parent needs to pass.
-   * Optional — omitting it renders `<Comp />` with no props.
+   * Children accept TWO shapes:
+   *   1. Render-prop `(Component) => VNodeChild` — the explicit form.
+   *      Receives the loaded component, lets the author pass props.
+   *   2. Inline JSX (`<Defer when={x}><Modal /></Defer>`) — the compiler-
+   *      driven form. The compiler extracts the subtree into a chunk
+   *      and rewrites this to the render-prop form before runtime.
+   *
+   * Type widening is necessary because TypeScript checks the raw source
+   * BEFORE the compiler pass runs — both shapes must typecheck.
    */
-  children?: (Component: ComponentFn<P>) => VNodeChild; /** Shown while the chunk is loading. Default: `null`. */
+  children?: ((Component: ComponentFn<P>) => VNodeChild) | VNodeChild; /** Shown while the chunk is loading. Default: `null`. */
   fallback?: VNodeChild;
   /**
    * IntersectionObserver `rootMargin` for `on="visible"` mode. Default
@@ -1327,23 +1370,6 @@ declare function Switch(props: SwitchProps): VNode | null;
 declare const MatchSymbol: unique symbol;
 //#endregion
 //#region src/telemetry.d.ts
-/**
- * Error telemetry — hook into Pyreon's error reporting for Sentry, Datadog, etc.
- *
- * Captures errors from ALL lifecycle phases including reactive effects.
- * `effect()` errors thrown by `@pyreon/reactivity` are bridged through a
- * globalThis sink (no upward import — reactivity doesn't depend on core).
- *
- * @example
- * import { registerErrorHandler } from "@pyreon/core"
- * import * as Sentry from "@sentry/browser"
- *
- * registerErrorHandler(ctx => {
- *   Sentry.captureException(ctx.error, {
- *     extra: { component: ctx.component, phase: ctx.phase },
- *   })
- * })
- */
 interface ErrorContext {
   /** Component function name, "Anonymous", or "Effect" for reactive effects */
   component: string;
@@ -1355,6 +1381,22 @@ interface ErrorContext {
   timestamp: number;
   /** Component props at the time of the error */
   props?: Record<string, unknown>;
+  /**
+   * The last N signal writes (chronological, oldest → newest) leading
+   * up to the error — the causal sequence of reactive state changes,
+   * not a point-in-time snapshot. Each entry is `{ name, prev, next,
+   * timestamp }` with `prev` / `next` as bounded string previews.
+   *
+   * Populated automatically in development from `@pyreon/reactivity`'s
+   * dev-only ring buffer. **`undefined` in production** — the recorder
+   * feeding the buffer tree-shakes out of prod bundles, so the cost is
+   * zero and the field is simply absent.
+   *
+   * For a signal framework this answers the first question a crash
+   * raises — "what reactive state changed in the run-up?" — that the
+   * thrown value + stack alone can't.
+   */
+  reactiveTrace?: ReactiveTraceEntry[];
 }
 type ErrorHandler = (ctx: ErrorContext) => void;
 /**
@@ -1374,5 +1416,5 @@ declare function registerErrorHandler(handler: ErrorHandler): () => void;
  */
 declare function reportError(ctx: ErrorContext): void;
 //#endregion
-export { type AnchorAttributes, type ButtonAttributes, type CSSProperties, CSS_UNITLESS, type ClassValue, type CleanupFn, type ComponentFn, type ComponentInstance, type Context, type ContextSnapshot, Defer, type DeferProps, Dynamic, type DynamicProps, EMPTY_PROPS, ErrorBoundary, type ErrorContext, type ErrorHandler, type ExtractProps, For, type ForProps, ForSymbol, type FormAttributes, Fragment, type HigherOrderComponent, type ImgAttributes, type InputAttributes, type LazyComponent, type LifecycleHooks, Match, type MatchProps, MatchSymbol, NATIVE_COMPAT_MARKER, type NativeItem, Portal, type PortalProps, PortalSymbol, type Props, type PyreonHTMLAttributes, REACTIVE_PROP, type ReactiveContext, type Ref, type RefCallback, type RefProp, type SelectAttributes, Show, type ShowProps, type StyleValue, Suspense, type SvgAttributes, Switch, type SwitchProps, type TargetedEvent, type TextareaAttributes, type VNode, type VNodeChild, type VNodeChildAccessor, type VNodeChildAtom, _rp, _wrapSpread, captureContextStack, createContext, createReactiveContext, createRef, createUniqueId, cx, defineComponent, dispatchToErrorBoundary, h, isNativeCompat, lazy, makeReactiveProps, mapArray, mergeProps, nativeCompat, normalizeStyleValue, onErrorCaptured, onMount, onUnmount, onUpdate, popContext, propagateError, provide, pushContext, registerErrorHandler, reportError, restoreContextStack, runWithHooks, setContextStackProvider, splitProps, toKebabCase, useContext, withContext };
+export { type AnchorAttributes, type ButtonAttributes, type CSSProperties, CSS_UNITLESS, type ClassValue, type CleanupFn, type ComponentFn, type ComponentInstance, type Context, type ContextSnapshot, Defer, type DeferProps, Dynamic, type DynamicProps, EMPTY_PROPS, ErrorBoundary, type ErrorContext, type ErrorHandler, type ExtractProps, For, type ForProps, ForSymbol, type FormAttributes, Fragment, type HigherOrderComponent, type ImgAttributes, type InputAttributes, type LazyComponent, type LifecycleHooks, Match, type MatchProps, MatchSymbol, NATIVE_COMPAT_MARKER, type NativeItem, Portal, type PortalProps, PortalSymbol, type Props, type PyreonHTMLAttributes, REACTIVE_PROP, type ReactiveContext, type ReactiveTraceEntry, type Ref, type RefCallback, type RefProp, type SelectAttributes, Show, type ShowProps, type StyleValue, Suspense, type SvgAttributes, Switch, type SwitchProps, type TargetedEvent, type TextareaAttributes, type VNode, type VNodeChild, type VNodeChildAccessor, type VNodeChildAtom, _rp, _wrapSpread, captureContextStack, createContext, createReactiveContext, createRef, createUniqueId, cx, defineComponent, dispatchToErrorBoundary, h, isNativeCompat, lazy, makeReactiveProps, mapArray, mapCompatDomProps, mergeProps, nativeCompat, normalizeStyleValue, onErrorCaptured, onMount, onUnmount, onUpdate, popContext, propagateError, provide, pushContext, registerErrorHandler, reportError, restoreContextStack, runWithHooks, setContextStackProvider, shallowEqualProps, splitProps, toKebabCase, useContext, withContext };
 //# sourceMappingURL=index2.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pyreon/core",
-  "version": "0.18.0",
+  "version": "0.20.0",
   "description": "Core component model and lifecycle for Pyreon",
   "homepage": "https://github.com/pyreon/pyreon/tree/main/packages/core#readme",
   "bugs": {
@@ -53,7 +53,7 @@
     "prepublishOnly": "bun run build"
   },
   "dependencies": {
-    "@pyreon/reactivity": "^0.18.0"
+    "@pyreon/reactivity": "^0.20.0"
   },
   "devDependencies": {
     "@pyreon/manifest": "0.13.1"

package/src/compat-shared.ts

@@ -0,0 +1,80 @@
+/**
+ * Code shared by the framework-compat JSX runtimes
+ * (`@pyreon/react-compat`, `@pyreon/preact-compat`).
+ *
+ * These helpers were previously copy-pasted byte-for-byte into both
+ * packages. `@pyreon/core` is the correct single home — it's already a
+ * dependency of every compat package and already hosts the sibling
+ * cross-compat module `compat-marker.ts` (`nativeCompat` / `isNativeCompat`).
+ */
+
+/**
+ * Shallow props comparison used by compat `memo()` / `useState` bailout.
+ * Same-length key sets with `Object.is`-equal values → equal.
+ */
+export function shallowEqualProps<P extends Record<string, unknown>>(a: P, b: P): boolean {
+  const keysA = Object.keys(a)
+  const keysB = Object.keys(b)
+  if (keysA.length !== keysB.length) return false
+  for (const k of keysA) {
+    if (!Object.is(a[k], b[k])) return false
+  }
+  return true
+}
+
+/**
+ * Map React/Preact-style DOM attributes to standard HTML attributes,
+ * mutating `props` in place. No-op when `type` is not a host string
+ * (component vnodes keep their props untouched).
+ *
+ * The React and Preact variants were identical apart from React also
+ * stripping `suppressContentEditableWarning`. Both keys are React/Preact
+ * authoring-only and never valid DOM attributes, so always stripping
+ * both is behavior-preserving for Preact (the key is never set there;
+ * `delete` of an absent key is a no-op) and removes the only divergence.
+ */
+export function mapCompatDomProps(props: Record<string, unknown>, type: unknown): void {
+  if (typeof type !== 'string') return
+
+  if (props.className !== undefined) {
+    props.class = props.className
+    delete props.className
+  }
+  if (props.htmlFor !== undefined) {
+    props.for = props.htmlFor
+    delete props.htmlFor
+  }
+
+  // React/Preact onChange fires on every keystroke for form elements (like onInput)
+  if (
+    (type === 'input' || type === 'textarea' || type === 'select') &&
+    props.onChange !== undefined
+  ) {
+    if (props.onInput === undefined) {
+      props.onInput = props.onChange
+    }
+    delete props.onChange
+  }
+
+  // autoFocus → autofocus
+  if (props.autoFocus !== undefined) {
+    props.autofocus = props.autoFocus
+    delete props.autoFocus
+  }
+
+  // defaultValue / defaultChecked → value / checked when no controlled value
+  if (type === 'input' || type === 'textarea') {
+    if (props.defaultValue !== undefined && props.value === undefined) {
+      props.value = props.defaultValue
+      delete props.defaultValue
+    }
+    if (props.defaultChecked !== undefined && props.checked === undefined) {
+      props.checked = props.defaultChecked
+      delete props.defaultChecked
+    }
+  }
+
+  // Strip authoring-only props that have no DOM equivalent
+  delete props.suppressHydrationWarning
+  delete props.suppressContentEditableWarning
+}

package/src/defer.ts

@@ -88,14 +88,27 @@ export type DeferProps<P extends Props> = DeferTrigger & {
    * Dynamic import to lazy-load. The literal `import('./X')` is what
    * Rolldown / Vite see when emitting chunks — using a variable here
    * defeats code splitting.
+   *
+   * Typed as optional ONLY because the compiler-driven inline form
+   * (`<Defer when={x}><Modal /></Defer>`) doesn't include a `chunk`
+   * prop at source level — `@pyreon/compiler`'s `transformDeferInline`
+   * synthesizes it before runtime. Authors using the explicit form
+   * must pass `chunk` — runtime throws a clear dev-mode error when
+   * the trigger fires and `chunk` is missing.
    */
-  chunk: () => Promise<ChunkResult<P>>
+  chunk?: () => Promise<ChunkResult<P>>
   /**
-   * Render-prop for the loaded component. Receives the resolved component
-   * and returns its JSX with whatever props the parent needs to pass.
-   * Optional — omitting it renders `<Comp />` with no props.
+   * Children accept TWO shapes:
+   *   1. Render-prop `(Component) => VNodeChild` — the explicit form.
+   *      Receives the loaded component, lets the author pass props.
+   *   2. Inline JSX (`<Defer when={x}><Modal /></Defer>`) — the compiler-
+   *      driven form. The compiler extracts the subtree into a chunk
+   *      and rewrites this to the render-prop form before runtime.
+   *
+   * Type widening is necessary because TypeScript checks the raw source
+   * BEFORE the compiler pass runs — both shapes must typecheck.
    */
-  children?: (Component: ComponentFn<P>) => VNodeChild
+  children?: ((Component: ComponentFn<P>) => VNodeChild) | VNodeChild
   /** Shown while the chunk is loading. Default: `null`. */
   fallback?: VNodeChild
   /**
@@ -146,6 +159,20 @@ export function Defer<P extends Props>(props: DeferProps<P>): VNode {
   const startLoad = (): void => {
     if (loadStarted) return
     loadStarted = true
+    if (!props.chunk) {
+      // Missing chunk = either the user is hand-writing the inline form
+      // without the compiler pass running, or they wrote the explicit
+      // form and forgot to pass chunk. Either way, error early with an
+      // actionable message instead of crashing later inside the `.then`.
+      const err = new Error(
+        '[Pyreon] <Defer> has no `chunk` prop. Either pass `chunk={() => import("...")}` ' +
+          '(explicit form), or use the inline form `<Defer when={...}><Component /></Defer>` ' +
+          'with `@pyreon/vite-plugin` enabled — the compiler rewrites inline JSX to ' +
+          'an explicit chunk-prop call.',
+      )
+      Failed.set(err)
+      return
+    }
     props
       .chunk()
       .then((mod) => {
@@ -199,7 +226,18 @@ export function Defer<P extends Props>(props: DeferProps<P>): VNode {
     if (err) throw err
     const Comp = Loaded()
     if (!Comp) return props.fallback ?? null
-    return props.children ? props.children(Comp) : h(Comp as ComponentFn, {})
+    // children is widened to `VNodeChild | render-prop` so the compiler-
+    // driven inline form (where author writes `<Defer ...><Modal /></Defer>`)
+    // typechecks at source level. At RUNTIME children is always either
+    // undefined OR the render-prop — the compiler rewrites the inline
+    // form's JSX children to a render-prop before this code runs.
+    // A non-function children at runtime means the user is invoking the
+    // inline form without the compiler pass (e.g. running tests through
+    // a bundler that doesn't include `@pyreon/vite-plugin`) — in that
+    // case we render `<Comp />` with no props as a best-effort fallback.
+    const ch = props.children
+    if (typeof ch === 'function') return ch(Comp)
+    return h(Comp as ComponentFn, {})
   }
 
   if ('on' in props && props.on === 'visible') {

package/src/index.ts

@@ -2,6 +2,7 @@
 
 export { defineComponent, dispatchToErrorBoundary, propagateError, runWithHooks } from './component'
 export { isNativeCompat, NATIVE_COMPAT_MARKER, nativeCompat } from './compat-marker'
+export { mapCompatDomProps, shallowEqualProps } from './compat-shared'
 export type { Context, ContextSnapshot, ReactiveContext } from './context'
 export {
   captureContextStack,
@@ -59,7 +60,7 @@ export type { ClassValue } from './style'
 export { CSS_UNITLESS, cx, normalizeStyleValue, toKebabCase } from './style'
 export type { LazyComponent } from './suspense'
 export { Suspense } from './suspense'
-export type { ErrorContext, ErrorHandler } from './telemetry'
+export type { ErrorContext, ErrorHandler, ReactiveTraceEntry } from './telemetry'
 export { registerErrorHandler, reportError } from './telemetry'
 export type {
   CleanupFn,

package/src/lifecycle.ts

@@ -59,12 +59,14 @@ function captureCallSite(): string {
 function warnOutsideSetup(hookName: string): void {
   if (__DEV__ && !_current) {
     const callSite = captureCallSite()
-    const location = callSite ? `\n  Called from: ${callSite}` : ''
+    // Local name must NOT shadow the `location` browser global (poor
+    // hygiene + trips SSR static analysis into a false positive).
+    const callSiteSuffix = callSite ? `\n  Called from: ${callSite}` : ''
     // oxlint-disable-next-line no-console
     console.warn(
       `[Pyreon] ${hookName}() called outside component setup. ` +
         "Lifecycle hooks must be called synchronously during a component's setup function." +
-        location +
+        callSiteSuffix +
         (hookName === 'onUnmount'
           ? '\n  Hint: `provide()` internally calls onUnmount(). If you use provide(), ensure it runs during synchronous component setup — not inside effects, callbacks, or after awaits.'
           : ''),

package/src/telemetry.ts

@@ -16,6 +16,13 @@
  * })
  */
 
+import { getReactiveTrace, type ReactiveTraceEntry } from '@pyreon/reactivity'
+
+// Bundler-agnostic dev gate (see pyreon/no-process-dev-gate).
+const __DEV__ = process.env.NODE_ENV !== 'production'
+
+export type { ReactiveTraceEntry }
+
 export interface ErrorContext {
   /** Component function name, "Anonymous", or "Effect" for reactive effects */
   component: string
@@ -27,6 +34,22 @@ export interface ErrorContext {
   timestamp: number
   /** Component props at the time of the error */
   props?: Record<string, unknown>
+  /**
+   * The last N signal writes (chronological, oldest → newest) leading
+   * up to the error — the causal sequence of reactive state changes,
+   * not a point-in-time snapshot. Each entry is `{ name, prev, next,
+   * timestamp }` with `prev` / `next` as bounded string previews.
+   *
+   * Populated automatically in development from `@pyreon/reactivity`'s
+   * dev-only ring buffer. **`undefined` in production** — the recorder
+   * feeding the buffer tree-shakes out of prod bundles, so the cost is
+   * zero and the field is simply absent.
+   *
+   * For a signal framework this answers the first question a crash
+   * raises — "what reactive state changed in the run-up?" — that the
+   * thrown value + stack alone can't.
+   */
+  reactiveTrace?: ReactiveTraceEntry[]
 }
 
 export type ErrorHandler = (ctx: ErrorContext) => void
@@ -56,6 +79,20 @@ export function registerErrorHandler(handler: ErrorHandler): () => void {
  * Existing console.error calls are preserved; this is additive.
  */
 export function reportError(ctx: ErrorContext): void {
+  // Enrich with the recent-signal-write trace so every handler (Sentry,
+  // Datadog, console) gets the causal reactive sequence for free. Only
+  // when the caller didn't already supply one, and only in dev — the
+  // gate lets the `getReactiveTrace` call (and the buffer behind it)
+  // tree-shake out of production. A throwing/empty trace must never
+  // block error reporting, so it's best-effort.
+  if (__DEV__ && ctx.reactiveTrace === undefined) {
+    try {
+      const trace = getReactiveTrace()
+      if (trace.length > 0) ctx.reactiveTrace = trace
+    } catch {
+      // Trace capture is diagnostic — never let it swallow the real error.
+    }
+  }
   for (const h of _handlers) {
     try {
       h(ctx)

package/src/tests/compat-shared.test.ts

@@ -0,0 +1,99 @@
+import { describe, expect, it } from 'vitest'
+import { mapCompatDomProps, shallowEqualProps } from '../compat-shared'
+
+describe('shallowEqualProps', () => {
+  it('equal for same-key same-value objects', () => {
+    expect(shallowEqualProps({ a: 1, b: 'x' }, { a: 1, b: 'x' })).toBe(true)
+  })
+
+  it('not equal when a value differs', () => {
+    expect(shallowEqualProps({ a: 1 }, { a: 2 })).toBe(false)
+  })
+
+  it('not equal when key counts differ', () => {
+    expect(shallowEqualProps({ a: 1 }, { a: 1, b: 2 })).toBe(false)
+  })
+
+  it('uses Object.is semantics (NaN equal, ±0 distinct)', () => {
+    expect(shallowEqualProps({ n: NaN }, { n: NaN })).toBe(true)
+    expect(shallowEqualProps({ z: 0 }, { z: -0 })).toBe(false)
+  })
+
+  it('empty objects are equal', () => {
+    expect(shallowEqualProps({}, {})).toBe(true)
+  })
+})
+
+describe('mapCompatDomProps', () => {
+  it('no-op for component (non-string) type', () => {
+    const Comp = () => null
+    const p: Record<string, unknown> = { className: 'x', htmlFor: 'y' }
+    mapCompatDomProps(p, Comp)
+    expect(p).toEqual({ className: 'x', htmlFor: 'y' })
+  })
+
+  it('className → class, htmlFor → for', () => {
+    const p: Record<string, unknown> = { className: 'btn', htmlFor: 'email' }
+    mapCompatDomProps(p, 'label')
+    expect(p).toEqual({ class: 'btn', for: 'email' })
+  })
+
+  it('onChange → onInput on input/textarea/select', () => {
+    for (const tag of ['input', 'textarea', 'select']) {
+      const fn = () => {}
+      const p: Record<string, unknown> = { onChange: fn }
+      mapCompatDomProps(p, tag)
+      expect(p).toEqual({ onInput: fn })
+    }
+  })
+
+  it('onChange does not clobber an explicit onInput', () => {
+    const onChange = () => {}
+    const onInput = () => {}
+    const p: Record<string, unknown> = { onChange, onInput }
+    mapCompatDomProps(p, 'input')
+    expect(p).toEqual({ onInput })
+  })
+
+  it('onChange left alone on non-form elements', () => {
+    const onChange = () => {}
+    const p: Record<string, unknown> = { onChange }
+    mapCompatDomProps(p, 'div')
+    expect(p).toEqual({ onChange })
+  })
+
+  it('autoFocus → autofocus', () => {
+    const p: Record<string, unknown> = { autoFocus: true }
+    mapCompatDomProps(p, 'input')
+    expect(p).toEqual({ autofocus: true })
+  })
+
+  it('defaultValue/defaultChecked → value/checked only when uncontrolled', () => {
+    const a: Record<string, unknown> = { defaultValue: 'd', defaultChecked: true }
+    mapCompatDomProps(a, 'input')
+    expect(a).toEqual({ value: 'd', checked: true })
+
+    const b: Record<string, unknown> = {
+      defaultValue: 'd',
+      value: 'controlled',
+      defaultChecked: true,
+      checked: false,
+    }
+    mapCompatDomProps(b, 'input')
+    expect(b).toEqual({
+      defaultValue: 'd',
+      value: 'controlled',
+      defaultChecked: true,
+      checked: false,
+    })
+  })
+
+  it('strips authoring-only props with no DOM equivalent', () => {
+    const p: Record<string, unknown> = {
+      suppressHydrationWarning: true,
+      suppressContentEditableWarning: true,
+    }
+    mapCompatDomProps(p, 'div')
+    expect(p).toEqual({})
+  })
+})

package/src/tests/telemetry.test.ts

@@ -1,3 +1,4 @@
+import { clearReactiveTrace, signal } from '@pyreon/reactivity'
 import type { ErrorContext } from '../telemetry'
 import { registerErrorHandler, reportError } from '../telemetry'
 
@@ -201,3 +202,96 @@ describe('registerErrorHandler — reactivity bridge (regression)', () => {
     unsub2()
   })
 })
+
+describe('reportError — reactiveTrace enrichment', () => {
+  beforeEach(() => clearReactiveTrace())
+
+  test('attaches recent signal writes to the error context (dev)', () => {
+    const s = signal(0, { name: 'enrichTest' })
+    s.set(1)
+    s.set(2)
+
+    let captured: ErrorContext | undefined
+    const unsub = registerErrorHandler((ctx) => {
+      captured = ctx
+    })
+    reportError({
+      component: 'C',
+      phase: 'render',
+      error: new Error('boom'),
+      timestamp: Date.now(),
+    })
+    unsub()
+
+    expect(captured?.reactiveTrace).toBeDefined()
+    expect(captured!.reactiveTrace).toHaveLength(2)
+    expect(captured!.reactiveTrace![0]).toMatchObject({
+      name: 'enrichTest',
+      prev: '0',
+      next: '1',
+    })
+    expect(captured!.reactiveTrace![1]).toMatchObject({ prev: '1', next: '2' })
+  })
+
+  test('does not overwrite a caller-supplied reactiveTrace', () => {
+    const s = signal(0, { name: 'x' })
+    s.set(99)
+
+    let captured: ErrorContext | undefined
+    const unsub = registerErrorHandler((ctx) => {
+      captured = ctx
+    })
+    const supplied = [{ name: 'manual', prev: 'a', next: 'b', timestamp: 1 }]
+    reportError({
+      component: 'C',
+      phase: 'effect',
+      error: new Error('boom'),
+      timestamp: Date.now(),
+      reactiveTrace: supplied,
+    })
+    unsub()
+
+    expect(captured!.reactiveTrace).toBe(supplied)
+  })
+
+  test('no trace field when there were no signal writes', () => {
+    let captured: ErrorContext | undefined
+    const unsub = registerErrorHandler((ctx) => {
+      captured = ctx
+    })
+    reportError({
+      component: 'C',
+      phase: 'mount',
+      error: new Error('boom'),
+      timestamp: Date.now(),
+    })
+    unsub()
+
+    // Empty buffer → field stays undefined (don't attach a noisy []).
+    expect(captured?.reactiveTrace).toBeUndefined()
+  })
+
+  test('the effect-error bridge path is also enriched', () => {
+    const s = signal('idle', { name: 'phase' })
+    s.set('running')
+
+    let captured: ErrorContext | undefined
+    const unsub = registerErrorHandler((ctx) => {
+      captured = ctx
+    })
+    // Drive the reactivity → core bridge the same way an effect throw does.
+    const bridge = (
+      globalThis as { __pyreon_report_error__?: (e: unknown, p: 'effect') => void }
+    ).__pyreon_report_error__
+    bridge?.(new Error('effect boom'), 'effect')
+    unsub()
+
+    expect(captured?.component).toBe('Effect')
+    expect(captured?.reactiveTrace).toBeDefined()
+    expect(captured!.reactiveTrace![0]).toMatchObject({
+      name: 'phase',
+      prev: '"idle"',
+      next: '"running"',
+    })
+  })
+})