modality-ts 0.0.16 → 0.0.18

package/dist/check/traces/step-facts.js

@@ -1,35 +0,0 @@
-import { readPending } from "../runtime/effects.js";
-export function facts(pre, post, transition) {
-    const before = readPending(pre);
-    const after = readPending(post);
-    const enqueued = after.find((op) => !before.some((candidate) => sameOp(candidate, op)));
-    const dequeued = before.find((op) => !after.some((candidate) => sameOp(candidate, op)));
-    return {
-        transition,
-        enqueued: (op) => Boolean(enqueued && enqueued.opId === op),
-        resolved: (op, outcome) => transition.label.kind === "resolve" &&
-            transition.label.op === op &&
-            (!outcome || transition.label.outcome === outcome),
-        navigated: () => pre["sys:route"] !== post["sys:route"],
-        navigatedTo: (route) => post["sys:route"] === route && pre["sys:route"] !== route,
-        op: enqueued
-            ? {
-                id: enqueued.opId,
-                continuation: enqueued.continuation,
-                args: enqueued.args,
-            }
-            : dequeued
-                ? {
-                    id: dequeued.opId,
-                    continuation: dequeued.continuation,
-                    args: dequeued.args,
-                }
-                : undefined,
-    };
-}
-function sameOp(a, b) {
-    return (a.opId === b.opId &&
-        a.continuation === b.continuation &&
-        JSON.stringify(a.args) === JSON.stringify(b.args));
-}
-//# sourceMappingURL=step-facts.js.map

package/dist/check/traces/step-facts.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"step-facts.js","sourceRoot":"","sources":["../../../src/check/traces/step-facts.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,MAAM,UAAU,KAAK,CACnB,GAAe,EACf,IAAgB,EAChB,UAAsB;IAEtB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAC3D,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAC1B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAC1D,CAAC;IACF,OAAO;QACL,UAAU;QACV,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;QAC3D,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CACxB,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YACnC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE;YAC1B,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC;QACpD,SAAS,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC,WAAW,CAAC;QACvD,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CACrB,IAAI,CAAC,WAAW,CAAC,KAAK,KAAK,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,KAAK;QAC3D,EAAE,EAAE,QAAQ;YACV,CAAC,CAAC;gBACE,EAAE,EAAE,QAAQ,CAAC,IAAI;gBACjB,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,IAAI,EAAE,QAAQ,CAAC,IAAI;aACpB;YACH,CAAC,CAAC,QAAQ;gBACR,CAAC,CAAC;oBACE,EAAE,EAAE,QAAQ,CAAC,IAAI;oBACjB,YAAY,EAAE,QAAQ,CAAC,YAAY;oBACnC,IAAI,EAAE,QAAQ,CAAC,IAAI;iBACpB;gBACH,CAAC,CAAC,SAAS;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,CAAY,EAAE,CAAY;IACxC,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QACjB,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY;QACjC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAClD,CAAC;AACJ,CAAC"}

package/dist/check/traces/trace.d.ts

@@ -1,13 +0,0 @@
-import type { Model, ModelState, Trace, TraceStep, Transition } from "modality-ts/core";
-import type { Parent, PropertyVerdict } from "../types.js";
-export interface TraceContext {
-    model: Model;
-    parents: Map<string, Parent>;
-    states: Map<string, ModelState>;
-}
-export declare function traceTo(ctx: TraceContext, canon: string): Trace;
-export declare function makeTraceStep(pre: ModelState, post: ModelState, transition: Transition): TraceStep;
-export declare function replayCheckedVerdict(status: "violated" | "reachable", property: string, trace: Trace): Extract<PropertyVerdict, {
-    status: "violated" | "reachable";
-}>;
-//# sourceMappingURL=trace.d.ts.map

package/dist/check/traces/trace.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../../src/check/traces/trace.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,KAAK,EACL,UAAU,EACV,KAAK,EACL,SAAS,EACT,UAAU,EACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAG3D,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CACjC;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CAmB/D;AAED,wBAAgB,aAAa,CAC3B,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,UAAU,GACrB,SAAS,CAQX;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,UAAU,GAAG,WAAW,EAChC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,eAAe,EAAE;IAAE,MAAM,EAAE,UAAU,GAAG,WAAW,CAAA;CAAE,CAAC,CAIhE"}

package/dist/check/traces/trace.js

@@ -1,47 +0,0 @@
-import { diff } from "../engine/state-utils.js";
-export function traceTo(ctx, canon) {
-    const steps = [];
-    let current = canon;
-    while (current) {
-        const parent = ctx.parents.get(current);
-        if (!parent)
-            break;
-        if (parent.parent && parent.transitionId) {
-            const pre = ctx.states.get(parent.parent);
-            const post = ctx.states.get(current);
-            const transition = ctx.model.transitions.find((candidate) => candidate.id === parent.transitionId);
-            if (pre && post && transition) {
-                steps.push(makeTraceStep(pre, post, transition));
-            }
-        }
-        current = parent.parent;
-    }
-    return { steps: steps.reverse() };
-}
-export function makeTraceStep(pre, post, transition) {
-    return {
-        transitionId: transition.id,
-        label: transition.label,
-        pre,
-        post,
-        diff: diff(pre, post),
-    };
-}
-export function replayCheckedVerdict(status, property, trace) {
-    const replayBlockedReason = replayBlockedReasonForTrace(trace);
-    if (!replayBlockedReason)
-        return { status, property, trace };
-    return { status, property, trace, replayable: false, replayBlockedReason };
-}
-function replayBlockedReasonForTrace(trace) {
-    const blocked = trace.steps
-        .filter((step) => requiresLocator(step.label) && !step.label.locator)
-        .map((step) => `${step.transitionId}:${step.label.kind}`);
-    if (blocked.length === 0)
-        return undefined;
-    return `trace contains locatorless replay steps: ${blocked.join(", ")}`;
-}
-function requiresLocator(label) {
-    return (label.kind === "click" || label.kind === "submit" || label.kind === "input");
-}
-//# sourceMappingURL=trace.js.map

package/dist/check/traces/trace.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"trace.js","sourceRoot":"","sources":["../../../src/check/traces/trace.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAQhD,MAAM,UAAU,OAAO,CAAC,GAAiB,EAAE,KAAa;IACtD,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,OAAO,GAAkB,KAAK,CAAC;IACnC,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM;YAAE,MAAM;QACnB,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAC3C,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,YAAY,CACpD,CAAC;YACF,IAAI,GAAG,IAAI,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,GAAe,EACf,IAAgB,EAChB,UAAsB;IAEtB,OAAO;QACL,YAAY,EAAE,UAAU,CAAC,EAAE;QAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,GAAG;QACH,IAAI;QACJ,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAgC,EAChC,QAAgB,EAChB,KAAY;IAEZ,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,mBAAmB;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC7D,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAY;IAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK;SACxB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;SACpE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,4CAA4C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,eAAe,CACtB,KAAiB;IAEjB,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAC5E,CAAC;AACJ,CAAC"}