modality-ts 0.0.8 → 0.0.10

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

@@ -1,9 +1,11 @@
 #!/usr/bin/env node
+import { defaultActionReplayTestsDir, defaultAppModelPath, defaultConformReportPath, defaultModelPath, defaultReplayReportPath, defaultReplayTestsDir, defaultReportPath, defaultTlaPath, defaultTracesDir, discoverPropsFiles, inferSourceFilesFromProps, } from "./defaults.js";
 import { runCheckCommand } from "./features/check/index.js";
 import { runCiCommand } from "./features/ci/index.js";
 import { runConformCommand } from "./features/conform/index.js";
 import { runExportTlaCommand } from "./features/export/index.js";
 import { runExtractCommand } from "./features/extract/index.js";
+import { runInitCommand } from "./features/init/index.js";
 import { runReplayCommand } from "./features/replay/index.js";
 function flagValue(args, flag) {
     const index = args.indexOf(flag);
@@ -24,16 +26,29 @@ 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") {
-        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]");
+    if (command !== "check" &&
+        command !== "ci" &&
+        command !== "conform" &&
+        command !== "export" &&
+        command !== "extract" &&
+        command !== "init" &&
+        command !== "replay") {
+        console.log("Usage: modality init");
+        console.log("       modality extract [source.tsx ...] [--out .modality/model.json] [--app-model .modality/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("       modality check [model.json] [props.mjs ...] [--report .modality/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]");
         console.log("       modality replay <trace.json> [--mode abstract|action] [--harness harness.ts] [--states states.json] [--observed observed-states.json] [--report report.json]");
         console.log("       modality conform <walks.json> [--mode abstract|action] [--harness harness.ts] [--report conform-report.json]");
-        console.log("       modality conform --model model.json [--count 8] [--depth 4] [--seed 1] [--mode abstract|action] [--harness harness.ts] [--report conform-report.json]");
-        console.log("       modality export <model.json> --format tla --out model.tla");
+        console.log("       modality conform [--model .modality/model.json] [--count 8] [--depth 4] [--seed 1] [--mode abstract|action] [--harness harness.ts] [--report .modality/conform-report.json]");
+        console.log("       modality export [model.json] [--format tla] [--out .modality/model.tla]");
         process.exit(command ? 1 : 0);
     }
+    if (command === "init") {
+        const result = await runInitCommand();
+        for (const line of result.lines)
+            console.log(line);
+        process.exit(0);
+    }
     if (command === "ci") {
         const artifactDir = flagValue(args, "--artifacts");
         const overlayPath = flagValue(args, "--overlay");
@@ -47,12 +62,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,13 +102,29 @@ 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);
     }
     if (command === "conform") {
-        const reportPath = flagValue(args, "--report");
+        const reportFlag = flagValue(args, "--report");
+        const reportPath = reportFlag ?? defaultConformReportPath;
         const modelPath = flagValue(args, "--model");
         const flaggedWalksPath = flagValue(args, "--walks");
         const countValue = flagValue(args, "--count");
@@ -83,55 +135,90 @@ 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];
-        if (!walksPath && !modelPath)
-            throw new Error("Missing walks.json path or --model path");
-        if (args.includes("--report") && !reportPath)
+        const walksPath = flaggedWalksPath ??
+            positionals(args, [
+                "--report",
+                "--model",
+                "--walks",
+                "--count",
+                "--depth",
+                "--seed",
+                "--mode",
+                "--harness",
+            ])[0];
+        const effectiveModelPath = walksPath
+            ? modelPath
+            : (modelPath ?? defaultModelPath);
+        if (args.includes("--report") && !reportFlag)
             throw new Error("Missing --report path");
         if (args.includes("--model") && !modelPath)
             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: effectiveModelPath,
+            reportPath,
+            walkCount,
+            depth,
+            seed,
+            mode,
+            harnessPath,
+        });
         for (const line of result.lines)
             console.log(line);
         process.exit(result.exitCode);
     }
     if (command === "export") {
-        const outPath = flagValue(args, "--out");
-        const format = flagValue(args, "--format") ?? "tla";
+        const outFlag = flagValue(args, "--out");
+        const outPath = outFlag ?? defaultTlaPath;
+        const formatFlag = flagValue(args, "--format");
+        const format = formatFlag ?? "tla";
         const moduleName = flagValue(args, "--module");
-        const modelPath = positionals(args, ["--out", "--format", "--module"])[0];
-        if (!modelPath)
-            throw new Error("Missing model.json path");
-        if (!outPath)
-            throw new Error("Missing --out path");
+        const modelPath = positionals(args, ["--out", "--format", "--module"])[0] ??
+            defaultModelPath;
         if (format !== "tla")
             throw new Error(`Unsupported export format ${format}`);
+        if (args.includes("--out") && !outFlag)
+            throw new Error("Missing --out path");
+        if (args.includes("--format") && !formatFlag)
+            throw new Error("Missing --format value");
         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 modelPath = flagValue(args, "--out");
-        const appModelPath = flagValue(args, "--app-model");
+        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 sourcePaths = positionals(args, [
+            "--out",
+            "--app-model",
+            "--report",
+            "--overlay",
+            "--expect-model",
+            "--config",
+            "--package-json",
+        ], ["--effect-api", "--disable-plugin"]);
+        const outFlag = flagValue(args, "--out");
+        const appModelFlag = flagValue(args, "--app-model");
+        const modelPath = outFlag ?? defaultModelPath;
+        const appModelPath = appModelFlag ?? defaultAppModelPath;
         const reportPath = flagValue(args, "--report");
         const overlayPath = flagValue(args, "--overlay");
         const expectModelPath = flagValue(args, "--expect-model");
         const configPath = flagValue(args, "--config");
         const packageJsonPath = flagValue(args, "--package-json");
-        if (!sourcePath)
-            throw new Error("Missing source.tsx path");
-        if (!modelPath)
+        if (args.includes("--out") && !outFlag)
             throw new Error("Missing --out path");
-        if (args.includes("--app-model") && !appModelPath)
+        if (args.includes("--app-model") && !appModelFlag)
             throw new Error("Missing --app-model path");
         if (args.includes("--report") && !reportPath)
             throw new Error("Missing --report path");
@@ -145,54 +232,100 @@ 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 effectiveSourcePaths = sourcePaths.length > 0 ? sourcePaths : await inferSourceFilesFromProps();
+        const result = await runExtractCommand({
+            sourcePaths: effectiveSourcePaths,
+            modelPath,
+            appModelPath,
+            reportPath,
+            overlayPath,
+            expectModelPath,
+            configPath,
+            packageJsonPath,
+            disabledPlugins,
+            effectApis: effectApiFlags,
+            explainDrift,
+        });
         for (const line of result.lines)
             console.log(line);
         process.exit(0);
     }
     if (command === "replay") {
-        const reportPath = flagValue(args, "--report");
+        const reportFlag = flagValue(args, "--report");
+        const reportPath = reportFlag ?? defaultReplayReportPath;
         const statesPath = flagValue(args, "--states");
         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)
+        if (args.includes("--report") && !reportFlag)
             throw new Error("Missing --report path");
         if (args.includes("--states") && !statesPath)
             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);
     }
     const reportPath = flagValue(args, "--report");
-    const tracesDir = flagValue(args, "--traces");
-    const replayTestsDir = flagValue(args, "--replay-tests");
-    const actionReplayTestsDir = flagValue(args, "--action-replay-tests");
+    const tracesFlag = flagValue(args, "--traces");
+    const replayTestsFlag = flagValue(args, "--replay-tests");
+    const actionReplayTestsFlag = flagValue(args, "--action-replay-tests");
+    const tracesDir = tracesFlag ?? defaultTracesDir;
+    const replayTestsDir = replayTestsFlag ?? defaultReplayTestsDir;
+    const actionReplayTestsDir = actionReplayTestsFlag ?? defaultActionReplayTestsDir;
     const statesPath = flagValue(args, "--states");
-    const positional = positionals(args, ["--report", "--overlay", "--traces", "--replay-tests", "--action-replay-tests", "--states"]);
-    const [modelPath, propsPath] = positional;
+    const positional = positionals(args, [
+        "--report",
+        "--overlay",
+        "--traces",
+        "--replay-tests",
+        "--action-replay-tests",
+        "--states",
+    ]);
+    const [modelPath, ...propsPaths] = positional;
     const overlayPath = flagValue(args, "--overlay");
-    if (!modelPath)
-        throw new Error("Missing model.json path");
+    const effectiveModelPath = modelPath ?? defaultModelPath;
+    const effectivePropsPaths = propsPaths.length > 0 ? propsPaths : await discoverPropsFiles();
     if (args.includes("--report") && !reportPath)
         throw new Error("Missing --report path");
     if (args.includes("--overlay") && !overlayPath)
         throw new Error("Missing --overlay path");
-    if (args.includes("--traces") && !tracesDir)
+    if (args.includes("--traces") && !tracesFlag)
         throw new Error("Missing --traces path");
-    if (args.includes("--replay-tests") && !replayTestsDir)
+    if (args.includes("--replay-tests") && !replayTestsFlag)
         throw new Error("Missing --replay-tests path");
-    if (args.includes("--action-replay-tests") && !actionReplayTestsDir)
+    if (args.includes("--action-replay-tests") && !actionReplayTestsFlag)
         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: effectiveModelPath,
+        propsPaths: effectivePropsPaths,
+        reportPath: reportPath ?? defaultReportPath,
+        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,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,uBAAuB,EACvB,qBAAqB,EACrB,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,yBAAyB,GAC1B,MAAM,eAAe,CAAC;AACvB,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,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,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,MAAM;QAClB,OAAO,KAAK,QAAQ,EACpB,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpC,OAAO,CAAC,GAAG,CACT,qSAAqS,CACtS,CAAC;QACF,OAAO,CAAC,GAAG,CACT,qFAAqF,CACtF,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,oLAAoL,CACrL,CAAC;QACF,OAAO,CAAC,GAAG,CACT,gFAAgF,CACjF,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,cAAc,EAAE,CAAC;QACtC,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,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,UAAU,GAAG,UAAU,IAAI,wBAAwB,CAAC;QAC1D,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,MAAM,kBAAkB,GAAG,SAAS;YAClC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,CAAC,SAAS,IAAI,gBAAgB,CAAC,CAAC;QACpC,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,EAAE,kBAAkB;YAC7B,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,OAAO,GAAG,OAAO,IAAI,cAAc,CAAC;QAC1C,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,UAAU,IAAI,KAAK,CAAC;QACnC,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,SAAS,GACb,WAAW,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,gBAAgB,CAAC;QACnB,IAAI,MAAM,KAAK,KAAK;YAClB,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO;YACpC,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;YAC1C,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,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,WAAW,GAAG,WAAW,CAC7B,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;QACF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,OAAO,IAAI,gBAAgB,CAAC;QAC9C,MAAM,YAAY,GAAG,YAAY,IAAI,mBAAmB,CAAC;QACzD,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,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO;YACpC,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACxC,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,oBAAoB,GACxB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,yBAAyB,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC;YACrC,WAAW,EAAE,oBAAoB;YACjC,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,UAAU,IAAI,uBAAuB,CAAC;QACzD,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,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC/C,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC1D,MAAM,qBAAqB,GAAG,SAAS,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,UAAU,IAAI,gBAAgB,CAAC;IACjD,MAAM,cAAc,GAAG,eAAe,IAAI,qBAAqB,CAAC;IAChE,MAAM,oBAAoB,GACxB,qBAAqB,IAAI,2BAA2B,CAAC;IACvD,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,GAAG,UAAU,CAAC,GAAG,UAAU,CAAC;IAC9C,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACjD,MAAM,kBAAkB,GAAG,SAAS,IAAI,gBAAgB,CAAC;IACzD,MAAM,mBAAmB,GACvB,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,kBAAkB,EAAE,CAAC;IAClE,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,UAAU;QAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC3C,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAAC,eAAe;QACrD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CAAC,qBAAqB;QAClE,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,EAAE,kBAAkB;QAC7B,UAAU,EAAE,mBAAmB;QAC/B,UAAU,EAAE,UAAU,IAAI,iBAAiB;QAC3C,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/defaults.d.ts

@@ -0,0 +1,13 @@
+export declare const defaultArtifactDir = ".modality";
+export declare const defaultModelPath: string;
+export declare const defaultAppModelPath: string;
+export declare const defaultTlaPath: string;
+export declare const defaultReportPath: string;
+export declare const defaultReplayReportPath: string;
+export declare const defaultConformReportPath: string;
+export declare const defaultTracesDir: string;
+export declare const defaultReplayTestsDir: string;
+export declare const defaultActionReplayTestsDir: string;
+export declare function discoverPropsFiles(root?: string): Promise<string[]>;
+export declare function inferSourceFilesFromProps(root?: string): Promise<string[]>;
+//# sourceMappingURL=defaults.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../src/cli/defaults.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,kBAAkB,cAAc,CAAC;AAC9C,eAAO,MAAM,gBAAgB,QAAyC,CAAC;AACvE,eAAO,MAAM,mBAAmB,QAA2C,CAAC;AAC5E,eAAO,MAAM,cAAc,QAAwC,CAAC;AACpE,eAAO,MAAM,iBAAiB,QAA0C,CAAC;AACzE,eAAO,MAAM,uBAAuB,QAGnC,CAAC;AACF,eAAO,MAAM,wBAAwB,QAGpC,CAAC;AACF,eAAO,MAAM,gBAAgB,QAAqC,CAAC;AACnE,eAAO,MAAM,qBAAqB,QAA2C,CAAC;AAC9E,eAAO,MAAM,2BAA2B,QAGvC,CAAC;AAIF,wBAAsB,kBAAkB,CACtC,IAAI,SAAgB,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAGnB;AAED,wBAAsB,yBAAyB,CAC7C,IAAI,SAAgB,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAwBnB"}

package/dist/cli/defaults.js

@@ -0,0 +1,57 @@
+import { readdir, stat } from "node:fs/promises";
+import { join } from "node:path";
+export const defaultArtifactDir = ".modality";
+export const defaultModelPath = join(defaultArtifactDir, "model.json");
+export const defaultAppModelPath = join(defaultArtifactDir, "app.model.ts");
+export const defaultTlaPath = join(defaultArtifactDir, "model.tla");
+export const defaultReportPath = join(defaultArtifactDir, "report.json");
+export const defaultReplayReportPath = join(defaultArtifactDir, "replay-report.json");
+export const defaultConformReportPath = join(defaultArtifactDir, "conform-report.json");
+export const defaultTracesDir = join(defaultArtifactDir, "traces");
+export const defaultReplayTestsDir = join(defaultArtifactDir, "replay-tests");
+export const defaultActionReplayTestsDir = join(defaultArtifactDir, "action-replay-tests");
+const ignoredDirs = new Set([".git", ".modality", "dist", "node_modules"]);
+export async function discoverPropsFiles(root = process.cwd()) {
+    const files = await discoverPropsFilesIn(root);
+    return files.sort((left, right) => left.localeCompare(right));
+}
+export async function inferSourceFilesFromProps(root = process.cwd()) {
+    const propsFiles = await discoverPropsFiles(root);
+    if (propsFiles.length === 0) {
+        throw new Error(`No *.props.mjs files found under ${root}`);
+    }
+    const sourceFiles = propsFiles.map((path) => path.replace(/\.props\.mjs$/, ".tsx"));
+    const missing = [];
+    for (const sourceFile of sourceFiles) {
+        try {
+            const info = await stat(sourceFile);
+            if (!info.isFile())
+                missing.push(sourceFile);
+        }
+        catch (error) {
+            if (error.code !== "ENOENT")
+                throw error;
+            missing.push(sourceFile);
+        }
+    }
+    if (missing.length > 0) {
+        throw new Error(`Missing inferred source files for props: ${missing.join(", ")}`);
+    }
+    return sourceFiles;
+}
+async function discoverPropsFilesIn(dir) {
+    const entries = await readdir(dir, { withFileTypes: true });
+    const discovered = await Promise.all(entries.map(async (entry) => {
+        const path = join(dir, entry.name);
+        if (entry.isDirectory()) {
+            if (ignoredDirs.has(entry.name))
+                return [];
+            return discoverPropsFilesIn(path);
+        }
+        if (entry.isFile() && entry.name.endsWith(".props.mjs"))
+            return [path];
+        return [];
+    }));
+    return discovered.flat();
+}
+//# sourceMappingURL=defaults.js.map