modality-ts 0.0.15 → 0.0.17

package/dist/check/properties/leads-to.js

@@ -1,70 +0,0 @@
-import { canonicalState } from "modality-ts/core";
-import { buildTransitionIndex, enabledTransitions, } from "../engine/transitions.js";
-import { changedVars } from "../engine/state-utils.js";
-import { stabilize } from "../engine/stabilize.js";
-import { applyEffect } from "../runtime/effects.js";
-import { facts } from "../traces/step-facts.js";
-import { checkedState } from "./checked-state.js";
-export function failingSuffixWithin(model, property, start) {
-    const maxSteps = property.budget.steps ?? property.budget.environment ?? 0;
-    const memo = new Map();
-    const visit = (state, depth) => {
-        if (property.goal(checkedState(model, property, state, "leadsToWithin goal")))
-            return undefined;
-        const canon = canonicalState(model, state);
-        const key = `${canon}:${depth}`;
-        const cached = memo.get(key);
-        if (cached !== undefined)
-            return cached ?? undefined;
-        if (depth >= maxSteps) {
-            memo.set(key, []);
-            return [];
-        }
-        const successors = schedulerSuccessors(model, property, state);
-        if (successors.length === 0) {
-            memo.set(key, []);
-            return [];
-        }
-        for (const edge of successors) {
-            const suffix = visit(edge.post, depth + 1);
-            if (suffix) {
-                const failure = [edge, ...suffix];
-                memo.set(key, failure);
-                return failure;
-            }
-        }
-        memo.set(key, null);
-        return undefined;
-    };
-    return visit(start, 0);
-}
-function schedulerSuccessors(model, property, pre) {
-    const index = buildTransitionIndex(model);
-    const preCanon = canonicalState(model, pre);
-    const out = [];
-    for (const transition of enabledTransitions(model, pre, index).filter((candidate) => schedulerAllows(property, candidate))) {
-        for (const rawPost of applyEffect(model, pre, transition.effect)) {
-            for (const post of stabilize(model, rawPost, changedVars(pre, rawPost, model), index)) {
-                out.push({
-                    preCanon,
-                    postCanon: canonicalState(model, post),
-                    pre,
-                    post,
-                    transition,
-                    step: facts(pre, post, transition),
-                });
-            }
-        }
-    }
-    return out.sort((a, b) => a.transition.id.localeCompare(b.transition.id) ||
-        a.postCanon.localeCompare(b.postCanon));
-}
-function schedulerAllows(property, transition) {
-    if (transition.cls === "env" ||
-        transition.cls === "library" ||
-        transition.cls === "internal")
-        return true;
-    return (property.allowUserEvents === true &&
-        (transition.cls === "user" || transition.cls === "nav"));
-}
-//# sourceMappingURL=leads-to.js.map

package/dist/check/properties/leads-to.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"leads-to.js","sourceRoot":"","sources":["../../../src/check/properties/leads-to.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EACL,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAEhD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIlD,MAAM,UAAU,mBAAmB,CACjC,KAAY,EACZ,QAAuB,EACvB,KAAiB;IAEjB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,KAAK,GAAG,CAAC,KAAiB,EAAE,KAAa,EAAsB,EAAE;QACrE,IACE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,CAAC,CAAC;YAEzE,OAAO,SAAS,CAAC;QACnB,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,IAAI,SAAS,CAAC;QACrD,IAAI,KAAK,IAAI,QAAQ,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAClB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC/D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAClB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC3C,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC;gBAClC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBACvB,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAY,EACZ,QAAuB,EACvB,GAAe;IAEf,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,MAAM,CACnE,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CACpD,EAAE,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACjE,KAAK,MAAM,IAAI,IAAI,SAAS,CAC1B,KAAK,EACL,OAAO,EACP,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,EAChC,KAAK,CACN,EAAE,CAAC;gBACF,GAAG,CAAC,IAAI,CAAC;oBACP,QAAQ;oBACR,SAAS,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC;oBACtC,GAAG;oBACH,IAAI;oBACJ,UAAU;oBACV,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC;iBACnC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CACb,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,QAAuB,EACvB,UAAsB;IAEtB,IACE,UAAU,CAAC,GAAG,KAAK,KAAK;QACxB,UAAU,CAAC,GAAG,KAAK,SAAS;QAC5B,UAAU,CAAC,GAAG,KAAK,UAAU;QAE7B,OAAO,IAAI,CAAC;IACd,OAAO,CACL,QAAQ,CAAC,eAAe,KAAK,IAAI;QACjC,CAAC,UAAU,CAAC,GAAG,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,KAAK,CAAC,CACxD,CAAC;AACJ,CAAC"}

package/dist/check/properties/observe.d.ts

@@ -1,6 +0,0 @@
-import type { Model, ModelState, Property, StepFacts, Transition } from "modality-ts/core";
-import type { PropertyVerdict } from "../types.js";
-import { type TraceContext } from "../traces/trace.js";
-export declare function observeStates(model: Model, properties: readonly Property[], candidates: readonly ModelState[], traceCtx: TraceContext, verdicts: Map<string, PropertyVerdict>): void;
-export declare function observeEdge(model: Model, properties: readonly Property[], pre: ModelState, post: ModelState, transition: Transition, step: StepFacts, traceCtx: TraceContext, verdicts: Map<string, PropertyVerdict>): void;
-//# sourceMappingURL=observe.d.ts.map

package/dist/check/properties/observe.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"observe.d.ts","sourceRoot":"","sources":["../../../src/check/properties/observe.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,KAAK,EACL,UAAU,EACV,QAAQ,EACR,SAAS,EACT,UAAU,EACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,EAIL,KAAK,YAAY,EAClB,MAAM,oBAAoB,CAAC;AAE5B,wBAAgB,aAAa,CAC3B,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,UAAU,EAAE,SAAS,UAAU,EAAE,EACjC,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,GACrC,IAAI,CA6CN;AAED,wBAAgB,WAAW,CACzB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,SAAS,EACf,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,GACrC,IAAI,CA+BN"}

package/dist/check/properties/observe.js

@@ -1,56 +0,0 @@
-import { canonicalState } from "modality-ts/core";
-import { checkedState } from "./checked-state.js";
-import { makeTraceStep, replayCheckedVerdict, traceTo, } from "../traces/trace.js";
-export function observeStates(model, properties, candidates, traceCtx, verdicts) {
-    for (const state of candidates) {
-        const canon = canonicalState(model, state);
-        for (const property of properties) {
-            if (verdicts.has(property.name))
-                continue;
-            try {
-                if (property.kind === "always" &&
-                    !property.predicate(checkedState(model, property, state, "state predicate"))) {
-                    verdicts.set(property.name, replayCheckedVerdict("violated", property.name, traceTo(traceCtx, canon)));
-                }
-                if (property.kind === "reachable" &&
-                    property.predicate(checkedState(model, property, state, "state predicate"))) {
-                    verdicts.set(property.name, replayCheckedVerdict("reachable", property.name, traceTo(traceCtx, canon)));
-                }
-            }
-            catch (error) {
-                verdicts.set(property.name, {
-                    status: "error",
-                    property: property.name,
-                    message: error.message,
-                });
-            }
-        }
-    }
-}
-export function observeEdge(model, properties, pre, post, transition, step, traceCtx, verdicts) {
-    for (const property of properties) {
-        if (verdicts.has(property.name))
-            continue;
-        if (property.kind !== "alwaysStep")
-            continue;
-        try {
-            if (!property.predicate(checkedState(model, property, pre, "step pre-state"), step, checkedState(model, property, post, "step post-state"))) {
-                const preCanon = canonicalState(model, pre);
-                verdicts.set(property.name, replayCheckedVerdict("violated", property.name, {
-                    steps: [
-                        ...traceTo(traceCtx, preCanon).steps,
-                        makeTraceStep(pre, post, transition),
-                    ],
-                }));
-            }
-        }
-        catch (error) {
-            verdicts.set(property.name, {
-                status: "error",
-                property: property.name,
-                message: error.message,
-            });
-        }
-    }
-}
-//# sourceMappingURL=observe.js.map

package/dist/check/properties/observe.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"observe.js","sourceRoot":"","sources":["../../../src/check/properties/observe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AASlD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,OAAO,GAER,MAAM,oBAAoB,CAAC;AAE5B,MAAM,UAAU,aAAa,CAC3B,KAAY,EACZ,UAA+B,EAC/B,UAAiC,EACjC,QAAsB,EACtB,QAAsC;IAEtC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1C,IAAI,CAAC;gBACH,IACE,QAAQ,CAAC,IAAI,KAAK,QAAQ;oBAC1B,CAAC,QAAQ,CAAC,SAAS,CACjB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,CAAC,CACxD,EACD,CAAC;oBACD,QAAQ,CAAC,GAAG,CACV,QAAQ,CAAC,IAAI,EACb,oBAAoB,CAClB,UAAU,EACV,QAAQ,CAAC,IAAI,EACb,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CACzB,CACF,CAAC;gBACJ,CAAC;gBACD,IACE,QAAQ,CAAC,IAAI,KAAK,WAAW;oBAC7B,QAAQ,CAAC,SAAS,CAChB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,CAAC,CACxD,EACD,CAAC;oBACD,QAAQ,CAAC,GAAG,CACV,QAAQ,CAAC,IAAI,EACb,oBAAoB,CAClB,WAAW,EACX,QAAQ,CAAC,IAAI,EACb,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CACzB,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;oBAC1B,MAAM,EAAE,OAAO;oBACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;oBACvB,OAAO,EAAG,KAAe,CAAC,OAAO;iBAClC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAAY,EACZ,UAA+B,EAC/B,GAAe,EACf,IAAgB,EAChB,UAAsB,EACtB,IAAe,EACf,QAAsB,EACtB,QAAsC;IAEtC,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAC7C,IAAI,CAAC;YACH,IACE,CAAC,QAAQ,CAAC,SAAS,CACjB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,gBAAgB,CAAC,EACpD,IAAI,EACJ,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,CAAC,CACvD,EACD,CAAC;gBACD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5C,QAAQ,CAAC,GAAG,CACV,QAAQ,CAAC,IAAI,EACb,oBAAoB,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE;oBAC9C,KAAK,EAAE;wBACL,GAAG,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,KAAK;wBACpC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC;qBACrC;iBACF,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;gBAC1B,MAAM,EAAE,OAAO;gBACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,OAAO,EAAG,KAAe,CAAC,OAAO;aAClC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/check/properties/reachable-from.d.ts

@@ -1,10 +0,0 @@
-import type { Model, ModelState, Property } from "modality-ts/core";
-type ReachableFrom = Extract<Property, {
-    kind: "reachableFrom";
-}>;
-export declare function unreachableWitness(model: Model, property: ReachableFrom, states: Map<string, ModelState>, reverseEdges: readonly {
-    preCanon: string;
-    postCanon: string;
-}[]): [string, ModelState] | undefined;
-export {};
-//# sourceMappingURL=reachable-from.d.ts.map

package/dist/check/properties/reachable-from.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"reachable-from.d.ts","sourceRoot":"","sources":["../../../src/check/properties/reachable-from.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGpE,KAAK,aAAa,GAAG,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,CAAC;AAElE,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAC/B,YAAY,EAAE,SAAS;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EAAE,GAC/D,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,SAAS,CAuBlC"}

package/dist/check/properties/reachable-from.js

@@ -1,19 +0,0 @@
-import { checkedState } from "./checked-state.js";
-export function unreachableWitness(model, property, states, reverseEdges) {
-    const goalCanons = [...states]
-        .filter(([, state]) => property.goal(checkedState(model, property, state, "reachableFrom goal")))
-        .map(([canon]) => canon);
-    const backward = new Set(goalCanons);
-    let changed = true;
-    while (changed) {
-        changed = false;
-        for (const edge of reverseEdges) {
-            if (backward.has(edge.postCanon) && !backward.has(edge.preCanon)) {
-                backward.add(edge.preCanon);
-                changed = true;
-            }
-        }
-    }
-    return [...states].find(([canon, state]) => property.when(checkedState(model, property, state, "reachableFrom when")) && !backward.has(canon));
-}
-//# sourceMappingURL=reachable-from.js.map

package/dist/check/properties/reachable-from.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"reachable-from.js","sourceRoot":"","sources":["../../../src/check/properties/reachable-from.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIlD,MAAM,UAAU,kBAAkB,CAChC,KAAY,EACZ,QAAuB,EACvB,MAA+B,EAC/B,YAAgE;IAEhE,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACpB,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAC1E;SACA,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC5B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CACrB,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CACjB,QAAQ,CAAC,IAAI,CACX,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,CAAC,CAC3D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAC5B,CAAC;AACJ,CAAC"}

package/dist/check/runtime/domains.d.ts

@@ -1,5 +0,0 @@
-import type { AbstractDomain, ExprIR, Model } from "modality-ts/core";
-export declare function taggedDomainForExpr(model: Model, expr: ExprIR): Extract<AbstractDomain, {
-    kind: "tagged";
-}> | undefined;
-//# sourceMappingURL=domains.d.ts.map

package/dist/check/runtime/domains.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEtE,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAGzD"}

package/dist/check/runtime/domains.js

@@ -1,53 +0,0 @@
-export function taggedDomainForExpr(model, expr) {
-    const domain = domainForExpr(model, expr);
-    return domain?.kind === "tagged" ? domain : undefined;
-}
-function domainForExpr(model, expr) {
-    switch (expr.kind) {
-        case "read": {
-            const decl = model.vars.find((candidate) => candidate.id === expr.var);
-            return decl ? domainAtPath(decl.domain, expr.path ?? []) : undefined;
-        }
-        case "cond": {
-            const thenDomain = domainForExpr(model, expr.args[1]);
-            const elseDomain = domainForExpr(model, expr.args[2]);
-            return thenDomain &&
-                elseDomain &&
-                JSON.stringify(thenDomain) === JSON.stringify(elseDomain)
-                ? thenDomain
-                : undefined;
-        }
-        case "updateField":
-            return domainForExpr(model, expr.target);
-        default:
-            return undefined;
-    }
-}
-function domainAtPath(domain, path) {
-    let current = domain;
-    for (const segment of path) {
-        if (!current)
-            return undefined;
-        while (current.kind === "option")
-            current = current.inner;
-        if (current.kind === "record")
-            current = current.fields[segment];
-        else if (current.kind === "boundedList") {
-            if (!/^\d+$/.test(segment))
-                return undefined;
-            const index = Number(segment);
-            current =
-                index >= 0 && index < current.maxLen ? current.inner : undefined;
-        }
-        else if (current.kind === "tagged") {
-            current =
-                segment === current.tag
-                    ? { kind: "enum", values: Object.keys(current.variants) }
-                    : undefined;
-        }
-        else
-            return undefined;
-    }
-    return current;
-}
-//# sourceMappingURL=domains.js.map

package/dist/check/runtime/domains.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"domains.js","sourceRoot":"","sources":["../../../src/check/runtime/domains.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,mBAAmB,CACjC,KAAY,EACZ,IAAY;IAEZ,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1C,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,aAAa,CAAC,KAAY,EAAE,IAAY;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,UAAU;gBACf,UAAU;gBACV,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;gBACzD,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,MAAsB,EACtB,IAAuB;IAEvB,IAAI,OAAO,GAA+B,MAAM,CAAC;IACjD,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC/B,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC;QAC1D,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;aAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,OAAO;gBACL,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrC,OAAO;gBACL,OAAO,KAAK,OAAO,CAAC,GAAG;oBACrB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;oBACzD,CAAC,CAAC,SAAS,CAAC;QAClB,CAAC;;YAAM,OAAO,SAAS,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/check/runtime/effects.d.ts

@@ -1,9 +0,0 @@
-import type { EffectIR, Model, ModelState } from "modality-ts/core";
-import type { EvalOptions } from "./expr.js";
-import type { PendingOp } from "./pending.js";
-export type { EvalOptions, PendingOp };
-export { evalExpr, guardHolds } from "./expr.js";
-export { normalizeInitialRouteLocals } from "./navigation.js";
-export { readPending } from "./pending.js";
-export declare function applyEffect(model: Model, state: ModelState, effect: EffectIR, options?: EvalOptions): ModelState[];
-//# sourceMappingURL=effects.d.ts.map

package/dist/check/runtime/effects.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/effects.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAI7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAI9C,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,wBAAgB,WAAW,CACzB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,QAAQ,EAChB,OAAO,GAAE,WAAgB,GACxB,UAAU,EAAE,CAUd"}

package/dist/check/runtime/effects.js

@@ -1,86 +0,0 @@
-import { enumerateDomain } from "modality-ts/core";
-import { evalExpr } from "./expr.js";
-import { navigate } from "./navigation.js";
-import { applyOpaqueEffect } from "./opaque.js";
-import { readPending } from "./pending.js";
-import { TokenExhausted } from "./tokens.js";
-export { evalExpr, guardHolds } from "./expr.js";
-export { normalizeInitialRouteLocals } from "./navigation.js";
-export { readPending } from "./pending.js";
-export function applyEffect(model, state, effect, options = {}) {
-    try {
-        return applyEffectUnsafe(model, state, effect, options);
-    }
-    catch (error) {
-        if (error instanceof TokenExhausted) {
-            options.onBoundHit?.(`token cap exhausted for ${error.domainOf}`);
-            return [];
-        }
-        throw error;
-    }
-}
-function applyEffectUnsafe(model, state, effect, options) {
-    switch (effect.kind) {
-        case "assign":
-            return [
-                {
-                    ...state,
-                    [effect.var]: evalExpr(model, state, effect.expr, options),
-                },
-            ];
-        case "havoc": {
-            const decl = mustVar(model, effect.var);
-            return enumerateDomain(decl.domain).map((value) => ({
-                ...state,
-                [effect.var]: value,
-            }));
-        }
-        case "choose":
-            return effect.among.map((expr) => ({
-                ...state,
-                [effect.var]: evalExpr(model, state, expr, options),
-            }));
-        case "if":
-            return applyEffect(model, state, evalExpr(model, state, effect.cond, options)
-                ? effect.then
-                : effect.else, options);
-        case "seq":
-            return effect.effects.reduce((states, next) => states.flatMap((candidate) => applyEffect(model, candidate, next, options)), [state]);
-        case "enqueue": {
-            const pending = readPending(state);
-            if (pending.length >= model.bounds.maxPending)
-                return [];
-            const op = {
-                opId: effect.op,
-                continuation: effect.continuation,
-                args: Object.fromEntries(Object.entries(effect.args).map(([key, expr]) => [
-                    key,
-                    evalExpr(model, state, expr, options),
-                ])),
-            };
-            return [{ ...state, "sys:pending": [...pending, op] }];
-        }
-        case "dequeue": {
-            const pending = readPending(state);
-            if (effect.index < 0 || effect.index >= pending.length)
-                return [state];
-            return [
-                {
-                    ...state,
-                    "sys:pending": pending.filter((_, index) => index !== effect.index),
-                },
-            ];
-        }
-        case "navigate":
-            return navigate(model, state, effect, options);
-        case "opaque":
-            return applyOpaqueEffect(model, state, effect.ref);
-    }
-}
-function mustVar(model, id) {
-    const decl = model.vars.find((candidate) => candidate.id === id);
-    if (!decl)
-        throw new Error(`Unknown var ${id}`);
-    return decl;
-}
-//# sourceMappingURL=effects.js.map

package/dist/check/runtime/effects.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../src/check/runtime/effects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGnD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,MAAM,UAAU,WAAW,CACzB,KAAY,EACZ,KAAiB,EACjB,MAAgB,EAChB,UAAuB,EAAE;IAEzB,IAAI,CAAC;QACH,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YACpC,OAAO,CAAC,UAAU,EAAE,CAAC,2BAA2B,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAY,EACZ,KAAiB,EACjB,MAAgB,EAChB,OAAoB;IAEpB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO;gBACL;oBACE,GAAG,KAAK;oBACR,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;iBAC3D;aACF,CAAC;QACJ,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACxC,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClD,GAAG,KAAK;gBACR,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK;aACpB,CAAC,CAAC,CAAC;QACN,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACjC,GAAG,KAAK;gBACR,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;aACpD,CAAC,CAAC,CAAC;QACN,KAAK,IAAI;YACP,OAAO,WAAW,CAChB,KAAK,EACL,KAAK,EACL,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;gBAC1C,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,MAAM,CAAC,IAAI,EACf,OAAO,CACR,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAC1B,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3B,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAC7C,EACH,CAAC,KAAK,CAAC,CACR,CAAC;QACJ,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU;gBAAE,OAAO,EAAE,CAAC;YACzD,MAAM,EAAE,GAAc;gBACpB,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,IAAI,EAAE,MAAM,CAAC,WAAW,CACtB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;oBAC/C,GAAG;oBACH,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;iBACtC,CAAC,CACH;aACF,CAAC;YACF,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,GAAG,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YACvE,OAAO;gBACL;oBACE,GAAG,KAAK;oBACR,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC;iBACpE;aACF,CAAC;QACJ,CAAC;QACD,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAAY,EAAE,EAAU;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACjE,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/check/runtime/expr.d.ts

@@ -1,7 +0,0 @@
-import type { ExprIR, Model, ModelState, Transition, Value } from "modality-ts/core";
-export interface EvalOptions {
-    onBoundHit?: (hit: string) => void;
-}
-export declare function evalExpr(model: Model, state: ModelState, expr: ExprIR, options?: EvalOptions): Value;
-export declare function guardHolds(model: Model, transition: Transition, state: ModelState): boolean;
-//# sourceMappingURL=expr.d.ts.map

package/dist/check/runtime/expr.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"expr.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/expr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EACN,KAAK,EACL,UAAU,EACV,UAAU,EACV,KAAK,EACN,MAAM,kBAAkB,CAAC;AAK1B,MAAM,WAAW,WAAW;IAC1B,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACpC;AAED,wBAAgB,QAAQ,CACtB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,WAAgB,GACxB,KAAK,CAmDP;AAED,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,UAAU,GAChB,OAAO,CAET"}

package/dist/check/runtime/expr.js

@@ -1,49 +0,0 @@
-import { taggedDomainForExpr } from "./domains.js";
-import { readPath, writePath } from "./paths.js";
-import { freshToken } from "./tokens.js";
-export function evalExpr(model, state, expr, options = {}) {
-    switch (expr.kind) {
-        case "lit":
-            return expr.value;
-        case "read":
-            return readPath(state[expr.var], expr.path ?? []);
-        case "eq":
-            return (JSON.stringify(evalExpr(model, state, expr.args[0], options)) ===
-                JSON.stringify(evalExpr(model, state, expr.args[1], options)));
-        case "neq":
-            return (JSON.stringify(evalExpr(model, state, expr.args[0], options)) !==
-                JSON.stringify(evalExpr(model, state, expr.args[1], options)));
-        case "and":
-            return expr.args.every((arg) => Boolean(evalExpr(model, state, arg, options)));
-        case "or":
-            return expr.args.some((arg) => Boolean(evalExpr(model, state, arg, options)));
-        case "not":
-            return !evalExpr(model, state, expr.args[0], options);
-        case "cond":
-            return evalExpr(model, state, expr.args[0], options)
-                ? evalExpr(model, state, expr.args[1], options)
-                : evalExpr(model, state, expr.args[2], options);
-        case "updateField":
-            return writePath(evalExpr(model, state, expr.target, options), expr.path, evalExpr(model, state, expr.value, options));
-        case "tagIs": {
-            const arg = evalExpr(model, state, expr.arg, options);
-            const domain = taggedDomainForExpr(model, expr.arg);
-            return (isRecord(arg) && domain !== undefined && arg[domain.tag] === expr.tag);
-        }
-        case "lenCat": {
-            const arg = evalExpr(model, state, expr.arg, options);
-            if (!Array.isArray(arg))
-                return "0";
-            return arg.length === 0 ? "0" : arg.length === 1 ? "1" : "many";
-        }
-        case "freshToken":
-            return freshToken(model, state, expr.domainOf);
-    }
-}
-export function guardHolds(model, transition, state) {
-    return Boolean(evalExpr(model, state, transition.guard));
-}
-function isRecord(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-//# sourceMappingURL=expr.js.map

package/dist/check/runtime/expr.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"expr.js","sourceRoot":"","sources":["../../../src/check/runtime/expr.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMzC,MAAM,UAAU,QAAQ,CACtB,KAAY,EACZ,KAAiB,EACjB,IAAY,EACZ,UAAuB,EAAE;IAEzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QACpD,KAAK,IAAI;YACP,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC7D,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAC9D,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC7D,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAC9D,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAC7B,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAC9C,CAAC;QACJ,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5B,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAC9C,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACxD,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;gBAClD,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;gBAC/C,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpD,KAAK,aAAa;YAChB,OAAO,SAAS,CACd,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5C,IAAI,CAAC,IAAI,EACT,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAC5C,CAAC;QACJ,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YACpD,OAAO,CACL,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,GAAG,CACtE,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAC;YACpC,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAClE,CAAC;QACD,KAAK,YAAY;YACf,OAAO,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,UAAsB,EACtB,KAAiB;IAEjB,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/dist/check/runtime/navigation.d.ts

@@ -1,7 +0,0 @@
-import type { EffectIR, Model, ModelState } from "modality-ts/core";
-import type { EvalOptions } from "./expr.js";
-export declare function navigate(model: Model, state: ModelState, effect: Extract<EffectIR, {
-    kind: "navigate";
-}>, options: EvalOptions): ModelState[];
-export declare function normalizeInitialRouteLocals(model: Model, state: ModelState): ModelState[];
-//# sourceMappingURL=navigation.d.ts.map

package/dist/check/runtime/navigation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/navigation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAS,MAAM,kBAAkB,CAAC;AAC3E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAG7C,wBAAgB,QAAQ,CACtB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,EAC/C,OAAO,EAAE,WAAW,GACnB,UAAU,EAAE,CAsCd;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,GAChB,UAAU,EAAE,CAEd"}

package/dist/check/runtime/navigation.js

@@ -1,60 +0,0 @@
-import { initialValues, UNMOUNTED } from "modality-ts/core";
-import { evalExpr } from "./expr.js";
-export function navigate(model, state, effect, options) {
-    const route = state["sys:route"];
-    const history = Array.isArray(state["sys:history"])
-        ? state["sys:history"]
-        : [];
-    if (effect.mode === "back") {
-        const previous = history[history.length - 1];
-        if (typeof previous !== "string")
-            return [state];
-        return resetRouteLocals(model, { ...state, "sys:route": previous, "sys:history": history.slice(0, -1) }, route);
-    }
-    const to = effect.to ? evalExpr(model, state, effect.to) : undefined;
-    if (typeof to !== "string")
-        return [state];
-    const historyDecl = model.vars.find((decl) => decl.id === "sys:history");
-    const historyCap = historyDecl?.domain.kind === "boundedList"
-        ? historyDecl.domain.maxLen
-        : undefined;
-    if (effect.mode === "push" &&
-        historyCap !== undefined &&
-        history.length >= historyCap) {
-        options.onBoundHit?.("history cap saturated");
-        return [];
-    }
-    const nextHistory = effect.mode === "push" && typeof route === "string"
-        ? [...history, route]
-        : history;
-    return resetRouteLocals(model, { ...state, "sys:route": to, "sys:history": nextHistory }, route);
-}
-export function normalizeInitialRouteLocals(model, state) {
-    return resetRouteLocals(model, state, undefined, { preserveMounted: true });
-}
-function resetRouteLocals(model, state, previousRoute, options = {}) {
-    const currentRoute = state["sys:route"];
-    if (previousRoute === currentRoute)
-        return [state];
-    let states = [state];
-    for (const decl of model.vars) {
-        if (decl.scope.kind !== "route-local")
-            continue;
-        if (decl.scope.route === currentRoute) {
-            if (options.preserveMounted)
-                continue;
-            states = states.flatMap((candidate) => initialValues(decl.domain, decl.initial).map((value) => ({
-                ...candidate,
-                [decl.id]: value,
-            })));
-        }
-        else {
-            states = states.map((candidate) => ({
-                ...candidate,
-                [decl.id]: UNMOUNTED,
-            }));
-        }
-    }
-    return states;
-}
-//# sourceMappingURL=navigation.js.map

package/dist/check/runtime/navigation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"navigation.js","sourceRoot":"","sources":["../../../src/check/runtime/navigation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAG5D,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,MAAM,UAAU,QAAQ,CACtB,KAAY,EACZ,KAAiB,EACjB,MAA+C,EAC/C,OAAoB;IAEpB,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACjD,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;QACtB,CAAC,CAAC,EAAE,CAAC;IACP,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,gBAAgB,CACrB,KAAK,EACL,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EACxE,KAAK,CACN,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,aAAa,CAAC,CAAC;IACzE,MAAM,UAAU,GACd,WAAW,EAAE,MAAM,CAAC,IAAI,KAAK,aAAa;QACxC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM;QAC3B,CAAC,CAAC,SAAS,CAAC;IAChB,IACE,MAAM,CAAC,IAAI,KAAK,MAAM;QACtB,UAAU,KAAK,SAAS;QACxB,OAAO,CAAC,MAAM,IAAI,UAAU,EAC5B,CAAC;QACD,OAAO,CAAC,UAAU,EAAE,CAAC,uBAAuB,CAAC,CAAC;QAC9C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,WAAW,GACf,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,KAAK,KAAK,QAAQ;QACjD,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC;QACrB,CAAC,CAAC,OAAO,CAAC;IACd,OAAO,gBAAgB,CACrB,KAAK,EACL,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,EACzD,KAAK,CACN,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAAY,EACZ,KAAiB;IAEjB,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAY,EACZ,KAAiB,EACjB,aAAgC,EAChC,UAAyC,EAAE;IAE3C,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACxC,IAAI,aAAa,KAAK,YAAY;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,SAAS;QAChD,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,eAAe;gBAAE,SAAS;YACtC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACpC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACvD,GAAG,SAAS;gBACZ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK;aACjB,CAAC,CAAC,CACJ,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAClC,GAAG,SAAS;gBACZ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,SAAS;aACrB,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/check/runtime/opaque.d.ts

@@ -1,3 +0,0 @@
-import type { Model, ModelState, OpaqueRef } from "modality-ts/core";
-export declare function applyOpaqueEffect(model: Model, state: ModelState, ref: OpaqueRef): ModelState[];
-//# sourceMappingURL=opaque.d.ts.map

package/dist/check/runtime/opaque.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"opaque.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/opaque.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAS,MAAM,kBAAkB,CAAC;AAS5E,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,GAAG,EAAE,SAAS,GACb,UAAU,EAAE,CAgBd"}

package/dist/check/runtime/opaque.js

@@ -1,72 +0,0 @@
-import { createRequire } from "node:module";
-import { isAbsolute, resolve } from "node:path";
-import { validateValue } from "modality-ts/core";
-const require = createRequire(import.meta.url);
-const opaqueCache = new Map();
-export function applyOpaqueEffect(model, state, ref) {
-    const fn = loadOpaqueEffect(ref);
-    const first = normalizeOpaqueResults(fn(deepFreeze(cloneValue(state))));
-    const second = normalizeOpaqueResults(fn(deepFreeze(cloneValue(state))));
-    if (JSON.stringify(first) !== JSON.stringify(second)) {
-        throw new Error(`Opaque effect ${ref.module}#${ref.export} returned nondeterministic results for identical input`);
-    }
-    return first.map((candidate, index) => validateOpaqueState(model, state, candidate, ref, index));
-}
-function normalizeOpaqueResults(results) {
-    return Array.isArray(results) ? results : [results];
-}
-function loadOpaqueEffect(ref) {
-    const key = `${ref.module}#${ref.export}`;
-    const cached = opaqueCache.get(key);
-    if (cached)
-        return cached;
-    const modulePath = isAbsolute(ref.module)
-        ? ref.module
-        : resolve(process.cwd(), ref.module);
-    const moduleValue = require(modulePath);
-    const fn = moduleValue[ref.export];
-    if (typeof fn !== "function")
-        throw new Error(`Opaque effect ${key} does not export a function`);
-    opaqueCache.set(key, fn);
-    return fn;
-}
-function validateOpaqueState(model, pre, post, ref, index) {
-    if (!post || typeof post !== "object" || Array.isArray(post)) {
-        throw new Error(`Opaque effect ${ref.module}#${ref.export} result ${index} must be a state object`);
-    }
-    const declaredWrites = new Set(ref.declaredWrites);
-    const varIds = new Set(model.vars.map((decl) => decl.id));
-    for (const key of Object.keys(post)) {
-        if (!varIds.has(key))
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} wrote unknown var ${key}`);
-    }
-    for (const decl of model.vars) {
-        if (!Object.hasOwn(post, decl.id))
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} result ${index} omitted var ${decl.id}`);
-        const value = post[decl.id];
-        if (!validateValue(decl.domain, value)) {
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} produced invalid value for ${decl.id}: ${JSON.stringify(post[decl.id])}`);
-        }
-    }
-    for (const id of changedKeys(pre, post)) {
-        if (!declaredWrites.has(id))
-            throw new Error(`Opaque effect ${ref.module}#${ref.export} wrote undeclared var ${id}`);
-    }
-    return post;
-}
-function changedKeys(left, right) {
-    const ids = new Set([...Object.keys(left), ...Object.keys(right)]);
-    return [...ids].filter((id) => JSON.stringify(left[id]) !== JSON.stringify(right[id]));
-}
-function cloneValue(value) {
-    return JSON.parse(JSON.stringify(value));
-}
-function deepFreeze(value) {
-    if (value && typeof value === "object") {
-        Object.freeze(value);
-        for (const child of Object.values(value))
-            deepFreeze(child);
-    }
-    return value;
-}
-//# sourceMappingURL=opaque.js.map

package/dist/check/runtime/opaque.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"opaque.js","sourceRoot":"","sources":["../../../src/check/runtime/opaque.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAOjD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0B,CAAC;AAEtD,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,KAAiB,EACjB,GAAc;IAEd,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,sBAAsB,CAClC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAyB,CAAC,CAC1D,CAAC;IACF,MAAM,MAAM,GAAG,sBAAsB,CACnC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAyB,CAAC,CAC1D,CAAC;IACF,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,wDAAwD,CAClG,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAkC;IAElC,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAc;IACtC,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;QACvC,CAAC,CAAC,GAAG,CAAC,MAAM;QACZ,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAA4B,CAAC;IACnE,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,OAAO,EAAE,KAAK,UAAU;QAC1B,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,6BAA6B,CAAC,CAAC;IACrE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,EAAoB,CAAC,CAAC;IAC3C,OAAO,EAAoB,CAAC;AAC9B,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAY,EACZ,GAAe,EACf,IAAgB,EAChB,GAAc,EACd,KAAa;IAEb,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,WAAW,KAAK,yBAAyB,CACnF,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAClB,MAAM,IAAI,KAAK,CACb,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,sBAAsB,GAAG,EAAE,CACrE,CAAC;IACN,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,WAAW,KAAK,gBAAgB,IAAI,CAAC,EAAE,EAAE,CACnF,CAAC;QACJ,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,+BAA+B,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CACpH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,iBAAiB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,yBAAyB,EAAE,EAAE,CACvE,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAgB,EAAE,KAAiB;IACtD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CACpB,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAC/D,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAA+B,KAAQ;IACxD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAM,CAAC;AAChD,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/check/runtime/paths.d.ts

@@ -1,4 +0,0 @@
-import type { Value } from "modality-ts/core";
-export declare function readPath(value: Value | undefined, path: readonly string[]): Value;
-export declare function writePath(target: Value, path: readonly string[], value: Value): Value;
-//# sourceMappingURL=paths.d.ts.map

package/dist/check/runtime/paths.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/paths.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE9C,wBAAgB,QAAQ,CACtB,KAAK,EAAE,KAAK,GAAG,SAAS,EACxB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,KAAK,CASP;AAED,wBAAgB,SAAS,CACvB,MAAM,EAAE,KAAK,EACb,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,KAAK,EAAE,KAAK,GACX,KAAK,CAaP"}