modality-ts 0.0.0

package/dist/modality/registry/index.js

@@ -0,0 +1,89 @@
+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";
+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 ?? [])
+    ];
+    const defaultRouter = routerSource();
+    const routerPlugin = options.routerPlugin === false || disabled.has(defaultRouter.id)
+        ? undefined
+        : options.routerPlugin ?? (shouldEnableBuiltin(defaultRouter, dependencies) ? defaultRouter : undefined);
+    return createModalityRegistry({ sourcePlugins, routerPlugin });
+}
+export function createModalityRegistry(options = { sourcePlugins: [] }) {
+    for (const plugin of options.sourcePlugins)
+        validateStateSourcePlugin(plugin);
+    if (options.routerPlugin)
+        validateRouterPlugin(options.routerPlugin);
+    const sourcePluginIds = sortedUnique(options.sourcePlugins.map((plugin) => plugin.id), "source plugin");
+    return {
+        sourcePluginIds,
+        sourcePlugins: options.sourcePlugins,
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+        plugins: [
+            ...options.sourcePlugins.map((plugin) => ({
+                id: plugin.id,
+                version: plugin.version ?? "unknown",
+                kind: "state-source",
+                packageNames: [...plugin.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 } : {})
+    };
+}
+function shouldEnableBuiltin(plugin, dependencies) {
+    if (!dependencies)
+        return true;
+    return plugin.packageNames.some((packageName) => dependencies[packageName] !== undefined);
+}
+function validateStateSourcePlugin(plugin) {
+    validateCommonPluginShape(plugin, "source plugin");
+    if (typeof plugin.discover !== "function")
+        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") {
+        throw new Error(`Invalid source plugin ${plugin.id}: harness.setup and harness.observe are required`);
+    }
+}
+function validateRouterPlugin(plugin) {
+    validateCommonPluginShape(plugin, "router plugin");
+    if (typeof plugin.routeVars !== "function")
+        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") {
+        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)) {
+        throw new Error(`Invalid ${kind} ${plugin.id}: packageNames must be non-empty strings`);
+    }
+    if (plugin.version !== undefined && typeof plugin.version !== "string")
+        throw new Error(`Invalid ${kind} ${plugin.id}: version must be a string`);
+}
+function sortedUnique(values, kind) {
+    const seen = new Set();
+    for (const value of values) {
+        if (seen.has(value))
+            throw new Error(`Duplicate ${kind} ${value}`);
+        seen.add(value);
+    }
+    return [...values].sort();
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/modality/registry/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAsB9D,MAAM,UAAU,6BAA6B,CAAC,UAAkC,EAAE;IAChF,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,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,mBAAmB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACrG,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;KACtC,CAAC;IACF,MAAM,aAAa,GAAG,YAAY,EAAE,CAAC;IACrC,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,KAAK,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QACnF,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,mBAAmB,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC3G,OAAO,sBAAsB,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,UAAkC,EAAE,aAAa,EAAE,EAAE,EAAE;IAC5F,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,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;IACxG,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,CAAC,CAAC,CAAC,CAAC;oBAC1B,EAAE,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE;oBAC3B,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,OAAO,IAAI,SAAS;oBAClD,IAAI,EAAE,QAAiB;oBACvB,YAAY,EAAE,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE;iBAC5D,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACT,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/F,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA2C,EAAE,YAA0D;IAClI,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,SAAS,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAyB;IAC1D,yBAAyB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,EAAE,+BAA+B,CAAC,CAAC;IAC9H,IAAI,OAAO,MAAM,CAAC,aAAa,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,EAAE,oCAAoC,CAAC,CAAC;IACxI,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAClH,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,EAAE,kDAAkD,CAAC,CAAC;IACxG,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAoB;IAChD,yBAAyB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAChI,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,EAAE,qCAAqC,CAAC,CAAC;IAC1I,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACnK,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,EAAE,qEAAqE,CAAC,CAAC;IAC3H,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAmE,EAAE,IAAY;IAClH,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,iCAAiC,CAAC,CAAC;IAC/H,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7H,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,IAAI,MAAM,CAAC,EAAE,0CAA0C,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,IAAI,MAAM,CAAC,EAAE,4BAA4B,CAAC,CAAC;AACpJ,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/modality/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/modality/replay.d.ts.map

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

package/dist/modality/replay.js

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

package/dist/modality/replay.js.map

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

package/dist/runtime/index.d.ts

@@ -0,0 +1,53 @@
+import type { ModelState, Property, Value } from "modality-ts/kernel/props";
+export interface Observable<TContext = unknown> {
+    var: string;
+    read(context: TContext): Value;
+}
+export interface ObservableMismatch {
+    var: string;
+    expected: Value | undefined;
+    actual: Value | undefined;
+}
+export interface ObservableAssertion {
+    ok: boolean;
+    mismatches: ObservableMismatch[];
+}
+export interface ObservableInvariantViolation {
+    property: string;
+    message: string;
+}
+export interface ObservableInvariantSkip {
+    property: string;
+    reason: string;
+}
+export interface ObservableInvariantResult {
+    ok: boolean;
+    state: ModelState;
+    violations: ObservableInvariantViolation[];
+    skipped: ObservableInvariantSkip[];
+}
+export interface ModalityAssertionStore<TContext> {
+    getSnapshot(): TContext;
+    subscribe(listener: () => void): () => void;
+}
+export interface ModalityAssertionEvent<TContext = unknown> {
+    result: ObservableInvariantResult;
+    context: TContext;
+}
+export interface ModalityAssertionOptions<TContext = unknown> {
+    onResult?: (event: ModalityAssertionEvent<TContext>) => void;
+    onViolation?: (event: ModalityAssertionEvent<TContext>) => void;
+    throwOnViolation?: boolean;
+}
+export interface ModalityAssertionController {
+    check(): ObservableInvariantResult;
+    start(): () => void;
+}
+export declare function observable<TContext>(varId: string, read: (context: TContext) => Value): Observable<TContext>;
+export declare function assertObservableState<TContext>(expected: ModelState, observables: readonly Observable<TContext>[], context: TContext): ObservableAssertion;
+export declare function assertObservableStateOrThrow<TContext>(expected: ModelState, observables: readonly Observable<TContext>[], context: TContext): void;
+export declare function readObservableState<TContext>(observables: readonly Observable<TContext>[], context: TContext): ModelState;
+export declare function evaluateObservableInvariants<TContext>(properties: readonly Property[], observables: readonly Observable<TContext>[], context: TContext): ObservableInvariantResult;
+export declare function assertObservableInvariantsOrThrow<TContext>(properties: readonly Property[], observables: readonly Observable<TContext>[], context: TContext): void;
+export declare function createModalityAssertions<TContext>(properties: readonly Property[], observables: readonly Observable<TContext>[], store: ModalityAssertionStore<TContext>, options?: ModalityAssertionOptions<TContext>): ModalityAssertionController;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAE5E,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,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,KAAK,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAE5G;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAC5C,QAAQ,EAAE,UAAU,EACpB,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,OAAO,EAAE,QAAQ,GAChB,mBAAmB,CAKrB;AAED,wBAAgB,4BAA4B,CAAC,QAAQ,EACnD,QAAQ,EAAE,UAAU,EACpB,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAC5C,OAAO,EAAE,QAAQ,GAChB,IAAI,CAKN;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,GAAG,UAAU,CAEzH;AAUD,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,CAwB3B;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,CAKN;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,CAuB7B"}

package/dist/runtime/index.js

@@ -0,0 +1,83 @@
+export function observable(varId, read) {
+    return { var: varId, read };
+}
+export function assertObservableState(expected, observables, context) {
+    const mismatches = observables
+        .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 };
+}
+export function assertObservableStateOrThrow(expected, observables, context) {
+    const assertion = assertObservableState(expected, observables, context);
+    if (!assertion.ok) {
+        throw new Error(`Observable state mismatch: ${assertion.mismatches.map((mismatch) => `${mismatch.var} expected=${stableJson(mismatch.expected)} actual=${stableJson(mismatch.actual)}`).join("; ")}`);
+    }
+}
+export function readObservableState(observables, context) {
+    return Object.fromEntries(observables.map((probe) => [probe.var, probe.read(context)]));
+}
+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 JSON.stringify(value);
+}
+export function evaluateObservableInvariants(properties, observables, context) {
+    const state = readObservableState(observables, context);
+    const observableIds = new Set(observables.map((probe) => probe.var));
+    const violations = [];
+    const skipped = [];
+    for (const property of properties) {
+        if (property.kind !== "always") {
+            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(",")}` });
+            continue;
+        }
+        try {
+            if (!property.predicate(state)) {
+                violations.push({ property: property.name, message: "observable invariant failed" });
+            }
+        }
+        catch (error) {
+            violations.push({ property: property.name, message: error instanceof Error ? error.message : String(error) });
+        }
+    }
+    return { ok: violations.length === 0, state, violations, skipped };
+}
+export function assertObservableInvariantsOrThrow(properties, observables, context) {
+    const result = evaluateObservableInvariants(properties, observables, context);
+    if (!result.ok) {
+        throw new Error(`Observable invariant violation: ${result.violations.map((violation) => `${violation.property}: ${violation.message}`).join("; ")}`);
+    }
+}
+export function createModalityAssertions(properties, observables, store, options = {}) {
+    const check = () => {
+        const context = store.getSnapshot();
+        const result = evaluateObservableInvariants(properties, observables, context);
+        const event = { result, context };
+        options.onResult?.(event);
+        if (!result.ok) {
+            options.onViolation?.(event);
+            if (options.throwOnViolation) {
+                throw new Error(`Observable invariant violation: ${result.violations.map((violation) => `${violation.property}: ${violation.message}`).join("; ")}`);
+            }
+        }
+        return result;
+    };
+    return {
+        check,
+        start() {
+            check();
+            return store.subscribe(() => {
+                check();
+            });
+        }
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/runtime/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/runtime/index.ts"],"names":[],"mappings":"AAwDA,MAAM,UAAU,UAAU,CAAW,KAAa,EAAE,IAAkC;IACpF,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,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SAChG,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACvF,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,CAAC,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,CAAC,CAAC;IACxM,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAW,WAA4C,EAAE,OAAiB;IAC3G,OAAO,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1F,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,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,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,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1K,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;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,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,8BAA8B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjG,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,uBAAuB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YACnG,SAAS;QACX,CAAC;QACD,IAAI,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/B,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACrE,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,CAAC,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,CAAC,CAAC;IACvJ,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,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC9E,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,CAAC,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,CAAC,CAAC;YACvJ,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/sources/jotai/harness.d.ts

@@ -0,0 +1,13 @@
+import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extraction/spi";
+import type { AbstractDomain, ModelState, Value } from "modality-ts/kernel";
+export interface JotaiHarnessHooks extends HarnessHooks {
+    initialState: ModelState;
+    atoms?: Record<string, unknown>;
+    store?: {
+        get(atom: unknown): Value;
+    };
+}
+export declare function setup(ctx: HarnessCtx & Partial<Pick<JotaiHarnessHooks, "atoms" | "store">>): JotaiHarnessHooks;
+export declare function observe(varId: string, handles: HarnessHooks): ObservedRead | "unobservable";
+export declare function witness(_domain: AbstractDomain, _varId: string): WitnessFactory | undefined;
+//# sourceMappingURL=harness.d.ts.map

package/dist/sources/jotai/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../src/sources/jotai/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACzG,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE5E,MAAM,WAAW,iBAAkB,SAAQ,YAAY;IACrD,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,KAAK,CAAC,EAAE;QACN,GAAG,CAAC,IAAI,EAAE,OAAO,GAAG,KAAK,CAAC;KAC3B,CAAC;CACH;AAED,wBAAgB,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,iBAAiB,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,GAAG,iBAAiB,CAM9G;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,YAAY,GAAG,cAAc,CAM3F;AAED,wBAAgB,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE3F"}

package/dist/sources/jotai/harness.js

@@ -0,0 +1,20 @@
+export function setup(ctx) {
+    return {
+        initialState: ctx.initialState ?? {},
+        ...(ctx.atoms ? { atoms: ctx.atoms } : {}),
+        ...(ctx.store ? { store: ctx.store } : {})
+    };
+}
+export function observe(varId, handles) {
+    const jotai = handles;
+    const atom = jotai.atoms?.[varId] ?? jotai.atoms?.[varId.replace(/^atom:/, "")];
+    if (atom !== undefined && jotai.store)
+        return { value: jotai.store.get(atom) };
+    if (varId in jotai.initialState)
+        return { value: jotai.initialState[varId] };
+    return "unobservable";
+}
+export function witness(_domain, _varId) {
+    return undefined;
+}
+//# sourceMappingURL=harness.js.map

package/dist/sources/jotai/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../src/sources/jotai/harness.ts"],"names":[],"mappings":"AAWA,MAAM,UAAU,KAAK,CAAC,GAAqE;IACzF,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;QACpC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,OAAqB;IAC1D,MAAM,KAAK,GAAG,OAA4B,CAAC;IAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;IAChF,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/E,IAAI,KAAK,IAAI,KAAK,CAAC,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;IAC9E,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAuB,EAAE,MAAc;IAC7D,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/sources/jotai/index.d.ts

@@ -0,0 +1,11 @@
+import type { SourceDecl, StateSourcePlugin, WriteChannel } from "modality-ts/extraction/spi";
+import type { SourceAnchor } from "modality-ts/kernel";
+export declare function jotaiSource(): StateSourcePlugin;
+export default jotaiSource;
+export declare function discoverJotaiSafetyWarnings(sourceText: string, fileName?: string): {
+    message: string;
+    source?: SourceAnchor;
+}[];
+export declare function discoverJotaiAtoms(sourceText: string, fileName?: string): SourceDecl[];
+export declare function discoverJotaiWriteChannels(sourceText: string, fileName?: string): WriteChannel[];
+//# sourceMappingURL=index.d.ts.map

package/dist/sources/jotai/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sources/jotai/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,KAAK,EAAkB,YAAY,EAAuB,MAAM,oBAAoB,CAAC;AAG5F,wBAAgB,WAAW,IAAI,iBAAiB,CAa/C;AAED,eAAe,WAAW,CAAC;AAE3B,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAa,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAE,EAAE,CAiBnI;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAa,GAAG,UAAU,EAAE,CA6B1F;AAED,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAa,GAAG,YAAY,EAAE,CAkDpG"}