modality-ts 0.0.0

package/dist/modality/features/check/command.js

@@ -0,0 +1,174 @@
+import { copyFile, mkdir, readFile, writeFile } from "node:fs/promises";
+import { dirname, extname, join } from "node:path";
+import { pathToFileURL } from "node:url";
+import { checkModel } from "modality-ts/checker";
+import { canonicalJson, parseModelArtifact, traceArtifact } from "modality-ts/kernel";
+import { generateAbstractReplayTest, generateActionReplayTest, generateReplayHarness } from "../../codegen/replay-test.js";
+import { loadAndApplyOverlay } from "../../overlay.js";
+export async function runCheckCommand(options) {
+    const loadedModel = parseModelArtifact(await readFile(options.modelPath, "utf8"));
+    const overlay = await loadAndApplyOverlay(loadedModel, options.overlayPath);
+    if (overlay.errors.length > 0) {
+        throw new Error(`Overlay merge failed: ${overlay.errors.join("; ")}`);
+    }
+    const model = overlay.model;
+    const properties = await loadProperties(model, options.propsPath);
+    const check = checkModel(model, properties);
+    const report = createCheckReport(model, check, options.now ?? new Date(), overlay.warnings, overlay.ignoredVars);
+    if (options.reportPath) {
+        await mkdir(dirname(options.reportPath), { recursive: true });
+        await writeFile(options.reportPath, `${canonicalJson(report)}\n`, "utf8");
+    }
+    const tracePaths = options.tracesDir ? await writeTraceArtifacts(check, options.tracesDir) : [];
+    const replayTestPaths = options.replayTestsDir ? await writeReplayTestArtifacts(check, options.replayTestsDir) : [];
+    const actionReplayTestPaths = options.actionReplayTestsDir ? await writeActionReplayTestArtifacts(check, options.actionReplayTestsDir) : [];
+    return {
+        check,
+        report,
+        exitCode: check.verdicts.some((verdict) => verdict.status === "violated" || verdict.status === "error") ? 2 : 0,
+        lines: [...renderCheckResult(check), ...tracePaths.map((path) => `trace=${path}`), ...replayTestPaths.map((path) => `replayTest=${path}`), ...actionReplayTestPaths.map((path) => `actionReplayTest=${path}`)]
+    };
+}
+export function createCheckReport(model, check, now, overlayWarnings = [], ignoredVars = []) {
+    return {
+        schemaVersion: 1,
+        kind: "check-report",
+        modelId: model.id,
+        generatedAt: now.toISOString(),
+        verdicts: check.verdicts.map(reportVerdict),
+        stats: check.stats,
+        vacuityWarnings: [...check.vacuityWarnings, ...overlayWarnings].sort(),
+        trustLedger: {
+            bounds: model.bounds,
+            plugins: model.metadata?.plugins ?? [],
+            assumptions: sourceHashAssumptions(model),
+            abstractions: model.vars
+                .filter((decl) => decl.domain.kind === "tokens" || decl.domain.kind === "lengthCat")
+                .map((decl) => `${decl.id}:${decl.domain.kind}`),
+            globalTaints: model.metadata?.extractionCaveats?.globalTaints ?? [],
+            staleReads: model.metadata?.extractionCaveats?.staleReads ?? [],
+            unhandledRejections: model.metadata?.extractionCaveats?.unhandledRejections ?? [],
+            unextractableHandlers: model.metadata?.extractionCaveats?.unextractableHandlers ?? [],
+            domains: model.vars.map((decl) => domainReportEntry(model, decl)).sort((left, right) => left.varId.localeCompare(right.varId)),
+            manualTransitions: model.transitions.filter((transition) => transition.confidence === "manual").map((transition) => transition.id),
+            overApproxTransitions: model.transitions.filter((transition) => transition.confidence === "over-approx").map((transition) => transition.id),
+            boundHits: check.boundHits,
+            ignoredVars
+        }
+    };
+}
+function domainReportEntry(model, decl) {
+    return {
+        varId: decl.id,
+        domainKind: decl.domain.kind,
+        provenance: model.metadata?.domainProvenance?.[decl.id] ?? (decl.origin === "system" ? "system" : decl.origin === "library-template" ? "template" : decl.domain.kind === "tokens" ? "default-token" : "type-derived")
+    };
+}
+function sourceHashAssumptions(model) {
+    return Object.entries(model.metadata?.sourceHashes ?? {})
+        .sort(([left], [right]) => left.localeCompare(right))
+        .map(([file, hash]) => `sourceHash:${file}=${hash}`);
+}
+export function renderCheckResult(check) {
+    const lines = [];
+    for (const verdict of check.verdicts) {
+        lines.push(`${verdict.property}: ${verdict.status}`);
+        if (verdict.status === "violated" || verdict.status === "reachable") {
+            lines.push(`  trace steps: ${verdict.trace.steps.map((step) => step.transitionId).join(" -> ") || "(initial)"}`);
+        }
+        if (verdict.status === "error" || verdict.status === "vacuous-warning") {
+            lines.push(`  ${verdict.message}`);
+        }
+    }
+    lines.push(`states=${check.stats.states} edges=${check.stats.edges} depth=${check.stats.depth}`);
+    return lines;
+}
+async function loadProperties(model, propsPath) {
+    if (!propsPath)
+        return [];
+    const modulePath = await importableCopy(propsPath);
+    const module = (await import(/* @vite-ignore */ pathToFileURL(modulePath).href));
+    if (typeof module.propertiesFor === "function")
+        return module.propertiesFor(model);
+    if (typeof module.properties === "function")
+        return module.properties(model);
+    return module.properties ?? [];
+}
+async function importableCopy(path) {
+    if (!process.env.VITEST)
+        return path;
+    const extension = extname(path) || ".mjs";
+    const cacheDir = join(process.cwd(), ".modality", "import-cache");
+    await mkdir(cacheDir, { recursive: true });
+    const copyPath = join(cacheDir, `${Buffer.from(path).toString("hex")}.${process.pid}.${Date.now()}${extension}`);
+    await copyFile(path, copyPath);
+    return copyPath;
+}
+function reportVerdict(verdict) {
+    if (verdict.status === "violated" || verdict.status === "reachable") {
+        return {
+            property: verdict.property,
+            status: verdict.status,
+            trace: verdict.trace,
+            ...(verdict.replayable === false ? { replayable: false, replayBlockedReason: verdict.replayBlockedReason } : {})
+        };
+    }
+    if (verdict.status === "error" || verdict.status === "vacuous-warning") {
+        return { property: verdict.property, status: verdict.status, message: verdict.message };
+    }
+    return { property: verdict.property, status: verdict.status };
+}
+async function writeTraceArtifacts(check, tracesDir) {
+    await mkdir(tracesDir, { recursive: true });
+    const paths = [];
+    for (const verdict of check.verdicts) {
+        if (verdict.status !== "violated" && verdict.status !== "reachable")
+            continue;
+        const path = join(tracesDir, `${safeFileName(verdict.property)}.${verdict.status}.trace.json`);
+        await writeFile(path, `${canonicalJson(traceArtifact(verdict.trace))}\n`, "utf8");
+        paths.push(path);
+    }
+    return paths;
+}
+function safeFileName(value) {
+    return value.replace(/[^a-zA-Z0-9._-]+/g, "_");
+}
+async function writeReplayTestArtifacts(check, replayTestsDir) {
+    await mkdir(replayTestsDir, { recursive: true });
+    const paths = [];
+    for (const verdict of check.verdicts) {
+        if (verdict.status !== "violated")
+            continue;
+        if (verdict.replayable === false)
+            continue;
+        const artifact = generateAbstractReplayTest(verdict.property, verdict.trace);
+        const path = join(replayTestsDir, artifact.fileName);
+        await writeFile(path, artifact.source, "utf8");
+        paths.push(path);
+    }
+    return paths;
+}
+async function writeActionReplayTestArtifacts(check, replayTestsDir) {
+    await mkdir(replayTestsDir, { recursive: true });
+    const paths = [];
+    let wroteHarness = false;
+    for (const verdict of check.verdicts) {
+        if (verdict.status !== "violated")
+            continue;
+        if (verdict.replayable === false)
+            continue;
+        if (!wroteHarness) {
+            const harness = generateReplayHarness();
+            const harnessPath = join(replayTestsDir, harness.fileName);
+            await writeFile(harnessPath, harness.source, "utf8");
+            paths.push(harnessPath);
+            wroteHarness = true;
+        }
+        const artifact = generateActionReplayTest(verdict.property, verdict.trace);
+        const path = join(replayTestsDir, artifact.fileName);
+        await writeFile(path, artifact.source, "utf8");
+        paths.push(path);
+    }
+    return paths;
+}
+//# sourceMappingURL=command.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/modality/features/check/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,UAAU,EAA0C,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,aAAa,EAA0F,MAAM,oBAAoB,CAAC;AAC9K,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAC3H,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAqBvD,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAA4B;IAChE,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACjH,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,MAAM,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpH,MAAM,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5I,OAAO;QACL,KAAK;QACL,MAAM;QACN,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/G,KAAK,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;KAC/M,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAY,EAAE,KAAkB,EAAE,GAAS,EAAE,kBAAqC,EAAE,EAAE,cAAiC,EAAE;IACzJ,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC;QAC3C,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,EAAE,GAAG,eAAe,CAAC,CAAC,IAAI,EAAE;QACtE,WAAW,EAAE;YACX,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YACtC,WAAW,EAAE,qBAAqB,CAAC,KAAK,CAAC;YACzC,YAAY,EAAE,KAAK,CAAC,IAAI;iBACrB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;iBACnF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAClD,YAAY,EAAE,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,YAAY,IAAI,EAAE;YACnE,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,UAAU,IAAI,EAAE;YAC/D,mBAAmB,EAAE,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,mBAAmB,IAAI,EAAE;YACjF,qBAAqB,EAAE,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,qBAAqB,IAAI,EAAE;YACrF,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9H,iBAAiB,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YAClI,qBAAqB,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3I,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,WAAW;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAY,EAAE,IAAkB;IACzD,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,EAAE;QACd,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;QAC5B,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC;KACtN,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAY;IACzC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;SACtD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,cAAc,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC;QACnH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,KAAY,EAAE,SAA6B;IACvE,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,SAAS,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,kBAAkB,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAG9E,CAAC;IACF,IAAI,OAAO,MAAM,CAAC,aAAa,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;AACjC,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,IAAY;IACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;IAClE,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjH,MAAM,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/B,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CAAC,OAAwB;IAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACpE,OAAO;YACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,mBAAmB,EAAE,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjH,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACvE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IAC1F,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AAChE,CAAC;AAED,KAAK,UAAU,mBAAmB,CAAC,KAAkB,EAAE,SAAiB;IACtE,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;YAAE,SAAS;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,MAAM,aAAa,CAAC,CAAC;QAC/F,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,aAAa,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,wBAAwB,CAAC,KAAkB,EAAE,cAAsB;IAChF,MAAM,KAAK,CAAC,cAAc,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAC5C,IAAI,OAAO,CAAC,UAAU,KAAK,KAAK;YAAE,SAAS;QAC3C,MAAM,QAAQ,GAAG,0BAA0B,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,8BAA8B,CAAC,KAAkB,EAAE,cAAsB;IACtF,MAAM,KAAK,CAAC,cAAc,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAC5C,IAAI,OAAO,CAAC,UAAU,KAAK,KAAK;YAAE,SAAS;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxB,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;QACD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,23 @@
+export interface CiCommandOptions {
+    modelPath: string;
+    propsPath?: string;
+    artifactDir: string;
+    overlayPath?: string;
+    baselinePath?: string;
+    sourcePath?: string;
+    conformWalksPath?: string;
+    conformCount?: number;
+    conformDepth?: number;
+    conformSeed?: number;
+    minConformPassRate?: number;
+    minTransitionConformPassRate?: number;
+    now?: Date;
+}
+export interface CiCommandResult {
+    exitCode: number;
+    lines: string[];
+    reportPath: string;
+    tracesDir: string;
+}
+export declare function runCiCommand(options: CiCommandOptions): Promise<CiCommandResult>;
+//# sourceMappingURL=command.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/modality/features/ci/command.ts"],"names":[],"mappings":"AAQA,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,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,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC,CAgDtF"}

package/dist/modality/features/ci/command.js

@@ -0,0 +1,176 @@
+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 { runCheckCommand } from "../../check.js";
+import { runConformCommand } from "../../conform.js";
+export async function runCiCommand(options) {
+    await mkdir(options.artifactDir, { recursive: true });
+    const reportPath = join(options.artifactDir, "report.json");
+    const tracesDir = join(options.artifactDir, "traces");
+    const now = options.now ?? new Date();
+    const check = await runCheckCommand({
+        modelPath: options.modelPath,
+        propsPath: options.propsPath,
+        overlayPath: options.overlayPath,
+        reportPath,
+        tracesDir,
+        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 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 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;
+    return {
+        exitCode,
+        reportPath,
+        tracesDir,
+        lines: [
+            `ci: ${exitCode === 0 ? "passed" : "failed"}`,
+            `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
+            ] : []),
+            `report=${reportPath}`,
+            `traces=${tracesDir}`
+        ]
+    };
+}
+function transitionConformFailuresBelow(transitionMetrics, minimum) {
+    return transitionMetrics
+        .filter((metric) => metric.passRate < minimum)
+        .sort((left, right) => left.transitionId.localeCompare(right.transitionId))
+        .map((metric) => `${metric.transitionId} passRate=${metric.passRate} walks=${metric.walks}`);
+}
+async function checkSourceFreshness(modelPath, sourcePath) {
+    const model = parseModelArtifact(await readFile(modelPath, "utf8"));
+    const expected = model.metadata?.sourceHashes?.[sourcePath];
+    if (!expected)
+        return [`missing source hash for ${sourcePath}`];
+    const actual = sha256(await readFile(sourcePath, "utf8"));
+    return actual === expected ? [] : [`${sourcePath} expected=${expected} actual=${actual}`];
+}
+function sha256(value) {
+    return createHash("sha256").update(value).digest("hex");
+}
+async function runOptionalConformance(options, now) {
+    if (!options.conformWalksPath && options.conformCount === undefined)
+        return undefined;
+    return runConformCommand({
+        walksPath: options.conformWalksPath,
+        modelPath: options.conformWalksPath ? undefined : options.modelPath,
+        walkCount: options.conformCount,
+        depth: options.conformDepth,
+        seed: options.conformSeed,
+        now
+    });
+}
+async function checkDeterminism(options, now, reportPath, tracesDir) {
+    const dir = await mkdtemp(join(tmpdir(), "modality-ci-determinism-"));
+    try {
+        const secondReportPath = join(dir, "report.json");
+        const secondTracesDir = join(dir, "traces");
+        await runCheckCommand({
+            modelPath: options.modelPath,
+            propsPath: options.propsPath,
+            overlayPath: options.overlayPath,
+            reportPath: secondReportPath,
+            tracesDir: secondTracesDir,
+            now
+        });
+        return [
+            ...(await sameFile(reportPath, secondReportPath) ? [] : ["report.json differed between runs"]),
+            ...(await compareTraceDirs(tracesDir, secondTracesDir))
+        ];
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+async function sameFile(leftPath, rightPath) {
+    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 failures = [];
+    if (leftNames.join("\0") !== rightNames.join("\0")) {
+        failures.push(`trace set differed: ${leftNames.join(",")} != ${rightNames.join(",")}`);
+        return failures;
+    }
+    for (const name of leftNames) {
+        if (!(await sameFile(join(leftDir, name), join(rightDir, name)))) {
+            failures.push(`trace differed: ${name}`);
+        }
+    }
+    return failures;
+}
+async function sortedDirEntries(dir) {
+    try {
+        return (await readdir(dir)).sort();
+    }
+    catch (error) {
+        if (error.code === "ENOENT")
+            return [];
+        throw error;
+    }
+}
+async function compareTrustLedger(baselinePath, current) {
+    const baseline = parseCheckReportArtifact(await readFile(baselinePath, "utf8"));
+    return [
+        ...increases("plugins", pluginKeys(baseline.trustLedger.plugins ?? []), pluginKeys(current.trustLedger.plugins ?? [])),
+        ...increases("domains", domainKeys(baseline.trustLedger.domains ?? []), domainKeys(current.trustLedger.domains ?? [])),
+        ...increases("manualTransitions", baseline.trustLedger.manualTransitions, current.trustLedger.manualTransitions),
+        ...increases("overApproxTransitions", baseline.trustLedger.overApproxTransitions, current.trustLedger.overApproxTransitions),
+        ...increases("ignoredVars", baseline.trustLedger.ignoredVars ?? [], current.trustLedger.ignoredVars ?? []),
+        ...increases("globalTaints", caveatKeys(baseline.trustLedger.globalTaints), caveatKeys(current.trustLedger.globalTaints)),
+        ...increases("staleReads", caveatKeys(baseline.trustLedger.staleReads), caveatKeys(current.trustLedger.staleReads)),
+        ...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)
+    ];
+}
+function caveatKeys(caveats) {
+    return caveats
+        .map((caveat) => `${caveat.id}:${caveat.reason}${caveat.source ? `:${caveat.source}` : ""}`)
+        .sort();
+}
+function domainKeys(domains) {
+    return domains
+        .map((domain) => `${domain.varId}:${domain.domainKind}:${domain.provenance}`)
+        .sort();
+}
+function pluginKeys(plugins) {
+    return plugins
+        .map((plugin) => `${plugin.kind}:${plugin.id}@${plugin.version}[${plugin.packageNames.join(",")}]`)
+        .sort();
+}
+function increases(label, baselineValues, currentValues) {
+    const baseline = new Set(baselineValues);
+    const added = currentValues.filter((value) => !baseline.has(value)).sort();
+    const countIncreased = currentValues.length > baselineValues.length;
+    if (added.length === 0 && !countIncreased)
+        return [];
+    const detail = added.length > 0 ? ` new=${added.join(",")}` : "";
+    return [`${label} ${baselineValues.length}->${currentValues.length}${detail}`];
+}
+//# sourceMappingURL=command.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/modality/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,EAAE,wBAAwB,EAAE,kBAAkB,EAAoB,MAAM,oBAAoB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAyBrD,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAyB;IAC1D,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,CAAC,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAChF,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACtG,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC/F,MAAM,gBAAgB,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClH,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChH,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,GAAG,eAAe,KAAK,SAAS,IAAI,eAAe,GAAG,kBAAkB,CAAC;IAC5F,MAAM,4BAA4B,GAAG,OAAO,CAAC,4BAA4B,IAAI,kBAAkB,CAAC;IAChG,MAAM,yBAAyB,GAAG,OAAO,CAAC,CAAC,CAAC,8BAA8B,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAAE,4BAA4B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChJ,MAAM,uBAAuB,GAAG,yBAAyB,CAAC,MAAM,GAAG,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,cAAc,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzM,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,CAAC,CAAC,CAAC,CAAC,qBAAqB,gBAAgB,CAAC,MAAM,EAAE,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7J,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,oBAAoB,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;gBACZ,qBAAqB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;gBACtD,yBAAyB,kBAAkB,EAAE;gBAC7C,oCAAoC,4BAA4B,EAAE;gBAClE,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,+BAA+B,OAAO,EAAE,CAAC;gBACvF,GAAG,OAAO,CAAC,KAAK;aACjB,CAAC,CAAC,CAAC,EAAE,CAAC;YACP,UAAU,UAAU,EAAE;YACtB,UAAU,SAAS,EAAE;SACtB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,iBAAuF,EACvF,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,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,aAAa,MAAM,CAAC,QAAQ,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;AACjG,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,SAAiB,EAAE,UAAkB;IACvE,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,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,aAAa,QAAQ,WAAW,MAAM,EAAE,CAAC,CAAC;AAC5F,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;QAAE,OAAO,SAAS,CAAC;IACtF,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,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,OAAyB,EAAE,GAAS,EAAE,UAAkB,EAAE,SAAiB;IACzG,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,MAAM,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC;YAC9F,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,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACnG,OAAO,IAAI,KAAK,KAAK,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,OAAe,EAAE,QAAgB;IAC/D,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3G,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,CAAC,uBAAuB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvF,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,CAAC,YAAoB,EAAE,OAAoB;IAC1E,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;IAChF,OAAO;QACL,GAAG,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACtH,GAAG,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACtH,GAAG,SAAS,CAAC,mBAAmB,EAAE,QAAQ,CAAC,WAAW,CAAC,iBAAiB,EAAE,OAAO,CAAC,WAAW,CAAC,iBAAiB,CAAC;QAChH,GAAG,SAAS,CAAC,uBAAuB,EAAE,QAAQ,CAAC,WAAW,CAAC,qBAAqB,EAAE,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAAC;QAC5H,GAAG,SAAS,CAAC,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,CAAC;QAC1G,GAAG,SAAS,CAAC,cAAc,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QACzH,GAAG,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACnH,GAAG,SAAS,CAAC,qBAAqB,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,mBAAmB,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC;QAC9I,GAAG,SAAS,CAAC,uBAAuB,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,qBAAqB,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAAC,CAAC;QACpJ,GAAG,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC;QACxF,GAAG,SAAS,CAAC,iBAAiB,EAAE,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,eAAe,CAAC;KACnF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,OAAmD;IACrE,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,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,CAAC;SAC3F,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,OAA2D;IAC7E,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;SAC5E,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,OAA2D;IAC7E,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;SAClG,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,cAAiC,EAAE,aAAgC;IACnG,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,CAAC,GAAG,KAAK,IAAI,cAAc,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,CAAC;AACjF,CAAC"}

package/dist/modality/features/ci/index.d.ts

@@ -0,0 +1,3 @@
+export { runCiCommand } from "./command.js";
+export type { CiCommandOptions, CiCommandResult } from "./command.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/modality/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/modality/features/ci/index.js

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

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

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

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

@@ -0,0 +1,35 @@
+import { type ConformReport, type Model, type ModelState, type Trace } from "modality-ts/kernel";
+export interface ConformWalkArtifact {
+    id: string;
+    trace: Trace;
+    states?: ModelState[];
+    observedStates?: ModelState[];
+}
+export interface ConformWalksArtifact {
+    schemaVersion: 1;
+    kind: "conform-walks";
+    walks: readonly ConformWalkArtifact[];
+}
+export interface ConformCommandOptions {
+    walksPath?: string;
+    modelPath?: string;
+    reportPath?: string;
+    walkCount?: number;
+    depth?: number;
+    seed?: number;
+    now?: Date;
+}
+export interface ConformCommandResult {
+    report: ConformReport;
+    exitCode: number;
+    lines: string[];
+}
+export declare function runConformCommand(options: ConformCommandOptions): Promise<ConformCommandResult>;
+export declare function generateConformWalks(model: Model, options?: {
+    count?: number;
+    depth?: number;
+    seed?: number;
+}): ConformWalkArtifact[];
+export declare function conformWalksArtifact(walks: readonly ConformWalkArtifact[]): ConformWalksArtifact;
+export declare function parseConformWalksArtifact(json: string): ConformWalksArtifact;
+//# sourceMappingURL=command.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/modality/features/conform/command.ts"],"names":[],"mappings":"AAIA,OAAO,EAAqC,KAAK,aAAa,EAAE,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAkB,MAAM,oBAAoB,CAAC;AAEpJ,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,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,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAqBrG;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,mBAAmB,EAAE,CA0BzI;AASD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,GAAG,oBAAoB,CAEhG;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAQ5E"}