modality-ts 0.0.7 → 0.0.9

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/check/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,GAChB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC"}

package/dist/cli/features/check/index.js

@@ -0,0 +1,2 @@
+export { createCheckReport, renderCheckResult, runCheckCommand, } from "./command.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/check/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,GAChB,MAAM,cAAc,CAAC"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/ci/command.ts"],"names":[],"mappings":"AAYA,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IACpC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,CA+F1B"}

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

@@ -2,7 +2,7 @@ import { mkdir, mkdtemp, readdir, readFile, rm } from "node:fs/promises";
 import { createHash } from "node:crypto";
 import { tmpdir } from "node:os";
 import { join } from "node:path";
-import { parseCheckReportArtifact, parseModelArtifact } from "modality-ts/kernel";
+import { parseCheckReportArtifact, parseModelArtifact, } from "modality-ts/core";
 import { runCheckCommand } from "../../check.js";
 import { runConformCommand } from "../../conform.js";
 export async function runCiCommand(options) {
@@ -16,21 +16,37 @@ export async function runCiCommand(options) {
         overlayPath: options.overlayPath,
         reportPath,
         tracesDir,
-        now
+        now,
     });
     const determinism = await checkDeterminism(options, now, reportPath, tracesDir);
     const violationCount = check.check.verdicts.filter((verdict) => verdict.status === "violated").length;
     const errorCount = check.check.verdicts.filter((verdict) => verdict.status === "error").length;
-    const trustRegressions = options.baselinePath ? await compareTrustLedger(options.baselinePath, check.report) : [];
-    const staleSource = options.sourcePath ? await checkSourceFreshness(options.modelPath, options.sourcePath) : [];
+    const trustRegressions = options.baselinePath
+        ? await compareTrustLedger(options.baselinePath, check.report)
+        : [];
+    const staleSource = options.sourcePath
+        ? await checkSourceFreshness(options.modelPath, options.sourcePath)
+        : [];
     const conform = await runOptionalConformance(options, now);
     const conformPassRate = conform?.report.metrics.passRate;
     const minConformPassRate = options.minConformPassRate ?? 1;
     const conformFailed = conformPassRate !== undefined && conformPassRate < minConformPassRate;
     const minTransitionConformPassRate = options.minTransitionConformPassRate ?? minConformPassRate;
-    const transitionConformFailures = conform ? transitionConformFailuresBelow(conform.report.transitionMetrics, minTransitionConformPassRate) : [];
+    const transitionConformFailures = conform
+        ? transitionConformFailuresBelow(conform.report.transitionMetrics, minTransitionConformPassRate)
+        : [];
     const transitionConformFailed = transitionConformFailures.length > 0;
-    const exitCode = violationCount > 0 || errorCount > 0 ? 2 : trustRegressions.length > 0 ? 3 : determinism.length > 0 ? 4 : conformFailed || transitionConformFailed ? 5 : staleSource.length > 0 ? 6 : 0;
+    const exitCode = violationCount > 0 || errorCount > 0
+        ? 2
+        : trustRegressions.length > 0
+            ? 3
+            : determinism.length > 0
+                ? 4
+                : conformFailed || transitionConformFailed
+                    ? 5
+                    : staleSource.length > 0
+                        ? 6
+                        : 0;
     return {
         exitCode,
         reportPath,
@@ -40,18 +56,30 @@ export async function runCiCommand(options) {
             `violations=${violationCount} errors=${errorCount}`,
             `determinism=${determinism.length === 0 ? "passed" : "failed"}`,
             ...determinism.map((failure) => `determinism-failure: ${failure}`),
-            ...(options.baselinePath ? [`trust-regressions=${trustRegressions.length}`, ...trustRegressions.map((regression) => `trust-regression: ${regression}`)] : []),
-            ...(options.sourcePath ? [`source-freshness=${staleSource.length === 0 ? "passed" : "failed"}`, ...staleSource.map((failure) => `source-stale: ${failure}`)] : []),
-            ...(conform ? [
-                `conform-pass-rate=${conform.report.metrics.passRate}`,
-                `conform-min-pass-rate=${minConformPassRate}`,
-                `conform-transition-min-pass-rate=${minTransitionConformPassRate}`,
-                ...transitionConformFailures.map((failure) => `conform-transition-failure: ${failure}`),
-                ...conform.lines
-            ] : []),
+            ...(options.baselinePath
+                ? [
+                    `trust-regressions=${trustRegressions.length}`,
+                    ...trustRegressions.map((regression) => `trust-regression: ${regression}`),
+                ]
+                : []),
+            ...(options.sourcePath
+                ? [
+                    `source-freshness=${staleSource.length === 0 ? "passed" : "failed"}`,
+                    ...staleSource.map((failure) => `source-stale: ${failure}`),
+                ]
+                : []),
+            ...(conform
+                ? [
+                    `conform-pass-rate=${conform.report.metrics.passRate}`,
+                    `conform-min-pass-rate=${minConformPassRate}`,
+                    `conform-transition-min-pass-rate=${minTransitionConformPassRate}`,
+                    ...transitionConformFailures.map((failure) => `conform-transition-failure: ${failure}`),
+                    ...conform.lines,
+                ]
+                : []),
             `report=${reportPath}`,
-            `traces=${tracesDir}`
-        ]
+            `traces=${tracesDir}`,
+        ],
     };
 }
 function transitionConformFailuresBelow(transitionMetrics, minimum) {
@@ -66,7 +94,9 @@ async function checkSourceFreshness(modelPath, sourcePath) {
     if (!expected)
         return [`missing source hash for ${sourcePath}`];
     const actual = sha256(await readFile(sourcePath, "utf8"));
-    return actual === expected ? [] : [`${sourcePath} expected=${expected} actual=${actual}`];
+    return actual === expected
+        ? []
+        : [`${sourcePath} expected=${expected} actual=${actual}`];
 }
 function sha256(value) {
     return createHash("sha256").update(value).digest("hex");
@@ -82,7 +112,7 @@ async function runOptionalConformance(options, now) {
         seed: options.conformSeed,
         mode: options.conformMode,
         harnessPath: options.conformHarnessPath,
-        now
+        now,
     });
 }
 async function checkDeterminism(options, now, reportPath, tracesDir) {
@@ -96,11 +126,13 @@ async function checkDeterminism(options, now, reportPath, tracesDir) {
             overlayPath: options.overlayPath,
             reportPath: secondReportPath,
             tracesDir: secondTracesDir,
-            now
+            now,
         });
         return [
-            ...(await sameFile(reportPath, secondReportPath) ? [] : ["report.json differed between runs"]),
-            ...(await compareTraceDirs(tracesDir, secondTracesDir))
+            ...((await sameFile(reportPath, secondReportPath))
+                ? []
+                : ["report.json differed between runs"]),
+            ...(await compareTraceDirs(tracesDir, secondTracesDir)),
         ];
     }
     finally {
@@ -108,11 +140,17 @@ async function checkDeterminism(options, now, reportPath, tracesDir) {
     }
 }
 async function sameFile(leftPath, rightPath) {
-    const [left, right] = await Promise.all([readFile(leftPath, "utf8"), readFile(rightPath, "utf8")]);
+    const [left, right] = await Promise.all([
+        readFile(leftPath, "utf8"),
+        readFile(rightPath, "utf8"),
+    ]);
     return left === right;
 }
 async function compareTraceDirs(leftDir, rightDir) {
-    const [leftNames, rightNames] = await Promise.all([sortedDirEntries(leftDir), sortedDirEntries(rightDir)]);
+    const [leftNames, rightNames] = await Promise.all([
+        sortedDirEntries(leftDir),
+        sortedDirEntries(rightDir),
+    ]);
     const failures = [];
     if (leftNames.join("\0") !== rightNames.join("\0")) {
         failures.push(`trace set differed: ${leftNames.join(",")} != ${rightNames.join(",")}`);
@@ -148,7 +186,7 @@ async function compareTrustLedger(baselinePath, current) {
         ...increases("unhandledRejections", caveatKeys(baseline.trustLedger.unhandledRejections), caveatKeys(current.trustLedger.unhandledRejections)),
         ...increases("unextractableHandlers", caveatKeys(baseline.trustLedger.unextractableHandlers), caveatKeys(current.trustLedger.unextractableHandlers)),
         ...increases("boundHits", baseline.trustLedger.boundHits, current.trustLedger.boundHits),
-        ...increases("vacuityWarnings", baseline.vacuityWarnings, current.vacuityWarnings)
+        ...increases("vacuityWarnings", baseline.vacuityWarnings, current.vacuityWarnings),
     ];
 }
 function caveatKeys(caveats) {
@@ -173,6 +211,8 @@ function increases(label, baselineValues, currentValues) {
     if (added.length === 0 && !countIncreased)
         return [];
     const detail = added.length > 0 ? ` new=${added.join(",")}` : "";
-    return [`${label} ${baselineValues.length}->${currentValues.length}${detail}`];
+    return [
+        `${label} ${baselineValues.length}->${currentValues.length}${detail}`,
+    ];
 }
 //# sourceMappingURL=command.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/ci/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GAEnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AA2BrD,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,OAAyB;IAEzB,MAAM,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC;QAClC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,UAAU;QACV,SAAS;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,gBAAgB,CACxC,OAAO,EACP,GAAG,EACH,UAAU,EACV,SAAS,CACV,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAChD,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAC3C,CAAC,MAAM,CAAC;IACT,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAC5C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CACxC,CAAC,MAAM,CAAC;IACT,MAAM,gBAAgB,GAAG,OAAO,CAAC,YAAY;QAC3C,CAAC,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC;QAC9D,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU;QACpC,CAAC,CAAC,MAAM,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC;QACnE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzD,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,CAAC,CAAC;IAC3D,MAAM,aAAa,GACjB,eAAe,KAAK,SAAS,IAAI,eAAe,GAAG,kBAAkB,CAAC;IACxE,MAAM,4BAA4B,GAChC,OAAO,CAAC,4BAA4B,IAAI,kBAAkB,CAAC;IAC7D,MAAM,yBAAyB,GAAG,OAAO;QACvC,CAAC,CAAC,8BAA8B,CAC5B,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAChC,4BAA4B,CAC7B;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,uBAAuB,GAAG,yBAAyB,CAAC,MAAM,GAAG,CAAC,CAAC;IACrE,MAAM,QAAQ,GACZ,cAAc,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;gBACtB,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,aAAa,IAAI,uBAAuB;oBACxC,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;wBACtB,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAC;IAChB,OAAO;QACL,QAAQ;QACR,UAAU;QACV,SAAS;QACT,KAAK,EAAE;YACL,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC7C,cAAc,cAAc,WAAW,UAAU,EAAE;YACnD,eAAe,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC/D,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,wBAAwB,OAAO,EAAE,CAAC;YAClE,GAAG,CAAC,OAAO,CAAC,YAAY;gBACtB,CAAC,CAAC;oBACE,qBAAqB,gBAAgB,CAAC,MAAM,EAAE;oBAC9C,GAAG,gBAAgB,CAAC,GAAG,CACrB,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,UAAU,EAAE,CAClD;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,UAAU;gBACpB,CAAC,CAAC;oBACE,oBAAoB,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;oBACpE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,OAAO,EAAE,CAAC;iBAC5D;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO;gBACT,CAAC,CAAC;oBACE,qBAAqB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;oBACtD,yBAAyB,kBAAkB,EAAE;oBAC7C,oCAAoC,4BAA4B,EAAE;oBAClE,GAAG,yBAAyB,CAAC,GAAG,CAC9B,CAAC,OAAO,EAAE,EAAE,CAAC,+BAA+B,OAAO,EAAE,CACtD;oBACD,GAAG,OAAO,CAAC,KAAK;iBACjB;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,UAAU,UAAU,EAAE;YACtB,UAAU,SAAS,EAAE;SACtB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,iBAIG,EACH,OAAe;IAEf,OAAO,iBAAiB;SACrB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC;SAC7C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;SAC1E,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,YAAY,aAAa,MAAM,CAAC,QAAQ,UAAU,MAAM,CAAC,KAAK,EAAE,CAC7E,CAAC;AACN,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,SAAiB,EACjB,UAAkB;IAElB,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,2BAA2B,UAAU,EAAE,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,MAAM,KAAK,QAAQ;QACxB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,GAAG,UAAU,aAAa,QAAQ,WAAW,MAAM,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,OAAyB,EAAE,GAAS;IACxE,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS;QACjE,OAAO,SAAS,CAAC;IACnB,OAAO,iBAAiB,CAAC;QACvB,SAAS,EAAE,OAAO,CAAC,gBAAgB;QACnC,SAAS,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS;QACnE,SAAS,EAAE,OAAO,CAAC,YAAY;QAC/B,KAAK,EAAE,OAAO,CAAC,YAAY;QAC3B,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,WAAW,EAAE,OAAO,CAAC,kBAAkB;QACvC,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAyB,EACzB,GAAS,EACT,UAAkB,EAClB,SAAiB;IAEjB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAClD,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5C,MAAM,eAAe,CAAC;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,UAAU,EAAE,gBAAgB;YAC5B,SAAS,EAAE,eAAe;YAC1B,GAAG;SACJ,CAAC,CAAC;QACH,OAAO;YACL,GAAG,CAAC,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBAChD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC;YAC1C,GAAG,CAAC,MAAM,gBAAgB,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;SACxD,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,QAAgB,EAAE,SAAiB;IACzD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC,CAAC;IACH,OAAO,IAAI,KAAK,KAAK,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAe,EACf,QAAgB;IAEhB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChD,gBAAgB,CAAC,OAAO,CAAC;QACzB,gBAAgB,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,CACX,uBAAuB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACxE,CAAC;QACF,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,GAAW;IACzC,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAClE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,YAAoB,EACpB,OAAoB;IAEpB,MAAM,QAAQ,GAAG,wBAAwB,CACvC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CACrC,CAAC;IACF,OAAO;QACL,GAAG,SAAS,CACV,SAAS,EACT,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAC9C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAC9C;QACD,GAAG,SAAS,CACV,SAAS,EACT,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAC9C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAC9C;QACD,GAAG,SAAS,CACV,mBAAmB,EACnB,QAAQ,CAAC,WAAW,CAAC,iBAAiB,EACtC,OAAO,CAAC,WAAW,CAAC,iBAAiB,CACtC;QACD,GAAG,SAAS,CACV,uBAAuB,EACvB,QAAQ,CAAC,WAAW,CAAC,qBAAqB,EAC1C,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAC1C;QACD,GAAG,SAAS,CACV,aAAa,EACb,QAAQ,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,EACtC,OAAO,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,CACtC;QACD,GAAG,SAAS,CACV,cAAc,EACd,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,EAC7C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAC7C;QACD,GAAG,SAAS,CACV,YAAY,EACZ,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,EAC3C,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAC3C;QACD,GAAG,SAAS,CACV,qBAAqB,EACrB,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,mBAAmB,CAAC,EACpD,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,mBAAmB,CAAC,CACpD;QACD,GAAG,SAAS,CACV,uBAAuB,EACvB,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,qBAAqB,CAAC,EACtD,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAAC,CACtD;QACD,GAAG,SAAS,CACV,WAAW,EACX,QAAQ,CAAC,WAAW,CAAC,SAAS,EAC9B,OAAO,CAAC,WAAW,CAAC,SAAS,CAC9B;QACD,GAAG,SAAS,CACV,iBAAiB,EACjB,QAAQ,CAAC,eAAe,EACxB,OAAO,CAAC,eAAe,CACxB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,OAAmD;IAEnD,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7E;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CACjB,OAA2D;IAE3D,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CACxE;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CACjB,OAA2D;IAE3D,OAAO,OAAO;SACX,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CACpF;SACA,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAChB,KAAa,EACb,cAAiC,EACjC,aAAgC;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,OAAO;QACL,GAAG,KAAK,IAAI,cAAc,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,GAAG,MAAM,EAAE;KACtE,CAAC;AACJ,CAAC"}

package/dist/cli/features/ci/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/ci/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}

package/dist/cli/features/ci/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/ci/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}

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

@@ -1,4 +1,4 @@
-import { type ConformReport, type Model, type ModelState, type Trace } from "modality-ts/kernel";
+import { type ConformReport, type Model, type ModelState, type Trace } from "modality-ts/core";
 export interface ConformWalkArtifact {
     id: string;
     trace: Trace;

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/conform/command.ts"],"names":[],"mappings":"AAeA,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,KAAK,EACV,KAAK,UAAU,EACf,KAAK,KAAK,EAGX,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC;IACtB,cAAc,CAAC,EAAE,UAAU,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC,aAAa,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,qBAAqB;IACpC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,qBAAqB,GAC7B,OAAO,CAAC,oBAAoB,CAAC,CAkD/B;AAkHD,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,KAAK,EACZ,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,GAC9D,mBAAmB,EAAE,CAmCvB;AAmBD,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,mBAAmB,EAAE,GACpC,oBAAoB,CAEtB;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAe5E"}

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

@@ -1,14 +1,16 @@
 import { mkdir, readFile, writeFile } from "node:fs/promises";
 import { dirname } from "node:path";
 import { pathToFileURL } from "node:url";
-import { createDomReplayActor, ObservableActionReplayDriver, observationSource, replayTrace, StateSequenceDriver, statesFromTrace } from "modality-ts/harness";
-import { modelInitialStates, modelSuccessors } from "modality-ts/checker";
-import { canonicalJson, parseModelArtifact } from "modality-ts/kernel";
+import { createDomReplayActor, ObservableActionReplayDriver, observationSource, replayTrace, StateSequenceDriver, statesFromTrace, } from "modality-ts/cli/harness";
+import { modelInitialStates, modelSuccessors } from "modality-ts/check";
+import { canonicalJson, parseModelArtifact, } from "modality-ts/core";
 export async function runConformCommand(options) {
     const walks = await loadOrGenerateWalks(options);
     const mode = options.mode ?? (options.harnessPath ? "action" : "abstract");
     let actionHarness;
-    let actionSetupError = mode === "action" && !options.harnessPath ? "Action conformance requires harnessPath" : undefined;
+    let actionSetupError = mode === "action" && !options.harnessPath
+        ? "Action conformance requires harnessPath"
+        : undefined;
     if (mode === "action" && options.harnessPath) {
         try {
             actionHarness = await loadReplayHarness(options.harnessPath);
@@ -21,8 +23,14 @@ export async function runConformCommand(options) {
         id: walk.id,
         trace: walk.trace,
         verdict: actionSetupError
-            ? { status: "inconclusive", stepsRun: 0, reason: actionSetupError }
-            : actionHarness ? await replayActionWalk(walk.trace, actionHarness) : await replayAbstractWalk(walk)
+            ? {
+                status: "inconclusive",
+                stepsRun: 0,
+                reason: actionSetupError,
+            }
+            : actionHarness
+                ? await replayActionWalk(walk.trace, actionHarness)
+                : await replayAbstractWalk(walk),
     })));
     const report = createConformReport(verdicts, options.now ?? new Date(), mode, options.harnessPath);
     if (options.reportPath) {
@@ -31,13 +39,17 @@ export async function runConformCommand(options) {
     }
     return {
         report,
-        exitCode: report.metrics.notReproduced > 0 ? 2 : report.metrics.inconclusive > 0 ? 3 : 0,
-        lines: renderConformReport(report)
+        exitCode: report.metrics.notReproduced > 0
+            ? 2
+            : report.metrics.inconclusive > 0
+                ? 3
+                : 0,
+        lines: renderConformReport(report),
     };
 }
 async function replayAbstractWalk(walk) {
     return replayTrace(walk.trace, new StateSequenceDriver(walk.observedStates ?? walk.states ?? statesFromTrace(walk.trace)), {
-        compareState: walk.observedStates ? compareObservedState : undefined
+        compareState: walk.observedStates ? compareObservedState : undefined,
     });
 }
 async function replayActionWalk(trace, harnessModule) {
@@ -45,8 +57,10 @@ async function replayActionWalk(trace, harnessModule) {
         await ensureDocument();
         const replayHarness = await harnessModule.renderModalityReplay(trace);
         const sources = [
-            harnessModule.observeModalityReplay ? harnessModule.observeModalityReplay(replayHarness) : domProjectionSource(),
-            ...(replayHarness.sources ?? [])
+            harnessModule.observeModalityReplay
+                ? harnessModule.observeModalityReplay(replayHarness)
+                : domProjectionSource(),
+            ...(replayHarness.sources ?? []),
         ];
         const actor = createDomReplayActor({
             document: replayHarness.document,
@@ -54,13 +68,22 @@ async function replayActionWalk(trace, harnessModule) {
             resolve: replayHarness.resolve,
             focusRevalidate: replayHarness.focusRevalidate,
             timer: replayHarness.timer,
-            stabilize: replayHarness.stabilize
+            stabilize: replayHarness.stabilize,
         });
-        const observedVars = [...new Set(trace.steps.flatMap((step) => [...Object.keys(step.pre), ...Object.keys(step.post)]))].sort();
+        const observedVars = [
+            ...new Set(trace.steps.flatMap((step) => [
+                ...Object.keys(step.pre),
+                ...Object.keys(step.post),
+            ])),
+        ].sort();
         return replayTrace(trace, new ObservableActionReplayDriver(actor, observedVars, sources));
     }
     catch (error) {
-        return { status: "inconclusive", stepsRun: 0, reason: error instanceof Error ? error.message : String(error) };
+        return {
+            status: "inconclusive",
+            stepsRun: 0,
+            reason: error instanceof Error ? error.message : String(error),
+        };
     }
 }
 async function loadReplayHarness(harnessPath) {
@@ -82,7 +105,7 @@ async function ensureDocument() {
         HTMLInputElement: dom.window.HTMLInputElement,
         HTMLTextAreaElement: dom.window.HTMLTextAreaElement,
         HTMLSelectElement: dom.window.HTMLSelectElement,
-        Event: dom.window.Event
+        Event: dom.window.Event,
     });
 }
 function domProjectionSource() {
@@ -109,7 +132,10 @@ export function generateConformWalks(model, options = {}) {
     const depth = options.depth ?? model.bounds.maxDepth;
     const rand = lcg(options.seed ?? 1);
     const initials = modelInitialStates(model);
-    const transitionRanks = new Map(model.transitions.map((transition) => [transition.id, confidenceRank(transition.confidence)]));
+    const transitionRanks = new Map(model.transitions.map((transition) => [
+        transition.id,
+        confidenceRank(transition.confidence),
+    ]));
     const walks = [];
     for (let index = 0; index < count; index += 1) {
         const start = initials[index % Math.max(initials.length, 1)];
@@ -119,7 +145,10 @@ export function generateConformWalks(model, options = {}) {
         const states = [start];
         let current = start;
         for (let stepIndex = 0; stepIndex < depth; stepIndex += 1) {
-            const successors = modelSuccessors(model, current).sort((a, b) => (transitionRanks.get(a.transitionId) ?? 9) - (transitionRanks.get(b.transitionId) ?? 9) || a.transitionId.localeCompare(b.transitionId) || canonicalJson(a.post).localeCompare(canonicalJson(b.post)));
+            const successors = modelSuccessors(model, current).sort((a, b) => (transitionRanks.get(a.transitionId) ?? 9) -
+                (transitionRanks.get(b.transitionId) ?? 9) ||
+                a.transitionId.localeCompare(b.transitionId) ||
+                canonicalJson(a.post).localeCompare(canonicalJson(b.post)));
             if (successors.length === 0)
                 break;
             const next = successors[Math.floor(rand() * successors.length)];
@@ -137,7 +166,11 @@ async function loadOrGenerateWalks(options) {
     if (!options.modelPath)
         throw new Error("runConformCommand requires walksPath or modelPath");
     const model = parseModelArtifact(await readFile(options.modelPath, "utf8"));
-    return generateConformWalks(model, { count: options.walkCount, depth: options.depth, seed: options.seed });
+    return generateConformWalks(model, {
+        count: options.walkCount,
+        depth: options.depth,
+        seed: options.seed,
+    });
 }
 export function conformWalksArtifact(walks) {
     return { schemaVersion: 1, kind: "conform-walks", walks };
@@ -157,12 +190,16 @@ export function parseConformWalksArtifact(json) {
     return value;
 }
 function validateConformWalk(value, index) {
-    if (!isRecord(value) || typeof value.id !== "string" || !isRecord(value.trace) || !Array.isArray(value.trace.steps)) {
+    if (!isRecord(value) ||
+        typeof value.id !== "string" ||
+        !isRecord(value.trace) ||
+        !Array.isArray(value.trace.steps)) {
         throw new Error(`conform walk ${index + 1} is malformed`);
     }
     if (value.states !== undefined && !Array.isArray(value.states))
         throw new Error(`conform walk ${index + 1} states must be an array`);
-    if (value.observedStates !== undefined && !Array.isArray(value.observedStates))
+    if (value.observedStates !== undefined &&
+        !Array.isArray(value.observedStates))
         throw new Error(`conform walk ${index + 1} observedStates must be an array`);
 }
 function createConformReport(verdicts, now, mode, harnessPath) {
@@ -182,9 +219,9 @@ function createConformReport(verdicts, now, mode, harnessPath) {
             reproduced,
             notReproduced,
             inconclusive,
-            passRate: walks.length === 0 ? 1 : reproduced / walks.length
+            passRate: walks.length === 0 ? 1 : reproduced / walks.length,
         },
-        transitionMetrics: transitionMetrics(verdicts)
+        transitionMetrics: transitionMetrics(verdicts),
     };
 }
 function transitionMetrics(verdicts) {
@@ -192,7 +229,12 @@ function transitionMetrics(verdicts) {
     for (const { trace, verdict } of verdicts) {
         const touched = new Set(trace.steps.map((step) => step.transitionId));
         for (const transitionId of touched) {
-            const entry = metrics.get(transitionId) ?? { walks: 0, reproduced: 0, notReproduced: 0, inconclusive: 0 };
+            const entry = metrics.get(transitionId) ?? {
+                walks: 0,
+                reproduced: 0,
+                notReproduced: 0,
+                inconclusive: 0,
+            };
             entry.walks += 1;
             if (verdict.status === "reproduced")
                 entry.reproduced += 1;
@@ -208,7 +250,7 @@ function transitionMetrics(verdicts) {
         .map(([transitionId, entry]) => ({
         transitionId,
         ...entry,
-        passRate: entry.walks === 0 ? 1 : entry.reproduced / entry.walks
+        passRate: entry.walks === 0 ? 1 : entry.reproduced / entry.walks,
     }));
 }
 function compareObservedState(expected, observed) {
@@ -224,7 +266,7 @@ function renderConformReport(report) {
         `conform: total=${report.metrics.total} reproduced=${report.metrics.reproduced} notReproduced=${report.metrics.notReproduced} inconclusive=${report.metrics.inconclusive}`,
         `mode=${report.mode ?? "abstract"}`,
         ...(report.harnessPath ? [`harness=${report.harnessPath}`] : []),
-        `passRate=${report.metrics.passRate}`
+        `passRate=${report.metrics.passRate}`,
     ];
 }
 function confidenceRank(confidence) {

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/conform/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,4BAA4B,EAC5B,iBAAiB,EACjB,WAAW,EACX,mBAAmB,EACnB,eAAe,GAIhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EACL,aAAa,EACb,kBAAkB,GAOnB,MAAM,kBAAkB,CAAC;AAiC1B,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAA8B;IAE9B,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,IAAI,aAA8C,CAAC;IACnD,IAAI,gBAAgB,GAClB,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,WAAW;QACvC,CAAC,CAAC,yCAAyC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,CAAC;YACH,aAAa,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,gBAAgB,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAChC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACzB,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,gBAAgB;YACvB,CAAC,CAAC;gBACE,MAAM,EAAE,cAAuB;gBAC/B,QAAQ,EAAE,CAAC;gBACX,MAAM,EAAE,gBAAgB;aACzB;YACH,CAAC,CAAC,aAAa;gBACb,CAAC,CAAC,MAAM,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC;gBACnD,CAAC,CAAC,MAAM,kBAAkB,CAAC,IAAI,CAAC;KACrC,CAAC,CAAC,CACJ,CAAC;IACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,EACzB,IAAI,EACJ,OAAO,CAAC,WAAW,CACpB,CAAC;IACF,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO;QACL,MAAM;QACN,QAAQ,EACN,MAAM,CAAC,OAAO,CAAC,aAAa,GAAG,CAAC;YAC9B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,GAAG,CAAC;gBAC/B,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC;QACT,KAAK,EAAE,mBAAmB,CAAC,MAAM,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,IAAyB;IAEzB,OAAO,WAAW,CAChB,IAAI,CAAC,KAAK,EACV,IAAI,mBAAmB,CACrB,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAClE,EACD;QACE,YAAY,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS;KACrE,CACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,KAAY,EACZ,aAAkC;IAElC,IAAI,CAAC;QACH,MAAM,cAAc,EAAE,CAAC;QACvB,MAAM,aAAa,GAAG,MAAM,aAAa,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG;YACd,aAAa,CAAC,qBAAqB;gBACjC,CAAC,CAAC,aAAa,CAAC,qBAAqB,CAAC,aAAa,CAAC;gBACpD,CAAC,CAAC,mBAAmB,EAAE;YACzB,GAAG,CAAC,aAAa,CAAC,OAAO,IAAI,EAAE,CAAC;SACjC,CAAC;QACF,MAAM,KAAK,GAAG,oBAAoB,CAAC;YACjC,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,OAAO,EAAE,aAAa,CAAC,OAAO;YAC9B,eAAe,EAAE,aAAa,CAAC,eAAe;YAC9C,KAAK,EAAE,aAAa,CAAC,KAAK;YAC1B,SAAS,EAAE,aAAa,CAAC,SAAS;SACnC,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,GAAG,CACR,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC5B,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACxB,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;aAC1B,CAAC,CACH;SACF,CAAC,IAAI,EAAE,CAAC;QACT,OAAO,WAAW,CAChB,KAAK,EACL,IAAI,4BAA4B,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,CAC/D,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AASD,KAAK,UAAU,iBAAiB,CAC9B,WAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAC1B,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CACrD,CAAiC,CAAC;IACnC,IAAI,OAAO,MAAM,CAAC,oBAAoB,KAAK,UAAU,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAA6B,CAAC;AACvC,CAAC;AAED,KAAK,UAAU,cAAc;IAC3B,IAAI,UAAU,CAAC,QAAQ;QAAE,OAAO;IAChC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE;QACxB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;QAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW;QACnC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB;QAC7C,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,mBAAmB;QACnD,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,iBAAiB;QAC/C,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO,iBAAiB,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,EAAE;QACnD,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,aAAa,CAChD,uBAAuB,SAAS,CAAC,KAAK,CAAC,IAAI,CAC5C,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,OAAO,cAAc,CAAC;QACpC,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAU,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAY,EACZ,UAA6D,EAAE;IAE/D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;IACrD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QACpC,UAAU,CAAC,EAAE;QACb,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC;KACtC,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAA0B,EAAE,CAAC;IACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK;YAAE,MAAM;QAClB,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAiB,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;YAC1D,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,CACrD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAC5C,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC;gBAC5C,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAC7D,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YACnC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAE,CAAC;YACjE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,KAAK,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,OAA8B;IAE9B,IAAI,OAAO,CAAC,SAAS;QACnB,OAAO,yBAAyB,CAC9B,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAC1C,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IAClB,IAAI,CAAC,OAAO,CAAC,SAAS;QACpB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,OAAO,oBAAoB,CAAC,KAAK,EAAE;QACjC,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAqC;IAErC,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAY;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,2CAA2C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CACzE,CAAC;IACJ,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAChC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE;QAC/C,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO,KAAwC,CAAC;AAClD,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,KAAa;IACxD,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChB,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QACtB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EACjC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,GAAG,CAAC,eAAe,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACvE,IACE,KAAK,CAAC,cAAc,KAAK,SAAS;QAClC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC;QAEpC,MAAM,IAAI,KAAK,CACb,gBAAgB,KAAK,GAAG,CAAC,kCAAkC,CAC5D,CAAC;AACN,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAyE,EACzE,GAAS,EACT,IAA2B,EAC3B,WAA+B;IAE/B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAC7B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,YAAY,CACvC,CAAC,MAAM,CAAC;IACT,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAChC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAC3C,CAAC,MAAM,CAAC;IACT,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CACzC,CAAC,MAAM,CAAC;IACT,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;QAC9B,IAAI;QACJ,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,KAAK;QACL,OAAO,EAAE;YACP,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,UAAU;YACV,aAAa;YACb,YAAY;YACZ,QAAQ,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,MAAM;SAC7D;QACD,iBAAiB,EAAE,iBAAiB,CAAC,QAAQ,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,QAA6D;IAE7D,MAAM,OAAO,GAAG,IAAI,GAAG,EAQpB,CAAC;IACJ,KAAK,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QACtE,KAAK,MAAM,YAAY,IAAI,OAAO,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI;gBACzC,KAAK,EAAE,CAAC;gBACR,UAAU,EAAE,CAAC;gBACb,aAAa,EAAE,CAAC;gBAChB,YAAY,EAAE,CAAC;aAChB,CAAC;YACF,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;YACjB,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY;gBAAE,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;iBACtD,IAAI,OAAO,CAAC,MAAM,KAAK,gBAAgB;gBAAE,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC;;gBAClE,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC;SAChB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,YAAY;QACZ,GAAG,KAAK;QACR,QAAQ,EAAE,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,KAAK;KACjE,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAoB,EACpB,QAAoB;IAEpB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACpE,OAAO,GAAG,GAAG,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnG,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAqB;IAChD,OAAO;QACL,kBAAkB,MAAM,CAAC,OAAO,CAAC,KAAK,eAAe,MAAM,CAAC,OAAO,CAAC,UAAU,kBAAkB,MAAM,CAAC,OAAO,CAAC,aAAa,iBAAiB,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;QAC1K,QAAQ,MAAM,CAAC,IAAI,IAAI,UAAU,EAAE;QACnC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,YAAY,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,UAAsD;IAEtD,IAAI,UAAU,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,UAAU,KAAK,aAAa;QAAE,OAAO,CAAC,CAAC;IAC3C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,GAAG,CAAC,IAAY;IACvB,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC;IACvB,OAAO,GAAG,EAAE;QACV,KAAK,GAAG,CAAC,OAAO,GAAG,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,KAAK,GAAG,WAAW,CAAC;IAC7B,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/conform/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC"}

package/dist/cli/features/conform/index.js.map

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

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

@@ -1,4 +1,4 @@
-import type { Model, Value } from "modality-ts/kernel";
+import type { Model, Value } from "modality-ts/core";
 export interface ExportTlaCommandOptions {
     modelPath: string;
     outPath: string;

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/export/command.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAGV,KAAK,EAEL,KAAK,EACN,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,IAAI,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtC,WAAW,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,MAAM,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjD,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,uBAAuB,GAC/B,OAAO,CAAC,sBAAsB,CAAC,CASjC;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,UAAU,SAA0B,GACnC,MAAM,CAwCR;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,KAAK,EACZ,UAAU,SAA0B,GACnC,kBAAkB,CAoCpB"}