modality-ts 0.0.0

package/dist/modality/cli.js

@@ -0,0 +1,223 @@
+#!/usr/bin/env node
+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 { runReplayCommand } from "./features/replay/index.js";
+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]");
+        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> [--states states.json] [--observed observed-states.json] [--report report.json]");
+        console.log("       modality conform <walks.json> [--report conform-report.json]");
+        console.log("       modality conform --model model.json [--count 8] [--depth 4] [--seed 1] [--report conform-report.json]");
+        console.log("       modality export <model.json> --format tla --out model.tla");
+        process.exit(command ? 1 : 0);
+    }
+    if (command === "ci") {
+        const artifactsFlag = args.indexOf("--artifacts");
+        const overlayFlag = args.indexOf("--overlay");
+        const baselineFlag = args.indexOf("--baseline");
+        const sourceFlag = args.indexOf("--source");
+        const conformWalksFlag = args.indexOf("--conform-walks");
+        const conformCountFlag = args.indexOf("--conform-count");
+        const conformDepthFlag = args.indexOf("--conform-depth");
+        const conformSeedFlag = args.indexOf("--conform-seed");
+        const minConformPassRateFlag = args.indexOf("--min-conform-pass-rate");
+        const minTransitionConformPassRateFlag = args.indexOf("--min-transition-conform-pass-rate");
+        const artifactDir = artifactsFlag >= 0 ? args[artifactsFlag + 1] : undefined;
+        const overlayPath = overlayFlag >= 0 ? args[overlayFlag + 1] : undefined;
+        const baselinePath = baselineFlag >= 0 ? args[baselineFlag + 1] : undefined;
+        const sourcePath = sourceFlag >= 0 ? args[sourceFlag + 1] : undefined;
+        const conformWalksPath = conformWalksFlag >= 0 ? args[conformWalksFlag + 1] : undefined;
+        const conformCount = conformCountFlag >= 0 && args[conformCountFlag + 1] ? Number(args[conformCountFlag + 1]) : undefined;
+        const conformDepth = conformDepthFlag >= 0 && args[conformDepthFlag + 1] ? Number(args[conformDepthFlag + 1]) : undefined;
+        const conformSeed = conformSeedFlag >= 0 && args[conformSeedFlag + 1] ? Number(args[conformSeedFlag + 1]) : undefined;
+        const minConformPassRate = minConformPassRateFlag >= 0 && args[minConformPassRateFlag + 1] ? Number(args[minConformPassRateFlag + 1]) : undefined;
+        const minTransitionConformPassRate = minTransitionConformPassRateFlag >= 0 && args[minTransitionConformPassRateFlag + 1] ? Number(args[minTransitionConformPassRateFlag + 1]) : undefined;
+        const positional = args.filter((arg, index) => index !== artifactsFlag && index !== artifactsFlag + 1 &&
+            index !== overlayFlag && index !== overlayFlag + 1 &&
+            index !== baselineFlag && index !== baselineFlag + 1 &&
+            index !== sourceFlag && index !== sourceFlag + 1 &&
+            index !== conformWalksFlag && index !== conformWalksFlag + 1 &&
+            index !== conformCountFlag && index !== conformCountFlag + 1 &&
+            index !== conformDepthFlag && index !== conformDepthFlag + 1 &&
+            index !== conformSeedFlag && index !== conformSeedFlag + 1 &&
+            index !== minConformPassRateFlag && index !== minConformPassRateFlag + 1 &&
+            index !== minTransitionConformPassRateFlag && index !== minTransitionConformPassRateFlag + 1);
+        const [modelPath, propsPath] = positional;
+        if (!modelPath)
+            throw new Error("Missing model.json path");
+        if (!artifactDir)
+            throw new Error("Missing --artifacts path");
+        if (overlayFlag >= 0 && !overlayPath)
+            throw new Error("Missing --overlay path");
+        if (baselineFlag >= 0 && !baselinePath)
+            throw new Error("Missing --baseline path");
+        if (sourceFlag >= 0 && !sourcePath)
+            throw new Error("Missing --source path");
+        if (conformWalksFlag >= 0 && !conformWalksPath)
+            throw new Error("Missing --conform-walks path");
+        const result = await runCiCommand({ modelPath, propsPath, artifactDir, overlayPath, baselinePath, sourcePath, conformWalksPath, conformCount, conformDepth, conformSeed, minConformPassRate, minTransitionConformPassRate });
+        for (const line of result.lines)
+            console.log(line);
+        process.exit(result.exitCode);
+    }
+    if (command === "conform") {
+        const reportFlag = args.indexOf("--report");
+        const modelFlag = args.indexOf("--model");
+        const walksFlag = args.indexOf("--walks");
+        const countFlag = args.indexOf("--count");
+        const depthFlag = args.indexOf("--depth");
+        const seedFlag = args.indexOf("--seed");
+        const reportPath = reportFlag >= 0 ? args[reportFlag + 1] : undefined;
+        const modelPath = modelFlag >= 0 ? args[modelFlag + 1] : undefined;
+        const flaggedWalksPath = walksFlag >= 0 ? args[walksFlag + 1] : undefined;
+        const walkCount = countFlag >= 0 && args[countFlag + 1] ? Number(args[countFlag + 1]) : undefined;
+        const depth = depthFlag >= 0 && args[depthFlag + 1] ? Number(args[depthFlag + 1]) : undefined;
+        const seed = seedFlag >= 0 && args[seedFlag + 1] ? Number(args[seedFlag + 1]) : undefined;
+        const walksPath = flaggedWalksPath ?? args.find((arg, index) => !arg.startsWith("--") &&
+            index !== reportFlag + 1 &&
+            index !== modelFlag + 1 &&
+            index !== walksFlag + 1 &&
+            index !== countFlag + 1 &&
+            index !== depthFlag + 1 &&
+            index !== seedFlag + 1);
+        if (!walksPath && !modelPath)
+            throw new Error("Missing walks.json path or --model path");
+        if (reportFlag >= 0 && !reportPath)
+            throw new Error("Missing --report path");
+        if (modelFlag >= 0 && !modelPath)
+            throw new Error("Missing --model path");
+        if (walksFlag >= 0 && !flaggedWalksPath)
+            throw new Error("Missing --walks path");
+        const result = await runConformCommand({ walksPath, modelPath, reportPath, walkCount, depth, seed });
+        for (const line of result.lines)
+            console.log(line);
+        process.exit(result.exitCode);
+    }
+    if (command === "export") {
+        const outFlag = args.indexOf("--out");
+        const formatFlag = args.indexOf("--format");
+        const moduleFlag = args.indexOf("--module");
+        const outPath = outFlag >= 0 ? args[outFlag + 1] : undefined;
+        const format = formatFlag >= 0 ? args[formatFlag + 1] : "tla";
+        const moduleName = moduleFlag >= 0 ? args[moduleFlag + 1] : undefined;
+        const modelPath = args.find((arg, index) => !arg.startsWith("--") && index !== outFlag + 1 && index !== formatFlag + 1 && index !== moduleFlag + 1);
+        if (!modelPath)
+            throw new Error("Missing model.json path");
+        if (!outPath)
+            throw new Error("Missing --out path");
+        if (format !== "tla")
+            throw new Error(`Unsupported export format ${format}`);
+        if (moduleFlag >= 0 && !moduleName)
+            throw new Error("Missing --module path");
+        const result = await runExportTlaCommand({ modelPath, outPath, moduleName });
+        for (const line of result.lines)
+            console.log(line);
+        process.exit(0);
+    }
+    if (command === "extract") {
+        const outFlag = args.indexOf("--out");
+        const appModelFlag = args.indexOf("--app-model");
+        const reportFlag = args.indexOf("--report");
+        const overlayFlag = args.indexOf("--overlay");
+        const expectModelFlag = args.indexOf("--expect-model");
+        const configFlag = args.indexOf("--config");
+        const packageJsonFlag = args.indexOf("--package-json");
+        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 = args.find((arg, index) => !arg.startsWith("--") && index !== outFlag + 1 && index !== appModelFlag + 1 && index !== reportFlag + 1 && index !== overlayFlag + 1 && index !== expectModelFlag + 1 && index !== configFlag + 1 && index !== packageJsonFlag + 1 && args[index - 1] !== "--effect-api" && args[index - 1] !== "--disable-plugin");
+        const modelPath = outFlag >= 0 ? args[outFlag + 1] : undefined;
+        const appModelPath = appModelFlag >= 0 ? args[appModelFlag + 1] : undefined;
+        const reportPath = reportFlag >= 0 ? args[reportFlag + 1] : undefined;
+        const overlayPath = overlayFlag >= 0 ? args[overlayFlag + 1] : undefined;
+        const expectModelPath = expectModelFlag >= 0 ? args[expectModelFlag + 1] : undefined;
+        const configPath = configFlag >= 0 ? args[configFlag + 1] : undefined;
+        const packageJsonPath = packageJsonFlag >= 0 ? args[packageJsonFlag + 1] : undefined;
+        if (!sourcePath)
+            throw new Error("Missing source.tsx path");
+        if (!modelPath)
+            throw new Error("Missing --out path");
+        if (appModelFlag >= 0 && !appModelPath)
+            throw new Error("Missing --app-model path");
+        if (reportFlag >= 0 && !reportPath)
+            throw new Error("Missing --report path");
+        if (overlayFlag >= 0 && !overlayPath)
+            throw new Error("Missing --overlay path");
+        if (expectModelFlag >= 0 && !expectModelPath)
+            throw new Error("Missing --expect-model path");
+        if (configFlag >= 0 && !configPath)
+            throw new Error("Missing --config path");
+        if (packageJsonFlag >= 0 && !packageJsonPath)
+            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 });
+        for (const line of result.lines)
+            console.log(line);
+        process.exit(0);
+    }
+    if (command === "replay") {
+        const reportFlag = args.indexOf("--report");
+        const statesFlag = args.indexOf("--states");
+        const observedFlag = args.indexOf("--observed");
+        const reportPath = reportFlag >= 0 ? args[reportFlag + 1] : undefined;
+        const statesPath = statesFlag >= 0 ? args[statesFlag + 1] : undefined;
+        const observedPath = observedFlag >= 0 ? args[observedFlag + 1] : undefined;
+        const tracePath = args.find((arg, index) => !arg.startsWith("--") && index !== reportFlag + 1 && index !== statesFlag + 1 && index !== observedFlag + 1);
+        if (!tracePath)
+            throw new Error("Missing trace.json path");
+        if (reportFlag >= 0 && !reportPath)
+            throw new Error("Missing --report path");
+        if (statesFlag >= 0 && !statesPath)
+            throw new Error("Missing --states path");
+        if (observedFlag >= 0 && !observedPath)
+            throw new Error("Missing --observed path");
+        const result = await runReplayCommand({ tracePath, statesPath, observedPath, reportPath });
+        for (const line of result.lines)
+            console.log(line);
+        process.exit(result.exitCode);
+    }
+    const reportFlag = args.indexOf("--report");
+    const overlayFlag = args.indexOf("--overlay");
+    const tracesFlag = args.indexOf("--traces");
+    const replayTestsFlag = args.indexOf("--replay-tests");
+    const actionReplayTestsFlag = args.indexOf("--action-replay-tests");
+    const statesFlag = args.indexOf("--states");
+    const reportPath = reportFlag >= 0 ? args[reportFlag + 1] : undefined;
+    const tracesDir = tracesFlag >= 0 ? args[tracesFlag + 1] : undefined;
+    const replayTestsDir = replayTestsFlag >= 0 ? args[replayTestsFlag + 1] : undefined;
+    const actionReplayTestsDir = actionReplayTestsFlag >= 0 ? args[actionReplayTestsFlag + 1] : undefined;
+    const statesPath = statesFlag >= 0 ? args[statesFlag + 1] : undefined;
+    const positional = args.filter((arg, index) => index !== reportFlag && index !== reportFlag + 1 && index !== overlayFlag && index !== overlayFlag + 1 && index !== tracesFlag && index !== tracesFlag + 1 && index !== replayTestsFlag && index !== replayTestsFlag + 1 && index !== actionReplayTestsFlag && index !== actionReplayTestsFlag + 1 && index !== statesFlag && index !== statesFlag + 1);
+    const [modelPath, propsPath] = positional;
+    const overlayPath = overlayFlag >= 0 ? args[overlayFlag + 1] : undefined;
+    if (!modelPath)
+        throw new Error("Missing model.json path");
+    if (reportFlag >= 0 && !reportPath)
+        throw new Error("Missing --report path");
+    if (overlayFlag >= 0 && !overlayPath)
+        throw new Error("Missing --overlay path");
+    if (tracesFlag >= 0 && !tracesDir)
+        throw new Error("Missing --traces path");
+    if (replayTestsFlag >= 0 && !replayTestsDir)
+        throw new Error("Missing --replay-tests path");
+    if (actionReplayTestsFlag >= 0 && !actionReplayTestsDir)
+        throw new Error("Missing --action-replay-tests path");
+    if (statesFlag >= 0 && !statesPath)
+        throw new Error("Missing --states path");
+    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);
+}
+main().catch((error) => {
+    console.error(error instanceof Error ? error.message : String(error));
+    process.exit(1);
+});
+//# sourceMappingURL=cli.js.map

package/dist/modality/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/modality/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,KAAK,UAAU,IAAI;IACjB,MAAM,CAAC,EAAE,AAAD,EAAG,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAC5C,IAAI,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC9I,OAAO,CAAC,GAAG,CAAC,2QAA2Q,CAAC,CAAC;QACzR,OAAO,CAAC,GAAG,CAAC,sEAAsE,CAAC,CAAC;QACpF,OAAO,CAAC,GAAG,CAAC,4KAA4K,CAAC,CAAC;QAC1L,OAAO,CAAC,GAAG,CAAC,qHAAqH,CAAC,CAAC;QACnI,OAAO,CAAC,GAAG,CAAC,qEAAqE,CAAC,CAAC;QACnF,OAAO,CAAC,GAAG,CAAC,8GAA8G,CAAC,CAAC;QAC5H,OAAO,CAAC,GAAG,CAAC,kEAAkE,CAAC,CAAC;QAChF,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,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACzD,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACzD,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACzD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACvD,MAAM,sBAAsB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;QACvE,MAAM,gCAAgC,GAAG,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,MAAM,WAAW,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,gBAAgB,GAAG,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,MAAM,YAAY,GAAG,gBAAgB,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1H,MAAM,YAAY,GAAG,gBAAgB,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1H,MAAM,WAAW,GAAG,eAAe,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtH,MAAM,kBAAkB,GAAG,sBAAsB,IAAI,CAAC,IAAI,IAAI,CAAC,sBAAsB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,sBAAsB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClJ,MAAM,4BAA4B,GAAG,gCAAgC,IAAI,CAAC,IAAI,IAAI,CAAC,gCAAgC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,gCAAgC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1L,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAC5C,KAAK,KAAK,aAAa,IAAI,KAAK,KAAK,aAAa,GAAG,CAAC;YACtD,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,WAAW,GAAG,CAAC;YAClD,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,YAAY,GAAG,CAAC;YACpD,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC;YAChD,KAAK,KAAK,gBAAgB,IAAI,KAAK,KAAK,gBAAgB,GAAG,CAAC;YAC5D,KAAK,KAAK,gBAAgB,IAAI,KAAK,KAAK,gBAAgB,GAAG,CAAC;YAC5D,KAAK,KAAK,gBAAgB,IAAI,KAAK,KAAK,gBAAgB,GAAG,CAAC;YAC5D,KAAK,KAAK,eAAe,IAAI,KAAK,KAAK,eAAe,GAAG,CAAC;YAC1D,KAAK,KAAK,sBAAsB,IAAI,KAAK,KAAK,sBAAsB,GAAG,CAAC;YACxE,KAAK,KAAK,gCAAgC,IAAI,KAAK,KAAK,gCAAgC,GAAG,CAAC,CAC7F,CAAC;QACF,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,WAAW,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAChF,IAAI,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACnF,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC7E,IAAI,gBAAgB,IAAI,CAAC,IAAI,CAAC,gBAAgB;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,CAAC,CAAC;QAC7N,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,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,SAAS,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,MAAM,gBAAgB,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1E,MAAM,SAAS,GAAG,SAAS,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClG,MAAM,KAAK,GAAG,SAAS,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,MAAM,IAAI,GAAG,QAAQ,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1F,MAAM,SAAS,GAAG,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAC7D,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YACrB,KAAK,KAAK,UAAU,GAAG,CAAC;YACxB,KAAK,KAAK,SAAS,GAAG,CAAC;YACvB,KAAK,KAAK,SAAS,GAAG,CAAC;YACvB,KAAK,KAAK,SAAS,GAAG,CAAC;YACvB,KAAK,KAAK,SAAS,GAAG,CAAC;YACvB,KAAK,KAAK,QAAQ,GAAG,CAAC,CACvB,CAAC;QACF,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QACzF,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC7E,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1E,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,gBAAgB;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACrG,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,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,MAAM,MAAM,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9D,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,CAAC,CAAC;QACpJ,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;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;QAC7E,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7E,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,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QACtD,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,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,CAAC,CAAC,CAAC;QAC3H,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,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,CAAC,CAAC,CAAC;QAChI,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,YAAY,GAAG,CAAC,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,IAAI,KAAK,KAAK,WAAW,GAAG,CAAC,IAAI,KAAK,KAAK,eAAe,GAAG,CAAC,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,IAAI,KAAK,KAAK,eAAe,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,cAAc,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC;QAClW,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,WAAW,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,eAAe,GAAG,eAAe,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACrF,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,eAAe,GAAG,eAAe,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACrF,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,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACpF,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC7E,IAAI,WAAW,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAChF,IAAI,eAAe,IAAI,CAAC,IAAI,CAAC,eAAe;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC7F,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC7E,IAAI,eAAe,IAAI,CAAC,IAAI,CAAC,eAAe;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC7F,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACtH,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,EAAE,eAAe,EAAE,eAAe,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,CAAC;QAClN,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,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,IAAI,KAAK,KAAK,YAAY,GAAG,CAAC,CAAC,CAAC;QACzJ,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC3D,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC7E,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC7E,IAAI,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3F,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,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACvD,MAAM,qBAAqB,GAAG,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,SAAS,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,MAAM,cAAc,GAAG,eAAe,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,MAAM,oBAAoB,GAAG,qBAAqB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtG,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,WAAW,GAAG,CAAC,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,IAAI,KAAK,KAAK,eAAe,IAAI,KAAK,KAAK,eAAe,GAAG,CAAC,IAAI,KAAK,KAAK,qBAAqB,IAAI,KAAK,KAAK,qBAAqB,GAAG,CAAC,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,UAAU,GAAG,CAAC,CAAC,CAAC;IACvY,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC;IAC1C,MAAM,WAAW,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC3D,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC7E,IAAI,WAAW,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAChF,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC5E,IAAI,eAAe,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IAC5F,IAAI,qBAAqB,IAAI,CAAC,IAAI,CAAC,oBAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAC/G,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,oBAAoB,EAAE,UAAU,EAAE,CAAC,CAAC;IACrJ,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/modality/codegen/model.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/modality/codegen/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsC,KAAK,KAAK,EAAiC,MAAM,oBAAoB,CAAC;AAEnH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAejD"}

package/dist/modality/codegen/model.js

@@ -0,0 +1,59 @@
+import { canonicalJson } from "modality-ts/kernel";
+export function emitAppModel(model) {
+    return [
+        "import type { Model } from \"modality-ts/kernel\";",
+        "",
+        `export const M = ${canonicalJson(model)} as const satisfies Model;`,
+        "",
+        "export type AppState = {",
+        ...model.vars.map((decl) => `  ${quoteProperty(decl.id)}: ${typeForDomain(decl.domain)};`),
+        "};",
+        "",
+        "export type VarId = keyof AppState;",
+        "",
+        `export const initialState = ${canonicalJson(initialState(model.vars))} as const satisfies AppState;`,
+        ""
+    ].join("\n");
+}
+function typeForDomain(domain) {
+    switch (domain.kind) {
+        case "bool":
+            return "boolean";
+        case "enum":
+            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(" ")} }`;
+        case "tagged":
+            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(" ")
+                    : `value: ${typeForDomain(variant)};`;
+                return `{ ${quoteProperty(domain.tag)}: ${stringLiteralType(tagValue)}; ${body} }`;
+            })
+                .join(" | ") || "never";
+        case "tokens":
+            return domain.names?.length ? domain.names.map(stringLiteralType).join(" | ") : "string";
+        case "lengthCat":
+            return "\"0\" | \"1\" | \"many\"";
+        case "boundedList":
+            return `readonly ${parenthesizeIfUnion(typeForDomain(domain.inner))}[]`;
+    }
+}
+function initialState(vars) {
+    return Object.fromEntries(vars.map((decl) => [decl.id, decl.initial]));
+}
+function quoteProperty(value) {
+    return /^[A-Za-z_$][\w$]*$/.test(value) ? value : JSON.stringify(value);
+}
+function stringLiteralType(value) {
+    return JSON.stringify(value);
+}
+function parenthesizeIfUnion(value) {
+    return value.includes(" | ") ? `(${value})` : value;
+}
+//# sourceMappingURL=model.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../src/modality/codegen/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAkE,MAAM,oBAAoB,CAAC;AAEnH,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO;QACL,oDAAoD;QACpD,EAAE;QACF,oBAAoB,aAAa,CAAC,KAAK,CAAC,4BAA4B;QACpE,EAAE;QACF,0BAA0B;QAC1B,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAC1F,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,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC/F,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,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACnI,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;iBACnC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE;gBAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ;oBACpC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;oBACnH,CAAC,CAAC,UAAU,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC;gBACxC,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,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3F,KAAK,WAAW;YACd,OAAO,0BAA0B,CAAC;QACpC,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/codegen/replay-test.d.ts

@@ -0,0 +1,10 @@
+import { type Trace } from "modality-ts/kernel";
+export interface ReplayTestArtifact {
+    fileName: string;
+    source: string;
+}
+export declare function generateAbstractReplayTest(property: string, trace: Trace): ReplayTestArtifact;
+export declare function generateActionReplayTest(property: string, trace: Trace): ReplayTestArtifact;
+export declare function generateReplayHarness(): ReplayTestArtifact;
+export declare function safeFileName(value: string): string;
+//# sourceMappingURL=replay-test.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"replay-test.d.ts","sourceRoot":"","sources":["../../../src/modality/codegen/replay-test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE/D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,CAmB7F;AAED,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,CAmC3F;AAED,wBAAgB,qBAAqB,IAAI,kBAAkB,CA0C1D;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElD"}

package/dist/modality/codegen/replay-test.js

@@ -0,0 +1,104 @@
+import { canonicalJson } from "modality-ts/kernel";
+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";`,
+            ``,
+            `const trace = ${canonicalJson(trace)};`,
+            ``,
+            `describe(${JSON.stringify(`replay ${property}`)}, () => {`,
+            `  it("reproduces the model trace", async () => {`,
+            `    const verdict = await replayTrace(trace, new StateSequenceDriver(statesFromTrace(trace)));`,
+            `    expect(verdict.status).toBe("reproduced");`,
+            `  });`,
+            `});`,
+            ``
+        ].join("\n")
+    };
+}
+export function generateActionReplayTest(property, trace) {
+    const safeName = safeFileName(property);
+    return {
+        fileName: `${safeName}.action.replay.test.ts`,
+        source: [
+            `/**`,
+            ` * @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 { observeModalityReplay, renderModalityReplay } from "./modality.replay.harness.js";`,
+            ``,
+            `const trace = ${canonicalJson(trace)};`,
+            `const observedVars = [...new Set(trace.steps.flatMap((step) => [...Object.keys(step.pre), ...Object.keys(step.post)]))];`,
+            ``,
+            `describe(${JSON.stringify(`replay ${property}`)}, () => {`,
+            `  it("drives the app through the model trace", async () => {`,
+            `    const replayHarness: ModalityReplayHarness = await renderModalityReplay(trace);`,
+            `    const observationSources: ObservationSource[] = [observeModalityReplay(replayHarness), ...(replayHarness.sources ?? [])];`,
+            `    const actor = createDomReplayActor({`,
+            `      document: replayHarness.document,`,
+            `      navigate: replayHarness.navigate,`,
+            `      resolve: replayHarness.resolve,`,
+            `      focusRevalidate: replayHarness.focusRevalidate,`,
+            `      timer: replayHarness.timer,`,
+            `      stabilize: replayHarness.stabilize`,
+            `    });`,
+            `    const verdict = await replayTrace(trace, new ObservableActionReplayDriver(actor, observedVars, observationSources));`,
+            `    expect(verdict.status).toBe("reproduced");`,
+            `  });`,
+            `});`,
+            ``
+        ].join("\n")
+    };
+}
+export function generateReplayHarness() {
+    return {
+        fileName: "modality.replay.harness.ts",
+        source: [
+            `import { observationSource, type ModalityReplayHarness, type ObservationSource } from "modality-ts/harness";`,
+            `import type { Trace } from "modality-ts/kernel";`,
+            ``,
+            `declare global {`,
+            `  var __modalityRenderReplayApp: ((trace: Trace) => Partial<ModalityReplayHarness> | Promise<Partial<ModalityReplayHarness>>) | undefined;`,
+            `}`,
+            ``,
+            `export async function renderModalityReplay(trace: Trace): Promise<ModalityReplayHarness> {`,
+            `  const appHarness = await globalThis.__modalityRenderReplayApp?.(trace);`,
+            `  return {`,
+            `    document: globalThis.document,`,
+            `    stabilize: async () => Promise.resolve(),`,
+            `    ...(appHarness ?? {})`,
+            `  };`,
+            `}`,
+            ``,
+            `export function observeModalityReplay(_harness: ModalityReplayHarness): ObservationSource {`,
+            `  return observationSource("dom-projection", (varId) => {`,
+            `    const element = globalThis.document?.querySelector(\`[data-modality-var="\${cssString(varId)}"]\`);`,
+            `    if (!element) return "unobservable";`,
+            `    return { value: parseObservedValue(element.textContent ?? "") };`,
+            `  });`,
+            `}`,
+            ``,
+            `function parseObservedValue(text: string): unknown {`,
+            `  try {`,
+            `    return JSON.parse(text);`,
+            `  } catch {`,
+            `    return text;`,
+            `  }`,
+            `}`,
+            ``,
+            `function cssString(value: string): string {`,
+            `  return value.replace(/["\\\\]/g, "\\\\$&");`,
+            `}`,
+            ``
+        ].join("\n")
+    };
+}
+export function safeFileName(value) {
+    return value.replace(/[^a-zA-Z0-9._-]+/g, "_");
+}
+//# sourceMappingURL=replay-test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"replay-test.js","sourceRoot":"","sources":["../../../src/modality/codegen/replay-test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAc,MAAM,oBAAoB,CAAC;AAO/D,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,KAAY;IACvE,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxC,OAAO;QACL,QAAQ,EAAE,GAAG,QAAQ,iBAAiB;QACtC,MAAM,EAAE;YACN,gDAAgD;YAChD,0FAA0F;YAC1F,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,CAAC,QAAgB,EAAE,KAAY;IACrE,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,wGAAwG;YACxG,sFAAsF;YACtF,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,0CAA0C;YAC1C,yCAAyC;YACzC,yCAAyC;YACzC,uCAAuC;YACvC,uDAAuD;YACvD,mCAAmC;YACnC,0CAA0C;YAC1C,SAAS;YACT,0HAA0H;YAC1H,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,8GAA8G;YAC9G,kDAAkD;YAClD,EAAE;YACF,kBAAkB;YAClB,4IAA4I;YAC5I,GAAG;YACH,EAAE;YACF,4FAA4F;YAC5F,2EAA2E;YAC3E,YAAY;YACZ,oCAAoC;YACpC,+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/modality/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/modality/conform.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conform.d.ts","sourceRoot":"","sources":["../../src/modality/conform.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACtF,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC"}

package/dist/modality/conform.js

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

package/dist/modality/conform.js.map

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

package/dist/modality/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/modality/export-tla.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-tla.d.ts","sourceRoot":"","sources":["../../src/modality/export-tla.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACpF,YAAY,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/modality/export-tla.js

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

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

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

package/dist/modality/extract.d.ts

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

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

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

package/dist/modality/extract.js

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

package/dist/modality/extract.js.map

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

package/dist/modality/features/check/command.d.ts

@@ -0,0 +1,23 @@
+import { type CheckResult } from "modality-ts/checker";
+import { type CheckReport, type Model } from "modality-ts/kernel";
+export interface CheckCommandOptions {
+    modelPath: string;
+    propsPath?: string;
+    reportPath?: string;
+    overlayPath?: string;
+    tracesDir?: string;
+    replayTestsDir?: string;
+    actionReplayTestsDir?: string;
+    statesPath?: string;
+    now?: Date;
+}
+export interface CheckCommandResult {
+    check: CheckResult;
+    report: CheckReport;
+    exitCode: number;
+    lines: string[];
+}
+export declare function runCheckCommand(options: CheckCommandOptions): Promise<CheckCommandResult>;
+export declare function createCheckReport(model: Model, check: CheckResult, now: Date, overlayWarnings?: readonly string[], ignoredVars?: readonly string[]): CheckReport;
+export declare function renderCheckResult(check: CheckResult): string[];
+//# sourceMappingURL=command.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/modality/features/check/command.ts"],"names":[],"mappings":"AAGA,OAAO,EAAc,KAAK,WAAW,EAAwB,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAoD,KAAK,WAAW,EAA0B,KAAK,KAAK,EAAoC,MAAM,oBAAoB,CAAC;AAI9K,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,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAuB/F;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,eAAe,GAAE,SAAS,MAAM,EAAO,EAAE,WAAW,GAAE,SAAS,MAAM,EAAO,GAAG,WAAW,CA2BxK;AAgBD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,EAAE,CAa9D"}