@hozu/machine 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 olevatorr
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,15 @@
+# @hozu/machine
+
+Isomorphic compiled state-machine interpreter behind Hozu features.
+
+Part of [Hozu](https://github.com/olevatorr/Hozu#readme), an AI-first web framework. Most apps start from
+`npm create hozu@latest`, which installs the right packages and sets up Claude Code or `AGENTS.md` agents.
+
+```sh
+npm install @hozu/machine
+```
+
+Requires Node 22.18 or newer. Documentation: the [README](https://github.com/olevatorr/Hozu#readme) and the
+agent skill that `create-hozu` writes into each app.
+
+MIT © olevatorr

package/dist/compile.d.ts

@@ -0,0 +1,9 @@
+import type { FeatureIR, GuardExpr, ValueExpr } from '@hozu/core/ir';
+import type { CompiledMachine, Fns, Getter, Test } from './types.ts';
+export declare class CompileError extends Error {
+    name: string;
+}
+export declare function compileValue(v: ValueExpr, fns: Fns): Getter;
+export declare function compileGuard(g: GuardExpr, fns: Fns): Test;
+export declare function compileMachine(feature: FeatureIR, fns?: Fns, routes?: Record<string, string>): CompiledMachine;
+//# sourceMappingURL=compile.d.ts.map

package/dist/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAY,SAAS,EAAE,SAAS,EAAsB,SAAS,EAAE,MAAM,eAAe,CAAA;AAElG,OAAO,KAAK,EACV,eAAe,EAGf,GAAG,EACH,MAAM,EACN,IAAI,EAEL,MAAM,YAAY,CAAA;AAEnB,qBAAa,YAAa,SAAQ,KAAK;IAC5B,IAAI,SAAiB;CAC/B;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,GAAG,MAAM,CAyC3D;AAID,wBAAgB,YAAY,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAEzD;AAkFD,wBAAgB,cAAc,CAC5B,OAAO,EAAE,SAAS,EAClB,GAAG,GAAE,GAAQ,EACb,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAClC,eAAe,CA8DjB"}

package/dist/compile.js

@@ -0,0 +1,177 @@
+import { equal, getIn, pathOf, setIn } from './data.js';
+export class CompileError extends Error {
+    name = 'CompileError';
+}
+export function compileValue(v, fns) {
+    if ('literal' in v) {
+        const literal = v.literal;
+        return () => literal;
+    }
+    if ('object' in v) {
+        const entries = Object.entries(v.object).map(([k, x]) => [k, compileValue(x, fns)]);
+        return (env) => {
+            const out = {};
+            for (const [k, get] of entries)
+                out[k] = get(env);
+            return out;
+        };
+    }
+    if ('fn' in v) {
+        const impl = fns[v.fn];
+        if (!impl)
+            throw new CompileError(`No implementation bound for fn ${v.fn}`);
+        const arg = compileValue(v.arg, fns);
+        return (env) => impl(arg(env));
+    }
+    if ('link' in v) {
+        const id = v.link;
+        const params = compileValue(v.params, fns);
+        const search = compileValue(v.search, fns);
+        return (env) => pathOf(env.routes?.[id] ?? '', params(env), search(env));
+    }
+    if ('test' in v) {
+        const test = guard(v.test, fns);
+        return (env) => test(env);
+    }
+    const { path } = v;
+    if (v.ref === 'binding') {
+        const depth = v.depth;
+        return path.length ? (env) => getIn(env.bindings?.[depth], path) : (env) => env.bindings?.[depth] ?? null;
+    }
+    if (v.ref === 'dom') {
+        const [field, ...rest] = path;
+        return (env) => (env.dom && field ? getIn(env.dom(field), rest) : null);
+    }
+    const ref = v.ref;
+    if (path.length === 0)
+        return (env) => env[ref] ?? null;
+    return (env) => getIn(env[ref], path);
+}
+const numeric = (x) => (typeof x === 'number' || typeof x === 'string' ? x : Number.NaN);
+export function compileGuard(g, fns) {
+    return guard(g, fns);
+}
+function guard(g, fns) {
+    switch (g.op) {
+        case 'and': {
+            const args = g.args.map((a) => guard(a, fns));
+            return (env) => args.every((t) => t(env));
+        }
+        case 'or': {
+            const args = g.args.map((a) => guard(a, fns));
+            return (env) => args.some((t) => t(env));
+        }
+        case 'not': {
+            const arg = guard(g.arg, fns);
+            return (env) => !arg(env);
+        }
+        case 'fn': {
+            const call = compileValue({ fn: g.fn, arg: g.arg }, fns);
+            return (env) => call(env) === true;
+        }
+        default: {
+            const l = compileValue(g.left, fns);
+            const r = compileValue(g.right, fns);
+            switch (g.op) {
+                case 'eq':
+                    return (env) => equal(l(env), r(env));
+                case 'neq':
+                    return (env) => !equal(l(env), r(env));
+                case 'lt':
+                    return (env) => numeric(l(env)) < numeric(r(env));
+                case 'lte':
+                    return (env) => numeric(l(env)) <= numeric(r(env));
+                case 'gt':
+                    return (env) => numeric(l(env)) > numeric(r(env));
+                default:
+                    return (env) => numeric(l(env)) >= numeric(r(env));
+            }
+        }
+    }
+}
+function assign(a, fns) {
+    const { path } = a;
+    const v = compileValue(a.value, fns);
+    switch (a.op) {
+        case 'set':
+            return (ctx, env) => setIn(ctx, path, v({ ...env, context: ctx }));
+        case 'append':
+            return (ctx, env) => {
+                const list = getIn(ctx, path);
+                return setIn(ctx, path, [...(Array.isArray(list) ? list : []), v({ ...env, context: ctx })]);
+            };
+        case 'inc':
+            return (ctx, env) => setIn(ctx, path, Number(getIn(ctx, path) ?? 0) + Number(v({ ...env, context: ctx })));
+        case 'removeWhere': {
+            const key = a.key;
+            return (ctx, env) => {
+                const list = getIn(ctx, path);
+                const match = v({ ...env, context: ctx });
+                const items = Array.isArray(list) ? list : [];
+                return setIn(ctx, path, items.filter((item) => !equal(item !== null && typeof item === 'object' && !Array.isArray(item) ? item[key] : null, match)));
+            };
+        }
+    }
+}
+const navigateTo = (url, routes) => (env) => url({ ...env, routes });
+export function compileMachine(feature, fns = {}, routes = {}) {
+    const m = feature.machine;
+    if (!m)
+        throw new CompileError(`Feature ${feature.id} has no machine`);
+    const names = Object.keys(m.states);
+    const index = new Map(names.map((n, i) => [n, i]));
+    const indexOf = (name) => {
+        const i = index.get(name);
+        if (i === undefined)
+            throw new CompileError(`Unknown state "${name}" in ${feature.id}`);
+        return i;
+    };
+    const transitions = [];
+    const compile = (t, id) => {
+        transitions.push(id);
+        return {
+            id,
+            guard: t.guard ? guard(t.guard, fns) : null,
+            target: indexOf(t.target),
+            assign: t.assign.map((a) => assign(a, fns)),
+            navigate: t.navigate ? navigateTo(compileValue(t.navigate, fns), routes) : null,
+        };
+    };
+    const states = names.map((name) => {
+        const s = m.states[name];
+        const on = new Map();
+        for (const [event, list] of Object.entries(s.on))
+            on.set(event, list.map((t, i) => compile(t, `${name}/on/${event}/${i}`)));
+        const after = new Map();
+        s.after.forEach((a, i) => {
+            const t = compile(a.transition, `${name}/after/${i}`);
+            after.set(a.ms, [...(after.get(a.ms) ?? []), t]);
+        });
+        const invoke = s.invoke;
+        return {
+            name,
+            final: s.final,
+            on,
+            invoke: invoke && {
+                effect: invoke.effect,
+                input: compileValue(invoke.input, fns),
+                done: invoke.done.map((t, i) => compile(t, `${name}/invoke/done/${i}`)),
+                failed: new Map(Object.entries(invoke.failed).map(([error, list]) => [
+                    error,
+                    list.map((t, i) => compile(t, `${name}/invoke/failed/${error}/${i}`)),
+                ])),
+            },
+            after,
+            timers: [...after.keys()].sort((a, b) => a - b),
+        };
+    });
+    return {
+        feature: feature.id,
+        initial: indexOf(m.initial),
+        initialContext: m.initialContext,
+        states,
+        index,
+        transitions,
+    };
+}
+//# sourceMappingURL=compile.js.map

package/dist/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAWvD,MAAM,OAAO,YAAa,SAAQ,KAAK;IAC5B,IAAI,GAAG,cAAc,CAAA;CAC/B;AAED,MAAM,UAAU,YAAY,CAAC,CAAY,EAAE,GAAQ;IACjD,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAA;QACzB,OAAO,GAAG,EAAE,CAAC,OAAO,CAAA;IACtB,CAAC;IACD,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAClB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAU,CAAC,CAAA;QAC5F,OAAO,CAAC,GAAG,EAAE,EAAE;YACb,MAAM,GAAG,GAA4B,EAAE,CAAA;YACvC,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,OAAO;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;YACjD,OAAO,GAAG,CAAA;QACZ,CAAC,CAAA;IACH,CAAC;IACD,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAwC,CAAA;QAC7D,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,YAAY,CAAC,kCAAkC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAC3E,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACpC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IAChC,CAAC;IACD,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAA;QACjB,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QAC1C,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC/B,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;IAClB,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;IAC3G,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC;QACpB,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;QAC7B,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACzE,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAA+E,CAAA;IAC7F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAA;IACvD,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAA;AACvC,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,CAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;AAE9F,MAAM,UAAU,YAAY,CAAC,CAAY,EAAE,GAAQ;IACjD,OAAO,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACtB,CAAC;AAED,SAAS,KAAK,CAAC,CAAY,EAAE,GAAQ;IACnC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;YAC7C,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;YAC7C,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC1C,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YAC7B,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;YACxD,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAA;QACpC,CAAC;QACD,SAAS,CAAC;YACR,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YACnC,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YACpC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;gBACb,KAAK,IAAI;oBACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACvC,KAAK,KAAK;oBACR,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACxC,KAAK,IAAI;oBACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACnD,KAAK,KAAK;oBACR,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACpD,KAAK,IAAI;oBACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACnD;oBACE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACtD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,CAAW,EAAE,GAAQ;IACnC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;IAClB,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IACpC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,KAAK;YACR,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;QACpE,KAAK,QAAQ;YACX,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;gBAClB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;gBAC7B,OAAO,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA;YAC9F,CAAC,CAAA;QACH,KAAK,KAAK;YACR,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAClB,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA;QACzF,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAA;YACjB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;gBAClB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;gBAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAA;gBACzC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC7C,OAAO,KAAK,CACV,GAAG,EACH,IAAI,EACJ,KAAK,CAAC,MAAM,CACV,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,KAAK,CACJ,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EACpF,KAAK,CACN,CACJ,CACF,CAAA;YACH,CAAC,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,GACd,CAAC,GAAW,EAAE,MAA8B,EAAU,EAAE,CACxD,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,CAAC,CAAA;AAE3B,MAAM,UAAU,cAAc,CAC5B,OAAkB,EAClB,GAAG,GAAQ,EAAE,EACb,MAAM,GAA2B,EAAE;IAEnC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAA;IACzB,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,WAAW,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAA;IACtE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAClD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE;QAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACzB,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,IAAI,QAAQ,OAAO,CAAC,EAAE,EAAE,CAAC,CAAA;QACvF,OAAO,CAAC,CAAA;IACV,CAAC,CAAA;IACD,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,MAAM,OAAO,GAAG,CAAC,CAAe,EAAE,EAAU,EAAsB,EAAE;QAClE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACpB,OAAO;YACL,EAAE;YACF,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;YAC3C,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;YACzB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC3C,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;SAChF,CAAA;IACH,CAAC,CAAA;IACD,MAAM,MAAM,GAAoB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAE,CAAA;QACzB,MAAM,EAAE,GAAG,IAAI,GAAG,EAAgC,CAAA;QAClD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,EAAE,CAAC,GAAG,CACJ,KAAK,EACL,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAC3D,CAAA;QACH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAA;QACrD,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAA;YACrD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAClD,CAAC,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;QACvB,OAAO;YACL,IAAI;YACJ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,EAAE;YACF,MAAM,EAAE,MAAM,IAAI;gBAChB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;gBACtC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;gBACvE,MAAM,EAAE,IAAI,GAAG,CACb,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;oBACnD,KAAK;oBACL,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,kBAAkB,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;iBACtE,CAAC,CACH;aACF;YACD,KAAK;YACL,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SAChD,CAAA;IACH,CAAC,CAAC,CAAA;IACF,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,EAAE;QACnB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QAC3B,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,MAAM;QACN,KAAK;QACL,WAAW;KACZ,CAAA;AACH,CAAC"}

package/dist/data.d.ts

@@ -0,0 +1,6 @@
+import type { Json } from '@hozu/core/ir';
+export declare function getIn(value: Json | undefined, path: readonly string[]): Json;
+export declare function setIn(value: Json, path: readonly string[], next: Json, i?: number): Json;
+export declare function equal(a: Json | undefined, b: Json | undefined): boolean;
+export declare const pathOf: (pattern: string, params: Json | undefined, search?: Json) => string;
+//# sourceMappingURL=data.d.ts.map

package/dist/data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../src/data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AAIzC,wBAAgB,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAO5E;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,SAAI,GAAG,IAAI,CAUnF;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,CAAC,EAAE,IAAI,GAAG,SAAS,GAAG,OAAO,CAavE;AAED,eAAO,MAAM,MAAM,YAAa,MAAM,UAAU,IAAI,GAAG,SAAS,WAAW,IAAI,KAAG,MAmBjF,CAAA"}

package/dist/data.js

@@ -0,0 +1,65 @@
+export function getIn(value, path) {
+    let current = value;
+    for (const key of path) {
+        if (current === null || typeof current !== 'object')
+            return null;
+        current = current[key];
+    }
+    return current === undefined ? null : current;
+}
+export function setIn(value, path, next, i = 0) {
+    if (i === path.length)
+        return next;
+    const key = path[i];
+    if (Array.isArray(value)) {
+        const copy = value.slice();
+        copy[Number(key)] = setIn(value[Number(key)] ?? null, path, next, i + 1);
+        return copy;
+    }
+    const base = value !== null && typeof value === 'object' ? value : {};
+    return { ...base, [key]: setIn(base[key] ?? null, path, next, i + 1) };
+}
+export function equal(a, b) {
+    if (a === b)
+        return true;
+    if (a === null || b === null || typeof a !== 'object' || typeof b !== 'object')
+        return false;
+    if (Array.isArray(a)) {
+        if (!Array.isArray(b) || a.length !== b.length)
+            return false;
+        for (let i = 0; i < a.length; i++)
+            if (!equal(a[i], b[i]))
+                return false;
+        return true;
+    }
+    if (Array.isArray(b))
+        return false;
+    const ka = Object.keys(a);
+    if (ka.length !== Object.keys(b).length)
+        return false;
+    for (const k of ka)
+        if (!Object.hasOwn(b, k) || !equal(a[k], b[k]))
+            return false;
+    return true;
+}
+export const pathOf = (pattern, params, search) => {
+    const [route = '', defaults = ''] = pattern.split('?');
+    const path = route.replace(/\/:([A-Za-z]\w*)[?*+]?/g, (_, key) => {
+        const x = getIn(params, [key]);
+        return [x ?? []]
+            .flat()
+            .map((s) => `/${encodeURIComponent(String(s))}`)
+            .join('');
+    }) || '/';
+    const skip = defaults.split('&');
+    let q = '';
+    if (search && typeof search === 'object')
+        for (const key of Object.keys(search).sort()) {
+            const x = search[key];
+            const pair = `${encodeURIComponent(key)}=${encodeURIComponent(String(x))}`;
+            if (x !== null && typeof x !== 'object' && !skip.includes(pair))
+                q += `${q && '&'}${pair}`;
+        }
+    return q ? `${path}?${q}` : path;
+};
+//# sourceMappingURL=data.js.map

package/dist/data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../src/data.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,KAAK,CAAC,KAAuB,EAAE,IAAuB;IACpE,IAAI,OAAO,GAAY,KAAK,CAAA;IAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAA;QAChE,OAAO,GAAI,OAAe,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,OAAgB,CAAA;AACzD,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,KAAW,EAAE,IAAuB,EAAE,IAAU,EAAE,CAAC,GAAG,CAAC;IAC3E,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAA;IACpB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAA;QAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QACxE,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,IAAI,GAAQ,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1E,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AACxE,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,CAAmB,EAAE,CAAmB;IAC5D,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACxB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC5F,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAA;QAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAA;QACvE,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAClC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACzB,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACrD,KAAK,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAG,CAAS,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAA;IACzF,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,MAAwB,EAAE,MAAa,EAAU,EAAE;IACzF,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACtD,MAAM,IAAI,GACR,KAAK,CAAC,OAAO,CAAC,yBAAyB,EAAE,CAAC,CAAC,EAAE,GAAW,EAAE,EAAE;QAC1D,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QAC9B,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;aACb,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/C,IAAI,CAAC,EAAE,CAAC,CAAA;IACb,CAAC,CAAC,IAAI,GAAG,CAAA;IACX,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAChC,IAAI,CAAC,GAAG,EAAE,CAAA;IACV,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAI,MAA+B,CAAC,GAAG,CAAC,CAAA;YAC/C,MAAM,IAAI,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;YAC1E,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,GAAG,IAAI,EAAE,CAAA;QAC5F,CAAC;IACH,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AAClC,CAAC,CAAA"}

package/dist/index.d.ts

@@ -0,0 +1,5 @@
+export { CompileError, compileGuard, compileMachine, compileValue } from './compile.ts';
+export { equal, getIn, pathOf, setIn } from './data.ts';
+export { enter, init, transition } from './transition.ts';
+export type * from './types.ts';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AACvF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AACvD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACzD,mBAAmB,YAAY,CAAA"}

package/dist/index.js

@@ -0,0 +1,4 @@
+export { CompileError, compileGuard, compileMachine, compileValue } from './compile.js';
+export { equal, getIn, pathOf, setIn } from './data.js';
+export { enter, init, transition } from './transition.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AACvF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AACvD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA"}

package/dist/transition.d.ts

@@ -0,0 +1,6 @@
+import type { Json } from '@hozu/core/ir';
+import type { CompiledMachine, Input, Snapshot, Step } from './types.ts';
+export declare function enter(machine: CompiledMachine, state: string, context: Json, entry?: number): Step;
+export declare const init: (machine: CompiledMachine) => Step;
+export declare function transition(machine: CompiledMachine, snapshot: Snapshot, input: Input): Step;
+//# sourceMappingURL=transition.d.ts.map

package/dist/transition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transition.d.ts","sourceRoot":"","sources":["../src/transition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,eAAe,EAAmC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAezG,wBAAgB,KAAK,CAAC,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,SAAI,GAAG,IAAI,CAM7F;AAED,eAAO,MAAM,IAAI,YAAa,eAAe,KAAG,IAC+B,CAAA;AAuB/E,wBAAgB,UAAU,CAAC,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAqB3F"}

package/dist/transition.js

@@ -0,0 +1,65 @@
+function enterEffects(machine, state, context, entry, effects) {
+    const s = machine.states[state];
+    if (s.invoke)
+        effects.push({ type: 'invoke', entry, effect: s.invoke.effect, input: s.invoke.input({ context }) });
+    for (const ms of s.timers)
+        effects.push({ type: 'timer', entry, ms });
+}
+export function enter(machine, state, context, entry = 1) {
+    const index = machine.index.get(state);
+    if (index === undefined)
+        throw new Error(`Unknown state "${state}" in ${machine.feature}`);
+    const effects = [];
+    enterEffects(machine, index, context, entry, effects);
+    return { snapshot: { state, context, entry }, effects, taken: null };
+}
+export const init = (machine) => enter(machine, machine.states[machine.initial].name, machine.initialContext);
+const ignored = (snapshot) => ({ snapshot, effects: [], taken: null });
+function fire(machine, snapshot, candidates, env) {
+    if (!candidates)
+        return ignored(snapshot);
+    for (const t of candidates) {
+        if (t.guard && !t.guard(env))
+            continue;
+        let context = snapshot.context;
+        for (const update of t.assign)
+            context = update(context, env);
+        const entry = snapshot.entry + 1;
+        const effects = t.navigate === null ? [] : [{ type: 'navigate', url: String(t.navigate(env)) }];
+        enterEffects(machine, t.target, context, entry, effects);
+        return { snapshot: { state: machine.states[t.target].name, context, entry }, effects, taken: t.id };
+    }
+    return ignored(snapshot);
+}
+export function transition(machine, snapshot, input) {
+    const state = machine.states[machine.index.get(snapshot.state) ?? -1];
+    if (!state || state.final)
+        return ignored(snapshot);
+    const context = snapshot.context;
+    switch (input.type) {
+        case 'event':
+            return fire(machine, snapshot, state.on.get(input.event), { context, event: input.payload });
+        case 'done':
+            if (input.entry !== snapshot.entry || !state.invoke)
+                return ignored(snapshot);
+            return fire(machine, snapshot, state.invoke.done, { context, result: input.result });
+        case 'failed': {
+            if (input.entry !== snapshot.entry || !state.invoke)
+                return ignored(snapshot);
+            const failed = state.invoke.failed;
+            const declared = failed.has(input.error);
+            const error = declared ? input.data : { message: messageOf(input.data, input.error) };
+            return fire(machine, snapshot, failed.get(declared ? input.error : 'Unexpected'), { context, error });
+        }
+        case 'timer':
+            if (input.entry !== snapshot.entry)
+                return ignored(snapshot);
+            return fire(machine, snapshot, state.after.get(input.ms), { context });
+    }
+}
+function messageOf(data, error) {
+    if (data !== null && typeof data === 'object' && !Array.isArray(data) && typeof data.message === 'string')
+        return data.message;
+    return error;
+}
+//# sourceMappingURL=transition.js.map

package/dist/transition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transition.js","sourceRoot":"","sources":["../src/transition.ts"],"names":[],"mappings":"AAGA,SAAS,YAAY,CACnB,OAAwB,EACxB,KAAa,EACb,OAAa,EACb,KAAa,EACb,OAAiB;IAEjB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAE,CAAA;IAChC,IAAI,CAAC,CAAC,MAAM;QACV,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAA;IACtG,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAwB,EAAE,KAAa,EAAE,OAAa,EAAE,KAAK,GAAG,CAAC;IACrF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,QAAQ,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;IAC1F,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACrD,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;AACtE,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,OAAwB,EAAQ,EAAE,CACrD,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAA;AAE/E,MAAM,OAAO,GAAG,CAAC,QAAkB,EAAQ,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAEtF,SAAS,IAAI,CACX,OAAwB,EACxB,QAAkB,EAClB,UAA4C,EAC5C,GAAQ;IAER,IAAI,CAAC,UAAU;QAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAA;IACzC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,SAAQ;QACtC,IAAI,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;QAC9B,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAA;QAChC,MAAM,OAAO,GAAa,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;QACzG,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;QACxD,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAA;IACtG,CAAC;IACD,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAwB,EAAE,QAAkB,EAAE,KAAY;IACnF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACrE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;IAChC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9F,KAAK,MAAM;YACT,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAA;YAC7E,OAAO,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;QACtF,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAA;YAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAA;YAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;YACrF,OAAO,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;QACvG,CAAC;QACD,KAAK,OAAO;YACV,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;gBAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAA;YAC5D,OAAO,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAA;IAC1E,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAU,EAAE,KAAa;IAC1C,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QACvG,OAAO,IAAI,CAAC,OAAO,CAAA;IACrB,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,87 @@
+import type { Json } from '@hozu/core/ir';
+export interface Snapshot {
+    state: string;
+    context: Json;
+    entry: number;
+}
+export type Input = {
+    type: 'event';
+    event: string;
+    payload: Json;
+} | {
+    type: 'done';
+    entry: number;
+    result: Json;
+} | {
+    type: 'failed';
+    entry: number;
+    error: string;
+    data: Json;
+} | {
+    type: 'timer';
+    entry: number;
+    ms: number;
+};
+export type Effect = {
+    type: 'invoke';
+    entry: number;
+    effect: string;
+    input: Json;
+} | {
+    type: 'timer';
+    entry: number;
+    ms: number;
+} | {
+    type: 'navigate';
+    url: string;
+};
+export interface Step {
+    snapshot: Snapshot;
+    effects: Effect[];
+    taken: string | null;
+}
+export type Fns = Record<string, (input: never) => unknown>;
+export interface Env {
+    context?: Json;
+    input?: Json;
+    event?: Json;
+    result?: Json;
+    error?: Json;
+    params?: Json;
+    search?: Json;
+    bindings?: Json[];
+    dom?: (field: string) => Json;
+    routes?: Record<string, string>;
+}
+export type Getter = (env: Env) => Json;
+export type Test = (env: Env) => boolean;
+export type Update = (context: Json, env: Env) => Json;
+export interface CompiledTransition {
+    id: string;
+    guard: Test | null;
+    target: number;
+    assign: Update[];
+    navigate: Getter | null;
+}
+export interface CompiledState {
+    name: string;
+    final: boolean;
+    on: Map<string, CompiledTransition[]>;
+    invoke: {
+        effect: string;
+        input: Getter;
+        done: CompiledTransition[];
+        failed: Map<string, CompiledTransition[]>;
+    } | null;
+    after: Map<number, CompiledTransition[]>;
+    timers: number[];
+}
+export interface CompiledMachine {
+    feature: string;
+    initial: number;
+    initialContext: Json;
+    states: CompiledState[];
+    index: Map<string, number>;
+    transitions: string[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AAEzC,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,IAAI,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CACd;AAED,MAAM,MAAM,KAAK,GACb;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,IAAI,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEhD,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAA;AAErC,MAAM,WAAW,IAAI;IACnB,QAAQ,EAAE,QAAQ,CAAA;IAClB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CACrB;AAED,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,CAAA;AAE3D,MAAM,WAAW,GAAG;IAClB,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,KAAK,CAAC,EAAE,IAAI,CAAA;IACZ,KAAK,CAAC,EAAE,IAAI,CAAA;IACZ,MAAM,CAAC,EAAE,IAAI,CAAA;IACb,KAAK,CAAC,EAAE,IAAI,CAAA;IACZ,MAAM,CAAC,EAAE,IAAI,CAAA;IACb,MAAM,CAAC,EAAE,IAAI,CAAA;IACb,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAA;IACjB,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAChC;AAED,MAAM,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,CAAA;AACvC,MAAM,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAA;AACxC,MAAM,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,IAAI,CAAA;AAEtD,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,IAAI,GAAG,IAAI,CAAA;IAClB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,OAAO,CAAA;IACd,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAA;IACrC,MAAM,EAAE;QACN,MAAM,EAAE,MAAM,CAAA;QACd,KAAK,EAAE,MAAM,CAAA;QACb,IAAI,EAAE,kBAAkB,EAAE,CAAA;QAC1B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAA;KAC1C,GAAG,IAAI,CAAA;IACR,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAA;IACxC,MAAM,EAAE,MAAM,EAAE,CAAA;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,MAAM,CAAA;IACf,cAAc,EAAE,IAAI,CAAA;IACpB,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC1B,WAAW,EAAE,MAAM,EAAE,CAAA;CACtB"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,45 @@
+{
+  "name": "@hozu/machine",
+  "version": "0.1.0",
+  "description": "Isomorphic compiled state-machine interpreter behind Hozu features",
+  "keywords": [
+    "hozu",
+    "framework",
+    "ai",
+    "agents",
+    "ssr",
+    "islands",
+    "typescript"
+  ],
+  "homepage": "https://github.com/olevatorr/Hozu/tree/main/packages/machine#readme",
+  "bugs": {
+    "url": "https://github.com/olevatorr/Hozu/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/olevatorr/Hozu.git",
+    "directory": "packages/machine"
+  },
+  "license": "MIT",
+  "author": "olevatorr",
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=22.18"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@hozu/core": "0.1.0"
+  },
+  "sideEffects": false
+}