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

package/lib/analysis/jsx-dev-runtime.js.html

@@ -5386,7 +5386,7 @@ var drawChart = (function (exports) {
   </script>
   <script>
     /*<!--*/
-    const data = {"version":2,"tree":{"name":"root","children":[{"name":"jsx-dev-runtime.js","children":[{"name":"src","children":[{"uid":"3319ebff-1","name":"h.ts"},{"uid":"3319ebff-3","name":"jsx-runtime.ts"},{"uid":"3319ebff-5","name":"jsx-dev-runtime.ts"}]}]}],"isRoot":true},"nodeParts":{"3319ebff-1":{"renderedLength":1082,"gzipLength":597,"brotliLength":0,"metaUid":"3319ebff-0"},"3319ebff-3":{"renderedLength":1103,"gzipLength":640,"brotliLength":0,"metaUid":"3319ebff-2"},"3319ebff-5":{"renderedLength":0,"gzipLength":0,"brotliLength":0,"metaUid":"3319ebff-4"}},"nodeMetas":{"3319ebff-0":{"id":"/src/h.ts","moduleParts":{"jsx-dev-runtime.js":"3319ebff-1"},"imported":[],"importedBy":[{"uid":"3319ebff-2"}]},"3319ebff-2":{"id":"/src/jsx-runtime.ts","moduleParts":{"jsx-dev-runtime.js":"3319ebff-3"},"imported":[{"uid":"3319ebff-0"}],"importedBy":[{"uid":"3319ebff-4"}]},"3319ebff-4":{"id":"/src/jsx-dev-runtime.ts","moduleParts":{"jsx-dev-runtime.js":"3319ebff-5"},"imported":[{"uid":"3319ebff-2"}],"importedBy":[],"isEntry":true}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
+    const data = {"version":2,"tree":{"name":"root","children":[{"name":"jsx-dev-runtime.js","children":[{"name":"src","children":[{"uid":"235a8e25-1","name":"h.ts"},{"uid":"235a8e25-3","name":"jsx-runtime.ts"},{"uid":"235a8e25-5","name":"jsx-dev-runtime.ts"}]}]}],"isRoot":true},"nodeParts":{"235a8e25-1":{"renderedLength":1813,"gzipLength":957,"brotliLength":0,"metaUid":"235a8e25-0"},"235a8e25-3":{"renderedLength":1103,"gzipLength":640,"brotliLength":0,"metaUid":"235a8e25-2"},"235a8e25-5":{"renderedLength":0,"gzipLength":0,"brotliLength":0,"metaUid":"235a8e25-4"}},"nodeMetas":{"235a8e25-0":{"id":"/src/h.ts","moduleParts":{"jsx-dev-runtime.js":"235a8e25-1"},"imported":[],"importedBy":[{"uid":"235a8e25-2"}]},"235a8e25-2":{"id":"/src/jsx-runtime.ts","moduleParts":{"jsx-dev-runtime.js":"235a8e25-3"},"imported":[{"uid":"235a8e25-0"}],"importedBy":[{"uid":"235a8e25-4"}]},"235a8e25-4":{"id":"/src/jsx-dev-runtime.ts","moduleParts":{"jsx-dev-runtime.js":"235a8e25-5"},"imported":[{"uid":"235a8e25-2"}],"importedBy":[],"isEntry":true}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
 
     const run = () => {
       const width = window.innerWidth;

package/lib/analysis/jsx-runtime.js.html

@@ -5386,7 +5386,7 @@ var drawChart = (function (exports) {
   </script>
   <script>
     /*<!--*/
-    const data = {"version":2,"tree":{"name":"root","children":[{"name":"jsx-runtime.js","children":[{"name":"src","children":[{"uid":"843e1a91-1","name":"h.ts"},{"uid":"843e1a91-3","name":"jsx-runtime.ts"}]}]}],"isRoot":true},"nodeParts":{"843e1a91-1":{"renderedLength":1082,"gzipLength":597,"brotliLength":0,"metaUid":"843e1a91-0"},"843e1a91-3":{"renderedLength":1103,"gzipLength":640,"brotliLength":0,"metaUid":"843e1a91-2"}},"nodeMetas":{"843e1a91-0":{"id":"/src/h.ts","moduleParts":{"jsx-runtime.js":"843e1a91-1"},"imported":[],"importedBy":[{"uid":"843e1a91-2"}]},"843e1a91-2":{"id":"/src/jsx-runtime.ts","moduleParts":{"jsx-runtime.js":"843e1a91-3"},"imported":[{"uid":"843e1a91-0"}],"importedBy":[],"isEntry":true}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
+    const data = {"version":2,"tree":{"name":"root","children":[{"name":"jsx-runtime.js","children":[{"name":"src","children":[{"uid":"8c2807f7-1","name":"h.ts"},{"uid":"8c2807f7-3","name":"jsx-runtime.ts"}]}]}],"isRoot":true},"nodeParts":{"8c2807f7-1":{"renderedLength":1813,"gzipLength":957,"brotliLength":0,"metaUid":"8c2807f7-0"},"8c2807f7-3":{"renderedLength":1103,"gzipLength":640,"brotliLength":0,"metaUid":"8c2807f7-2"}},"nodeMetas":{"8c2807f7-0":{"id":"/src/h.ts","moduleParts":{"jsx-runtime.js":"8c2807f7-1"},"imported":[],"importedBy":[{"uid":"8c2807f7-2"}]},"8c2807f7-2":{"id":"/src/jsx-runtime.ts","moduleParts":{"jsx-runtime.js":"8c2807f7-3"},"imported":[{"uid":"8c2807f7-0"}],"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

@@ -350,8 +350,22 @@ setSnapshotCapture({
 
 //#endregion
 //#region src/h.ts
-/** Marker for fragment nodes — renders children without a wrapper element */
-const Fragment = Symbol("Pyreon.Fragment");
+/**
+* Marker for fragment nodes — renders children without a wrapper element.
+*
+* MUST use `Symbol.for(...)` (global registry, keyed by string), NOT
+* `Symbol(...)` (fresh per evaluation). `h.ts` is inlined into BOTH the
+* main `lib/index.js` and the `lib/jsx-runtime.js` published bundles —
+* each bundle's evaluation of a bare `Symbol(...)` would produce a
+* DISTINCT Symbol identity. JSX `<>` compiles to `jsx(Fragment, ...)` and
+* resolves to jsx-runtime's identity; `runtime-server` checks
+* `vnode.type === Fragment` against the main-entry identity. Mismatch
+* fell through to `renderElement` and crashed SSG with
+* `TypeError: Cannot convert a Symbol value to a string`.
+* `Symbol.for()` keys by string in a global registry shared across all
+* bundle evaluations — same identity everywhere.
+*/
+const Fragment = Symbol.for("Pyreon.Fragment");
 /**
 * Hyperscript function — the compiled output of JSX.
 * `<div class="x">hello</div>` → `h("div", { class: "x" }, "hello")`

package/lib/jsx-dev-runtime.js

@@ -1,6 +1,20 @@
 //#region src/h.ts
-/** Marker for fragment nodes — renders children without a wrapper element */
-const Fragment = Symbol("Pyreon.Fragment");
+/**
+* Marker for fragment nodes — renders children without a wrapper element.
+*
+* MUST use `Symbol.for(...)` (global registry, keyed by string), NOT
+* `Symbol(...)` (fresh per evaluation). `h.ts` is inlined into BOTH the
+* main `lib/index.js` and the `lib/jsx-runtime.js` published bundles —
+* each bundle's evaluation of a bare `Symbol(...)` would produce a
+* DISTINCT Symbol identity. JSX `<>` compiles to `jsx(Fragment, ...)` and
+* resolves to jsx-runtime's identity; `runtime-server` checks
+* `vnode.type === Fragment` against the main-entry identity. Mismatch
+* fell through to `renderElement` and crashed SSG with
+* `TypeError: Cannot convert a Symbol value to a string`.
+* `Symbol.for()` keys by string in a global registry shared across all
+* bundle evaluations — same identity everywhere.
+*/
+const Fragment = Symbol.for("Pyreon.Fragment");
 /**
 * Hyperscript function — the compiled output of JSX.
 * `<div class="x">hello</div>` → `h("div", { class: "x" }, "hello")`

package/lib/jsx-runtime.js

@@ -1,6 +1,20 @@
 //#region src/h.ts
-/** Marker for fragment nodes — renders children without a wrapper element */
-const Fragment = Symbol("Pyreon.Fragment");
+/**
+* Marker for fragment nodes — renders children without a wrapper element.
+*
+* MUST use `Symbol.for(...)` (global registry, keyed by string), NOT
+* `Symbol(...)` (fresh per evaluation). `h.ts` is inlined into BOTH the
+* main `lib/index.js` and the `lib/jsx-runtime.js` published bundles —
+* each bundle's evaluation of a bare `Symbol(...)` would produce a
+* DISTINCT Symbol identity. JSX `<>` compiles to `jsx(Fragment, ...)` and
+* resolves to jsx-runtime's identity; `runtime-server` checks
+* `vnode.type === Fragment` against the main-entry identity. Mismatch
+* fell through to `renderElement` and crashed SSG with
+* `TypeError: Cannot convert a Symbol value to a string`.
+* `Symbol.for()` keys by string in a global registry shared across all
+* bundle evaluations — same identity everywhere.
+*/
+const Fragment = Symbol.for("Pyreon.Fragment");
 /**
 * Hyperscript function — the compiled output of JSX.
 * `<div class="x">hello</div>` → `h("div", { class: "x" }, "hello")`

package/lib/types/index.d.ts

@@ -16,8 +16,41 @@ type Props = Record<string, unknown>;
  * It returns any renderable content and may call lifecycle hooks during setup.
  */
 type ComponentFn<P extends Props = Props> = (props: P) => VNodeChild;
-/** Extract the props type from a component function, or pass through if already a props type. */
-type ExtractProps<T> = T extends ComponentFn<infer P> ? P : T;
+/**
+ * Extract the props type from a component function, or pass through if already
+ * a props type. **Multi-overload aware** — matches up to 4 call signatures and
+ * produces the UNION of their first-argument types. A single-overload function
+ * still works (the union of 4 copies of the same props type dedupes back to
+ * the single shape).
+ *
+ * **Why this shape**. `T extends (props: infer P) => any ? P : never` only
+ * captures the LAST overload of a multi-overload function — TS's overload-
+ * resolution-against-conditional-types semantics. Multi-overload primitives
+ * (Iterator, List, Element, etc.) need the union of every overload's props
+ * to survive HOC wrapping (`rocketstyle()`, `attrs()`) without silently
+ * downgrading the public prop surface to the loosest overload. Mirrors
+ * vitus-labs PR #222.
+ *
+ * @example
+ * function Iterator<T extends SimpleValue>(p: { data: T[]; valueName?: string }): VNodeChild
+ * function Iterator<T extends ObjectValue>(p: { data: T[]; component: ComponentFn<T> }): VNodeChild
+ * type Props = ExtractProps<typeof Iterator>
+ * // → { data: SimpleValue[]; valueName?: string }
+ * //  | { data: ObjectValue[]; component: ComponentFn<ObjectValue> }
+ */
+type ExtractProps<T> = T extends {
+  (props: infer P1, ...args: any): any;
+  (props: infer P2, ...args: any): any;
+  (props: infer P3, ...args: any): any;
+  (props: infer P4, ...args: any): any;
+} ? P1 | P2 | P3 | P4 : T extends {
+  (props: infer P1, ...args: any): any;
+  (props: infer P2, ...args: any): any;
+  (props: infer P3, ...args: any): any;
+} ? P1 | P2 | P3 : T extends {
+  (props: infer P1, ...args: any): any;
+  (props: infer P2, ...args: any): any;
+} ? P1 | P2 : T extends ComponentFn<infer P> ? P : T;
 /** A higher-order component that wraps a component, optionally transforming its props. */
 type HigherOrderComponent<HOP extends Props, P extends Props | undefined = undefined> = (Component: ComponentFn<HOP>) => ComponentFn<P extends undefined ? HOP : P>;
 /**
@@ -282,7 +315,19 @@ declare function ErrorBoundary(props: {
  */
 declare const ForSymbol: unique symbol;
 interface ForProps<T> {
-  each: () => T[];
+  /**
+   * The list to iterate. Accepts EITHER a function returning the array
+   * (preferred — keeps reactivity intact when the array comes from a
+   * signal accessor) OR the array directly (convenient for static lists
+   * or already-resolved arrays). The runtime in `runtime-dom/src/mount.ts`
+   * normalizes both shapes; this type matches the runtime so users aren't
+   * forced to write `each={() => items}` for a plain array.
+   *
+   * @example
+   * <For each={items}>{r => <li>{r.label}</li>}</For>           // static
+   * <For each={() => store.items()}>{r => <li>...</li>}</For>   // reactive
+   */
+  each: T[] | (() => T[]);
   /** Keying function — use `by` not `key` (JSX extracts `key` for VNode reconciliation). */
   by: (item: T) => string | number;
   children: (item: T) => VNode | NativeItem;
@@ -306,8 +351,22 @@ interface ForProps<T> {
 declare function For<T>(props: ForProps<T>): VNode;
 //#endregion
 //#region src/h.d.ts
-/** Marker for fragment nodes — renders children without a wrapper element */
-declare const Fragment: unique symbol;
+/**
+ * Marker for fragment nodes — renders children without a wrapper element.
+ *
+ * MUST use `Symbol.for(...)` (global registry, keyed by string), NOT
+ * `Symbol(...)` (fresh per evaluation). `h.ts` is inlined into BOTH the
+ * main `lib/index.js` and the `lib/jsx-runtime.js` published bundles —
+ * each bundle's evaluation of a bare `Symbol(...)` would produce a
+ * DISTINCT Symbol identity. JSX `<>` compiles to `jsx(Fragment, ...)` and
+ * resolves to jsx-runtime's identity; `runtime-server` checks
+ * `vnode.type === Fragment` against the main-entry identity. Mismatch
+ * fell through to `renderElement` and crashed SSG with
+ * `TypeError: Cannot convert a Symbol value to a string`.
+ * `Symbol.for()` keys by string in a global registry shared across all
+ * bundle evaluations — same identity everywhere.
+ */
+declare const Fragment: symbol;
 /**
  * Hyperscript function — the compiled output of JSX.
  * `<div class="x">hello</div>` → `h("div", { class: "x" }, "hello")`

package/lib/types/jsx-dev-runtime.d.ts

@@ -18,8 +18,22 @@ type Props = Record<string, unknown>;
 type ComponentFn<P extends Props = Props> = (props: P) => VNodeChild;
 //#endregion
 //#region src/h.d.ts
-/** Marker for fragment nodes — renders children without a wrapper element */
-declare const Fragment: unique symbol;
+/**
+ * Marker for fragment nodes — renders children without a wrapper element.
+ *
+ * MUST use `Symbol.for(...)` (global registry, keyed by string), NOT
+ * `Symbol(...)` (fresh per evaluation). `h.ts` is inlined into BOTH the
+ * main `lib/index.js` and the `lib/jsx-runtime.js` published bundles —
+ * each bundle's evaluation of a bare `Symbol(...)` would produce a
+ * DISTINCT Symbol identity. JSX `<>` compiles to `jsx(Fragment, ...)` and
+ * resolves to jsx-runtime's identity; `runtime-server` checks
+ * `vnode.type === Fragment` against the main-entry identity. Mismatch
+ * fell through to `renderElement` and crashed SSG with
+ * `TypeError: Cannot convert a Symbol value to a string`.
+ * `Symbol.for()` keys by string in a global registry shared across all
+ * bundle evaluations — same identity everywhere.
+ */
+declare const Fragment: symbol;
 //#endregion
 //#region src/ref.d.ts
 /**

package/lib/types/jsx-runtime.d.ts

@@ -18,8 +18,22 @@ type Props = Record<string, unknown>;
 type ComponentFn<P extends Props = Props> = (props: P) => VNodeChild;
 //#endregion
 //#region src/h.d.ts
-/** Marker for fragment nodes — renders children without a wrapper element */
-declare const Fragment: unique symbol;
+/**
+ * Marker for fragment nodes — renders children without a wrapper element.
+ *
+ * MUST use `Symbol.for(...)` (global registry, keyed by string), NOT
+ * `Symbol(...)` (fresh per evaluation). `h.ts` is inlined into BOTH the
+ * main `lib/index.js` and the `lib/jsx-runtime.js` published bundles —
+ * each bundle's evaluation of a bare `Symbol(...)` would produce a
+ * DISTINCT Symbol identity. JSX `<>` compiles to `jsx(Fragment, ...)` and
+ * resolves to jsx-runtime's identity; `runtime-server` checks
+ * `vnode.type === Fragment` against the main-entry identity. Mismatch
+ * fell through to `renderElement` and crashed SSG with
+ * `TypeError: Cannot convert a Symbol value to a string`.
+ * `Symbol.for()` keys by string in a global registry shared across all
+ * bundle evaluations — same identity everywhere.
+ */
+declare const Fragment: symbol;
 //#endregion
 //#region src/ref.d.ts
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pyreon/core",
-  "version": "0.15.0",
+  "version": "0.16.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.15.0"
+    "@pyreon/reactivity": "^0.16.0"
   },
   "devDependencies": {
     "@pyreon/manifest": "0.13.1"

package/src/for.ts

@@ -7,7 +7,19 @@ import type { NativeItem, Props, VNode } from './types'
 export const ForSymbol: unique symbol = Symbol('pyreon.For')
 
 export interface ForProps<T> {
-  each: () => T[]
+  /**
+   * The list to iterate. Accepts EITHER a function returning the array
+   * (preferred — keeps reactivity intact when the array comes from a
+   * signal accessor) OR the array directly (convenient for static lists
+   * or already-resolved arrays). The runtime in `runtime-dom/src/mount.ts`
+   * normalizes both shapes; this type matches the runtime so users aren't
+   * forced to write `each={() => items}` for a plain array.
+   *
+   * @example
+   * <For each={items}>{r => <li>{r.label}</li>}</For>           // static
+   * <For each={() => store.items()}>{r => <li>...</li>}</For>   // reactive
+   */
+  each: T[] | (() => T[])
   /** Keying function — use `by` not `key` (JSX extracts `key` for VNode reconciliation). */
   by: (item: T) => string | number
   children: (item: T) => VNode | NativeItem

package/src/h.ts

@@ -1,7 +1,21 @@
 import type { ComponentFn, Props, VNode, VNodeChild } from './types'
 
-/** Marker for fragment nodes — renders children without a wrapper element */
-export const Fragment: unique symbol = Symbol('Pyreon.Fragment')
+/**
+ * Marker for fragment nodes — renders children without a wrapper element.
+ *
+ * MUST use `Symbol.for(...)` (global registry, keyed by string), NOT
+ * `Symbol(...)` (fresh per evaluation). `h.ts` is inlined into BOTH the
+ * main `lib/index.js` and the `lib/jsx-runtime.js` published bundles —
+ * each bundle's evaluation of a bare `Symbol(...)` would produce a
+ * DISTINCT Symbol identity. JSX `<>` compiles to `jsx(Fragment, ...)` and
+ * resolves to jsx-runtime's identity; `runtime-server` checks
+ * `vnode.type === Fragment` against the main-entry identity. Mismatch
+ * fell through to `renderElement` and crashed SSG with
+ * `TypeError: Cannot convert a Symbol value to a string`.
+ * `Symbol.for()` keys by string in a global registry shared across all
+ * bundle evaluations — same identity everywhere.
+ */
+export const Fragment: symbol = Symbol.for('Pyreon.Fragment')
 
 /**
  * Hyperscript function — the compiled output of JSX.

package/src/manifest.ts

@@ -524,11 +524,19 @@ return wrapCompatComponent(type)(props)`,
     {
       name: 'ExtractProps',
       kind: 'type',
-      signature: 'type ExtractProps<T> = T extends ComponentFn<infer P> ? P : T',
+      signature:
+        'type ExtractProps<T> = /* matches up to 4 overloads, unions the props */ T extends ComponentFn<infer P> ? P : T',
       summary:
-        'Extracts the props type from a `ComponentFn`. Passes through unchanged if `T` is not a `ComponentFn`. Useful for HOC patterns and typed wrappers that need to infer the wrapped component\'s prop interface.',
-      example: `const Greet: ComponentFn<{ name: string }> = ({ name }) => <h1>{name}</h1>
-type Props = ExtractProps<typeof Greet>  // { name: string }`,
+        "Extracts the props type from a `ComponentFn`. Passes through unchanged if `T` is not a `ComponentFn`. **Multi-overload aware** — matches up to 4 call signatures and produces the UNION of their first-argument types. Critical for multi-overload primitives (Iterator, List, Element) whose loosest overload is last; without overload-aware extraction, HOC wrapping (`rocketstyle()`, `attrs()`) silently downgraded their public prop surface. Single-overload functions still work — the union of 4 copies of the same props type dedupes back to the single shape.",
+      example: `function Iterator<T extends SimpleValue>(p: { data: T[]; valueName?: string }): VNodeChild
+function Iterator<T extends ObjectValue>(p: { data: T[]; component: ComponentFn<T> }): VNodeChild
+type Props = ExtractProps<typeof Iterator>
+// → { data: SimpleValue[]; valueName?: string }
+//  | { data: ObjectValue[]; component: ComponentFn<ObjectValue> }`,
+      mistakes: [
+        'Assuming `ExtractProps<T>` returns only the LAST overload — pre-fix it did, post-fix it returns the UNION of up to 4 overloads. Functions with more than 4 overloads still drop the extras.',
+        'Using `T extends (props: infer P) => any ? P : never` directly in user code — that pattern captures only the LAST overload of a multi-overload function. Use `ExtractProps<T>` to get the full union.',
+      ],
       seeAlso: ['HigherOrderComponent'],
     },
     {

package/src/tests/core.test.ts

@@ -982,7 +982,7 @@ describe('lifecycle hooks', () => {
 
 describe('edge cases', () => {
   test('h() with empty children array', () => {
-    const node = h('div', null, ...[])
+    const node = h('div', null, )
     expect(node.children).toEqual([])
   })
 

package/src/tests/extract-props-overloads.types.test.ts

@@ -0,0 +1,135 @@
+/**
+ * Compile-time type tests for `ExtractProps` multi-overload narrowing.
+ *
+ * Regression: pre-fix, `ExtractProps<T>` collapsed multi-overload functions
+ * to the LAST overload's props — TS's overload-resolution-against-conditional-
+ * types semantics. Multi-overload primitives (Iterator / List / Element in
+ * `@pyreon/elements`) silently downgraded their public prop surface to the
+ * loosest overload when wrapped through `rocketstyle()` / `attrs()`. The
+ * fix matches up to 4 call signatures via pattern matching and produces the
+ * UNION of every overload's first-argument type.
+ *
+ * Mirrors vitus-labs PR #222. Kept in sync across the 4 copies in
+ * `@pyreon/core`, `@pyreon/elements`, `@pyreon/attrs`, and `@pyreon/rocketstyle`
+ * — the canonical reference test lives here.
+ */
+
+import { describe, expectTypeOf, it } from 'vitest'
+import type { ComponentFn, ExtractProps, VNodeChild } from '../index'
+
+describe('ExtractProps — single-overload functions still work', () => {
+  it('extracts props from a ComponentFn<P>', () => {
+    type Greet = ComponentFn<{ name: string }>
+    expectTypeOf<ExtractProps<Greet>>().toEqualTypeOf<{ name: string }>()
+  })
+
+  it('extracts props from a bare (props: P) => any signature', () => {
+    type Fn = (props: { count: number }) => string
+    expectTypeOf<ExtractProps<Fn>>().toEqualTypeOf<{ count: number }>()
+  })
+
+  it('passes through a non-function shape unchanged', () => {
+    type Props = { id: string; value: number }
+    expectTypeOf<ExtractProps<Props>>().toEqualTypeOf<Props>()
+  })
+})
+
+describe('ExtractProps — multi-overload narrowing (load-bearing assertions)', () => {
+  it('unions both arms of a 2-overload function', () => {
+    interface TwoOverloads {
+      (props: { kind: 'a'; value: number }): VNodeChild
+      (props: { kind: 'b'; value: string }): VNodeChild
+    }
+    type Props = ExtractProps<TwoOverloads>
+    // Both shapes appear in the extracted union.
+    expectTypeOf<Props>().toEqualTypeOf<
+      { kind: 'a'; value: number } | { kind: 'b'; value: string }
+    >()
+  })
+
+  it('unions all three arms of a 3-overload function (Iterator/List/Element shape)', () => {
+    interface ThreeOverloads {
+      (props: { mode: 'simple'; data: string[] }): VNodeChild
+      (props: { mode: 'object'; data: { id: number }[] }): VNodeChild
+      (props: { mode: 'children'; children: unknown }): VNodeChild
+    }
+    type Props = ExtractProps<ThreeOverloads>
+    expectTypeOf<Props>().toEqualTypeOf<
+      | { mode: 'simple'; data: string[] }
+      | { mode: 'object'; data: { id: number }[] }
+      | { mode: 'children'; children: unknown }
+    >()
+  })
+
+  it('unions all four arms of a 4-overload function', () => {
+    interface FourOverloads {
+      (props: { variant: 'a' }): VNodeChild
+      (props: { variant: 'b' }): VNodeChild
+      (props: { variant: 'c' }): VNodeChild
+      (props: { variant: 'd' }): VNodeChild
+    }
+    type Props = ExtractProps<FourOverloads>
+    expectTypeOf<Props>().toEqualTypeOf<
+      { variant: 'a' } | { variant: 'b' } | { variant: 'c' } | { variant: 'd' }
+    >()
+  })
+})
+
+describe('ExtractProps — bisect-load-bearing: pre-fix shape would FAIL these', () => {
+  /**
+   * If `ExtractProps<T>` were reverted to `T extends ComponentFn<infer P> ? P : T`,
+   * each of these would extract only the LAST overload's props and the
+   * `toEqualTypeOf<union>` check would fail at compile time. This is the
+   * structural anchor — the load-bearing regression guard.
+   */
+
+  it('a 2-overload function MUST extract BOTH arms (not just the last)', () => {
+    interface OverloadedComp {
+      (props: { mode: 'a'; valueA: number }): VNodeChild
+      (props: { mode: 'b'; valueB: string }): VNodeChild
+    }
+    // The first arm `{ mode: 'a'; valueA: number }` must be present in the
+    // union. Pre-fix, the conditional collapsed to just the LAST arm.
+    type Props = ExtractProps<OverloadedComp>
+    // Assignability check: both shapes must be assignable to the extracted type.
+    const a: Props = { mode: 'a', valueA: 1 }
+    const b: Props = { mode: 'b', valueB: 'x' }
+    void a
+    void b
+  })
+
+  it("a 3-overload Iterator-shaped surface MUST surface SimpleProps + ObjectProps + ChildrenProps", () => {
+    // Synthetic Iterator overload-shape — mirrors the real
+    // `@pyreon/elements` Iterator. The structural failure mode pre-fix:
+    // `ExtractProps<typeof Iterator>` returned just `ChildrenProps`, so any
+    // HOC wrapping (rocketstyle, attrs) lost the SimpleProps + ObjectProps
+    // surfaces from the public typed API.
+    type SimpleItem = ComponentFn<{ value: string }>
+    type ObjectItem = ComponentFn<{ id: number }>
+    interface IteratorLike {
+      <T extends string | number>(props: {
+        data: T[]
+        component: SimpleItem
+        valueName?: string
+      }): VNodeChild
+      <T extends { id: number }>(props: {
+        data: T[]
+        component: ObjectItem
+      }): VNodeChild
+      (props: { children: VNodeChild }): VNodeChild
+    }
+    type Props = ExtractProps<IteratorLike>
+
+    const noopSimple: SimpleItem = () => null
+    const noopObject: ObjectItem = () => null
+    // SimpleProps arm assignable:
+    const simple: Props = { data: ['a', 'b'], component: noopSimple, valueName: 'text' }
+    // ObjectProps arm assignable:
+    const obj: Props = { data: [{ id: 1 }], component: noopObject }
+    // ChildrenProps arm assignable:
+    const ch: Props = { children: null }
+    void simple
+    void obj
+    void ch
+  })
+})

package/src/tests/for.test.ts

@@ -91,4 +91,27 @@ describe('For', () => {
     expect((result as VNode).type).toBe('li')
     expect((result as VNode).key).toBe(1)
   })
+
+  // Regression: `ForProps.each` previously typed as `() => T[]` only.
+  // Users writing `<For each={items}>` (with `items: T[]` directly) hit
+  // a confusing TS error: `Type 'T[]' is not assignable to type
+  // '() => T[]'`. The runtime in `runtime-dom/src/mount.ts:144-147`
+  // already accepted both shapes — only the type was forcing the
+  // accessor form. Type now accepts `T[] | (() => T[])` so users with
+  // already-resolved arrays don't need to wrap them in a thunk just to
+  // satisfy the type.
+  test('each accepts T[] directly (not just () => T[])', () => {
+    // TypeScript-level test: this would not compile pre-fix.
+    const items = [1, 2, 3]
+    const childFn = (n: number): VNode => h('li', { key: n }, String(n))
+    const node = For<number>({ each: items, by: (n) => n, children: childFn })
+    expect(node.type).toBe(ForSymbol as unknown as string)
+    // Both shapes still work — function form continues to typecheck.
+    const node2 = For<number>({
+      each: () => items,
+      by: (n) => n,
+      children: childFn,
+    })
+    expect(node2.type).toBe(ForSymbol as unknown as string)
+  })
 })

package/src/tests/h.test.ts

@@ -176,6 +176,27 @@ describe('h() — VNode creation', () => {
       expect(outer.children).toHaveLength(2)
       expect((outer.children[0] as VNode).type).toBe(Fragment)
     })
+
+    // Regression: pre-fix, `Fragment` was `Symbol('Pyreon.Fragment')` — a
+    // fresh symbol per module evaluation. When `h.ts` got bundled into BOTH
+    // `lib/index.js` AND `lib/jsx-runtime.js` (each a separate published
+    // entry point), each bundle created a DISTINCT Symbol identity. JSX
+    // `<>` compiles to `jsx(Fragment, ...)` referring to jsx-runtime's
+    // Fragment; `runtime-server` checks `vnode.type === Fragment` against
+    // `@pyreon/core`'s main-entry Fragment. The two never matched →
+    // fell through to `renderElement` → tried to stringify the Symbol →
+    // SSG crashed with `TypeError: Cannot convert a Symbol value to
+    // a string`.
+    //
+    // Fix: use `Symbol.for('Pyreon.Fragment')` — the global registry keys
+    // by string, so all bundles inlining h.ts share the same identity.
+    //
+    // This test asserts the global-registry contract: Fragment IS
+    // retrievable from the registry. Bisect-verifiable: reverting h.ts to
+    // `Symbol(...)` makes this fail.
+    test('Fragment uses Symbol.for() for cross-bundle identity stability', () => {
+      expect(Fragment).toBe(Symbol.for('Pyreon.Fragment'))
+    })
   })
 })
 

package/src/types.ts

@@ -30,8 +30,49 @@ export type ComponentFn<P extends Props = Props> = (props: P) => VNodeChild
 
 // ─── Utility types ───────────────────────────────────────────────────────────
 
-/** Extract the props type from a component function, or pass through if already a props type. */
-export type ExtractProps<T> = T extends ComponentFn<infer P> ? P : T
+/**
+ * Extract the props type from a component function, or pass through if already
+ * a props type. **Multi-overload aware** — matches up to 4 call signatures and
+ * produces the UNION of their first-argument types. A single-overload function
+ * still works (the union of 4 copies of the same props type dedupes back to
+ * the single shape).
+ *
+ * **Why this shape**. `T extends (props: infer P) => any ? P : never` only
+ * captures the LAST overload of a multi-overload function — TS's overload-
+ * resolution-against-conditional-types semantics. Multi-overload primitives
+ * (Iterator, List, Element, etc.) need the union of every overload's props
+ * to survive HOC wrapping (`rocketstyle()`, `attrs()`) without silently
+ * downgrading the public prop surface to the loosest overload. Mirrors
+ * vitus-labs PR #222.
+ *
+ * @example
+ * function Iterator<T extends SimpleValue>(p: { data: T[]; valueName?: string }): VNodeChild
+ * function Iterator<T extends ObjectValue>(p: { data: T[]; component: ComponentFn<T> }): VNodeChild
+ * type Props = ExtractProps<typeof Iterator>
+ * // → { data: SimpleValue[]; valueName?: string }
+ * //  | { data: ObjectValue[]; component: ComponentFn<ObjectValue> }
+ */
+export type ExtractProps<T> = T extends {
+  (props: infer P1, ...args: any): any
+  (props: infer P2, ...args: any): any
+  (props: infer P3, ...args: any): any
+  (props: infer P4, ...args: any): any
+}
+  ? P1 | P2 | P3 | P4
+  : T extends {
+        (props: infer P1, ...args: any): any
+        (props: infer P2, ...args: any): any
+        (props: infer P3, ...args: any): any
+      }
+    ? P1 | P2 | P3
+    : T extends {
+          (props: infer P1, ...args: any): any
+          (props: infer P2, ...args: any): any
+        }
+      ? P1 | P2
+      : T extends ComponentFn<infer P>
+        ? P
+        : T
 
 /** A higher-order component that wraps a component, optionally transforming its props. */
 export type HigherOrderComponent<HOP extends Props, P extends Props | undefined = undefined> = (