modality-ts 0.0.7 → 0.0.9

package/dist/{modality → cli}/cli.js

@@ -24,7 +24,12 @@ function positionals(args, valueFlags, repeatableValueFlags = []) {
 }
 async function main() {
     const [, , command, ...args] = process.argv;
-    if (command !== "check" && command !== "ci" && command !== "conform" && command !== "export" && command !== "extract" && command !== "replay") {
+    if (command !== "check" &&
+        command !== "ci" &&
+        command !== "conform" &&
+        command !== "export" &&
+        command !== "extract" &&
+        command !== "replay") {
         console.log("Usage: modality extract <source.tsx> --out model.json [--app-model app.model.ts] [--report extraction-report.json] [--expect-model expected.json] [--config modality.config.ts] [--package-json package.json] [--disable-plugin id] [--effect-api name] [--explain-drift]");
         console.log("Usage: modality check <model.json> [props.ts] [--report report.json]");
         console.log("       modality ci <model.json> [props.ts] --artifacts .modality [--baseline report.json] [--source source.tsx] [--conform-count 8] [--min-transition-conform-pass-rate 1]");
@@ -47,12 +52,33 @@ async function main() {
         const conformHarnessPath = flagValue(args, "--conform-harness");
         const minConformPassRateValue = flagValue(args, "--min-conform-pass-rate");
         const minTransitionConformPassRateValue = flagValue(args, "--min-transition-conform-pass-rate");
-        const conformCount = conformCountValue ? Number(conformCountValue) : undefined;
-        const conformDepth = conformDepthValue ? Number(conformDepthValue) : undefined;
+        const conformCount = conformCountValue
+            ? Number(conformCountValue)
+            : undefined;
+        const conformDepth = conformDepthValue
+            ? Number(conformDepthValue)
+            : undefined;
         const conformSeed = conformSeedValue ? Number(conformSeedValue) : undefined;
-        const minConformPassRate = minConformPassRateValue ? Number(minConformPassRateValue) : undefined;
-        const minTransitionConformPassRate = minTransitionConformPassRateValue ? Number(minTransitionConformPassRateValue) : undefined;
-        const positional = positionals(args, ["--artifacts", "--overlay", "--baseline", "--source", "--conform-walks", "--conform-count", "--conform-depth", "--conform-seed", "--conform-mode", "--conform-harness", "--min-conform-pass-rate", "--min-transition-conform-pass-rate"]);
+        const minConformPassRate = minConformPassRateValue
+            ? Number(minConformPassRateValue)
+            : undefined;
+        const minTransitionConformPassRate = minTransitionConformPassRateValue
+            ? Number(minTransitionConformPassRateValue)
+            : undefined;
+        const positional = positionals(args, [
+            "--artifacts",
+            "--overlay",
+            "--baseline",
+            "--source",
+            "--conform-walks",
+            "--conform-count",
+            "--conform-depth",
+            "--conform-seed",
+            "--conform-mode",
+            "--conform-harness",
+            "--min-conform-pass-rate",
+            "--min-transition-conform-pass-rate",
+        ]);
         const [modelPath, propsPath] = positional;
         if (!modelPath)
             throw new Error("Missing model.json path");
@@ -66,7 +92,22 @@ async function main() {
             throw new Error("Missing --source path");
         if (args.includes("--conform-walks") && !conformWalksPath)
             throw new Error("Missing --conform-walks path");
-        const result = await runCiCommand({ modelPath, propsPath, artifactDir, overlayPath, baselinePath, sourcePath, conformWalksPath, conformCount, conformDepth, conformSeed, conformMode, conformHarnessPath, minConformPassRate, minTransitionConformPassRate });
+        const result = await runCiCommand({
+            modelPath,
+            propsPath,
+            artifactDir,
+            overlayPath,
+            baselinePath,
+            sourcePath,
+            conformWalksPath,
+            conformCount,
+            conformDepth,
+            conformSeed,
+            conformMode,
+            conformHarnessPath,
+            minConformPassRate,
+            minTransitionConformPassRate,
+        });
         for (const line of result.lines)
             console.log(line);
         process.exit(result.exitCode);
@@ -83,7 +124,17 @@ async function main() {
         const walkCount = countValue ? Number(countValue) : undefined;
         const depth = depthValue ? Number(depthValue) : undefined;
         const seed = seedValue ? Number(seedValue) : undefined;
-        const walksPath = flaggedWalksPath ?? positionals(args, ["--report", "--model", "--walks", "--count", "--depth", "--seed", "--mode", "--harness"])[0];
+        const walksPath = flaggedWalksPath ??
+            positionals(args, [
+                "--report",
+                "--model",
+                "--walks",
+                "--count",
+                "--depth",
+                "--seed",
+                "--mode",
+                "--harness",
+            ])[0];
         if (!walksPath && !modelPath)
             throw new Error("Missing walks.json path or --model path");
         if (args.includes("--report") && !reportPath)
@@ -92,7 +143,16 @@ async function main() {
             throw new Error("Missing --model path");
         if (args.includes("--walks") && !flaggedWalksPath)
             throw new Error("Missing --walks path");
-        const result = await runConformCommand({ walksPath, modelPath, reportPath, walkCount, depth, seed, mode, harnessPath });
+        const result = await runConformCommand({
+            walksPath,
+            modelPath,
+            reportPath,
+            walkCount,
+            depth,
+            seed,
+            mode,
+            harnessPath,
+        });
         for (const line of result.lines)
             console.log(line);
         process.exit(result.exitCode);
@@ -110,16 +170,28 @@ async function main() {
             throw new Error(`Unsupported export format ${format}`);
         if (args.includes("--module") && !moduleName)
             throw new Error("Missing --module path");
-        const result = await runExportTlaCommand({ modelPath, outPath, moduleName });
+        const result = await runExportTlaCommand({
+            modelPath,
+            outPath,
+            moduleName,
+        });
         for (const line of result.lines)
             console.log(line);
         process.exit(0);
     }
     if (command === "extract") {
         const explainDrift = args.includes("--explain-drift");
-        const effectApiFlags = args.flatMap((arg, index) => (arg === "--effect-api" && args[index + 1] ? [args[index + 1]] : []));
-        const disabledPlugins = args.flatMap((arg, index) => (arg === "--disable-plugin" && args[index + 1] ? [args[index + 1]] : []));
-        const sourcePath = positionals(args, ["--out", "--app-model", "--report", "--overlay", "--expect-model", "--config", "--package-json"], ["--effect-api", "--disable-plugin"])[0];
+        const effectApiFlags = args.flatMap((arg, index) => arg === "--effect-api" && args[index + 1] ? [args[index + 1]] : []);
+        const disabledPlugins = args.flatMap((arg, index) => arg === "--disable-plugin" && args[index + 1] ? [args[index + 1]] : []);
+        const sourcePath = positionals(args, [
+            "--out",
+            "--app-model",
+            "--report",
+            "--overlay",
+            "--expect-model",
+            "--config",
+            "--package-json",
+        ], ["--effect-api", "--disable-plugin"])[0];
         const modelPath = flagValue(args, "--out");
         const appModelPath = flagValue(args, "--app-model");
         const reportPath = flagValue(args, "--report");
@@ -145,7 +217,19 @@ async function main() {
             throw new Error("Missing --package-json path");
         if (args.includes("--disable-plugin") && disabledPlugins.length === 0)
             throw new Error("Missing --disable-plugin id");
-        const result = await runExtractCommand({ sourcePath, modelPath, appModelPath, reportPath, overlayPath, expectModelPath, configPath, packageJsonPath, disabledPlugins, effectApis: effectApiFlags, explainDrift });
+        const result = await runExtractCommand({
+            sourcePath,
+            modelPath,
+            appModelPath,
+            reportPath,
+            overlayPath,
+            expectModelPath,
+            configPath,
+            packageJsonPath,
+            disabledPlugins,
+            effectApis: effectApiFlags,
+            explainDrift,
+        });
         for (const line of result.lines)
             console.log(line);
         process.exit(0);
@@ -156,7 +240,13 @@ async function main() {
         const observedPath = flagValue(args, "--observed");
         const mode = flagValue(args, "--mode");
         const harnessPath = flagValue(args, "--harness");
-        const tracePath = positionals(args, ["--report", "--states", "--observed", "--mode", "--harness"])[0];
+        const tracePath = positionals(args, [
+            "--report",
+            "--states",
+            "--observed",
+            "--mode",
+            "--harness",
+        ])[0];
         if (!tracePath)
             throw new Error("Missing trace.json path");
         if (args.includes("--report") && !reportPath)
@@ -165,7 +255,14 @@ async function main() {
             throw new Error("Missing --states path");
         if (args.includes("--observed") && !observedPath)
             throw new Error("Missing --observed path");
-        const result = await runReplayCommand({ tracePath, statesPath, observedPath, reportPath, mode, harnessPath });
+        const result = await runReplayCommand({
+            tracePath,
+            statesPath,
+            observedPath,
+            reportPath,
+            mode,
+            harnessPath,
+        });
         for (const line of result.lines)
             console.log(line);
         process.exit(result.exitCode);
@@ -175,7 +272,14 @@ async function main() {
     const replayTestsDir = flagValue(args, "--replay-tests");
     const actionReplayTestsDir = flagValue(args, "--action-replay-tests");
     const statesPath = flagValue(args, "--states");
-    const positional = positionals(args, ["--report", "--overlay", "--traces", "--replay-tests", "--action-replay-tests", "--states"]);
+    const positional = positionals(args, [
+        "--report",
+        "--overlay",
+        "--traces",
+        "--replay-tests",
+        "--action-replay-tests",
+        "--states",
+    ]);
     const [modelPath, propsPath] = positional;
     const overlayPath = flagValue(args, "--overlay");
     if (!modelPath)
@@ -192,7 +296,16 @@ async function main() {
         throw new Error("Missing --action-replay-tests path");
     if (args.includes("--states") && !statesPath)
         throw new Error("Missing --states path");
-    const result = await runCheckCommand({ modelPath, propsPath, reportPath, overlayPath, tracesDir, replayTestsDir, actionReplayTestsDir, statesPath });
+    const result = await runCheckCommand({
+        modelPath,
+        propsPath,
+        reportPath,
+        overlayPath,
+        tracesDir,
+        replayTestsDir,
+        actionReplayTestsDir,
+        statesPath,
+    });
     for (const line of result.lines)
         console.log(line);
     process.exit(result.exitCode);

package/dist/cli/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,SAAS,SAAS,CAAC,IAAuB,EAAE,IAAY;IACtD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAClD,CAAC;AAED,SAAS,WAAW,CAClB,IAAuB,EACvB,UAA6B,EAC7B,uBAA0C,EAAE;IAE5C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,KAAK,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,IAAI,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,MAAM,CAAC,EAAE,AAAD,EAAG,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAC5C,IACE,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,IAAI;QAChB,OAAO,KAAK,SAAS;QACrB,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,SAAS;QACrB,OAAO,KAAK,QAAQ,EACpB,CAAC;QACD,OAAO,CAAC,GAAG,CACT,2QAA2Q,CAC5Q,CAAC;QACF,OAAO,CAAC,GAAG,CACT,sEAAsE,CACvE,CAAC;QACF,OAAO,CAAC,GAAG,CACT,4KAA4K,CAC7K,CAAC;QACF,OAAO,CAAC,GAAG,CACT,qKAAqK,CACtK,CAAC;QACF,OAAO,CAAC,GAAG,CACT,qHAAqH,CACtH,CAAC;QACF,OAAO,CAAC,GAAG,CACT,8JAA8J,CAC/J,CAAC;QACF,OAAO,CAAC,GAAG,CACT,kEAAkE,CACnE,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,gBAAgB,GAAG,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC5D,MAAM,iBAAiB,GAAG,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC7D,MAAM,iBAAiB,GAAG,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC7D,MAAM,gBAAgB,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAGvC,CAAC;QACd,MAAM,kBAAkB,GAAG,SAAS,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAChE,MAAM,uBAAuB,GAAG,SAAS,CAAC,IAAI,EAAE,yBAAyB,CAAC,CAAC;QAC3E,MAAM,iCAAiC,GAAG,SAAS,CACjD,IAAI,EACJ,oCAAoC,CACrC,CAAC;QACF,MAAM,YAAY,GAAG,iBAAiB;YACpC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;YAC3B,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,YAAY,GAAG,iBAAiB;YACpC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;YAC3B,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,WAAW,GAAG,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,MAAM,kBAAkB,GAAG,uBAAuB;YAChD,CAAC,CAAC,MAAM,CAAC,uBAAuB,CAAC;YACjC,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,4BAA4B,GAAG,iCAAiC;YACpE,CAAC,CAAC,MAAM,CAAC,iCAAiC,CAAC;YAC3C,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE;YACnC,aAAa;YACb,WAAW;YACX,YAAY;YACZ,UAAU;YACV,iBAAiB;YACjB,iBAAiB;YACjB,iBAAiB;YACjB,gBAAgB;YAChB,gBAAgB;YAChB,mBAAmB;YACnB,yBAAyB;YACzB,oCAAoC;SACrC,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC;QAC1C,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC3D,IAAI,CAAC,WAAW;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9D,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW;YAC5C,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY;YAC9C,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,gBAAgB;YACvD,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;YAChC,SAAS;YACT,SAAS;YACT,WAAW;YACX,WAAW;YACX,YAAY;YACZ,UAAU;YACV,gBAAgB;YAChB,YAAY;YACZ,YAAY;YACZ,WAAW;YACX,WAAW;YACX,kBAAkB;YAClB,kBAAkB;YAClB,4BAA4B;SAC7B,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,MAAM,gBAAgB,GAAG,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAsC,CAAC;QAC5E,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvD,MAAM,SAAS,GACb,gBAAgB;YAChB,WAAW,CAAC,IAAI,EAAE;gBAChB,UAAU;gBACV,SAAS;gBACT,SAAS;gBACT,SAAS;gBACT,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,WAAW;aACZ,CAAC,CAAC,CAAC,CAAC,CAAC;QACR,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS;YAC1B,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS;YACxC,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB;YAC/C,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC;YACrC,SAAS;YACT,SAAS;YACT,UAAU;YACV,SAAS;YACT,KAAK;YACL,IAAI;YACJ,IAAI;YACJ,WAAW;SACZ,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC;QACpD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC3D,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,KAAK;YAClB,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC;YACvC,SAAS;YACT,OAAO;YACP,UAAU;SACX,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QACtD,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACjD,GAAG,KAAK,cAAc,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACpE,CAAC;QACF,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAClD,GAAG,KAAK,kBAAkB,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACxE,CAAC;QACF,MAAM,UAAU,GAAG,WAAW,CAC5B,IAAI,EACJ;YACE,OAAO;YACP,aAAa;YACb,UAAU;YACV,WAAW;YACX,gBAAgB;YAChB,UAAU;YACV,gBAAgB;SACjB,EACD,CAAC,cAAc,EAAE,kBAAkB,CAAC,CACrC,CAAC,CAAC,CAAC,CAAC;QACL,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC1D,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC5D,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY;YAC/C,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW;YAC5C,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAAC,eAAe;YACrD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAAC,eAAe;YACrD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YACnE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC;YACrC,UAAU;YACV,SAAS;YACT,YAAY;YACZ,UAAU;YACV,WAAW;YACX,eAAe;YACf,UAAU;YACV,eAAe;YACf,eAAe;YACf,UAAU,EAAE,cAAc;YAC1B,YAAY;SACb,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAsC,CAAC;QAC5E,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE;YAClC,UAAU;YACV,UAAU;YACV,YAAY;YACZ,QAAQ;YACR,WAAW;SACZ,CAAC,CAAC,CAAC,CAAC,CAAC;QACN,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY;YAC9C,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC;YACpC,SAAS;YACT,UAAU;YACV,YAAY;YACZ,UAAU;YACV,IAAI;YACJ,WAAW;SACZ,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC9C,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACzD,MAAM,oBAAoB,GAAG,SAAS,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE;QACnC,UAAU;QACV,WAAW;QACX,UAAU;QACV,gBAAgB;QAChB,uBAAuB;QACvB,UAAU;KACX,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC;IAC1C,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;QAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW;QAC5C,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS;QACzC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAAC,cAAc;QACpD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CAAC,oBAAoB;QACjE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;QAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC;QACnC,SAAS;QACT,SAAS;QACT,UAAU;QACV,WAAW;QACX,SAAS;QACT,cAAc;QACd,oBAAoB;QACpB,UAAU;KACX,CAAC,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;QAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;IACrB,OAAO,CAAC,KAAK,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/cli/codegen/model.d.ts

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

package/dist/cli/codegen/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/cli/codegen/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,KAAK,EAGX,MAAM,kBAAkB,CAAC;AAE1B,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAiBjD"}

package/dist/{modality → cli}/codegen/model.js

@@ -1,7 +1,7 @@
-import { canonicalJson } from "modality-ts/kernel";
+import { canonicalJson, } from "modality-ts/core";
 export function emitAppModel(model) {
     return [
-        "import type { Model } from \"modality-ts/kernel\";",
+        'import type { Model } from "modality-ts/core";',
         "",
         `export const M = ${canonicalJson(model)} as const satisfies Model;`,
         "",
@@ -12,7 +12,7 @@ export function emitAppModel(model) {
         "export type VarId = keyof AppState;",
         "",
         `export const initialState = ${canonicalJson(initialState(model.vars))} as const satisfies AppState;`,
-        ""
+        "",
     ].join("\n");
 }
 function typeForDomain(domain) {
@@ -20,26 +20,34 @@ function typeForDomain(domain) {
         case "bool":
             return "boolean";
         case "enum":
-            return domain.values.length > 0 ? domain.values.map(stringLiteralType).join(" | ") : "never";
+            return domain.values.length > 0
+                ? domain.values.map(stringLiteralType).join(" | ")
+                : "never";
         case "boundedInt":
             return domain.min === domain.max ? JSON.stringify(domain.min) : "number";
         case "option":
             return `${typeForDomain(domain.inner)} | null`;
         case "record":
-            return `{ ${Object.entries(domain.fields).map(([key, field]) => `${quoteProperty(key)}: ${typeForDomain(field)};`).join(" ")} }`;
+            return `{ ${Object.entries(domain.fields)
+                .map(([key, field]) => `${quoteProperty(key)}: ${typeForDomain(field)};`)
+                .join(" ")} }`;
         case "tagged":
-            return Object.entries(domain.variants)
+            return (Object.entries(domain.variants)
                 .map(([tagValue, variant]) => {
                 const body = variant.kind === "record"
-                    ? Object.entries(variant.fields).map(([key, field]) => `${quoteProperty(key)}: ${typeForDomain(field)};`).join(" ")
+                    ? Object.entries(variant.fields)
+                        .map(([key, field]) => `${quoteProperty(key)}: ${typeForDomain(field)};`)
+                        .join(" ")
                     : `value: ${typeForDomain(variant)};`;
                 return `{ ${quoteProperty(domain.tag)}: ${stringLiteralType(tagValue)}; ${body} }`;
             })
-                .join(" | ") || "never";
+                .join(" | ") || "never");
         case "tokens":
-            return domain.names?.length ? domain.names.map(stringLiteralType).join(" | ") : "string";
+            return domain.names?.length
+                ? domain.names.map(stringLiteralType).join(" | ")
+                : "string";
         case "lengthCat":
-            return "\"0\" | \"1\" | \"many\"";
+            return '"0" | "1" | "many"';
         case "boundedList":
             return `readonly ${parenthesizeIfUnion(typeForDomain(domain.inner))}[]`;
     }

package/dist/cli/codegen/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../src/cli/codegen/model.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,GAKd,MAAM,kBAAkB,CAAC;AAE1B,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO;QACL,gDAAgD;QAChD,EAAE;QACF,oBAAoB,aAAa,CAAC,KAAK,CAAC,4BAA4B;QACpE,EAAE;QACF,0BAA0B;QAC1B,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CACf,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CACxE;QACD,IAAI;QACJ,EAAE;QACF,qCAAqC;QACrC,EAAE;QACF,+BAA+B,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,+BAA+B;QACrG,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,MAAsB;IAC3C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAC7B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBAClD,CAAC,CAAC,OAAO,CAAC;QACd,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;iBACtC,GAAG,CACF,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,GAAG,CACpE;iBACA,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,CACL,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;iBAC5B,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE;gBAC3B,MAAM,IAAI,GACR,OAAO,CAAC,IAAI,KAAK,QAAQ;oBACvB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC;yBAC3B,GAAG,CACF,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACf,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,GAAG,CACpD;yBACA,IAAI,CAAC,GAAG,CAAC;oBACd,CAAC,CAAC,UAAU,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC;gBAC1C,OAAO,KAAK,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,iBAAiB,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC;YACrF,CAAC,CAAC;iBACD,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAC1B,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,EAAE,MAAM;gBACzB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBACjD,CAAC,CAAC,QAAQ,CAAC;QACf,KAAK,WAAW;YACd,OAAO,oBAAoB,CAAC;QAC9B,KAAK,aAAa;YAChB,OAAO,YAAY,mBAAmB,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAA6B;IACjD,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;AACtD,CAAC"}

package/dist/{modality → cli}/codegen/replay-test.d.ts

@@ -1,4 +1,4 @@
-import { type Trace } from "modality-ts/kernel";
+import { type Trace } from "modality-ts/core";
 export interface ReplayTestArtifact {
     fileName: string;
     source: string;

package/dist/cli/codegen/replay-test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay-test.d.ts","sourceRoot":"","sources":["../../../src/cli/codegen/replay-test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE7D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,KAAK,GACX,kBAAkB,CAmBpB;AAED,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,KAAK,GACX,kBAAkB,CAyCpB;AAED,wBAAgB,qBAAqB,IAAI,kBAAkB,CA6C1D;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElD"}

package/dist/{modality → cli}/codegen/replay-test.js

@@ -1,11 +1,11 @@
-import { canonicalJson } from "modality-ts/kernel";
+import { canonicalJson } from "modality-ts/core";
 export function generateAbstractReplayTest(property, trace) {
     const safeName = safeFileName(property);
     return {
         fileName: `${safeName}.replay.test.ts`,
         source: [
             `import { describe, expect, it } from "vitest";`,
-            `import { replayTrace, StateSequenceDriver, statesFromTrace } from "modality-ts/harness";`,
+            `import { replayTrace, StateSequenceDriver, statesFromTrace } from "modality-ts/cli/harness";`,
             ``,
             `const trace = ${canonicalJson(trace)};`,
             ``,
@@ -15,8 +15,8 @@ export function generateAbstractReplayTest(property, trace) {
             `    expect(verdict.status).toBe("reproduced");`,
             `  });`,
             `});`,
-            ``
-        ].join("\n")
+            ``,
+        ].join("\n"),
     };
 }
 export function generateActionReplayTest(property, trace) {
@@ -28,8 +28,8 @@ export function generateActionReplayTest(property, trace) {
             ` * @vitest-environment jsdom`,
             ` */`,
             `import { describe, expect, it } from "vitest";`,
-            `import { createDomReplayActor, ObservableActionReplayDriver, replayTrace } from "modality-ts/harness";`,
-            `import type { ModalityReplayHarness, ObservationSource } from "modality-ts/harness";`,
+            `import { createDomReplayActor, ObservableActionReplayDriver, replayTrace } from "modality-ts/cli/harness";`,
+            `import type { ModalityReplayHarness, ObservationSource } from "modality-ts/cli/harness";`,
             `import { observeModalityReplay, renderModalityReplay } from "./modality.replay.harness.js";`,
             ``,
             `const trace = ${canonicalJson(trace)};`,
@@ -57,16 +57,16 @@ export function generateActionReplayTest(property, trace) {
             `    expect(verdict.status).toBe("reproduced");`,
             `  });`,
             `});`,
-            ``
-        ].join("\n")
+            ``,
+        ].join("\n"),
     };
 }
 export function generateReplayHarness() {
     return {
         fileName: "modality.replay.harness.ts",
         source: [
-            `import { createDeterministicReplayAsyncController, observationSource, type DeterministicReplayAsyncController, type ModalityReplayHarness, type ObservationSource } from "modality-ts/harness";`,
-            `import type { Trace } from "modality-ts/kernel";`,
+            `import { createDeterministicReplayAsyncController, observationSource, type DeterministicReplayAsyncController, type ModalityReplayHarness, type ObservationSource } from "modality-ts/cli/harness";`,
+            `import type { Trace } from "modality-ts/core";`,
             ``,
             `declare global {`,
             `  var __modalityRenderReplayApp: ((trace: Trace, replayAsync: DeterministicReplayAsyncController) => Partial<ModalityReplayHarness> | Promise<Partial<ModalityReplayHarness>>) | undefined;`,
@@ -103,8 +103,8 @@ export function generateReplayHarness() {
             `function cssString(value: string): string {`,
             `  return value.replace(/["\\\\]/g, "\\\\$&");`,
             `}`,
-            ``
-        ].join("\n")
+            ``,
+        ].join("\n"),
     };
 }
 export function safeFileName(value) {

package/dist/cli/codegen/replay-test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay-test.js","sourceRoot":"","sources":["../../../src/cli/codegen/replay-test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAc,MAAM,kBAAkB,CAAC;AAO7D,MAAM,UAAU,0BAA0B,CACxC,QAAgB,EAChB,KAAY;IAEZ,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxC,OAAO;QACL,QAAQ,EAAE,GAAG,QAAQ,iBAAiB;QACtC,MAAM,EAAE;YACN,gDAAgD;YAChD,8FAA8F;YAC9F,EAAE;YACF,iBAAiB,aAAa,CAAC,KAAK,CAAC,GAAG;YACxC,EAAE;YACF,YAAY,IAAI,CAAC,SAAS,CAAC,UAAU,QAAQ,EAAE,CAAC,WAAW;YAC3D,kDAAkD;YAClD,gGAAgG;YAChG,gDAAgD;YAChD,OAAO;YACP,KAAK;YACL,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,QAAgB,EAChB,KAAY;IAEZ,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxC,OAAO;QACL,QAAQ,EAAE,GAAG,QAAQ,wBAAwB;QAC7C,MAAM,EAAE;YACN,KAAK;YACL,8BAA8B;YAC9B,KAAK;YACL,gDAAgD;YAChD,4GAA4G;YAC5G,0FAA0F;YAC1F,6FAA6F;YAC7F,EAAE;YACF,iBAAiB,aAAa,CAAC,KAAK,CAAC,GAAG;YACxC,0HAA0H;YAC1H,EAAE;YACF,YAAY,IAAI,CAAC,SAAS,CAAC,UAAU,QAAQ,EAAE,CAAC,WAAW;YAC3D,8DAA8D;YAC9D,qFAAqF;YACrF,+HAA+H;YAC/H,6BAA6B;YAC7B,+CAA+C;YAC/C,uDAAuD;YACvD,6CAA6C;YAC7C,0CAA0C;YAC1C,QAAQ;YACR,0CAA0C;YAC1C,yCAAyC;YACzC,yCAAyC;YACzC,uCAAuC;YACvC,uDAAuD;YACvD,mCAAmC;YACnC,0CAA0C;YAC1C,SAAS;YACT,uKAAuK;YACvK,gDAAgD;YAChD,OAAO;YACP,KAAK;YACL,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,QAAQ,EAAE,4BAA4B;QACtC,MAAM,EAAE;YACN,qMAAqM;YACrM,gDAAgD;YAChD,EAAE;YACF,kBAAkB;YAClB,6LAA6L;YAC7L,GAAG;YACH,EAAE;YACF,4FAA4F;YAC5F,mEAAmE;YACnE,wFAAwF;YACxF,YAAY;YACZ,oCAAoC;YACpC,mCAAmC;YACnC,kBAAkB;YAClB,+CAA+C;YAC/C,2BAA2B;YAC3B,MAAM;YACN,GAAG;YACH,EAAE;YACF,6FAA6F;YAC7F,2DAA2D;YAC3D,yGAAyG;YACzG,0CAA0C;YAC1C,sEAAsE;YACtE,OAAO;YACP,GAAG;YACH,EAAE;YACF,sDAAsD;YACtD,SAAS;YACT,8BAA8B;YAC9B,aAAa;YACb,kBAAkB;YAClB,KAAK;YACL,GAAG;YACH,EAAE;YACF,6CAA6C;YAC7C,+CAA+C;YAC/C,GAAG;YACH,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,OAAO,KAAK,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC"}

package/dist/cli/conform.d.ts

@@ -0,0 +1,3 @@
+export { generateConformWalks, runConformCommand, } from "./features/conform/index.js";
+export type { ConformCommandOptions, ConformCommandResult, } from "./features/conform/index.js";
+//# sourceMappingURL=conform.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conform.d.ts","sourceRoot":"","sources":["../../src/cli/conform.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC"}

package/dist/cli/conform.js

@@ -0,0 +1,2 @@
+export { generateConformWalks, runConformCommand, } from "./features/conform/index.js";
+//# sourceMappingURL=conform.js.map

package/dist/cli/conform.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conform.js","sourceRoot":"","sources":["../../src/cli/conform.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC"}

package/dist/cli/export-tla.d.ts

@@ -0,0 +1,3 @@
+export { generateTlaModule, runExportTlaCommand, } from "./features/export/index.js";
+export type { ExportTlaCommandOptions, ExportTlaCommandResult, } from "./features/export/index.js";
+//# sourceMappingURL=export-tla.d.ts.map

package/dist/cli/export-tla.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-tla.d.ts","sourceRoot":"","sources":["../../src/cli/export-tla.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,4BAA4B,CAAC"}

package/dist/cli/export-tla.js

@@ -0,0 +1,2 @@
+export { generateTlaModule, runExportTlaCommand, } from "./features/export/index.js";
+//# sourceMappingURL=export-tla.js.map

package/dist/cli/export-tla.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-tla.js","sourceRoot":"","sources":["../../src/cli/export-tla.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC"}

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

@@ -1,3 +1,3 @@
 export { runExtractCommand } from "./features/extract/index.js";
-export type { ExtractCommandOptions, ExtractCommandResult, ModalityConfig } from "./features/extract/index.js";
+export type { ExtractCommandOptions, ExtractCommandResult, ModalityConfig, } from "./features/extract/index.js";
 //# sourceMappingURL=extract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../../src/cli/extract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,YAAY,EACV,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,GACf,MAAM,6BAA6B,CAAC"}

package/dist/cli/extract.js.map

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

package/dist/{modality → cli}/features/check/command.d.ts

@@ -1,5 +1,5 @@
-import { type CheckResult } from "modality-ts/checker";
-import { type CheckReport, type Model } from "modality-ts/kernel";
+import { type CheckResult } from "modality-ts/check";
+import { type CheckReport, type Model } from "modality-ts/core";
 export interface CheckCommandOptions {
     modelPath: string;
     propsPath?: string;

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/check/command.ts"],"names":[],"mappings":"AAGA,OAAO,EAEL,KAAK,WAAW,EAEjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAIL,KAAK,WAAW,EAEhB,KAAK,KAAK,EAGX,MAAM,kBAAkB,CAAC;AAQ1B,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAsB,eAAe,CACnC,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CA8C7B;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,WAAW,EAClB,GAAG,EAAE,IAAI,EACT,eAAe,GAAE,SAAS,MAAM,EAAO,EACvC,WAAW,GAAE,SAAS,MAAM,EAAO,GAClC,WAAW,CAsCb;AA2BD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,EAAE,CAiB9D"}

package/dist/{modality → cli}/features/check/command.js

@@ -1,9 +1,9 @@
 import { copyFile, mkdir, readFile, writeFile } from "node:fs/promises";
 import { dirname, extname, join } from "node:path";
 import { pathToFileURL } from "node:url";
-import { checkModel } from "modality-ts/checker";
-import { canonicalJson, parseModelArtifact, traceArtifact } from "modality-ts/kernel";
-import { generateAbstractReplayTest, generateActionReplayTest, generateReplayHarness } from "../../codegen/replay-test.js";
+import { checkModel, } from "modality-ts/check";
+import { canonicalJson, parseModelArtifact, traceArtifact, } from "modality-ts/core";
+import { generateAbstractReplayTest, generateActionReplayTest, generateReplayHarness, } from "../../codegen/replay-test.js";
 import { loadAndApplyOverlay } from "../../overlay.js";
 export async function runCheckCommand(options) {
     const loadedModel = parseModelArtifact(await readFile(options.modelPath, "utf8"));
@@ -19,14 +19,27 @@ export async function runCheckCommand(options) {
         await mkdir(dirname(options.reportPath), { recursive: true });
         await writeFile(options.reportPath, `${canonicalJson(report)}\n`, "utf8");
     }
-    const tracePaths = options.tracesDir ? await writeTraceArtifacts(check, options.tracesDir) : [];
-    const replayTestPaths = options.replayTestsDir ? await writeReplayTestArtifacts(check, options.replayTestsDir) : [];
-    const actionReplayTestPaths = options.actionReplayTestsDir ? await writeActionReplayTestArtifacts(check, options.actionReplayTestsDir) : [];
+    const tracePaths = options.tracesDir
+        ? await writeTraceArtifacts(check, options.tracesDir)
+        : [];
+    const replayTestPaths = options.replayTestsDir
+        ? await writeReplayTestArtifacts(check, options.replayTestsDir)
+        : [];
+    const actionReplayTestPaths = options.actionReplayTestsDir
+        ? await writeActionReplayTestArtifacts(check, options.actionReplayTestsDir)
+        : [];
     return {
         check,
         report,
-        exitCode: check.verdicts.some((verdict) => verdict.status === "violated" || verdict.status === "error") ? 2 : 0,
-        lines: [...renderCheckResult(check), ...tracePaths.map((path) => `trace=${path}`), ...replayTestPaths.map((path) => `replayTest=${path}`), ...actionReplayTestPaths.map((path) => `actionReplayTest=${path}`)]
+        exitCode: check.verdicts.some((verdict) => verdict.status === "violated" || verdict.status === "error")
+            ? 2
+            : 0,
+        lines: [
+            ...renderCheckResult(check),
+            ...tracePaths.map((path) => `trace=${path}`),
+            ...replayTestPaths.map((path) => `replayTest=${path}`),
+            ...actionReplayTestPaths.map((path) => `actionReplayTest=${path}`),
+        ],
     };
 }
 export function createCheckReport(model, check, now, overlayWarnings = [], ignoredVars = []) {
@@ -49,19 +62,32 @@ export function createCheckReport(model, check, now, overlayWarnings = [], ignor
             staleReads: model.metadata?.extractionCaveats?.staleReads ?? [],
             unhandledRejections: model.metadata?.extractionCaveats?.unhandledRejections ?? [],
             unextractableHandlers: model.metadata?.extractionCaveats?.unextractableHandlers ?? [],
-            domains: model.vars.map((decl) => domainReportEntry(model, decl)).sort((left, right) => left.varId.localeCompare(right.varId)),
-            manualTransitions: model.transitions.filter((transition) => transition.confidence === "manual").map((transition) => transition.id),
-            overApproxTransitions: model.transitions.filter((transition) => transition.confidence === "over-approx").map((transition) => transition.id),
+            domains: model.vars
+                .map((decl) => domainReportEntry(model, decl))
+                .sort((left, right) => left.varId.localeCompare(right.varId)),
+            manualTransitions: model.transitions
+                .filter((transition) => transition.confidence === "manual")
+                .map((transition) => transition.id),
+            overApproxTransitions: model.transitions
+                .filter((transition) => transition.confidence === "over-approx")
+                .map((transition) => transition.id),
             boundHits: check.boundHits,
-            ignoredVars
-        }
+            ignoredVars,
+        },
     };
 }
 function domainReportEntry(model, decl) {
     return {
         varId: decl.id,
         domainKind: decl.domain.kind,
-        provenance: model.metadata?.domainProvenance?.[decl.id] ?? (decl.origin === "system" ? "system" : decl.origin === "library-template" ? "template" : decl.domain.kind === "tokens" ? "default-token" : "type-derived")
+        provenance: model.metadata?.domainProvenance?.[decl.id] ??
+            (decl.origin === "system"
+                ? "system"
+                : decl.origin === "library-template"
+                    ? "template"
+                    : decl.domain.kind === "tokens"
+                        ? "default-token"
+                        : "type-derived"),
     };
 }
 function sourceHashAssumptions(model) {
@@ -87,7 +113,8 @@ async function loadProperties(model, propsPath) {
     if (!propsPath)
         return [];
     const modulePath = await importableCopy(propsPath);
-    const module = (await import(/* @vite-ignore */ pathToFileURL(modulePath).href));
+    const module = (await import(
+    /* @vite-ignore */ pathToFileURL(modulePath).href));
     if (typeof module.propertiesFor === "function")
         return module.propertiesFor(model);
     if (typeof module.properties === "function")
@@ -110,11 +137,20 @@ function reportVerdict(verdict) {
             property: verdict.property,
             status: verdict.status,
             trace: verdict.trace,
-            ...(verdict.replayable === false ? { replayable: false, replayBlockedReason: verdict.replayBlockedReason } : {})
+            ...(verdict.replayable === false
+                ? {
+                    replayable: false,
+                    replayBlockedReason: verdict.replayBlockedReason,
+                }
+                : {}),
         };
     }
     if (verdict.status === "error" || verdict.status === "vacuous-warning") {
-        return { property: verdict.property, status: verdict.status, message: verdict.message };
+        return {
+            property: verdict.property,
+            status: verdict.status,
+            message: verdict.message,
+        };
     }
     return { property: verdict.property, status: verdict.status };
 }

package/dist/cli/features/check/command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/check/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,UAAU,GAGX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,aAAa,GAMd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAqBvD,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,OAA4B;IAE5B,MAAM,WAAW,GAAG,kBAAkB,CACpC,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAC1C,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,iBAAiB,CAC9B,KAAK,EACL,KAAK,EACL,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,EACzB,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,WAAW,CACpB,CAAC;IACF,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS;QAClC,CAAC,CAAC,MAAM,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC;QACrD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,eAAe,GAAG,OAAO,CAAC,cAAc;QAC5C,CAAC,CAAC,MAAM,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC;QAC/D,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,qBAAqB,GAAG,OAAO,CAAC,oBAAoB;QACxD,CAAC,CAAC,MAAM,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,oBAAoB,CAAC;QAC3E,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,KAAK;QACL,MAAM;QACN,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAC3B,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,CACzE;YACC,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC;QACL,KAAK,EAAE;YACL,GAAG,iBAAiB,CAAC,KAAK,CAAC;YAC3B,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC;YAC5C,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,IAAI,EAAE,CAAC;YACtD,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,IAAI,EAAE,CAAC;SACnE;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,KAAkB,EAClB,GAAS,EACT,kBAAqC,EAAE,EACvC,cAAiC,EAAE;IAEnC,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC;QAC3C,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,EAAE,GAAG,eAAe,CAAC,CAAC,IAAI,EAAE;QACtE,WAAW,EAAE;YACX,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YACtC,WAAW,EAAE,qBAAqB,CAAC,KAAK,CAAC;YACzC,YAAY,EAAE,KAAK,CAAC,IAAI;iBACrB,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CACpE;iBACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAClD,YAAY,EAAE,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,YAAY,IAAI,EAAE;YACnE,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,UAAU,IAAI,EAAE;YAC/D,mBAAmB,EACjB,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,mBAAmB,IAAI,EAAE;YAC9D,qBAAqB,EACnB,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,qBAAqB,IAAI,EAAE;YAChE,OAAO,EAAE,KAAK,CAAC,IAAI;iBAChB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;iBAC7C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/D,iBAAiB,EAAE,KAAK,CAAC,WAAW;iBACjC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,QAAQ,CAAC;iBAC1D,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,qBAAqB,EAAE,KAAK,CAAC,WAAW;iBACrC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,aAAa,CAAC;iBAC/D,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,WAAW;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAY,EACZ,IAAkB;IAElB,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,EAAE;QACd,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;QAC5B,UAAU,EACR,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ;gBACvB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,kBAAkB;oBAClC,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;wBAC7B,CAAC,CAAC,eAAe;wBACjB,CAAC,CAAC,cAAc,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAY;IACzC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;SACtD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,cAAc,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CACR,kBAAkB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,WAAW,EAAE,CACrG,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CACR,UAAU,KAAK,CAAC,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CACrF,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,KAAY,EACZ,SAA6B;IAE7B,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,SAAS,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM;IAC1B,kBAAkB,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,CAClD,CAGA,CAAC;IACF,IAAI,OAAO,MAAM,CAAC,aAAa,KAAK,UAAU;QAC5C,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;AACjC,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,IAAY;IACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;IAClE,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CACnB,QAAQ,EACR,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,CAChF,CAAC;IACF,MAAM,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/B,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CACpB,OAAwB;IAExB,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACpE,OAAO;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,KAAK;gBAC9B,CAAC,CAAC;oBACE,UAAU,EAAE,KAAK;oBACjB,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;iBACjD;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACvE,OAAO;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AAChE,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,KAAkB,EAClB,SAAiB;IAEjB,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;YACjE,SAAS;QACX,MAAM,IAAI,GAAG,IAAI,CACf,SAAS,EACT,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,MAAM,aAAa,CACjE,CAAC;QACF,MAAM,SAAS,CACb,IAAI,EACJ,GAAG,aAAa,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAClD,MAAM,CACP,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,wBAAwB,CACrC,KAAkB,EAClB,cAAsB;IAEtB,MAAM,KAAK,CAAC,cAAc,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAC5C,IAAI,OAAO,CAAC,UAAU,KAAK,KAAK;YAAE,SAAS;QAC3C,MAAM,QAAQ,GAAG,0BAA0B,CACzC,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,KAAK,CACd,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,8BAA8B,CAC3C,KAAkB,EAClB,cAAsB;IAEtB,MAAM,KAAK,CAAC,cAAc,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAC5C,IAAI,OAAO,CAAC,UAAU,KAAK,KAAK;YAAE,SAAS;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxB,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;QACD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/cli/features/check/index.d.ts

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