modality-ts 0.0.8 → 0.0.9

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

@@ -1,19 +1,22 @@
-import { jotaiSource } from "modality-ts/source-jotai";
-import { routerSource } from "modality-ts/source-router";
-import { swrSource } from "modality-ts/source-swr";
-import { useStateSource } from "modality-ts/source-use-state";
+import { jotaiSource } from "modality-ts/extract/sources/jotai";
+import { routerSource } from "modality-ts/extract/sources/router";
+import { swrSource } from "modality-ts/extract/sources/swr";
+import { useStateSource } from "modality-ts/extract/sources/use-state";
 export function createBuiltinModalityRegistry(options = {}) {
     const dependencies = options.dependencies;
     const disabled = new Set(options.disabledPlugins ?? []);
     const builtins = [useStateSource(), jotaiSource(), swrSource()];
     const sourcePlugins = [
         ...builtins.filter((plugin) => !disabled.has(plugin.id) && shouldEnableBuiltin(plugin, dependencies)),
-        ...(options.extraSourcePlugins ?? [])
+        ...(options.extraSourcePlugins ?? []),
     ];
     const defaultRouter = routerSource();
     const routerPlugin = options.routerPlugin === false || disabled.has(defaultRouter.id)
         ? undefined
-        : options.routerPlugin ?? (shouldEnableBuiltin(defaultRouter, dependencies) ? defaultRouter : undefined);
+        : (options.routerPlugin ??
+            (shouldEnableBuiltin(defaultRouter, dependencies)
+                ? defaultRouter
+                : undefined));
     return createModalityRegistry({ sourcePlugins, routerPlugin });
 }
 export function createModalityRegistry(options = { sourcePlugins: [] }) {
@@ -31,16 +34,22 @@ export function createModalityRegistry(options = { sourcePlugins: [] }) {
                 id: plugin.id,
                 version: plugin.version ?? "unknown",
                 kind: "state-source",
-                packageNames: [...plugin.packageNames].sort()
+                packageNames: [...plugin.packageNames].sort(),
             })),
-            ...(options.routerPlugin ? [{
-                    id: options.routerPlugin.id,
-                    version: options.routerPlugin.version ?? "unknown",
-                    kind: "router",
-                    packageNames: [...options.routerPlugin.packageNames].sort()
-                }] : [])
+            ...(options.routerPlugin
+                ? [
+                    {
+                        id: options.routerPlugin.id,
+                        version: options.routerPlugin.version ?? "unknown",
+                        kind: "router",
+                        packageNames: [...options.routerPlugin.packageNames].sort(),
+                    },
+                ]
+                : []),
         ].sort((left, right) => left.kind.localeCompare(right.kind) || left.id.localeCompare(right.id)),
-        ...(options.routerPlugin ? { routerPluginId: options.routerPlugin.id } : {})
+        ...(options.routerPlugin
+            ? { routerPluginId: options.routerPlugin.id }
+            : {}),
     };
 }
 function shouldEnableBuiltin(plugin, dependencies) {
@@ -54,7 +63,9 @@ function validateStateSourcePlugin(plugin) {
         throw new Error(`Invalid source plugin ${plugin.id}: discover must be a function`);
     if (typeof plugin.writeChannels !== "function")
         throw new Error(`Invalid source plugin ${plugin.id}: writeChannels must be a function`);
-    if (!plugin.harness || typeof plugin.harness.setup !== "function" || typeof plugin.harness.observe !== "function") {
+    if (!plugin.harness ||
+        typeof plugin.harness.setup !== "function" ||
+        typeof plugin.harness.observe !== "function") {
         throw new Error(`Invalid source plugin ${plugin.id}: harness.setup and harness.observe are required`);
     }
 }
@@ -64,14 +75,18 @@ function validateRouterPlugin(plugin) {
         throw new Error(`Invalid router plugin ${plugin.id}: routeVars must be a function`);
     if (typeof plugin.navigationCall !== "function")
         throw new Error(`Invalid router plugin ${plugin.id}: navigationCall must be a function`);
-    if (!plugin.harness || typeof plugin.harness.setup !== "function" || typeof plugin.harness.observe !== "function" || typeof plugin.harness.navigate !== "function") {
+    if (!plugin.harness ||
+        typeof plugin.harness.setup !== "function" ||
+        typeof plugin.harness.observe !== "function" ||
+        typeof plugin.harness.navigate !== "function") {
         throw new Error(`Invalid router plugin ${plugin.id}: harness.setup, harness.observe, and harness.navigate are required`);
     }
 }
 function validateCommonPluginShape(plugin, kind) {
     if (typeof plugin.id !== "string" || plugin.id.length === 0)
         throw new Error(`Invalid ${kind}: id must be a non-empty string`);
-    if (!Array.isArray(plugin.packageNames) || !plugin.packageNames.every((name) => typeof name === "string" && name.length > 0)) {
+    if (!Array.isArray(plugin.packageNames) ||
+        !plugin.packageNames.every((name) => typeof name === "string" && name.length > 0)) {
         throw new Error(`Invalid ${kind} ${plugin.id}: packageNames must be non-empty strings`);
     }
     if (plugin.version !== undefined && typeof plugin.version !== "string")

package/dist/cli/registry/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/registry/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAsBvE,MAAM,UAAU,6BAA6B,CAC3C,UAAkC,EAAE;IAEpC,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,CAAC,cAAc,EAAE,EAAE,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAChE,MAAM,aAAa,GAAG;QACpB,GAAG,QAAQ,CAAC,MAAM,CAChB,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,mBAAmB,CAAC,MAAM,EAAE,YAAY,CAAC,CACxE;QACD,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;KACtC,CAAC;IACF,MAAM,aAAa,GAAG,YAAY,EAAE,CAAC;IACrC,MAAM,YAAY,GAChB,OAAO,CAAC,YAAY,KAAK,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QAC9D,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY;YACrB,CAAC,mBAAmB,CAAC,aAAa,EAAE,YAAY,CAAC;gBAC/C,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACtB,OAAO,sBAAsB,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,UAAkC,EAAE,aAAa,EAAE,EAAE,EAAE;IAEvD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,aAAa;QAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,YAAY;QAAE,oBAAoB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACrE,MAAM,eAAe,GAAG,YAAY,CAClC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAChD,eAAe,CAChB,CAAC;IACF,OAAO;QACL,eAAe;QACf,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,EAAE;YACP,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACxC,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,SAAS;gBACpC,IAAI,EAAE,cAAuB;gBAC7B,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE;aAC9C,CAAC,CAAC;YACH,GAAG,CAAC,OAAO,CAAC,YAAY;gBACtB,CAAC,CAAC;oBACE;wBACE,EAAE,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE;wBAC3B,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,OAAO,IAAI,SAAS;wBAClD,IAAI,EAAE,QAAiB;wBACvB,YAAY,EAAE,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE;qBAC5D;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,IAAI,CACJ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CACzE;QACD,GAAG,CAAC,OAAO,CAAC,YAAY;YACtB,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAA2C,EAC3C,YAA0D;IAE1D,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,MAAM,CAAC,YAAY,CAAC,IAAI,CAC7B,CAAC,WAAW,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,SAAS,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAyB;IAC1D,yBAAyB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,UAAU;QACvC,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,EAAE,+BAA+B,CAClE,CAAC;IACJ,IAAI,OAAO,MAAM,CAAC,aAAa,KAAK,UAAU;QAC5C,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,EAAE,oCAAoC,CACvE,CAAC;IACJ,IACE,CAAC,MAAM,CAAC,OAAO;QACf,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,KAAK,UAAU;QAC1C,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,EAC5C,CAAC;QACD,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,EAAE,kDAAkD,CACrF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAoB;IAChD,yBAAyB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,UAAU;QACxC,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,EAAE,gCAAgC,CACnE,CAAC;IACJ,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU;QAC7C,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,EAAE,qCAAqC,CACxE,CAAC;IACJ,IACE,CAAC,MAAM,CAAC,OAAO;QACf,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,KAAK,UAAU;QAC1C,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU;QAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,UAAU,EAC7C,CAAC;QACD,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,EAAE,qEAAqE,CACxG,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,MAAmE,EACnE,IAAY;IAEZ,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,iCAAiC,CAAC,CAAC;IACpE,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC;QACnC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CACxB,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CACtD,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,WAAW,IAAI,IAAI,MAAM,CAAC,EAAE,0CAA0C,CACvE,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QACpE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,IAAI,MAAM,CAAC,EAAE,4BAA4B,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,MAAyB,EAAE,IAAY;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC"}

package/dist/cli/replay.d.ts

@@ -0,0 +1,3 @@
+export { runReplayCommand } from "./features/replay/index.js";
+export type { ReplayCommandOptions, ReplayCommandResult, } from "./features/replay/index.js";
+//# sourceMappingURL=replay.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/cli/replay.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,YAAY,EACV,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC"}

package/dist/cli/replay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.js","sourceRoot":"","sources":["../../src/cli/replay.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/{runtime → cli/runtime}/index.d.ts

@@ -1,4 +1,4 @@
-import type { ModelState, Property, Value } from "modality-ts/kernel/props";
+import type { ModelState, Property, Value } from "modality-ts/core/props";
 export interface Observable<TContext = unknown> {
     var: string;
     read(context: TContext): Value;

package/dist/cli/runtime/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAE1E,MAAM,WAAW,UAAU,CAAC,QAAQ,GAAG,OAAO;IAC5C,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,OAAO,EAAE,QAAQ,GAAG,KAAK,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,KAAK,GAAG,SAAS,CAAC;IAC5B,MAAM,EAAE,KAAK,GAAG,SAAS,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,kBAAkB,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,EAAE,UAAU,CAAC;IAClB,UAAU,EAAE,4BAA4B,EAAE,CAAC;IAC3C,OAAO,EAAE,uBAAuB,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,sBAAsB,CAAC,QAAQ;IAC9C,WAAW,IAAI,QAAQ,CAAC;IACxB,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;CAC7C;AAED,MAAM,WAAW,sBAAsB,CAAC,QAAQ,GAAG,OAAO;IACxD,MAAM,EAAE,yBAAyB,CAAC;IAClC,OAAO,EAAE,QAAQ,CAAC;CACnB;AAED,MAAM,WAAW,wBAAwB,CAAC,QAAQ,GAAG,OAAO;IAC1D,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,sBAAsB,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAC7D,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,sBAAsB,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAChE,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,2BAA2B;IAC1C,KAAK,IAAI,yBAAyB,CAAC;IACnC,KAAK,IAAI,MAAM,IAAI,CAAC;CACrB;AAED,wBAAgB,UAAU,CAAC,QAAQ,EACjC,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,KAAK,KAAK,GACjC,UAAU,CAAC,QAAQ,CAAC,CAEtB;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAC5C,QAAQ,EAAE,UAAU,EACpB,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,OAAO,EAAE,QAAQ,GAChB,mBAAmB,CAYrB;AAED,wBAAgB,4BAA4B,CAAC,QAAQ,EACnD,QAAQ,EAAE,UAAU,EACpB,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,OAAO,EAAE,QAAQ,GAChB,IAAI,CAON;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAC1C,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,OAAO,EAAE,QAAQ,GAChB,UAAU,CAIZ;AAmBD,wBAAgB,4BAA4B,CAAC,QAAQ,EACnD,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,OAAO,EAAE,QAAQ,GAChB,yBAAyB,CAkD3B;AAeD,wBAAgB,iCAAiC,CAAC,QAAQ,EACxD,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,OAAO,EAAE,QAAQ,GAChB,IAAI,CAON;AAED,wBAAgB,wBAAwB,CAAC,QAAQ,EAC/C,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,KAAK,EAAE,sBAAsB,CAAC,QAAQ,CAAC,EACvC,OAAO,GAAE,wBAAwB,CAAC,QAAQ,CAAM,GAC/C,2BAA2B,CA6B7B"}

package/dist/{runtime → cli/runtime}/index.js

@@ -3,7 +3,11 @@ export function observable(varId, read) {
 }
 export function assertObservableState(expected, observables, context) {
     const mismatches = observables
-        .map((probe) => ({ var: probe.var, expected: expected[probe.var], actual: probe.read(context) }))
+        .map((probe) => ({
+        var: probe.var,
+        expected: expected[probe.var],
+        actual: probe.read(context),
+    }))
         .filter((mismatch) => stableJson(mismatch.expected) !== stableJson(mismatch.actual));
     return { ok: mismatches.length === 0, mismatches };
 }
@@ -20,7 +24,10 @@ function stableJson(value) {
     if (Array.isArray(value))
         return `[${value.map(stableJson).join(",")}]`;
     if (value && typeof value === "object") {
-        return `{${Object.entries(value).sort(([left], [right]) => left.localeCompare(right)).map(([key, child]) => `${JSON.stringify(key)}:${stableJson(child)}`).join(",")}}`;
+        return `{${Object.entries(value)
+            .sort(([left], [right]) => left.localeCompare(right))
+            .map(([key, child]) => `${JSON.stringify(key)}:${stableJson(child)}`)
+            .join(",")}}`;
     }
     return JSON.stringify(value);
 }
@@ -38,28 +45,48 @@ export function evaluateObservableInvariants(properties, observables, context) {
     const skipped = [];
     for (const property of properties) {
         if (property.kind !== "always") {
-            skipped.push({ property: property.name, reason: `unsupported property kind: ${property.kind}` });
+            skipped.push({
+                property: property.name,
+                reason: `unsupported property kind: ${property.kind}`,
+            });
             continue;
         }
         const missingReads = (property.reads ?? []).filter((read) => !observableIds.has(read));
         if (missingReads.length > 0) {
-            skipped.push({ property: property.name, reason: `unobservable reads: ${missingReads.join(",")}` });
+            skipped.push({
+                property: property.name,
+                reason: `unobservable reads: ${missingReads.join(",")}`,
+            });
             continue;
         }
         try {
             if (!property.predicate(runtimeCheckedState(state, observableIds))) {
-                violations.push({ property: property.name, message: "observable invariant failed" });
+                violations.push({
+                    property: property.name,
+                    message: "observable invariant failed",
+                });
             }
         }
         catch (error) {
             if (error instanceof UnobservableReadError) {
-                skipped.push({ property: property.name, reason: `unobservable reads: ${error.varId}` });
+                skipped.push({
+                    property: property.name,
+                    reason: `unobservable reads: ${error.varId}`,
+                });
                 continue;
             }
-            violations.push({ property: property.name, message: error instanceof Error ? error.message : String(error) });
+            violations.push({
+                property: property.name,
+                message: error instanceof Error ? error.message : String(error),
+            });
         }
     }
-    return { ok: violations.length === 0 && skipped.length === 0, state, violations, skipped };
+    return {
+        ok: violations.length === 0 && skipped.length === 0,
+        state,
+        violations,
+        skipped,
+    };
 }
 function runtimeCheckedState(state, observableIds) {
     return new Proxy(state, {
@@ -67,7 +94,7 @@ function runtimeCheckedState(state, observableIds) {
             if (typeof key === "string" && !observableIds.has(key))
                 throw new UnobservableReadError(key);
             return Reflect.get(target, key, receiver);
-        }
+        },
     });
 }
 export function assertObservableInvariantsOrThrow(properties, observables, context) {
@@ -97,7 +124,7 @@ export function createModalityAssertions(properties, observables, store, options
             return store.subscribe(() => {
                 check();
             });
-        }
+        },
     };
 }
 //# sourceMappingURL=index.js.map

package/dist/cli/runtime/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/runtime/index.ts"],"names":[],"mappings":"AAwDA,MAAM,UAAU,UAAU,CACxB,KAAa,EACb,IAAkC;IAElC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAAoB,EACpB,WAA4C,EAC5C,OAAiB;IAEjB,MAAM,UAAU,GAAG,WAAW;SAC3B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC;QAC7B,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;KAC5B,CAAC,CAAC;SACF,MAAM,CACL,CAAC,QAAQ,EAAE,EAAE,CACX,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAChE,CAAC;IACJ,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,QAAoB,EACpB,WAA4C,EAC5C,OAAiB;IAEjB,MAAM,SAAS,GAAG,qBAAqB,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CACb,8BAA8B,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,aAAa,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrL,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,WAA4C,EAC5C,OAAiB;IAEjB,OAAO,MAAM,CAAC,WAAW,CACvB,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;aAC7B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;aACpD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;aACpE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,qBAAsB,SAAQ,KAAK;IAClB;IAArB,YAAqB,KAAa;QAChC,KAAK,CAAC,sBAAsB,KAAK,EAAE,CAAC,CAAC;QADlB,UAAK,GAAL,KAAK,CAAQ;IAElC,CAAC;CACF;AAED,MAAM,UAAU,4BAA4B,CAC1C,UAA+B,EAC/B,WAA4C,EAC5C,OAAiB;IAEjB,MAAM,KAAK,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,UAAU,GAAmC,EAAE,CAAC;IACtD,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,MAAM,EAAE,8BAA8B,QAAQ,CAAC,IAAI,EAAE;aACtD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAChD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CACnC,CAAC;QACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,MAAM,EAAE,uBAAuB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;aACxD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,mBAAmB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;gBACnE,UAAU,CAAC,IAAI,CAAC;oBACd,QAAQ,EAAE,QAAQ,CAAC,IAAI;oBACvB,OAAO,EAAE,6BAA6B;iBACvC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,qBAAqB,EAAE,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,QAAQ,CAAC,IAAI;oBACvB,MAAM,EAAE,uBAAuB,KAAK,CAAC,KAAK,EAAE;iBAC7C,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAChE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO;QACL,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QACnD,KAAK;QACL,UAAU;QACV,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAiB,EACjB,aAAkC;IAElC,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE;QACtB,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ;YACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;gBACpD,MAAM,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAY,CAAC;QACvD,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,UAA+B,EAC/B,WAA4C,EAC5C,OAAiB;IAEjB,MAAM,MAAM,GAAG,4BAA4B,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9E,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,mCAAmC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACpI,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,UAA+B,EAC/B,WAA4C,EAC5C,KAAuC,EACvC,UAA8C,EAAE;IAEhD,MAAM,KAAK,GAAG,GAA8B,EAAE;QAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,4BAA4B,CACzC,UAAU,EACV,WAAW,EACX,OAAO,CACR,CAAC;QACF,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QAClC,OAAO,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;gBAC7B,MAAM,IAAI,KAAK,CACb,mCAAmC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACpI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO;QACL,KAAK;QACL,KAAK;YACH,KAAK,EAAE,CAAC;YACR,OAAO,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE;gBAC1B,KAAK,EAAE,CAAC;YACV,CAAC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/core/artifacts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/artifacts/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EACV,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,YAAY,EACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE9D,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAetD;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,aAAa,CAEzD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAsB9D;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CA2BlE;AAED,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CA+B5E;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAsBpE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAiBtE"}

package/dist/{kernel → core}/artifacts/index.js

@@ -28,7 +28,10 @@ export function parseTraceArtifact(json) {
     if (!Array.isArray(value.steps))
         throw new Error("trace artifact missing steps");
     for (const [index, step] of value.steps.entries()) {
-        if (!isRecord(step) || typeof step.transitionId !== "string" || !isRecord(step.pre) || !isRecord(step.post)) {
+        if (!isRecord(step) ||
+            typeof step.transitionId !== "string" ||
+            !isRecord(step.pre) ||
+            !isRecord(step.post)) {
             throw new Error(`trace step ${index + 1} is malformed`);
         }
     }
@@ -98,7 +101,9 @@ export function parseReplayReportArtifact(json) {
         throw new Error("replay report artifact kind must be replay-report");
     if (!isRecord(value.verdict))
         throw new Error("replay report artifact missing verdict");
-    if (value.verdict.status !== "reproduced" && value.verdict.status !== "not-reproduced" && value.verdict.status !== "inconclusive") {
+    if (value.verdict.status !== "reproduced" &&
+        value.verdict.status !== "not-reproduced" &&
+        value.verdict.status !== "inconclusive") {
         throw new Error("replay report verdict has unsupported status");
     }
     if (typeof value.verdict.stepsRun !== "number")

package/dist/core/artifacts/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/artifacts/index.ts"],"names":[],"mappings":"AASA,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,mCAAmC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CACjE,CAAC;IACJ,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC9B,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IAC9E,OAAO,KAAyB,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,mCAAmC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CACjE,CAAC;IACJ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QACxB,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,IACE,CAAC,QAAQ,CAAC,IAAI,CAAC;YACf,OAAO,IAAI,CAAC,YAAY,KAAK,QAAQ;YACrC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;YACnB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EACpB,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,GAAG,CAAC,eAAe,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,OAAO,KAAiC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,0CAA0C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CACxE,CAAC;IACJ,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAC/B,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,mBAAmB,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,qBAAqB,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,OAAO,KAA+B,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,IAAY;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,+CAA+C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAC7E,CAAC;IACJ,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;QACpC,MAAM,IAAI,KAAK,CACb,2DAA2D,CAC5D,CAAC;IACJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,OAAO,KAAoC,CAAC;AAC9C,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,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,IACE,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY;QACrC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,gBAAgB;QACzC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,EACvC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,QAAQ;QAC5C,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,4CAA4C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAC1E,CAAC;IACJ,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACjC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,OAAO,KAAiC,CAAC;AAC3C,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/core/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,sBAAsB,CAAC"}

package/dist/core/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,sBAAsB,CAAC"}

package/dist/core/ir/canonical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../../src/core/ir/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,KAAK,EAAE,UAAU,EAAS,MAAM,YAAY,CAAC;AAE3E,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM,CAuEtE;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAUhD"}

package/dist/{kernel → core}/ir/canonical.js

@@ -11,18 +11,36 @@ export function canonicalState(model, state) {
             return mapped;
         }
         if (domain.kind === "option") {
-            return value === null || value === undefined ? null : encodeValue(domain.inner, value);
+            return value === null || value === undefined
+                ? null
+                : encodeValue(domain.inner, value);
         }
-        if (domain.kind === "record" && value && typeof value === "object" && !Array.isArray(value)) {
-            return Object.fromEntries(Object.entries(domain.fields).sort(([a], [b]) => a.localeCompare(b)).map(([key, inner]) => [key, encodeValue(inner, value[key])]));
+        if (domain.kind === "record" &&
+            value &&
+            typeof value === "object" &&
+            !Array.isArray(value)) {
+            return Object.fromEntries(Object.entries(domain.fields)
+                .sort(([a], [b]) => a.localeCompare(b))
+                .map(([key, inner]) => [
+                key,
+                encodeValue(inner, value[key]),
+            ]));
         }
-        if (domain.kind === "tagged" && value && typeof value === "object" && !Array.isArray(value)) {
+        if (domain.kind === "tagged" &&
+            value &&
+            typeof value === "object" &&
+            !Array.isArray(value)) {
             const record = value;
             const tag = record[domain.tag];
             const variant = typeof tag === "string" ? domain.variants[tag] : undefined;
             return Object.fromEntries(Object.entries(record)
                 .sort(([a], [b]) => a.localeCompare(b))
-                .map(([key, item]) => [key, key === domain.tag || !variant || variant.kind !== "record" ? item : encodeValue(variant.fields[key] ?? { kind: "enum", values: [] }, item)]));
+                .map(([key, item]) => [
+                key,
+                key === domain.tag || !variant || variant.kind !== "record"
+                    ? item
+                    : encodeValue(variant.fields[key] ?? { kind: "enum", values: [] }, item),
+            ]));
         }
         if (domain.kind === "boundedList" && Array.isArray(value)) {
             return value.map((item) => encodeValue(domain.inner, item));
@@ -34,13 +52,18 @@ export function canonicalState(model, state) {
         }
         return value;
     };
-    return canonicalJson(model.vars.map((decl) => [decl.id, encodeValue(decl.domain, state[decl.id])]));
+    return canonicalJson(model.vars.map((decl) => [
+        decl.id,
+        encodeValue(decl.domain, state[decl.id]),
+    ]));
 }
 export function sortJson(value) {
     if (Array.isArray(value))
         return value.map(sortJson);
     if (value && typeof value === "object") {
-        return Object.fromEntries(Object.entries(value).sort(([a], [b]) => a.localeCompare(b)).map(([k, v]) => [k, sortJson(v)]));
+        return Object.fromEntries(Object.entries(value)
+            .sort(([a], [b]) => a.localeCompare(b))
+            .map(([k, v]) => [k, sortJson(v)]));
     }
     return value;
 }

package/dist/core/ir/canonical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../../src/core/ir/canonical.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAY,EAAE,KAAiB;IAC5D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,WAAW,GAAG,CAClB,MAAsB,EACtB,KAAwB,EACf,EAAE;QACX,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,SAAS,EAAE,EAAE,CAAC;YAC1D,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC5B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;gBAC1C,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC;QACD,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;YACxB,KAAK;YACL,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EACrB,CAAC;YACD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;iBAC1B,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;iBACtC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;gBACrB,GAAG;gBACH,WAAW,CAAC,KAAK,EAAG,KAA+B,CAAC,GAAG,CAAC,CAAC;aAC1D,CAAC,CACL,CAAC;QACJ,CAAC;QACD,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;YACxB,KAAK;YACL,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EACrB,CAAC;YACD,MAAM,MAAM,GAAG,KAA8B,CAAC;YAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC/B,MAAM,OAAO,GACX,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7D,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;iBACnB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;iBACtC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;gBACpB,GAAG;gBACH,GAAG,KAAK,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;oBACzD,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,WAAW,CACT,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,EACnD,IAAI,CACL;aACN,CAAC,CACL,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACrE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,OAAO,aAAa,CAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACvB,IAAI,CAAC,EAAE;QACP,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;KACzC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;aAClB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CACrC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/core/ir/domains.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../../src/core/ir/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExD,eAAO,MAAM,SAAS,2BAA2B,CAAC;AAElD,wBAAgB,eAAe,CAAC,MAAM,EAAE,cAAc,GAAG,KAAK,EAAE,CAoD/D;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CA2C3E;AAED,wBAAgB,UAAU,CACxB,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAClD,MAAM,EAAE,CAIV;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CA0BhE"}

package/dist/{kernel → core}/ir/domains.js

@@ -18,7 +18,10 @@ export function enumerateDomain(domain) {
                 if (recordDomain.kind !== "record") {
                     throw new Error(`Tagged variant ${tagValue} must be a record domain`);
                 }
-                return enumerateDomain(recordDomain).map((v) => ({ ...v, [domain.tag]: tagValue }));
+                return enumerateDomain(recordDomain).map((v) => ({
+                    ...v,
+                    [domain.tag]: tagValue,
+                }));
             });
         }
         case "tokens":
@@ -46,27 +49,36 @@ export function validateValue(domain, value) {
         case "enum":
             return typeof value === "string" && domain.values.includes(value);
         case "boundedInt":
-            return typeof value === "number" && Number.isInteger(value) && value >= domain.min && value <= domain.max;
+            return (typeof value === "number" &&
+                Number.isInteger(value) &&
+                value >= domain.min &&
+                value <= domain.max);
         case "option":
             return value === null || validateValue(domain.inner, value);
         case "record":
-            return isRecord(value) && Object.entries(domain.fields).every(([k, d]) => validateValue(d, value[k]));
-        case "tagged":
+            return (isRecord(value) &&
+                Object.entries(domain.fields).every(([k, d]) => validateValue(d, value[k])));
+        case "tagged": {
             if (!isRecord(value) || typeof value[domain.tag] !== "string")
                 return false;
             const tagValue = value[domain.tag];
             return (Object.hasOwn(domain.variants, tagValue) &&
                 validateValue(domain.variants[tagValue], value));
+        }
         case "tokens":
             return typeof value === "string" && tokenNames(domain).includes(value);
         case "lengthCat":
             return value === "0" || value === "1" || value === "many";
         case "boundedList":
-            return Array.isArray(value) && value.length <= domain.maxLen && value.every((v) => validateValue(domain.inner, v));
+            return (Array.isArray(value) &&
+                value.length <= domain.maxLen &&
+                value.every((v) => validateValue(domain.inner, v)));
     }
 }
 export function tokenNames(domain) {
-    return domain.names ? [...domain.names] : Array.from({ length: domain.count }, (_, i) => `tok${i + 1}`);
+    return domain.names
+        ? [...domain.names]
+        : Array.from({ length: domain.count }, (_, i) => `tok${i + 1}`);
 }
 export function domainFingerprint(domain) {
     switch (domain.kind) {

package/dist/core/ir/domains.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domains.js","sourceRoot":"","sources":["../../../src/core/ir/domains.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,SAAS,GAAG,wBAAwB,CAAC;AAElD,MAAM,UAAU,eAAe,CAAC,MAAsB;IACpD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACvB,KAAK,MAAM;YACT,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5B,KAAK,YAAY;YACf,OAAO,KAAK,CAAC,IAAI,CACf,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,EACvC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CACzB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,CAAC,IAAI,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAClD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9C,OAAO,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAC9D,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAClE,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAC5C,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,EAAE;gBAC3B,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACnC,MAAM,IAAI,KAAK,CACb,kBAAkB,QAAQ,0BAA0B,CACrD,CAAC;gBACJ,CAAC;gBACD,OAAO,eAAe,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC/C,GAAI,CAAY;oBAChB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ;iBACvB,CAAC,CAAC,CAAC;YACN,CAAC,CACF,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5B,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,KAAK,GAAY,CAAC,EAAE,CAAC,CAAC;YAC5B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;gBACjD,KAAK,MAAM,IAAI,IAAI,SAAS,CAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAC9C,EAAE,CAAC;oBACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAsB,EAAE,KAAY;IAChE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpE,KAAK,YAAY;YACf,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;gBACzB,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBACvB,KAAK,IAAI,MAAM,CAAC,GAAG;gBACnB,KAAK,IAAI,MAAM,CAAC,GAAG,CACpB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,KAAK,KAAK,IAAI,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,KAAK,QAAQ;YACX,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;gBACf,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7C,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAC3B,CACF,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,QAAQ;gBAC3D,OAAO,KAAK,CAAC;YACf,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC;YAC7C,OAAO,CACL,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBACxC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAChD,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzE,KAAK,WAAW;YACd,OAAO,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,MAAM,CAAC;QAC5D,KAAK,aAAa;YAChB,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACpB,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM;gBAC7B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CACnD,CAAC;IACN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,MAAmD;IAEnD,OAAO,MAAM,CAAC,KAAK;QACjB,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QACnB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAsB;IACtD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,QAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5C,KAAK,YAAY;YACf,OAAO,OAAO,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,UAAU,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;iBAC3C,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;iBACtC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC/C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,UAAU,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;iBAC3D,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;iBACtC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC/C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,UAAU,MAAM,CAAC,KAAK,GAAG,CAAC;QACnC,KAAK,aAAa;YAChB,OAAO,QAAQ,MAAM,CAAC,MAAM,IAAI,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;IACvE,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAI,IAA+B;IACnD,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAC3E,CAAC,EAAE,CAAC,CACL,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/dist/core/ir/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/ir/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE9D,MAAM,MAAM,KAAK,GACb,cAAc,GACd,SAAS,KAAK,EAAE,GAChB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAAA;CAAE,CAAC;AAEtC,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,YAAY,GAAG,QAAQ,GAAG,kBAAkB,CAAC;IACrD,KAAK,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,aAAa,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,OAAO,EAAE,KAAK,GAAG,SAAS,KAAK,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACzD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;CACf,GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7C,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,GAC7C;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GACpE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC;AAEvC,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvC,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,UAAU,GAAG,SAAS,CAAC;IACrD,KAAK,EAAE,UAAU,CAAC;IAClB,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,UAAU,EAAE,OAAO,GAAG,aAAa,GAAG,QAAQ,CAAC;IAC/C,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,cAAc,GAAG,QAAQ,CAAC;IAChC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzE,UAAU,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACvE,mBAAmB,EAAE,SAAS;QAC5B,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;IACJ,qBAAqB,EAAE,SAAS;QAC9B,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAAE,CAAC;CACL;AAED,MAAM,WAAW,KAAK;IACpB,aAAa,EAAE,CAAC,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE;QACT,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;QACtC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;KACvC,CAAC;CACH;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE/C,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CACpC"}

package/dist/{kernel/trace → core/ir}/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/kernel/trace/types.ts"],"names":[],"mappings":""}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/ir/types.ts"],"names":[],"mappings":""}

package/dist/core/ir/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../../src/core/ir/validator.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,MAAM,EACN,KAAK,EAGL,KAAK,EACN,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,gBAAgB,CAsB5D;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAMzD;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CA2B1D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAMnD;AAsMD,wBAAgB,aAAa,CAC3B,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,KAAK,GAAG,SAAS,KAAK,EAAE,GAChC,SAAS,KAAK,EAAE,CAMlB"}

package/dist/{kernel → core}/ir/validator.js

@@ -1,4 +1,4 @@
-import { domainFingerprint, enumerateDomain, validateValue } from "./domains.js";
+import { domainFingerprint, enumerateDomain, validateValue, } from "./domains.js";
 export function validateModel(model) {
     const errors = [];
     const varIds = new Set(model.vars.map((v) => v.id));
@@ -68,7 +68,8 @@ function validateBounds(errors, model) {
     if (!Number.isInteger(bounds.maxPending) || bounds.maxPending < 0) {
         errors.push("bounds.maxPending must be a non-negative integer");
     }
-    if (!Number.isInteger(bounds.maxInternalSteps) || bounds.maxInternalSteps < 1) {
+    if (!Number.isInteger(bounds.maxInternalSteps) ||
+        bounds.maxInternalSteps < 1) {
         errors.push("bounds.maxInternalSteps must be a positive integer");
     }
 }
@@ -86,7 +87,9 @@ function validateSystemVars(errors, varsById, model) {
         if (history.domain.kind !== "boundedList") {
             errors.push("sys:history must use a boundedList domain");
         }
-        else if (route && domainFingerprint(history.domain.inner) !== domainFingerprint(route.domain)) {
+        else if (route &&
+            domainFingerprint(history.domain.inner) !==
+                domainFingerprint(route.domain)) {
             errors.push("sys:history inner domain must match sys:route domain");
         }
     }
@@ -219,7 +222,11 @@ function pushDuplicateDomainValues(errors, owner, kind, values) {
     }
 }
 export function initialValues(domain, initial) {
-    return domain.kind === "boundedList" ? [initial] : Array.isArray(initial) ? initial : [initial];
+    return domain.kind === "boundedList"
+        ? [initial]
+        : Array.isArray(initial)
+            ? initial
+            : [initial];
 }
 function validateTransition(errors, transition, varIds, varsById) {
     const declaredReads = new Set(transition.reads);
@@ -271,7 +278,9 @@ function validateRouteLocalWrites(errors, transition, actualWrites, varsById) {
         .filter((decl) => decl?.scope.kind === "route-local");
     if (routeLocalWrites.length === 0)
         return;
-    const routes = [...new Set(routeLocalWrites.map((decl) => decl.scope.route))].sort();
+    const routes = [
+        ...new Set(routeLocalWrites.map((decl) => decl.scope.route)),
+    ].sort();
     if (routes.length > 1)
         errors.push(`${transition.id}: writes route-local vars for multiple routes: ${routes.join(", ")}`);
     validateRouteLocalWriteOrder(errors, transition.id, transition.effect, varsById);
@@ -282,12 +291,14 @@ function validateRouteLocalWriteOrder(errors, transitionId, effect, varsById) {
             case "assign":
             case "havoc":
             case "choose":
-                if (afterNavigation && varsById.get(node.var)?.scope.kind === "route-local") {
+                if (afterNavigation &&
+                    varsById.get(node.var)?.scope.kind === "route-local") {
                     errors.push(`${transitionId}: writes route-local vars after navigating`);
                 }
                 return afterNavigation;
             case "opaque":
-                if (afterNavigation && node.ref.declaredWrites.some((id) => varsById.get(id)?.scope.kind === "route-local")) {
+                if (afterNavigation &&
+                    node.ref.declaredWrites.some((id) => varsById.get(id)?.scope.kind === "route-local")) {
                     errors.push(`${transitionId}: writes route-local vars after navigating`);
                 }
                 return afterNavigation;
@@ -404,8 +415,10 @@ function exprReadsInEffect(effect) {
 }
 function walkEffect(effect, visit) {
     visit(effect);
-    if (effect.kind === "seq" && Array.isArray(effect.effects))
-        effect.effects.forEach((e) => walkEffect(e, visit));
+    if (effect.kind === "seq" && Array.isArray(effect.effects)) {
+        for (const child of effect.effects)
+            walkEffect(child, visit);
+    }
     if (effect.kind === "if") {
         walkEffect(effect.then, visit);
         walkEffect(effect.else, visit);
@@ -418,16 +431,20 @@ function walkExpr(expr, visit) {
         case "neq":
         case "and":
         case "or":
-            if (Array.isArray(expr.args))
-                expr.args.forEach((arg) => walkExpr(arg, visit));
+            if (Array.isArray(expr.args)) {
+                for (const arg of expr.args)
+                    walkExpr(arg, visit);
+            }
             break;
         case "not":
             if (Array.isArray(expr.args) && expr.args[0])
                 walkExpr(expr.args[0], visit);
             break;
         case "cond":
-            if (Array.isArray(expr.args))
-                expr.args.forEach((arg) => walkExpr(arg, visit));
+            if (Array.isArray(expr.args)) {
+                for (const arg of expr.args)
+                    walkExpr(arg, visit);
+            }
             break;
         case "updateField":
             walkExpr(expr.target, visit);
@@ -573,7 +590,9 @@ function inferCondDomain(errors, transitionId, expr, varsById) {
     if (thenDomain && elseDomain && !sameDomain(thenDomain, elseDomain)) {
         errors.push(`${transitionId}: cond branches have incompatible domains ${domainFingerprint(thenDomain)} and ${domainFingerprint(elseDomain)}`);
     }
-    return thenDomain && elseDomain && sameDomain(thenDomain, elseDomain) ? thenDomain : thenDomain ?? elseDomain;
+    return thenDomain && elseDomain && sameDomain(thenDomain, elseDomain)
+        ? thenDomain
+        : (thenDomain ?? elseDomain);
 }
 function isNullLiteral(expr) {
     return expr.kind === "lit" && expr.value === null;
@@ -615,7 +634,8 @@ function validateExprReferences(errors, transitionId, expr, varsById) {
         }
         if (node.kind === "tagIs" && node.arg.kind === "read") {
             const decl = varsById.get(node.arg.var);
-            if (decl?.domain.kind === "tagged" && !Object.hasOwn(decl.domain.variants, node.tag)) {
+            if (decl?.domain.kind === "tagged" &&
+                !Object.hasOwn(decl.domain.variants, node.tag)) {
                 errors.push(`${transitionId}: ${decl.id} references invalid tag ${node.tag}`);
             }
         }
@@ -646,10 +666,15 @@ function validateReadLiteralComparison(errors, transitionId, left, right, varsBy
     if (!decl)
         return;
     const domain = domainAtPath(decl.domain, left.path ?? []);
-    if (domain?.kind === "enum" && typeof right.value === "string" && !domain.values.includes(right.value)) {
+    if (domain?.kind === "enum" &&
+        typeof right.value === "string" &&
+        !domain.values.includes(right.value)) {
         errors.push(`${transitionId}: ${decl.id} references invalid enum value ${right.value}`);
     }
-    if (domain?.kind === "tagged" && typeof right.value === "object" && right.value !== null && !Array.isArray(right.value)) {
+    if (domain?.kind === "tagged" &&
+        typeof right.value === "object" &&
+        right.value !== null &&
+        !Array.isArray(right.value)) {
         const tag = right.value[domain.tag];
         if (typeof tag === "string" && !Object.hasOwn(domain.variants, tag)) {
             errors.push(`${transitionId}: ${decl.id} references invalid tag ${tag}`);
@@ -670,11 +695,15 @@ function domainAtPath(domain, path) {
                 current = undefined;
             else {
                 const index = Number(segment);
-                current = index >= 0 && index < current.maxLen ? current.inner : undefined;
+                current =
+                    index >= 0 && index < current.maxLen ? current.inner : undefined;
             }
         }
         else if (current.kind === "tagged")
-            current = segment === current.tag ? { kind: "enum", values: Object.keys(current.variants) } : undefined;
+            current =
+                segment === current.tag
+                    ? { kind: "enum", values: Object.keys(current.variants) }
+                    : undefined;
         else
             return undefined;
     }