@doeixd/machine 0.0.4 → 0.0.6

package/dist/types/multi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"multi.d.ts","sourceRoot":"","sources":["../../src/multi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACL,OAAO,EACP,OAAO,EACP,cAAc,EACd,eAAe,EAEhB,MAAM,SAAS,CAAC;AAMjB;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI;KACpD,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,GAAG,CACzB,GAAG,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAC1B,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK;CAC1D,CAAC;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI;IAC3C;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAElB;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAE7B;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAEtC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC;CAC7B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,EACjD,cAAc,EAAE,CAAC,EACjB,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAK,IAAI,GAC/B,MAAM,CAAC,CAAC,CAAC,CA2CX;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,MAAM;IAC1C;;;OAGG;IACH,UAAU,EAAE,MAAM,CAAC,CAAC;IAEpB;;;;;OAKG;IACH,UAAU,EAAE,CAAC,UAAU,EAAE,CAAC,KAAK,IAAI,CAAC;CACrC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,KAAK,cAAc,CAAC,WAAW,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,CAC1D;KAAG,CAAC,IAAI,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,WAAW,CAAC,EAC/D,SAAS,CACV,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,QAAQ,CAAC,WAAW,SAAS,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI;IACzE;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAEpB;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAE5B;;;;;;;OAOG;IACH,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC;CAC/C,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6FG;AACH,wBAAgB,cAAc,CAC5B,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,EAEpD,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EACpB,SAAS,EAAE,CAAC,EACZ,eAAe,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,GACvC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CA4CrC;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EACrD,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,EACnD,cAAc,EAAE,CAAC,GAChB,CAAC,CAQH;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AACH,wBAAgB,eAAe,CAC7B,WAAW,SAAS,OAAO,CAAC,GAAG,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,CAAC,EAED,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,EACpE,QAAQ,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,GACjC,CAAC,CAOH;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,8BAAsB,gBAAgB,CAAC,CAAC,SAAS,MAAM;IACrD;;;OAGG;IACH,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAE/B;;OAEG;gBACS,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IAIhC;;;;;;;;;OASG;IACH,SAAS,KAAK,OAAO,IAAI,CAAC,CAEzB;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,GAAG,IAAI;CAG1C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+GG;AACH,wBAAgB,kBAAkB,CAChC,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,gBAAgB,CAAC,CAAC,CAAC,EAE7B,YAAY,EAAE,KAAK,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAC7C,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,GACnB,CAAC,GAAG,CAAC,CA+DP;AAMD;;;GAGG;AACH,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,WAAW,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GACzE,cAAc,CAAC,WAAW,CAAC,CAAC;AAG5B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmIC;AACH,wBAAgB,oBAAoB,CAClC,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,EAEpD,aAAa,EAAE,CAAC,EAChB,SAAS,EAAE,CAAC,EACZ,eAAe,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,GACvC,cAAc,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAmD3C"}

package/dist/types/primitives.d.ts

@@ -0,0 +1,202 @@
+/**
+ * @file Type-level primitives for formal state machine verification.
+ * @description
+ * This file provides a Domain Specific Language (DSL) of wrapper functions.
+ * These functions serve two purposes:
+ * 1. At Runtime: They are identity functions (no-ops). They return your code exactly as is.
+ * 2. At Design/Build Time: They "brand" your transition functions with rich type metadata.
+ *
+ * This allows a static analysis tool (like `ts-morph`) to read your source code
+ * and generate a formal Statechart (JSON) that perfectly matches your implementation,
+ * including resolving Class Constructors to their names.
+ */
+/**
+ * A unique symbol used to "brand" a type with metadata.
+ * This key allows the static analyzer to find the metadata within a complex type signature.
+ */
+export declare const META_KEY: unique symbol;
+/**
+ * Runtime metadata symbol.
+ * Non-enumerable property key for storing metadata on function objects at runtime.
+ * @internal
+ */
+export declare const RUNTIME_META: unique symbol;
+/**
+ * Helper type representing a Class Constructor.
+ * Used to reference target states by their class definition rather than magic strings.
+ */
+export type ClassConstructor = new (...args: any[]) => any;
+/**
+ * Metadata describing a Guard condition.
+ */
+export interface GuardMeta {
+    /** The name of the guard (e.g., "isAdmin"). */
+    name: string;
+    /** Optional documentation explaining the logic. */
+    description?: string;
+}
+/**
+ * Metadata describing an Invoked Service (async operation).
+ */
+export interface InvokeMeta {
+    /** The name of the service source (e.g., "fetchUserData"). */
+    src: string;
+    /** The state class to transition to on success. */
+    onDone: ClassConstructor;
+    /** The state class to transition to on error. */
+    onError: ClassConstructor;
+    /** Optional description. */
+    description?: string;
+}
+/**
+ * Metadata describing a generic Action (side effect).
+ */
+export interface ActionMeta {
+    /** The name of the action (e.g., "logAnalytics"). */
+    name: string;
+    /** Optional description. */
+    description?: string;
+}
+/**
+ * The comprehensive shape of metadata that can be encoded into a transition's type.
+ */
+export interface TransitionMeta {
+    /** The target state class this transition leads to. */
+    target?: ClassConstructor;
+    /** A human-readable description of the transition. */
+    description?: string;
+    /** An array of guards that must be true for this transition to be enabled. */
+    guards?: GuardMeta[];
+    /** A service to invoke upon taking this transition (or entering the state). */
+    invoke?: InvokeMeta;
+    /** Fire-and-forget side effects associated with this transition. */
+    actions?: ActionMeta[];
+}
+/**
+ * The Branded Type.
+ * It takes a function type `F` and intersects it with a hidden metadata object `M`.
+ * This is the mechanism that carries information from your code to the compiler API.
+ */
+export type WithMeta<F extends (...args: any[]) => any, M extends TransitionMeta> = F & {
+    [META_KEY]: M;
+};
+/**
+ * Runtime metadata interface (resolved class names as strings)
+ */
+export interface RuntimeTransitionMeta {
+    target?: string;
+    description?: string;
+    guards?: Array<{
+        name: string;
+        description?: string;
+    }>;
+    invoke?: {
+        src: string;
+        onDone: string;
+        onError: string;
+        description?: string;
+    };
+    actions?: Array<{
+        name: string;
+        description?: string;
+    }>;
+}
+/**
+ * Defines a transition to a target state class.
+ *
+ * @param target - The Class Constructor of the state being transitioned to.
+ * @param implementation - The implementation function returning the new state instance.
+ * @returns The implementation function, branded with target metadata.
+ *
+ * @example
+ * login = transitionTo(LoggedInMachine, (user) => new LoggedInMachine({ user }));
+ */
+export declare function transitionTo<T extends ClassConstructor, F extends (...args: any[]) => any>(_target: T, implementation: F): WithMeta<F, {
+    target: T;
+}>;
+/**
+ * Annotates a transition with a description for documentation generation.
+ *
+ * @param text - The description text.
+ * @param transition - The transition function (or wrapper) to annotate.
+ * @example
+ * logout = describe("Logs the user out", transitionTo(LoggedOut, ...));
+ */
+export declare function describe<F extends (...args: any[]) => any, M extends TransitionMeta>(_text: string, transition: WithMeta<F, M>): WithMeta<F, M & {
+    description: string;
+}>;
+/**
+ * Annotates a transition with a Guard condition.
+ * Note: This only adds metadata. You must still implement the `if` check inside your function.
+ *
+ * @param guard - Object containing the name and optional description of the guard.
+ * @param transition - The transition function to guard.
+ * @example
+ * delete = guarded({ name: "isAdmin" }, transitionTo(Deleted, ...));
+ */
+export declare function guarded<F extends (...args: any[]) => any, M extends TransitionMeta>(guard: GuardMeta, transition: WithMeta<F, M>): WithMeta<F, M & {
+    guards: [typeof guard];
+}>;
+/**
+ * Annotates a transition with an Invoked Service (asynchronous effect).
+ *
+ * @param service - configuration for the service (source, onDone target, onError target).
+ * @param implementation - The async function implementation.
+ * @example
+ * load = invoke(
+ *   { src: "fetchData", onDone: LoadedMachine, onError: ErrorMachine },
+ *   async () => { ... }
+ * );
+ */
+export declare function invoke<D extends ClassConstructor, E extends ClassConstructor, F extends (...args: any[]) => any>(service: {
+    src: string;
+    onDone: D;
+    onError: E;
+    description?: string;
+}, implementation: F): WithMeta<F, {
+    invoke: typeof service;
+}>;
+/**
+ * Annotates a transition with a side-effect Action.
+ * Useful for logging, analytics, or external event firing that doesn't change state structure.
+ *
+ * @param action - Object containing the name and optional description.
+ * @param transition - The transition function to annotate.
+ * @example
+ * click = action({ name: "trackClick" }, (ctx) => ...);
+ */
+export declare function action<F extends (...args: any[]) => any, M extends TransitionMeta>(action: ActionMeta, transition: WithMeta<F, M>): WithMeta<F, M & {
+    actions: [typeof action];
+}>;
+/**
+ * Flexible metadata wrapper for functional and type-state patterns.
+ *
+ * This function allows attaching metadata to values that don't use the class-based
+ * MachineBase pattern. It's particularly useful for:
+ * - Functional machines created with createMachine()
+ * - Type-state discriminated unions
+ * - Generic machine configurations
+ *
+ * @param meta - Partial metadata object describing states, transitions, etc.
+ * @param value - The value to annotate (machine, config, factory function, etc.)
+ * @returns The value unchanged (identity function at runtime)
+ *
+ * @example
+ * // Annotate a functional machine
+ * const machine = metadata(
+ *   {
+ *     target: IdleState,
+ *     description: "Counter machine with increment/decrement"
+ *   },
+ *   createMachine({ count: 0 }, { ... })
+ * );
+ *
+ * @example
+ * // Annotate a factory function
+ * export const createCounter = metadata(
+ *   { description: "Creates a counter starting at 0" },
+ *   () => createMachine({ count: 0 }, { ... })
+ * );
+ */
+export declare function metadata<T>(_meta: Partial<TransitionMeta>, value: T): T;
+//# sourceMappingURL=primitives.d.ts.map

package/dist/types/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH;;;GAGG;AACH,eAAO,MAAM,QAAQ,eAAwB,CAAC;AAE9C;;;;GAIG;AACH,eAAO,MAAM,YAAY,eAAqC,CAAC;AAE/D;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAE3D;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,8DAA8D;IAC9D,GAAG,EAAE,MAAM,CAAC;IACZ,mDAAmD;IACnD,MAAM,EAAE,gBAAgB,CAAC;IACzB,iDAAiD;IACjD,OAAO,EAAE,gBAAgB,CAAC;IAC1B,4BAA4B;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,qDAAqD;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,uDAAuD;IACvD,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,sDAAsD;IACtD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,8EAA8E;IAC9E,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,+EAA+E;IAC/E,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,oEAAoE;IACpE,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EACjC,CAAC,SAAS,cAAc,IACtB,CAAC,GAAG;IAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAM1B;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvD,MAAM,CAAC,EAAE;QACP,GAAG,EAAE,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC;IACF,OAAO,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACzD;AA+CD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAC1B,CAAC,SAAS,gBAAgB,EAC1B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAEjC,OAAO,EAAE,CAAC,EACV,cAAc,EAAE,CAAC,GAChB,QAAQ,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC,CAO5B;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CACtB,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EACjC,CAAC,SAAS,cAAc,EAExB,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,CAO1C;AAED;;;;;;;;GAQG;AACH,wBAAgB,OAAO,CACrB,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EACjC,CAAC,SAAS,cAAc,EAExB,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG;IAAE,MAAM,EAAE,CAAC,OAAO,KAAK,CAAC,CAAA;CAAE,CAAC,CAQ7C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,MAAM,CACpB,CAAC,SAAS,gBAAgB,EAC1B,CAAC,SAAS,gBAAgB,EAC1B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAEjC,OAAO,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,CAAC,CAAC;IAAC,OAAO,EAAE,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EACrE,cAAc,EAAE,CAAC,GAChB,QAAQ,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,OAAO,OAAO,CAAA;CAAE,CAAC,CAYzC;AAED;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CACpB,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EACjC,CAAC,SAAS,cAAc,EAExB,MAAM,EAAE,UAAU,EAClB,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG;IAAE,OAAO,EAAE,CAAC,OAAO,MAAM,CAAC,CAAA;CAAE,CAAC,CAQ/C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAIvE"}

package/dist/types/runtime-extract.d.ts

@@ -0,0 +1,53 @@
+/**
+ * @file Runtime statechart extraction utilities
+ * @description Extract statecharts from running machine instances using Symbol-based metadata
+ */
+import { type RuntimeTransitionMeta } from './primitives';
+/**
+ * Extract metadata from a single function if it has runtime metadata attached
+ *
+ * @param fn - Function to extract from
+ * @returns Metadata object or null if no metadata
+ */
+export declare function extractFunctionMetadata(fn: any): RuntimeTransitionMeta | null;
+/**
+ * Extract state node from a machine class instance
+ *
+ * @param stateInstance - Instance of a machine state class
+ * @returns State node with transitions
+ */
+export declare function extractStateNode(stateInstance: any): any;
+/**
+ * Generate a complete statechart from multiple state class instances
+ *
+ * @param states - Object mapping state names to state instances
+ * @param config - Chart configuration
+ * @returns XState-compatible statechart JSON
+ *
+ * @example
+ * const chart = generateStatechart({
+ *   'LoggedOut': new LoggedOutMachine(),
+ *   'LoggedIn': new LoggedInMachine()
+ * }, {
+ *   id: 'auth',
+ *   initial: 'LoggedOut'
+ * });
+ */
+export declare function generateStatechart(states: Record<string, any>, config: {
+    id: string;
+    initial: string;
+    description?: string;
+}): any;
+/**
+ * Convenience function to extract statechart from a single machine instance
+ * Useful for simple machines with a single context but multiple transitions
+ *
+ * @param machineInstance - Machine instance
+ * @param config - Chart configuration
+ * @returns XState-compatible statechart JSON
+ */
+export declare function extractFromInstance(machineInstance: any, config: {
+    id: string;
+    stateName?: string;
+}): any;
+//# sourceMappingURL=runtime-extract.d.ts.map

package/dist/types/runtime-extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-extract.d.ts","sourceRoot":"","sources":["../../src/runtime-extract.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAgB,KAAK,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAExE;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,GAAG,GAAG,qBAAqB,GAAG,IAAI,CAO7E;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,GAAG,GAAG,GAAG,CAoDxD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5D,GAAG,CAgBL;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,eAAe,EAAE,GAAG,EACpB,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GACzC,GAAG,CAUL"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@doeixd/machine",
-  "version": "0.0.4",
+  "version": "0.0.6",
   "files": [
     "dist",
     "src"
@@ -71,7 +71,11 @@
     "watch": "pridepack watch",
     "start": "pridepack start",
     "dev": "pridepack dev",
-    "test": "vitest"
+    "test": "vitest --test",
+    "extract": "tsx scripts/extract-statechart.ts --config .statechart.config.ts",
+    "extract:watch": "tsx scripts/extract-statechart.ts --config .statechart.config.ts --watch",
+    "extract:validate": "tsx scripts/extract-statechart.ts --config .statechart.config.ts --validate",
+    "extract:legacy": "tsx src/extract.ts"
   },
   "private": false,
   "description": "A minimal, type-safe state machine library for TypeScript centered on Type-State Programming. Uses the TypeScript compiler to catch invalid state transitions at compile-time, making illegal states unrepresentable. Features immutable updates, discriminated unions, async support, and integrations for React and Solid.js. Includes static analysis tools for generating formal statecharts compatible with Stately Viz and XState tooling.",