@junejuly-lockstep/reconciler 0.1.0

package/dist/init.js

@@ -0,0 +1,55 @@
+import { copyFileSync, existsSync, readdirSync } from 'node:fs';
+import path from 'node:path';
+import { ensureDir, packageRoot, toPosix } from './util.js';
+/** Template file -> destination in the client repo. */
+export const INIT_FILES = [
+    {
+        template: 'lockstep.config.example.ts',
+        dest: 'lockstep.config.ts',
+        purpose: 'project config (contract item 1)',
+    },
+    {
+        template: 'example.journey.ts',
+        dest: 'src/journeys/book-a-visit.journey.ts',
+        purpose: 'example journey: machine + meta (item 2)',
+    },
+    {
+        template: 'scenarios.example.ts',
+        dest: 'src/journeys/scenarios.ts',
+        purpose: 'named personas with seeds (item 3)',
+    },
+    {
+        template: 'msw-handlers.example.ts',
+        dest: 'src/mocks/handlers.ts',
+        purpose: 'seeded, faker-free MSW handlers (item 4)',
+    },
+    {
+        template: 'lockstep-reconcile.yml',
+        dest: '.github/workflows/lockstep-reconcile.yml',
+        purpose: 'CI workflow (item 6)',
+    },
+];
+export function templatesDir() {
+    return path.join(packageRoot(), 'templates');
+}
+export function listTemplates() {
+    return readdirSync(templatesDir()).sort();
+}
+/** Copy the templates into `cwd`; existing files are kept unless `force`. */
+export function init(cwd, opts = {}) {
+    const written = [];
+    const skipped = [];
+    for (const f of INIT_FILES) {
+        const src = path.join(templatesDir(), f.template);
+        const dest = path.join(cwd, f.dest);
+        if (existsSync(dest) && !opts.force) {
+            skipped.push(toPosix(f.dest));
+            continue;
+        }
+        ensureDir(path.dirname(dest));
+        copyFileSync(src, dest);
+        written.push(toPosix(f.dest));
+    }
+    return { written, skipped };
+}
+//# sourceMappingURL=init.js.map

package/dist/init.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"init.js","sourceRoot":"","sources":["../src/init.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE5D,uDAAuD;AACvD,MAAM,CAAC,MAAM,UAAU,GAAuE;IAC5F;QACE,QAAQ,EAAE,4BAA4B;QACtC,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,kCAAkC;KAC5C;IACD;QACE,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,0CAA0C;KACpD;IACD;QACE,QAAQ,EAAE,sBAAsB;QAChC,IAAI,EAAE,2BAA2B;QACjC,OAAO,EAAE,oCAAoC;KAC9C;IACD;QACE,QAAQ,EAAE,yBAAyB;QACnC,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE,0CAA0C;KACpD;IACD;QACE,QAAQ,EAAE,wBAAwB;QAClC,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,sBAAsB;KAChC;CACF,CAAC;AAEF,MAAM,UAAU,YAAY;IAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,WAAW,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,OAAO,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5C,CAAC;AAOD,6EAA6E;AAC7E,MAAM,UAAU,IAAI,CAAC,GAAW,EAAE,OAA4B,EAAE;IAC9D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC"}

package/dist/journeys.d.ts

@@ -0,0 +1,34 @@
+import { JourneyModel, Scenario, type MachineJson } from '@junejuly-lockstep/model';
+/** Shape a `*.journey.ts` module must export. */
+export interface JourneyModule {
+    /** XState v5 `createMachine(...)` result or the plain machine config. */
+    machine: unknown;
+    /** Lockstep metadata: narrative, per-state meta, trigger bindings, assets. */
+    meta: unknown;
+    /** Optional overrides; default derived from the file name. */
+    key?: string;
+    name?: string;
+}
+/** Derive the journey key from `src/journeys/book-a-visit.journey.ts` -> `book-a-visit`. */
+export declare function journeyKeyFromFile(file: string): string;
+export declare function journeyNameFromKey(key: string): string;
+/**
+ * Convert whatever the journey file exported into the JSON subset the model understands.
+ * Accepts an XState v5 machine (uses `.config`) or a plain config object. Functions are
+ * replaced by their names so guards/actions become string references.
+ */
+export declare function toMachineJson(machine: unknown): MachineJson;
+/** Deep-copy JSON-ish data, replacing functions with their names and dropping undefined. */
+export declare function stripFunctions(value: unknown): unknown;
+export interface LoadedJourney {
+    model: JourneyModel;
+    /** Posix path relative to the repo root. */
+    file: string;
+}
+/** Load one journey module (already imported) into a validated `JourneyModel`. */
+export declare function journeyFromModule(mod: unknown, file: string): JourneyModel;
+/** Load every journey file matching the glob, sorted by path for determinism. */
+export declare function loadJourneys(rootDir: string, journeysGlob: string): Promise<LoadedJourney[]>;
+/** Load the scenarios file: an array of `Scenario` or a record keyed by name. Sorted by name. */
+export declare function loadScenarios(rootDir: string, scenariosPath: string): Promise<Scenario[]>;
+//# sourceMappingURL=journeys.d.ts.map

package/dist/journeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"journeys.d.ts","sourceRoot":"","sources":["../src/journeys.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,YAAY,EACZ,QAAQ,EAER,KAAK,WAAW,EACjB,MAAM,0BAA0B,CAAC;AAKlC,iDAAiD;AACjD,MAAM,WAAW,aAAa;IAC5B,yEAAyE;IACzE,OAAO,EAAE,OAAO,CAAC;IACjB,8EAA8E;IAC9E,IAAI,EAAE,OAAO,CAAC;IACd,8DAA8D;IAC9D,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,4FAA4F;AAC5F,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAUvD;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMtD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAsC3D;AAgED,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAYtD;AAMD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,YAAY,CAAC;IACpB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,kFAAkF;AAClF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CA8B1E;AAmBD,iFAAiF;AACjF,wBAAsB,YAAY,CAChC,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,aAAa,EAAE,CAAC,CAyB1B;AAOD,iGAAiG;AACjG,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAkC/F"}

package/dist/journeys.js

@@ -0,0 +1,276 @@
+import path from 'node:path';
+import fg from 'fast-glob';
+import { JourneyModel, Scenario, validateJourney, } from '@junejuly-lockstep/model';
+import { z } from 'zod';
+import { ContractViolation } from './errors.js';
+import { importTs, toPosix } from './util.js';
+/** Derive the journey key from `src/journeys/book-a-visit.journey.ts` -> `book-a-visit`. */
+export function journeyKeyFromFile(file) {
+    const base = path.basename(file);
+    return base
+        .replace(/\.journey\.(t|j)sx?$/, '')
+        .replace(/\.(t|j)sx?$/, '')
+        .replace(/[^a-zA-Z0-9-]+/g, '-')
+        .replace(/([a-z0-9])([A-Z])/g, '$1-$2')
+        .replace(/([A-Z])([A-Z][a-z])/g, '$1-$2')
+        .toLowerCase()
+        .replace(/^-+|-+$/g, '');
+}
+export function journeyNameFromKey(key) {
+    return key
+        .split('-')
+        .filter(Boolean)
+        .map((w, i) => (i === 0 ? w.charAt(0).toUpperCase() + w.slice(1) : w))
+        .join(' ');
+}
+/**
+ * Convert whatever the journey file exported into the JSON subset the model understands.
+ * Accepts an XState v5 machine (uses `.config`) or a plain config object. Functions are
+ * replaced by their names so guards/actions become string references.
+ */
+export function toMachineJson(machine) {
+    const config = unwrapMachineConfig(machine);
+    const id = typeof config['id'] === 'string' ? config['id'] : 'machine';
+    const statesRaw = isRecord(config['states']) ? config['states'] : {};
+    const states = {};
+    for (const [key, value] of Object.entries(statesRaw)) {
+        if (!isRecord(value))
+            continue;
+        const state = {};
+        if (isRecord(value['on'])) {
+            const on = {};
+            for (const [event, t] of Object.entries(value['on'])) {
+                const normalized = normalizeTransition(t, id);
+                if (normalized)
+                    on[event] = normalized;
+            }
+            state.on = on;
+        }
+        if (typeof value['type'] === 'string') {
+            const type = value['type'];
+            if (['atomic', 'final', 'compound', 'parallel', 'history'].includes(type)) {
+                state.type = type;
+            }
+        }
+        if (typeof value['description'] === 'string')
+            state.description = value['description'];
+        if (Array.isArray(value['tags']))
+            state.tags = value['tags'].filter((t) => typeof t === 'string');
+        if (isRecord(value['meta']))
+            state.meta = stripFunctions(value['meta']);
+        states[key] = state;
+    }
+    const out = {
+        id,
+        initial: typeof config['initial'] === 'string' ? config['initial'] : (Object.keys(states)[0] ?? ''),
+        states,
+    };
+    if (isRecord(config['context']))
+        out.context = stripFunctions(config['context']);
+    return out;
+}
+function unwrapMachineConfig(machine) {
+    if (!isRecord(machine))
+        throw new Error('journey must export `machine` (createMachine result or config object)');
+    // XState v5 StateMachine exposes the original config as `.config`.
+    if (isRecord(machine['config']) && isRecord(machine['config']['states']))
+        return machine['config'];
+    return machine;
+}
+function normalizeTransition(t, machineId) {
+    if (typeof t === 'string')
+        return normalizeTarget(t, machineId);
+    if (Array.isArray(t)) {
+        const list = t
+            .map((x) => normalizeTransitionConfig(x, machineId))
+            .filter((x) => !!x);
+        return list.length ? list : null;
+    }
+    return normalizeTransitionConfig(t, machineId);
+}
+function normalizeTransitionConfig(t, machineId) {
+    if (typeof t === 'string')
+        return { target: normalizeTarget(t, machineId) };
+    if (!isRecord(t))
+        return null;
+    const rawTarget = Array.isArray(t['target']) ? t['target'][0] : t['target'];
+    if (typeof rawTarget !== 'string')
+        return null; // targetless (internal) transitions carry no navigation
+    const out = {
+        target: normalizeTarget(rawTarget, machineId),
+    };
+    const guard = nameOf(t['guard'] ?? t['cond']);
+    if (guard)
+        out.guard = guard;
+    const actions = Array.isArray(t['actions'])
+        ? t['actions']
+        : t['actions'] !== undefined
+            ? [t['actions']]
+            : [];
+    const names = actions.map(nameOf).filter((a) => !!a);
+    if (names.length)
+        out.actions = names;
+    if (typeof t['description'] === 'string')
+        out.description = t['description'];
+    return out;
+}
+/** `#machineId.state` -> `state`, `.state` -> `state`. Other targets pass through. */
+function normalizeTarget(target, machineId) {
+    if (target.startsWith(`#${machineId}.`))
+        return target.slice(machineId.length + 2);
+    if (target.startsWith('.'))
+        return target.slice(1);
+    return target;
+}
+function nameOf(v) {
+    if (v === undefined || v === null)
+        return null;
+    if (typeof v === 'string')
+        return v;
+    if (typeof v === 'function')
+        return v.name || 'inline';
+    if (isRecord(v) && typeof v['type'] === 'string')
+        return v['type'];
+    return null;
+}
+/** Deep-copy JSON-ish data, replacing functions with their names and dropping undefined. */
+export function stripFunctions(value) {
+    if (typeof value === 'function')
+        return value.name || 'inline';
+    if (Array.isArray(value))
+        return value.map(stripFunctions);
+    if (isRecord(value)) {
+        const out = {};
+        for (const [k, v] of Object.entries(value)) {
+            if (v === undefined)
+                continue;
+            out[k] = stripFunctions(v);
+        }
+        return out;
+    }
+    return value;
+}
+function isRecord(v) {
+    return typeof v === 'object' && v !== null && !Array.isArray(v);
+}
+/** Load one journey module (already imported) into a validated `JourneyModel`. */
+export function journeyFromModule(mod, file) {
+    const m = unwrapModule(mod);
+    if (!m.machine)
+        throw new ContractViolation(`journey:${file}`, 'does not export `machine`');
+    if (!m.meta)
+        throw new ContractViolation(`journey:${file}`, 'does not export `meta` (narrative, states, bindings)');
+    const key = typeof m.key === 'string' ? m.key : journeyKeyFromFile(file);
+    const name = typeof m.name === 'string' ? m.name : journeyNameFromKey(key);
+    const candidate = {
+        key,
+        name,
+        machine: toMachineJson(m.machine),
+        meta: stripFunctions(m.meta),
+    };
+    const parsed = JourneyModel.safeParse(candidate);
+    if (!parsed.success) {
+        throw ContractViolation.fromList(parsed.error.issues.map((i) => ({
+            item: `journey:${file}:${i.path.join('.')}`,
+            message: i.message,
+        })));
+    }
+    const errors = validateJourney(parsed.data);
+    if (errors.length) {
+        throw ContractViolation.fromList(errors.map((e) => ({ item: `journey:${file}`, message: e })));
+    }
+    return parsed.data;
+}
+function unwrapModule(mod) {
+    if (!isRecord(mod))
+        return {};
+    if (isRecord(mod['default']) && ('machine' in mod['default'] || 'meta' in mod['default'])) {
+        return {
+            ...mod['default'],
+            ...pick(mod, ['machine', 'meta', 'key', 'name']),
+        };
+    }
+    return mod;
+}
+function pick(obj, keys) {
+    const out = {};
+    for (const k of keys)
+        if (obj[k] !== undefined)
+            out[k] = obj[k];
+    return out;
+}
+/** Load every journey file matching the glob, sorted by path for determinism. */
+export async function loadJourneys(rootDir, journeysGlob) {
+    const files = (await fg(journeysGlob, { cwd: rootDir, onlyFiles: true })).map(toPosix).sort();
+    const out = [];
+    const seen = new Map();
+    for (const file of files) {
+        let mod;
+        try {
+            mod = await importTs(path.resolve(rootDir, file));
+        }
+        catch (err) {
+            throw new ContractViolation(`journey:${file}`, `failed to load: ${err instanceof Error ? err.message : String(err)}`);
+        }
+        const model = journeyFromModule(mod, file);
+        const dup = seen.get(model.key);
+        if (dup)
+            throw new ContractViolation(`journey:${file}`, `duplicate journey key "${model.key}" (also in ${dup})`);
+        seen.set(model.key, file);
+        out.push({ model, file });
+    }
+    return out;
+}
+const ScenariosExport = z.union([
+    z.array(Scenario),
+    z.record(z.string(), Scenario.omit({ name: true }).extend({ name: z.string().optional() })),
+]);
+/** Load the scenarios file: an array of `Scenario` or a record keyed by name. Sorted by name. */
+export async function loadScenarios(rootDir, scenariosPath) {
+    let mod;
+    try {
+        mod = await importTs(path.resolve(rootDir, scenariosPath));
+    }
+    catch (err) {
+        throw new ContractViolation('scenarios', `failed to load ${scenariosPath}: ${err instanceof Error ? err.message : String(err)}`);
+    }
+    const raw = scenariosFromModule(mod);
+    const parsed = ScenariosExport.safeParse(stripFunctions(raw));
+    if (!parsed.success) {
+        throw ContractViolation.fromList(parsed.error.issues.map((i) => ({
+            item: `scenarios:${i.path.join('.') || '<root>'}`,
+            message: i.message,
+        })));
+    }
+    const list = Array.isArray(parsed.data)
+        ? parsed.data
+        : Object.entries(parsed.data).map(([name, s]) => Scenario.parse({ ...s, name: s.name ?? name }));
+    if (list.length === 0)
+        throw new ContractViolation('scenarios', `${scenariosPath} exports no scenarios`);
+    const names = new Set();
+    for (const s of list) {
+        if (names.has(s.name))
+            throw new ContractViolation('scenarios', `duplicate scenario name "${s.name}"`);
+        names.add(s.name);
+    }
+    return [...list].sort((a, b) => (a.name < b.name ? -1 : a.name > b.name ? 1 : 0));
+}
+function looksLikeScenarios(v) {
+    if (Array.isArray(v))
+        return true;
+    if (!isRecord(v))
+        return false;
+    const values = Object.values(v);
+    return values.length > 0 && values.every((s) => isRecord(s) && typeof s['seed'] === 'number');
+}
+/** Accept `export default [...]`, `export const scenarios = [...]`, or a record keyed by name. */
+function scenariosFromModule(mod) {
+    if (!isRecord(mod))
+        return mod;
+    for (const candidate of [mod['scenarios'], mod['default'], mod]) {
+        if (looksLikeScenarios(candidate))
+            return candidate;
+    }
+    return mod['default'] ?? mod;
+}
+//# sourceMappingURL=journeys.js.map

package/dist/journeys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"journeys.js","sourceRoot":"","sources":["../src/journeys.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,WAAW,CAAC;AAC3B,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,eAAe,GAEhB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAa9C,4FAA4F;AAC5F,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,IAAI;SACR,OAAO,CAAC,sBAAsB,EAAE,EAAE,CAAC;SACnC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;SAC1B,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC;SAC/B,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,sBAAsB,EAAE,OAAO,CAAC;SACxC,WAAW,EAAE;SACb,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,OAAO,GAAG;SACP,KAAK,CAAC,GAAG,CAAC;SACV,MAAM,CAAC,OAAO,CAAC;SACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACrE,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,EAAE,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAkC,EAAE,CAAC;QAChD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAqD,EAAE,CAAC;YAChE,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACrD,MAAM,UAAU,GAAG,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9C,IAAI,UAAU;oBAAE,EAAE,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;YACzC,CAAC;YACD,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;QAChB,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3B,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1E,KAAK,CAAC,IAAI,GAAG,IAA0D,CAAC;YAC1E,CAAC;QACH,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,aAAa,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;QACvF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAC/E,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAA4B,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,MAAM,GAAG,GAAgB;QACvB,EAAE;QACF,OAAO,EACL,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5F,MAAM;KACP,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7B,GAAG,CAAC,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,CAA4B,CAAC;IAC7E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAgB;IAC3C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;IAC3F,mEAAmE;IACnE,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC;QACtE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAC1B,CAAU,EACV,SAAiB;IAEjB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,CAAC;aACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;aACnD,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnC,CAAC;IACD,OAAO,yBAAyB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,yBAAyB,CAChC,CAAU,EACV,SAAiB;IAEjB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;IAC5E,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5E,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAC,wDAAwD;IACxG,MAAM,GAAG,GAAiF;QACxF,MAAM,EAAE,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC;KAC9C,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,IAAI,KAAK;QAAE,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACd,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS;YAC1B,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,MAAM;QAAE,GAAG,CAAC,OAAO,GAAG,KAAK,CAAC;IACtC,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,KAAK,QAAQ;QAAE,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC7E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sFAAsF;AACtF,SAAS,eAAe,CAAC,MAAc,EAAE,SAAiB;IACxD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnF,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,CAAU;IACxB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,UAAU;QAAE,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC;IACvD,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,IAAI,OAAO,KAAK,KAAK,UAAU;QAAE,OAAQ,KAA2B,CAAC,IAAI,IAAI,QAAQ,CAAC;IACtF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC3D,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC9B,GAAG,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU;IAC1B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAQD,kFAAkF;AAClF,MAAM,UAAU,iBAAiB,CAAC,GAAY,EAAE,IAAY;IAC1D,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,MAAM,IAAI,iBAAiB,CAAC,WAAW,IAAI,EAAE,EAAE,2BAA2B,CAAC,CAAC;IAC5F,IAAI,CAAC,CAAC,CAAC,IAAI;QACT,MAAM,IAAI,iBAAiB,CACzB,WAAW,IAAI,EAAE,EACjB,sDAAsD,CACvD,CAAC;IACJ,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG;QAChB,GAAG;QACH,IAAI;QACJ,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;QACjC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC;KAC7B,CAAC;IACF,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,iBAAiB,CAAC,QAAQ,CAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAI,EAAE,WAAW,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC3C,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAC1F,OAAO;YACL,GAAG,GAAG,CAAC,SAAS,CAAC;YACjB,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;SACvB,CAAC;IAC9B,CAAC;IACD,OAAO,GAA6B,CAAC;AACvC,CAAC;AAED,SAAS,IAAI,CAAC,GAA4B,EAAE,IAAc;IACxD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAChE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,OAAe,EACf,YAAoB;IAEpB,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9F,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAY,CAAC;QACjB,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,iBAAiB,CACzB,WAAW,IAAI,EAAE,EACjB,mBAAmB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CACtE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,GAAG;YACL,MAAM,IAAI,iBAAiB,CACzB,WAAW,IAAI,EAAE,EACjB,0BAA0B,KAAK,CAAC,GAAG,cAAc,GAAG,GAAG,CACxD,CAAC;QACJ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC;IAC9B,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACjB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;CAC5F,CAAC,CAAC;AAEH,iGAAiG;AACjG,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAe,EAAE,aAAqB;IACxE,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,iBAAiB,CACzB,WAAW,EACX,kBAAkB,aAAa,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CACvF,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,iBAAiB,CAAC,QAAQ,CAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAI,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,EAAE;YACjD,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAe,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAC/C,CAAC;IACN,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,IAAI,iBAAiB,CAAC,WAAW,EAAE,GAAG,aAAa,uBAAuB,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YACnB,MAAM,IAAI,iBAAiB,CAAC,WAAW,EAAE,4BAA4B,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAClF,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU;IACpC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC;AAChG,CAAC;AAED,kGAAkG;AAClG,SAAS,mBAAmB,CAAC,GAAY;IACvC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAChE,IAAI,kBAAkB,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC;AAC/B,CAAC"}

package/dist/paths.d.ts

@@ -0,0 +1,26 @@
+import { type AnyStateMachine } from 'xstate';
+import { type MachineJson } from '@junejuly-lockstep/model';
+export interface PathStep {
+    from: string;
+    event: string;
+    to: string;
+}
+export interface EnumeratedPath {
+    /** State the path ends in. */
+    target: string;
+    steps: PathStep[];
+}
+/**
+ * Build an executable XState v5 machine from the JSON model. Every named guard is stubbed
+ * to `true` so guarded branches are reachable during enumeration; the walker exercises the
+ * seeded scenario, which is what decides the real branch.
+ */
+export declare function machineFromJson(json: MachineJson): AnyStateMachine;
+/**
+ * Enumerate one shortest path per reachable state with `@xstate/graph`. Output is sorted
+ * by target state key then by event sequence so walks are ordered identically every run.
+ */
+export declare function enumeratePaths(json: MachineJson): EnumeratedPath[];
+/** Declared transitions that no enumerated path exercises (e.g. unreachable states). */
+export declare function uncoveredTransitions(json: MachineJson, paths: EnumeratedPath[]): PathStep[];
+//# sourceMappingURL=paths.d.ts.map

package/dist/paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,KAAK,eAAe,EAAE,MAAM,QAAQ,CAAC;AAC7D,OAAO,EAAiB,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE3E,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,cAAc;IAC7B,8BAA8B;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,WAAW,GAAG,eAAe,CAYlE;AAQD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,WAAW,GAAG,cAAc,EAAE,CAgClE;AAED,wFAAwF;AACxF,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,QAAQ,EAAE,CAK3F"}

package/dist/paths.js

@@ -0,0 +1,80 @@
+import { getShortestPaths } from '@xstate/graph';
+import { createMachine } from 'xstate';
+import { transitionsOf } from '@junejuly-lockstep/model';
+/**
+ * Build an executable XState v5 machine from the JSON model. Every named guard is stubbed
+ * to `true` so guarded branches are reachable during enumeration; the walker exercises the
+ * seeded scenario, which is what decides the real branch.
+ */
+export function machineFromJson(json) {
+    const guards = {};
+    const actions = {};
+    for (const t of transitionsOf(json))
+        if (t.guard)
+            guards[t.guard] = () => true;
+    for (const state of Object.values(json.states)) {
+        for (const value of Object.values(state.on ?? {})) {
+            const configs = typeof value === 'string' ? [] : Array.isArray(value) ? value : [value];
+            for (const c of configs)
+                for (const a of c.actions ?? [])
+                    actions[a] = () => { };
+        }
+    }
+    // The model's JSON subset is valid XState config by construction.
+    return createMachine(json, { guards, actions });
+}
+function stateValueKey(value) {
+    if (typeof value === 'string')
+        return value;
+    if (value && typeof value === 'object')
+        return Object.keys(value)[0] ?? '';
+    return String(value);
+}
+/**
+ * Enumerate one shortest path per reachable state with `@xstate/graph`. Output is sorted
+ * by target state key then by event sequence so walks are ordered identically every run.
+ */
+export function enumeratePaths(json) {
+    const machine = machineFromJson(json);
+    const paths = getShortestPaths(machine, {
+        // Serialize by state value only: context never changes in the JSON subset we execute.
+        serializeState: (snapshot) => stateValueKey(snapshot.value),
+    });
+    const out = paths.map((p) => {
+        const steps = [];
+        let from = json.initial;
+        for (const step of p.steps) {
+            // @xstate/graph records the implicit `xstate.init` entry into the initial state; it is not a transition.
+            if (step.event.type.startsWith('xstate.'))
+                continue;
+            const to = stateValueKey(step.state.value);
+            steps.push({ from, event: step.event.type, to });
+            from = to;
+        }
+        return { target: stateValueKey(p.state.value), steps };
+    });
+    // Drop degenerate duplicates (same target, same steps), then order deterministically.
+    const seen = new Set();
+    const unique = out.filter((p) => {
+        const key = `${p.target}|${p.steps.map((s) => `${s.from}-${s.event}-${s.to}`).join('>')}`;
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        return true;
+    });
+    return unique.sort((a, b) => {
+        if (a.target !== b.target)
+            return a.target < b.target ? -1 : 1;
+        const ea = a.steps.map((s) => s.event).join('>');
+        const eb = b.steps.map((s) => s.event).join('>');
+        return ea < eb ? -1 : ea > eb ? 1 : 0;
+    });
+}
+/** Declared transitions that no enumerated path exercises (e.g. unreachable states). */
+export function uncoveredTransitions(json, paths) {
+    const covered = new Set(paths.flatMap((p) => p.steps.map((s) => `${s.from}|${s.event}|${s.to}`)));
+    return transitionsOf(json)
+        .filter((t) => !covered.has(`${t.from}|${t.event}|${t.to}`))
+        .map((t) => ({ from: t.from, event: t.event, to: t.to }));
+}
+//# sourceMappingURL=paths.js.map

package/dist/paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,aAAa,EAAwB,MAAM,QAAQ,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAoB,MAAM,0BAA0B,CAAC;AAc3E;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAiB;IAC/C,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,MAAM,OAAO,GAA+B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,KAAK;YAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC/E,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACxF,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE;oBAAE,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,kEAAkE;IAClE,OAAO,aAAa,CAAC,IAA2C,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrF,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,IAAiB;IAC9C,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE;QACtC,sFAAsF;QACtF,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAE,QAA+B,CAAC,KAAK,CAAC;KACpF,CAAC,CAAC;IACH,MAAM,GAAG,GAAqB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,KAAK,GAAe,EAAE,CAAC;QAC7B,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,yGAAyG;YACzG,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,SAAS;YACpD,MAAM,EAAE,GAAG,aAAa,CAAE,IAAI,CAAC,KAA4B,CAAC,KAAK,CAAC,CAAC;YACnE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YACjD,IAAI,GAAG,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,aAAa,CAAE,CAAC,CAAC,KAA4B,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,sFAAsF;IACtF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1F,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,oBAAoB,CAAC,IAAiB,EAAE,KAAuB;IAC7E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,OAAO,aAAa,CAAC,IAAI,CAAC;SACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;SAC3D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/reconcile.d.ts

@@ -0,0 +1,63 @@
+import { readFileSync } from 'node:fs';
+import type { Env, IngestRunResponse, RunKind, RunPayload } from '@junejuly-lockstep/model';
+import { type IngestClient } from '@junejuly-lockstep/sdk';
+import { type ExitCode, type FailOnVerdicts } from './exitCodes.js';
+import { type WalkDeps } from './walk.js';
+export interface ReconcileOptions {
+    /** Commit SHA under test; defaults to GITHUB_SHA or `git rev-parse HEAD`. */
+    ref?: string;
+    kind: RunKind;
+    pr?: number;
+    env: Env;
+    deployLabel?: string;
+    configPath?: string;
+    outDir?: string;
+    /**
+     * Platform API origin to post to instead of `apiBaseUrl` from the config (also the
+     * `LOCKSTEP_API_BASE_URL` env var). For rehearsals against a local API; CI leaves it unset.
+     */
+    apiBaseUrl?: string;
+    dryRun?: boolean;
+    failOnVerdicts: FailOnVerdicts;
+    determinismCheck?: boolean;
+    declaredSeams?: string[];
+    /** Git ref whose SDL the contract diff compares against (default HEAD~1). */
+    baseRef?: string;
+    cwd?: string;
+    log?: (line: string) => void;
+    /** Test seams. */
+    deps?: {
+        walk?: WalkDeps;
+        fetch?: typeof fetch;
+        client?: IngestClient;
+        now?: () => Date;
+        noBoot?: boolean;
+    };
+}
+export interface ReconcileResult {
+    payload: RunPayload;
+    response: IngestRunResponse | null;
+    exitCode: ExitCode;
+    outDir: string;
+}
+export declare function resolveCommitSha(ref: string | undefined, cwd: string, env?: NodeJS.ProcessEnv): string;
+export declare const API_BASE_URL_ENV = "LOCKSTEP_API_BASE_URL";
+/** `--api-base-url`, then `LOCKSTEP_API_BASE_URL`, then the config; must be an http(s) URL. */
+export declare function resolveApiBaseUrl(override: string | undefined, fromConfig: string, env?: NodeJS.ProcessEnv): string;
+/** Run git and return trimmed stdout, or null when git or the ref is unavailable. */
+export declare function gitExec(cwd: string, args: string[]): string | null;
+/** `git show <ref>:<path>`, or null when the ref or file does not exist. */
+export declare function gitShowFile(cwd: string, ref: string, file: string): string | null;
+/** The whole pipeline, in SPEC order. Throws ContractViolation or InfrastructureError. */
+export declare function reconcile(opts: ReconcileOptions): Promise<ReconcileResult>;
+/** `lockstep validate`: contract only, no walk. Returns a printable checklist and whether it passed. */
+export declare function validate(opts: {
+    configPath?: string;
+    cwd?: string;
+    offline?: boolean;
+}): Promise<{
+    ok: boolean;
+    lines: string[];
+}>;
+export { readFileSync as _readFileSync };
+//# sourceMappingURL=reconcile.d.ts.map

package/dist/reconcile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../src/reconcile.ts"],"names":[],"mappings":"AAEA,OAAO,EAAc,YAAY,EAAyB,MAAM,SAAS,CAAC;AAE1E,OAAO,KAAK,EAEV,GAAG,EACH,iBAAiB,EACjB,OAAO,EACP,UAAU,EACX,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAwC,KAAK,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAWjG,OAAO,EAA2B,KAAK,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAO7F,OAAO,EAAQ,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAC;AAEhD,MAAM,WAAW,gBAAgB;IAC/B,6EAA6E;IAC7E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,GAAG,CAAC;IACT,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,cAAc,EAAE,cAAc,CAAC;IAC/B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,kBAAkB;IAClB,IAAI,CAAC,EAAE;QACL,IAAI,CAAC,EAAE,QAAQ,CAAC;QAChB,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC;QACrB,MAAM,CAAC,EAAE,YAAY,CAAC;QACtB,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;QACjB,MAAM,CAAC,EAAE,OAAO,CAAC;KAClB,CAAC;CACH;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,UAAU,CAAC;IACpB,QAAQ,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACnC,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAID,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,MAAM,GAAG,SAAS,EACvB,GAAG,EAAE,MAAM,EACX,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,CAUR;AAED,eAAO,MAAM,gBAAgB,0BAA0B,CAAC;AAExD,+FAA+F;AAC/F,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,UAAU,EAAE,MAAM,EAClB,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,CAcR;AAED,qFAAqF;AACrF,wBAAgB,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CAUlE;AAED,4EAA4E;AAC5E,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGjF;AAED,0FAA0F;AAC1F,wBAAsB,SAAS,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC,CA8LhF;AA4BD,wGAAwG;AACxG,wBAAsB,QAAQ,CAAC,IAAI,EAAE;IACnC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,GAAG,OAAO,CAAC;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAsE5C;AAED,OAAO,EAAE,YAAY,IAAI,aAAa,EAAE,CAAC"}