modality-ts 0.0.16 → 0.0.17

package/dist/check/engine/check-model.js

@@ -1,527 +0,0 @@
-import { canonicalState, validateModel } from "modality-ts/core";
-import { effectContainsEnqueue, recordMaxDepthBoundHits, } from "../diagnostics/bounds.js";
-import { vacuityWarnings } from "../diagnostics/vacuity.js";
-import { finalizeProperties } from "../properties/finalize.js";
-import { observeEdge, observeStates } from "../properties/observe.js";
-import { applyEffect } from "../runtime/effects.js";
-import { canSliceProperty, sliceModelForProperty, } from "../slicing/slice-model.js";
-import { facts } from "../traces/step-facts.js";
-import { initialStates } from "./initial-states.js";
-import { stabilize } from "./stabilize.js";
-import { changedVars, initialChangedVars, sortStatesByCanon, } from "./state-utils.js";
-import { buildTransitionIndex, enabledTransitions, installEnabledHook, } from "./transitions.js";
-export function needsRecordedEdges(properties) {
-    return properties.some((property) => property.kind === "leadsToWithin");
-}
-export function needsReverseGraph(properties) {
-    return properties.some((property) => property.kind === "reachableFrom");
-}
-export function needsStepMonitoring(properties) {
-    return properties.some((property) => property.kind === "alwaysStep");
-}
-function resolveEdgeRecordingMode(properties) {
-    if (needsRecordedEdges(properties))
-        return "compact";
-    if (needsReverseGraph(properties))
-        return "reverse";
-    return "none";
-}
-function createGraphRecording(mode) {
-    return {
-        mode,
-        compactEdges: [],
-        reverseEdges: [],
-        fullEdges: [],
-    };
-}
-function recordExploredEdge(graph, properties, preCanon, postCanon, pre, post, transition, step) {
-    switch (graph.mode) {
-        case "full":
-            graph.fullEdges.push({
-                preCanon,
-                postCanon,
-                pre,
-                post,
-                transition,
-                step,
-            });
-            break;
-        case "compact":
-            graph.compactEdges.push({
-                preCanon,
-                postCanon,
-                transitionId: transition.id,
-                triggeredProperties: properties
-                    .filter((property) => property.kind === "leadsToWithin")
-                    .filter((property) => property.trigger(step))
-                    .map((property) => property.name),
-            });
-            break;
-        case "reverse":
-            graph.reverseEdges.push({ preCanon, postCanon });
-            break;
-        case "none":
-            break;
-    }
-}
-function buildStorageDiagnostics(parents, states, graph) {
-    const recordedEdges = graph.mode === "none"
-        ? 0
-        : graph.mode === "reverse"
-            ? graph.reverseEdges.length
-            : graph.mode === "compact"
-                ? graph.compactEdges.length
-                : graph.fullEdges.length;
-    return {
-        recordedEdges,
-        storedStates: states.size,
-        parentEntries: parents.size,
-        edgeRecordingMode: graph.mode,
-    };
-}
-export function checkModel(model, properties, options = {}) {
-    const slicingDiagnostics = buildSlicingRequestDiagnostics(properties, options.slicing === true);
-    if (options.slicing &&
-        properties.length > 0 &&
-        properties.every((property) => property.reads !== undefined)) {
-        const result = checkModelSliced(model, properties, options);
-        return {
-            ...result,
-            diagnostics: mergeDiagnostics(result.diagnostics, {
-                slicing: slicingDiagnostics,
-            }),
-        };
-    }
-    const result = checkModelCore(model, properties, options);
-    return {
-        ...result,
-        diagnostics: mergeDiagnostics(result.diagnostics, {
-            slicing: slicingDiagnostics,
-        }),
-    };
-}
-function buildSlicingRequestDiagnostics(properties, slicingRequested) {
-    if (!slicingRequested) {
-        return { enabled: false };
-    }
-    if (properties.length === 0) {
-        return { enabled: false, skipped: true, skipReason: "no properties" };
-    }
-    if (!properties.every((property) => property.reads !== undefined)) {
-        return {
-            enabled: false,
-            skipped: true,
-            skipReason: "property missing reads",
-        };
-    }
-    return { enabled: true };
-}
-function checkModelCore(model, properties, options = {}) {
-    const validation = validateModel(model, { sliced: options.slicedModel });
-    if (!validation.ok)
-        return invalidModelResult(properties, validation.errors);
-    const startedAt = options.trackElapsed ? Date.now() : undefined;
-    installEnabledHook(model);
-    const transitionIndex = buildTransitionIndex(model);
-    const canonCache = new WeakMap();
-    const canon = (state) => {
-        const cached = canonCache.get(state);
-        if (cached !== undefined)
-            return cached;
-        const encoded = canonicalState(model, state);
-        canonCache.set(state, encoded);
-        return encoded;
-    };
-    const parents = new Map();
-    const states = new Map();
-    const graph = createGraphRecording(resolveEdgeRecordingMode(properties));
-    const traceCtx = { model, parents, states };
-    const enabledTransitionIds = new Set();
-    const boundHits = new Set();
-    const tracker = createSearchTracker(model);
-    let frontier = seedFrontier(model, parents, states, tracker, transitionIndex, canon);
-    const verdicts = new Map();
-    let depth = 0;
-    let edgeCount = 0;
-    observeStates(model, properties, frontier, traceCtx, verdicts);
-    recordDominantVars(model, frontier, tracker);
-    while (frontier.length > 0 &&
-        depth < model.bounds.maxDepth &&
-        tracker.limitHit === null) {
-        tracker.maxFrontier = Math.max(tracker.maxFrontier, frontier.length);
-        tracker.finalFrontier = frontier.length;
-        const limit = checkSearchLimits(options, parents.size, edgeCount, frontier.length, depth);
-        if (limit) {
-            tracker.limitHit = limit;
-            break;
-        }
-        const result = exploreDepth(model, properties, frontier, parents, states, graph, traceCtx, verdicts, enabledTransitionIds, boundHits, tracker, options, edgeCount, depth, transitionIndex, canon);
-        frontier = result.next;
-        edgeCount += result.edges;
-        observeStates(model, properties, frontier, traceCtx, verdicts);
-        recordDominantVars(model, frontier, tracker);
-        depth += 1;
-        tracker.expandedDepths = depth;
-        options.onProgress?.({
-            depth,
-            frontier: frontier.length,
-            nextFrontier: frontier.length,
-            states: parents.size,
-            edges: edgeCount,
-        });
-        const postLimit = checkSearchLimits(options, parents.size, edgeCount, frontier.length, depth);
-        if (postLimit) {
-            tracker.limitHit = postLimit;
-            break;
-        }
-    }
-    recordMaxDepthBoundHits(model, frontier, enabledTransitionIds, boundHits, transitionIndex);
-    if (tracker.limitHit) {
-        applySearchLimitVerdicts(properties, verdicts, tracker.limitHit);
-    }
-    else {
-        finalizeProperties(model, properties, traceCtx, graph, verdicts);
-    }
-    return {
-        verdicts: properties.map((property) => verdicts.get(property.name) ?? {
-            status: "verified-within-bounds",
-            property: property.name,
-        }),
-        stats: { states: parents.size, edges: edgeCount, depth },
-        vacuityWarnings: vacuityWarnings(model, states, enabledTransitionIds),
-        boundHits: [...boundHits].sort(),
-        diagnostics: buildSearchDiagnostics(tracker, startedAt, buildStorageDiagnostics(parents, states, graph), transitionIndex),
-    };
-}
-function invalidModelResult(properties, errors) {
-    return {
-        verdicts: properties.map((property) => ({
-            status: "error",
-            property: property.name,
-            message: errors.join("; "),
-        })),
-        stats: { states: 0, edges: 0, depth: 0 },
-        vacuityWarnings: [],
-        boundHits: [],
-    };
-}
-function createSearchTracker(model) {
-    return {
-        maxFrontier: 0,
-        finalFrontier: 0,
-        expandedDepths: 0,
-        dominantVarValues: new Map(model.vars.map((decl) => [decl.id, new Set()])),
-        limitHit: null,
-    };
-}
-function recordDominantVars(model, frontier, tracker) {
-    for (const state of frontier) {
-        for (const decl of model.vars) {
-            const value = JSON.stringify(state[decl.id]);
-            tracker.dominantVarValues.get(decl.id)?.add(value);
-        }
-    }
-}
-function buildSearchDiagnostics(tracker, startedAt, storage, transitionIndex) {
-    const dominantVars = [...tracker.dominantVarValues.entries()]
-        .map(([varId, values]) => ({ varId, distinctValues: values.size }))
-        .filter((entry) => entry.distinctValues > 0)
-        .sort((left, right) => right.distinctValues - left.distinctValues)
-        .slice(0, 5);
-    const search = {
-        maxFrontier: tracker.maxFrontier,
-        finalFrontier: tracker.finalFrontier,
-        expandedDepths: tracker.expandedDepths,
-    };
-    if (startedAt !== undefined) {
-        search.elapsedMs = Date.now() - startedAt;
-    }
-    return {
-        search,
-        storage,
-        hotPath: {
-            canonicalCache: true,
-            transitionIndex: true,
-            internalTransitionIndex: transitionIndex.internalTransitions.length > 0,
-        },
-        ...(tracker.limitHit ? { limits: tracker.limitHit } : {}),
-        ...(dominantVars.length > 0 ? { dominantVars } : {}),
-    };
-}
-function hitSearchLimit(tracker, options, states, edges, frontier, depth) {
-    if (tracker.limitHit !== null)
-        return true;
-    const limit = checkSearchLimits(options, states, edges, frontier, depth);
-    if (!limit)
-        return false;
-    tracker.limitHit = limit;
-    return true;
-}
-function checkSearchLimits(options, states, edges, frontier, depth) {
-    if (options.maxStates !== undefined && states >= options.maxStates) {
-        return {
-            reason: `search limit exceeded: maxStates=${options.maxStates}`,
-            maxStates: options.maxStates,
-        };
-    }
-    if (options.maxEdges !== undefined && edges >= options.maxEdges) {
-        return {
-            reason: `search limit exceeded: maxEdges=${options.maxEdges}`,
-            maxEdges: options.maxEdges,
-        };
-    }
-    if (options.maxFrontier !== undefined && frontier >= options.maxFrontier) {
-        return {
-            reason: `search limit exceeded: maxFrontier=${options.maxFrontier}`,
-            maxFrontier: options.maxFrontier,
-        };
-    }
-    const maxHeap = options.memoryGuard?.maxHeapUsedBytes;
-    if (maxHeap !== undefined && process.memoryUsage().heapUsed >= maxHeap) {
-        return {
-            reason: `search limit exceeded: memoryGuard=${maxHeap}`,
-            memoryGuardBytes: maxHeap,
-        };
-    }
-    void depth;
-    return null;
-}
-function applySearchLimitVerdicts(properties, verdicts, limit) {
-    for (const property of properties) {
-        const verdict = verdicts.get(property.name);
-        if (verdict &&
-            (verdict.status === "violated" ||
-                verdict.status === "reachable" ||
-                verdict.status === "vacuous-warning" ||
-                verdict.status === "error")) {
-            continue;
-        }
-        verdicts.set(property.name, {
-            status: "error",
-            property: property.name,
-            message: limit.reason,
-        });
-    }
-}
-function seedFrontier(model, parents, states, tracker, index, canon) {
-    const frontier = sortStatesByCanon(initialStates(model).flatMap((state) => stabilize(model, state, initialChangedVars(model), index, canon)), canon);
-    tracker.maxFrontier = Math.max(tracker.maxFrontier, frontier.length);
-    tracker.finalFrontier = frontier.length;
-    for (const state of frontier) {
-        const key = canon(state);
-        if (!parents.has(key)) {
-            parents.set(key, { parent: null, transitionId: null });
-            states.set(key, state);
-        }
-    }
-    return frontier;
-}
-function exploreDepth(model, properties, frontier, parents, states, graph, traceCtx, verdicts, enabledTransitionIds, boundHits, tracker, options, startingEdgeCount, depth, index, canon) {
-    const next = [];
-    let edgeCount = 0;
-    for (const pre of frontier) {
-        if (tracker.limitHit !== null)
-            break;
-        const preCanon = canon(pre);
-        for (const transition of enabledTransitions(model, pre, index)) {
-            enabledTransitionIds.add(transition.id);
-            const rawPosts = applyEffect(model, pre, transition.effect, {
-                onBoundHit: (hit) => {
-                    boundHits.add(hit.startsWith("token cap exhausted")
-                        ? `token cap exhausted at ${transition.id}`
-                        : `${hit} at ${transition.id}`);
-                },
-            });
-            if (rawPosts.length === 0 && effectContainsEnqueue(transition.effect)) {
-                boundHits.add(`pending cap saturated at ${transition.id}`);
-            }
-            for (const rawPost of rawPosts) {
-                for (const post of stabilize(model, rawPost, changedVars(pre, rawPost, model), index, canon)) {
-                    edgeCount += 1;
-                    const postCanon = canon(post);
-                    const step = facts(pre, post, transition);
-                    recordExploredEdge(graph, properties, preCanon, postCanon, pre, post, transition, step);
-                    observeEdge(model, properties, pre, post, transition, step, traceCtx, verdicts);
-                    if (hitSearchLimit(tracker, options, parents.size, startingEdgeCount + edgeCount, next.length, depth)) {
-                        break;
-                    }
-                    if (!parents.has(postCanon)) {
-                        parents.set(postCanon, {
-                            parent: preCanon,
-                            transitionId: transition.id,
-                        });
-                        states.set(postCanon, post);
-                        next.push(post);
-                        tracker.maxFrontier = Math.max(tracker.maxFrontier, next.length);
-                        if (hitSearchLimit(tracker, options, parents.size, startingEdgeCount + edgeCount, next.length, depth)) {
-                            break;
-                        }
-                    }
-                }
-                if (tracker.limitHit !== null)
-                    break;
-            }
-            if (tracker.limitHit !== null)
-                break;
-        }
-        if (tracker.limitHit !== null)
-            break;
-    }
-    return { next: sortStatesByCanon(next, canon), edges: edgeCount };
-}
-function checkModelSliced(model, properties, options = {}) {
-    const groups = new Map();
-    const sliceSummaries = [];
-    let sliceIndex = 0;
-    for (const property of properties) {
-        const slice = canSliceProperty(property)
-            ? sliceModelForProperty(model, property)
-            : model;
-        const key = slice.vars.map((decl) => decl.id).join("\0");
-        const group = groups.get(key);
-        if (group) {
-            group.properties.push(property);
-        }
-        else {
-            groups.set(key, {
-                model: slice,
-                properties: [property],
-                index: sliceIndex,
-            });
-            sliceIndex += 1;
-        }
-    }
-    const results = [...groups.values()].map((group) => {
-        const result = checkModelCore(group.model, group.properties, {
-            ...options,
-            slicedModel: true,
-        });
-        sliceSummaries.push({
-            index: group.index,
-            properties: group.properties.map((property) => property.name),
-            vars: group.model.vars.length,
-            transitions: group.model.transitions.length,
-            states: result.stats.states,
-            edges: result.stats.edges,
-            depth: result.stats.depth,
-        });
-        return result;
-    });
-    sliceSummaries.sort((left, right) => left.index - right.index);
-    const combined = combineSlicedResults(properties, results);
-    return {
-        ...combined,
-        diagnostics: mergeDiagnostics(combined.diagnostics, {
-            slicing: {
-                enabled: true,
-                slices: sliceSummaries.length,
-                sliceSummaries,
-            },
-            search: combined.diagnostics?.search,
-            limits: combined.diagnostics?.limits,
-            dominantVars: combined.diagnostics?.dominantVars,
-        }),
-    };
-}
-function combineSlicedResults(properties, results) {
-    const verdicts = new Map();
-    let states = 0;
-    let edges = 0;
-    let depth = 0;
-    const vacuity = new Set();
-    const boundHits = new Set();
-    let diagnostics;
-    for (const result of results) {
-        for (const verdict of result.verdicts)
-            verdicts.set(verdict.property, verdict);
-        for (const warning of result.vacuityWarnings)
-            vacuity.add(warning);
-        for (const hit of result.boundHits)
-            boundHits.add(hit);
-        states += result.stats.states;
-        edges += result.stats.edges;
-        depth = Math.max(depth, result.stats.depth);
-        diagnostics = mergeSearchDiagnostics(diagnostics, result.diagnostics);
-    }
-    return {
-        verdicts: properties.map((property) => verdicts.get(property.name) ?? {
-            status: "error",
-            property: property.name,
-            message: "missing sliced verdict",
-        }),
-        stats: { states, edges, depth },
-        vacuityWarnings: [...vacuity].sort(),
-        boundHits: [...boundHits].sort(),
-        diagnostics,
-    };
-}
-function mergeDiagnostics(base, overlay) {
-    if (!base && !overlay)
-        return undefined;
-    return {
-        ...base,
-        ...overlay,
-        slicing: base?.slicing || overlay?.slicing
-            ? {
-                enabled: overlay?.slicing?.enabled ?? base?.slicing?.enabled ?? false,
-                slices: overlay?.slicing?.slices ?? base?.slicing?.slices,
-                skipped: overlay?.slicing?.skipped ?? base?.slicing?.skipped,
-                skipReason: overlay?.slicing?.skipReason ?? base?.slicing?.skipReason,
-                sliceSummaries: overlay?.slicing?.sliceSummaries ?? base?.slicing?.sliceSummaries,
-            }
-            : undefined,
-        search: overlay?.search ?? base?.search,
-        limits: overlay?.limits ?? base?.limits,
-        dominantVars: overlay?.dominantVars ?? base?.dominantVars,
-        storage: overlay?.storage ?? base?.storage,
-        hotPath: overlay?.hotPath ?? base?.hotPath,
-    };
-}
-function mergeSearchDiagnostics(left, right) {
-    if (!left)
-        return right;
-    if (!right)
-        return left;
-    const dominant = mergeDominantVars(left.dominantVars, right.dominantVars);
-    return {
-        slicing: left.slicing ?? right.slicing,
-        search: {
-            maxFrontier: Math.max(left.search?.maxFrontier ?? 0, right.search?.maxFrontier ?? 0),
-            finalFrontier: Math.max(left.search?.finalFrontier ?? 0, right.search?.finalFrontier ?? 0),
-            expandedDepths: Math.max(left.search?.expandedDepths ?? 0, right.search?.expandedDepths ?? 0),
-            elapsedMs: left.search?.elapsedMs !== undefined ||
-                right.search?.elapsedMs !== undefined
-                ? (left.search?.elapsedMs ?? 0) + (right.search?.elapsedMs ?? 0)
-                : undefined,
-        },
-        limits: left.limits ?? right.limits,
-        dominantVars: dominant,
-        storage: mergeStorageDiagnostics(left.storage, right.storage),
-        hotPath: left.hotPath ?? right.hotPath,
-    };
-}
-function mergeStorageDiagnostics(left, right) {
-    if (!left)
-        return right;
-    if (!right)
-        return left;
-    return {
-        recordedEdges: left.recordedEdges + right.recordedEdges,
-        storedStates: left.storedStates + right.storedStates,
-        parentEntries: left.parentEntries + right.parentEntries,
-        edgeRecordingMode: left.edgeRecordingMode === right.edgeRecordingMode
-            ? left.edgeRecordingMode
-            : "property-specific",
-    };
-}
-function mergeDominantVars(left, right) {
-    const counts = new Map();
-    for (const entry of [...(left ?? []), ...(right ?? [])]) {
-        counts.set(entry.varId, Math.max(counts.get(entry.varId) ?? 0, entry.distinctValues));
-    }
-    return [...counts.entries()]
-        .map(([varId, distinctValues]) => ({ varId, distinctValues }))
-        .sort((a, b) => b.distinctValues - a.distinctValues)
-        .slice(0, 5);
-}
-//# sourceMappingURL=check-model.js.map

package/dist/check/engine/check-model.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"check-model.js","sourceRoot":"","sources":["../../../src/check/engine/check-model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAQjE,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAahD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,GAEnB,MAAM,kBAAkB,CAAC;AAU1B,MAAM,UAAU,kBAAkB,CAAC,UAA+B;IAChE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAA+B;IAC/D,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,UAA+B;IACjE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA+B;IAE/B,IAAI,kBAAkB,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,iBAAiB,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAuB;IACnD,OAAO;QACL,IAAI;QACJ,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;KACd,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAqB,EACrB,UAA+B,EAC/B,QAAgB,EAChB,SAAiB,EACjB,GAAe,EACf,IAAgB,EAChB,UAAsB,EACtB,IAAe;IAEf,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;gBACnB,QAAQ;gBACR,SAAS;gBACT,GAAG;gBACH,IAAI;gBACJ,UAAU;gBACV,IAAI;aACL,CAAC,CAAC;YACH,MAAM;QACR,KAAK,SAAS;YACZ,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC;gBACtB,QAAQ;gBACR,SAAS;gBACT,YAAY,EAAE,UAAU,CAAC,EAAE;gBAC3B,mBAAmB,EAAE,UAAU;qBAC5B,MAAM,CACL,CACE,QAAQ,EACkD,EAAE,CAC5D,QAAQ,CAAC,IAAI,KAAK,eAAe,CACpC;qBACA,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;qBAC5C,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;aACpC,CAAC,CAAC;YACH,MAAM;QACR,KAAK,SAAS;YACZ,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;YACjD,MAAM;QACR,KAAK,MAAM;YACT,MAAM;IACV,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAA4B,EAC5B,MAA+B,EAC/B,KAAqB;IAErB,MAAM,aAAa,GACjB,KAAK,CAAC,IAAI,KAAK,MAAM;QACnB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YACxB,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;YAC3B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBACxB,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;gBAC3B,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;IACjC,OAAO;QACL,aAAa;QACb,YAAY,EAAE,MAAM,CAAC,IAAI;QACzB,aAAa,EAAE,OAAO,CAAC,IAAI;QAC3B,iBAAiB,EAAE,KAAK,CAAC,IAAI;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,kBAAkB,GAAG,8BAA8B,CACvD,UAAU,EACV,OAAO,CAAC,OAAO,KAAK,IAAI,CACzB,CAAC;IACF,IACE,OAAO,CAAC,OAAO;QACf,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,EAC5D,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5D,OAAO;YACL,GAAG,MAAM;YACT,WAAW,EAAE,gBAAgB,CAAC,MAAM,CAAC,WAAW,EAAE;gBAChD,OAAO,EAAE,kBAAkB;aAC5B,CAAC;SACH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1D,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE,gBAAgB,CAAC,MAAM,CAAC,WAAW,EAAE;YAChD,OAAO,EAAE,kBAAkB;SAC5B,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,UAA+B,EAC/B,gBAAyB;IAEzB,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAClE,OAAO;YACL,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,IAAI;YACb,UAAU,EAAE,wBAAwB;SACrC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CACrB,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,kBAAkB,CAAC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAE7E,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,OAAO,EAAsB,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,KAAiB,EAAU,EAAE;QAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7C,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/B,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,MAAM,KAAK,GAAG,oBAAoB,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAiB,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC1D,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,QAAQ,GAAG,YAAY,CACzB,KAAK,EACL,OAAO,EACP,MAAM,EACN,OAAO,EACP,eAAe,EACf,KAAK,CACN,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/D,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE7C,OACE,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ;QAC7B,OAAO,CAAC,QAAQ,KAAK,IAAI,EACzB,CAAC;QACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrE,OAAO,CAAC,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC;QACxC,MAAM,KAAK,GAAG,iBAAiB,CAC7B,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,SAAS,EACT,QAAQ,CAAC,MAAM,EACf,KAAK,CACN,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,QAAQ,GAAG,KAAK,CAAC;YACzB,MAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,YAAY,CACzB,KAAK,EACL,UAAU,EACV,QAAQ,EACR,OAAO,EACP,MAAM,EACN,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,OAAO,EACP,SAAS,EACT,KAAK,EACL,eAAe,EACf,KAAK,CACN,CAAC;QACF,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC;QAC1B,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC/D,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7C,KAAK,IAAI,CAAC,CAAC;QACX,OAAO,CAAC,cAAc,GAAG,KAAK,CAAC;QAC/B,OAAO,CAAC,UAAU,EAAE,CAAC;YACnB,KAAK;YACL,QAAQ,EAAE,QAAQ,CAAC,MAAM;YACzB,YAAY,EAAE,QAAQ,CAAC,MAAM;YAC7B,MAAM,EAAE,OAAO,CAAC,IAAI;YACpB,KAAK,EAAE,SAAS;SACjB,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,iBAAiB,CACjC,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,SAAS,EACT,QAAQ,CAAC,MAAM,EACf,KAAK,CACN,CAAC;QACF,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC;YAC7B,MAAM;QACR,CAAC;IACH,CAAC;IAED,uBAAuB,CACrB,KAAK,EACL,QAAQ,EACR,oBAAoB,EACpB,SAAS,EACT,eAAe,CAChB,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,wBAAwB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC;SAAM,CAAC;QACN,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,GAAG,CACtB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI;YAC7B,MAAM,EAAE,wBAAwB;YAChC,QAAQ,EAAE,QAAQ,CAAC,IAAI;SACxB,CACJ;QACD,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE;QACxD,eAAe,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,oBAAoB,CAAC;QACrE,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE;QAChC,WAAW,EAAE,sBAAsB,CACjC,OAAO,EACP,SAAS,EACT,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAC/C,eAAe,CAChB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAA+B,EAC/B,MAAyB;IAEzB,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;SAC3B,CAAC,CAAC;QACH,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;QACxC,eAAe,EAAE,EAAE;QACnB,SAAS,EAAE,EAAE;KACd,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY;IACvC,OAAO;QACL,WAAW,EAAE,CAAC;QACd,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,CAAC;QACjB,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAY,EACZ,QAA+B,EAC/B,OAAsB;IAEtB,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7C,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAsB,EACtB,SAA6B,EAC7B,OAA2B,EAC3B,eAAgC;IAEhC,MAAM,YAAY,GAAG,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;SAC1D,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;SAClE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC;SAC3C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;SACjE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACf,MAAM,MAAM,GAA+B;QACzC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,cAAc,EAAE,OAAO,CAAC,cAAc;KACvC,CAAC;IACF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO;QACL,MAAM;QACN,OAAO;QACP,OAAO,EAAE;YACP,cAAc,EAAE,IAAI;YACpB,eAAe,EAAE,IAAI;YACrB,uBAAuB,EAAE,eAAe,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;SACxE;QACD,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,OAAsB,EACtB,OAAqB,EACrB,MAAc,EACd,KAAa,EACb,QAAgB,EAChB,KAAa;IAEb,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,OAAO,CAAC,QAAQ,GAAG,KAAK,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAqB,EACrB,MAAc,EACd,KAAa,EACb,QAAgB,EAChB,KAAa;IAEb,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACnE,OAAO;YACL,MAAM,EAAE,oCAAoC,OAAO,CAAC,SAAS,EAAE;YAC/D,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAChE,OAAO;YACL,MAAM,EAAE,mCAAmC,OAAO,CAAC,QAAQ,EAAE;YAC7D,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,QAAQ,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACzE,OAAO;YACL,MAAM,EAAE,sCAAsC,OAAO,CAAC,WAAW,EAAE;YACnE,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACtD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,IAAI,OAAO,EAAE,CAAC;QACvE,OAAO;YACL,MAAM,EAAE,sCAAsC,OAAO,EAAE;YACvD,gBAAgB,EAAE,OAAO;SAC1B,CAAC;IACJ,CAAC;IACD,KAAK,KAAK,CAAC;IACX,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA+B,EAC/B,QAAsC,EACtC,KAA8C;IAE9C,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5C,IACE,OAAO;YACP,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU;gBAC5B,OAAO,CAAC,MAAM,KAAK,WAAW;gBAC9B,OAAO,CAAC,MAAM,KAAK,iBAAiB;gBACpC,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,EAC7B,CAAC;YACD,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;YAC1B,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,KAAY,EACZ,OAA4B,EAC5B,MAA+B,EAC/B,OAAsB,EACtB,KAAsB,EACtB,KAAoC;IAEpC,MAAM,QAAQ,GAAG,iBAAiB,CAChC,aAAa,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACrC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CACjE,EACD,KAAK,CACN,CAAC;IACF,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrE,OAAO,CAAC,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,YAAY,CACnB,KAAY,EACZ,UAA+B,EAC/B,QAA+B,EAC/B,OAA4B,EAC5B,MAA+B,EAC/B,KAAqB,EACrB,QAAsB,EACtB,QAAsC,EACtC,oBAAiC,EACjC,SAAsB,EACtB,OAAsB,EACtB,OAAqB,EACrB,iBAAyB,EACzB,KAAa,EACb,KAAsB,EACtB,KAAoC;IAEpC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;YAAE,MAAM;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/D,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,EAAE;gBAC1D,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;oBAClB,SAAS,CAAC,GAAG,CACX,GAAG,CAAC,UAAU,CAAC,qBAAqB,CAAC;wBACnC,CAAC,CAAC,0BAA0B,UAAU,CAAC,EAAE,EAAE;wBAC3C,CAAC,CAAC,GAAG,GAAG,OAAO,UAAU,CAAC,EAAE,EAAE,CACjC,CAAC;gBACJ,CAAC;aACF,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtE,SAAS,CAAC,GAAG,CAAC,4BAA4B,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,KAAK,MAAM,IAAI,IAAI,SAAS,CAC1B,KAAK,EACL,OAAO,EACP,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,EAChC,KAAK,EACL,KAAK,CACN,EAAE,CAAC;oBACF,SAAS,IAAI,CAAC,CAAC;oBACf,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;oBAC1C,kBAAkB,CAChB,KAAK,EACL,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,IAAI,EACJ,UAAU,EACV,IAAI,CACL,CAAC;oBACF,WAAW,CACT,KAAK,EACL,UAAU,EACV,GAAG,EACH,IAAI,EACJ,UAAU,EACV,IAAI,EACJ,QAAQ,EACR,QAAQ,CACT,CAAC;oBACF,IACE,cAAc,CACZ,OAAO,EACP,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,iBAAiB,GAAG,SAAS,EAC7B,IAAI,CAAC,MAAM,EACX,KAAK,CACN,EACD,CAAC;wBACD,MAAM;oBACR,CAAC;oBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;wBAC5B,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE;4BACrB,MAAM,EAAE,QAAQ;4BAChB,YAAY,EAAE,UAAU,CAAC,EAAE;yBAC5B,CAAC,CAAC;wBACH,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;wBAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAChB,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;wBACjE,IACE,cAAc,CACZ,OAAO,EACP,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,iBAAiB,GAAG,SAAS,EAC7B,IAAI,CAAC,MAAM,EACX,KAAK,CACN,EACD,CAAC;4BACD,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;oBAAE,MAAM;YACvC,CAAC;YACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,MAAM;QACvC,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;YAAE,MAAM;IACvC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAGnB,CAAC;IACJ,MAAM,cAAc,GAAmB,EAAE,CAAC;IAC1C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC;YACtC,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC;YACxC,CAAC,CAAC,KAAK,CAAC;QACV,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;gBACd,KAAK,EAAE,KAAK;gBACZ,UAAU,EAAE,CAAC,QAAQ,CAAC;gBACtB,KAAK,EAAE,UAAU;aAClB,CAAC,CAAC;YACH,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE;YAC3D,GAAG,OAAO;YACV,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,cAAc,CAAC,IAAI,CAAC;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC7D,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM;YAC7B,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM;YAC3C,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;YAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK;YACzB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK;SAC1B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3D,OAAO;QACL,GAAG,QAAQ;QACX,WAAW,EAAE,gBAAgB,CAAC,QAAQ,CAAC,WAAW,EAAE;YAClD,OAAO,EAAE;gBACP,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,cAAc,CAAC,MAAM;gBAC7B,cAAc;aACf;YACD,MAAM,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM;YACpC,MAAM,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM;YACpC,YAAY,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY;SACjD,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAA+B,EAC/B,OAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,WAAyC,CAAC;IAC9C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;YACnC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,eAAe;YAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvD,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QAC9B,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC5B,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5C,WAAW,GAAG,sBAAsB,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACxE,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,GAAG,CACtB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI;YAC7B,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,wBAAwB;SAClC,CACJ;QACD,KAAK,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE;QAC/B,eAAe,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;QACpC,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE;QAChC,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAkC,EAClC,OAAqC;IAErC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO;QACL,GAAG,IAAI;QACP,GAAG,OAAO;QACV,OAAO,EACL,IAAI,EAAE,OAAO,IAAI,OAAO,EAAE,OAAO;YAC/B,CAAC,CAAC;gBACE,OAAO,EACL,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO,IAAI,KAAK;gBAC9D,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,OAAO,EAAE,MAAM;gBACzD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO;gBAC5D,UAAU,EACR,OAAO,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,EAAE,OAAO,EAAE,UAAU;gBAC3D,cAAc,EACZ,OAAO,EAAE,OAAO,EAAE,cAAc,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc;aACpE;YACH,CAAC,CAAC,SAAS;QACf,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM;QACvC,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM;QACvC,YAAY,EAAE,OAAO,EAAE,YAAY,IAAI,IAAI,EAAE,YAAY;QACzD,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO;QAC1C,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAkC,EAClC,KAAmC;IAEnC,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAC1E,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO;QACtC,MAAM,EAAE;YACN,WAAW,EAAE,IAAI,CAAC,GAAG,CACnB,IAAI,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,EAC7B,KAAK,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,CAC/B;YACD,aAAa,EAAE,IAAI,CAAC,GAAG,CACrB,IAAI,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,EAC/B,KAAK,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,CACjC;YACD,cAAc,EAAE,IAAI,CAAC,GAAG,CACtB,IAAI,CAAC,MAAM,EAAE,cAAc,IAAI,CAAC,EAChC,KAAK,CAAC,MAAM,EAAE,cAAc,IAAI,CAAC,CAClC;YACD,SAAS,EACP,IAAI,CAAC,MAAM,EAAE,SAAS,KAAK,SAAS;gBACpC,KAAK,CAAC,MAAM,EAAE,SAAS,KAAK,SAAS;gBACnC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC;gBAChE,CAAC,CAAC,SAAS;SAChB;QACD,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;QACnC,YAAY,EAAE,QAAQ;QACtB,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;QAC7D,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAiC,EACjC,KAAkC;IAElC,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO;QACL,aAAa,EAAE,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa;QACvD,YAAY,EAAE,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY;QACpD,aAAa,EAAE,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa;QACvD,iBAAiB,EACf,IAAI,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB;YAChD,CAAC,CAAC,IAAI,CAAC,iBAAiB;YACxB,CAAC,CAAC,mBAAmB;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAsC,EACtC,KAAuC;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,GAAG,CACR,KAAK,CAAC,KAAK,EACX,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,cAAc,CAAC,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACzB,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;SAC7D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,cAAc,CAAC;SACnD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC"}

package/dist/check/engine/initial-states.d.ts

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

package/dist/check/engine/initial-states.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"initial-states.d.ts","sourceRoot":"","sources":["../../../src/check/engine/initial-states.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG1D,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAYxD"}

package/dist/check/engine/initial-states.js

@@ -1,11 +0,0 @@
-import { initialValues } from "modality-ts/core";
-import { normalizeInitialRouteLocals } from "../runtime/effects.js";
-export function initialStates(model) {
-    return model.vars
-        .reduce((states, decl) => {
-        const initials = initialValues(decl.domain, decl.initial);
-        return states.flatMap((state) => initials.map((value) => ({ ...state, [decl.id]: value })));
-    }, [{}])
-        .flatMap((state) => normalizeInitialRouteLocals(model, state));
-}
-//# sourceMappingURL=initial-states.js.map

package/dist/check/engine/initial-states.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"initial-states.js","sourceRoot":"","sources":["../../../src/check/engine/initial-states.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,OAAO,KAAK,CAAC,IAAI;SACd,MAAM,CACL,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;QACf,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC9B,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAC1D,CAAC;IACJ,CAAC,EACD,CAAC,EAAE,CAAC,CACL;SACA,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACnE,CAAC"}

package/dist/check/engine/model-api.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"model-api.d.ts","sourceRoot":"","sources":["../../../src/check/engine/model-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAYrE,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAO7D;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,GAAG,SAAS,EAAE,CAS1E"}

package/dist/check/engine/model-api.js

@@ -1,17 +0,0 @@
-import { applyEffect } from "../runtime/effects.js";
-import { makeTraceStep } from "../traces/trace.js";
-import { changedVars, compareStates, initialChangedVars, } from "./state-utils.js";
-import { buildTransitionIndex, enabledTransitions } from "./transitions.js";
-import { initialStates } from "./initial-states.js";
-import { stabilize } from "./stabilize.js";
-export function modelInitialStates(model) {
-    const index = buildTransitionIndex(model);
-    return initialStates(model)
-        .flatMap((state) => stabilize(model, state, initialChangedVars(model), index))
-        .sort(compareStates(model));
-}
-export function modelSuccessors(model, pre) {
-    const index = buildTransitionIndex(model);
-    return enabledTransitions(model, pre, index).flatMap((transition) => applyEffect(model, pre, transition.effect).flatMap((rawPost) => stabilize(model, rawPost, changedVars(pre, rawPost, model), index).map((post) => makeTraceStep(pre, post, transition))));
-}
-//# sourceMappingURL=model-api.js.map

package/dist/check/engine/model-api.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"model-api.js","sourceRoot":"","sources":["../../../src/check/engine/model-api.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,WAAW,EACX,aAAa,EACb,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,MAAM,UAAU,kBAAkB,CAAC,KAAY;IAC7C,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,aAAa,CAAC,KAAK,CAAC;SACxB,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACjB,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAC1D;SACA,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAY,EAAE,GAAe;IAC3D,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAClE,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CACpE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAC/C,CACF,CACF,CAAC;AACJ,CAAC"}

package/dist/check/engine/mounts.d.ts

@@ -1,3 +0,0 @@
-import type { Model, ModelState, Transition } from "modality-ts/core";
-export declare function routeLocalMounted(model: Model, transition: Transition, state: ModelState): boolean;
-//# sourceMappingURL=mounts.d.ts.map

package/dist/check/engine/mounts.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mounts.d.ts","sourceRoot":"","sources":["../../../src/check/engine/mounts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEtE,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,UAAU,GAChB,OAAO,CAaT"}

package/dist/check/engine/mounts.js

@@ -1,13 +0,0 @@
-export function routeLocalMounted(model, transition, state) {
-    const currentRoute = state["sys:route"];
-    const touched = new Set([...transition.reads, ...transition.writes]);
-    for (const decl of model.vars) {
-        if (decl.scope.kind === "route-local" &&
-            touched.has(decl.id) &&
-            decl.scope.route !== currentRoute) {
-            return false;
-        }
-    }
-    return true;
-}
-//# sourceMappingURL=mounts.js.map

package/dist/check/engine/mounts.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mounts.js","sourceRoot":"","sources":["../../../src/check/engine/mounts.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,UAAsB,EACtB,KAAiB;IAEjB,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IACE,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YACjC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,YAAY,EACjC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/check/engine/stabilize.d.ts

@@ -1,4 +0,0 @@
-import type { Model, ModelState } from "modality-ts/core";
-import type { TransitionIndex } from "./transitions.js";
-export declare function stabilize(model: Model, state: ModelState, changed: ReadonlySet<string>, index?: TransitionIndex, canon?: (state: ModelState) => string): ModelState[];
-//# sourceMappingURL=stabilize.d.ts.map

package/dist/check/engine/stabilize.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"stabilize.d.ts","sourceRoot":"","sources":["../../../src/check/engine/stabilize.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAc,MAAM,kBAAkB,CAAC;AAItE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAOxD,wBAAgB,SAAS,CACvB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,EAC5B,KAAK,CAAC,EAAE,eAAe,EACvB,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,GACpC,UAAU,EAAE,CAmCd"}