foldkit 0.158.2 → 0.159.0-canary.63fa8e97d24a

package/dist/runtime/runtime.js

@@ -6,16 +6,16 @@ import { addNavigationEventListeners, } from './browserListeners.js';
 import { deepFreeze } from './deepFreeze.js';
 import { makeDevToolsIntegration } from './devToolsIntegration.js';
 import { createDuplicateIdScanner } from './duplicateIdScanner.js';
-import { preserveModel } from './hmrModelBridge.js';
-import { preserveScrollPosition, restorePreservedScrollPosition, } from './hmrScroll.js';
 import { makePortChannels, validatePorts, } from './hostConnector.js';
 import { resolveHydrationHandoff, } from './hydrationHandoff.js';
 import { forkManagedResourceFibers } from './managedResourceFibers.js';
 import { makeMessageQueue } from './messageQueue.js';
+import { preserveModel } from './modelPreservationBridge.js';
 import { makePreserveScheduler } from './preserveScheduler.js';
 import { makeRenderer } from './renderer.js';
 import { makeResourceProvider } from './resourceProvider.js';
 import { makeRuntimeStatus } from './runtimeStatus.js';
+import { preserveScrollPosition, restorePreservedScrollPosition, } from './scrollPreservation.js';
 import { __resolveSlowConfig, measureSlowPhase, reportSlowPhase, } from './slowPhase.js';
 import { forkSubscriptionFibers } from './subscriptionFibers.js';
 import { __resolveStartViewTransition, } from './viewTransition.js';
@@ -50,7 +50,7 @@ export const makeRuntime = ({ ports, kind, Model, Flags: FlagsCodec, configuredF
     const runtimeId = hydration !== undefined && hydration.runtimeId !== ''
         ? hydration.runtimeId
         : (container?.id ?? '');
-    const startWith = (maybeConnector, hmrModel, bootMode = 'Fresh', bootFlags, buildId) => {
+    const startWith = (maybeConnector, preservedModel, bootMode = 'Fresh', bootFlags, buildId) => {
         // NOTE: one notifier per runtime, provided across the whole runtime
         // Effect so Commands, Subscriptions, and Mount-forked Effects all resolve
         // the same signal. A commit in one embedded application must never wake a
@@ -58,7 +58,7 @@ export const makeRuntime = ({ ports, kind, Model, Flags: FlagsCodec, configuredF
         const commitNotifier = createCommitNotifier();
         return Effect.scoped(Effect.gen(function* () {
             if (runtimeId === '') {
-                return yield* Effect.die(new Error('[foldkit] Runtime container must have an `id` for HMR model preservation. ' +
+                return yield* Effect.die(new Error('[foldkit] Runtime container must have an `id` for Model preservation across reloads. ' +
                     'Set `container.id = "app"` (or any unique string) before passing it to makeApplication or makeElement. ' +
                     'On a server-rendered page the id comes from the `data-foldkit-app` root stamp instead.'));
             }
@@ -89,7 +89,7 @@ export const makeRuntime = ({ ports, kind, Model, Flags: FlagsCodec, configuredF
                 configuredFlags,
                 isFlagsRequired,
                 FlagsCodec,
-                hmrModel,
+                preservedModel,
                 container,
                 buildId,
                 provideResources,
@@ -97,33 +97,33 @@ export const makeRuntime = ({ ports, kind, Model, Flags: FlagsCodec, configuredF
             const ModelJsonCodec = Schema.toCodecJson(
             /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
             Model);
-            const decodeHmrModel = Schema.decodeUnknownExit(ModelJsonCodec);
-            const encodeHmrModel = Schema.encodeUnknownSync(ModelJsonCodec);
+            const decodePreservedModel = Schema.decodeUnknownExit(ModelJsonCodec);
+            const encodePreservedModel = Schema.encodeUnknownSync(ModelJsonCodec);
             const currentUrl = Option.fromNullishOr(routingConfig).pipe(Option.flatMap(() => urlFromString(window.location.href)));
             // NOTE: a restored Model skips `init`, so resolving Flags on that
             // path would build the `resources` Layer only to discard what it
             // produced. Gating the resolution on the restore decision is what
             // stops a reload from reconnecting whatever the Layer holds. It has
-            // to stay ahead of the preserve-scheduler and HMR finalizers: a
+            // to stay ahead of the preserve-scheduler and preservation finalizers: a
             // Flags Effect that fails after those are registered tears down more
             // than it used to, and their release defects would bury its cause.
             const runInit = Effect.map(resolveFlags, flags => init(flags, Option.getOrUndefined(currentUrl)));
-            const init_ = yield* hmrModel !== undefined
-                ? Exit.match(decodeHmrModel(hmrModel), {
+            const init_ = yield* preservedModel !== undefined
+                ? Exit.match(decodePreservedModel(preservedModel), {
                     onFailure: () => runInit,
                     onSuccess: restoredModel => Effect.succeed({ model: restoredModel }),
                 })
                 : runInit;
             const initModelRaw = init_.model;
             const initCommands = init_.commands ?? [];
-            // NOTE: keep `encodeHmrModel` off the dispatch hot path. It walks
+            // NOTE: keep `encodePreservedModel` off the dispatch hot path. It walks
             // the entire Model graph (O(modelSize) per call) and blocks input
             // on large Models. The scheduler defers encoding to a quiet window
-            // and the `vite:beforeFullReload` flush covers the HMR boundary.
+            // and the `vite:beforeFullReload` flush covers the reload boundary.
             const PRESERVE_DEBOUNCE = Duration.millis(200);
             const preserveScheduler = yield* makePreserveScheduler({
-                onDebounce: model => Effect.sync(() => preserveModel(runtimeId, encodeHmrModel(model), false)),
-                onFlush: model => Effect.sync(() => preserveModel(runtimeId, encodeHmrModel(model), true)),
+                onDebounce: model => Effect.sync(() => preserveModel(runtimeId, encodePreservedModel(model), false)),
+                onFlush: model => Effect.sync(() => preserveModel(runtimeId, encodePreservedModel(model), true)),
             }, PRESERVE_DEBOUNCE);
             const hot = import.meta.hot;
             if (hot) {
@@ -342,14 +342,14 @@ export const makeRuntime = ({ ports, kind, Model, Flags: FlagsCodec, configuredF
             yield* Effect.never;
         })).pipe(Effect.provideService(RenderCommit, commitNotifier.service));
     };
-    const start = (hmrModel) => startWith(Option.none(), hmrModel, 'Fresh');
+    const start = (preservedModel) => startWith(Option.none(), preservedModel, 'Fresh');
     const program = {
         runtimeId,
         start,
         ports,
     };
     runtimeInternals.set(program, {
-        startWith: (maybeConnector, hmrModel, bootMode, flags, buildId) => startWith(maybeConnector, hmrModel, bootMode, flags, buildId),
+        startWith: (maybeConnector, preservedModel, bootMode, flags, buildId) => startWith(maybeConnector, preservedModel, bootMode, flags, buildId),
         kind,
         isEmbedActive: false,
         maybeActiveFiber: Option.none(),

package/dist/runtime/{hmrScroll.d.ts → scrollPreservation.d.ts}

@@ -18,4 +18,4 @@ export declare const takePreservedScrollPosition: (runtimeId: string) => Option.
  *  defeating any CSS `scroll-behavior: smooth`. A no-op when nothing was
  *  preserved. Consumes the stored offset, so a second call restores nothing. */
 export declare const restorePreservedScrollPosition: (runtimeId: string) => Effect.Effect<void>;
-//# sourceMappingURL=hmrScroll.d.ts.map
+//# sourceMappingURL=scrollPreservation.d.ts.map

package/dist/runtime/scrollPreservation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scrollPreservation.d.ts","sourceRoot":"","sources":["../../src/runtime/scrollPreservation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAiB/C;+EAC+E;AAC/E,eAAO,MAAM,yBAAyB,cAAe,MAAM,KAAG,MAC/B,CAAA;AAE/B;;oCAEoC;AACpC,eAAO,MAAM,sBAAsB,cAAe,MAAM,KAAG,IAW1D,CAAA;AAED;;;0BAG0B;AAC1B,eAAO,MAAM,2BAA2B,cAC3B,MAAM,KAChB,MAAM,CAAC,MAAM,CAAC;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAS1D,CAAA;AAED;;gFAEgF;AAChF,eAAO,MAAM,8BAA8B,cAC9B,MAAM,KAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAOjB,CAAA"}

package/dist/runtime/{hmrScroll.js → scrollPreservation.js}

@@ -1,6 +1,6 @@
 import { Effect, Option, Schema } from 'effect';
 /**
- * Window scroll offset persisted across a Vite HMR full reload. Held in
+ * Window scroll offset persisted across a Vite dev full reload. Held in
  * `sessionStorage` as a JSON string so it survives the reload and can be
  * reapplied synchronously at the next init render, before the browser paints.
  */
@@ -9,7 +9,7 @@ const encodePreservedScrollPosition = Schema.encodeUnknownSync(PreservedScrollPo
 const decodePreservedScrollPosition = Schema.decodeUnknownOption(PreservedScrollPosition);
 /** The `sessionStorage` key a runtime uses for its preserved scroll offset,
  *  scoped by runtime id so multiple runtimes never read each other's value. */
-export const preservedScrollStorageKey = (runtimeId) => `foldkit:hmr-scroll:${runtimeId}`;
+export const preservedScrollStorageKey = (runtimeId) => `foldkit:scroll:${runtimeId}`;
 /** Captures the current window scroll offset under the runtime's key. Called
  *  from the `vite:beforeFullReload` handler so the offset is stored just
  *  before Vite reloads the page. */
@@ -20,7 +20,7 @@ export const preserveScrollPosition = (runtimeId) => {
     catch {
         // NOTE: sessionStorage throws when storage is disabled or blocked by a
         // privacy mode. Scroll restoration is a dev-only convenience, so a failure
-        // here must never break the HMR reload this runs inside.
+        // here must never break the dev reload this runs inside.
     }
 };
 /** Reads and clears the preserved scroll offset for a runtime. Returns

package/dist/runtime/slowPhase.d.ts

@@ -63,7 +63,8 @@ type ResolvedSlowConfig<Model, Message> = Readonly<{
  * thresholds. Pass `false` to disable warnings entirely. Pass an object to
  * refine those defaults.
  *
- * - `show`: `'Development'` (default) enables warnings only when Vite HMR is active. `'Always'` enables them in every environment.
+ * - `show`: `'Development'` (default) enables warnings only under Vite's dev
+ *   server. `'Always'` enables them in every environment.
  * - `measuredPhases`: Phases to measure. Defaults to every slow warning phase.
  * - `thresholdOverrides`: Per-phase budget overrides. Omitted fields keep defaults; overrides for unmeasured phases are ignored.
  * - `onSlow`: Callback for every measured phase that exceeds its budget. Replaces Foldkit's default `console.warn`; Foldkit will not also warn for tags your callback ignores.

package/dist/runtime/slowPhase.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"slowPhase.d.ts","sourceRoot":"","sources":["../../src/runtime/slowPhase.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAqB,MAAM,EAAQ,MAAM,QAAQ,CAAA;AAE9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD,kFAAkF;AAClF,MAAM,MAAM,eAAe,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACrD,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC/B,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,uEAAuE;AACvE,MAAM,MAAM,iBAAiB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACvD,IAAI,EAAE,QAAQ,CAAA;IACd,aAAa,EAAE,KAAK,CAAA;IACpB,SAAS,EAAE,KAAK,CAAA;IAChB,OAAO,EAAE,OAAO,CAAA;IAChB,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACtD,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,EAAE,KAAK,CAAA;IACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC/B,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,mGAAmG;AACnG,MAAM,MAAM,mCAAmC,CAAC,KAAK,IAAI,QAAQ,CAAC;IAChE,IAAI,EAAE,0BAA0B,CAAA;IAChC,eAAe,EAAE,MAAM,CAAA;IACvB,KAAK,EAAE,KAAK,CAAA;IACZ,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,MAAM,WAAW,CAAC,KAAK,EAAE,OAAO,IAClC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,GAC/B,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,GACjC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,GAChC,mCAAmC,CAAC,KAAK,CAAC,CAAA;AAE9C,+DAA+D;AAC/D,eAAO,MAAM,SAAS,mFAKpB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,qFAAqF;AACrF,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,wBAAwB,CAAC,EAAE,MAAM,CAAA;CAClC,CAAC,CAAA;AAEF,iFAAiF;AACjF,MAAM,MAAM,uBAAuB,CAAC,OAAO,IAAI,QAAQ,CAAC;IACtD,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAA;CACnC,CAAC,CAAA;AAEF,KAAK,kBAAkB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACjD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IAC7E,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,uBAAuB,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAC3D,CAAA;IACD,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,uBAAuB,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAC1D,CAAA;IACD,wBAAwB,EAAE,MAAM,CAAC,MAAM,CACrC,uBAAuB,CAAC,mCAAmC,CAAC,KAAK,CAAC,CAAC,CACpE,CAAA;CACF,CAAC,CAAA;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,EAAE,OAAO,IACjC,KAAK,GACL,QAAQ,CAAC;IACP,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,cAAc,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACzC,kBAAkB,CAAC,EAAE,sBAAsB,CAAA;IAC3C,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAA;CACxD,CAAC,CAAA;AA4BN,eAAO,MAAM,mBAAmB,GAAI,KAAK,EAAE,OAAO,QAC1C,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,SAAS,iBAC7B,CAAC,IAAI,EAAE,UAAU,KAAK,OAAO,KAC3C,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CA8ClD,CAAA;AAED,eAAO,MAAM,gBAAgB,GAAI,OAAO,EAAE,MAAM,eACjC,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,OACvD,MAAM,MAAM,KAChB,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CASzC,CAAA;AAED,eAAO,MAAM,eAAe,GAAI,OAAO,eACxB,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,mBAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eACzB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,OAAO,KAChE,IAYF,CAAA;AAsBD,eAAO,MAAM,mBAAmB,YACrB,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,KACrC,IAgCF,CAAA"}
+{"version":3,"file":"slowPhase.d.ts","sourceRoot":"","sources":["../../src/runtime/slowPhase.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAqB,MAAM,EAAQ,MAAM,QAAQ,CAAA;AAE9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD,kFAAkF;AAClF,MAAM,MAAM,eAAe,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACrD,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC/B,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,uEAAuE;AACvE,MAAM,MAAM,iBAAiB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACvD,IAAI,EAAE,QAAQ,CAAA;IACd,aAAa,EAAE,KAAK,CAAA;IACpB,SAAS,EAAE,KAAK,CAAA;IAChB,OAAO,EAAE,OAAO,CAAA;IAChB,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACtD,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,EAAE,KAAK,CAAA;IACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC/B,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,mGAAmG;AACnG,MAAM,MAAM,mCAAmC,CAAC,KAAK,IAAI,QAAQ,CAAC;IAChE,IAAI,EAAE,0BAA0B,CAAA;IAChC,eAAe,EAAE,MAAM,CAAA;IACvB,KAAK,EAAE,KAAK,CAAA;IACZ,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;CACpB,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,MAAM,WAAW,CAAC,KAAK,EAAE,OAAO,IAClC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,GAC/B,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,GACjC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,GAChC,mCAAmC,CAAC,KAAK,CAAC,CAAA;AAE9C,+DAA+D;AAC/D,eAAO,MAAM,SAAS,mFAKpB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,qFAAqF;AACrF,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,wBAAwB,CAAC,EAAE,MAAM,CAAA;CAClC,CAAC,CAAA;AAEF,iFAAiF;AACjF,MAAM,MAAM,uBAAuB,CAAC,OAAO,IAAI,QAAQ,CAAC;IACtD,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAA;CACnC,CAAC,CAAA;AAEF,KAAK,kBAAkB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IACjD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IAC7E,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,uBAAuB,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAC3D,CAAA;IACD,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,uBAAuB,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAC1D,CAAA;IACD,wBAAwB,EAAE,MAAM,CAAC,MAAM,CACrC,uBAAuB,CAAC,mCAAmC,CAAC,KAAK,CAAC,CAAC,CACpE,CAAA;CACF,CAAC,CAAA;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,EAAE,OAAO,IACjC,KAAK,GACL,QAAQ,CAAC;IACP,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,cAAc,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACzC,kBAAkB,CAAC,EAAE,sBAAsB,CAAA;IAC3C,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAA;CACxD,CAAC,CAAA;AA4BN,eAAO,MAAM,mBAAmB,GAAI,KAAK,EAAE,OAAO,QAC1C,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,SAAS,iBAC7B,CAAC,IAAI,EAAE,UAAU,KAAK,OAAO,KAC3C,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CA8ClD,CAAA;AAED,eAAO,MAAM,gBAAgB,GAAI,OAAO,EAAE,MAAM,eACjC,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,OACvD,MAAM,MAAM,KAChB,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CASzC,CAAA;AAED,eAAO,MAAM,eAAe,GAAI,OAAO,eACxB,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,mBAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eACzB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,OAAO,KAChE,IAYF,CAAA;AAsBD,eAAO,MAAM,mBAAmB,YACrB,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,KACrC,IAgCF,CAAA"}

package/dist/runtime/start.d.ts

@@ -1,4 +1,4 @@
-import { Effect } from 'effect';
+import { Cause, Effect } from 'effect';
 import type { Ports } from '../port/index.js';
 import { type EmbedHandle } from './hostConnector.js';
 import type { BootMode } from './hydrationHandoff.js';
@@ -12,17 +12,20 @@ export type RunOptions<Flags, Resources = never> = Readonly<{
 }>;
 type RuntimeProgram = Readonly<{
     runtimeId: string;
-    start: (hmrModel?: unknown) => Effect.Effect<void>;
+    start: (preservedModel?: unknown) => Effect.Effect<void>;
     ports: Ports | undefined;
 }>;
 /** Starts a program Effect with explicit boot inputs for runtime tests.
  * @internal */
-export declare const __startProgram: (program: RuntimeProgram, hmrModel: unknown, bootMode: BootMode, flags?: Effect.Effect<unknown, never, any>, buildId?: string) => Effect.Effect<void>;
+export declare const __startProgram: (program: RuntimeProgram, preservedModel: unknown, bootMode: BootMode, flags?: Effect.Effect<unknown, never, any>, buildId?: string) => Effect.Effect<void>;
+/** Reports unhandled non-interrupt Causes using Effect's runtime policy.
+ * @internal */
+export declare const __reportUnhandledCause: <E>(cause: Cause.Cause<E>) => Effect.Effect<void>;
 /** Starts a Foldkit runtime that owns the page for the page's whole lifetime,
- *  with HMR support for development. The first render builds the DOM fresh in
- *  the container, replacing whatever is there. On a server-rendered page use
- *  `hydrate` instead, which adopts the existing DOM. To start a runtime under a
- *  host-controlled lifecycle, use `embed`. */
+ *  with state-preserving live reload for development. The first render builds
+ *  the DOM fresh in the container, replacing whatever is there. On a
+ *  server-rendered page use `hydrate` instead, which adopts the existing DOM.
+ *  To start a runtime under a host-controlled lifecycle, use `embed`. */
 export declare function run<P extends Ports | undefined, Resources, Kind extends 'Application' | 'Element'>(program: MakeRuntimeReturn<P, void, Resources, Kind>): void;
 export declare function run<P extends Ports | undefined, Flags, Resources, Kind extends 'Application' | 'Element'>(program: MakeRuntimeReturn<P, Flags, Resources, Kind>, options: RunOptions<Flags, Resources>): void;
 /** Options for {@link hydrate}. */

package/dist/runtime/start.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"start.d.ts","sourceRoot":"","sources":["../../src/runtime/start.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EAOP,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,EACL,KAAK,WAAW,EAGjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,EAAE,KAAK,iBAAiB,EAAoB,MAAM,cAAc,CAAA;AAEvE;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,IAAI,QAAQ,CAAC;IAC1D,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;CAC9C,CAAC,CAAA;AAEF,KAAK,cAAc,GAAG,QAAQ,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAClD,KAAK,EAAE,KAAK,GAAG,SAAS,CAAA;CACzB,CAAC,CAAA;AAEF;eACe;AACf,eAAO,MAAM,cAAc,YAChB,cAAc,YACb,OAAO,YACP,QAAQ,UACV,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAChC,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,CAqBpB,CAAA;AA6BD;;;;8CAI8C;AAC9C,wBAAgB,GAAG,CACjB,CAAC,SAAS,KAAK,GAAG,SAAS,EAC3B,SAAS,EACT,IAAI,SAAS,aAAa,GAAG,SAAS,EACtC,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;AAC7D,wBAAgB,GAAG,CACjB,CAAC,SAAS,KAAK,GAAG,SAAS,EAC3B,KAAK,EACL,SAAS,EACT,IAAI,SAAS,aAAa,GAAG,SAAS,EAEtC,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EACrD,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,GACpC,IAAI,CAAA;AAQP,mCAAmC;AACnC,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC;;;;;;;;;;OAUG;IACH,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;uBAuBuB;AACvB,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,SAAS,WAC1D,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,WACrD,cAAc,KACtB,IAEF,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,KAAK,CACnB,CAAC,SAAS,KAAK,GAAG,SAAS,GAAG,SAAS,EACvC,SAAS,GAAG,KAAK,EACjB,IAAI,SAAS,aAAa,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,EAClE,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AACvE,wBAAgB,KAAK,CACnB,CAAC,SAAS,KAAK,GAAG,SAAS,EAC3B,KAAK,EACL,SAAS,EACT,IAAI,SAAS,aAAa,GAAG,SAAS,EAEtC,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EACrD,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,GACpC,WAAW,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"start.d.ts","sourceRoot":"","sources":["../../src/runtime/start.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,MAAM,EAOP,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EACL,KAAK,WAAW,EAGjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAErD,OAAO,EAAE,KAAK,iBAAiB,EAAoB,MAAM,cAAc,CAAA;AAEvE;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,IAAI,QAAQ,CAAC;IAC1D,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;CAC9C,CAAC,CAAA;AAEF,KAAK,cAAc,GAAG,QAAQ,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxD,KAAK,EAAE,KAAK,GAAG,SAAS,CAAA;CACzB,CAAC,CAAA;AAEF;eACe;AACf,eAAO,MAAM,cAAc,YAChB,cAAc,kBACP,OAAO,YACb,QAAQ,UACV,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAChC,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,CA2BpB,CAAA;AAeD;eACe;AACf,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAC/B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAQpB,CAAA;AA0BD;;;;yEAIyE;AACzE,wBAAgB,GAAG,CACjB,CAAC,SAAS,KAAK,GAAG,SAAS,EAC3B,SAAS,EACT,IAAI,SAAS,aAAa,GAAG,SAAS,EACtC,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;AAC7D,wBAAgB,GAAG,CACjB,CAAC,SAAS,KAAK,GAAG,SAAS,EAC3B,KAAK,EACL,SAAS,EACT,IAAI,SAAS,aAAa,GAAG,SAAS,EAEtC,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EACrD,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,GACpC,IAAI,CAAA;AAQP,mCAAmC;AACnC,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC;;;;;;;;;;OAUG;IACH,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;uBAuBuB;AACvB,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,SAAS,WAC1D,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,WACrD,cAAc,KACtB,IAEF,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,KAAK,CACnB,CAAC,SAAS,KAAK,GAAG,SAAS,GAAG,SAAS,EACvC,SAAS,GAAG,KAAK,EACjB,IAAI,SAAS,aAAa,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,EAClE,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AACvE,wBAAgB,KAAK,CACnB,CAAC,SAAS,KAAK,GAAG,SAAS,EAC3B,KAAK,EACL,SAAS,EACT,IAAI,SAAS,aAAa,GAAG,SAAS,EAEtC,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EACrD,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,GACpC,WAAW,CAAC,CAAC,CAAC,CAAA"}

package/dist/runtime/start.js

@@ -1,11 +1,11 @@
-import { Effect, Fiber, Function, Option, Predicate, Runtime, pipe, } from 'effect';
+import { Cause, Effect, Fiber, Function, Option, Predicate, Runtime, pipe, } from 'effect';
 import { provideBrowserScheduler } from './browserScheduler.js';
-import { resolveHmrModel } from './hmrModelBridge.js';
 import { buildPortHandles, makeHostConnector, } from './hostConnector.js';
+import { resolvePreservedModel } from './modelPreservationBridge.js';
 import { runtimeInternals } from './runtime.js';
 /** Starts a program Effect with explicit boot inputs for runtime tests.
  * @internal */
-export const __startProgram = (program, hmrModel, bootMode, flags, buildId) => {
+export const __startProgram = (program, preservedModel, bootMode, flags, buildId) => {
     const internals = runtimeInternals.get(program);
     if (Predicate.isUndefined(internals)) {
         return Effect.die(new Error('[foldkit] Runtime boot expects a program created by ' +
@@ -15,7 +15,7 @@ export const __startProgram = (program, hmrModel, bootMode, flags, buildId) => {
         return Effect.die(new Error('[foldkit] Runtime.hydrate expects a program created by ' +
             'makeApplication.'));
     }
-    return internals.startWith(Option.none(), hmrModel, bootMode, flags, buildId);
+    return internals.startWith(Option.none(), preservedModel, bootMode, flags, buildId);
 };
 // NOTE: deliberately not `BrowserRuntime.runMain`, which interrupts the
 // runtime on `beforeunload`. `beforeunload` is a question, not a commitment:
@@ -25,11 +25,23 @@ export const __startProgram = (program, hmrModel, bootMode, flags, buildId) => {
 // put the container element back empty, so the page is left alive with no app
 // in it. A page-owning runtime gains nothing from tearing itself down while
 // the document is on its way out, so it starts with no page-lifecycle
-// interrupt at all and lets the document take the runtime with it. Error
-// reporting and the keep-alive interval come from `makeRunMain` either way.
+// interrupt at all and lets the document take the runtime with it. The
+// keep-alive interval still comes from `makeRunMain`; Foldkit owns the shared
+// error-reporting policy used by page-owning and embedded runtimes below.
 const runMainWithoutUnloadInterrupt = Runtime.makeRunMain(Function.constVoid);
+/** Reports unhandled non-interrupt Causes using Effect's runtime policy.
+ * @internal */
+export const __reportUnhandledCause = (cause) => {
+    if (Cause.hasInterruptsOnly(cause)) {
+        return Effect.void;
+    }
+    return Runtime.getErrorReported(Cause.squash(cause))
+        ? Effect.logError(cause)
+        : Effect.void;
+};
+const withUnhandledCauseReporting = (effect) => Effect.tapCause(effect, __reportUnhandledCause);
 const startProgram = (program, bootMode, flags, buildId) => {
-    runMainWithoutUnloadInterrupt(provideBrowserScheduler(Effect.flatMap(resolveHmrModel(program.runtimeId), hmrModel => __startProgram(program, hmrModel, bootMode, flags, buildId))));
+    runMainWithoutUnloadInterrupt(withUnhandledCauseReporting(provideBrowserScheduler(Effect.flatMap(resolvePreservedModel(program.runtimeId), preservedModel => __startProgram(program, preservedModel, bootMode, flags, buildId)))), { disableErrorReporting: true });
 };
 export function run(program, options) {
     startProgram(program, 'Fresh', options?.flags);
@@ -81,8 +93,8 @@ export function embed(program, options) {
     const startEffect = pipe(Option.match(internals.maybeActiveFiber, {
         onNone: () => Effect.void,
         onSome: previousFiber => Effect.asVoid(Fiber.await(previousFiber)),
-    }), Effect.andThen(resolveHmrModel(program.runtimeId)), Effect.flatMap(hmrModel => internals.startWith(Option.some(connector), hmrModel, 'Fresh', options?.flags)));
-    const fiber = Effect.runFork(provideBrowserScheduler(startEffect));
+    }), Effect.andThen(resolvePreservedModel(program.runtimeId)), Effect.flatMap(preservedModel => internals.startWith(Option.some(connector), preservedModel, 'Fresh', options?.flags)));
+    const fiber = Effect.runFork(withUnhandledCauseReporting(provideBrowserScheduler(startEffect)));
     internals.maybeActiveFiber = Option.some(fiber);
     let isHandleDisposed = false;
     const dispose = () => {

package/dist/runtime/visibility.d.ts

@@ -2,7 +2,7 @@
 export type Visibility = 'Development' | 'Always';
 /** Whether a feature configured with `show` is enabled. `'Always'` enables it
  *  everywhere. `'Development'` enables it only when `isDevelopment` is true.
- *  Callers pass whether Vite HMR is active, and DevTools also requires a
- *  top-level window. */
+ *  Callers pass whether Vite's dev server is active, and DevTools also requires
+ *  a top-level window. */
 export declare const isVisible: (show: Visibility, isDevelopment: boolean) => boolean;
 //# sourceMappingURL=visibility.d.ts.map

package/dist/runtime/visibility.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"visibility.d.ts","sourceRoot":"","sources":["../../src/runtime/visibility.ts"],"names":[],"mappings":"AAEA,wCAAwC;AACxC,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAA;AAEjD;;;wBAGwB;AACxB,eAAO,MAAM,SAAS,SAAU,UAAU,iBAAiB,OAAO,KAAG,OAKlE,CAAA"}
+{"version":3,"file":"visibility.d.ts","sourceRoot":"","sources":["../../src/runtime/visibility.ts"],"names":[],"mappings":"AAEA,wCAAwC;AACxC,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAA;AAEjD;;;0BAG0B;AAC1B,eAAO,MAAM,SAAS,SAAU,UAAU,iBAAiB,OAAO,KAAG,OAKlE,CAAA"}

package/dist/runtime/visibility.js

@@ -1,6 +1,6 @@
 import { Match } from 'effect';
 /** Whether a feature configured with `show` is enabled. `'Always'` enables it
  *  everywhere. `'Development'` enables it only when `isDevelopment` is true.
- *  Callers pass whether Vite HMR is active, and DevTools also requires a
- *  top-level window. */
+ *  Callers pass whether Vite's dev server is active, and DevTools also requires
+ *  a top-level window. */
 export const isVisible = (show, isDevelopment) => Match.value(show).pipe(Match.when('Always', () => true), Match.when('Development', () => isDevelopment), Match.exhaustive);

package/dist/schema/index.d.ts

@@ -20,10 +20,35 @@ type TaggedUnionMatchCases<CasesByTag extends Record<string, Schema.Struct.Field
         readonly _tag: Tag;
     }>) => Output;
 };
+type TaggedUnionMatchOrElseCases<CasesByTag extends Record<string, Schema.Struct.Fields>, Input extends TaggedUnionType<CasesByTag>, Output> = {
+    readonly [Tag in keyof CasesByTag & string]?: (value: Extract<Input, {
+        readonly _tag: Tag;
+    }>) => Output;
+};
+type TaggedUnionMatchOrElseCaseReturns<Cases> = {
+    [Tag in keyof Cases]-?: NonNullable<Cases[Tag]> extends (...args: never) => infer Output ? Output : never;
+}[keyof Cases];
+type TaggedUnionMatchOrElseOutput<Cases, OrElse> = TaggedUnionMatchOrElseCaseReturns<Cases> | (OrElse extends (...args: never) => infer Output ? Output : never);
+type TaggedUnionMatchOrElseHandledTags<CasesByTag extends Record<string, Schema.Struct.Fields>, Cases> = Extract<{
+    [Tag in keyof Cases]-?: {} extends Pick<Cases, Tag> ? never : Tag;
+}[keyof Cases], keyof CasesByTag & string>;
+type ValidateMatchOrElseCases<CasesByTag extends Record<string, Schema.Struct.Fields>, Cases> = {
+    readonly [Tag in Exclude<keyof Cases, keyof CasesByTag & string>]: never;
+};
 type TaggedUnionMatch<CasesByTag extends Record<string, Schema.Struct.Fields>> = {
     <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(cases: TaggedUnionMatchCases<CasesByTag, Input, Output>): (value: Input) => Output;
     <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(value: Input, cases: TaggedUnionMatchCases<CasesByTag, Input, Output>): Output;
 };
+type TaggedUnionMatchOrElse<CasesByTag extends Record<string, Schema.Struct.Fields>> = {
+    <Input extends TaggedUnionType<CasesByTag>, const Cases extends TaggedUnionMatchOrElseCases<CasesByTag, Input, unknown>, OrElse extends (value: Exclude<Input, {
+        readonly _tag: TaggedUnionMatchOrElseHandledTags<CasesByTag, Cases>;
+    }>) => unknown>(value: Input, cases: Cases & ValidateMatchOrElseCases<CasesByTag, Cases>, orElse: OrElse): TaggedUnionMatchOrElseOutput<Cases, OrElse>;
+    <const Cases extends TaggedUnionMatchOrElseCases<CasesByTag, TaggedUnionType<CasesByTag>, unknown>, OrElse extends (value: Exclude<TaggedUnionType<CasesByTag>, {
+        readonly _tag: TaggedUnionMatchOrElseHandledTags<CasesByTag, Cases>;
+    }>) => unknown>(cases: Cases & ValidateMatchOrElseCases<CasesByTag, Cases>, orElse: OrElse): (value: TaggedUnionType<CasesByTag>) => TaggedUnionMatchOrElseOutput<Cases, OrElse>;
+    <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(cases: TaggedUnionMatchOrElseCases<CasesByTag, Input, Output>, orElse: (value: Input) => Output): (value: Input) => Output;
+    <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(value: Input, cases: TaggedUnionMatchOrElseCases<CasesByTag, Input, Output>, orElse: (value: Input) => Output): Output;
+};
 interface UnionSchema<CasesByTag extends Record<string, Schema.Struct.Fields>> extends Schema.BottomLazy<BaseTaggedUnion<CasesByTag>['ast'], UnionSchema<CasesByTag>> {
     readonly Type: BaseTaggedUnion<CasesByTag>['Type'];
     readonly Encoded: BaseTaggedUnion<CasesByTag>['Encoded'];
@@ -44,13 +69,16 @@ type TaggedUnionSubsetMembers<CasesByTag extends Record<string, Schema.Struct.Fi
 interface RichUnionSchema<CasesByTag extends Record<string, Schema.Struct.Fields>> extends UnionSchema<CasesByTag> {
     readonly guards: BaseTaggedUnion<CasesByTag>['guards'];
     readonly isAnyOf: BaseTaggedUnion<CasesByTag>['isAnyOf'];
+    readonly matchOrElse: TaggedUnionMatchOrElse<CasesByTag>;
     readonly members: ReadonlyArray<TaggedUnionMember<CasesByTag>>;
     /** Returns a Schema that accepts only the named variants. */
     readonly subset: <const Tags extends ReadonlyArray<keyof CasesByTag & string>>(tags: Tags) => Schema.Union<TaggedUnionSubsetMembers<CasesByTag, Tags>>;
 }
 /** The Schema returned by `defineTaggedUnion`. It includes callable variant
- * constructors, exhaustive `match`, `guards`, `isAnyOf`, `subset`, and
- * `members`. */
+ * constructors, exhaustive `match`, partial `matchOrElse`, `guards`,
+ * `isAnyOf`, `subset`, and `members`. Pass a structurally refined union as a
+ * matcher's optional second type argument to preserve narrower payload fields
+ * in each handler. */
 export type TaggedUnion<CasesByTag extends Record<string, Schema.Struct.Fields>> = RichUnionSchema<CasesByTag> & {
     readonly [Tag in keyof CasesByTag & string]: CallableTaggedStruct<Tag, CasesByTag[Tag]>;
 };
@@ -83,8 +111,8 @@ export type RouteUnion<CasesByTag extends Record<string, Schema.Struct.Fields>>
  * fields.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -108,6 +136,7 @@ export declare function defineMessageUnion<const CasesByTag extends Record<strin
  *
  * - One callable Schema constructor per variant.
  * - `match` for exhaustive handling.
+ * - `matchOrElse` for selected variants with a fallback for the rest.
  * - `guards` and `isAnyOf` for variant checks.
  * - `subset` for a Schema that accepts only the named variants.
  * - `members` for APIs such as `Machine.define` that enumerate the union.
@@ -116,8 +145,8 @@ export declare function defineMessageUnion<const CasesByTag extends Record<strin
  * unions and standalone tagged structs are the common cases.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -143,17 +172,18 @@ export declare function defineTaggedUnion<const CasesByTag extends Record<string
  * `parseUrlWithFallback`, while `AppRoute.Person({ personId: 42 })` constructs
  * a value.
  *
- * Use `match` to handle every Route, `guards` or `isAnyOf` to check selected
- * tags, and `subset` when another Schema accepts only some Routes. A subset
- * includes only the tags named in the call. Adding a Route to `AppRoute` does
- * not change an existing subset.
+ * Use `match` to handle every Route, `matchOrElse` to handle selected Routes
+ * with a fallback, `guards` or `isAnyOf` to check selected tags, and `subset`
+ * when another Schema accepts only some Routes. A subset includes only the
+ * tags named in the call. Adding a Route to `AppRoute` does not change an
+ * existing subset.
  *
  * Routers remain separate. A Route is the parsed value; a Router describes the
  * URL that produces it.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAa,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE/D,qIAAqI;AACrI,MAAM,MAAM,oBAAoB,CAC9B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IACjC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAClC,CAAC,MAAM,MAAM,SAAS,KAAK,GACvB,CACE,KAAK,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KACnE,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,GACD,CACE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAC3D,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,CAAC,CAAA;AAoJR,KAAK,mBAAmB,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAEvD,KAAK,aAAa,GAAG,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAAA;AAqB/D,KAAK,oBAAoB,CAAC,IAAI,SAAS,WAAW,IAAI,QAAQ,CAAC;IAC7D,uDAAuD,EAAE,IAAI,CAAA;CAC9D,CAAC,CAAA;AAEF,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAEvD,OAAO,CAAC,MAAM,UAAU,EAAE,aAAa,CAAC,SAAS,MAAM,IAAI,GACvD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,OAAO,GACP,oBAAoB,CAAC,IAAI,GAAG,WAAW,CAAC,GAC1C,KAAK,CAAA;AAEX,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,MAAM,CAAC,WAAW,CAAC;IACjB,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC,YAAY,CAC9D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAC,CAAA;AAEJ,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAErC,KAAK,qBAAqB,CACxB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,MAAM,IACJ;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,CAC3C,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,KAC1C,MAAM;CACZ,CAAA;AAED,KAAK,gBAAgB,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC3E;IACE,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;IAC3B,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,MAAM,CAAA;CACV,CAAA;AAEH,UAAU,WAAW,CACnB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,MAAM,CAAC,UAAU,CACzB,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,EAClC,WAAW,CAAC,UAAU,CAAC,CACxB;IACC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAA;IACtE,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAA;IAChE,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAA;CAC7C;AAED,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,GAAG,SAAS,MAAM,UAAU,GAAG,MAAM,IACnC,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9C,KAAK,iBAAiB,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,UAAU,EACV,GAAG,CACJ;CACF,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAA;AAE5B,KAAK,wBAAwB,CAC3B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IACnD;IACF,QAAQ,EAAE,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,MAAM,UAAU,GAAG,MAAM,GACzE,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAC7C,KAAK;CACV,CAAA;AAED,UAAU,eAAe,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,WAAW,CAAC,UAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAA;IAC9D,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,CAAC,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAE3D,IAAI,EAAE,IAAI,KACP,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAA;CAC9D;AAED;;gBAEgB;AAChB,MAAM,MAAM,WAAW,CACrB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,eAAe,CAAC,UAAU,CAAC,GAAG;IAChC,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;;;uDAGuD;AACvD,MAAM,MAAM,YAAY,CACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,GAAG;IAC5B,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;iFACiF;AACjF,MAAM,MAAM,UAAU,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,CAAA;AAwD3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,YAAY,CAAC,UAAU,CAAC,CAE1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,WAAW,CAAC,UAAU,CAAC,CAEzB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,UAAU,CAAC,UAAU,CAAC,CAExB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,YAAY,CAAC,GAAG,SAAS,MAAM,EAC7C,GAAG,EAAE,GAAG,GACP,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;AAChC,wBAAgB,YAAY,CAC1B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EACnC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuB,MAAM,EAAa,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEtE,qIAAqI;AACrI,MAAM,MAAM,oBAAoB,CAC9B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IACjC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAClC,CAAC,MAAM,MAAM,SAAS,KAAK,GACvB,CACE,KAAK,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KACnE,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,GACD,CACE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAC3D,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,CAAC,CAAA;AAwJR,KAAK,mBAAmB,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAEvD,KAAK,aAAa,GAAG,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAAA;AAqB/D,KAAK,oBAAoB,CAAC,IAAI,SAAS,WAAW,IAAI,QAAQ,CAAC;IAC7D,uDAAuD,EAAE,IAAI,CAAA;CAC9D,CAAC,CAAA;AAEF,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAEvD,OAAO,CAAC,MAAM,UAAU,EAAE,aAAa,CAAC,SAAS,MAAM,IAAI,GACvD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,OAAO,GACP,oBAAoB,CAAC,IAAI,GAAG,WAAW,CAAC,GAC1C,KAAK,CAAA;AAEX,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,MAAM,CAAC,WAAW,CAAC;IACjB,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC,YAAY,CAC9D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAC,CAAA;AAEJ,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAErC,KAAK,qBAAqB,CACxB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,MAAM,IACJ;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,CAC3C,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,KAC1C,MAAM;CACZ,CAAA;AAED,KAAK,2BAA2B,CAC9B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,MAAM,IACJ;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,EAAE,CAC5C,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,KAC1C,MAAM;CACZ,CAAA;AAED,KAAK,iCAAiC,CAAC,KAAK,IAAI;KAC7C,GAAG,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CACtD,GAAG,IAAI,EAAE,KAAK,KACX,MAAM,MAAM,GACb,MAAM,GACN,KAAK;CACV,CAAC,MAAM,KAAK,CAAC,CAAA;AAEd,KAAK,4BAA4B,CAAC,KAAK,EAAE,MAAM,IAC3C,iCAAiC,CAAC,KAAK,CAAC,GACxC,CAAC,MAAM,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,MAAM,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;AAEtE,KAAK,iCAAiC,CACpC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,IACH,OAAO,CACT;KACG,GAAG,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,KAAK,GAAG,GAAG;CAClE,CAAC,MAAM,KAAK,CAAC,EACd,MAAM,UAAU,GAAG,MAAM,CAC1B,CAAA;AAED,KAAK,wBAAwB,CAC3B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,IACH;IACF,QAAQ,EAAE,GAAG,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,KAAK;CACzE,CAAA;AAED,KAAK,gBAAgB,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC3E;IACE,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;IAC3B,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,MAAM,CAAA;CACV,CAAA;AAEH,KAAK,sBAAsB,CACzB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD;IACF,CACE,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,KAAK,CAAC,KAAK,SAAS,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,EAC3E,MAAM,SAAS,CACb,KAAK,EAAE,OAAO,CACZ,KAAK,EACL;QACE,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;KACpE,CACF,KACE,OAAO,EAEZ,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,GAAG,wBAAwB,CAAC,UAAU,EAAE,KAAK,CAAC,EAC1D,MAAM,EAAE,MAAM,GACb,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,CACE,KAAK,CAAC,KAAK,SAAS,2BAA2B,CAC7C,UAAU,EACV,eAAe,CAAC,UAAU,CAAC,EAC3B,OAAO,CACR,EACD,MAAM,SAAS,CACb,KAAK,EAAE,OAAO,CACZ,eAAe,CAAC,UAAU,CAAC,EAC3B;QACE,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;KACpE,CACF,KACE,OAAO,EAEZ,KAAK,EAAE,KAAK,GAAG,wBAAwB,CAAC,UAAU,EAAE,KAAK,CAAC,EAC1D,MAAM,EAAE,MAAM,GACb,CACD,KAAK,EAAE,eAAe,CAAC,UAAU,CAAC,KAC/B,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAChD,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,EAC7D,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,GAC/B,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;IAC3B,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,EAC7D,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,GAC/B,MAAM,CAAA;CACV,CAAA;AAED,UAAU,WAAW,CACnB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,MAAM,CAAC,UAAU,CACzB,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,EAClC,WAAW,CAAC,UAAU,CAAC,CACxB;IACC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAA;IACtE,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAA;IAChE,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAA;CAC7C;AAED,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,GAAG,SAAS,MAAM,UAAU,GAAG,MAAM,IACnC,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9C,KAAK,iBAAiB,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,UAAU,EACV,GAAG,CACJ;CACF,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAA;AAE5B,KAAK,wBAAwB,CAC3B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IACnD;IACF,QAAQ,EAAE,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,MAAM,UAAU,GAAG,MAAM,GACzE,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAC7C,KAAK;CACV,CAAA;AAED,UAAU,eAAe,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,WAAW,CAAC,UAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAC,UAAU,CAAC,CAAA;IACxD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAA;IAC9D,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,CAAC,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAE3D,IAAI,EAAE,IAAI,KACP,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAA;CAC9D;AAED;;;;sBAIsB;AACtB,MAAM,MAAM,WAAW,CACrB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,eAAe,CAAC,UAAU,CAAC,GAAG;IAChC,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;;;uDAGuD;AACvD,MAAM,MAAM,YAAY,CACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,GAAG;IAC5B,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;iFACiF;AACjF,MAAM,MAAM,UAAU,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,CAAA;AAwD3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,YAAY,CAAC,UAAU,CAAC,CAE1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,WAAW,CAAC,UAAU,CAAC,CAEzB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,UAAU,CAAC,UAAU,CAAC,CAExB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,YAAY,CAAC,GAAG,SAAS,MAAM,EAC7C,GAAG,EAAE,GAAG,GACP,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;AAChC,wBAAgB,YAAY,CAC1B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EACnC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA"}

package/dist/schema/index.js

@@ -1,4 +1,4 @@
-import { Array, Match, Schema, SchemaAST } from 'effect';
+import { Array, Cause, Match, Schema, SchemaAST } from 'effect';
 const assignPlainProperty = (output, name, value) => {
     if (name === '__proto__') {
         Object.defineProperty(output, name, {
@@ -12,11 +12,20 @@ const assignPlainProperty = (output, name, value) => {
         output[name] = value;
     }
 };
+const runConstructorOperation = (operation) => {
+    try {
+        return operation();
+    }
+    catch (error) {
+        throw new Error('Constructor adapter can only throw schema issues', {
+            cause: Cause.die(error),
+        });
+    }
+};
 const isDirectlyCopyable = (ast) => {
     if (ast.checks !== undefined ||
         ast.encoding !== undefined ||
-        ast.context !== undefined ||
-        ast.annotations?.['parseOptions'] !== undefined) {
+        ast.context !== undefined) {
         return false;
     }
     return Match.value(ast).pipe(Match.withReturnType(), Match.tagsExhaustive({
@@ -39,7 +48,7 @@ const isDirectlyCopyable = (ast) => {
         TemplateLiteral: ({ parts }) => parts.every(isDirectlyCopyable),
         Arrays: () => false,
         Objects: () => false,
-        Union: ({ mode, types }) => mode !== 'oneOf' && types.every(isDirectlyCopyable),
+        Union: ({ options, types }) => options?.mode !== 'oneOf' && types.every(isDirectlyCopyable),
         Suspend: () => false,
     }));
 };
@@ -70,24 +79,20 @@ const makeCallable = (tag, fields) => {
             }
             const output = {};
             for (const name of propertyNames) {
-                const descriptor = Object.getOwnPropertyDescriptor(input, name);
-                if (name !== '_tag' &&
-                    descriptor === undefined &&
-                    Reflect.has(input, name)) {
-                    return make(value);
-                }
-                if (descriptor !== undefined && !('value' in descriptor)) {
-                    return make(value);
-                }
-                const inputValue = descriptor === undefined ? undefined : input[name];
+                const inputValue = runConstructorOperation(() => {
+                    const hasProperty = name === '__proto__'
+                        ? Object.hasOwn(input, name)
+                        : Reflect.has(input, name);
+                    return hasProperty ? input[name] : undefined;
+                });
                 if (name === '_tag') {
                     if (inputValue !== undefined && inputValue !== tag) {
                         return make(value);
                     }
-                    assignPlainProperty(output, name, tag);
+                    runConstructorOperation(() => assignPlainProperty(output, name, tag));
                 }
                 else {
-                    assignPlainProperty(output, name, inputValue);
+                    runConstructorOperation(() => assignPlainProperty(output, name, inputValue));
                 }
             }
             return output;
@@ -176,8 +181,8 @@ const defineUnion = (variantLabel, casesByTag) => {
  * fields.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -203,6 +208,7 @@ export function defineMessageUnion(casesByTag) {
  *
  * - One callable Schema constructor per variant.
  * - `match` for exhaustive handling.
+ * - `matchOrElse` for selected variants with a fallback for the rest.
  * - `guards` and `isAnyOf` for variant checks.
  * - `subset` for a Schema that accepts only the named variants.
  * - `members` for APIs such as `Machine.define` that enumerate the union.
@@ -211,8 +217,8 @@ export function defineMessageUnion(casesByTag) {
  * unions and standalone tagged structs are the common cases.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -240,17 +246,18 @@ export function defineTaggedUnion(casesByTag) {
  * `parseUrlWithFallback`, while `AppRoute.Person({ personId: 42 })` constructs
  * a value.
  *
- * Use `match` to handle every Route, `guards` or `isAnyOf` to check selected
- * tags, and `subset` when another Schema accepts only some Routes. A subset
- * includes only the tags named in the call. Adding a Route to `AppRoute` does
- * not change an existing subset.
+ * Use `match` to handle every Route, `matchOrElse` to handle selected Routes
+ * with a fallback, `guards` or `isAnyOf` to check selected tags, and `subset`
+ * when another Schema accepts only some Routes. A subset includes only the
+ * tags named in the call. Adding a Route to `AppRoute` does not change an
+ * existing subset.
  *
  * Routers remain separate. A Route is the parsed value; a Router describes the
  * URL that produces it.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript

package/dist/test/apps/contentEditableEditor.d.ts

@@ -0,0 +1,32 @@
+import { Schema } from 'effect';
+import type { Html, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
+export declare const Model: Schema.Struct<{
+    readonly body: Schema.String;
+}>;
+export type Model = typeof Model.Type;
+export declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly UpdatedBody: {
+        value: Schema.String;
+    };
+    readonly InsertedText: {
+        value: Schema.String;
+    };
+}>;
+export type Message = typeof Message.Type;
+export declare const initialModel: Model;
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly body: string;
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "InsertedText";
+        readonly value: string;
+    } | {
+        readonly _tag: "UpdatedBody";
+        readonly value: string;
+    }, never>;
+    outMessage?: never;
+}>;
+export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
+//# sourceMappingURL=contentEditableEditor.d.ts.map

package/dist/test/apps/contentEditableEditor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contentEditableEditor.d.ts","sourceRoot":"","sources":["../../../src/test/apps/contentEditableEditor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;EAEhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;QACH,KAAK;;;QACJ,KAAK;;EACrB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAE1B,CAAA;AAID,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;;;;;;;;;;;EAQjD,CAAA;AAIJ,eAAO,MAAM,IAAI,UAAW,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAoB5D,CAAA"}