modality-ts 0.0.8 → 0.0.10

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/transitions.d.ts

@@ -0,0 +1,15 @@
+import type { StateVarDecl } from "modality-ts/core";
+import type { RouterPlugin, StateSourcePlugin, WriteChannel } from "modality-ts/extract/engine/spi";
+import type { ExtractedModelSkeleton } from "../use-state/types.js";
+export interface SwrExtractionOptions {
+    route?: string;
+    fileName?: string;
+    effectApis?: readonly string[];
+    routePatterns?: readonly string[];
+    stateVars?: readonly StateVarDecl[];
+    writeChannels?: readonly WriteChannel[];
+    sourcePlugins?: readonly StateSourcePlugin[];
+    routerPlugin?: RouterPlugin;
+}
+export declare function extractSwrSkeleton(sourceText: string, options?: SwrExtractionOptions): ExtractedModelSkeleton;
+//# sourceMappingURL=transitions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACb,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAMpE,MAAM,WAAW,oBAAoB;IACnC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,aAAa,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,oBAAyB,GACjC,sBAAsB,CAsCxB"}

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

@@ -0,0 +1,43 @@
+import { extractSharedReactTransitions } from "../shared/react-transition-extract.js";
+import { discoverSwrHooks } from "./discover.js";
+import { swrSource } from "./plugin.js";
+import { templateForSwrDecl } from "./template.js";
+import { discoverSwrReadChannels } from "./writes.js";
+export function extractSwrSkeleton(sourceText, options = {}) {
+    const fileName = options.fileName ?? "App.tsx";
+    const route = options.route ?? "/";
+    const decls = discoverSwrHooks(sourceText, fileName);
+    const templateFragments = decls.map((decl) => templateForSwrDecl(decl));
+    const vars = [
+        ...decls
+            .map((decl) => decl.var)
+            .filter((decl) => Boolean(decl)),
+        ...templateFragments.flatMap((fragment) => fragment.vars),
+        ...(options.stateVars ?? []),
+    ];
+    const writeChannels = [
+        ...discoverSwrReadChannels(sourceText, fileName),
+        ...(options.writeChannels ?? []),
+    ];
+    const sourcePlugins = [swrSource(), ...(options.sourcePlugins ?? [])];
+    const { transitions, warnings = [] } = extractSharedReactTransitions({
+        sourceText,
+        fileName,
+        route,
+        effectApis: options.effectApis ?? [],
+        routePatterns: options.routePatterns ?? [],
+        stateVars: vars,
+        ...(writeChannels.length > 0 ? { writeChannels } : {}),
+        sourcePlugins,
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+    });
+    return {
+        vars,
+        transitions: [
+            ...transitions,
+            ...templateFragments.flatMap((fragment) => fragment.transitions),
+        ],
+        warnings: [...warnings],
+    };
+}
+//# sourceMappingURL=transitions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/transitions.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AAEtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAatD,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,UAAgC,EAAE;IAElC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,iBAAiB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,kBAAkB,CAAC,IAAI,CAAC,CACzB,CAAC;IACF,MAAM,IAAI,GAAG;QACX,GAAG,KAAK;aACL,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;aACvB,MAAM,CAAC,CAAC,IAAI,EAAwB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;QACzD,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;KAC7B,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,GAAG,uBAAuB,CAAC,UAAU,EAAE,QAAQ,CAAC;QAChD,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;KACjC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,EAAE,WAAW,EAAE,QAAQ,GAAG,EAAE,EAAE,GAAG,6BAA6B,CAAC;QACnE,UAAU;QACV,QAAQ;QACR,KAAK;QACL,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,SAAS,EAAE,IAAI;QACf,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,aAAa;QACb,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,WAAW,EAAE;YACX,GAAG,WAAW;YACd,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;SACjE;QACD,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;KACxB,CAAC;AACJ,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"}

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

@@ -1,7 +1,7 @@
 export function setup(ctx) {
     return {
         initialState: ctx.initialState ?? {},
-        probes: ctx.probes ?? {}
+        probes: ctx.probes ?? {},
     };
 }
 export function observe(varId, handles) {

package/dist/extract/sources/use-state/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/harness.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,KAAK,CACnB,GAA0D;IAE1D,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;QACpC,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,KAAa,EACb,OAAqB;IAErB,MAAM,QAAQ,GAAG,OAA+B,CAAC;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;IACrC,IAAI,KAAK,IAAI,QAAQ,CAAC,YAAY;QAChC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;IAClD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAAuB,EACvB,MAAc;IAEd,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/extract/sources/use-state/index.d.ts

@@ -0,0 +1,4 @@
+import type { StateSourcePlugin } from "modality-ts/extract/engine/spi";
+export declare function useStateSource(): StateSourcePlugin;
+export default useStateSource;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,gCAAgC,CAAC;AAUxC,wBAAgB,cAAc,IAAI,iBAAiB,CAclD;AAED,eAAe,cAAc,CAAC"}