modality-ts 0.0.16 → 0.0.18

package/dist/extract/sources/router/module-roles.js

@@ -0,0 +1,153 @@
+import * as ts from "typescript";
+const SERVER_EXPORT_NAMES = new Set(["loader", "action", "headers"]);
+export function isServerOnlyModulePath(fileName) {
+    const normalized = fileName.split("\\").join("/");
+    return /\.server\./.test(normalized) || /\/server\//.test(normalized);
+}
+export function parseModuleDirectives(sourceText) {
+    const directives = [];
+    const lines = sourceText.split(/\r?\n/).slice(0, 5);
+    for (const line of lines) {
+        const trimmed = line.trim();
+        if (trimmed === '"use client";' || trimmed === "'use client';")
+            directives.push("use client");
+        if (trimmed === '"use server";' || trimmed === "'use server';")
+            directives.push("use server");
+    }
+    return directives;
+}
+function parseSource(sourceText, fileName) {
+    return ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, fileName.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS);
+}
+function isPascalCase(name) {
+    return /^[A-Z][A-Za-z0-9]*$/.test(name);
+}
+function isHookExport(name) {
+    return (name.startsWith("use") && name.length > 3 && /^[A-Z]/.test(name[3] ?? ""));
+}
+function exportNameFromClause(clause) {
+    if (!clause.exportClause || !ts.isNamedExports(clause.exportClause))
+        return undefined;
+    const elements = clause.exportClause.elements;
+    if (elements.length !== 1)
+        return undefined;
+    const element = elements[0];
+    if (!element)
+        return undefined;
+    return (element.name ?? element.propertyName)?.text;
+}
+function declarationExportName(statement) {
+    if (ts.isFunctionDeclaration(statement) && statement.name)
+        return statement.name.text;
+    if (ts.isVariableStatement(statement)) {
+        const decl = statement.declarationList.declarations[0];
+        if (decl && ts.isIdentifier(decl.name))
+            return decl.name.text;
+    }
+    if (ts.isClassDeclaration(statement) && statement.name)
+        return statement.name.text;
+    return undefined;
+}
+function isExported(statement) {
+    return ((ts.canHaveModifiers(statement) &&
+        statement.modifiers?.some((mod) => mod.kind === ts.SyntaxKind.ExportKeyword)) ??
+        false);
+}
+function isDefaultExport(statement) {
+    return ((ts.canHaveModifiers(statement) &&
+        statement.modifiers?.some((mod) => mod.kind === ts.SyntaxKind.DefaultKeyword)) ??
+        false);
+}
+export function classifyReactRouterModule(ctx) {
+    const directives = parseModuleDirectives(ctx.sourceText);
+    if (isServerOnlyModulePath(ctx.fileName)) {
+        return {
+            defaultContext: "server",
+            serverOnly: true,
+            directives,
+            reason: "server-only module path",
+        };
+    }
+    if (directives.includes("use server")) {
+        return {
+            defaultContext: "server",
+            serverOnly: true,
+            directives,
+            reason: "use server directive",
+        };
+    }
+    if (directives.includes("use client")) {
+        return {
+            defaultContext: "client",
+            directives,
+            reason: "use client directive",
+        };
+    }
+    return {
+        defaultContext: "shared",
+        directives,
+        reason: "route/client module",
+    };
+}
+export function reactRouterModuleEntryExports(ctx) {
+    const sourceFile = parseSource(ctx.sourceText, ctx.fileName);
+    const entries = [];
+    const seen = new Set();
+    const addEntry = (name, context, reason) => {
+        const key = name === "default" ? "default" : name;
+        if (seen.has(key))
+            return;
+        seen.add(key);
+        entries.push({ name, context, reason });
+    };
+    for (const statement of sourceFile.statements) {
+        if (ts.isExportAssignment(statement)) {
+            addEntry("default", "client", "default export");
+            continue;
+        }
+        if (ts.isExportDeclaration(statement)) {
+            const exported = exportNameFromClause(statement);
+            if (!exported)
+                continue;
+            if (SERVER_EXPORT_NAMES.has(exported)) {
+                addEntry(exported, "server", `server route export ${exported}`);
+            }
+            else if (isPascalCase(exported)) {
+                addEntry(exported, "client", "exported component");
+            }
+            else if (isHookExport(exported)) {
+                addEntry(exported, "client", "exported hook");
+            }
+            continue;
+        }
+        if (!isExported(statement))
+            continue;
+        if (isDefaultExport(statement)) {
+            addEntry("default", "client", "default export");
+            continue;
+        }
+        const name = declarationExportName(statement);
+        if (!name)
+            continue;
+        if (SERVER_EXPORT_NAMES.has(name)) {
+            addEntry(name, "server", `server route export ${name}`);
+        }
+        else if (isPascalCase(name)) {
+            addEntry(name, "client", "exported component");
+        }
+        else if (isHookExport(name)) {
+            addEntry(name, "client", "exported hook");
+        }
+    }
+    return entries.sort((left, right) => {
+        const leftKey = left.name === "default" ? "" : left.name;
+        const rightKey = right.name === "default" ? "" : right.name;
+        return leftKey.localeCompare(rightKey);
+    });
+}
+export function classifyReactRouterImportEdge(ctx) {
+    if (ctx.isTypeOnly)
+        return "type";
+    return "unknown";
+}
+//# sourceMappingURL=module-roles.js.map

package/dist/extract/sources/router/module-roles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-roles.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/module-roles.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAWjC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAErE,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClD,OAAO,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,eAAe,IAAI,OAAO,KAAK,eAAe;YAC5D,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,eAAe,IAAI,OAAO,KAAK,eAAe;YAC5D,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,UAAkB,EAAE,QAAgB;IACvD,OAAO,EAAE,CAAC,gBAAgB,CACxB,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC;IAC9C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,qBAAqB,CAAC,SAAuB;IACpD,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI;QACvD,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAChE,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI;QACpD,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,SAAuB;IACzC,OAAO,CACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC7B,SAAS,CAAC,SAAS,EAAE,IAAI,CACvB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAClD,CAAC;QACJ,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAuB;IAC9C,OAAO,CACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC7B,SAAS,CAAC,SAAS,EAAE,IAAI,CACvB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CACnD,CAAC;QACJ,KAAK,CACN,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,GAAkB;IAElB,MAAM,UAAU,GAAG,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,OAAO;YACL,cAAc,EAAE,QAAQ;YACxB,UAAU,EAAE,IAAI;YAChB,UAAU;YACV,MAAM,EAAE,yBAAyB;SAClC,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,cAAc,EAAE,QAAQ;YACxB,UAAU,EAAE,IAAI;YAChB,UAAU;YACV,MAAM,EAAE,sBAAsB;SAC/B,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,cAAc,EAAE,QAAQ;YACxB,UAAU;YACV,MAAM,EAAE,sBAAsB;SAC/B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,cAAc,EAAE,QAAQ;QACxB,UAAU;QACV,MAAM,EAAE,qBAAqB;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,GAAkB;IAElB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,QAAQ,GAAG,CACf,IAA+B,EAC/B,OAA6B,EAC7B,MAAc,EACR,EAAE;QACR,MAAM,GAAG,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;YACjD,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,uBAAuB,QAAQ,EAAE,CAAC,CAAC;YAClE,CAAC;iBAAM,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;YAChD,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,SAAS;QACrC,IAAI,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,uBAAuB,IAAI,EAAE,CAAC,CAAC;QAC1D,CAAC;aAAM,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAClC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5D,OAAO,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,GAAkB;IAElB,IAAI,GAAG,CAAC,UAAU;QAAE,OAAO,MAAM,CAAC;IAClC,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "modality-ts",
-  "version": "0.0.16",
+  "version": "0.0.18",
   "description": "Model-checking-based testing tools for React state-transition bugs.",
   "license": "MIT",
   "repository": {
@@ -11,6 +11,7 @@
   "types": "./dist/cli/cli.d.ts",
   "files": [
     "dist/**",
+    "native/**",
     "README.md",
     "LICENSE"
   ],
@@ -126,14 +127,15 @@
   "packageManager": "pnpm@10.12.4",
   "scripts": {
     "architecture": "depcruise --config tools/depcruise.config.cjs src",
-    "build": "tsc -b",
-    "clean": "rm -rf dist tsconfig.tsbuildinfo",
+    "build:rust": "napi build --platform --release --cargo-cwd crates/checker native",
+    "build": "pnpm build:rust && tsc -b",
+    "clean": "rm -rf dist native tsconfig.tsbuildinfo && cargo clean --manifest-path crates/checker/Cargo.toml",
     "ci:examples": "tsx tools/examples-ci.ts",
     "demo": "vitest run test/modality/demo-acceptance.test.ts",
     "fix": "biome lint --write . && biome format --write .",
     "phase7": "tsx tools/phase7-differential.ts",
     "publish:npm": "npm publish --access public",
-    "test": "vitest run",
+    "test": "pnpm build:rust && vitest run",
     "typecheck": "tsc -b"
   },
   "dependencies": {
@@ -142,9 +144,17 @@
   },
   "devDependencies": {
     "@biomejs/biome": "2.5.0",
+    "@napi-rs/cli": "^2.18.4",
     "@types/node": "^24.10.1",
     "dependency-cruiser": "^17.4.3",
     "tsx": "^4.20.6",
     "vitest": "^4.0.14"
+  },
+  "napi": {
+    "name": "modality-checker",
+    "triples": {
+      "defaults": true,
+      "additional": []
+    }
   }
 }

package/dist/check/diagnostics/bounds.d.ts

@@ -1,5 +0,0 @@
-import type { Model, ModelState, Transition } from "modality-ts/core";
-import { type TransitionIndex } from "../engine/transitions.js";
-export declare function recordMaxDepthBoundHits(model: Model, frontier: readonly ModelState[], enabledTransitionIds: Set<string>, boundHits: Set<string>, index?: TransitionIndex): void;
-export declare function effectContainsEnqueue(effect: Transition["effect"]): boolean;
-//# sourceMappingURL=bounds.d.ts.map

package/dist/check/diagnostics/bounds.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bounds.d.ts","sourceRoot":"","sources":["../../../src/check/diagnostics/bounds.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAEL,KAAK,eAAe,EACrB,MAAM,0BAA0B,CAAC;AAElC,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,SAAS,UAAU,EAAE,EAC/B,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,EACjC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EACtB,KAAK,CAAC,EAAE,eAAe,GACtB,IAAI,CAYN;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,OAAO,CAQ3E"}

package/dist/check/diagnostics/bounds.js

@@ -1,25 +0,0 @@
-import { enabledTransitions, } from "../engine/transitions.js";
-export function recordMaxDepthBoundHits(model, frontier, enabledTransitionIds, boundHits, index) {
-    if (frontier.length === 0)
-        return;
-    const blockedTransitions = new Set();
-    for (const state of frontier) {
-        for (const transition of enabledTransitions(model, state, index)) {
-            enabledTransitionIds.add(transition.id);
-            blockedTransitions.add(transition.id);
-        }
-    }
-    for (const id of [...blockedTransitions].sort()) {
-        boundHits.add(`maxDepth reached before ${id}`);
-    }
-}
-export function effectContainsEnqueue(effect) {
-    if (effect.kind === "enqueue")
-        return true;
-    if (effect.kind === "seq")
-        return effect.effects.some(effectContainsEnqueue);
-    if (effect.kind === "if")
-        return (effectContainsEnqueue(effect.then) || effectContainsEnqueue(effect.else));
-    return false;
-}
-//# sourceMappingURL=bounds.js.map

package/dist/check/diagnostics/bounds.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"bounds.js","sourceRoot":"","sources":["../../../src/check/diagnostics/bounds.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,GAEnB,MAAM,0BAA0B,CAAC;AAElC,MAAM,UAAU,uBAAuB,CACrC,KAAY,EACZ,QAA+B,EAC/B,oBAAiC,EACjC,SAAsB,EACtB,KAAuB;IAEvB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAClC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YACjE,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACxC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChD,SAAS,CAAC,GAAG,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAA4B;IAChE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CACL,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CACzE,CAAC;IACJ,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/check/diagnostics/vacuity.d.ts

@@ -1,3 +0,0 @@
-import type { Model, ModelState } from "modality-ts/core";
-export declare function vacuityWarnings(model: Model, states: Map<string, ModelState>, enabledTransitionIds: Set<string>): string[];
-//# sourceMappingURL=vacuity.d.ts.map

package/dist/check/diagnostics/vacuity.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"vacuity.d.ts","sourceRoot":"","sources":["../../../src/check/diagnostics/vacuity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE1D,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAC/B,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,GAChC,MAAM,EAAE,CAuBV"}

package/dist/check/diagnostics/vacuity.js

@@ -1,22 +0,0 @@
-export function vacuityWarnings(model, states, enabledTransitionIds) {
-    const warnings = [];
-    for (const transition of model.transitions) {
-        if (transition.cls !== "internal" &&
-            !enabledTransitionIds.has(transition.id)) {
-            warnings.push(`transition never enabled: ${transition.id}`);
-        }
-    }
-    for (const decl of model.vars) {
-        if (decl.domain.kind !== "enum")
-            continue;
-        const inhabited = new Set([...states.values()]
-            .map((state) => state[decl.id])
-            .filter((value) => typeof value === "string"));
-        for (const value of decl.domain.values) {
-            if (!inhabited.has(value))
-                warnings.push(`enum value never inhabited: ${decl.id}=${value}`);
-        }
-    }
-    return warnings.sort();
-}
-//# sourceMappingURL=vacuity.js.map

package/dist/check/diagnostics/vacuity.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"vacuity.js","sourceRoot":"","sources":["../../../src/check/diagnostics/vacuity.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,eAAe,CAC7B,KAAY,EACZ,MAA+B,EAC/B,oBAAiC;IAEjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAC3C,IACE,UAAU,CAAC,GAAG,KAAK,UAAU;YAC7B,CAAC,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EACxC,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,6BAA6B,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;aACjB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAC9B,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CACjE,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACvC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC,+BAA+B,IAAI,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC"}

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

@@ -1,7 +0,0 @@
-import type { Model, Property } from "modality-ts/core";
-import type { CheckOptions, CheckResult } from "../types.js";
-export declare function needsRecordedEdges(properties: readonly Property[]): boolean;
-export declare function needsReverseGraph(properties: readonly Property[]): boolean;
-export declare function needsStepMonitoring(properties: readonly Property[]): boolean;
-export declare function checkModel(model: Model, properties: readonly Property[], options?: CheckOptions): CheckResult;
-//# sourceMappingURL=check-model.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"check-model.d.ts","sourceRoot":"","sources":["../../../src/check/engine/check-model.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,KAAK,EAEL,QAAQ,EAGT,MAAM,kBAAkB,CAAC;AAe1B,OAAO,KAAK,EAEV,YAAY,EACZ,WAAW,EAOZ,MAAM,aAAa,CAAC;AAuBrB,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAE3E;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAE1E;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAE5E;AAqFD,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,OAAO,GAAE,YAAiB,GACzB,WAAW,CAyBb"}