@typeonce/effect-machine 0.4.0 → 0.5.1

package/dist/internal/testing/machine/invariant.js

@@ -0,0 +1,214 @@
+/**
+ * User-defined semantic invariants over planner traces.
+ *
+ * @since 0.4.0
+ */
+import * as Data from "effect/Data";
+import * as Effect from "effect/Effect";
+import * as Machine from "../../../Machine.js";
+const validateName = (name) => {
+    if (name.trim().length === 0) {
+        throw new Error("MachineTest.Invariant expected name to be a non-empty string");
+    }
+};
+const validateRequirement = (options) => {
+    const minimum = options.require?.minObservations;
+    if (minimum !== undefined && (!Number.isSafeInteger(minimum) || minimum < 0)) {
+        throw new Error("MachineTest.Invariant expected minObservations to be a non-negative safe integer");
+    }
+};
+export const stateInvariant = (name, check, options = {}) => {
+    validateName(name);
+    validateRequirement(options);
+    return Object.freeze({
+        _tag: "StateInvariant",
+        name,
+        observe: options.observe ?? "settled",
+        check,
+        ...(options.when === undefined ? {} : { when: options.when }),
+        ...(options.require === undefined ? {} : { require: Object.freeze({ ...options.require }) })
+    });
+};
+export const stepInvariant = (name, check, options = {}) => {
+    validateName(name);
+    validateRequirement(options);
+    return Object.freeze({
+        _tag: "StepInvariant",
+        name,
+        check,
+        ...(options.when === undefined ? {} : { when: options.when }),
+        ...(options.require === undefined ? {} : { require: Object.freeze({ ...options.require }) })
+    });
+};
+export const traceInvariant = (name, check, options = {}) => {
+    validateName(name);
+    validateRequirement(options);
+    return Object.freeze({
+        _tag: "TraceInvariant",
+        name,
+        check,
+        ...(options.when === undefined ? {} : { when: options.when }),
+        ...(options.require === undefined ? {} : { require: Object.freeze({ ...options.require }) })
+    });
+};
+export const Invariant = Object.freeze({
+    state: stateInvariant,
+    step: stepInvariant,
+    trace: traceInvariant
+});
+export const invariants = (_machine) => Object.freeze({
+    state: (name, check, options) => stateInvariant(name, check, options),
+    step: (name, check, options) => stepInvariant(name, check, options),
+    trace: (name, check, options) => traceInvariant(name, check, options)
+});
+export class InvariantError extends Data.TaggedError("MachineTestInvariantError") {
+}
+const configuration = (machine, snapshot) => Machine.configuration(machine, snapshot).map(({ path }) => path);
+const stateObservations = (machine, trace, observe) => {
+    const observations = [];
+    let observationIndex = 0;
+    const add = (snapshot, paths, phase, eventIndex, microstepIndex, event) => {
+        const context = {
+            machine,
+            trace,
+            snapshot,
+            configuration: paths,
+            observationIndex,
+            phase,
+            eventIndex,
+            microstepIndex,
+            event
+        };
+        observations.push({
+            context,
+            observationIndex,
+            eventIndex,
+            ...(microstepIndex === undefined ? {} : { microstepIndex }),
+            phase,
+            configuration: paths,
+            ...(event === undefined ? {} : { event })
+        });
+        observationIndex += 1;
+    };
+    if (observe === "final") {
+        add(trace.final, trace.finalConfiguration, "final", undefined, undefined, undefined);
+        return observations;
+    }
+    if (observe === "settled" || observe === "all") {
+        add(trace.initial.plan.state, trace.initial.configuration, "initial", undefined, undefined, undefined);
+    }
+    if (observe === "microsteps" || observe === "all") {
+        trace.initial.plan.microsteps.forEach((microstep, microstepIndex) => {
+            add(microstep.next, configuration(machine, microstep.next), "microstep", undefined, microstepIndex, microstep.event);
+        });
+    }
+    for (const step of trace.steps) {
+        if (observe === "microsteps" || observe === "all") {
+            step.plan.microsteps.forEach((microstep, microstepIndex) => {
+                add(microstep.next, configuration(machine, microstep.next), "microstep", step.index, microstepIndex, microstep.event);
+            });
+        }
+        if (observe === "settled" || observe === "all") {
+            add(step.after, step.afterConfiguration, "event", step.index, undefined, step.event);
+        }
+    }
+    return observations;
+};
+const stepObservations = (machine, trace) => trace.steps.map((step) => ({
+    context: {
+        machine,
+        trace,
+        step,
+        index: step.index,
+        before: step.before,
+        beforeConfiguration: step.beforeConfiguration,
+        event: step.event,
+        plan: step.plan,
+        after: step.after,
+        afterConfiguration: step.afterConfiguration
+    },
+    eventIndex: step.index,
+    event: step.event
+}));
+const traceObservations = (machine, trace) => [{
+        context: { machine, trace },
+        eventIndex: undefined
+    }];
+const scopeOf = (invariant) => {
+    switch (invariant._tag) {
+        case "StateInvariant":
+            return "state";
+        case "StepInvariant":
+            return "step";
+        case "TraceInvariant":
+            return "trace";
+    }
+};
+const messageOf = (outcome) => outcome === true ? undefined : typeof outcome === "string" ? outcome : "Invariant predicate returned false";
+const evaluateInvariant = (invariant, scope, observations) => {
+    let observed = 0;
+    let failures = 0;
+    const violations = [];
+    for (const observation of observations) {
+        if (invariant.when !== undefined && !invariant.when(observation.context))
+            continue;
+        observed += 1;
+        const message = messageOf(invariant.check(observation.context));
+        if (message === undefined)
+            continue;
+        failures += 1;
+        violations.push({
+            invariant: invariant.name,
+            scope,
+            kind: "predicate",
+            ...(observation.observationIndex === undefined ? {} : { observationIndex: observation.observationIndex }),
+            eventIndex: observation.eventIndex,
+            ...(observation.microstepIndex === undefined ? {} : { microstepIndex: observation.microstepIndex }),
+            ...(observation.phase === undefined ? {} : { phase: observation.phase }),
+            ...(observation.configuration === undefined ? {} : { configuration: observation.configuration }),
+            ...(observation.event === undefined ? {} : { event: observation.event }),
+            message
+        });
+    }
+    const minimum = invariant.require?.minObservations ?? 0;
+    const insufficient = observed < minimum;
+    if (insufficient) {
+        violations.push({
+            invariant: invariant.name,
+            scope,
+            kind: "observations",
+            eventIndex: undefined,
+            message: `Invariant required at least ${minimum} observation${minimum === 1 ? "" : "s"} but observed ${observed}`
+        });
+    }
+    return {
+        check: {
+            invariant: invariant.name,
+            scope,
+            status: failures > 0 ? "failed" : insufficient ? "insufficient" : observed === 0 ? "untested" : "passed",
+            observations: observed,
+            failures
+        },
+        violations
+    };
+};
+export const checkInvariants = (machine, trace, invariants) => Effect.suspend(() => {
+    const checks = [];
+    const violations = [];
+    for (const invariant of invariants) {
+        const scope = scopeOf(invariant);
+        const result = invariant._tag === "StateInvariant"
+            ? evaluateInvariant(invariant, scope, stateObservations(machine, trace, invariant.observe))
+            : invariant._tag === "StepInvariant"
+                ? evaluateInvariant(invariant, scope, stepObservations(machine, trace))
+                : evaluateInvariant(invariant, scope, traceObservations(machine, trace));
+        checks.push(result.check);
+        violations.push(...result.violations);
+    }
+    const report = { checks };
+    return violations.length === 0
+        ? Effect.succeed(report)
+        : Effect.fail(new InvariantError({ trace, violations, report }));
+});
+export const assertInvariants = (machine, trace, invariants) => checkInvariants(machine, trace, invariants).pipe(Effect.asVoid);
+//# sourceMappingURL=invariant.js.map

package/dist/internal/testing/machine/invariant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/invariant.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAmC9C,MAAM,YAAY,GAAG,CAAC,IAAY,EAAQ,EAAE;IAC1C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IACjF,CAAC;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAU,OAAkC,EAAQ,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,eAAe,CAAA;IAChD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;IACrG,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAY,EACZ,KAA8D,EAC9D,UAAoC,EAAE,EACnB,EAAE;IACrB,YAAY,CAAC,IAAI,CAAC,CAAA;IAClB,mBAAmB,CAAC,OAAO,CAAC,CAAA;IAC5B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,gBAAyB;QAC/B,IAAI;QACJ,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,SAAS;QACrC,KAAK;QACL,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;KAC7F,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAY,EACZ,KAA6D,EAC7D,UAAqD,EAAE,EACrC,EAAE;IACpB,YAAY,CAAC,IAAI,CAAC,CAAA;IAClB,mBAAmB,CAAC,OAAO,CAAC,CAAA;IAC5B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,eAAwB;QAC9B,IAAI;QACJ,KAAK;QACL,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;KAC7F,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAY,EACZ,KAA8D,EAC9D,UAAsD,EAAE,EACrC,EAAE;IACrB,YAAY,CAAC,IAAI,CAAC,CAAA;IAClB,mBAAmB,CAAC,OAAO,CAAC,CAAA;IAC5B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,gBAAyB;QAC/B,IAAI;QACJ,KAAK;QACL,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;KAC7F,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,cAAc;IACrB,IAAI,EAAE,aAAa;IACnB,KAAK,EAAE,cAAc;CACtB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAuB,QAAW,EAAuB,EAAE,CACnF,MAAM,CAAC,MAAM,CAAC;IACZ,KAAK,EAAE,CACL,IAAY,EACZ,KAA8D,EAC9D,OAAkC,EAClC,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;IACzC,IAAI,EAAE,CACJ,IAAY,EACZ,KAA6D,EAC7D,OAAmD,EACnD,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;IACxC,KAAK,EAAE,CACL,IAAY,EACZ,KAA8D,EAC9D,OAAoD,EACpD,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;CAC1C,CAAC,CAAA;AAEJ,MAAM,OAAO,cAAkD,SAAQ,IAAI,CAAC,WAAW,CACrF,2BAA2B,CAK3B;CAAG;AAEL,MAAM,aAAa,GAAG,CACpB,OAAU,EACV,QAA6D,EAChC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;AAElG,MAAM,iBAAiB,GAAG,CACxB,OAAU,EACV,KAAe,EACf,OAAqC,EACoB,EAAE;IAC3D,MAAM,YAAY,GAAoD,EAAE,CAAA;IACxE,IAAI,gBAAgB,GAAG,CAAC,CAAA;IACxB,MAAM,GAAG,GAAG,CACV,QAA6D,EAC7D,KAAkC,EAClC,KAAuB,EACvB,UAA8B,EAC9B,cAAkC,EAClC,KAAkE,EAC5D,EAAE;QACR,MAAM,OAAO,GAA6B;YACxC,OAAO;YACP,KAAK;YACL,QAAQ;YACR,aAAa,EAAE,KAAK;YACpB,gBAAgB;YAChB,KAAK;YACL,UAAU;YACV,cAAc;YACd,KAAK;SACN,CAAA;QACD,YAAY,CAAC,IAAI,CAAC;YAChB,OAAO;YACP,gBAAgB;YAChB,UAAU;YACV,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;YAC3D,KAAK;YACL,aAAa,EAAE,KAAK;YACpB,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SAC1C,CAAC,CAAA;QACF,gBAAgB,IAAI,CAAC,CAAA;IACvB,CAAC,CAAA;IAED,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;QACpF,OAAO,YAAY,CAAA;IACrB,CAAC;IAED,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QAC/C,GAAG,CACD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EACxB,KAAK,CAAC,OAAO,CAAC,aAAa,EAC3B,SAAS,EACT,SAAS,EACT,SAAS,EACT,SAAS,CACV,CAAA;IACH,CAAC;IAED,IAAI,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QAClD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE;YAClE,GAAG,CACD,SAAS,CAAC,IAAI,EACd,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,EACtC,WAAW,EACX,SAAS,EACT,cAAc,EACd,SAAS,CAAC,KAAK,CAChB,CAAA;QACH,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE;gBACzD,GAAG,CACD,SAAS,CAAC,IAAI,EACd,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,EACtC,WAAW,EACX,IAAI,CAAC,KAAK,EACV,cAAc,EACd,SAAS,CAAC,KAAK,CAChB,CAAA;YACH,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC/C,GAAG,CACD,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,kBAAkB,EACvB,OAAO,EACP,IAAI,CAAC,KAAK,EACV,SAAS,EACT,IAAI,CAAC,KAAK,CACX,CAAA;QACH,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAA;AACrB,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,CACvB,OAAU,EACV,KAAe,EACyC,EAAE,CAC1D,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACzB,OAAO,EAAE;QACP,OAAO;QACP,KAAK;QACL,IAAI;QACJ,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;QAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;KAC5C;IACD,UAAU,EAAE,IAAI,CAAC,KAAK;IACtB,KAAK,EAAE,IAAI,CAAC,KAAK;CAClB,CAAC,CAAC,CAAA;AAEL,MAAM,iBAAiB,GAAG,CACxB,OAAU,EACV,KAAe,EAC0C,EAAE,CAAC,CAAC;QAC7D,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;QAC3B,UAAU,EAAE,SAAS;KACtB,CAAC,CAAA;AAEF,MAAM,OAAO,GAAG,CAAuB,SAA8B,EAAkB,EAAE;IACvF,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAA;QAChB,KAAK,eAAe;YAClB,OAAO,MAAM,CAAA;QACf,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAA;IAClB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,OAAyB,EAAsB,EAAE,CAClE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,oCAAoC,CAAA;AAO7G,MAAM,iBAAiB,GAAG,CACxB,SAAsC,EACtC,KAAqB,EACrB,YAAoD,EAIpD,EAAE;IACF,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,MAAM,UAAU,GAAiC,EAAE,CAAA;IAEnD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC;YAAE,SAAQ;QAClF,QAAQ,IAAI,CAAC,CAAA;QACb,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAA;QAC/D,IAAI,OAAO,KAAK,SAAS;YAAE,SAAQ;QACnC,QAAQ,IAAI,CAAC,CAAA;QACb,UAAU,CAAC,IAAI,CAAC;YACd,SAAS,EAAE,SAAS,CAAC,IAAI;YACzB,KAAK;YACL,IAAI,EAAE,WAAW;YACjB,GAAG,CAAC,WAAW,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,WAAW,CAAC,gBAAgB,EAAE,CAAC;YACzG,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,GAAG,CAAC,WAAW,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,WAAW,CAAC,cAAc,EAAE,CAAC;YACnG,GAAG,CAAC,WAAW,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;YACxE,GAAG,CAAC,WAAW,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,WAAW,CAAC,aAAa,EAAE,CAAC;YAChG,GAAG,CAAC,WAAW,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;YACxE,OAAO;SACR,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,eAAe,IAAI,CAAC,CAAA;IACvD,MAAM,YAAY,GAAG,QAAQ,GAAG,OAAO,CAAA;IACvC,IAAI,YAAY,EAAE,CAAC;QACjB,UAAU,CAAC,IAAI,CAAC;YACd,SAAS,EAAE,SAAS,CAAC,IAAI;YACzB,KAAK;YACL,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,SAAS;YACrB,OAAO,EAAE,+BAA+B,OAAO,eAAe,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iBAAiB,QAAQ,EAAE;SAClH,CAAC,CAAA;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE;YACL,SAAS,EAAE,SAAS,CAAC,IAAI;YACzB,KAAK;YACL,MAAM,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ;YACxG,YAAY,EAAE,QAAQ;YACtB,QAAQ;SACT;QACD,UAAU;KACX,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAU,EACV,KAAe,EACf,UAA8C,EACK,EAAE,CACrD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;IAClB,MAAM,MAAM,GAAgC,EAAE,CAAA;IAC9C,MAAM,UAAU,GAAiC,EAAE,CAAA;IAEnD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAChC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,KAAK,gBAAgB;YAChD,CAAC,CAAC,iBAAiB,CAAC,SAAS,EAAE,KAAK,EAAE,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;YAC3F,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe;gBACpC,CAAC,CAAC,iBAAiB,CAAC,SAAS,EAAE,KAAK,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvE,CAAC,CAAC,iBAAiB,CAAC,SAAS,EAAE,KAAK,EAAE,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;QAC1E,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACzB,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACvC,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,MAAM,EAAE,CAAA;IAC1C,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;AACpE,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAAU,EACV,KAAe,EACf,UAA8C,EACN,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA"}

package/dist/internal/testing/machine/probe.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Causal testing access to a running statechart.
+ *
+ * @since 0.4.0
+ */
+import * as Effect from "effect/Effect";
+import type * as Machine from "../../../Machine.js";
+import type { Probe } from "../../../testing/MachineTest.js";
+type AnyMachine = Machine.Machine.Any;
+declare const ProbeUnavailableError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "MachineTestProbeUnavailableError";
+} & Readonly<A>;
+/**
+ * Raised when a reference was not created by the managed statechart runtime.
+ *
+ * @category errors
+ * @since 0.4.0
+ */
+export declare class ProbeUnavailableError extends ProbeUnavailableError_base<{
+    readonly message: string;
+}> {
+}
+/** @internal */
+export declare const probe: <M extends AnyMachine, Error, Output>(machine: M, ref: Machine.MachineRef<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Machine.Machine.InputEvent<M>, Error, Output>) => Effect.Effect<Probe<M, Error, Output>, ProbeUnavailableError>;
+export {};
+//# sourceMappingURL=probe.d.ts.map

package/dist/internal/testing/machine/probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/probe.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,OAAO,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,KAAK,EAAa,MAAM,iCAAiC,CAAA;AAGvE,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;;;;AAErC;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,2BAAqD;IAC9F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAC;CAAG;AAEL,gBAAgB;AAChB,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM,EACvD,SAAS,CAAC,EACV,KAAK,OAAO,CAAC,UAAU,CACrB,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACnD,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAC7B,KAAK,EACL,MAAM,CACP,KACA,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,qBAAqB,CA6C9D,CAAA"}

package/dist/internal/testing/machine/probe.js

@@ -0,0 +1,45 @@
+/**
+ * Causal testing access to a running statechart.
+ *
+ * @since 0.4.0
+ */
+import * as Data from "effect/Data";
+import * as Effect from "effect/Effect";
+import * as Runtime from "../../machine/runtime.js";
+/**
+ * Raised when a reference was not created by the managed statechart runtime.
+ *
+ * @category errors
+ * @since 0.4.0
+ */
+export class ProbeUnavailableError extends Data.TaggedError("MachineTestProbeUnavailableError") {
+}
+/** @internal */
+export const probe = (machine, ref) => {
+    const acknowledged = ref[Runtime.acknowledgedSend];
+    if (acknowledged === undefined) {
+        return Effect.fail(new ProbeUnavailableError({
+            message: "MachineTest.probe requires a managed statechart reference created by Machine.start or Machine.resume"
+        }));
+    }
+    return Effect.succeed(Object.freeze({
+        machine,
+        ref,
+        await: Object.freeze({
+            none: { _tag: "None" },
+            until: (predicate) => ({ _tag: "Until", predicate })
+        }),
+        sendAndAwait: (event) => acknowledged.call(ref, event).pipe(Effect.map(({ after, before, plan }) => {
+            const eventPlan = plan;
+            return Object.freeze({
+                event,
+                before,
+                plan: eventPlan,
+                after,
+                handled: eventPlan.microsteps.length > 0,
+                configurationChanged: eventPlan.microsteps.some((microstep) => microstep.changed)
+            });
+        }))
+    }));
+};
+//# sourceMappingURL=probe.js.map

package/dist/internal/testing/machine/probe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/probe.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AAInD;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CAAC,kCAAkC,CAE5F;CAAG;AAEL,gBAAgB;AAChB,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,OAAU,EACV,GAKC,EAC8D,EAAE;IACjE,MAAM,YAAY,GAAI,GAKpB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAA;IAC5B,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,qBAAqB,CAAC;YACxB,OAAO,EAAE,sGAAsG;SAChH,CAAC,CACH,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAClC,OAAO;QACP,GAAG;QACH,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAW;YAC/B,KAAK,EAAE,CACL,SAMY,EACZ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAY,CAAA;SAC7C,CAAC;QACF,YAAY,EAAE,CAAC,KAAoC,EAAE,EAAE,CACrD,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;YACrC,MAAM,SAAS,GAAG,IAAoB,CAAA;YACtC,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,KAAK;gBACL,MAAM;gBACN,IAAI,EAAE,SAAS;gBACf,KAAK;gBACL,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;gBACxC,oBAAoB,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;aAClF,CAAC,CAAA;QACJ,CAAC,CAAC,CACH;KACJ,CAAC,CAAC,CAAA;AACL,CAAC,CAAA"}

package/dist/internal/testing/machine/referenceModel.d.ts

@@ -15,7 +15,7 @@ import type { FiniteModel } from "./finiteModel.js";
  * The deterministic value assigned to one active finite-model state.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceStateValue {
     readonly _tag: string;
@@ -25,7 +25,7 @@ export interface ReferenceStateValue {
  * One output retained for an actively completed state.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceCompletion {
     readonly path: string;
@@ -35,7 +35,7 @@ export interface ReferenceCompletion {
  * One independently captured shallow or deep history register.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceHistoryRecord {
     readonly mode: "shallow" | "deep";
@@ -46,7 +46,7 @@ export interface ReferenceHistoryRecord {
  * An independently interpreted finite-model configuration.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceState {
     /** Active ancestors and leaf in state-definition order. */
@@ -64,7 +64,7 @@ export interface ReferenceState {
  * One transition retained by the independent reference step.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceTransition {
     readonly source: string;
@@ -86,7 +86,7 @@ export interface ReferenceTransition {
  * The independently calculated planner microstep for one selected event.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceMicrostep {
     readonly next: ReferenceState;
@@ -100,7 +100,7 @@ export interface ReferenceMicrostep {
  * Startup semantics calculated without executing the real machine.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceInitialStep {
     readonly startingState: ReferenceState;
@@ -114,7 +114,7 @@ export interface ReferenceInitialStep {
  * One public event interpreted against a reference configuration.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceStep {
     readonly index: number;
@@ -129,7 +129,7 @@ export interface ReferenceStep {
  * A complete, pure interpretation of a finite model and event sequence.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ReferenceTrace {
     readonly events: ReadonlyArray<string>;
@@ -141,7 +141,7 @@ export interface ReferenceTrace {
  * Location of one planner/reference disagreement.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ModelVerificationLocation {
     readonly phase: "initial" | "event" | "final";
@@ -153,14 +153,14 @@ type ModelStateField = "initial.startingState" | "initial.plan.startingState" |
  * Stable semantic observation compared by the finite-model oracle.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type ModelVerificationField = `${ModelStateField}.${"activePaths" | "values" | "completions" | "history"}` | "event.tag" | "initial.startingConfiguration" | "initial.initialEntryPaths" | "initial.plan.initialEntryPaths" | "initial.configuration" | "initial.plan.microsteps" | "initial.plan.done" | "initial.plan.output" | "trace.steps.length" | "step.index" | "step.event" | "step.beforeConfiguration" | "step.plan.microsteps.length" | "microstep.event" | "microstep.transitions" | "microstep.exitPaths" | "microstep.entryPaths" | "microstep.changed" | "step.afterConfiguration" | "step.plan.done" | "step.plan.output" | "trace.finalConfiguration";
 /**
  * One structured semantic disagreement with the independent interpreter.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface ModelVerificationMismatch {
     readonly location: ModelVerificationLocation;
@@ -177,7 +177,7 @@ declare const ModelVerificationError_base: new <A extends Record<string, any> =
  * All semantic disagreements found for one finite-model trace.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare class ModelVerificationError extends ModelVerificationError_base<{
     readonly mismatches: ReadonlyArray<ModelVerificationMismatch>;
@@ -188,7 +188,7 @@ export declare class ModelVerificationError extends ModelVerificationError_base<
  * executing a `Machine`.
  *
  * @category verification
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const interpretModel: (model: FiniteModel, events: ReadonlyArray<string>) => ReferenceTrace;
 /**

package/dist/internal/testing/machine/referenceModel.js

@@ -15,7 +15,7 @@ import * as Effect from "effect/Effect";
  * All semantic disagreements found for one finite-model trace.
  *
  * @category errors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export class ModelVerificationError extends Data.TaggedError("MachineTestModelVerificationError") {
 }
@@ -798,7 +798,7 @@ const stepModel = (index, before, event, stepIndex) => {
  * executing a `Machine`.
  *
  * @category verification
- * @since 4.0.0
+ * @since 0.4.0
  */
 export const interpretModel = (model, events) => {
     const index = indexModel(model);