@typeonce/effect-machine-devtools 0.23.0

package/dist/DevToolsProtocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DevToolsProtocol.d.ts","sourceRoot":"","sources":["../src/DevToolsProtocol.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAG,CAAU,CAAA;AAEzC;;;GAGG;AACH,eAAO,MAAM,QAAQ;;;;EAInB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;EAMrB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAO9D;;;;;GAKG;AACH,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKhB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAA;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKlB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;EAMjB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD;;;;;GAKG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAAyC,CAAA;AAEnE;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI3B,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,gBAAgB,CAAC,CAAA"}

package/dist/DevToolsProtocol.js

@@ -0,0 +1,96 @@
+/**
+ * Versioned messages exchanged by Effect Machine devtools processes.
+ *
+ * @since 0.23.0
+ */
+import * as Schema from "effect/Schema";
+import * as MachineDocument from "./MachineDocument.js";
+/**
+ * Current devtools protocol version.
+ *
+ * @category models
+ * @since 0.23.0
+ */
+export const protocolVersion = 1;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Location = Schema.Struct({
+    file: Schema.String,
+    line: Schema.NullOr(Schema.Natural),
+    column: Schema.NullOr(Schema.Natural)
+});
+/**
+ * A recoverable or terminal problem associated with one machine candidate.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Diagnostic = Schema.Struct({
+    severity: Schema.Literals(["warning", "error"]),
+    code: Schema.String,
+    message: Schema.String,
+    location: Schema.NullOr(Location),
+    statePath: Schema.NullOr(Schema.String)
+});
+const ResultFields = {
+    protocolVersion: Schema.Literal(protocolVersion),
+    key: Schema.String
+};
+/**
+ * A complete machine inspection result.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Ready = Schema.Struct({
+    ...ResultFields,
+    _tag: Schema.tag("Ready"),
+    document: MachineDocument.MachineDocument,
+    diagnostics: Schema.Array(Diagnostic)
+});
+/**
+ * A usable document accompanied by diagnostics from an incomplete reload.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Partial = Schema.Struct({
+    ...ResultFields,
+    _tag: Schema.tag("Partial"),
+    document: MachineDocument.MachineDocument,
+    diagnostics: Schema.Array(Diagnostic)
+});
+/**
+ * A machine candidate that could not produce a document.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Failed = Schema.Struct({
+    ...ResultFields,
+    _tag: Schema.tag("Failed"),
+    source: MachineDocument.Source,
+    machineId: Schema.NullOr(Schema.String),
+    diagnostics: Schema.Array(Diagnostic)
+});
+/**
+ * Schema for every result returned by discovery and evaluation.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const MachineResult = Schema.Union([Ready, Partial, Failed]);
+/**
+ * A complete live-registry update sent to browser clients.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const RegistrySnapshot = Schema.Struct({
+    protocolVersion: Schema.Literal(protocolVersion),
+    revision: Schema.Natural,
+    results: Schema.Array(MachineResult)
+});
+//# sourceMappingURL=DevToolsProtocol.js.map

package/dist/DevToolsProtocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DevToolsProtocol.js","sourceRoot":"","sources":["../src/DevToolsProtocol.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAA;AAEvD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAU,CAAA;AAEzC;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;CACtC,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;CACxC,CAAC,CAAA;AAQF,MAAM,YAAY,GAAG;IACnB,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;IAChD,GAAG,EAAE,MAAM,CAAC,MAAM;CACnB,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,GAAG,YAAY;IACf,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;IACzB,QAAQ,EAAE,eAAe,CAAC,eAAe;IACzC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;CACtC,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,GAAG,YAAY;IACf,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;IAC3B,QAAQ,EAAE,eAAe,CAAC,eAAe;IACzC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;CACtC,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,GAAG,YAAY;IACf,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC1B,MAAM,EAAE,eAAe,CAAC,MAAM;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;CACtC,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;AAQnE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;IAChD,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;CACrC,CAAC,CAAA"}

package/dist/MachineDocument.d.ts

@@ -0,0 +1,396 @@
+/**
+ * Serializable inspection documents for Effect Machine devtools.
+ *
+ * @since 0.23.0
+ */
+import type { Machine } from "@typeonce/effect-machine";
+import * as Schema from "effect/Schema";
+/**
+ * Current machine document schema version.
+ *
+ * @category models
+ * @since 0.23.0
+ */
+export declare const schemaVersion: 1;
+/**
+ * Source module and export that produced a machine.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Source: Schema.Struct<{
+    readonly file: Schema.String;
+    readonly exportName: Schema.NullOr<Schema.String>;
+}>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Source = Schema.Schema.Type<typeof Source>;
+/**
+ * Static target selection retained from a transition definition.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Selection: Schema.Struct<{
+    readonly path: Schema.NullOr<Schema.String>;
+    readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+    readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+}>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Selection = Schema.Schema.Type<typeof Selection>;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Initial: Schema.Struct<{
+    readonly target: Schema.String;
+    readonly selection: Schema.Struct<{
+        readonly path: Schema.NullOr<Schema.String>;
+        readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+        readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+    }>;
+}>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Initial = Schema.Schema.Type<typeof Initial>;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const State: Schema.Struct<{
+    readonly path: Schema.String;
+    readonly key: Schema.String;
+    readonly order: Schema.Natural;
+    readonly title: Schema.NullOr<Schema.String>;
+    readonly description: Schema.NullOr<Schema.String>;
+    readonly documentation: Schema.NullOr<Schema.String>;
+    readonly type: Schema.Literals<readonly ["atomic", "compound", "parallel", "final", "history", "choice"]>;
+    readonly history: Schema.NullOr<Schema.Literals<readonly ["shallow", "deep"]>>;
+    readonly parent: Schema.NullOr<Schema.String>;
+    readonly children: Schema.$Array<Schema.String>;
+    readonly initial: Schema.NullOr<Schema.String>;
+    readonly transitionIds: Schema.$Array<Schema.String>;
+    readonly activityIds: Schema.$Array<Schema.String>;
+}>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type State = Schema.Schema.Type<typeof State>;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Trigger: Schema.Union<readonly [Schema.Struct<{
+    readonly type: Schema.tag<"event">;
+    readonly event: Schema.String;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"always">;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"done">;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"choice">;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"invoke">;
+    readonly id: Schema.String;
+    readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
+}>]>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Trigger = Schema.Schema.Type<typeof Trigger>;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Branch: Schema.Union<readonly [Schema.Struct<{
+    readonly type: Schema.tag<"direct">;
+    readonly id: Schema.String;
+    readonly target: Schema.NullOr<Schema.String>;
+    readonly selection: Schema.Struct<{
+        readonly path: Schema.NullOr<Schema.String>;
+        readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+        readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+    }>;
+    readonly updates: Schema.$Array<Schema.String>;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"branch">;
+    readonly key: Schema.String;
+    readonly title: Schema.String;
+    readonly id: Schema.String;
+    readonly target: Schema.NullOr<Schema.String>;
+    readonly selection: Schema.Struct<{
+        readonly path: Schema.NullOr<Schema.String>;
+        readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+        readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+    }>;
+    readonly updates: Schema.$Array<Schema.String>;
+}>]>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Branch = Schema.Schema.Type<typeof Branch>;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Transition: Schema.Struct<{
+    readonly id: Schema.String;
+    readonly source: Schema.String;
+    readonly trigger: Schema.Union<readonly [Schema.Struct<{
+        readonly type: Schema.tag<"event">;
+        readonly event: Schema.String;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"always">;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"done">;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"choice">;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"invoke">;
+        readonly id: Schema.String;
+        readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
+    }>]>;
+    readonly reenter: Schema.Boolean;
+    readonly acceptance: Schema.Literals<readonly ["required", "declinable"]>;
+    readonly branches: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+        readonly type: Schema.tag<"direct">;
+        readonly id: Schema.String;
+        readonly target: Schema.NullOr<Schema.String>;
+        readonly selection: Schema.Struct<{
+            readonly path: Schema.NullOr<Schema.String>;
+            readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+            readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+        }>;
+        readonly updates: Schema.$Array<Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"branch">;
+        readonly key: Schema.String;
+        readonly title: Schema.String;
+        readonly id: Schema.String;
+        readonly target: Schema.NullOr<Schema.String>;
+        readonly selection: Schema.Struct<{
+            readonly path: Schema.NullOr<Schema.String>;
+            readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+            readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+        }>;
+        readonly updates: Schema.$Array<Schema.String>;
+    }>]>>;
+}>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Transition = Schema.Schema.Type<typeof Transition>;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Activity: Schema.Union<readonly [Schema.Struct<{
+    readonly type: Schema.tag<"process">;
+    readonly id: Schema.String;
+    readonly source: Schema.String;
+    readonly lifecycleId: Schema.String;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"effect">;
+    readonly outcomes: Schema.Struct<{
+        readonly success: Schema.Literal<"dynamic">;
+        readonly failure: Schema.Literals<readonly ["dynamic", "none"]>;
+    }>;
+    readonly id: Schema.String;
+    readonly source: Schema.String;
+    readonly lifecycleId: Schema.String;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"timer">;
+    readonly duration: Schema.String;
+    readonly id: Schema.String;
+    readonly source: Schema.String;
+    readonly lifecycleId: Schema.String;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"stream">;
+    readonly id: Schema.String;
+    readonly source: Schema.String;
+    readonly lifecycleId: Schema.String;
+}>, Schema.Struct<{
+    readonly type: Schema.tag<"machine">;
+    readonly child: Schema.Struct<{
+        readonly id: Schema.String;
+        readonly machineId: Schema.NullOr<Schema.String>;
+    }>;
+    readonly id: Schema.String;
+    readonly source: Schema.String;
+    readonly lifecycleId: Schema.String;
+}>]>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Activity = Schema.Schema.Type<typeof Activity>;
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const Snapshot: Schema.Struct<{
+    readonly activePaths: Schema.$Array<Schema.String>;
+    readonly candidateEvents: Schema.$Array<Schema.String>;
+}>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type Snapshot = Schema.Schema.Type<typeof Snapshot>;
+/**
+ * Complete, versioned, JSON-safe machine inspection document.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export declare const MachineDocument: Schema.Struct<{
+    readonly schemaVersion: Schema.Literal<1>;
+    readonly revision: Schema.Natural;
+    readonly source: Schema.NullOr<Schema.Struct<{
+        readonly file: Schema.String;
+        readonly exportName: Schema.NullOr<Schema.String>;
+    }>>;
+    readonly machineId: Schema.String;
+    readonly initial: Schema.Struct<{
+        readonly target: Schema.String;
+        readonly selection: Schema.Struct<{
+            readonly path: Schema.NullOr<Schema.String>;
+            readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+            readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+        }>;
+    }>;
+    readonly roots: Schema.$Array<Schema.String>;
+    readonly states: Schema.$Array<Schema.Struct<{
+        readonly path: Schema.String;
+        readonly key: Schema.String;
+        readonly order: Schema.Natural;
+        readonly title: Schema.NullOr<Schema.String>;
+        readonly description: Schema.NullOr<Schema.String>;
+        readonly documentation: Schema.NullOr<Schema.String>;
+        readonly type: Schema.Literals<readonly ["atomic", "compound", "parallel", "final", "history", "choice"]>;
+        readonly history: Schema.NullOr<Schema.Literals<readonly ["shallow", "deep"]>>;
+        readonly parent: Schema.NullOr<Schema.String>;
+        readonly children: Schema.$Array<Schema.String>;
+        readonly initial: Schema.NullOr<Schema.String>;
+        readonly transitionIds: Schema.$Array<Schema.String>;
+        readonly activityIds: Schema.$Array<Schema.String>;
+    }>>;
+    readonly transitions: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly source: Schema.String;
+        readonly trigger: Schema.Union<readonly [Schema.Struct<{
+            readonly type: Schema.tag<"event">;
+            readonly event: Schema.String;
+        }>, Schema.Struct<{
+            readonly type: Schema.tag<"always">;
+        }>, Schema.Struct<{
+            readonly type: Schema.tag<"done">;
+        }>, Schema.Struct<{
+            readonly type: Schema.tag<"choice">;
+        }>, Schema.Struct<{
+            readonly type: Schema.tag<"invoke">;
+            readonly id: Schema.String;
+            readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
+        }>]>;
+        readonly reenter: Schema.Boolean;
+        readonly acceptance: Schema.Literals<readonly ["required", "declinable"]>;
+        readonly branches: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+            readonly type: Schema.tag<"direct">;
+            readonly id: Schema.String;
+            readonly target: Schema.NullOr<Schema.String>;
+            readonly selection: Schema.Struct<{
+                readonly path: Schema.NullOr<Schema.String>;
+                readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+                readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+            }>;
+            readonly updates: Schema.$Array<Schema.String>;
+        }>, Schema.Struct<{
+            readonly type: Schema.tag<"branch">;
+            readonly key: Schema.String;
+            readonly title: Schema.String;
+            readonly id: Schema.String;
+            readonly target: Schema.NullOr<Schema.String>;
+            readonly selection: Schema.Struct<{
+                readonly path: Schema.NullOr<Schema.String>;
+                readonly kind: Schema.Literals<readonly ["state", "initial", "history", "choice", "update", "none"]>;
+                readonly scope: Schema.NullOr<Schema.Literals<readonly ["local", "branch", "full", "initial"]>>;
+            }>;
+            readonly updates: Schema.$Array<Schema.String>;
+        }>]>>;
+    }>>;
+    readonly activities: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+        readonly type: Schema.tag<"process">;
+        readonly id: Schema.String;
+        readonly source: Schema.String;
+        readonly lifecycleId: Schema.String;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"effect">;
+        readonly outcomes: Schema.Struct<{
+            readonly success: Schema.Literal<"dynamic">;
+            readonly failure: Schema.Literals<readonly ["dynamic", "none"]>;
+        }>;
+        readonly id: Schema.String;
+        readonly source: Schema.String;
+        readonly lifecycleId: Schema.String;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"timer">;
+        readonly duration: Schema.String;
+        readonly id: Schema.String;
+        readonly source: Schema.String;
+        readonly lifecycleId: Schema.String;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"stream">;
+        readonly id: Schema.String;
+        readonly source: Schema.String;
+        readonly lifecycleId: Schema.String;
+    }>, Schema.Struct<{
+        readonly type: Schema.tag<"machine">;
+        readonly child: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly machineId: Schema.NullOr<Schema.String>;
+        }>;
+        readonly id: Schema.String;
+        readonly source: Schema.String;
+        readonly lifecycleId: Schema.String;
+    }>]>>;
+    readonly snapshot: Schema.NullOr<Schema.Struct<{
+        readonly activePaths: Schema.$Array<Schema.String>;
+        readonly candidateEvents: Schema.$Array<Schema.String>;
+    }>>;
+}>;
+/**
+ * @category models
+ * @since 0.23.0
+ */
+export type MachineDocument = Schema.Schema.Type<typeof MachineDocument>;
+/**
+ * Options for capturing a machine document.
+ *
+ * @category models
+ * @since 0.23.0
+ */
+export interface MakeOptions<M extends Machine.Machine.Any> {
+    readonly revision?: number | undefined;
+    readonly source?: Source | undefined;
+    readonly snapshot?: Machine.Machine.Snapshot<Machine.Machine.States<M>> | undefined;
+}
+/**
+ * Captures every serializable definition exposed by Effect Machine inspection.
+ * It never evaluates transition resolvers or activity sources.
+ *
+ * @category constructors
+ * @since 0.23.0
+ */
+export declare const make: <M extends Machine.Machine.Any>(machine: M, options?: MakeOptions<M>) => MachineDocument;
+//# sourceMappingURL=MachineDocument.d.ts.map

package/dist/MachineDocument.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MachineDocument.d.ts","sourceRoot":"","sources":["../src/MachineDocument.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAG,CAAU,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;;EAGjB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD;;;;;GAKG;AACH,eAAO,MAAM,SAAS;;;;EAIpB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D;;;GAGG;AACH,eAAO,MAAM,OAAO;;;;;;;EAGlB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD;;;GAGG;AACH,eAAO,MAAM,KAAK;;;;;;;;;;;;;;EAchB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAA;AAEpD;;;GAGG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;IAUlB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AASxD;;;GAGG;AACH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;IAQjB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD;;;GAGG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOrB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAQ9D;;;GAGG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAwBnB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D;;;GAGG;AACH,eAAO,MAAM,QAAQ;;;EAGnB,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW1B,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAA;AAExE;;;;;GAKG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;CACpF;AAED;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,eAC7E,CAAA"}

package/dist/MachineDocument.js

@@ -0,0 +1,172 @@
+import * as Schema from "effect/Schema";
+import * as internal from "./internal/machineDocument.js";
+/**
+ * Current machine document schema version.
+ *
+ * @category models
+ * @since 0.23.0
+ */
+export const schemaVersion = 1;
+/**
+ * Source module and export that produced a machine.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Source = Schema.Struct({
+    file: Schema.String,
+    exportName: Schema.NullOr(Schema.String)
+});
+/**
+ * Static target selection retained from a transition definition.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Selection = Schema.Struct({
+    path: Schema.NullOr(Schema.String),
+    kind: Schema.Literals(["state", "initial", "history", "choice", "update", "none"]),
+    scope: Schema.NullOr(Schema.Literals(["local", "branch", "full", "initial"]))
+});
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Initial = Schema.Struct({
+    target: Schema.String,
+    selection: Selection
+});
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const State = Schema.Struct({
+    path: Schema.String,
+    key: Schema.String,
+    order: Schema.Natural,
+    title: Schema.NullOr(Schema.String),
+    description: Schema.NullOr(Schema.String),
+    documentation: Schema.NullOr(Schema.String),
+    type: Schema.Literals(["atomic", "compound", "parallel", "final", "history", "choice"]),
+    history: Schema.NullOr(Schema.Literals(["shallow", "deep"])),
+    parent: Schema.NullOr(Schema.String),
+    children: Schema.Array(Schema.String),
+    initial: Schema.NullOr(Schema.String),
+    transitionIds: Schema.Array(Schema.String),
+    activityIds: Schema.Array(Schema.String)
+});
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Trigger = Schema.Union([
+    Schema.Struct({ type: Schema.tag("event"), event: Schema.String }),
+    Schema.Struct({ type: Schema.tag("always") }),
+    Schema.Struct({ type: Schema.tag("done") }),
+    Schema.Struct({ type: Schema.tag("choice") }),
+    Schema.Struct({
+        type: Schema.tag("invoke"),
+        id: Schema.String,
+        outcome: Schema.Literals(["element", "done", "failure", "snapshot"])
+    })
+]);
+const BranchFields = {
+    id: Schema.String,
+    target: Schema.NullOr(Schema.String),
+    selection: Selection,
+    updates: Schema.Array(Schema.String)
+};
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Branch = Schema.Union([
+    Schema.Struct({ ...BranchFields, type: Schema.tag("direct") }),
+    Schema.Struct({
+        ...BranchFields,
+        type: Schema.tag("branch"),
+        key: Schema.String,
+        title: Schema.String
+    })
+]);
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Transition = Schema.Struct({
+    id: Schema.String,
+    source: Schema.String,
+    trigger: Trigger,
+    reenter: Schema.Boolean,
+    acceptance: Schema.Literals(["required", "declinable"]),
+    branches: Schema.Array(Branch)
+});
+const ActivityFields = {
+    id: Schema.String,
+    source: Schema.String,
+    lifecycleId: Schema.String
+};
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Activity = Schema.Union([
+    Schema.Struct({ ...ActivityFields, type: Schema.tag("process") }),
+    Schema.Struct({
+        ...ActivityFields,
+        type: Schema.tag("effect"),
+        outcomes: Schema.Struct({
+            success: Schema.Literal("dynamic"),
+            failure: Schema.Literals(["dynamic", "none"])
+        })
+    }),
+    Schema.Struct({
+        ...ActivityFields,
+        type: Schema.tag("timer"),
+        duration: Schema.String
+    }),
+    Schema.Struct({ ...ActivityFields, type: Schema.tag("stream") }),
+    Schema.Struct({
+        ...ActivityFields,
+        type: Schema.tag("machine"),
+        child: Schema.Struct({
+            id: Schema.String,
+            machineId: Schema.NullOr(Schema.String)
+        })
+    })
+]);
+/**
+ * @category schemas
+ * @since 0.23.0
+ */
+export const Snapshot = Schema.Struct({
+    activePaths: Schema.Array(Schema.String),
+    candidateEvents: Schema.Array(Schema.String)
+});
+/**
+ * Complete, versioned, JSON-safe machine inspection document.
+ *
+ * @category schemas
+ * @since 0.23.0
+ */
+export const MachineDocument = Schema.Struct({
+    schemaVersion: Schema.Literal(schemaVersion),
+    revision: Schema.Natural,
+    source: Schema.NullOr(Source),
+    machineId: Schema.String,
+    initial: Initial,
+    roots: Schema.Array(Schema.String),
+    states: Schema.Array(State),
+    transitions: Schema.Array(Transition),
+    activities: Schema.Array(Activity),
+    snapshot: Schema.NullOr(Snapshot)
+});
+/**
+ * Captures every serializable definition exposed by Effect Machine inspection.
+ * It never evaluates transition resolvers or activity sources.
+ *
+ * @category constructors
+ * @since 0.23.0
+ */
+export const make = internal.make;
+//# sourceMappingURL=MachineDocument.js.map