modality-ts 0.0.0

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

@@ -0,0 +1,248 @@
+import * as ts from "typescript";
+import * as harness from "./harness.js";
+export function useStateSource() {
+    return {
+        id: "use-state",
+        version: "0.1.0",
+        packageNames: ["react"],
+        discover: (ctx) => discoverUseState(ctx.sourceText, ctx.fileName, ctx.route),
+        writeChannels: (ctx) => discoverUseStateWriteChannels(ctx.sourceText, ctx.fileName),
+        harness,
+        conformance: {
+            testedVersions: "react>=18"
+        }
+    };
+}
+export default useStateSource;
+export function discoverUseState(sourceText, fileName = "App.tsx", route = "/") {
+    const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
+    const decls = [];
+    const visit = (node, componentName) => {
+        const component = componentNameFor(node) ?? componentName;
+        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)) {
+                const componentId = component ?? "Anonymous";
+                const domain = inferUseStateDomain(node.initializer);
+                const varId = `local:${componentId}.${stateName.name.text}`;
+                const origin = { file: fileName, ...lineAndColumn(source, node) };
+                const variable = {
+                    id: varId,
+                    domain,
+                    origin,
+                    scope: { kind: "route-local", route },
+                    initial: initialValueForUseState(node.initializer, domain)
+                };
+                decls.push({
+                    id: varId,
+                    kind: "useState",
+                    var: variable,
+                    origin,
+                    metadata: {
+                        component: componentId,
+                        stateName: stateName.name.text,
+                        ...(setterName && ts.isBindingElement(setterName) && ts.isIdentifier(setterName.name) ? { setterName: setterName.name.text } : {})
+                    }
+                });
+            }
+        }
+        ts.forEachChild(node, (child) => visit(child, component));
+    };
+    visit(source, undefined);
+    return decls;
+}
+export 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 [{
+                id: `${decl.id}.setter`,
+                varId: decl.var.id,
+                symbolName: setterName,
+                source: decl.origin
+            }];
+    });
+}
+export function inferDomainFromTypeNode(node) {
+    if (!node)
+        return { kind: "tokens", count: 1 };
+    switch (node.kind) {
+        case ts.SyntaxKind.BooleanKeyword:
+            return { kind: "bool" };
+        case ts.SyntaxKind.StringKeyword:
+        case ts.SyntaxKind.NumberKeyword:
+        case ts.SyntaxKind.AnyKeyword:
+        case ts.SyntaxKind.UnknownKeyword:
+            return { kind: "tokens", count: 1 };
+        case ts.SyntaxKind.LiteralType:
+            return domainFromLiteralType(node);
+        case ts.SyntaxKind.UnionType:
+            return domainFromUnion(node);
+        case ts.SyntaxKind.TypeLiteral:
+            return domainFromTypeLiteral(node);
+        case ts.SyntaxKind.ArrayType:
+            return { kind: "lengthCat" };
+        case ts.SyntaxKind.TypeReference:
+            return domainFromTypeReference(node);
+        default:
+            return { kind: "tokens", count: 1 };
+    }
+}
+function inferUseStateDomain(call) {
+    const typeArg = call.typeArguments?.[0];
+    if (typeArg)
+        return inferDomainFromTypeNode(typeArg);
+    const initial = call.arguments[0];
+    if (!initial)
+        return { kind: "tokens", count: 1 };
+    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) };
+    if (initial.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "option", inner: { kind: "tokens", count: 1 } };
+    if (ts.isArrayLiteralExpression(initial))
+        return { kind: "lengthCat" };
+    return { kind: "tokens", count: 1 };
+}
+function initialValueForUseState(call, domain) {
+    const initial = call.arguments[0];
+    if (!initial)
+        return firstValue(domain);
+    if (initial.kind === ts.SyntaxKind.TrueKeyword)
+        return true;
+    if (initial.kind === ts.SyntaxKind.FalseKeyword)
+        return false;
+    if (ts.isStringLiteral(initial))
+        return initial.text;
+    if (ts.isNumericLiteral(initial))
+        return Number(initial.text);
+    if (initial.kind === ts.SyntaxKind.NullKeyword)
+        return null;
+    if (ts.isArrayLiteralExpression(initial))
+        return initial.elements.length === 0 ? "0" : initial.elements.length === 1 ? "1" : "many";
+    return firstValue(domain);
+}
+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 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]) };
+    }
+    const literalValues = [];
+    const numericValues = [];
+    for (const part of node.types) {
+        if (!ts.isLiteralTypeNode(part))
+            return taggedUnionFrom(node) ?? { 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 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: "enum", values: literalValues };
+}
+function taggedUnionFrom(node) {
+    const members = node.types.filter(ts.isTypeLiteralNode);
+    if (members.length !== node.types.length)
+        return undefined;
+    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))
+                continue;
+            const set = tagCandidates.get(prop.name.text) ?? new Set();
+            set.add(prop.type.literal.text);
+            tagCandidates.set(prop.name.text, set);
+        }
+    }
+    const tag = [...tagCandidates].find(([, values]) => values.size === members.length)?.[0];
+    if (!tag)
+        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))
+            return undefined;
+        variants[tagProp.type.literal.text] = domainFromTypeLiteral(member, tag);
+    }
+    return { kind: "tagged", tag, variants };
+}
+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)
+            continue;
+        fields[member.name.text] = inferDomainFromTypeNode(member.type);
+    }
+    return { kind: "record", fields };
+}
+function domainFromTypeReference(node) {
+    const name = node.typeName.getText();
+    if ((name === "Array" || name === "ReadonlyArray") && node.typeArguments?.length === 1)
+        return { kind: "lengthCat" };
+    if (name === "Record")
+        return { kind: "tokens", count: 1 };
+    return { kind: "tokens", count: 1 };
+}
+function isUseStateCall(node) {
+    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))
+        return node.name.text;
+    if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && startsUppercase(node.name.text))
+        return node.name.text;
+    return undefined;
+}
+function startsUppercase(value) {
+    return /^[A-Z]/.test(value);
+}
+function firstValue(domain) {
+    switch (domain.kind) {
+        case "bool":
+            return false;
+        case "enum":
+            return domain.values[0] ?? "";
+        case "boundedInt":
+            return domain.min;
+        case "option":
+            return null;
+        case "record":
+            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: {} }];
+            return { ...firstValue(variant), [domain.tag]: tagValue };
+        }
+        case "tokens":
+            return domain.names?.[0] ?? "tok1";
+        case "lengthCat":
+            return "0";
+        case "boundedList":
+            return [];
+    }
+}
+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/use-state/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/sources/use-state/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,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,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC;QAC5E,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,6BAA6B,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QACnF,OAAO;QACP,WAAW,EAAE;YACX,cAAc,EAAE,WAAW;SAC5B;KACF,CAAC;AACJ,CAAC;AAED,eAAe,cAAc,CAAC;AAE9B,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,QAAQ,GAAG,SAAS,EAAE,KAAK,GAAG,GAAG;IACpF,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,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,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,IAAI,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAClI,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,CAAC,CAAC;gBACrD,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,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;oBACrC,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,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBACnI;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,MAAM,UAAU,6BAA6B,CAAC,UAAkB,EAAE,QAAQ,GAAG,SAAS;IACpF,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,CAAC;gBACN,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,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAA6B;IACnE,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,CAAC,CAAC;QACnD,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,CAAC,CAAC;QAC/D;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAuB;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,OAAO;QAAE,OAAO,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACrD,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,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACvH,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACjF,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACtH,IAAI,OAAO,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;IAC/G,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,CAAC,IAAuB,EAAE,MAAsB;IAC9E,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;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IACpI,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,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,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9K,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,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;YAAE,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC9F,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;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,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,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,SAAS;YACtI,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,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzF,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,CAAC,CAAC,IAAI,EAAgC,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAClK,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACzH,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,CAAC,IAAwB,EAAE,SAAkB;IACzE,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACjI,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,CAAC,IAA0B;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACrH,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,cAAc,CAAC,IAAmB;IACzC,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC;AAC9G,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1G,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC3H,OAAO,SAAS,CAAC;AACnB,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,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,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,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAW,CAAC,CAAC;YACvH,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,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/package.json

@@ -0,0 +1,136 @@
+{
+  "name": "modality-ts",
+  "version": "0.0.0",
+  "description": "Model-checking-based testing tools for React state-transition bugs.",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Harineko0/modality-ts.git"
+  },
+  "type": "module",
+  "types": "./dist/modality/cli.d.ts",
+  "files": [
+    "dist/**",
+    "README.md",
+    "LICENSE"
+  ],
+  "bin": {
+    "modality": "dist/modality/cli.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/modality/cli.d.ts",
+      "default": "./dist/modality/cli.js"
+    },
+    "./check": {
+      "types": "./dist/modality/check.d.ts",
+      "default": "./dist/modality/check.js"
+    },
+    "./ci": {
+      "types": "./dist/modality/ci.d.ts",
+      "default": "./dist/modality/ci.js"
+    },
+    "./conform": {
+      "types": "./dist/modality/conform.d.ts",
+      "default": "./dist/modality/conform.js"
+    },
+    "./extract": {
+      "types": "./dist/modality/extract.d.ts",
+      "default": "./dist/modality/extract.js"
+    },
+    "./replay": {
+      "types": "./dist/modality/replay.d.ts",
+      "default": "./dist/modality/replay.js"
+    },
+    "./export-tla": {
+      "types": "./dist/modality/export-tla.d.ts",
+      "default": "./dist/modality/export-tla.js"
+    },
+    "./kernel": {
+      "types": "./dist/kernel/index.d.ts",
+      "default": "./dist/kernel/index.js"
+    },
+    "./kernel/props": {
+      "types": "./dist/kernel/props/index.d.ts",
+      "default": "./dist/kernel/props/index.js"
+    },
+    "./checker": {
+      "types": "./dist/checker/index.d.ts",
+      "default": "./dist/checker/index.js"
+    },
+    "./extraction": {
+      "types": "./dist/extraction/index.d.ts",
+      "default": "./dist/extraction/index.js"
+    },
+    "./extraction/pipeline": {
+      "types": "./dist/extraction/pipeline/index.d.ts",
+      "default": "./dist/extraction/pipeline/index.js"
+    },
+    "./extraction/spi": {
+      "types": "./dist/extraction/spi/index.d.ts",
+      "default": "./dist/extraction/spi/index.js"
+    },
+    "./harness": {
+      "types": "./dist/harness/index.d.ts",
+      "default": "./dist/harness/index.js"
+    },
+    "./runtime": {
+      "types": "./dist/runtime/index.d.ts",
+      "default": "./dist/runtime/index.js"
+    },
+    "./source-jotai": {
+      "types": "./dist/sources/jotai/index.d.ts",
+      "default": "./dist/sources/jotai/index.js"
+    },
+    "./source-jotai/harness": {
+      "types": "./dist/sources/jotai/harness.d.ts",
+      "default": "./dist/sources/jotai/harness.js"
+    },
+    "./source-router": {
+      "types": "./dist/sources/router/index.d.ts",
+      "default": "./dist/sources/router/index.js"
+    },
+    "./source-router/harness": {
+      "types": "./dist/sources/router/harness.d.ts",
+      "default": "./dist/sources/router/harness.js"
+    },
+    "./source-swr": {
+      "types": "./dist/sources/swr/index.d.ts",
+      "default": "./dist/sources/swr/index.js"
+    },
+    "./source-swr/harness": {
+      "types": "./dist/sources/swr/harness.d.ts",
+      "default": "./dist/sources/swr/harness.js"
+    },
+    "./source-use-state": {
+      "types": "./dist/sources/use-state/index.d.ts",
+      "default": "./dist/sources/use-state/index.js"
+    },
+    "./source-use-state/harness": {
+      "types": "./dist/sources/use-state/harness.d.ts",
+      "default": "./dist/sources/use-state/harness.js"
+    }
+  },
+  "packageManager": "pnpm@10.12.4",
+  "scripts": {
+    "architecture": "depcruise --config tools/depcruise.config.cjs src",
+    "build": "tsc -b",
+    "clean": "rm -rf dist tsconfig.tsbuildinfo",
+    "ci:examples": "tsx tools/examples-ci.ts",
+    "demo": "vitest run test/modality/demo-acceptance.test.ts",
+    "phase7": "tsx tools/phase7-differential.ts",
+    "publish:npm": "npm publish --access public",
+    "test": "vitest run",
+    "typecheck": "tsc -b"
+  },
+  "dependencies": {
+    "typescript": "^5.9.3"
+  },
+  "devDependencies": {
+    "@types/node": "^24.10.1",
+    "dependency-cruiser": "^17.4.3",
+    "jsdom": "^29.1.1",
+    "tsx": "^4.20.6",
+    "vitest": "^4.0.14"
+  }
+}