@typeonce/effect-machine-devtools 0.23.0 → 0.25.0

package/dist/MachineDocument.js

@@ -6,7 +6,7 @@ import * as internal from "./internal/machineDocument.js";
  * @category models
  * @since 0.23.0
  */
-export const schemaVersion = 1;
+export const schemaVersion = 3;
 /**
  * Source module and export that produced a machine.
  *
@@ -36,6 +36,17 @@ export const Initial = Schema.Struct({
     target: Schema.String,
     selection: Selection
 });
+/**
+ * Canonical JSON Schema retained for machine contracts.
+ *
+ * @category schemas
+ * @since 0.24.0
+ */
+export const InputSchema = Schema.Struct({
+    dialect: Schema.Literal("draft-2020-12"),
+    schema: Schema.Json,
+    definitions: Schema.Record(Schema.String, Schema.Json)
+});
 /**
  * @category schemas
  * @since 0.23.0
@@ -52,6 +63,8 @@ export const State = Schema.Struct({
     parent: Schema.NullOr(Schema.String),
     children: Schema.Array(Schema.String),
     initial: Schema.NullOr(Schema.String),
+    valueSchema: Schema.NullOr(InputSchema),
+    outputSchema: Schema.NullOr(InputSchema),
     transitionIds: Schema.Array(Schema.String),
     activityIds: Schema.Array(Schema.String)
 });
@@ -143,6 +156,26 @@ export const Snapshot = Schema.Struct({
     activePaths: Schema.Array(Schema.String),
     candidateEvents: Schema.Array(Schema.String)
 });
+/**
+ * Public event input paired with the schema for its payload.
+ *
+ * @category schemas
+ * @since 0.24.0
+ */
+export const EventInput = Schema.Struct({
+    event: Schema.String,
+    schema: InputSchema
+});
+/**
+ * Machine and public event inputs available to devtools forms.
+ *
+ * @category schemas
+ * @since 0.24.0
+ */
+export const Inputs = Schema.Struct({
+    machine: Schema.NullOr(InputSchema),
+    events: Schema.Array(EventInput)
+});
 /**
  * Complete, versioned, JSON-safe machine inspection document.
  *
@@ -159,6 +192,7 @@ export const MachineDocument = Schema.Struct({
     states: Schema.Array(State),
     transitions: Schema.Array(Transition),
     activities: Schema.Array(Activity),
+    inputs: Inputs,
     snapshot: Schema.NullOr(Snapshot)
 });
 /**

package/dist/MachineDocument.js.map

@@ -1 +1 @@
-{"version":3,"file":"MachineDocument.js","sourceRoot":"","sources":["../src/MachineDocument.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,QAAQ,MAAM,+BAA+B,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAU,CAAA;AAEvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAClF,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CAC9E,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,SAAS,EAAE,SAAS;CACrB,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,KAAK,EAAE,MAAM,CAAC,OAAO;IACrB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAClE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IAC3C,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,EAAE,EAAE,MAAM,CAAC,MAAM;QACjB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;KACrE,CAAC;CACH,CAAC,CAAA;AAQF,MAAM,YAAY,GAAG;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,SAAS,EAAE,SAAS;IACpB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACrC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;IACjC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,YAAY;QACf,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,GAAG,EAAE,MAAM,CAAC,MAAM;QAClB,KAAK,EAAE,MAAM,CAAC,MAAM;KACrB,CAAC;CACH,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACvD,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;CAC/B,CAAC,CAAA;AAQF,MAAM,cAAc,GAAG;IACrB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM;CAC3B,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc;QACjB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;YAClC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;SAC9C,CAAC;KACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc;QACjB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;QACzB,QAAQ,EAAE,MAAM,CAAC,MAAM;KACxB,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc;QACjB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;QAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,EAAE,EAAE,MAAM,CAAC,MAAM;YACjB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;SACxC,CAAC;KACH,CAAC;CACH,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CAC7C,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IAC5C,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;IACrC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;IAClC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;CAClC,CAAC,CAAA;AAoBF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,QAAQ,CAAC,IAAI,CAAA"}
+{"version":3,"file":"MachineDocument.js","sourceRoot":"","sources":["../src/MachineDocument.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,QAAQ,MAAM,+BAA+B,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAU,CAAA;AAEvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAClF,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CAC9E,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,SAAS,EAAE,SAAS;CACrB,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC,IAAI;IACnB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC;CACvD,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,KAAK,EAAE,MAAM,CAAC,OAAO;IACrB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACvC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACxC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAClE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IAC3C,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,EAAE,EAAE,MAAM,CAAC,MAAM;QACjB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;KACrE,CAAC;CACH,CAAC,CAAA;AAQF,MAAM,YAAY,GAAG;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,SAAS,EAAE,SAAS;IACpB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACrC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;IACjC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,YAAY;QACf,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,GAAG,EAAE,MAAM,CAAC,MAAM;QAClB,KAAK,EAAE,MAAM,CAAC,MAAM;KACrB,CAAC;CACH,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACvD,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;CAC/B,CAAC,CAAA;AAQF,MAAM,cAAc,GAAG;IACrB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM;CAC3B,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc;QACjB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;YAClC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;SAC9C,CAAC;KACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc;QACjB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;QACzB,QAAQ,EAAE,MAAM,CAAC,MAAM;KACxB,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,cAAc;QACjB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;QAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,EAAE,EAAE,MAAM,CAAC,MAAM;YACjB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;SACxC,CAAC;KACH,CAAC;CACH,CAAC,CAAA;AAQF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CAC7C,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,MAAM,EAAE,WAAW;CACpB,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;CACjC,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IAC5C,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;IACrC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;IAClC,MAAM,EAAE,MAAM;IACd,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;CAClC,CAAC,CAAA;AAoBF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,QAAQ,CAAC,IAAI,CAAA"}

package/dist/MachineRegistry.d.ts

@@ -15,12 +15,12 @@ import type * as ProjectInspector from "./ProjectInspector.js";
  * @since 0.23.0
  */
 export declare const Snapshot: Schema.Struct<{
-    readonly protocolVersion: Schema.Literal<1>;
+    readonly protocolVersion: Schema.Literal<2>;
     readonly revision: Schema.Natural;
     readonly results: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
         readonly _tag: Schema.tag<"Ready">;
         readonly document: Schema.Struct<{
-            readonly schemaVersion: Schema.Literal<1>;
+            readonly schemaVersion: Schema.Literal<3>;
             readonly revision: Schema.Natural;
             readonly source: Schema.NullOr<Schema.Struct<{
                 readonly file: Schema.String;
@@ -48,6 +48,16 @@ export declare const Snapshot: Schema.Struct<{
                 readonly parent: Schema.NullOr<Schema.String>;
                 readonly children: Schema.$Array<Schema.String>;
                 readonly initial: Schema.NullOr<Schema.String>;
+                readonly valueSchema: Schema.NullOr<Schema.Struct<{
+                    readonly dialect: Schema.Literal<"draft-2020-12">;
+                    readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                    readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                }>>;
+                readonly outputSchema: Schema.NullOr<Schema.Struct<{
+                    readonly dialect: Schema.Literal<"draft-2020-12">;
+                    readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                    readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                }>>;
                 readonly transitionIds: Schema.$Array<Schema.String>;
                 readonly activityIds: Schema.$Array<Schema.String>;
             }>>;
@@ -129,6 +139,21 @@ export declare const Snapshot: Schema.Struct<{
                 readonly source: Schema.String;
                 readonly lifecycleId: Schema.String;
             }>]>>;
+            readonly inputs: Schema.Struct<{
+                readonly machine: Schema.NullOr<Schema.Struct<{
+                    readonly dialect: Schema.Literal<"draft-2020-12">;
+                    readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                    readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                }>>;
+                readonly events: Schema.$Array<Schema.Struct<{
+                    readonly event: Schema.String;
+                    readonly schema: Schema.Struct<{
+                        readonly dialect: Schema.Literal<"draft-2020-12">;
+                        readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                        readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                    }>;
+                }>>;
+            }>;
             readonly snapshot: Schema.NullOr<Schema.Struct<{
                 readonly activePaths: Schema.$Array<Schema.String>;
                 readonly candidateEvents: Schema.$Array<Schema.String>;
@@ -145,12 +170,12 @@ export declare const Snapshot: Schema.Struct<{
             }>>;
             readonly statePath: Schema.NullOr<Schema.String>;
         }>>;
-        readonly protocolVersion: Schema.Literal<1>;
+        readonly protocolVersion: Schema.Literal<2>;
         readonly key: Schema.String;
     }>, Schema.Struct<{
         readonly _tag: Schema.tag<"Partial">;
         readonly document: Schema.Struct<{
-            readonly schemaVersion: Schema.Literal<1>;
+            readonly schemaVersion: Schema.Literal<3>;
             readonly revision: Schema.Natural;
             readonly source: Schema.NullOr<Schema.Struct<{
                 readonly file: Schema.String;
@@ -178,6 +203,16 @@ export declare const Snapshot: Schema.Struct<{
                 readonly parent: Schema.NullOr<Schema.String>;
                 readonly children: Schema.$Array<Schema.String>;
                 readonly initial: Schema.NullOr<Schema.String>;
+                readonly valueSchema: Schema.NullOr<Schema.Struct<{
+                    readonly dialect: Schema.Literal<"draft-2020-12">;
+                    readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                    readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                }>>;
+                readonly outputSchema: Schema.NullOr<Schema.Struct<{
+                    readonly dialect: Schema.Literal<"draft-2020-12">;
+                    readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                    readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                }>>;
                 readonly transitionIds: Schema.$Array<Schema.String>;
                 readonly activityIds: Schema.$Array<Schema.String>;
             }>>;
@@ -259,6 +294,21 @@ export declare const Snapshot: Schema.Struct<{
                 readonly source: Schema.String;
                 readonly lifecycleId: Schema.String;
             }>]>>;
+            readonly inputs: Schema.Struct<{
+                readonly machine: Schema.NullOr<Schema.Struct<{
+                    readonly dialect: Schema.Literal<"draft-2020-12">;
+                    readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                    readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                }>>;
+                readonly events: Schema.$Array<Schema.Struct<{
+                    readonly event: Schema.String;
+                    readonly schema: Schema.Struct<{
+                        readonly dialect: Schema.Literal<"draft-2020-12">;
+                        readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+                        readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+                    }>;
+                }>>;
+            }>;
             readonly snapshot: Schema.NullOr<Schema.Struct<{
                 readonly activePaths: Schema.$Array<Schema.String>;
                 readonly candidateEvents: Schema.$Array<Schema.String>;
@@ -275,7 +325,7 @@ export declare const Snapshot: Schema.Struct<{
             }>>;
             readonly statePath: Schema.NullOr<Schema.String>;
         }>>;
-        readonly protocolVersion: Schema.Literal<1>;
+        readonly protocolVersion: Schema.Literal<2>;
         readonly key: Schema.String;
     }>, Schema.Struct<{
         readonly _tag: Schema.tag<"Failed">;
@@ -295,7 +345,7 @@ export declare const Snapshot: Schema.Struct<{
             }>>;
             readonly statePath: Schema.NullOr<Schema.String>;
         }>>;
-        readonly protocolVersion: Schema.Literal<1>;
+        readonly protocolVersion: Schema.Literal<2>;
         readonly key: Schema.String;
     }>]>>;
 }>;

package/dist/MachineRegistry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MachineRegistry.d.ts","sourceRoot":"","sources":["../src/MachineRegistry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAG5C,OAAO,KAAK,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;AAE9D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAoC,CAAA;AAEzD;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D;;;GAGG;AACH,MAAM,WAAW,OAAQ,SAAQ,gBAAgB,CAAC,cAAc;CAC/D;;;;;;AAED;;;;;GAKG;AACH,qBAAa,aAAc,SAAQ,kBAMjC;CAAG;;kBAUW,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;sBACnB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;sBACvB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC;;AAV1D;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,oBAIoB;CAAG;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,GAAI,SAAS,OAAO,oGAAgE,CAAA"}
+{"version":3,"file":"MachineRegistry.d.ts","sourceRoot":"","sources":["../src/MachineRegistry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAG5C,OAAO,KAAK,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;AAE9D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAoC,CAAA;AAEzD;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAE1D;;;GAGG;AACH,MAAM,WAAW,OAAQ,SAAQ,gBAAgB,CAAC,cAAc;CAC/D;;;;;;AAED;;;;;GAKG;AACH,qBAAa,aAAc,SAAQ,kBAMjC;CAAG;;kBAUW,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;sBACnB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;sBACvB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC;;AAV1D;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,oBAIoB;CAAG;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,GAAI,SAAS,OAAO,oGAAgE,CAAA"}

package/dist/MachineWalkthrough.d.ts

@@ -0,0 +1,171 @@
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import type * as MachineDocument from "./MachineDocument.js";
+declare const TypeId: "@typeonce/effect-machine-devtools/MachineWalkthrough/Session";
+/**
+ * An immutable walkthrough session. Its timeline can be inspected and its
+ * cursor can move without evaluating machine callbacks.
+ *
+ * @category models
+ * @since 0.25.0
+ */
+export interface Session {
+    readonly [TypeId]: typeof TypeId;
+}
+/**
+ * Why taking a documented branch requires an explicit human decision.
+ *
+ * @category models
+ * @since 0.25.0
+ */
+export type Decision = "conditional-branch" | "declinable-transition" | "automatic-trigger" | "invoke-outcome";
+/**
+ * Why a documented branch cannot advance topology without runtime data.
+ *
+ * @category models
+ * @since 0.25.0
+ */
+export type UnavailableReason = "history-unavailable" | "runtime-target";
+/**
+ * One branch that can be explored from the current active configuration.
+ *
+ * @category models
+ * @since 0.25.0
+ */
+export interface Choice {
+    readonly id: string;
+    readonly transitionId: string;
+    readonly branchId: string;
+    readonly branchIndex: number;
+    readonly branchKey: string | null;
+    readonly title: string | null;
+    readonly source: string;
+    readonly trigger: MachineDocument.Trigger;
+    readonly target: string | null;
+    readonly selection: MachineDocument.Selection;
+    readonly updates: ReadonlyArray<string>;
+    readonly decisions: ReadonlyArray<Decision>;
+    readonly unavailableReason: UnavailableReason | null;
+    readonly input: MachineDocument.InputSchema | null;
+}
+/**
+ * The active state paths at one point in a walkthrough.
+ *
+ * @category models
+ * @since 0.25.0
+ */
+export interface Snapshot {
+    readonly activePaths: ReadonlyArray<string>;
+}
+/**
+ * One initial or manually selected topology step.
+ *
+ * @category models
+ * @since 0.25.0
+ */
+export interface Frame {
+    readonly step: number;
+    readonly choice: Choice | null;
+    readonly before: Snapshot;
+    readonly after: Snapshot;
+    readonly exitPaths: ReadonlyArray<string>;
+    readonly entryPaths: ReadonlyArray<string>;
+    readonly changed: boolean;
+}
+declare const ChoiceNotFound_base: Schema.Class<ChoiceNotFound, Schema.Struct<{
+    readonly _tag: Schema.tag<"ChoiceNotFound">;
+    readonly choiceId: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * A requested choice is not available from the cursor's configuration.
+ *
+ * @category errors
+ * @since 0.25.0
+ */
+export declare class ChoiceNotFound extends ChoiceNotFound_base {
+}
+declare const ChoiceUnavailable_base: Schema.Class<ChoiceUnavailable, Schema.Struct<{
+    readonly _tag: Schema.tag<"ChoiceUnavailable">;
+    readonly choiceId: Schema.String;
+    readonly reason: Schema.Literals<readonly ["history-unavailable", "runtime-target"]>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * A choice depends on runtime information absent from the machine document.
+ *
+ * @category errors
+ * @since 0.25.0
+ */
+export declare class ChoiceUnavailable extends ChoiceUnavailable_base {
+}
+declare const StepNotFound_base: Schema.Class<StepNotFound, Schema.Struct<{
+    readonly _tag: Schema.tag<"StepNotFound">;
+    readonly step: Schema.Number;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * A requested timeline step does not exist.
+ *
+ * @category errors
+ * @since 0.25.0
+ */
+export declare class StepNotFound extends StepNotFound_base {
+}
+/**
+ * Starts at the document's captured snapshot when present, otherwise at its
+ * statically declared initial configuration.
+ *
+ * @category constructors
+ * @since 0.25.0
+ */
+export declare const start: (document: MachineDocument.MachineDocument) => Session;
+/**
+ * Returns the frame selected by the session cursor.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export declare const current: (self: Session) => Frame;
+/**
+ * Returns every retained frame, including frames after the current cursor.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export declare const timeline: (self: Session) => ReadonlyArray<Frame>;
+/**
+ * Returns the current zero-based timeline position.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export declare const cursor: (self: Session) => number;
+/**
+ * Lists documented branches whose sources are active at the current cursor.
+ * Runtime-dependent choices remain visible with an unavailable reason.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export declare const choices: (self: Session) => ReadonlyArray<Choice>;
+/**
+ * Takes one documented branch. Taking a branch from the past truncates the
+ * future timeline before appending the new frame.
+ *
+ * @category combinators
+ * @since 0.25.0
+ */
+export declare const take: {
+    (choiceId: string): (self: Session) => Result.Result<Session, ChoiceNotFound | ChoiceUnavailable>;
+    (self: Session, choiceId: string): Result.Result<Session, ChoiceNotFound | ChoiceUnavailable>;
+};
+/**
+ * Moves the cursor to an existing frame without changing the timeline.
+ *
+ * @category combinators
+ * @since 0.25.0
+ */
+export declare const seek: {
+    (step: number): (self: Session) => Result.Result<Session, StepNotFound>;
+    (self: Session, step: number): Result.Result<Session, StepNotFound>;
+};
+export {};
+//# sourceMappingURL=MachineWalkthrough.d.ts.map

package/dist/MachineWalkthrough.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MachineWalkthrough.d.ts","sourceRoot":"","sources":["../src/MachineWalkthrough.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,KAAK,eAAe,MAAM,sBAAsB,CAAA;AAE5D,QAAA,MAAM,MAAM,gEAAyB,CAAA;AAErC;;;;;;GAMG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;CACjC;AAED;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAChB,oBAAoB,GACpB,uBAAuB,GACvB,mBAAmB,GACnB,gBAAgB,CAAA;AAEpB;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,qBAAqB,GAAG,gBAAgB,CAAA;AAExE;;;;;GAKG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,OAAO,CAAA;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC,SAAS,CAAA;IAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAA;IACpD,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,WAAW,GAAG,IAAI,CAAA;CACnD;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC5C;AAED;;;;;GAKG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;;;;;AAED;;;;;GAKG;AACH,qBAAa,cAAe,SAAQ,mBAKlC;CAAG;;;;;;AAEL;;;;;GAKG;AACH,qBAAa,iBAAkB,SAAQ,sBAMrC;CAAG;;;;;AAEL;;;;;GAKG;AACH,qBAAa,YAAa,SAAQ,iBAKhC;CAAG;AAIL;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,QAAQ,EAAE,eAAe,CAAC,eAAe,KAAK,OAAwB,CAAA;AAE3F;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,KAAwB,CAAA;AAEjE;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,aAAa,CAAC,KAAK,CAAqB,CAAA;AAElF;;;;;GAKG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAwB,CAAA;AAEhE;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,aAAa,CAAC,MAAM,CAAoB,CAAA;AAEjF;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,GAAG,iBAAiB,CAAC,CAAA;IACjG,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,GAAG,iBAAiB,CAAC,CAAA;CAChE,CAAA;AAE/B;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;CACtC,CAAA"}

package/dist/MachineWalkthrough.js

@@ -0,0 +1,98 @@
+/**
+ * Side-effect-free topology walkthroughs over machine documents.
+ *
+ * @since 0.25.0
+ */
+import { dual } from "effect/Function";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import * as internal from "./internal/machineWalkthrough.js";
+const TypeId = internal.SessionTypeId;
+/**
+ * A requested choice is not available from the cursor's configuration.
+ *
+ * @category errors
+ * @since 0.25.0
+ */
+export class ChoiceNotFound extends Schema.Error("@typeonce/effect-machine-devtools/MachineWalkthrough/ChoiceNotFound")({
+    _tag: Schema.tag("ChoiceNotFound"),
+    choiceId: Schema.String
+}) {
+}
+/**
+ * A choice depends on runtime information absent from the machine document.
+ *
+ * @category errors
+ * @since 0.25.0
+ */
+export class ChoiceUnavailable extends Schema.Error("@typeonce/effect-machine-devtools/MachineWalkthrough/ChoiceUnavailable")({
+    _tag: Schema.tag("ChoiceUnavailable"),
+    choiceId: Schema.String,
+    reason: Schema.Literals(["history-unavailable", "runtime-target"])
+}) {
+}
+/**
+ * A requested timeline step does not exist.
+ *
+ * @category errors
+ * @since 0.25.0
+ */
+export class StepNotFound extends Schema.Error("@typeonce/effect-machine-devtools/MachineWalkthrough/StepNotFound")({
+    _tag: Schema.tag("StepNotFound"),
+    step: Schema.Number
+}) {
+}
+const api = { ChoiceNotFound, ChoiceUnavailable, StepNotFound };
+/**
+ * Starts at the document's captured snapshot when present, otherwise at its
+ * statically declared initial configuration.
+ *
+ * @category constructors
+ * @since 0.25.0
+ */
+export const start = internal.start;
+/**
+ * Returns the frame selected by the session cursor.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export const current = internal.current;
+/**
+ * Returns every retained frame, including frames after the current cursor.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export const timeline = internal.timeline;
+/**
+ * Returns the current zero-based timeline position.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export const cursor = internal.cursor;
+/**
+ * Lists documented branches whose sources are active at the current cursor.
+ * Runtime-dependent choices remain visible with an unavailable reason.
+ *
+ * @category getters
+ * @since 0.25.0
+ */
+export const choices = internal.choices;
+/**
+ * Takes one documented branch. Taking a branch from the past truncates the
+ * future timeline before appending the new frame.
+ *
+ * @category combinators
+ * @since 0.25.0
+ */
+export const take = dual(2, internal.take(api));
+/**
+ * Moves the cursor to an existing frame without changing the timeline.
+ *
+ * @category combinators
+ * @since 0.25.0
+ */
+export const seek = dual(2, internal.seek(api));
+//# sourceMappingURL=MachineWalkthrough.js.map

package/dist/MachineWalkthrough.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MachineWalkthrough.js","sourceRoot":"","sources":["../src/MachineWalkthrough.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,QAAQ,MAAM,kCAAkC,CAAA;AAG5D,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAA;AAkFrC;;;;;GAKG;AACH,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAC9C,qEAAqE,CACtE,CAAC;IACA,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC;IAClC,QAAQ,EAAE,MAAM,CAAC,MAAM;CACxB,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC,KAAK,CACjD,wEAAwE,CACzE,CAAC;IACA,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,CAAC;CACnE,CAAC;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,KAAK,CAC5C,mEAAmE,CACpE,CAAC;IACA,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC;CAAG;AAEL,MAAM,GAAG,GAAG,EAAE,cAAc,EAAE,iBAAiB,EAAE,YAAY,EAAE,CAAA;AAE/D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAA2D,QAAQ,CAAC,KAAK,CAAA;AAE3F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAA6B,QAAQ,CAAC,OAAO,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAA4C,QAAQ,CAAC,QAAQ,CAAA;AAElF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAA8B,QAAQ,CAAC,MAAM,CAAA;AAEhE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAA6C,QAAQ,CAAC,OAAO,CAAA;AAEjF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAGb,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AAE/B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAGb,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA"}