modality-ts 0.0.8 → 0.0.9

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"}

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

@@ -1,5 +1,5 @@
 import * as ts from "typescript";
-import { validateValue } from "modality-ts/kernel";
+import { validateValue, } from "modality-ts/core";
 import * as harness from "./harness.js";
 export function useStateSource() {
     return {
@@ -10,19 +10,22 @@ export function useStateSource() {
         writeChannels: (ctx) => discoverUseStateWriteChannels(ctx.sourceText, ctx.fileName),
         harness,
         conformance: {
-            testedVersions: "react>=18"
-        }
+            testedVersions: "react>=18",
+        },
     };
 }
 export default useStateSource;
-export function discoverUseState(sourceText, fileName = "App.tsx", route = "/") {
+function discoverUseState(sourceText, fileName = "App.tsx", route = "/") {
     const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
     const typeAliases = typeAliasDeclarations(source);
     const providerComponents = providerComponentNames(source);
     const decls = [];
     const visit = (node, componentName) => {
         const component = componentNameFor(node) ?? componentName;
-        if (ts.isVariableDeclaration(node) && ts.isArrayBindingPattern(node.name) && node.initializer && isUseStateCall(node.initializer)) {
+        if (ts.isVariableDeclaration(node) &&
+            ts.isArrayBindingPattern(node.name) &&
+            node.initializer &&
+            isUseStateCall(node.initializer)) {
             const stateName = node.name.elements[0];
             const setterName = node.name.elements[1];
             if (ts.isBindingElement(stateName) && ts.isIdentifier(stateName.name)) {
@@ -34,8 +37,10 @@ export function discoverUseState(sourceText, fileName = "App.tsx", route = "/")
                     id: varId,
                     domain,
                     origin,
-                    scope: providerComponents.has(componentId) ? { kind: "global" } : { kind: "route-local", route },
-                    initial: initialValueForUseState(node.initializer, domain)
+                    scope: providerComponents.has(componentId)
+                        ? { kind: "global" }
+                        : { kind: "route-local", route },
+                    initial: initialValueForUseState(node.initializer, domain),
                 };
                 decls.push({
                     id: varId,
@@ -45,8 +50,12 @@ export function discoverUseState(sourceText, fileName = "App.tsx", route = "/")
                     metadata: {
                         component: componentId,
                         stateName: stateName.name.text,
-                        ...(setterName && ts.isBindingElement(setterName) && ts.isIdentifier(setterName.name) ? { setterName: setterName.name.text } : {})
-                    }
+                        ...(setterName &&
+                            ts.isBindingElement(setterName) &&
+                            ts.isIdentifier(setterName.name)
+                            ? { setterName: setterName.name.text }
+                            : {}),
+                    },
                 });
             }
         }
@@ -55,20 +64,22 @@ export function discoverUseState(sourceText, fileName = "App.tsx", route = "/")
     visit(source, undefined);
     return decls;
 }
-export function discoverUseStateWriteChannels(sourceText, fileName = "App.tsx") {
+function discoverUseStateWriteChannels(sourceText, fileName = "App.tsx") {
     return discoverUseState(sourceText, fileName, "/").flatMap((decl) => {
         const setterName = decl.metadata?.setterName;
         if (typeof setterName !== "string" || !decl.var)
             return [];
-        return [{
+        return [
+            {
                 id: `${decl.id}.setter`,
                 varId: decl.var.id,
                 symbolName: setterName,
-                source: decl.origin
-            }];
+                source: decl.origin,
+            },
+        ];
     });
 }
-export function inferDomainFromTypeNode(node, typeAliases = new Map()) {
+function inferDomainFromTypeNode(node, typeAliases = new Map()) {
     if (!node)
         return { kind: "tokens", count: 1 };
     switch (node.kind) {
@@ -100,12 +111,17 @@ function inferUseStateDomain(call, typeAliases = new Map()) {
     const initial = call.arguments[0];
     if (!initial)
         return { kind: "tokens", count: 1 };
-    if (initial.kind === ts.SyntaxKind.TrueKeyword || initial.kind === ts.SyntaxKind.FalseKeyword)
+    if (initial.kind === ts.SyntaxKind.TrueKeyword ||
+        initial.kind === ts.SyntaxKind.FalseKeyword)
         return { kind: "bool" };
     if (ts.isStringLiteral(initial))
         return { kind: "enum", values: [initial.text] };
     if (ts.isNumericLiteral(initial))
-        return { kind: "boundedInt", min: Number(initial.text), max: Number(initial.text) };
+        return {
+            kind: "boundedInt",
+            min: Number(initial.text),
+            max: Number(initial.text),
+        };
     if (initial.kind === ts.SyntaxKind.NullKeyword)
         return { kind: "option", inner: { kind: "tokens", count: 1 } };
     if (ts.isArrayLiteralExpression(initial))
@@ -127,7 +143,11 @@ function initialValueForUseState(call, domain) {
     if (initial.kind === ts.SyntaxKind.NullKeyword)
         return validInitialOrFirst(domain, null);
     if (ts.isArrayLiteralExpression(initial))
-        return validInitialOrFirst(domain, initial.elements.length === 0 ? "0" : initial.elements.length === 1 ? "1" : "many");
+        return validInitialOrFirst(domain, initial.elements.length === 0
+            ? "0"
+            : initial.elements.length === 1
+                ? "1"
+                : "many");
     return firstValue(domain);
 }
 function validInitialOrFirst(domain, value) {
@@ -135,7 +155,8 @@ function validInitialOrFirst(domain, value) {
 }
 function domainFromLiteralType(node) {
     const lit = node.literal;
-    if (lit.kind === ts.SyntaxKind.TrueKeyword || lit.kind === ts.SyntaxKind.FalseKeyword)
+    if (lit.kind === ts.SyntaxKind.TrueKeyword ||
+        lit.kind === ts.SyntaxKind.FalseKeyword)
         return { kind: "bool" };
     if (ts.isStringLiteral(lit))
         return { kind: "enum", values: [lit.text] };
@@ -146,9 +167,14 @@ function domainFromLiteralType(node) {
     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));
+    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 === 1) {
-        return { kind: "option", inner: inferDomainFromTypeNode(nonNull[0], typeAliases) };
+        return {
+            kind: "option",
+            inner: inferDomainFromTypeNode(nonNull[0], typeAliases),
+        };
     }
     const literalValues = [];
     const numericValues = [];
@@ -164,7 +190,11 @@ function domainFromUnion(node, typeAliases = new Map()) {
             return taggedUnionFrom(node) ?? { kind: "tokens", count: 1 };
     }
     if (numericValues.length === node.types.length)
-        return { kind: "boundedInt", min: Math.min(...numericValues), max: Math.max(...numericValues) };
+        return {
+            kind: "boundedInt",
+            min: Math.min(...numericValues),
+            max: Math.max(...numericValues),
+        };
     return { kind: "enum", values: literalValues };
 }
 function taggedUnionFrom(node) {
@@ -174,7 +204,10 @@ function taggedUnionFrom(node) {
     const tagCandidates = new Map();
     for (const member of members) {
         for (const prop of member.members.filter(ts.isPropertySignature)) {
-            if (!prop.type || !ts.isIdentifier(prop.name) || !ts.isLiteralTypeNode(prop.type) || !ts.isStringLiteral(prop.type.literal))
+            if (!prop.type ||
+                !ts.isIdentifier(prop.name) ||
+                !ts.isLiteralTypeNode(prop.type) ||
+                !ts.isStringLiteral(prop.type.literal))
                 continue;
             const set = tagCandidates.get(prop.name.text) ?? new Set();
             set.add(prop.type.literal.text);
@@ -186,8 +219,12 @@ function taggedUnionFrom(node) {
         return undefined;
     const variants = {};
     for (const member of members) {
-        const tagProp = member.members.find((prop) => ts.isPropertySignature(prop) && ts.isIdentifier(prop.name) && prop.name.text === tag);
-        if (!tagProp?.type || !ts.isLiteralTypeNode(tagProp.type) || !ts.isStringLiteral(tagProp.type.literal))
+        const tagProp = member.members.find((prop) => ts.isPropertySignature(prop) &&
+            ts.isIdentifier(prop.name) &&
+            prop.name.text === tag);
+        if (!tagProp?.type ||
+            !ts.isLiteralTypeNode(tagProp.type) ||
+            !ts.isStringLiteral(tagProp.type.literal))
             return undefined;
         variants[tagProp.type.literal.text] = domainFromTypeLiteral(member, tag);
     }
@@ -196,7 +233,10 @@ function taggedUnionFrom(node) {
 function domainFromTypeLiteral(node, omitField) {
     const fields = {};
     for (const member of node.members) {
-        if (!ts.isPropertySignature(member) || !member.type || !ts.isIdentifier(member.name) || member.name.text === omitField)
+        if (!ts.isPropertySignature(member) ||
+            !member.type ||
+            !ts.isIdentifier(member.name) ||
+            member.name.text === omitField)
             continue;
         fields[member.name.text] = inferDomainFromTypeNode(member.type);
     }
@@ -207,7 +247,8 @@ function domainFromTypeReference(node, typeAliases = new Map()) {
     const alias = typeAliases.get(name);
     if (alias)
         return inferDomainFromTypeNode(alias, typeAliases);
-    if ((name === "Array" || name === "ReadonlyArray") && node.typeArguments?.length === 1)
+    if ((name === "Array" || name === "ReadonlyArray") &&
+        node.typeArguments?.length === 1)
         return { kind: "lengthCat" };
     if (name === "Record")
         return { kind: "tokens", count: 1 };
@@ -224,12 +265,18 @@ function typeAliasDeclarations(source) {
     return aliases;
 }
 function isUseStateCall(node) {
-    return ts.isCallExpression(node) && ts.isIdentifier(node.expression) && node.expression.text === "useState";
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        node.expression.text === "useState");
 }
 function componentNameFor(node) {
-    if (ts.isFunctionDeclaration(node) && node.name && startsUppercase(node.name.text))
+    if (ts.isFunctionDeclaration(node) &&
+        node.name &&
+        startsUppercase(node.name.text))
         return node.name.text;
-    if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && startsUppercase(node.name.text))
+    if (ts.isVariableDeclaration(node) &&
+        ts.isIdentifier(node.name) &&
+        startsUppercase(node.name.text))
         return node.name.text;
     return undefined;
 }
@@ -258,9 +305,15 @@ function firstValue(domain) {
         case "option":
             return null;
         case "record":
-            return Object.fromEntries(Object.entries(domain.fields).map(([key, field]) => [key, firstValue(field)]));
+            return Object.fromEntries(Object.entries(domain.fields).map(([key, field]) => [
+                key,
+                firstValue(field),
+            ]));
         case "tagged": {
-            const [tagValue, variant] = Object.entries(domain.variants)[0] ?? ["unknown", { kind: "record", fields: {} }];
+            const [tagValue, variant] = Object.entries(domain.variants)[0] ?? [
+                "unknown",
+                { kind: "record", fields: {} },
+            ];
             return { ...firstValue(variant), [domain.tag]: tagValue };
         }
         case "tokens":

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EACL,aAAa,GAKd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAExC,MAAM,UAAU,cAAc;IAC5B,OAAO;QACL,EAAE,EAAE,WAAW;QACf,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,CAAC,OAAO,CAAC;QACvB,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAChB,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC;QAC3D,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CACrB,6BAA6B,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC7D,OAAO;QACP,WAAW,EAAE;YACX,cAAc,EAAE,WAAW;SAC5B;KACF,CAAC;AACJ,CAAC;AAED,eAAe,cAAc,CAAC;AAE9B,SAAS,gBAAgB,CACvB,UAAkB,EAClB,QAAQ,GAAG,SAAS,EACpB,KAAK,GAAG,GAAG;IAEX,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,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,aAAiC,EAAQ,EAAE;QACvE,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC;QAC1D,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,IAAI,CAAC,WAAW;YAChB,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,EAChC,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtE,MAAM,WAAW,GAAG,SAAS,IAAI,WAAW,CAAC;gBAC7C,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;gBAClE,MAAM,KAAK,GAAG,SAAS,WAAW,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5D,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBAClE,MAAM,QAAQ,GAAiB;oBAC7B,EAAE,EAAE,KAAK;oBACT,MAAM;oBACN,MAAM;oBACN,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC;wBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;oBAClC,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;iBAC3D,CAAC;gBACF,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,QAAQ;oBACb,MAAM;oBACN,QAAQ,EAAE;wBACR,SAAS,EAAE,WAAW;wBACtB,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI;wBAC9B,GAAG,CAAC,UAAU;4BACd,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;4BAC/B,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC;4BAC9B,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE;4BACtC,CAAC,CAAC,EAAE,CAAC;qBACR;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,6BAA6B,CACpC,UAAkB,EAClB,QAAQ,GAAG,SAAS;IAEpB,OAAO,gBAAgB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAClE,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC;QAC7C,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC;QAC3D,OAAO;YACL;gBACE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,SAAS;gBACvB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE;gBAClB,UAAU,EAAE,UAAU;gBACtB,MAAM,EAAE,IAAI,CAAC,MAAsB;aACpC;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAA6B,EAC7B,cAAgD,IAAI,GAAG,EAAE;IAEzD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACtC,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,IAA0B,CAAC,CAAC;QAC3D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,eAAe,CAAC,IAAwB,EAAE,WAAW,CAAC,CAAC;QAChE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,IAA0B,CAAC,CAAC;QAC3D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,uBAAuB,CAAC,IAA4B,EAAE,WAAW,CAAC,CAAC;QAC5E;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAuB,EACvB,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,OAAO;QAAE,OAAO,uBAAuB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClD,IACE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC1C,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;YACzB,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;SAC1B,CAAC;IACJ,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,MAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC7C,OAAO,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC7B,OAAO,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC9B,OAAO,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;QACtC,OAAO,mBAAmB,CACxB,MAAM,EACN,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAC7B,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,MAAM,CACb,CAAC;IACJ,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB,EAAE,KAAY;IAC/D,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AACnE,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,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,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;YAC7B,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC/D,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,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACpE,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QAC5C,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,eAAe,CAAC,IAAsB;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACjE,IACE,CAAC,IAAI,CAAC,IAAI;gBACV,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC3B,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;gBAEtC,SAAS;YACX,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACnE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,QAAQ,GAAmC,EAAE,CAAC;IACpD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,IAAI,EAAgC,EAAE,CACrC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CACzB,CAAC;QACF,IACE,CAAC,OAAO,EAAE,IAAI;YACd,CAAC,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC;YACnC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAEzC,OAAO,SAAS,CAAC;QACnB,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,SAAkB;IAElB,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;YAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAE9B,SAAS;QACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAA0B,EAC1B,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,KAAK;QAAE,OAAO,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC9D,IACE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,CAAC;QAC9C,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC;QAEhC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC/B,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,qBAAqB,CAC5B,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;AAED,SAAS,cAAc,CAAC,IAAmB;IACzC,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;QACT,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAqB;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxE,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,eAAe,CAAC,KAAa;IACpC,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,UAAU,CAAC,MAAsB;IACxC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;gBAClD,GAAG;gBACH,UAAU,CAAC,KAAK,CAAC;aAClB,CAAC,CACH,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;gBAChE,SAAS;gBACT,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAW;aACxC,CAAC;YACF,OAAO,EAAE,GAAI,UAAU,CAAC,OAAO,CAAY,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;QACxE,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,GAAG,CAAC;QACb,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC;IACd,CAAC;AACH,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/extract/sources/use-state/transitions.d.ts

@@ -0,0 +1,4 @@
+import type { ExtractedModelSkeleton, UseStateExtractionOptions, UseStateExtractionResult } from "./types.js";
+export declare function extractUseStateVars(sourceText: string, options?: UseStateExtractionOptions): UseStateExtractionResult;
+export declare function extractUseStateSkeleton(sourceText: string, options?: UseStateExtractionOptions): ExtractedModelSkeleton;
+//# sourceMappingURL=transitions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/transitions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,sBAAsB,EACtB,yBAAyB,EACzB,wBAAwB,EACzB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,yBAA8B,GACtC,wBAAwB,CAE1B;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,yBAA8B,GACtC,sBAAsB,CAcxB"}

package/dist/extract/sources/use-state/transitions.js

@@ -0,0 +1,20 @@
+import { extractReactSourceTransitions } from "../../engine/ts/react-source-transitions.js";
+export function extractUseStateVars(sourceText, options = {}) {
+    return extractUseStateSkeleton(sourceText, options);
+}
+export function extractUseStateSkeleton(sourceText, options = {}) {
+    const fileName = options.fileName ?? "App.tsx";
+    const route = options.route ?? "/";
+    return extractReactSourceTransitions(sourceText, {
+        route,
+        fileName,
+        effectApis: options.effectApis,
+        routePatterns: options.routePatterns,
+        asyncOutcomes: options.asyncOutcomes,
+        stateVars: options.stateVars,
+        writeChannels: options.writeChannels,
+        sourcePlugins: options.sourcePlugins,
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+    });
+}
+//# sourceMappingURL=transitions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AAO5F,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,UAAqC,EAAE;IAEvC,OAAO,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,UAAkB,EAClB,UAAqC,EAAE;IAEvC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,OAAO,6BAA6B,CAAC,UAAU,EAAE;QAC/C,KAAK;QACL,QAAQ;QACR,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,67 @@
+import type * as ts from "typescript";
+import type { AbstractDomain, EffectIR, ExprIR, StateVarDecl, Transition, Value } from "modality-ts/core";
+import type { ExtractableHandler } from "../../engine/ts/ast.js";
+export interface UseStateExtractionOptions {
+    route?: string;
+    fileName?: string;
+    effectApis?: readonly string[];
+    routePatterns?: readonly string[];
+    asyncOutcomes?: Record<string, {
+        success: Value;
+        error?: Value;
+    }>;
+    stateVars?: readonly StateVarDecl[];
+    writeChannels?: readonly import("../../engine/spi/index.js").WriteChannel[];
+    sourcePlugins?: readonly import("../../engine/spi/index.js").StateSourcePlugin[];
+    routerPlugin?: import("../../engine/spi/index.js").RouterPlugin;
+}
+export interface ExtractionWarning {
+    message: string;
+    line?: number;
+}
+export interface UseStateExtractionResult {
+    vars: StateVarDecl[];
+    warnings: ExtractionWarning[];
+}
+export interface ExtractedModelSkeleton extends UseStateExtractionResult {
+    transitions: Transition[];
+}
+export interface SetterBinding {
+    varId: string;
+    component: string;
+    stateName: string;
+    domain: AbstractDomain;
+}
+export interface SetterCall {
+    setter: SetterBinding;
+    argument: ts.Expression;
+}
+export type ComponentDecl = ts.FunctionDeclaration | ts.ArrowFunction | ts.FunctionExpression;
+export type CustomHookDecl = ts.FunctionDeclaration | ts.ArrowFunction | ts.FunctionExpression;
+export type InternalTransition = Transition & {
+    __stableIdKey?: string;
+};
+export interface BoundExpr {
+    expr: ExprIR;
+    reads: string[];
+    setter?: SetterBinding;
+}
+export interface HookStateReturn {
+    domain: AbstractDomain;
+    initial: Value;
+}
+export interface ContextBindings {
+    vars: StateVarDecl[];
+    setters: Map<string, SetterBinding>;
+    hookReturns: Map<string, Map<string, SetterBinding>>;
+}
+export type StaticValue = string | number | boolean | null | readonly StaticValue[] | {
+    readonly [key: string]: StaticValue;
+};
+export type StaticEnv = Map<string, readonly StaticValue[]>;
+export interface EffectSummary {
+    effect: EffectIR;
+    reads: string[];
+}
+export type { ExtractableHandler };
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,UAAU,EACV,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,MAAM,WAAW,yBAAyB;IACxC,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,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,OAAO,EAAE,KAAK,CAAC;QAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IAClE,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,aAAa,CAAC,EAAE,SAAS,OAAO,2BAA2B,EAAE,YAAY,EAAE,CAAC;IAC5E,aAAa,CAAC,EAAE,SAAS,OAAO,2BAA2B,EAAE,iBAAiB,EAAE,CAAC;IACjF,YAAY,CAAC,EAAE,OAAO,2BAA2B,EAAE,YAAY,CAAC;CACjE;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,QAAQ,EAAE,iBAAiB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,sBAAuB,SAAQ,wBAAwB;IACtE,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;CACzB;AAED,MAAM,MAAM,aAAa,GACrB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,CAAC;AAC1B,MAAM,MAAM,cAAc,GACtB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,CAAC;AAC1B,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACpC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;CACtD;AAED,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,WAAW,EAAE,GACtB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAC5C,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC,CAAC;AAE5D,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,YAAY,EAAE,kBAAkB,EAAE,CAAC"}

package/dist/extract/sources/use-state/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "modality-ts",
-  "version": "0.0.8",
+  "version": "0.0.9",
   "description": "Model-checking-based testing tools for React state-transition bugs.",
   "license": "MIT",
   "repository": {
@@ -8,107 +8,119 @@
     "url": "git+https://github.com/Harineko0/modality-ts.git"
   },
   "type": "module",
-  "types": "./dist/modality/cli.d.ts",
+  "types": "./dist/cli/cli.d.ts",
   "files": [
     "dist/**",
     "README.md",
     "LICENSE"
   ],
   "bin": {
-    "modality": "dist/modality/cli.js"
+    "modality": "dist/cli/cli.js"
   },
   "exports": {
     ".": {
-      "types": "./dist/modality/cli.d.ts",
-      "default": "./dist/modality/cli.js"
+      "types": "./dist/cli/cli.d.ts",
+      "default": "./dist/cli/cli.js"
     },
-    "./check": {
-      "types": "./dist/modality/check.d.ts",
-      "default": "./dist/modality/check.js"
+    "./cli": {
+      "types": "./dist/cli/cli.d.ts",
+      "default": "./dist/cli/cli.js"
     },
-    "./ci": {
-      "types": "./dist/modality/ci.d.ts",
-      "default": "./dist/modality/ci.js"
+    "./cli/check": {
+      "types": "./dist/cli/check.d.ts",
+      "default": "./dist/cli/check.js"
     },
-    "./conform": {
-      "types": "./dist/modality/conform.d.ts",
-      "default": "./dist/modality/conform.js"
+    "./cli/ci": {
+      "types": "./dist/cli/ci.d.ts",
+      "default": "./dist/cli/ci.js"
     },
-    "./extract": {
-      "types": "./dist/modality/extract.d.ts",
-      "default": "./dist/modality/extract.js"
+    "./cli/conform": {
+      "types": "./dist/cli/conform.d.ts",
+      "default": "./dist/cli/conform.js"
+    },
+    "./cli/extract": {
+      "types": "./dist/cli/extract.d.ts",
+      "default": "./dist/cli/extract.js"
+    },
+    "./cli/replay": {
+      "types": "./dist/cli/replay.d.ts",
+      "default": "./dist/cli/replay.js"
     },
-    "./replay": {
-      "types": "./dist/modality/replay.d.ts",
-      "default": "./dist/modality/replay.js"
+    "./cli/export-tla": {
+      "types": "./dist/cli/export-tla.d.ts",
+      "default": "./dist/cli/export-tla.js"
     },
-    "./export-tla": {
-      "types": "./dist/modality/export-tla.d.ts",
-      "default": "./dist/modality/export-tla.js"
+    "./cli/overlay": {
+      "types": "./dist/cli/overlay.d.ts",
+      "default": "./dist/cli/overlay.js"
     },
-    "./kernel": {
-      "types": "./dist/kernel/index.d.ts",
-      "default": "./dist/kernel/index.js"
+    "./cli/harness": {
+      "types": "./dist/cli/harness/index.d.ts",
+      "default": "./dist/cli/harness/index.js"
     },
-    "./kernel/props": {
-      "types": "./dist/kernel/props/index.d.ts",
-      "default": "./dist/kernel/props/index.js"
+    "./cli/runtime": {
+      "types": "./dist/cli/runtime/index.d.ts",
+      "default": "./dist/cli/runtime/index.js"
     },
-    "./checker": {
-      "types": "./dist/checker/index.d.ts",
-      "default": "./dist/checker/index.js"
+    "./core": {
+      "types": "./dist/core/index.d.ts",
+      "default": "./dist/core/index.js"
     },
-    "./extraction": {
-      "types": "./dist/extraction/index.d.ts",
-      "default": "./dist/extraction/index.js"
+    "./core/props": {
+      "types": "./dist/core/props/index.d.ts",
+      "default": "./dist/core/props/index.js"
     },
-    "./extraction/pipeline": {
-      "types": "./dist/extraction/pipeline/index.d.ts",
-      "default": "./dist/extraction/pipeline/index.js"
+    "./check": {
+      "types": "./dist/check/index.d.ts",
+      "default": "./dist/check/index.js"
+    },
+    "./extract": {
+      "types": "./dist/extract/index.d.ts",
+      "default": "./dist/extract/index.js"
     },
-    "./extraction/spi": {
-      "types": "./dist/extraction/spi/index.d.ts",
-      "default": "./dist/extraction/spi/index.js"
+    "./extract/engine": {
+      "types": "./dist/extract/engine/index.d.ts",
+      "default": "./dist/extract/engine/index.js"
     },
-    "./harness": {
-      "types": "./dist/harness/index.d.ts",
-      "default": "./dist/harness/index.js"
+    "./extract/engine/pipeline": {
+      "types": "./dist/extract/engine/pipeline/index.d.ts",
+      "default": "./dist/extract/engine/pipeline/index.js"
     },
-    "./runtime": {
-      "types": "./dist/runtime/index.d.ts",
-      "default": "./dist/runtime/index.js"
+    "./extract/engine/spi": {
+      "types": "./dist/extract/engine/spi/index.d.ts",
+      "default": "./dist/extract/engine/spi/index.js"
     },
-    "./source-jotai": {
-      "types": "./dist/sources/jotai/index.d.ts",
-      "default": "./dist/sources/jotai/index.js"
+    "./extract/sources/jotai": {
+      "types": "./dist/extract/sources/jotai/index.d.ts",
+      "default": "./dist/extract/sources/jotai/index.js"
     },
-    "./source-jotai/harness": {
-      "types": "./dist/sources/jotai/harness.d.ts",
-      "default": "./dist/sources/jotai/harness.js"
+    "./extract/sources/jotai/harness": {
+      "types": "./dist/extract/sources/jotai/harness.d.ts",
+      "default": "./dist/extract/sources/jotai/harness.js"
     },
-    "./source-router": {
-      "types": "./dist/sources/router/index.d.ts",
-      "default": "./dist/sources/router/index.js"
+    "./extract/sources/router": {
+      "types": "./dist/extract/sources/router/index.d.ts",
+      "default": "./dist/extract/sources/router/index.js"
     },
-    "./source-router/harness": {
-      "types": "./dist/sources/router/harness.d.ts",
-      "default": "./dist/sources/router/harness.js"
+    "./extract/sources/router/harness": {
+      "types": "./dist/extract/sources/router/harness.d.ts",
+      "default": "./dist/extract/sources/router/harness.js"
     },
-    "./source-swr": {
-      "types": "./dist/sources/swr/index.d.ts",
-      "default": "./dist/sources/swr/index.js"
+    "./extract/sources/swr": {
+      "types": "./dist/extract/sources/swr/index.d.ts",
+      "default": "./dist/extract/sources/swr/index.js"
     },
-    "./source-swr/harness": {
-      "types": "./dist/sources/swr/harness.d.ts",
-      "default": "./dist/sources/swr/harness.js"
+    "./extract/sources/swr/harness": {
+      "types": "./dist/extract/sources/swr/harness.d.ts",
+      "default": "./dist/extract/sources/swr/harness.js"
     },
-    "./source-use-state": {
-      "types": "./dist/sources/use-state/index.d.ts",
-      "default": "./dist/sources/use-state/index.js"
+    "./extract/sources/use-state": {
+      "types": "./dist/extract/sources/use-state/index.d.ts",
+      "default": "./dist/extract/sources/use-state/index.js"
     },
-    "./source-use-state/harness": {
-      "types": "./dist/sources/use-state/harness.d.ts",
-      "default": "./dist/sources/use-state/harness.js"
+    "./extract/sources/use-state/harness": {
+      "types": "./dist/extract/sources/use-state/harness.d.ts",
+      "default": "./dist/extract/sources/use-state/harness.js"
     }
   },
   "packageManager": "pnpm@10.12.4",
@@ -118,6 +130,7 @@
     "clean": "rm -rf dist tsconfig.tsbuildinfo",
     "ci:examples": "tsx tools/examples-ci.ts",
     "demo": "vitest run test/modality/demo-acceptance.test.ts",
+    "fix": "biome lint --write . && biome format --write .",
     "phase7": "tsx tools/phase7-differential.ts",
     "publish:npm": "npm publish --access public",
     "test": "vitest run",
@@ -128,6 +141,7 @@
     "typescript": "^5.9.3"
   },
   "devDependencies": {
+    "@biomejs/biome": "2.5.0",
     "@types/node": "^24.10.1",
     "dependency-cruiser": "^17.4.3",
     "tsx": "^4.20.6",

package/dist/checker/encode/index.d.ts

@@ -1,2 +0,0 @@
-export { canonicalState } from "modality-ts/kernel";
-//# sourceMappingURL=index.d.ts.map