modality-ts 0.0.17 → 0.0.18

package/README.md

@@ -11,29 +11,33 @@ It extracts a finite transition model from React + TypeScript code, checks devel
 
 ## Install
 
+Install `modality-ts` as a dev dependency in the app you are checking. Property files such as `app.props.mjs` import `modality-ts/core`, so the package must resolve from that app's dependency graph.
+
 ```bash
-npm install -g modality-ts
+npm install -D modality-ts
 ```
 
+(`pnpm add -D modality-ts` and `yarn add -D modality-ts` work the same way.)
+
 ## Usage
 
 Start by extracting a model from a React component:
 
 ```bash
-modality init
-modality extract
+npx modality init
+npx modality extract
 ```
 
 If your component calls side-effect APIs that should appear in the model, name them explicitly:
 
 ```bash
-modality extract --effect-api api.placeOrder
+npx modality extract --effect-api api.placeOrder
 ```
 
 Check the extracted model against a property file:
 
 ```bash
-modality check
+npx modality check
 ```
 
 `modality check` applies conservative default search limits (`--max-states`, `--max-edges`, `--max-frontier`, `--memory-guard-mb`). Use `--no-search-limits` for intentionally unbounded runs.
@@ -41,25 +45,25 @@ modality check
 When a property fails, replay the generated counterexample trace:
 
 ```bash
-modality replay .modality/traces/noDoubleSubmit.violated.trace.json
+npx modality replay .modality/traces/noDoubleSubmit.violated.trace.json
 ```
 
 For CI, write all verification artifacts into one directory:
 
 ```bash
-modality ci .modality/model.json src/app.props.mjs --artifacts .modality
+npx modality ci .modality/model.json src/app.props.mjs --artifacts .modality
 ```
 
 Useful commands:
 
 ```bash
-modality init
-modality extract [source.tsx ...]
-modality check [model.json] [props.mjs ...] [--max-states N] [--max-edges N] [--max-frontier N] [--memory-guard-mb N] [--no-search-limits]
-modality replay <trace.json>
-modality conform --count 8 --depth 4
-modality export
-modality ci <model.json> [props.ts] --artifacts .modality
+npx modality init
+npx modality extract [source.tsx ...]
+npx modality check [model.json] [props.mjs ...] [--max-states N] [--max-edges N] [--max-frontier N] [--memory-guard-mb N] [--no-search-limits]
+npx modality replay <trace.json>
+npx modality conform --count 8 --depth 4
+npx modality export
+npx modality ci <model.json> [props.ts] --artifacts .modality
 ```
 
 ## Limitation

package/dist/check/native.d.ts

@@ -1,5 +1,15 @@
 import type { Model, ModelState, Property, TraceStep } from "modality-ts/core";
 import type { CheckOptions, CheckResult } from "./types.js";
+export type LinuxLibcKind = "gnu" | "musl";
+export interface NativeRuntime {
+    platform: NodeJS.Platform;
+    arch: string;
+    libcKind?: LinuxLibcKind;
+}
+export declare function nativeTriplesForRuntime(platform: NodeJS.Platform, arch: string, libcKind?: LinuxLibcKind): string[];
+export declare function detectLinuxLibc(): LinuxLibcKind;
+export declare function candidateNativeFilenames(runtime: NativeRuntime): string[];
+export declare function resolveNativeBinaryInDirs(nativeDirs: string[], runtime: NativeRuntime): string | undefined;
 export declare function runRustCheck(model: Model, properties: readonly Property[], options?: CheckOptions): CheckResult;
 export declare function runRustInitialStates(model: Model): ModelState[];
 export declare function runRustSuccessors(model: Model, state: ModelState): TraceStep[];

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

@@ -1 +1 @@
-{"version":3,"file":"native.d.ts","sourceRoot":"","sources":["../../src/check/native.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE/E,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAmD5D,wBAAgB,YAAY,CAC1B,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,OAAO,GAAE,YAAiB,GACzB,WAAW,CAoBb;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAG/D;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,GAChB,SAAS,EAAE,CAMb"}
+{"version":3,"file":"native.d.ts","sourceRoot":"","sources":["../../src/check/native.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE/E,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAU5D,MAAM,MAAM,aAAa,GAAG,KAAK,GAAG,MAAM,CAAC;AAE3C,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,aAAa,CAAC;CAC1B;AAID,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EACzB,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,aAAa,GACvB,MAAM,EAAE,CAkBV;AAED,wBAAgB,eAAe,IAAI,aAAa,CAiB/C;AAaD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAQzE;AAED,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,MAAM,EAAE,EACpB,OAAO,EAAE,aAAa,GACrB,MAAM,GAAG,SAAS,CAUpB;AAoDD,wBAAgB,YAAY,CAC1B,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,OAAO,GAAE,YAAiB,GACzB,WAAW,CAoBb;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAG/D;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,GAChB,SAAS,EAAE,CAMb"}

package/dist/check/native.js

@@ -1,27 +1,101 @@
-import { createRequire } from "node:module";
-import { existsSync, readdirSync } from "node:fs";
+import { execFileSync } from "node:child_process";
+import { existsSync } from "node:fs";
 import { dirname, join } from "node:path";
 import { fileURLToPath } from "node:url";
+import { createRequire } from "node:module";
 import { serializeProperties } from "./serialize-properties.js";
 const require = createRequire(import.meta.url);
-function resolveNativeBinary() {
+export function nativeTriplesForRuntime(platform, arch, libcKind) {
+    if (platform === "darwin") {
+        if (arch === "arm64")
+            return ["darwin-arm64", "darwin-universal"];
+        if (arch === "x64")
+            return ["darwin-x64", "darwin-universal"];
+        return [];
+    }
+    if (platform === "linux") {
+        if (arch === "x64") {
+            if (libcKind === "musl")
+                return ["linux-x64-musl"];
+            return ["linux-x64-gnu"];
+        }
+        if (arch === "arm64")
+            return ["linux-arm64-gnu"];
+        return [];
+    }
+    if (platform === "win32" && arch === "x64") {
+        return ["win32-x64-msvc"];
+    }
+    return [];
+}
+export function detectLinuxLibc() {
+    if (typeof process.report?.getReport === "function") {
+        const report = process.report.getReport();
+        if (report.header?.glibcVersionRuntime) {
+            return "gnu";
+        }
+    }
+    try {
+        const lddVersion = execFileSync("ldd", ["--version"], {
+            encoding: "utf8",
+        });
+        return lddVersion.includes("musl") ? "musl" : "gnu";
+    }
+    catch {
+        return "musl";
+    }
+}
+function currentNativeRuntime() {
+    const runtime = {
+        platform: process.platform,
+        arch: process.arch,
+    };
+    if (process.platform === "linux") {
+        runtime.libcKind = detectLinuxLibc();
+    }
+    return runtime;
+}
+export function candidateNativeFilenames(runtime) {
+    const triples = nativeTriplesForRuntime(runtime.platform, runtime.arch, runtime.libcKind);
+    const suffixed = triples.map((triple) => `modality-checker.${triple}.node`);
+    return [...suffixed, "modality-checker.node"];
+}
+export function resolveNativeBinaryInDirs(nativeDirs, runtime) {
+    const candidates = candidateNativeFilenames(runtime);
+    for (const dir of nativeDirs) {
+        if (!existsSync(dir))
+            continue;
+        for (const filename of candidates) {
+            const candidate = join(dir, filename);
+            if (existsSync(candidate))
+                return candidate;
+        }
+    }
+    return undefined;
+}
+function defaultNativeDirs() {
     const here = dirname(fileURLToPath(import.meta.url));
-    const nativeDirs = [
+    return [
         join(here, "..", "..", "native"),
         join(here, "native"),
         join(process.cwd(), "native"),
     ];
-    for (const dir of nativeDirs) {
-        const exact = join(dir, "modality-checker.node");
-        if (existsSync(exact))
-            return exact;
-        if (!existsSync(dir))
-            continue;
-        const platformMatch = readdirSync(dir).find((entry) => entry.startsWith("modality-checker.") && entry.endsWith(".node"));
-        if (platformMatch)
-            return join(dir, platformMatch);
-    }
-    throw new Error("Native modality-checker addon not found. Run `pnpm build:rust` before checking.");
+}
+function resolveNativeBinary() {
+    const runtime = currentNativeRuntime();
+    const nativeDirs = defaultNativeDirs();
+    const resolved = resolveNativeBinaryInDirs(nativeDirs, runtime);
+    if (resolved)
+        return resolved;
+    const candidates = candidateNativeFilenames(runtime);
+    const triples = nativeTriplesForRuntime(runtime.platform, runtime.arch, runtime.libcKind);
+    const libc = runtime.platform === "linux" ? ` (${runtime.libcKind ?? "unknown"})` : "";
+    throw new Error(`Native modality-checker addon not found for ${runtime.platform}/${runtime.arch}${libc}. ` +
+        `Expected one of: ${candidates.join(", ")}. ` +
+        `Searched: ${nativeDirs.join(", ")}. ` +
+        (triples.length === 0
+            ? "This platform is not supported by the published native artifact set."
+            : "Run `pnpm build:rust` for a local build or install a published package that includes the matching native binary."));
 }
 let binding;
 function loadBinding() {

package/dist/check/native.js.map

@@ -1 +1 @@
-{"version":3,"file":"native.js","sourceRoot":"","sources":["../../src/check/native.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAWhE,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE/C,SAAS,mBAAmB;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC;QAChC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC;KAC9B,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;QACjD,IAAI,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,CACzC,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CACnE,CAAC;QACF,IAAI,aAAa;YAAE,OAAO,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,IAAI,KAAK,CACb,iFAAiF,CAClF,CAAC;AACJ,CAAC;AAED,IAAI,OAAkC,CAAC;AAEvC,SAAS,WAAW;IAClB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAkB,CAAC;IAC5D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAI,GAAW;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAsB,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,OAAO,GAAG;QACd,KAAK;QACL,UAAU,EAAE,mBAAmB,CAAC,UAAU,CAAC;QAC3C,OAAO,EAAE;YACP,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,gBAAgB,EAAE,OAAO,CAAC,WAAW,EAAE,gBAAgB;SACxD;KACF,CAAC;IACF,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAgC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAY;IAC/C,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACpE,OAAO,aAAa,CAAe,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,KAAiB;IAEjB,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,eAAe,CACvC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EACrB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CACtB,CAAC;IACF,OAAO,aAAa,CAAc,GAAG,CAAC,CAAC;AACzC,CAAC"}
+{"version":3,"file":"native.js","sourceRoot":"","sources":["../../src/check/native.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAmBhE,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE/C,MAAM,UAAU,uBAAuB,CACrC,QAAyB,EACzB,IAAY,EACZ,QAAwB;IAExB,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;QAC9D,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,IAAI,QAAQ,KAAK,MAAM;gBAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;YACnD,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACjD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,QAAQ,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3C,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,eAAe;IAC7B,IAAI,OAAO,OAAO,CAAC,MAAM,EAAE,SAAS,KAAK,UAAU,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAEtC,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,EAAE,mBAAmB,EAAE,CAAC;YACvC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE;YACpD,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB;IAC3B,MAAM,OAAO,GAAkB;QAC7B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,QAAQ,GAAG,eAAe,EAAE,CAAC;IACvC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAsB;IAC7D,MAAM,OAAO,GAAG,uBAAuB,CACrC,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,QAAQ,CACjB,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,MAAM,OAAO,CAAC,CAAC;IAC5E,OAAO,CAAC,GAAG,QAAQ,EAAE,uBAAuB,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,UAAoB,EACpB,OAAsB;IAEtB,MAAM,UAAU,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACtC,IAAI,UAAU,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,OAAO;QACL,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC;QAChC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC;KAC9B,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB;IAC1B,MAAM,OAAO,GAAG,oBAAoB,EAAE,CAAC;IACvC,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChE,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAE9B,MAAM,UAAU,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,uBAAuB,CACrC,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,QAAQ,CACjB,CAAC;IACF,MAAM,IAAI,GACR,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,QAAQ,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,MAAM,IAAI,KAAK,CACb,+CAA+C,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,GAAG,IAAI,IAAI;QACxF,oBAAoB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC7C,aAAa,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACtC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YACnB,CAAC,CAAC,sEAAsE;YACxE,CAAC,CAAC,kHAAkH,CAAC,CAC1H,CAAC;AACJ,CAAC;AAED,IAAI,OAAkC,CAAC;AAEvC,SAAS,WAAW;IAClB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAkB,CAAC;IAC5D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAI,GAAW;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAsB,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,OAAO,GAAG;QACd,KAAK;QACL,UAAU,EAAE,mBAAmB,CAAC,UAAU,CAAC;QAC3C,OAAO,EAAE;YACP,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,gBAAgB,EAAE,OAAO,CAAC,WAAW,EAAE,gBAAgB;SACxD;KACF,CAAC;IACF,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAgC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAY;IAC/C,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACpE,OAAO,aAAa,CAAe,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,KAAiB;IAEjB,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,eAAe,CACvC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EACrB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CACtB,CAAC;IACF,OAAO,aAAa,CAAc,GAAG,CAAC,CAAC;AACzC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "modality-ts",
-  "version": "0.0.17",
+  "version": "0.0.18",
   "description": "Model-checking-based testing tools for React state-transition bugs.",
   "license": "MIT",
   "repository": {

package/native/index.d.ts

@@ -1,8 +0,0 @@
-/* tslint:disable */
-/* eslint-disable */
-
-/* auto-generated by NAPI-RS */
-
-export declare function checkModel(serializedRequest: string): string
-export declare function modelInitialStates(modelJson: string): string
-export declare function modelSuccessors(modelJson: string, stateJson: string): string

package/native/index.js

@@ -1,317 +0,0 @@
-/* tslint:disable */
-/* eslint-disable */
-/* prettier-ignore */
-
-/* auto-generated by NAPI-RS */
-
-const { existsSync, readFileSync } = require('fs')
-const { join } = require('path')
-
-const { platform, arch } = process
-
-let nativeBinding = null
-let localFileExisted = false
-let loadError = null
-
-function isMusl() {
-  // For Node 10
-  if (!process.report || typeof process.report.getReport !== 'function') {
-    try {
-      const lddPath = require('child_process').execSync('which ldd').toString().trim()
-      return readFileSync(lddPath, 'utf8').includes('musl')
-    } catch (e) {
-      return true
-    }
-  } else {
-    const { glibcVersionRuntime } = process.report.getReport().header
-    return !glibcVersionRuntime
-  }
-}
-
-switch (platform) {
-  case 'android':
-    switch (arch) {
-      case 'arm64':
-        localFileExisted = existsSync(join(__dirname, 'modality-checker.android-arm64.node'))
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.android-arm64.node')
-          } else {
-            nativeBinding = require('modality-ts-android-arm64')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      case 'arm':
-        localFileExisted = existsSync(join(__dirname, 'modality-checker.android-arm-eabi.node'))
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.android-arm-eabi.node')
-          } else {
-            nativeBinding = require('modality-ts-android-arm-eabi')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      default:
-        throw new Error(`Unsupported architecture on Android ${arch}`)
-    }
-    break
-  case 'win32':
-    switch (arch) {
-      case 'x64':
-        localFileExisted = existsSync(
-          join(__dirname, 'modality-checker.win32-x64-msvc.node')
-        )
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.win32-x64-msvc.node')
-          } else {
-            nativeBinding = require('modality-ts-win32-x64-msvc')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      case 'ia32':
-        localFileExisted = existsSync(
-          join(__dirname, 'modality-checker.win32-ia32-msvc.node')
-        )
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.win32-ia32-msvc.node')
-          } else {
-            nativeBinding = require('modality-ts-win32-ia32-msvc')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      case 'arm64':
-        localFileExisted = existsSync(
-          join(__dirname, 'modality-checker.win32-arm64-msvc.node')
-        )
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.win32-arm64-msvc.node')
-          } else {
-            nativeBinding = require('modality-ts-win32-arm64-msvc')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      default:
-        throw new Error(`Unsupported architecture on Windows: ${arch}`)
-    }
-    break
-  case 'darwin':
-    localFileExisted = existsSync(join(__dirname, 'modality-checker.darwin-universal.node'))
-    try {
-      if (localFileExisted) {
-        nativeBinding = require('./modality-checker.darwin-universal.node')
-      } else {
-        nativeBinding = require('modality-ts-darwin-universal')
-      }
-      break
-    } catch {}
-    switch (arch) {
-      case 'x64':
-        localFileExisted = existsSync(join(__dirname, 'modality-checker.darwin-x64.node'))
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.darwin-x64.node')
-          } else {
-            nativeBinding = require('modality-ts-darwin-x64')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      case 'arm64':
-        localFileExisted = existsSync(
-          join(__dirname, 'modality-checker.darwin-arm64.node')
-        )
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.darwin-arm64.node')
-          } else {
-            nativeBinding = require('modality-ts-darwin-arm64')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      default:
-        throw new Error(`Unsupported architecture on macOS: ${arch}`)
-    }
-    break
-  case 'freebsd':
-    if (arch !== 'x64') {
-      throw new Error(`Unsupported architecture on FreeBSD: ${arch}`)
-    }
-    localFileExisted = existsSync(join(__dirname, 'modality-checker.freebsd-x64.node'))
-    try {
-      if (localFileExisted) {
-        nativeBinding = require('./modality-checker.freebsd-x64.node')
-      } else {
-        nativeBinding = require('modality-ts-freebsd-x64')
-      }
-    } catch (e) {
-      loadError = e
-    }
-    break
-  case 'linux':
-    switch (arch) {
-      case 'x64':
-        if (isMusl()) {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-x64-musl.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-x64-musl.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-x64-musl')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        } else {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-x64-gnu.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-x64-gnu.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-x64-gnu')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        }
-        break
-      case 'arm64':
-        if (isMusl()) {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-arm64-musl.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-arm64-musl.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-arm64-musl')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        } else {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-arm64-gnu.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-arm64-gnu.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-arm64-gnu')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        }
-        break
-      case 'arm':
-        if (isMusl()) {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-arm-musleabihf.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-arm-musleabihf.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-arm-musleabihf')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        } else {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-arm-gnueabihf.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-arm-gnueabihf.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-arm-gnueabihf')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        }
-        break
-      case 'riscv64':
-        if (isMusl()) {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-riscv64-musl.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-riscv64-musl.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-riscv64-musl')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        } else {
-          localFileExisted = existsSync(
-            join(__dirname, 'modality-checker.linux-riscv64-gnu.node')
-          )
-          try {
-            if (localFileExisted) {
-              nativeBinding = require('./modality-checker.linux-riscv64-gnu.node')
-            } else {
-              nativeBinding = require('modality-ts-linux-riscv64-gnu')
-            }
-          } catch (e) {
-            loadError = e
-          }
-        }
-        break
-      case 's390x':
-        localFileExisted = existsSync(
-          join(__dirname, 'modality-checker.linux-s390x-gnu.node')
-        )
-        try {
-          if (localFileExisted) {
-            nativeBinding = require('./modality-checker.linux-s390x-gnu.node')
-          } else {
-            nativeBinding = require('modality-ts-linux-s390x-gnu')
-          }
-        } catch (e) {
-          loadError = e
-        }
-        break
-      default:
-        throw new Error(`Unsupported architecture on Linux: ${arch}`)
-    }
-    break
-  default:
-    throw new Error(`Unsupported OS: ${platform}, architecture: ${arch}`)
-}
-
-if (!nativeBinding) {
-  if (loadError) {
-    throw loadError
-  }
-  throw new Error(`Failed to load native binding`)
-}
-
-const { checkModel, modelInitialStates, modelSuccessors } = nativeBinding
-
-module.exports.checkModel = checkModel
-module.exports.modelInitialStates = modelInitialStates
-module.exports.modelSuccessors = modelSuccessors