modality-ts 0.0.7 → 0.0.9

package/dist/extract/sources/swr/domains.js

@@ -0,0 +1,99 @@
+import * as ts from "typescript";
+export function inferPayloadDomain(typeArg, typeAliases = new Map()) {
+    if (!typeArg)
+        return { kind: "tokens", count: 1 };
+    switch (typeArg.kind) {
+        case ts.SyntaxKind.BooleanKeyword:
+            return { kind: "bool" };
+        case ts.SyntaxKind.LiteralType:
+            return domainFromLiteralType(typeArg);
+        case ts.SyntaxKind.UnionType:
+            return domainFromUnion(typeArg, typeAliases);
+        case ts.SyntaxKind.TypeLiteral:
+            return domainFromTypeLiteral(typeArg, typeAliases);
+        case ts.SyntaxKind.ArrayType:
+            return { kind: "lengthCat" };
+        case ts.SyntaxKind.TypeReference: {
+            const name = typeArg.typeName.getText();
+            const alias = typeAliases.get(name);
+            if (alias)
+                return inferPayloadDomain(alias, typeAliases);
+            if (name === "Array" || name === "ReadonlyArray")
+                return { kind: "lengthCat" };
+            return { kind: "tokens", count: 1 };
+        }
+        default:
+            return { kind: "tokens", count: 1 };
+    }
+}
+function domainFromLiteralType(node) {
+    const lit = node.literal;
+    if (lit.kind === ts.SyntaxKind.TrueKeyword ||
+        lit.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "bool" };
+    if (ts.isStringLiteral(lit))
+        return { kind: "enum", values: [lit.text] };
+    if (ts.isNumericLiteral(lit))
+        return { kind: "boundedInt", min: Number(lit.text), max: Number(lit.text) };
+    if (lit.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "option", inner: { kind: "tokens", count: 1 } };
+    return { kind: "tokens", count: 1 };
+}
+function domainFromUnion(node, typeAliases = new Map()) {
+    const nonNull = node.types.filter((part) => part.kind !== ts.SyntaxKind.UndefinedKeyword &&
+        !(ts.isLiteralTypeNode(part) &&
+            part.literal.kind === ts.SyntaxKind.NullKeyword));
+    if (nonNull.length !== node.types.length && nonNull.length > 0) {
+        return {
+            kind: "option",
+            inner: nonNull.length === 1
+                ? inferPayloadDomain(nonNull[0], typeAliases)
+                : domainFromUnionMembers(nonNull),
+        };
+    }
+    return domainFromUnionMembers(node.types);
+}
+function domainFromUnionMembers(types) {
+    const literalValues = [];
+    const numericValues = [];
+    for (const part of types) {
+        if (!ts.isLiteralTypeNode(part))
+            return { kind: "tokens", count: 1 };
+        const lit = part.literal;
+        if (ts.isStringLiteral(lit))
+            literalValues.push(lit.text);
+        else if (ts.isNumericLiteral(lit))
+            numericValues.push(Number(lit.text));
+        else
+            return { kind: "tokens", count: 1 };
+    }
+    if (numericValues.length === types.length)
+        return {
+            kind: "boundedInt",
+            min: Math.min(...numericValues),
+            max: Math.max(...numericValues),
+        };
+    return { kind: "enum", values: literalValues };
+}
+function domainFromTypeLiteral(node, typeAliases) {
+    const fields = {};
+    for (const member of node.members) {
+        if (!ts.isPropertySignature(member) ||
+            !member.type ||
+            !ts.isIdentifier(member.name))
+            continue;
+        fields[member.name.text] = inferPayloadDomain(member.type, typeAliases);
+    }
+    return { kind: "record", fields };
+}
+export function typeAliasDeclarations(source) {
+    const aliases = new Map();
+    const visit = (node) => {
+        if (ts.isTypeAliasDeclaration(node) && ts.isIdentifier(node.name))
+            aliases.set(node.name.text, node.type);
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return aliases;
+}
+//# sourceMappingURL=domains.js.map

package/dist/extract/sources/swr/domains.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domains.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/domains.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,UAAU,kBAAkB,CAChC,OAAgC,EAChC,cAAgD,IAAI,GAAG,EAAE;IAEzD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,OAA6B,CAAC,CAAC;QAC9D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,eAAe,CAAC,OAA2B,EAAE,WAAW,CAAC,CAAC;QACnE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,OAA6B,EAAE,WAAW,CAAC,CAAC;QAC3E,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAI,OAAgC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK;gBAAE,OAAO,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YACzD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe;gBAC9C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACtC,CAAC;QACD;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;IACzB,IACE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACtC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAEvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACzE,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,IAAsB,EACtB,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,CAAC,CACC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAChD,CACJ,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EACH,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC7C,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC;SACtC,CAAC;IACJ,CAAC;IACD,OAAO,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA6B;IAC3D,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;;YACnE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QACvC,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;YAC/B,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;SAChC,CAAC;IACJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,WAA6C;IAE7C,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC/B,CAAC,MAAM,CAAC,IAAI;YACZ,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAE7B,SAAS;QACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/{sources → extract/sources}/swr/harness.d.ts

@@ -1,5 +1,5 @@
-import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extraction/spi";
-import type { AbstractDomain, ModelState, Value } from "modality-ts/kernel";
+import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extract/engine/spi";
+import type { AbstractDomain, ModelState, Value } from "modality-ts/core";
 export interface SwrHarnessHooks extends HarnessHooks {
     initialState: ModelState;
     cache: Map<string, Value>;

package/dist/extract/sources/swr/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,cAAc,EACf,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE1E,MAAM,WAAW,eAAgB,SAAQ,YAAY;IACnD,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAC3B;AAED,wBAAgB,KAAK,CACnB,GAAG,EAAE,UAAU,GAAG;IAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;CAAE,GACvE,eAAe,CAQjB;AAED,wBAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,YAAY,GACpB,YAAY,GAAG,cAAc,CAO/B;AAED,wBAAgB,OAAO,CACrB,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,MAAM,GACb,cAAc,GAAG,SAAS,CAE5B"}

package/dist/{sources → extract/sources}/swr/harness.js

@@ -1,7 +1,9 @@
 export function setup(ctx) {
     return {
         initialState: ctx.initialState ?? {},
-        cache: ctx.cache instanceof Map ? ctx.cache : new Map(Object.entries(ctx.cache ?? {}))
+        cache: ctx.cache instanceof Map
+            ? ctx.cache
+            : new Map(Object.entries(ctx.cache ?? {})),
     };
 }
 export function observe(varId, handles) {

package/dist/extract/sources/swr/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/harness.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,KAAK,CACnB,GAAwE;IAExE,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;QACpC,KAAK,EACH,GAAG,CAAC,KAAK,YAAY,GAAG;YACtB,CAAC,CAAC,GAAG,CAAC,KAAK;YACX,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,KAAa,EACb,OAAqB;IAErB,MAAM,GAAG,GAAG,OAA0B,CAAC;IACvC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,CAAC;IAClE,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,CAAC;IACrE,IAAI,KAAK,IAAI,GAAG,CAAC,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;IAC1E,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAAuB,EACvB,MAAc;IAEd,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC"}

package/dist/extract/sources/swr/index.d.ts

@@ -0,0 +1,6 @@
+import type { StateSourcePlugin } from "modality-ts/extract/engine/spi";
+export { createSwrKeyWindowTemplate, createSwrTemplate, outcomeFor, swrVarId, swrVars, swrView, swrWindowEntryId, swrWindowEvictedSummaryId, swrWindowView, } from "./template.js";
+export type { SwrKeyWindowEntry, SwrKeyWindowTemplateOptions, SwrTemplateOptions, SwrView, } from "./template.js";
+export declare function swrSource(): StateSourcePlugin;
+export default swrSource;
+//# sourceMappingURL=index.d.ts.map

package/dist/extract/sources/swr/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAMxE,OAAO,EACL,0BAA0B,EAC1B,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,yBAAyB,EACzB,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,YAAY,EACV,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,EAClB,OAAO,GACR,MAAM,eAAe,CAAC;AAEvB,wBAAgB,SAAS,IAAI,iBAAiB,CAe7C;AAED,eAAe,SAAS,CAAC"}

package/dist/extract/sources/swr/index.js

@@ -0,0 +1,22 @@
+import * as harness from "./harness.js";
+import { discoverSwrHooks } from "./discover.js";
+import { templateForSwrDecl } from "./template.js";
+import { discoverSwrReadChannels } from "./writes.js";
+export { createSwrKeyWindowTemplate, createSwrTemplate, outcomeFor, swrVarId, swrVars, swrView, swrWindowEntryId, swrWindowEvictedSummaryId, swrWindowView, } from "./template.js";
+export function swrSource() {
+    return {
+        id: "swr",
+        version: "0.1.0",
+        packageNames: ["swr"],
+        discover: (ctx) => discoverSwrHooks(ctx.sourceText, ctx.fileName),
+        writeChannels: (ctx) => discoverSwrReadChannels(ctx.sourceText, ctx.fileName),
+        template: (decl) => templateForSwrDecl(decl),
+        harness,
+        conformance: {
+            templateProbes: [],
+            testedVersions: "swr>=2",
+        },
+    };
+}
+export default swrSource;
+//# sourceMappingURL=index.js.map

package/dist/extract/sources/swr/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAEtD,OAAO,EACL,0BAA0B,EAC1B,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,yBAAyB,EACzB,aAAa,GACd,MAAM,eAAe,CAAC;AAQvB,MAAM,UAAU,SAAS;IACvB,OAAO;QACL,EAAE,EAAE,KAAK;QACT,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,CAAC,KAAK,CAAC;QACrB,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QACjE,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CACrB,uBAAuB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QACvD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC5C,OAAO;QACP,WAAW,EAAE;YACX,cAAc,EAAE,EAAE;YAClB,cAAc,EAAE,QAAQ;SACzB;KACF,CAAC;AACJ,CAAC;AAED,eAAe,SAAS,CAAC"}

package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts}

@@ -1,5 +1,5 @@
-import type { AbstractDomain, ExprIR, ModelState, StateVarDecl, TemplateFragment, Value } from "modality-ts/kernel";
-import type { SourceDecl, StateSourcePlugin, WriteChannel } from "modality-ts/extraction/spi";
+import type { AbstractDomain, ExprIR, ModelState, StateVarDecl, TemplateFragment, Value } from "modality-ts/core";
+import type { SourceDecl } from "modality-ts/extract/engine/spi";
 export interface SwrTemplateOptions {
     id: string;
     op: string;
@@ -36,9 +36,7 @@ export interface SwrView {
     loadedEmpty: boolean;
     loadedSome: boolean;
 }
-export declare function swrSource(): StateSourcePlugin;
-export declare function discoverSwrReadChannels(sourceText: string, fileName?: string): WriteChannel[];
-export declare function discoverSwrHooks(sourceText: string, fileName?: string): SourceDecl[];
+export declare function templateForSwrDecl(decl: SourceDecl): TemplateFragment;
 export declare function createSwrTemplate(options: SwrTemplateOptions): TemplateFragment;
 export declare function createSwrKeyWindowTemplate(options: SwrKeyWindowTemplateOptions): TemplateFragment;
 export declare function swrVars(options: SwrTemplateOptions): StateVarDecl[];
@@ -52,4 +50,4 @@ export declare function swrVarId(id: string, field: "data" | "isValidating" | "e
 export declare function swrWindowEntryId(id: string, key: string): string;
 export declare function swrWindowEvictedSummaryId(id: string): string;
 export declare function outcomeFor(value: Value): string;
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=template.d.ts.map

package/dist/extract/sources/swr/template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/template.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,cAAc,EACd,MAAM,EACN,UAAU,EACV,YAAY,EACZ,gBAAgB,EAEhB,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAEjE,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,EAAE,cAAc,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,2BAA2B;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,EAAE,cAAc,CAAC;IAC9B,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IACnB,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAarE;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,kBAAkB,GAC1B,gBAAgB,CA0FlB;AAmED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,2BAA2B,GACnC,gBAAgB,CA8BlB;AAiBD,wBAAgB,OAAO,CAAC,OAAO,EAAE,kBAAkB,GAAG,YAAY,EAAE,CAwBnE;AAgCD,wBAAgB,OAAO,CACrB,KAAK,EAAE,UAAU,EACjB,EAAE,EAAE,MAAM,EACV,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GACjC,OAAO,CAgBT;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,UAAU,EACjB,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GACjC,OAAO,CAKT;AAED,wBAAgB,QAAQ,CACtB,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,OAAO,GACvC,MAAM,CAER;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE5D;AAuFD,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAE/C"}

package/dist/extract/sources/swr/template.js

@@ -0,0 +1,331 @@
+import { canonicalJson, enumerateDomain } from "modality-ts/core";
+export function templateForSwrDecl(decl) {
+    const metadata = decl.metadata ?? {};
+    return createSwrTemplate({
+        id: stringMetadata(metadata, "id", decl.id.replace(/^swr:/, "")),
+        op: stringMetadata(metadata, "op", decl.id),
+        payloadDomain: domainMetadata(metadata.payloadDomain),
+        activeWhen: exprMetadata(metadata.activeWhen),
+        revalidateOnFocus: booleanMetadata(metadata, "revalidateOnFocus", false),
+        sourceFile: decl.origin !== "system" && decl.origin !== "library-template"
+            ? decl.origin.file
+            : undefined,
+    });
+}
+export function createSwrTemplate(options) {
+    const vars = swrVars(options);
+    const active = options.activeWhen ?? lit(true);
+    const source = options.sourceFile ? [{ file: options.sourceFile }] : [];
+    const dataVar = swrVarId(options.id, "data");
+    const validatingVar = swrVarId(options.id, "isValidating");
+    const errorVar = swrVarId(options.id, "error");
+    const transitions = [
+        {
+            id: `swr:${options.id}:fetch`,
+            cls: "library",
+            label: { kind: "timer", key: options.id },
+            source,
+            guard: active,
+            effect: {
+                kind: "seq",
+                effects: [
+                    { kind: "assign", var: validatingVar, expr: lit(true) },
+                    {
+                        kind: "enqueue",
+                        op: options.op,
+                        continuation: `swr:${options.id}:resolve`,
+                        args: {},
+                    },
+                ],
+            },
+            reads: [...exprReadList(active)],
+            writes: [validatingVar, "sys:pending"],
+            confidence: "exact",
+        },
+        ...(options.revalidateOnFocus
+            ? [fetchTransition(options, active, source, "focus")]
+            : []),
+        ...(options.mutate
+            ? mutateTransitions(options, active, source, dataVar, validatingVar, errorVar)
+            : []),
+        ...successTransitions(options),
+        {
+            id: `swr:${options.id}:resolve:error`,
+            cls: "env",
+            label: { kind: "resolve", op: options.op, outcome: "error" },
+            source,
+            guard: pendingIs(options.op),
+            effect: {
+                kind: "seq",
+                effects: [
+                    { kind: "dequeue", index: 0 },
+                    { kind: "assign", var: validatingVar, expr: lit(false) },
+                    { kind: "assign", var: errorVar, expr: lit(true) },
+                ],
+            },
+            reads: ["sys:pending"],
+            writes: ["sys:pending", validatingVar, errorVar],
+            confidence: "exact",
+        },
+    ];
+    return { vars, transitions };
+    function successTransitions(template) {
+        return enumerateDomain(template.payloadDomain).map((value, index) => ({
+            id: `swr:${template.id}:resolve:success:${index}`,
+            cls: "env",
+            label: {
+                kind: "resolve",
+                op: template.op,
+                outcome: `success:${index}`,
+            },
+            source,
+            guard: pendingIs(template.op),
+            effect: {
+                kind: "seq",
+                effects: [
+                    { kind: "dequeue", index: 0 },
+                    { kind: "assign", var: dataVar, expr: lit(value) },
+                    { kind: "assign", var: validatingVar, expr: lit(false) },
+                    { kind: "assign", var: errorVar, expr: lit(false) },
+                ],
+            },
+            reads: ["sys:pending"],
+            writes: ["sys:pending", dataVar, validatingVar, errorVar],
+            confidence: "exact",
+        }));
+    }
+}
+function fetchTransition(options, active, source, trigger) {
+    const validatingVar = swrVarId(options.id, "isValidating");
+    return {
+        id: trigger === "timer"
+            ? `swr:${options.id}:fetch`
+            : `swr:${options.id}:focus-revalidate`,
+        cls: "library",
+        label: trigger === "timer"
+            ? { kind: "timer", key: options.id }
+            : { kind: "focus-revalidate", key: options.id },
+        source,
+        guard: active,
+        effect: {
+            kind: "seq",
+            effects: [
+                { kind: "assign", var: validatingVar, expr: lit(true) },
+                {
+                    kind: "enqueue",
+                    op: options.op,
+                    continuation: `swr:${options.id}:resolve`,
+                    args: {},
+                },
+            ],
+        },
+        reads: [...exprReadList(active)],
+        writes: [validatingVar, "sys:pending"],
+        confidence: "exact",
+    };
+}
+function mutateTransitions(options, active, source, dataVar, validatingVar, errorVar) {
+    return enumerateDomain(options.payloadDomain).map((value, index) => ({
+        id: `swr:${options.id}:mutate:${index}`,
+        cls: "library",
+        label: { kind: "internal", text: `mutate ${options.id}:${index}` },
+        source,
+        guard: active,
+        effect: {
+            kind: "seq",
+            effects: [
+                { kind: "assign", var: dataVar, expr: lit(value) },
+                { kind: "assign", var: validatingVar, expr: lit(false) },
+                { kind: "assign", var: errorVar, expr: lit(false) },
+            ],
+        },
+        reads: [...exprReadList(active)],
+        writes: [dataVar, validatingVar, errorVar],
+        confidence: "exact",
+    }));
+}
+export function createSwrKeyWindowTemplate(options) {
+    const windowSize = options.windowSize ?? 2;
+    const entries = selectKeyWindowEntries(options.entries, windowSize, options.currentKey);
+    const selectedIds = new Set(entries.map((entry) => entry.id));
+    const hasEvictedEntries = options.entries.some((entry) => !selectedIds.has(entry.id));
+    const fragments = entries.map((entry) => createSwrTemplate({
+        id: swrWindowEntryId(options.id, entry.id),
+        op: entry.op ?? `${options.op}:${entry.id}`,
+        payloadDomain: options.payloadDomain,
+        activeWhen: combineActive(options.activeWhen, entry.activeWhen),
+        revalidateOnFocus: options.revalidateOnFocus,
+        mutate: options.mutate,
+        sourceFile: options.sourceFile,
+    }));
+    const summaryVars = options.evictedSummary !== false && hasEvictedEntries
+        ? swrEvictedSummaryVars(options.id, options.payloadDomain)
+        : [];
+    return {
+        vars: [...fragments.flatMap((fragment) => fragment.vars), ...summaryVars],
+        transitions: fragments.flatMap((fragment) => fragment.transitions),
+    };
+}
+function selectKeyWindowEntries(entries, windowSize, currentKey) {
+    if (windowSize <= 0)
+        return [];
+    const currentIndex = currentKey === undefined
+        ? -1
+        : entries.findIndex((entry) => entry.id === currentKey);
+    if (currentIndex < 0)
+        return entries.slice(0, windowSize);
+    const start = Math.max(0, currentIndex - windowSize + 1);
+    return entries.slice(start, currentIndex + 1);
+}
+export function swrVars(options) {
+    return [
+        {
+            id: swrVarId(options.id, "data"),
+            domain: { kind: "option", inner: options.payloadDomain },
+            origin: "library-template",
+            scope: { kind: "global" },
+            initial: null,
+        },
+        {
+            id: swrVarId(options.id, "isValidating"),
+            domain: { kind: "bool" },
+            origin: "library-template",
+            scope: { kind: "global" },
+            initial: false,
+        },
+        {
+            id: swrVarId(options.id, "error"),
+            domain: { kind: "bool" },
+            origin: "library-template",
+            scope: { kind: "global" },
+            initial: false,
+        },
+    ];
+}
+function swrEvictedSummaryVars(id, payloadDomain) {
+    const summaryId = swrWindowEvictedSummaryId(id);
+    return [
+        {
+            id: swrVarId(summaryId, "data"),
+            domain: { kind: "option", inner: payloadDomain },
+            origin: "library-template",
+            scope: { kind: "global" },
+            initial: [null, ...enumerateDomain(payloadDomain)],
+        },
+        {
+            id: swrVarId(summaryId, "isValidating"),
+            domain: { kind: "bool" },
+            origin: "library-template",
+            scope: { kind: "global" },
+            initial: false,
+        },
+        {
+            id: swrVarId(summaryId, "error"),
+            domain: { kind: "bool" },
+            origin: "library-template",
+            scope: { kind: "global" },
+            initial: [false, true],
+        },
+    ];
+}
+export function swrView(state, id, options = {}) {
+    const data = state[swrVarId(id, "data")] ?? null;
+    const error = state[swrVarId(id, "error")] === true;
+    const isValidating = state[swrVarId(id, "isValidating")] === true;
+    return {
+        active: options.active ?? true,
+        data,
+        error,
+        isLoading: data === null && isValidating,
+        isValidating,
+        loadedEmpty: data === "0",
+        loadedSome: data === "1" ||
+            data === "many" ||
+            (Array.isArray(data) && data.length > 0),
+    };
+}
+export function swrWindowView(state, id, currentKey, options = {}) {
+    const entryId = swrWindowEntryId(id, currentKey);
+    return Object.hasOwn(state, swrVarId(entryId, "data"))
+        ? swrView(state, entryId, options)
+        : swrView(state, swrWindowEvictedSummaryId(id), options);
+}
+export function swrVarId(id, field) {
+    return `swr:${id}:${field}`;
+}
+export function swrWindowEntryId(id, key) {
+    return `${id}:${key}`;
+}
+export function swrWindowEvictedSummaryId(id) {
+    return `${id}:evicted`;
+}
+function stringMetadata(metadata, key, fallback) {
+    const value = metadata[key];
+    return typeof value === "string" ? value : fallback;
+}
+function booleanMetadata(metadata, key, fallback) {
+    const value = metadata[key];
+    return typeof value === "boolean" ? value : fallback;
+}
+function domainMetadata(value) {
+    if (isDomain(value))
+        return value;
+    return { kind: "tokens", count: 1 };
+}
+function exprMetadata(value) {
+    return isExpr(value) ? value : undefined;
+}
+function isDomain(value) {
+    return Boolean(value &&
+        typeof value === "object" &&
+        !Array.isArray(value) &&
+        "kind" in value);
+}
+function isExpr(value) {
+    return Boolean(value &&
+        typeof value === "object" &&
+        !Array.isArray(value) &&
+        "kind" in value);
+}
+function pendingIs(op) {
+    return {
+        kind: "eq",
+        args: [{ kind: "read", var: "sys:pending", path: ["0", "opId"] }, lit(op)],
+    };
+}
+function lit(value) {
+    return { kind: "lit", value };
+}
+function notExpr(expr) {
+    if (expr.kind === "not")
+        return expr.args[0] ?? lit(true);
+    return { kind: "not", args: [expr] };
+}
+function combineActive(global, local) {
+    if (!global)
+        return local;
+    if (!local)
+        return global;
+    return { kind: "and", args: [global, local] };
+}
+function exprReadList(expr) {
+    const reads = new Set();
+    const walk = (node) => {
+        if (node.kind === "read")
+            reads.add(node.var);
+        if ("args" in node)
+            node.args.forEach(walk);
+        if (node.kind === "updateField") {
+            walk(node.target);
+            walk(node.value);
+        }
+        if (node.kind === "tagIs" || node.kind === "lenCat")
+            walk(node.arg);
+    };
+    walk(expr);
+    return [...reads];
+}
+export function outcomeFor(value) {
+    return canonicalJson(value);
+}
+//# sourceMappingURL=template.js.map

package/dist/extract/sources/swr/template.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/template.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAoDlE,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrC,OAAO,iBAAiB,CAAC;QACvB,EAAE,EAAE,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChE,EAAE,EAAE,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAC3C,aAAa,EAAE,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC;QACrD,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC7C,iBAAiB,EAAE,eAAe,CAAC,QAAQ,EAAE,mBAAmB,EAAE,KAAK,CAAC;QACxE,UAAU,EACR,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB;YAC5D,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI;YAClB,CAAC,CAAC,SAAS;KAChB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAA2B;IAE3B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAiB;QAChC;YACE,EAAE,EAAE,OAAO,OAAO,CAAC,EAAE,QAAQ;YAC7B,GAAG,EAAE,SAAS;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;YACzC,MAAM;YACN,KAAK,EAAE,MAAM;YACb,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;oBACvD;wBACE,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,OAAO,CAAC,EAAE;wBACd,YAAY,EAAE,OAAO,OAAO,CAAC,EAAE,UAAU;wBACzC,IAAI,EAAE,EAAE;qBACT;iBACF;aACF;YACD,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC;YACtC,UAAU,EAAE,OAAO;SACpB;QACD,GAAG,CAAC,OAAO,CAAC,iBAAiB;YAC3B,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACrD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,OAAO,CAAC,MAAM;YAChB,CAAC,CAAC,iBAAiB,CACf,OAAO,EACP,MAAM,EACN,MAAM,EACN,OAAO,EACP,aAAa,EACb,QAAQ,CACT;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,kBAAkB,CAAC,OAAO,CAAC;QAC9B;YACE,EAAE,EAAE,OAAO,OAAO,CAAC,EAAE,gBAAgB;YACrC,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;YAC5D,MAAM;YACN,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;oBAC7B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;oBACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;iBACnD;aACF;YACD,KAAK,EAAE,CAAC,aAAa,CAAC;YACtB,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,QAAQ,CAAC;YAChD,UAAU,EAAE,OAAO;SACpB;KACF,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAE7B,SAAS,kBAAkB,CAAC,QAA4B;QACtD,OAAO,eAAe,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACpE,EAAE,EAAE,OAAO,QAAQ,CAAC,EAAE,oBAAoB,KAAK,EAAE;YACjD,GAAG,EAAE,KAAc;YACnB,KAAK,EAAE;gBACL,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,QAAQ,CAAC,EAAE;gBACf,OAAO,EAAE,WAAW,KAAK,EAAE;aAC5B;YACD,MAAM;YACN,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE;gBACN,IAAI,EAAE,KAAc;gBACpB,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,CAAC,EAAE;oBACtC,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;oBAC3D,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;oBACjE,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;iBAC7D;aACF;YACD,KAAK,EAAE,CAAC,aAAa,CAAC;YACtB,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC;YACzD,UAAU,EAAE,OAAgB;SAC7B,CAAC,CAAC,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,OAA2B,EAC3B,MAAc,EACd,MAA4B,EAC5B,OAA0B;IAE1B,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;IAC3D,OAAO;QACL,EAAE,EACA,OAAO,KAAK,OAAO;YACjB,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,QAAQ;YAC3B,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,mBAAmB;QAC1C,GAAG,EAAE,SAAS;QACd,KAAK,EACH,OAAO,KAAK,OAAO;YACjB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;YACpC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QACnD,MAAM;QACN,KAAK,EAAE,MAAM;QACb,MAAM,EAAE;YACN,IAAI,EAAE,KAAK;YACX,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;gBACvD;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,OAAO,CAAC,EAAE;oBACd,YAAY,EAAE,OAAO,OAAO,CAAC,EAAE,UAAU;oBACzC,IAAI,EAAE,EAAE;iBACT;aACF;SACF;QACD,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC;QACtC,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,OAA2B,EAC3B,MAAc,EACd,MAA4B,EAC5B,OAAe,EACf,aAAqB,EACrB,QAAgB;IAEhB,OAAO,eAAe,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACnE,EAAE,EAAE,OAAO,OAAO,CAAC,EAAE,WAAW,KAAK,EAAE;QACvC,GAAG,EAAE,SAAkB;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,UAAU,OAAO,CAAC,EAAE,IAAI,KAAK,EAAE,EAAE;QAC3E,MAAM;QACN,KAAK,EAAE,MAAM;QACb,MAAM,EAAE;YACN,IAAI,EAAE,KAAc;YACpB,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;gBAC3D,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;gBACjE,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;aAC7D;SACF;QACD,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC;QAC1C,UAAU,EAAE,OAAgB;KAC7B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAAoC;IAEpC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,sBAAsB,CACpC,OAAO,CAAC,OAAO,EACf,UAAU,EACV,OAAO,CAAC,UAAU,CACnB,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,iBAAiB,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAC5C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CACtC,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACtC,iBAAiB,CAAC;QAChB,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,GAAG,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,EAAE,EAAE;QAC3C,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;QAC/D,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;KAC/B,CAAC,CACH,CAAC;IACF,MAAM,WAAW,GACf,OAAO,CAAC,cAAc,KAAK,KAAK,IAAI,iBAAiB;QACnD,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC;QAC1D,CAAC,CAAC,EAAE,CAAC;IACT,OAAO;QACL,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC;QACzE,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAqC,EACrC,UAAkB,EAClB,UAA8B;IAE9B,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,YAAY,GAChB,UAAU,KAAK,SAAS;QACtB,CAAC,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;IAC5D,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC;IACzD,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAA2B;IACjD,OAAO;QACL;YACE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC;YAChC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,EAAE;YACxD,MAAM,EAAE,kBAAkB;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,IAAI;SACd;QACD;YACE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC;YACxC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACxB,MAAM,EAAE,kBAAkB;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,KAAK;SACf;QACD;YACE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC;YACjC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACxB,MAAM,EAAE,kBAAkB;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,KAAK;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,EAAU,EACV,aAA6B;IAE7B,MAAM,SAAS,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;IAChD,OAAO;QACL;YACE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;YAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE;YAChD,MAAM,EAAE,kBAAkB;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,eAAe,CAAC,aAAa,CAAC,CAAC;SACnD;QACD;YACE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;YACvC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACxB,MAAM,EAAE,kBAAkB;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,KAAK;SACf;QACD;YACE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;YAChC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACxB,MAAM,EAAE,kBAAkB;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC;SACvB;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,KAAiB,EACjB,EAAU,EACV,UAAgC,EAAE;IAElC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC;IACpD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,KAAK,IAAI,CAAC;IAClE,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI;QAC9B,IAAI;QACJ,KAAK;QACL,SAAS,EAAE,IAAI,KAAK,IAAI,IAAI,YAAY;QACxC,YAAY;QACZ,WAAW,EAAE,IAAI,KAAK,GAAG;QACzB,UAAU,EACR,IAAI,KAAK,GAAG;YACZ,IAAI,KAAK,MAAM;YACf,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAiB,EACjB,EAAU,EACV,UAAkB,EAClB,UAAgC,EAAE;IAElC,MAAM,OAAO,GAAG,gBAAgB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACpD,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC;QAClC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,yBAAyB,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,EAAU,EACV,KAAwC;IAExC,OAAO,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,EAAU,EAAE,GAAW;IACtD,OAAO,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAU;IAClD,OAAO,GAAG,EAAE,UAAU,CAAC;AACzB,CAAC;AAED,SAAS,cAAc,CACrB,QAA+B,EAC/B,GAAW,EACX,QAAgB;IAEhB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CACtB,QAA+B,EAC/B,GAAW,EACX,QAAiB;IAEjB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AACvD,CAAC;AAED,SAAS,cAAc,CAAC,KAAwB;IAC9C,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,YAAY,CAAC,KAAwB;IAC5C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3C,CAAC;AAED,SAAS,QAAQ,CAAC,KAAwB;IACxC,OAAO,OAAO,CACZ,KAAK;QACH,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,MAAM,IAAI,KAAK,CAClB,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,KAAwB;IACtC,OAAO,OAAO,CACZ,KAAK;QACH,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,MAAM,IAAI,KAAK,CAClB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,GAAG,CAAC,KAAY;IACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,aAAa,CACpB,MAA0B,EAC1B,KAAyB;IAEzB,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,MAAM,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtE,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC"}

package/dist/extract/sources/swr/writes.d.ts

@@ -0,0 +1,3 @@
+import type { WriteChannel } from "modality-ts/extract/engine/spi";
+export declare function discoverSwrReadChannels(sourceText: string, fileName?: string): WriteChannel[];
+//# sourceMappingURL=writes.d.ts.map

package/dist/extract/sources/swr/writes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"writes.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/writes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAKnE,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAY,GACnB,YAAY,EAAE,CAuDhB"}

package/dist/extract/sources/swr/writes.js

@@ -0,0 +1,54 @@
+import * as ts from "typescript";
+import { keyFromExpression, swrIdFromKey, useSwrImportNames } from "./discover.js";
+import { swrVarId } from "./template.js";
+export function discoverSwrReadChannels(sourceText, fileName = "App.tsx") {
+    const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
+    const useSwrNames = useSwrImportNames(source);
+    const channels = [];
+    const visit = (node) => {
+        if (ts.isVariableDeclaration(node) &&
+            ts.isObjectBindingPattern(node.name) &&
+            node.initializer &&
+            ts.isCallExpression(node.initializer) &&
+            ts.isIdentifier(node.initializer.expression) &&
+            useSwrNames.has(node.initializer.expression.text)) {
+            const key = keyFromExpression(node.initializer.arguments[0]);
+            if (key) {
+                const id = swrIdFromKey(key.id);
+                for (const element of node.name.elements) {
+                    if (!ts.isIdentifier(element.name))
+                        continue;
+                    const property = element.propertyName && ts.isIdentifier(element.propertyName)
+                        ? element.propertyName.text
+                        : element.name.text;
+                    if (property === "data" ||
+                        property === "isValidating" ||
+                        property === "error") {
+                        channels.push({
+                            id: `swr:${id}.${property}.read`,
+                            varId: swrVarId(id, property === "data" ? "data" : property),
+                            symbolName: element.name.text,
+                            source: { file: fileName, ...lineAndColumn(source, node) },
+                        });
+                    }
+                    if (property === "mutate") {
+                        channels.push({
+                            id: `swr:${id}.mutate`,
+                            varId: swrVarId(id, "data"),
+                            symbolName: element.name.text,
+                            source: { file: fileName, ...lineAndColumn(source, node) },
+                        });
+                    }
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return channels;
+}
+function lineAndColumn(source, node) {
+    const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
+    return { line: pos.line + 1, column: pos.character + 1 };
+}
+//# sourceMappingURL=writes.js.map

package/dist/extract/sources/swr/writes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"writes.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/writes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACnF,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,MAAM,UAAU,uBAAuB,CACrC,UAAkB,EAClB,QAAQ,GAAG,SAAS;IAEpB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;YACpC,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;YACrC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;YAC5C,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,EACjD,CAAC;YACD,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7D,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;wBAAE,SAAS;oBAC7C,MAAM,QAAQ,GACZ,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC;wBAC3D,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI;wBAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBACxB,IACE,QAAQ,KAAK,MAAM;wBACnB,QAAQ,KAAK,cAAc;wBAC3B,QAAQ,KAAK,OAAO,EACpB,CAAC;wBACD,QAAQ,CAAC,IAAI,CAAC;4BACZ,EAAE,EAAE,OAAO,EAAE,IAAI,QAAQ,OAAO;4BAChC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;4BAC5D,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;4BAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;yBAC3D,CAAC,CAAC;oBACP,CAAC;oBACD,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;wBAC1B,QAAQ,CAAC,IAAI,CAAC;4BACZ,EAAE,EAAE,OAAO,EAAE,SAAS;4BACtB,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;4BAC3B,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;4BAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;yBAC3D,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CACpB,MAAqB,EACrB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC"}

package/dist/{sources → extract/sources}/use-state/harness.d.ts

@@ -1,5 +1,5 @@
-import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extraction/spi";
-import type { AbstractDomain, ModelState, Value } from "modality-ts/kernel";
+import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extract/engine/spi";
+import type { AbstractDomain, ModelState, Value } from "modality-ts/core";
 export interface UseStateHarnessHooks extends HarnessHooks {
     initialState: ModelState;
     probes: Record<string, () => Value>;

package/dist/extract/sources/use-state/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,cAAc,EACf,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE1E,MAAM,WAAW,oBAAqB,SAAQ,YAAY;IACxD,YAAY,EAAE,UAAU,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC;CACrC;AAED,wBAAgB,KAAK,CACnB,GAAG,EAAE,UAAU,GAAG;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;CAAE,GACzD,oBAAoB,CAKtB;AAED,wBAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,YAAY,GACpB,YAAY,GAAG,cAAc,CAO/B;AAED,wBAAgB,OAAO,CACrB,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,MAAM,GACb,cAAc,GAAG,SAAS,CAE5B"}