modality-ts 0.0.7 → 0.0.9

package/dist/check/runtime/opaque.js

@@ -0,0 +1,72 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,4 @@
+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

@@ -0,0 +1 @@
+{"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"}

package/dist/check/runtime/paths.js

@@ -0,0 +1,28 @@
+export function readPath(value, path) {
+    let current = value;
+    for (const segment of path) {
+        if (Array.isArray(current))
+            current = current[Number(segment)];
+        else if (current && typeof current === "object")
+            current = current[segment];
+        else
+            return undefined;
+    }
+    return current;
+}
+export function writePath(target, path, value) {
+    if (path.length === 0)
+        return value;
+    const [head, ...tail] = path;
+    if (Array.isArray(target)) {
+        const copy = [...target];
+        copy[Number(head)] = writePath(copy[Number(head)], tail, value);
+        return copy;
+    }
+    const base = target && typeof target === "object" ? target : {};
+    return {
+        ...base,
+        [head]: writePath(base[head], tail, value),
+    };
+}
+//# sourceMappingURL=paths.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../../../src/check/runtime/paths.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,QAAQ,CACtB,KAAwB,EACxB,IAAuB;IAEvB,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;aAC1D,IAAI,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;YAC7C,OAAO,GAAI,OAAiC,CAAC,OAAO,CAAC,CAAC;;YACnD,OAAO,SAA6B,CAAC;IAC5C,CAAC;IACD,OAAO,OAAgB,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,MAAa,EACb,IAAuB,EACvB,KAAY;IAEZ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;QACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,OAAO;QACL,GAAG,IAAI;QACP,CAAC,IAAI,CAAC,EAAE,SAAS,CAAE,IAA8B,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC;KACtE,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { ModelState, Value } from "modality-ts/core";
+export interface PendingOp {
+    [key: string]: Value;
+    opId: string;
+    continuation: string;
+    args: Record<string, Value>;
+}
+export declare function readPending(state: ModelState): PendingOp[];
+//# sourceMappingURL=pending.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pending.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/pending.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE1D,MAAM,WAAW,SAAS;IACxB,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAC7B;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,EAAE,CAG1D"}

package/dist/check/runtime/pending.js

@@ -0,0 +1,5 @@
+export function readPending(state) {
+    const pending = state["sys:pending"];
+    return Array.isArray(pending) ? pending : [];
+}
+//# sourceMappingURL=pending.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pending.js","sourceRoot":"","sources":["../../../src/check/runtime/pending.ts"],"names":[],"mappings":"AASA,MAAM,UAAU,WAAW,CAAC,KAAiB;IAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,OAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;AAChE,CAAC"}

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

@@ -0,0 +1,7 @@
+import type { Model, ModelState } from "modality-ts/core";
+export declare class TokenExhausted extends Error {
+    readonly domainOf: string;
+    constructor(domainOf: string);
+}
+export declare function freshToken(model: Model, state: ModelState, domainOf: string): string;
+//# sourceMappingURL=tokens.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.d.ts","sourceRoot":"","sources":["../../../src/check/runtime/tokens.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAS,MAAM,kBAAkB,CAAC;AAEjE,qBAAa,cAAe,SAAQ,KAAK;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM;gBAAhB,QAAQ,EAAE,MAAM;CAGtC;AAED,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,MAAM,GACf,MAAM,CAeR"}

package/dist/check/runtime/tokens.js

@@ -0,0 +1,36 @@
+import { enumerateDomain } from "modality-ts/core";
+export class TokenExhausted extends Error {
+    domainOf;
+    constructor(domainOf) {
+        super(`token cap exhausted for ${domainOf}`);
+        this.domainOf = domainOf;
+    }
+}
+export function freshToken(model, state, domainOf) {
+    const decl = model.vars.find((candidate) => candidate.id === domainOf);
+    if (decl?.domain.kind !== "tokens") {
+        throw new Error(`freshToken domainOf must reference token var: ${domainOf}`);
+    }
+    const names = enumerateDomain(decl.domain);
+    const tokenSet = new Set(names);
+    const used = new Set();
+    for (const value of Object.values(state))
+        collectTokens(value, used, tokenSet);
+    const fresh = names.find((name) => !used.has(name));
+    if (!fresh)
+        throw new TokenExhausted(domainOf);
+    return fresh;
+}
+function collectTokens(value, out, tokenSet) {
+    if (typeof value === "string" && tokenSet.has(value))
+        out.add(value);
+    else if (Array.isArray(value)) {
+        for (const item of value)
+            collectTokens(item, out, tokenSet);
+    }
+    else if (value && typeof value === "object") {
+        for (const item of Object.values(value))
+            collectTokens(item, out, tokenSet);
+    }
+}
+//# sourceMappingURL=tokens.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.js","sourceRoot":"","sources":["../../../src/check/runtime/tokens.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGnD,MAAM,OAAO,cAAe,SAAQ,KAAK;IAClB;IAArB,YAAqB,QAAgB;QACnC,KAAK,CAAC,2BAA2B,QAAQ,EAAE,CAAC,CAAC;QAD1B,aAAQ,GAAR,QAAQ,CAAQ;IAErC,CAAC;CACF;AAED,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,KAAiB,EACjB,QAAgB;IAEhB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;IACvE,IAAI,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,iDAAiD,QAAQ,EAAE,CAC5D,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAa,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QACtC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC/C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,KAAY,EACZ,GAAgB,EAChB,QAA6B;IAE7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC/D,CAAC;SAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC"}

package/dist/check/slicing/slice-model.d.ts

@@ -0,0 +1,5 @@
+import type { Model, Property } from "modality-ts/core";
+export declare function sliceModel(model: Model, propertyReads: readonly string[]): Model;
+export declare function sliceModelForProperty(model: Model, property: Pick<Property, "reads" | "enabledTransitions">): Model;
+export declare function enabledTransitionVars(model: Model, transitionIds: Set<string>): string[];
+//# sourceMappingURL=slice-model.d.ts.map

package/dist/check/slicing/slice-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slice-model.d.ts","sourceRoot":"","sources":["../../../src/check/slicing/slice-model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAExD,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,KAAK,CAEP;AAED,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,GAAG,oBAAoB,CAAC,GACvD,KAAK,CAiCP;AAED,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,KAAK,EACZ,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,MAAM,EAAE,CAYV"}

package/dist/check/slicing/slice-model.js

@@ -0,0 +1,48 @@
+export function sliceModel(model, propertyReads) {
+    return sliceModelForProperty(model, { reads: propertyReads });
+}
+export function sliceModelForProperty(model, property) {
+    const systemVars = new Set(model.vars
+        .filter((decl) => decl.id.startsWith("sys:"))
+        .map((decl) => decl.id));
+    const forcedTransitions = new Set(property.enabledTransitions ?? []);
+    const needed = new Set([
+        ...systemVars,
+        ...(property.reads ?? []),
+        ...enabledTransitionVars(model, forcedTransitions),
+    ]);
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (const transition of model.transitions) {
+            if (!transition.writes.some((write) => needed.has(write)))
+                continue;
+            for (const id of [...transition.reads, ...transition.writes]) {
+                if (!needed.has(id)) {
+                    needed.add(id);
+                    changed = true;
+                }
+            }
+        }
+    }
+    const vars = model.vars.filter((decl) => needed.has(decl.id));
+    const transitions = model.transitions.filter((transition) => forcedTransitions.has(transition.id) ||
+        transition.writes.some((write) => needed.has(write)) ||
+        transition.reads.some((read) => needed.has(read)));
+    return { ...model, vars, transitions };
+}
+export function enabledTransitionVars(model, transitionIds) {
+    const vars = new Set();
+    for (const id of transitionIds) {
+        const transition = model.transitions.find((candidate) => candidate.id === id);
+        if (!transition)
+            continue;
+        vars.add("sys:route");
+        for (const read of transition.reads)
+            vars.add(read);
+        for (const write of transition.writes)
+            vars.add(write);
+    }
+    return [...vars].sort();
+}
+//# sourceMappingURL=slice-model.js.map

package/dist/check/slicing/slice-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"slice-model.js","sourceRoot":"","sources":["../../../src/check/slicing/slice-model.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,aAAgC;IAEhC,OAAO,qBAAqB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAY,EACZ,QAAwD;IAExD,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,KAAK,CAAC,IAAI;SACP,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;SAC5C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAC1B,CAAC;IACF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC;QACrB,GAAG,UAAU;QACb,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;QACzB,GAAG,qBAAqB,CAAC,KAAK,EAAE,iBAAiB,CAAC;KACnD,CAAC,CAAC;IACH,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAAE,SAAS;YACpE,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACf,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAC1C,CAAC,UAAU,EAAE,EAAE,CACb,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpD,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CACpD,CAAC;IACF,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAY,EACZ,aAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CACvC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CACnC,CAAC;QACF,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC"}

package/dist/check/traces/step-facts.d.ts

@@ -0,0 +1,3 @@
+import type { ModelState, StepFacts, Transition } from "modality-ts/core";
+export declare function facts(pre: ModelState, post: ModelState, transition: Transition): StepFacts;
+//# sourceMappingURL=step-facts.d.ts.map

package/dist/check/traces/step-facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-facts.d.ts","sourceRoot":"","sources":["../../../src/check/traces/step-facts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI1E,wBAAgB,KAAK,CACnB,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,UAAU,GACrB,SAAS,CAiCX"}

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

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

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

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

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

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

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

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

package/dist/check/traces/trace.js

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

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

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

package/dist/{checker/search/index.d.ts → check/types.d.ts}

@@ -1,4 +1,4 @@
-import type { Model, ModelState, Property, Trace, TraceStep } from "modality-ts/kernel";
+import type { ModelState, StepFacts, Trace, Transition } from "modality-ts/core";
 export type PropertyVerdict = {
     status: "verified-within-bounds";
     property: string;
@@ -36,8 +36,18 @@ export interface CheckResult {
 export interface CheckOptions {
     slicing?: boolean;
 }
-export declare function checkModel(model: Model, properties: readonly Property[], options?: CheckOptions): CheckResult;
-export declare function sliceModel(model: Model, propertyReads: readonly string[]): Model;
-export declare function modelInitialStates(model: Model): ModelState[];
-export declare function modelSuccessors(model: Model, pre: ModelState): TraceStep[];
-//# sourceMappingURL=index.d.ts.map
+export interface Parent {
+    parent: string | null;
+    transition: Transition | null;
+    pre: ModelState | null;
+    post: ModelState;
+}
+export interface Edge {
+    preCanon: string;
+    postCanon: string;
+    pre: ModelState;
+    post: ModelState;
+    transition: Transition;
+    step: StepFacts;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/check/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/check/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,SAAS,EACT,KAAK,EACL,UAAU,EACX,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,eAAe,GACvB;IAAE,MAAM,EAAE,wBAAwB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACtD;IACE,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD;IACE,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD;IAAE,MAAM,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,MAAM;IACrB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,UAAU,CAAC;IAChB,IAAI,EAAE,UAAU,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,IAAI,EAAE,SAAS,CAAC;CACjB"}

package/dist/{kernel/ir → check}/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/kernel/ir/types.ts"],"names":[],"mappings":""}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/check/types.ts"],"names":[],"mappings":""}

package/dist/cli/check.d.ts

@@ -0,0 +1,3 @@
+export { createCheckReport, renderCheckResult, runCheckCommand, } from "./features/check/index.js";
+export type { CheckCommandOptions, CheckCommandResult, } from "./features/check/index.js";
+//# sourceMappingURL=check.d.ts.map

package/dist/cli/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/cli/check.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,GAChB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,2BAA2B,CAAC"}

package/dist/cli/check.js

@@ -0,0 +1,2 @@
+export { createCheckReport, renderCheckResult, runCheckCommand, } from "./features/check/index.js";
+//# sourceMappingURL=check.js.map

package/dist/cli/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/cli/check.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,GAChB,MAAM,2BAA2B,CAAC"}

package/dist/cli/ci.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ci.d.ts","sourceRoot":"","sources":["../../src/cli/ci.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/cli/ci.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ci.js","sourceRoot":"","sources":["../../src/cli/ci.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/{modality → cli}/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/modality/cli.ts"],"names":[],"mappings":""}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli/cli.ts"],"names":[],"mappings":""}