foldkit 0.156.0 → 0.157.0

package/dist/devTools/store.js

@@ -1,4 +1,4 @@
-import { Array, Effect, HashMap, HashSet, Match, Option, Predicate, Record, String as String_, SubscriptionRef, pipe, } from 'effect';
+import { Array, Effect, HashMap, HashSet, Match, Option, Predicate, Record, String, SubscriptionRef, pipe, } from 'effect';
 import { evo } from '../struct/index.js';
 export const INIT_INDEX = -1;
 const DEFAULT_KEYFRAME_INTERVAL = 31;
@@ -61,7 +61,7 @@ export const computeDiff = (previous, current) => {
     walk(previous, current, 'root');
     const affected = new Set(changed);
     const addAncestors = (path) => {
-        pipe(path, String_.lastIndexOf('.'), Option.map(lastDot => path.substring(0, lastDot)), Option.filter(parent => !affected.has(parent)), Option.map(parent => {
+        pipe(path, String.lastIndexOf('.'), Option.map(lastDot => path.substring(0, lastDot)), Option.filter(parent => !affected.has(parent)), Option.map(parent => {
             affected.add(parent);
             addAncestors(parent);
         }));
@@ -140,29 +140,35 @@ export const createDevToolsStore = (bridge, options = {}) => Effect.gen(function
         keyframes: HashMap.set(0, model),
         maybeLatestModel: () => Option.some(model),
     }));
-    const recordMessage = (message, modelBeforeUpdate, modelAfterUpdate, commands, isModelChanged) => SubscriptionRef.update(stateRef, state => {
-        const absoluteIndex = nextEntryIndex(state);
-        const diff = isModelChanged
-            ? computeDiff(modelBeforeUpdate, modelAfterUpdate)
-            : emptyDiff;
-        const hasChangedFields = HashSet.size(diff.changedPaths) > 0;
-        const nextState = evo(state, {
-            entries: Array.append({
-                tag: message._tag,
-                message,
-                commands,
-                mountStarts: [],
-                mountEnds: [],
-                timestamp: performance.now(),
-                isModelChanged: hasChangedFields,
-                diff,
-            }),
-            keyframes: addKeyframeIfNeeded(absoluteIndex + 1, modelAfterUpdate),
-            maybeLatestModel: () => Option.some(modelAfterUpdate),
+    const recordMessage = (message, modelBeforeUpdate, modelAfterUpdate, commands, isModelChanged) => Effect.gen(function* () {
+        const didAutoResume = yield* SubscriptionRef.modify(stateRef, state => {
+            const absoluteIndex = nextEntryIndex(state);
+            const diff = isModelChanged
+                ? computeDiff(modelBeforeUpdate, modelAfterUpdate)
+                : emptyDiff;
+            const hasChangedFields = HashSet.size(diff.changedPaths) > 0;
+            const nextState = evo(state, {
+                entries: Array.append({
+                    tag: message._tag,
+                    message,
+                    commands,
+                    mountStarts: [],
+                    mountEnds: [],
+                    timestamp: performance.now(),
+                    isModelChanged: hasChangedFields,
+                    diff,
+                }),
+                keyframes: addKeyframeIfNeeded(absoluteIndex + 1, modelAfterUpdate),
+                maybeLatestModel: () => Option.some(modelAfterUpdate),
+            });
+            const recordedState = nextState.entries.length > maxEntries
+                ? evictOldestSegment(nextState)
+                : nextState;
+            return [state.isPaused && !recordedState.isPaused, recordedState];
         });
-        return nextState.entries.length > maxEntries
-            ? evictOldestSegment(nextState)
-            : nextState;
+        if (didAutoResume) {
+            yield* bridge.markRenderPending;
+        }
     });
     /** Attaches Mount lifecycle events from the most recent render to the
      *  history entry that triggered the render. Mount events fire during
@@ -207,10 +213,28 @@ export const createDevToolsStore = (bridge, options = {}) => Effect.gen(function
         const state = yield* SubscriptionRef.get(stateRef);
         const model = resolveModel(state, index);
         yield* bridge.render(model);
-        yield* SubscriptionRef.set(stateRef, evo(state, {
-            isPaused: () => true,
-            pausedAtIndex: () => index,
-        }));
+        const wasTargetEvicted = yield* SubscriptionRef.modify(stateRef, currentState => {
+            const isTargetRetained = index === INIT_INDEX ||
+                (index >= currentState.startIndex &&
+                    index <= latestEntryIndex(currentState));
+            return isTargetRetained
+                ? [
+                    false,
+                    evo(currentState, {
+                        isPaused: () => true,
+                        pausedAtIndex: () => index,
+                    }),
+                ]
+                : [
+                    true,
+                    evo(currentState, {
+                        isPaused: () => false,
+                    }),
+                ];
+        });
+        if (wasTargetEvicted) {
+            yield* bridge.markRenderPending;
+        }
         return model;
     });
     const resume = Effect.gen(function* () {

package/dist/devTools/submodelPath.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"submodelPath.d.ts","sourceRoot":"","sources":["../../src/devTools/submodelPath.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAqB,MAAM,QAAQ,CAAA;AAElD,eAAO,MAAM,mBAAmB,QAAmB,CAAA;AAGnD,eAAO,MAAM,QAAQ;;CAAe,CAAA;AAEpC,oEAAoE;AACpE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACnC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CACpC,CAAC,CAAA;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,mBAAmB,QACzB,MAAM,WACF,OAAO,KACf,YAuBF,CAAA"}
+{"version":3,"file":"submodelPath.d.ts","sourceRoot":"","sources":["../../src/devTools/submodelPath.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAgB,MAAM,QAAQ,CAAA;AAE7C,eAAO,MAAM,mBAAmB,QAAmB,CAAA;AAGnD,eAAO,MAAM,QAAQ;;CAAoB,CAAA;AAEzC,oEAAoE;AACpE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACnC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CACpC,CAAC,CAAA;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,mBAAmB,QACzB,MAAM,WACF,OAAO,KACf,YAuBF,CAAA"}

package/dist/devTools/submodelPath.js

@@ -1,7 +1,7 @@
-import { Option, Schema as S, pipe } from 'effect';
+import { Option, Schema, pipe } from 'effect';
 export const GOT_MESSAGE_PATTERN = /^Got.+Message$/;
-const Tagged = S.Struct({ _tag: S.String });
-export const isTagged = S.is(Tagged);
+const Tagged = Schema.Struct({ _tag: Schema.String });
+export const isTagged = Schema.is(Tagged);
 /**
  * Walk a chain of `Got<Submodel>Message` wrappers in a recorded Message and
  * return the wrapper tags plus the innermost leaf tag.

package/dist/devTools/summarize.d.ts

@@ -1,13 +1,13 @@
-import { Schema as S } from 'effect';
+import { Schema } from 'effect';
 declare const PathResolution: import("../schema/index.js").TaggedUnion<{
     readonly Found: {
-        value: S.Unknown;
-        atPath: S.String;
+        value: Schema.Unknown;
+        atPath: Schema.String;
     };
     readonly NotFound: {
-        failedAt: S.String;
-        reason: S.String;
-        availableKeys: S.$Array<S.String>;
+        failedAt: Schema.String;
+        reason: Schema.String;
+        availableKeys: Schema.$Array<Schema.String>;
     };
 }>;
 /**

package/dist/devTools/summarize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"summarize.d.ts","sourceRoot":"","sources":["../../src/devTools/summarize.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,MAAM,IAAI,CAAC,EACZ,MAAM,QAAQ,CAAA;AAaf,QAAA,MAAM,cAAc;;QACT,KAAK;QAAa,MAAM;;;QAE/B,QAAQ;QACR,MAAM;QACN,aAAa;;EAEf,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AA8BvD;wDACwD;AACxD,eAAO,MAAM,WAAW,SAAU,OAAO,QAAQ,MAAM,KAAG,cAsCzD,CAAA;AAyDD;;;;;;;;;GASG;AACH,eAAO,MAAM,cAAc,UAAW,OAAO,KAAG,OAAgC,CAAA;AAYhF;yCACyC;AACzC,eAAO,MAAM,kBAAkB,aACnB,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,KACtD,MAIC,CAAA"}
+{"version":3,"file":"summarize.d.ts","sourceRoot":"","sources":["../../src/devTools/summarize.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,MAAM,EACP,MAAM,QAAQ,CAAA;AAaf,QAAA,MAAM,cAAc;;QACT,KAAK;QAAkB,MAAM;;;QAEpC,QAAQ;QACR,MAAM;QACN,aAAa;;EAEf,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AA8BvD;wDACwD;AACxD,eAAO,MAAM,WAAW,SAAU,OAAO,QAAQ,MAAM,KAAG,cAsCzD,CAAA;AAyDD;;;;;;;;;GASG;AACH,eAAO,MAAM,cAAc,UAAW,OAAO,KAAG,OAAgC,CAAA;AAYhF;yCACyC;AACzC,eAAO,MAAM,kBAAkB,aACnB,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,KACtD,MAIC,CAAA"}

package/dist/devTools/summarize.js

@@ -1,4 +1,4 @@
-import { Array as Array_, Function, Match as M, Option, Predicate, Record, Schema as S, } from 'effect';
+import { Array, Function, Match, Option, Predicate, Record, Schema, } from 'effect';
 import { OptionExt } from '../effectExtensions/index.js';
 import { defineTaggedUnion } from '../schema/index.js';
 const ROOT = 'root';
@@ -8,18 +8,18 @@ const STRING_TRUNCATE = 200;
 const ARRAY_SAMPLE = 2;
 // PATH
 const PathResolution = defineTaggedUnion({
-    Found: { value: S.Unknown, atPath: S.String },
+    Found: { value: Schema.Unknown, atPath: Schema.String },
     NotFound: {
-        failedAt: S.String,
-        reason: S.String,
-        availableKeys: S.Array(S.String),
+        failedAt: Schema.String,
+        reason: Schema.String,
+        availableKeys: Schema.Array(Schema.String),
     },
 });
 const isExpandable = Predicate.isObjectOrArray;
-const keysOf = (value) => M.value(value).pipe(M.when(Array.isArray, items => Array_.makeBy(items.length, index => index.toString())), M.when(Predicate.isObject, Record.keys), M.orElse(() => []));
+const keysOf = (value) => Match.value(value).pipe(Match.when(globalThis.Array.isArray, items => Array.makeBy(items.length, index => index.toString())), Match.when(Predicate.isObject, Record.keys), Match.orElse(() => []));
 const segmentsOf = (path) => path === ROOT ? [] : path.split(PATH_SEPARATOR).slice(1);
 const isRootAnchored = (path) => path === ROOT || path.startsWith(`${ROOT}${PATH_SEPARATOR}`);
-const descend = (parent, segment) => M.value(parent).pipe(M.when(Array.isArray, array => Option.liftPredicate(Number(segment), Number.isInteger).pipe(Option.flatMap(index => Array_.get(array, index)))), M.when(Predicate.isObject, record => Record.get(record, segment)), M.orElse(() => Option.none()));
+const descend = (parent, segment) => Match.value(parent).pipe(Match.when(globalThis.Array.isArray, array => Option.liftPredicate(Number(segment), Number.isInteger).pipe(Option.flatMap(index => Array.get(array, index)))), Match.when(Predicate.isObject, record => Record.get(record, segment)), Match.orElse(() => Option.none()));
 /** Looks up a `root.foo.bar` path in a Model snapshot. On failure, returns the
  * deepest path reached and the keys available there. */
 export const resolvePath = (root, path) => {
@@ -34,7 +34,7 @@ export const resolvePath = (root, path) => {
         value: root,
         atPath: ROOT,
     });
-    return Array_.reduce(segmentsOf(path), initial, (resolution, segment) => {
+    return Array.reduce(segmentsOf(path), initial, (resolution, segment) => {
         if (resolution._tag === 'NotFound') {
             return resolution;
         }
@@ -65,10 +65,10 @@ const sampleArray = (items, depth) => {
     const sample = items.length <= ARRAY_SAMPLE
         ? items
         : [
-            ...Array_.take(items, ARRAY_SAMPLE - 1),
-            ...Option.toArray(Array_.last(items)),
+            ...Array.take(items, ARRAY_SAMPLE - 1),
+            ...Option.toArray(Array.last(items)),
         ];
-    return Array_.map(sample, item => summarizeAt(item, depth + 1));
+    return Array.map(sample, item => summarizeAt(item, depth + 1));
 };
 const summarizeArray = (items, depth) => ({
     _summary: 'array',
@@ -84,7 +84,7 @@ const summarizeRecord = (value, depth) => {
     }
     return Record.map(value, child => summarizeAt(child, depth + 1));
 };
-const summarizeAt = (value, depth) => M.value(value).pipe(M.when(Predicate.isString, truncateString), M.when(Array.isArray, items => summarizeArray(items, depth)), M.when(Predicate.isObject, record => summarizeRecord(record, depth)), M.orElse(Function.identity));
+const summarizeAt = (value, depth) => Match.value(value).pipe(Match.when(Predicate.isString, truncateString), Match.when(globalThis.Array.isArray, items => summarizeArray(items, depth)), Match.when(Predicate.isObject, record => summarizeRecord(record, depth)), Match.orElse(Function.identity));
 /**
  * Apply structural summarization rules to a value:
  * - Arrays collapse to `{ _summary, length, sample: [head, last] }` at every depth.
@@ -97,7 +97,7 @@ const summarizeAt = (value, depth) => M.value(value).pipe(M.when(Predicate.isStr
  */
 export const summarizeValue = (value) => summarizeAt(value, 0);
 // FORMAT
-const formatAvailableKeys = (keys) => OptionExt.when(Array_.isReadonlyArrayNonEmpty(keys), `Available keys: ${keys.join(', ')}.`);
+const formatAvailableKeys = (keys) => OptionExt.when(Array.isReadonlyArrayNonEmpty(keys), `Available keys: ${keys.join(', ')}.`);
 /** Formats a `NotFound` result for `ResponseError.reason`, including the keys
  * available where the lookup stopped. */
 export const formatPathNotFound = (notFound) => Option.match(formatAvailableKeys(notFound.availableKeys), {

package/dist/devTools/webSocketBridge.d.ts

@@ -1,4 +1,4 @@
-import { Effect, Option, Schema as S, Scope } from 'effect';
+import { Effect, Option, Schema, Scope } from 'effect';
 import { Request, Response } from './protocol.js';
 import { type DevToolsStore } from './store.js';
 type Hot = NonNullable<ImportMeta['hot']>;
@@ -38,12 +38,12 @@ export declare const EVENT_CHANNEL = "foldkit:devTools:event";
  * Production-safe: callers must check `import.meta.hot` is defined before
  * invoking this. The function assumes a live HMR connection.
  */
-export declare const startWebSocketBridge: (store: DevToolsStore, hot: Hot, dispatch: (message: unknown) => Effect.Effect<void>, maybeMessageSchema: Option.Option<S.Codec<any, any>>) => Effect.Effect<void, never, Scope.Scope>;
+export declare const startWebSocketBridge: (store: DevToolsStore, hot: Hot, dispatch: (message: unknown) => Effect.Effect<void>, maybeMessageSchema: Option.Option<Schema.Codec<any, any>>) => Effect.Effect<void, never, Scope.Scope>;
 /**
  * Fulfill one bridge Request against the DevTools store. `startWebSocketBridge`
  * wires this to the HMR request channel; exported so tests can drive request
  * handling without a live HMR connection.
  */
-export declare const dispatchRequest: (store: DevToolsStore, dispatch: (message: unknown) => Effect.Effect<void>, maybeDispatchSchema: Option.Option<S.Codec<any, any>>, maybeJsonSchemaDocument: Option.Option<unknown>, request: Request) => Effect.Effect<Response>;
+export declare const dispatchRequest: (store: DevToolsStore, dispatch: (message: unknown) => Effect.Effect<void>, maybeDispatchSchema: Option.Option<Schema.Codec<any, any>>, maybeJsonSchemaDocument: Option.Option<unknown>, request: Request) => Effect.Effect<Response>;
 export {};
 //# sourceMappingURL=webSocketBridge.d.ts.map

package/dist/devTools/webSocketBridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"webSocketBridge.d.ts","sourceRoot":"","sources":["../../src/devTools/webSocketBridge.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EAIN,MAAM,EAEN,MAAM,IAAI,CAAC,EACX,KAAK,EAGN,MAAM,QAAQ,CAAA;AAcf,OAAO,EAOL,OAAO,EAEP,QAAQ,EAGT,MAAM,eAAe,CAAA;AAatB,OAAO,EACL,KAAK,aAAa,EAKnB,MAAM,YAAY,CAAA;AAQnB,KAAK,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;AAKzC,uEAAuE;AACvE,eAAO,MAAM,aAAa,2BAA2B,CAAA;AAmBrD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,oBAAoB,UACxB,aAAa,OACf,GAAG,YACE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,sBAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KACnD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAsHrC,CAAA;AAyIJ;;;;GAIG;AACH,eAAO,MAAM,eAAe,UACnB,aAAa,YACV,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,uBAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,2BAC5B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WACtC,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,QAAQ,CAyUrB,CAAA"}
+{"version":3,"file":"webSocketBridge.d.ts","sourceRoot":"","sources":["../../src/devTools/webSocketBridge.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EAIN,MAAM,EAEN,MAAM,EACN,KAAK,EAGN,MAAM,QAAQ,CAAA;AAcf,OAAO,EAOL,OAAO,EAEP,QAAQ,EAGT,MAAM,eAAe,CAAA;AAatB,OAAO,EACL,KAAK,aAAa,EAKnB,MAAM,YAAY,CAAA;AAQnB,KAAK,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;AAKzC,uEAAuE;AACvE,eAAO,MAAM,aAAa,2BAA2B,CAAA;AAmBrD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,oBAAoB,UACxB,aAAa,OACf,GAAG,YACE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,sBAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KACxD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAyHrC,CAAA;AAyIJ;;;;GAIG;AACH,eAAO,MAAM,eAAe,UACnB,aAAa,YACV,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,uBAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,2BACjC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WACtC,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,QAAQ,CAyUrB,CAAA"}

package/dist/devTools/webSocketBridge.js

@@ -1,4 +1,4 @@
-import { Array, Cause, Effect, Exit, HashMap, Match, Option, Order, Schema as S, SubscriptionRef, pipe, } from 'effect';
+import { Array, Cause, Effect, Exit, HashMap, Match, Option, Order, Schema, SubscriptionRef, pipe, } from 'effect';
 import { OptionExt } from '../effectExtensions/index.js';
 import { collectMatchingEntries, countEntriesByTag, findUnanchoredPattern, formatIndexNotReadable, isIndexReadable, matchesAnyPathPattern, pageMatchingEntries, pathOrder, readSummarizedValueAt, } from './historyQuery.js';
 import { DiffValue, Event, EventFrame, KeyframeInfo, MAX_DISPATCH_BATCH_SIZE, MessageSchemaResult, Request, RequestFrame, Response, ResponseFrame, RuntimeInfo, } from './protocol.js';
@@ -13,7 +13,7 @@ export const EVENT_CHANNEL = 'foldkit:devTools:event';
 const generateConnectionId = () => `${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 10)}`;
 const tryDeriveJsonSchemaDocument = (schema) => {
     try {
-        return Option.some(S.toJsonSchemaDocument(schema));
+        return Option.some(Schema.toJsonSchemaDocument(schema));
     }
     catch (error) {
         console.warn('[foldkit:devTools] Failed to derive JSON Schema from Message Schema; foldkit_get_message_schema will return None.', error);
@@ -57,10 +57,10 @@ const tryDeriveJsonSchemaDocument = (schema) => {
 export const startWebSocketBridge = (store, hot, dispatch, maybeMessageSchema) => Effect.gen(function* () {
     const connectionId = generateConnectionId();
     const capturedContext = yield* Effect.context();
-    const maybeDispatchSchema = Option.map(maybeMessageSchema, S.toCodecJson);
+    const maybeDispatchSchema = Option.map(maybeMessageSchema, Schema.toCodecJson);
     const maybeJsonSchemaDocument = Option.flatMap(maybeMessageSchema, tryDeriveJsonSchemaDocument);
-    const encodeEventFrame = S.encodeUnknownSync(EventFrame);
-    const encodeResponseFrame = S.encodeUnknownSync(ResponseFrame);
+    const encodeEventFrame = Schema.encodeUnknownSync(EventFrame);
+    const encodeResponseFrame = Schema.encodeUnknownSync(ResponseFrame);
     const sendEvent = (event) => {
         hot.send(EVENT_CHANNEL, encodeEventFrame({
             maybeConnectionId: Option.some(connectionId),
@@ -85,7 +85,7 @@ export const startWebSocketBridge = (store, hot, dispatch, maybeMessageSchema) =
         sendResponse(id, response);
     });
     const handleRequestFrame = (frame) => {
-        const decoded = S.decodeUnknownExit(RequestFrame)(frame);
+        const decoded = Schema.decodeUnknownExit(RequestFrame)(frame);
         Exit.match(decoded, {
             onFailure: error => {
                 console.warn('[foldkit:devTools] malformed request frame', error);
@@ -334,7 +334,7 @@ export const dispatchRequest = (store, dispatch, maybeDispatchSchema, maybeJsonS
     RequestDispatchMessage: ({ message }) => Option.match(maybeDispatchSchema, {
         onNone: () => Effect.succeed(missingMessageSchemaResponse),
         onSome: dispatchSchema => Effect.gen(function* () {
-            const decodedMessage = yield* S.decodeUnknownEffect(dispatchSchema)(message);
+            const decodedMessage = yield* Schema.decodeUnknownEffect(dispatchSchema)(message);
             const stateBefore = yield* SubscriptionRef.get(store.stateRef);
             const acceptedAtIndex = nextEntryIndex(stateBefore);
             yield* dispatch(decodedMessage);
@@ -352,7 +352,7 @@ export const dispatchRequest = (store, dispatch, maybeDispatchSchema, maybeJsonS
         return Option.match(maybeDispatchSchema, {
             onNone: () => Effect.succeed(missingMessageSchemaResponse),
             onSome: dispatchSchema => Effect.gen(function* () {
-                const decodeMessage = S.decodeUnknownEffect(dispatchSchema);
+                const decodeMessage = Schema.decodeUnknownEffect(dispatchSchema);
                 const decodedMessages = yield* Effect.forEach(messages, (message, position) => Effect.mapError(decodeMessage(message), error => new Error(`Invalid Message at zero-based batch position ${position}: ${formatInvalidMessageReason(error, message)}\n\nNo Messages from the batch were dispatched.`)));
                 const stateBefore = yield* SubscriptionRef.get(store.stateRef);
                 const firstAcceptedIndex = nextEntryIndex(stateBefore);

package/dist/dom/dom.d.ts

@@ -60,6 +60,8 @@ export declare const focus: (selector: string, options?: Readonly<{
  * Fails with `ElementNotFound` if the selector does not match an `HTMLDialogElement`.
  *
  * Pass `focusSelector` to focus an element inside the dialog when it opens.
+ * When it does not match a focusable element, or when none is provided, focus
+ * falls back to the first focusable descendant and then to the dialog itself.
  *
  * Records the element that had focus when the dialog opened so `closeDialog`
  * can return focus there, the way `showModal()` would natively.

package/dist/dom/dom.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dom.d.ts","sourceRoot":"","sources":["../../src/dom/dom.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAMP,MAAM,QAAQ,CAAA;AAGf,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AA4C5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,eAAO,MAAM,KAAK,aACN,MAAM,YACN,QAAQ,CAAC;IAAE,aAAa,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC,KACvE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAQlC,CAAA;AAEJ;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,UAAU,aACX,MAAM,YACN,QAAQ,CAAC;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAyElC,CAAA;AAuBJ;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,WAAW,aACZ,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAQrC,CAAA;AAqBJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,sBAAsB,OAAQ,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAOrE,CAAA;AAEJ;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,aACb,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAKlC,CAAA;AAEJ;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,cAAc,aACf,MAAM,YACN,QAAQ,CAAC;IAAE,KAAK,CAAC,EAAE,qBAAqB,CAAA;CAAE,CAAC,KACpD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAKlC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,wBAAwB,aACzB,MAAM,YACN,QAAQ,CAAC;IAAE,KAAK,CAAC,EAAE,qBAAqB,CAAA;CAAE,CAAC,KACpD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAKlC,CAAA;AAcJ;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,0BAA0B,aAC3B,MAAM,YACN,QAAQ,CAAC;IACjB,KAAK,CAAC,EAAE,qBAAqB,CAAA;IAC7B,IAAI,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAA;CAC1B,CAAC,KACD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAuBlC,CAAA;AAEJ,yEAAyE;AACzE,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,UAAU,CAAA;AAEhD;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,aACb,MAAM,aACL,cAAc,KACxB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAiClC,CAAA"}
+{"version":3,"file":"dom.d.ts","sourceRoot":"","sources":["../../src/dom/dom.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAA0C,MAAM,QAAQ,CAAA;AAG9E,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AA4E5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,eAAO,MAAM,KAAK,aACN,MAAM,YACN,QAAQ,CAAC;IAAE,aAAa,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC,KACvE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAQlC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,UAAU,aACX,MAAM,YACN,QAAQ,CAAC;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAqElC,CAAA;AA4CJ;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,WAAW,aACZ,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAQrC,CAAA;AAqBJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,sBAAsB,OAAQ,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAOrE,CAAA;AAEJ;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,aACb,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAKlC,CAAA;AAEJ;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,cAAc,aACf,MAAM,YACN,QAAQ,CAAC;IAAE,KAAK,CAAC,EAAE,qBAAqB,CAAA;CAAE,CAAC,KACpD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAKlC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,wBAAwB,aACzB,MAAM,YACN,QAAQ,CAAC;IAAE,KAAK,CAAC,EAAE,qBAAqB,CAAA;CAAE,CAAC,KACpD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAKlC,CAAA;AAcJ;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,0BAA0B,aAC3B,MAAM,YACN,QAAQ,CAAC;IACjB,KAAK,CAAC,EAAE,qBAAqB,CAAA;IAC7B,IAAI,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAA;CAC1B,CAAC,KACD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAuBlC,CAAA;AAEJ,yEAAyE;AACzE,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,UAAU,CAAA;AAEhD;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,aACb,MAAM,aACL,cAAc,KACxB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CA+BlC,CAAA"}

package/dist/dom/dom.js

@@ -1,4 +1,4 @@
-import { Array, Effect, Equal, Function, Match as M, Number, Option, } from 'effect';
+import { Array, Effect, Equal, Function, Match, Number, Option } from 'effect';
 import { afterCommit, afterPaint } from '../render/render.js';
 import { ElementNotFound } from './error.js';
 import { unlockScroll } from './scrollLock.js';
@@ -14,6 +14,25 @@ const FOCUSABLE_SELECTOR = Array.join([
     'textarea:not([disabled]):not([tabindex="-1"])',
     '[tabindex]:not([tabindex="-1"])',
 ], ', ');
+const isFocusableElement = (element) => {
+    if (!(element instanceof HTMLElement)) {
+        return false;
+    }
+    if (element.matches(':disabled')) {
+        return false;
+    }
+    if (element instanceof HTMLInputElement && element.type === 'hidden') {
+        return false;
+    }
+    if (element.tabIndex < 0 && !element.hasAttribute('tabindex')) {
+        return false;
+    }
+    if (element.closest('[hidden], [inert]') !== null) {
+        return false;
+    }
+    return element.checkVisibility({ visibilityProperty: true });
+};
+const focusableElementsWithin = (root) => Array.filter(Array.fromIterable(root.querySelectorAll(FOCUSABLE_SELECTOR)), isFocusableElement);
 const queryHTMLElement = (selector) => Effect.suspend(() => {
     const element = document.querySelector(selector);
     return element instanceof HTMLElement
@@ -84,6 +103,8 @@ export const focus = (selector, options) => Effect.gen(function* () {
  * Fails with `ElementNotFound` if the selector does not match an `HTMLDialogElement`.
  *
  * Pass `focusSelector` to focus an element inside the dialog when it opens.
+ * When it does not match a focusable element, or when none is provided, focus
+ * falls back to the first focusable descendant and then to the dialog itself.
  *
  * Records the element that had focus when the dialog opened so `closeDialog`
  * can return focus there, the way `showModal()` would natively.
@@ -120,30 +141,39 @@ export const showDialog = (selector, options) => Effect.gen(function* () {
         if (!isTopmost) {
             return;
         }
-        M.value(event.key).pipe(M.when('Escape', () => {
+        Match.value(event.key).pipe(Match.when('Escape', () => {
             if (event.defaultPrevented) {
                 return;
             }
             event.preventDefault();
             element.dispatchEvent(new Event('cancel', { cancelable: true }));
-        }), M.when('Tab', () => {
+        }), Match.when('Tab', () => {
             trapFocusWithinDialog(event, element);
-        }), M.orElse(Function.constVoid));
+        }), Match.orElse(Function.constVoid));
     };
     document.addEventListener('keydown', handleKeydown);
     dialogHygieneById.set(id, {
         removeKeydownListener: () => document.removeEventListener('keydown', handleKeydown),
         returnFocus,
     });
-    if (options?.focusSelector) {
-        const focusTarget = element.querySelector(options.focusSelector);
-        if (focusTarget instanceof HTMLElement) {
-            focusTarget.focus();
+    const focusTarget = findDialogFocusTarget(element, options?.focusSelector);
+    focusTarget.focus();
+});
+const findDialogFocusTarget = (dialog, focusSelector) => {
+    if (focusSelector !== undefined) {
+        const requestedFocusTarget = dialog.querySelector(focusSelector);
+        if (requestedFocusTarget !== null &&
+            isFocusableElement(requestedFocusTarget)) {
+            return requestedFocusTarget;
         }
     }
-});
+    return Option.match(Array.head(focusableElementsWithin(dialog)), {
+        onSome: Function.identity,
+        onNone: () => dialog,
+    });
+};
 const trapFocusWithinDialog = (event, dialog) => {
-    const focusable = Array.fromIterable(dialog.querySelectorAll(FOCUSABLE_SELECTOR));
+    const focusable = focusableElementsWithin(dialog);
     if (Array.isReadonlyArrayNonEmpty(focusable)) {
         const first = Array.headNonEmpty(focusable);
         const last = Array.lastNonEmpty(focusable);
@@ -156,6 +186,10 @@ const trapFocusWithinDialog = (event, dialog) => {
             first.focus();
         }
     }
+    else {
+        event.preventDefault();
+        dialog.focus();
+    }
 };
 /**
  * Closes a dialog element using `.close()`.
@@ -335,7 +369,7 @@ const findScrollParent = (element) => {
  */
 export const scrollIntoViewIfNotVisible = (selector, options) => Effect.gen(function* () {
     const when = options?.when ?? 'Paint';
-    yield* M.value(when).pipe(M.when('Paint', () => afterPaint), M.when('Commit', () => afterCommit), M.exhaustive);
+    yield* Match.value(when).pipe(Match.when('Paint', () => afterPaint), Match.when('Commit', () => afterCommit), Match.exhaustive);
     const element = yield* queryHTMLElement(selector);
     Option.match(findScrollParent(element), {
         onNone: () => element.scrollIntoView({ block: options?.block ?? 'center' }),
@@ -362,12 +396,12 @@ export const scrollIntoViewIfNotVisible = (selector, options) => Effect.gen(func
 export const advanceFocus = (selector, direction) => Effect.gen(function* () {
     yield* afterCommit;
     const reference = yield* queryHTMLElement(selector);
-    const focusableElements = Array.fromIterable(document.querySelectorAll(FOCUSABLE_SELECTOR));
+    const focusableElements = focusableElementsWithin(document);
     const referenceElementIndex = Array.findFirstIndex(focusableElements, Equal.equals(reference));
     if (Option.isNone(referenceElementIndex)) {
         return yield* Effect.fail(new ElementNotFound({ selector }));
     }
-    const offsetReferenceElementIndex = M.value(direction).pipe(M.when('Next', () => Number.increment), M.when('Previous', () => Number.decrement), M.exhaustive)(referenceElementIndex.value);
+    const offsetReferenceElementIndex = Match.value(direction).pipe(Match.when('Next', () => Number.increment), Match.when('Previous', () => Number.decrement), Match.exhaustive)(referenceElementIndex.value);
     const nextElement = Array.get(focusableElements, offsetReferenceElementIndex);
     if (Option.isSome(nextElement)) {
         nextElement.value.focus();

package/dist/experimental/machine/machine.d.ts

@@ -11,7 +11,6 @@ export type TagOf<Union extends Tagged> = Union['_tag'];
 export type Variant<Union extends Tagged, Tag extends TagOf<Union>> = Extract<Union, Readonly<{
     _tag: Tag;
 }>>;
-declare const EdgeGuardValueTypeId: unique symbol;
 /**
  * The single argument an Edge's `build` and `commands` callbacks receive:
  * the source state, the triggering Message, and the guard value produced by
@@ -41,7 +40,7 @@ export type Edge<State extends Tagged, Message extends Tagged, SourceState exten
     target: TagOf<State>;
     build: (input: EdgeInput<SourceState, TriggerMessage, unknown>) => State;
     maybeCommands: Option.Option<(input: EdgeInput<SourceState, TriggerMessage, unknown>) => ReadonlyArray<Command<Message, never, R>>>;
-    readonly [EdgeGuardValueTypeId]?: GuardValue;
+    readonly '~foldkit/EdgeGuardValue'?: GuardValue;
 }>;
 /** A guarded Edge that fires only when its guard passes. Construct with {@link when}. */
 export type When<State extends Tagged, Message extends Tagged, SourceState extends State, TriggerMessage extends Message, GuardValue = unknown, R = never> = Readonly<{
@@ -150,9 +149,14 @@ export type EdgeSummary<State extends Tagged, Message extends Tagged> = Readonly
     target: TagOf<State>;
     guard: EdgeGuard;
 }>;
-/** Why a transition can never fire. */
+/**
+ * Why an Edge cannot fire in a walk of the declared Edge set:
+ * `UnreachableSource` means no path from the walk roots reaches the Edge's
+ * source state, and `ShadowedByOtherwise` means an earlier `otherwise` in the
+ * Edge's guard list always fires first.
+ */
 export type DeadTransitionReason = 'UnreachableSource' | 'ShadowedByOtherwise';
-/** An Edge that can never fire, with the reason. */
+/** An Edge that cannot fire in a walk of the declared Edge set, with the reason. */
 export type DeadTransition<State extends Tagged, Message extends Tagged> = Readonly<{
     edge: EdgeSummary<State, Message>;
     reason: DeadTransitionReason;
@@ -173,9 +177,28 @@ export type Machine<State extends Tagged, Message extends Tagged, R = never> = R
      * inspect Edge metadata. */
     transition: (state: State, message: Message) => Update.Return<State, Message, R>;
     step: (state: State, message: Message) => TransitionResult<State, Message, R>;
+    /** The state tags a walk of the declared Edge set visits starting from `tag`. */
     reachableFrom: (tag: TagOf<State>) => ReadonlySet<TagOf<State>>;
-    unreachableStates: () => ReadonlyArray<TagOf<State>>;
-    deadTransitions: () => ReadonlyArray<DeadTransition<State, Message>>;
+    /**
+     * The state tags a walk of the declared Edge set never visits, starting
+     * from the initial state's tag plus `extraRoots`. The walk sees only the
+     * declared Edges, so state changes made outside `transition` and `step`
+     * are invisible to it, and it always starts at `initial`. Entry points
+     * other than `initial`, such as restored persistence, deep links, or SSR
+     * hydration, must be passed as `extraRoots`, or the states they enter are
+     * reported unreachable even though the running program visits them.
+     */
+    unreachableStates: (extraRoots?: ReadonlyArray<TagOf<State>>) => ReadonlyArray<TagOf<State>>;
+    /**
+     * The Edges that cannot fire in a walk of the declared Edge set starting
+     * from the initial state's tag plus `extraRoots`, each with its
+     * {@link DeadTransitionReason}. The same assumptions as
+     * `unreachableStates` apply: the walk cannot see state changes made
+     * outside `transition` and `step`, and entry points other than `initial`
+     * must be passed as `extraRoots`, or their outgoing Edges are reported as
+     * `UnreachableSource` even though the running program fires them.
+     */
+    deadTransitions: (extraRoots?: ReadonlyArray<TagOf<State>>) => ReadonlyArray<DeadTransition<State, Message>>;
     toMermaid: () => string;
 }>;
 /**

package/dist/experimental/machine/machine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"machine.d.ts","sourceRoot":"","sources":["../../../src/experimental/machine/machine.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EAGN,MAAM,EAEP,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,8FAA8F;AAC9F,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAE/C,sDAAsD;AACtD,MAAM,MAAM,KAAK,CAAC,KAAK,SAAS,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAA;AAEvD,mEAAmE;AACnE,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAC3E,KAAK,EACL,QAAQ,CAAC;IAAE,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC,CACxB,CAAA;AAID,OAAO,CAAC,MAAM,oBAAoB,EAAE,OAAO,MAAM,CAAA;AAEjD;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CACnB,WAAW,SAAS,MAAM,EAC1B,cAAc,SAAS,MAAM,EAC7B,UAAU,GAAG,IAAI,IACf,QAAQ,CAAC;IACX,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,EAAE,cAAc,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;CACvB,CAAC,CAAA;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,IAAI,EACjB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,CAAC,KAAK,KAAK,CAAA;IACxE,aAAa,EAAE,MAAM,CAAC,MAAM,CAC1B,CACE,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,CAAC,KACnD,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAC/C,CAAA;IACD,QAAQ,CAAC,CAAC,oBAAoB,CAAC,CAAC,EAAE,UAAU,CAAA;CAC7C,CAAC,CAAA;AAEF,yFAAyF;AACzF,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,OAAO,EACpB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC9E,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;CACvE,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;CACjE,CAAC,CAAA;AAEF,4FAA4F;AAC5F,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,IAEP,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,GAC7D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC,CAAA;AAE7D,KAAK,WAAW,CAAC,UAAU,IACzB,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAE/D,KAAK,YAAY,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,GAC5D,IAAI,GACJ,WAAW,CAAC,WAAW,CAAC,CAAA;AAE5B;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;KACV,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;QACrC,EAAE,EAAE,QAAQ,CAAC;aACV,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAC3B,IAAI,CACF,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,IAAI,EACJ,CAAC,CACF,GACD,aAAa,CACX,WAAW,CACT,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,CAAC,CACF,CACF;SACN,CAAC,CAAA;KACH,CAAC;CACH,CAAC,CAAA;AAqCF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,EAAE,GACb,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,UAED,SAAS,SACV,CACL,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,KACnD,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,aAC5B,CACT,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,KACnD,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KACtD,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CACzB,CAAA;AAEnC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,OAAO,EACpD,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,SAEF,CACL,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAC3B,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,KAC7B,WAAW,UACR,SAAS,SACV,CACL,KAAK,EAAE,OAAO,CACZ,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAClE,KACE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,aAC5B,CACT,KAAK,EAAE,OAAO,CACZ,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAClE,KACE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KACtD,IAAI,CACL,KAAK,EACL,OAAO,EACP,WAAW,EACX,cAAc,EACd,YAAY,CAAC,WAAW,CAAC,EACzB,CAAC,CAaD,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GACpB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,QAEH,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,KAC/D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAGzD,CAAA;AAIF,qFAAqF;AACrF,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;CACpD,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC3E,IAAI,EAAE,SAAS,CAAA;IACf,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACtB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;CACb,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AAI7D,qFAAqF;AACrF,MAAM,MAAM,SAAS,GACjB,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,GAC/B,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,GAC5C,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAErD,yFAAyF;AACzF,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,EAAE,SAAS,CAAA;CACjB,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,GAAG,qBAAqB,CAAA;AAE9E,oDAAoD;AACpD,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACjC,MAAM,EAAE,oBAAoB,CAAA;CAC7B,CAAC,CAAA;AAIF;;;GAGG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACjD;;;;;gCAK4B;IAC5B,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IACrC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,KAAK,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IAC7E,aAAa,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,iBAAiB,EAAE,MAAM,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACpD,eAAe,EAAE,MAAM,aAAa,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACpE,SAAS,EAAE,MAAM,MAAM,CAAA;CACxB,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,KAAK,EAAE,MAAM,CAAC,GAAG,GACf,QAAQ,CAAC;QAAE,IAAI,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;KAAE,CAAC,CAAA;IAC/D,OAAO,EAAE,MAAM,CAAC,GAAG,GAAG,QAAQ,CAAC;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAClD,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAC3B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;CAC3C,CAAC,CAAA;AAkEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,eAAO,MAAM,MAAM,GAChB,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,WAClC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAExC,CAAC,GAAG,KAAK,cACI,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAC/C,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAmT3B,CAAA"}
+{"version":3,"file":"machine.d.ts","sourceRoot":"","sources":["../../../src/experimental/machine/machine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAqB,MAAM,EAAQ,MAAM,QAAQ,CAAA;AAE9E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,8FAA8F;AAC9F,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAE/C,sDAAsD;AACtD,MAAM,MAAM,KAAK,CAAC,KAAK,SAAS,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAA;AAEvD,mEAAmE;AACnE,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAC3E,KAAK,EACL,QAAQ,CAAC;IAAE,IAAI,EAAE,GAAG,CAAA;CAAE,CAAC,CACxB,CAAA;AAID;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CACnB,WAAW,SAAS,MAAM,EAC1B,cAAc,SAAS,MAAM,EAC7B,UAAU,GAAG,IAAI,IACf,QAAQ,CAAC;IACX,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,EAAE,cAAc,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;CACvB,CAAC,CAAA;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,IAAI,EACjB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,CAAC,KAAK,KAAK,CAAA;IACxE,aAAa,EAAE,MAAM,CAAC,MAAM,CAC1B,CACE,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,CAAC,KACnD,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAC/C,CAAA;IACD,QAAQ,CAAC,yBAAyB,CAAC,EAAE,UAAU,CAAA;CAChD,CAAC,CAAA;AAEF,yFAAyF;AACzF,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,UAAU,GAAG,OAAO,EACpB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC9E,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;CACvE,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;CACjE,CAAC,CAAA;AAEF,4FAA4F;AAC5F,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,IAEP,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,GAC7D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC,CAAA;AAE7D,KAAK,WAAW,CAAC,UAAU,IACzB,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAE/D,KAAK,YAAY,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,GAC5D,IAAI,GACJ,WAAW,CAAC,WAAW,CAAC,CAAA;AAE5B;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;KACV,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;QACrC,EAAE,EAAE,QAAQ,CAAC;aACV,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAC3B,IAAI,CACF,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,IAAI,EACJ,CAAC,CACF,GACD,aAAa,CACX,WAAW,CACT,KAAK,EACL,OAAO,EACP,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EACzB,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,EAC5B,CAAC,CACF,CACF;SACN,CAAC,CAAA;KACH,CAAC;CACH,CAAC,CAAA;AAqCF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,EAAE,GACb,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,UAED,SAAS,SACV,CACL,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,KACnD,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,aAC5B,CACT,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,KACnD,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KACtD,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CACzB,CAAA;AAEnC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,OAAO,EACpD,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,EACpC,CAAC,GAAG,KAAK,SAEF,CACL,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAC3B,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,KAC7B,WAAW,UACR,SAAS,SACV,CACL,KAAK,EAAE,OAAO,CACZ,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAClE,KACE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,aAC5B,CACT,KAAK,EAAE,OAAO,CACZ,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAClE,KACE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KACtD,IAAI,CACL,KAAK,EACL,OAAO,EACP,WAAW,EACX,cAAc,EACd,YAAY,CAAC,WAAW,CAAC,EACzB,CAAC,CAaD,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GACpB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,KAAK,EACzB,cAAc,SAAS,OAAO,EAC9B,CAAC,GAAG,KAAK,QAEH,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,KAC/D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAGzD,CAAA;AAIF,qFAAqF;AACrF,MAAM,MAAM,YAAY,CACtB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;CACpD,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC3E,IAAI,EAAE,SAAS,CAAA;IACf,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACtB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAA;CACb,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AAI7D,qFAAqF;AACrF,MAAM,MAAM,SAAS,GACjB,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,GAC/B,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,GAC5C,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAErD,yFAAyF;AACzF,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAClB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1B,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,EAAE,SAAS,CAAA;CACjB,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,GAAG,qBAAqB,CAAA;AAE9E,oFAAoF;AACpF,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACjC,MAAM,EAAE,oBAAoB,CAAA;CAC7B,CAAC,CAAA;AAIF;;;GAGG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACjD;;;;;gCAK4B;IAC5B,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IACrC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,KAAK,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IAC7E,iFAAiF;IACjF,aAAa,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D;;;;;;;;OAQG;IACH,iBAAiB,EAAE,CACjB,UAAU,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KACrC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAChC;;;;;;;;OAQG;IACH,eAAe,EAAE,CACf,UAAU,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KACrC,aAAa,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAClD,SAAS,EAAE,MAAM,MAAM,CAAA;CACxB,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,IACpB,QAAQ,CAAC;IACX,KAAK,EAAE,MAAM,CAAC,GAAG,GACf,QAAQ,CAAC;QAAE,IAAI,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;KAAE,CAAC,CAAA;IAC/D,OAAO,EAAE,MAAM,CAAC,GAAG,GAAG,QAAQ,CAAC;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAClD,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAC3B,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,OAAO,EAAE,KAAK,CAAA;IACd,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;CAC3C,CAAC,CAAA;AAkEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,eAAO,MAAM,MAAM,GAChB,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,WAClC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAExC,CAAC,GAAG,KAAK,cACI,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAC/C,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CA0T3B,CAAA"}

package/dist/experimental/machine/machine.js

@@ -1,4 +1,4 @@
-import { Array, Match as M, Option, Predicate, Record, pipe, } from 'effect';
+import { Array, Match, Option, Predicate, Record, pipe } from 'effect';
 const makeEdge = (target, build, commands) => {
     const narrowGuardValue = (input) => {
         /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
@@ -212,17 +212,18 @@ export const define = (schemas) => (definition) => {
         }
     };
     const targetsFrom = (tag) => pipe(edges, Array.filter(edgeSummary => edgeSummary.from === tag), Array.map(edgeSummary => edgeSummary.target));
-    const reachableFrom = (tag) => {
+    const reachableFromRoots = (roots) => {
         const visit = (frontier, visited) => Array.matchLeft(frontier, {
             onEmpty: () => visited,
             onNonEmpty: (head, tail) => visited.has(head)
                 ? visit(tail, visited)
                 : visit([...tail, ...targetsFrom(head)], new Set([...visited, head])),
         });
-        return visit([tag], new Set());
+        return visit(roots, new Set());
     };
-    const unreachableStates = () => {
-        const reachable = reachableFrom(initialTag);
+    const reachableFrom = (tag) => reachableFromRoots([tag]);
+    const unreachableStates = (extraRoots = []) => {
+        const reachable = reachableFromRoots([initialTag, ...extraRoots]);
         return Array.filter(stateTags, stateTag => !reachable.has(stateTag));
     };
     const makeDeadTransition = (edge, reason) => ({ edge, reason });
@@ -239,13 +240,13 @@ export const define = (schemas) => (definition) => {
             })), Array.map(edgeSummary => makeDeadTransition(edgeSummary, 'ShadowedByOtherwise'))),
         });
     }));
-    const deadTransitions = () => {
-        const reachable = reachableFrom(initialTag);
+    const deadTransitions = (extraRoots = []) => {
+        const reachable = reachableFromRoots([initialTag, ...extraRoots]);
         const unreachableSourceEdges = pipe(edges, Array.filter(edgeSummary => !reachable.has(edgeSummary.from)), Array.map(edgeSummary => makeDeadTransition(edgeSummary, 'UnreachableSource')));
         return [...unreachableSourceEdges, ...shadowedEdges()];
     };
     const toMermaid = () => {
-        const guardLabel = (guard) => M.value(guard).pipe(M.tagsExhaustive({
+        const guardLabel = (guard) => Match.value(guard).pipe(Match.tagsExhaustive({
             Unguarded: () => '',
             When: ({ position }) => ` [when ${position + 1}]`,
             Otherwise: () => ' [otherwise]',

package/dist/experimental/server/entry.js

@@ -1,4 +1,4 @@
-import { Match as M } from 'effect';
+import { Match } from 'effect';
 import { injectIntoTemplate, } from './template.js';
 /** Constructs a rendered server entry result with optional HTTP status and
  * headers.
@@ -26,7 +26,7 @@ export const Responded = (response) => ({
  *
  * @experimental Ships from `foldkit/experimental/server`; expect breaking changes while the API settles.
  */
-export const toResponse = (template, result, options) => M.value(result).pipe(M.tagsExhaustive({
+export const toResponse = (template, result, options) => Match.value(result).pipe(Match.tagsExhaustive({
     Responded: ({ response }) => response,
     Rendered: rendered => {
         const headers = new Headers(rendered.headers);