modality-ts 0.0.0

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

@@ -0,0 +1,51 @@
+import type { AbstractDomain, ExprIR, ModelState, StateVarDecl, TemplateFragment, Value } from "modality-ts/kernel";
+import type { SourceDecl, StateSourcePlugin } from "modality-ts/extraction/spi";
+export interface SwrTemplateOptions {
+    id: string;
+    op: string;
+    payloadDomain: AbstractDomain;
+    activeWhen?: ExprIR;
+    revalidateOnFocus?: boolean;
+    mutate?: boolean;
+    sourceFile?: string;
+}
+export interface SwrKeyWindowEntry {
+    id: string;
+    op?: string;
+    activeWhen?: ExprIR;
+}
+export interface SwrKeyWindowTemplateOptions {
+    id: string;
+    op: string;
+    payloadDomain: AbstractDomain;
+    entries: readonly SwrKeyWindowEntry[];
+    windowSize?: number;
+    activeWhen?: ExprIR;
+    revalidateOnFocus?: boolean;
+    mutate?: boolean;
+    sourceFile?: string;
+}
+export interface SwrView {
+    active: boolean;
+    data: Value | null;
+    error: boolean;
+    isLoading: boolean;
+    isValidating: boolean;
+    loadedEmpty: boolean;
+    loadedSome: boolean;
+}
+export declare function swrSource(): StateSourcePlugin;
+export declare function discoverSwrHooks(sourceText: string, fileName?: string): SourceDecl[];
+export declare function createSwrTemplate(options: SwrTemplateOptions): TemplateFragment;
+export declare function createSwrKeyWindowTemplate(options: SwrKeyWindowTemplateOptions): TemplateFragment;
+export declare function swrVars(options: SwrTemplateOptions): StateVarDecl[];
+export declare function swrView(state: ModelState, id: string, options?: {
+    active?: boolean;
+}): SwrView;
+export declare function swrWindowView(state: ModelState, id: string, currentKey: string, options?: {
+    active?: boolean;
+}): SwrView;
+export declare function swrVarId(id: string, field: "data" | "isValidating" | "error"): string;
+export declare function swrWindowEntryId(id: string, key: string): string;
+export declare function outcomeFor(value: Value): string;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sources/swr/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAc,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChI,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAIhF,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,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,SAAS,IAAI,iBAAiB,CAc7C;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAY,GAAG,UAAU,EAAE,CA+BvF;AAuID,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,kBAAkB,GAAG,gBAAgB,CAsE/E;AAwDD,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,2BAA2B,GAAG,gBAAgB,CAkBjG;AAED,wBAAgB,OAAO,CAAC,OAAO,EAAE,kBAAkB,GAAG,YAAY,EAAE,CAMnE;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,OAAO,CAalG;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,OAAO,CAE5H;AAED,wBAAgB,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,OAAO,GAAG,MAAM,CAErF;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAEhE;AA8DD,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAE/C"}

package/dist/sources/swr/index.js

@@ -0,0 +1,428 @@
+import { canonicalJson, enumerateDomain } from "modality-ts/kernel";
+import * as ts from "typescript";
+import * as harness from "./harness.js";
+export function swrSource() {
+    return {
+        id: "swr",
+        version: "0.1.0",
+        packageNames: ["swr"],
+        discover: (ctx) => discoverSwrHooks(ctx.sourceText, ctx.fileName),
+        writeChannels: () => [],
+        template: (decl) => templateForSwrDecl(decl),
+        harness,
+        conformance: {
+            templateProbes: [],
+            testedVersions: "swr>=2"
+        }
+    };
+}
+export function discoverSwrHooks(sourceText, fileName = "App.tsx") {
+    const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
+    const useSwrNames = useSwrImportNames(source);
+    if (useSwrNames.size === 0)
+        return [];
+    const decls = [];
+    const visit = (node) => {
+        if (ts.isCallExpression(node) && ts.isIdentifier(node.expression) && useSwrNames.has(node.expression.text)) {
+            const key = keyFromExpression(node.arguments[0]);
+            if (key) {
+                const id = swrIdFromKey(key.id);
+                const origin = { file: fileName, ...lineAndColumn(source, node) };
+                decls.push({
+                    id: `swr:${id}`,
+                    kind: "swr/useSWR",
+                    origin,
+                    metadata: {
+                        key: key.id,
+                        id,
+                        op: `GET ${key.id}`,
+                        payloadDomain: inferPayloadDomain(node.typeArguments?.[0]),
+                        ...(key.activeWhen ? { activeWhen: key.activeWhen } : {}),
+                        ...optionsMetadata(node.arguments[2])
+                    }
+                });
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return decls;
+}
+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
+    });
+}
+function useSwrImportNames(source) {
+    const names = new Set();
+    for (const statement of source.statements) {
+        if (!ts.isImportDeclaration(statement) || !ts.isStringLiteral(statement.moduleSpecifier) || statement.moduleSpecifier.text !== "swr")
+            continue;
+        if (statement.importClause?.name)
+            names.add(statement.importClause.name.text);
+        const bindings = statement.importClause?.namedBindings;
+        if (!bindings || !ts.isNamedImports(bindings))
+            continue;
+        for (const specifier of bindings.elements) {
+            const imported = specifier.propertyName?.text ?? specifier.name.text;
+            if (imported === "useSWR")
+                names.add(specifier.name.text);
+        }
+    }
+    return names;
+}
+function keyFromExpression(expr) {
+    if (!expr)
+        return undefined;
+    if (ts.isStringLiteral(expr) && expr.text.length > 0)
+        return { id: expr.text };
+    if (ts.isNoSubstitutionTemplateLiteral(expr) && expr.text.length > 0)
+        return { id: expr.text };
+    if (ts.isArrayLiteralExpression(expr)) {
+        const parts = expr.elements.map(keyPartFromExpression);
+        if (parts.every((part) => Boolean(part)))
+            return { id: `[${parts.join(",")}]` };
+    }
+    if (ts.isConditionalExpression(expr) && isNullish(expr.whenFalse)) {
+        const key = keyFromExpression(expr.whenTrue);
+        const activeWhen = exprFromCondition(expr.condition);
+        if (key && activeWhen)
+            return { ...key, activeWhen };
+    }
+    return undefined;
+}
+function keyPartFromExpression(expr) {
+    if (ts.isStringLiteral(expr) || ts.isNoSubstitutionTemplateLiteral(expr))
+        return expr.text;
+    if (ts.isNumericLiteral(expr))
+        return expr.text;
+    return undefined;
+}
+function exprFromCondition(expr) {
+    if (ts.isIdentifier(expr))
+        return { kind: "read", var: expr.text };
+    if (expr.kind === ts.SyntaxKind.TrueKeyword)
+        return { kind: "lit", value: true };
+    if (expr.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "lit", value: false };
+    if (ts.isBinaryExpression(expr) && (expr.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken || expr.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken)) {
+        const left = ts.isIdentifier(expr.left) ? { kind: "read", var: expr.left.text } : undefined;
+        const right = literalExpr(expr.right);
+        if (left && right)
+            return { kind: expr.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ? "eq" : "neq", args: [left, right] };
+    }
+    if (ts.isPrefixUnaryExpression(expr) && expr.operator === ts.SyntaxKind.ExclamationToken) {
+        const inner = exprFromCondition(expr.operand);
+        if (inner)
+            return { kind: "not", args: [inner] };
+    }
+    return undefined;
+}
+function literalExpr(expr) {
+    if (ts.isStringLiteral(expr))
+        return { kind: "lit", value: expr.text };
+    if (ts.isNumericLiteral(expr))
+        return { kind: "lit", value: Number(expr.text) };
+    if (expr.kind === ts.SyntaxKind.TrueKeyword)
+        return { kind: "lit", value: true };
+    if (expr.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "lit", value: false };
+    if (expr.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "lit", value: null };
+    return undefined;
+}
+function isNullish(expr) {
+    return expr.kind === ts.SyntaxKind.NullKeyword || (ts.isIdentifier(expr) && expr.text === "undefined");
+}
+function optionsMetadata(expr) {
+    if (!expr || !ts.isObjectLiteralExpression(expr))
+        return {};
+    const metadata = {};
+    for (const prop of expr.properties) {
+        if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name))
+            continue;
+        if (prop.name.text === "revalidateOnFocus" && prop.initializer.kind === ts.SyntaxKind.TrueKeyword)
+            metadata.revalidateOnFocus = true;
+        if (prop.name.text === "revalidateOnFocus" && prop.initializer.kind === ts.SyntaxKind.FalseKeyword)
+            metadata.revalidateOnFocus = false;
+    }
+    return metadata;
+}
+function inferPayloadDomain(typeArg) {
+    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);
+        case ts.SyntaxKind.ArrayType:
+            return { kind: "lengthCat" };
+        case ts.SyntaxKind.TypeReference: {
+            const name = typeArg.typeName.getText();
+            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) {
+    const literalValues = [];
+    const numericValues = [];
+    for (const part of node.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 === node.types.length)
+        return { kind: "boundedInt", min: Math.min(...numericValues), max: Math.max(...numericValues) };
+    return { kind: "enum", values: literalValues };
+}
+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 = options.entries.slice(0, windowSize);
+    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
+    }));
+    return {
+        vars: fragments.flatMap((fragment) => fragment.vars),
+        transitions: fragments.flatMap((fragment) => fragment.transitions)
+    };
+}
+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 }
+    ];
+}
+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 = {}) {
+    return swrView(state, swrWindowEntryId(id, currentKey), options);
+}
+export function swrVarId(id, field) {
+    return `swr:${id}:${field}`;
+}
+export function swrWindowEntryId(id, key) {
+    return `${id}:${key}`;
+}
+function swrIdFromKey(key) {
+    return key.replace(/^\/+/, "").replace(/[^A-Za-z0-9]+/g, "_").replace(/^_+|_+$/g, "") || "root";
+}
+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 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);
+}
+function lineAndColumn(source, node) {
+    const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
+    return { line: pos.line + 1, column: pos.character + 1 };
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/sources/swr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGpE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAwCxC,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,GAAG,EAAE,CAAC,EAAE;QACvB,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,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,QAAQ,GAAG,SAAS;IACvE,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1G,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3G,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChC,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBAClE,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,OAAO,EAAE,EAAE;oBACf,IAAI,EAAE,YAAY;oBAClB,MAAM;oBACN,QAAQ,EAAE;wBACR,GAAG,EAAE,GAAG,CAAC,EAAE;wBACX,EAAE;wBACF,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,EAAE;wBACnB,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAU;wBACnE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAClE,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;qBACtC;iBACF,CAAC,CAAC;YACL,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,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,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,EAAE,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KAC1G,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAqB;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAC/I,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACvD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACrE,IAAI,QAAQ,KAAK,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,IAA+B;IACxD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/E,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/F,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAClE,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,GAAG,IAAI,UAAU;YAAE,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAmB;IAChD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC3F,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAChD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAmB;IAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnF,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,EAAE,CAAC;QACjL,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACrG,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,IAAI,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;IAC5I,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACzF,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACvE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACjF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,IAAmB;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AACzG,CAAC;AAED,SAAS,eAAe,CAAC,IAA+B;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5E,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;QACrI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,QAAQ,CAAC,iBAAiB,GAAG,KAAK,CAAC;IACzI,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgC;IAC1D,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,CAAC,CAAC;QACtD,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,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe;gBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC/E,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,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC/G,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;QAAE,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;IAC1G,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC3G,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CAAC,IAAsB;IAC7C,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,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,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC;IAChJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAA2B;IAC3D,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,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,OAAO,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE;iBACzF;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,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,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,EAAE,IAAI,EAAE,SAAkB,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,WAAW,KAAK,EAAE,EAAE;YACjF,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,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,mBAAmB;QAC1F,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QAC/G,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,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,OAAO,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE;aACzF;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,CAAC,OAAoC;IAC7E,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACrD,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,OAAO;QACL,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpD,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAA2B;IACjD,OAAO;QACL,EAAE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;QACpK,EAAE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;QAC7I,EAAE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;KACvI,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAiB,EAAE,EAAU,EAAE,UAAgC,EAAE;IACvF,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,EAAE,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;KACxF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAiB,EAAE,EAAU,EAAE,UAAkB,EAAE,UAAgC,EAAE;IACjH,OAAO,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,EAAU,EAAE,KAAwC;IAC3E,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,SAAS,YAAY,CAAC,GAAW;IAC/B,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC;AAClG,CAAC;AAED,SAAS,cAAc,CAAC,QAA+B,EAAE,GAAW,EAAE,QAAgB;IACpF,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,CAAC,QAA+B,EAAE,GAAW,EAAE,QAAiB;IACtF,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,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,MAAM,CAAC,KAAwB;IACtC,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,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,EAAE,CAAC;AACpG,CAAC;AAED,SAAS,GAAG,CAAC,KAAY;IACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,aAAa,CAAC,MAA0B,EAAE,KAAyB;IAC1E,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;AAED,SAAS,aAAa,CAAC,MAAqB,EAAE,IAAa;IACzD,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/use-state/harness.d.ts

@@ -0,0 +1,12 @@
+import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extraction/spi";
+import type { AbstractDomain, ModelState, Value } from "modality-ts/kernel";
+export interface UseStateHarnessHooks extends HarnessHooks {
+    initialState: ModelState;
+    probes: Record<string, () => Value>;
+}
+export declare function setup(ctx: HarnessCtx & {
+    probes?: Record<string, () => Value>;
+}): UseStateHarnessHooks;
+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/use-state/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../src/sources/use-state/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,oBAAqB,SAAQ,YAAY;IACxD,YAAY,EAAE,UAAU,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC;CACrC;AAED,wBAAgB,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;CAAE,GAAG,oBAAoB,CAKtG;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/use-state/harness.js

@@ -0,0 +1,19 @@
+export function setup(ctx) {
+    return {
+        initialState: ctx.initialState ?? {},
+        probes: ctx.probes ?? {}
+    };
+}
+export function observe(varId, handles) {
+    const useState = handles;
+    const probe = useState.probes[varId];
+    if (probe)
+        return { value: probe() };
+    if (varId in useState.initialState)
+        return { value: useState.initialState[varId] };
+    return "unobservable";
+}
+export function witness(_domain, _varId) {
+    return undefined;
+}
+//# sourceMappingURL=harness.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../src/sources/use-state/harness.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,KAAK,CAAC,GAA0D;IAC9E,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,CAAC,KAAa,EAAE,OAAqB;IAC1D,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;QAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;IACpF,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAuB,EAAE,MAAc;IAC7D,OAAO,SAAS,CAAC;AACnB,CAAC"}

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

@@ -0,0 +1,9 @@
+import * as ts from "typescript";
+import type { StateSourcePlugin, SourceDecl, WriteChannel } from "modality-ts/extraction/spi";
+import type { AbstractDomain } from "modality-ts/kernel";
+export declare function useStateSource(): StateSourcePlugin;
+export default useStateSource;
+export declare function discoverUseState(sourceText: string, fileName?: string, route?: string): SourceDecl[];
+export declare function discoverUseStateWriteChannels(sourceText: string, fileName?: string): WriteChannel[];
+export declare function inferDomainFromTypeNode(node: ts.TypeNode | undefined): AbstractDomain;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sources/use-state/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,KAAK,EAAE,cAAc,EAAqC,MAAM,oBAAoB,CAAC;AAG5F,wBAAgB,cAAc,IAAI,iBAAiB,CAYlD;AAED,eAAe,cAAc,CAAC;AAE9B,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAY,EAAE,KAAK,SAAM,GAAG,UAAU,EAAE,CAqCpG;AAED,wBAAgB,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAY,GAAG,YAAY,EAAE,CAWtG;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,GAAG,cAAc,CAuBrF"}