legend-doctor 0.1.0

package/dist/src/rules/state-proofs/unique-repeated-selection.js

@@ -0,0 +1,155 @@
+import { findAncestorUntil, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { expressionDependsOnBinding } from "./binding-lookup.js";
+import { expressionIsUniquelyFiltered } from "./uniqueness-filters.js";
+import { nearestRepeatedRenderCall } from "./jsx-subtrees.js";
+import ts from "typescript";
+export function repeatedRenderHasStableItemKey(callback) {
+    const parameter = callback.parameters[0]?.name;
+    if (!parameter) {
+        return false;
+    }
+    let stable = false;
+    visitSkippingNestedRuntimeFunctions(callback.body, (node) => {
+        if (!ts.isJsxAttribute(node) || node.name.getText() !== "key" || !node.initializer) {
+            return;
+        }
+        const expression = ts.isJsxExpression(node.initializer) ? node.initializer.expression : null;
+        if (!expression) {
+            return;
+        }
+        if (expressionDependsOnBinding(expression, parameter, callback)) {
+            stable = true;
+        }
+    });
+    return stable;
+}
+export function isUniquelySelectedRepeatedProjection(nodes, boundary) {
+    const selection = uniqueMapSelection(nodes, boundary);
+    if (!selection) {
+        return false;
+    }
+    const clause = soleCaseClause(nodes, selection.callback);
+    if (!clause || !isPrimitiveLiteral(clause.expression)) {
+        return false;
+    }
+    return (clauseSwitchesOnItem(clause, selection) &&
+        clauseReturnsEvery(clause, nodes) &&
+        nodesShareOneKeyedLeaf(nodes, clause));
+}
+/** The nodes all render inside one `.map` over a de-duplicated array the callback cannot re-read. */
+function uniqueMapSelection(nodes, boundary) {
+    const repeated = soleRepeatedMapCall(nodes, boundary);
+    if (!repeated || !ts.isPropertyAccessExpression(repeated.expression)) {
+        return null;
+    }
+    const selection = mapCallbackItem(repeated);
+    const receiver = unwrapTransparentExpression(repeated.expression.expression);
+    if (!selection ||
+        (ts.isIdentifier(receiver) && bindingIsReferenced(selection.callback, receiver.text))) {
+        return null;
+    }
+    return expressionIsUniquelyFiltered(repeated.expression.expression, boundary) ? selection : null;
+}
+/** The single `.map(...)` call that every node renders inside, or null when they differ. */
+function soleRepeatedMapCall(nodes, boundary) {
+    const repeatedCalls = nodes.map((node) => nearestRepeatedRenderCall(node, boundary));
+    const [repeated] = repeatedCalls;
+    return repeated &&
+        repeatedCalls.every((call) => call === repeated) &&
+        ts.isPropertyAccessExpression(repeated.expression) &&
+        repeated.expression.name.text === "map"
+        ? repeated
+        : null;
+}
+/** The lone item parameter of an inline `.map(item => ...)` callback. */
+function mapCallbackItem(call) {
+    const [callback] = call.arguments;
+    if (!callback || (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback))) {
+        return null;
+    }
+    const item = callback.parameters[0]?.name;
+    return item && ts.isIdentifier(item) ? { callback, item } : null;
+}
+/** The one `case` clause that every render node sits in, or null when they disagree. */
+function soleCaseClause(nodes, boundary) {
+    const clauses = new Set(nodes.map((node) => findAncestorUntil(node, ts.isCaseClause, boundary)));
+    if (clauses.size !== 1) {
+        return null;
+    }
+    const [clause] = clauses;
+    return clause ?? null;
+}
+/** The clause belongs to a `switch` on the map callback's own item parameter. */
+function clauseSwitchesOnItem(clause, selection) {
+    const switchStatement = findAncestorUntil(clause, ts.isSwitchStatement, selection.callback);
+    if (!switchStatement) {
+        return false;
+    }
+    const switchExpression = unwrapTransparentExpression(switchStatement.expression);
+    return ts.isIdentifier(switchExpression) && switchExpression.text === selection.item.text;
+}
+/** The clause body is exactly one `return` whose expression contains every render node. */
+function clauseReturnsEvery(clause, nodes) {
+    const [returnStatement] = clause.statements;
+    if (clause.statements.length !== 1 ||
+        !returnStatement ||
+        !ts.isReturnStatement(returnStatement) ||
+        !returnStatement.expression) {
+        return false;
+    }
+    const returned = returnStatement.expression;
+    return nodes.every((node) => nodeWithin(node, returned));
+}
+/** All render nodes sit under one JSX leaf whose `key` is the clause literal. */
+function nodesShareOneKeyedLeaf(nodes, clause) {
+    const leaf = nearestJsxElement(nodes[0], clause);
+    return (leaf !== null &&
+        nodes.every((node) => nearestJsxElement(node, clause) === leaf) &&
+        jsxKeyMatchesLiteral(leaf, clause.expression));
+}
+function bindingIsReferenced(node, name) {
+    let found = false;
+    visit(node, (current) => {
+        if (ts.isIdentifier(current) &&
+            current.text === name &&
+            !isDeclarationName(current) &&
+            !isNonValueIdentifier(current)) {
+            found = true;
+        }
+    });
+    return found;
+}
+function isPrimitiveLiteral(expression) {
+    const value = unwrapTransparentExpression(expression);
+    return ts.isStringLiteralLike(value) || ts.isNumericLiteral(value);
+}
+function nearestJsxElement(node, boundary) {
+    return findAncestorUntil(node, (candidate) => ts.isJsxElement(candidate) || ts.isJsxSelfClosingElement(candidate), boundary);
+}
+function jsxKeyMatchesLiteral(element, literal) {
+    const opening = ts.isJsxElement(element) ? element.openingElement : element;
+    const key = opening.attributes.properties.find((property) => ts.isJsxAttribute(property) && property.name.getText() === "key");
+    if (!key || !ts.isJsxAttribute(key) || !key.initializer) {
+        return false;
+    }
+    const keyValue = jsxAttributeLiteral(key.initializer);
+    const caseValue = unwrapTransparentExpression(literal);
+    return (keyValue !== null &&
+        ((ts.isStringLiteralLike(keyValue) &&
+            ts.isStringLiteralLike(caseValue) &&
+            keyValue.text === caseValue.text) ||
+            (ts.isNumericLiteral(keyValue) &&
+                ts.isNumericLiteral(caseValue) &&
+                keyValue.text === caseValue.text)));
+}
+/** The literal behind a JSX attribute value, whether written bare or inside braces. */
+function jsxAttributeLiteral(initializer) {
+    if (ts.isStringLiteral(initializer)) {
+        return initializer;
+    }
+    return ts.isJsxExpression(initializer) && initializer.expression
+        ? unwrapTransparentExpression(initializer.expression)
+        : null;
+}
+//# sourceMappingURL=unique-repeated-selection.js.map

package/dist/src/rules/state-proofs/unique-repeated-selection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unique-repeated-selection.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/unique-repeated-selection.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,8BAA8B,CAC5C,QAAkD;IAElD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,mCAAmC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1D,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACnF,OAAO;QACT,CAAC;QACD,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7F,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO;QACT,CAAC;QACD,IAAI,0BAA0B,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;YAChE,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,KAAyB,EACzB,QAA6B;IAE7B,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,oBAAoB,CAAC,MAAM,EAAE,SAAS,CAAC;QACvC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC;QACjC,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,CACtC,CAAC;AACJ,CAAC;AAQD,qGAAqG;AACrG,SAAS,kBAAkB,CACzB,KAAyB,EACzB,QAA6B;IAE7B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,2BAA2B,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC7E,IACE,CAAC,SAAS;QACV,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EACrF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,4BAA4B,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACnG,CAAC;AAED,4FAA4F;AAC5F,SAAS,mBAAmB,CAC1B,KAAyB,EACzB,QAA6B;IAE7B,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC;IACjC,OAAO,QAAQ;QACb,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC;QAChD,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,UAAU,CAAC;QAClD,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACvC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,yEAAyE;AACzE,SAAS,eAAe,CAAC,IAAuB;IAC9C,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC1C,OAAO,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnE,CAAC;AAED,wFAAwF;AACxF,SAAS,cAAc,CAAC,KAAyB,EAAE,QAAiB;IAClE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;IACzB,OAAO,MAAM,IAAI,IAAI,CAAC;AACxB,CAAC;AAED,iFAAiF;AACjF,SAAS,oBAAoB,CAAC,MAAqB,EAAE,SAA+B;IAClF,MAAM,eAAe,GAAG,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5F,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IACjF,OAAO,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;AAC5F,CAAC;AAED,2FAA2F;AAC3F,SAAS,kBAAkB,CAAC,MAAqB,EAAE,KAAyB;IAC1E,MAAM,CAAC,eAAe,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;IAC5C,IACE,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC9B,CAAC,eAAe;QAChB,CAAC,EAAE,CAAC,iBAAiB,CAAC,eAAe,CAAC;QACtC,CAAC,eAAe,CAAC,UAAU,EAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC;IAC5C,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,iFAAiF;AACjF,SAAS,sBAAsB,CAAC,KAAyB,EAAE,MAAqB;IAC9E,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;IAClD,OAAO,CACL,IAAI,KAAK,IAAI;QACb,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC;QAC/D,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa,EAAE,IAAY;IACtD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QACtB,IACE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;YACxB,OAAO,CAAC,IAAI,KAAK,IAAI;YACrB,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC3B,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAC9B,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAyB;IACnD,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAa,EACb,QAAiB;IAEjB,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,SAAS,EAAyD,EAAE,CACnE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,EACrE,QAAQ,CACT,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAAiD,EACjD,OAAsB;IAEtB,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAC/E,CAAC;IACF,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACvD,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;YAChC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YACjC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC;YACjC,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC;gBAC5B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;gBAC9B,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,CACvC,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,mBAAmB,CAAC,WAAiC;IAC5D,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QACpC,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,UAAU;QAC9D,CAAC,CAAC,2BAA2B,CAAC,WAAW,CAAC,UAAU,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/state-proofs/uniqueness-filters.d.ts

@@ -0,0 +1,3 @@
+import ts from "typescript";
+export declare function expressionIsUniquelyFiltered(expression: ts.Expression, boundary: ts.Node): boolean;
+//# sourceMappingURL=uniqueness-filters.d.ts.map

package/dist/src/rules/state-proofs/uniqueness-filters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"uniqueness-filters.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/uniqueness-filters.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,QAAQ,EAAE,EAAE,CAAC,IAAI,GAChB,OAAO,CAiBT"}

package/dist/src/rules/state-proofs/uniqueness-filters.js

@@ -0,0 +1,169 @@
+import { findAncestor, visit } from "../../core/ast.js";
+import { EMPTY_BINDINGS } from "./jsx-subtrees.js";
+import { isSafeProjectionExpression } from "../deferred-reveal/safe-projections.js";
+import ts from "typescript";
+import { uniqueVariableDeclaration } from "./binding-lookup.js";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+export function expressionIsUniquelyFiltered(expression, boundary) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isIdentifier(value)) {
+        return constInitializerIsUniquelyFiltered(value, boundary);
+    }
+    if (!ts.isCallExpression(value) ||
+        !ts.isPropertyAccessExpression(value.expression) ||
+        value.expression.name.text !== "filter") {
+        return false;
+    }
+    return (isExactUniquenessFilter(value, boundary) ||
+        (isPureSubsetFilter(value, boundary) &&
+            expressionIsUniquelyFiltered(value.expression.expression, boundary)));
+}
+/** The name resolves to a unique `const` whose initializer is itself uniquely filtered. */
+function constInitializerIsUniquelyFiltered(name, boundary) {
+    const declaration = uniqueVariableDeclaration(boundary, name.text);
+    return (declaration !== null &&
+        declaration.initializer !== undefined &&
+        ts.isVariableDeclarationList(declaration.parent) &&
+        (declaration.parent.flags & ts.NodeFlags.Const) !== 0 &&
+        expressionIsUniquelyFiltered(declaration.initializer, boundary));
+}
+function isPureSubsetFilter(call, boundary) {
+    const [callback] = call.arguments;
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        ts.isBlock(callback.body)) {
+        return false;
+    }
+    const allowedCalls = new Set();
+    let callsAreReadOnly = true;
+    visit(callback.body, (node) => {
+        if (!ts.isCallExpression(node)) {
+            return;
+        }
+        if (ts.isPropertyAccessExpression(node.expression) &&
+            node.expression.name.text === "includes" &&
+            ts.isIdentifier(node.expression.expression) &&
+            expressionHasArrayType(node.expression.expression, boundary)) {
+            allowedCalls.add(`${node.expression.expression.text}.includes`);
+        }
+        else {
+            callsAreReadOnly = false;
+        }
+    });
+    return (callsAreReadOnly &&
+        isSafeProjectionExpression({
+            expression: callback.body,
+            reference: callback.body,
+            allowedIdentifierCalls: EMPTY_BINDINGS,
+            allowedPropertyCalls: allowedCalls,
+        }));
+}
+function isExactUniquenessFilter(call, boundary) {
+    if (!ts.isPropertyAccessExpression(call.expression) ||
+        !expressionHasArrayType(call.expression.expression, boundary)) {
+        return false;
+    }
+    const [callback] = call.arguments;
+    if (!callback || (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback))) {
+        return false;
+    }
+    const [item, index, array] = callback.parameters.map((parameter) => parameter.name);
+    if (!item ||
+        !index ||
+        !array ||
+        !ts.isIdentifier(item) ||
+        !ts.isIdentifier(index) ||
+        !ts.isIdentifier(array)) {
+        return false;
+    }
+    const body = concisePredicateBody(callback);
+    return body !== null && isIndexOfIdentityComparison(body, { array, index, item });
+}
+/** The single returned expression of a predicate, written concisely or as a one-statement block. */
+function concisePredicateBody(callback) {
+    const { body } = callback;
+    if (!ts.isBlock(body)) {
+        return body;
+    }
+    const [onlyStatement] = body.statements;
+    return body.statements.length === 1 && onlyStatement && ts.isReturnStatement(onlyStatement)
+        ? (onlyStatement.expression ?? null)
+        : null;
+}
+/** `array.indexOf(item) === index`, which keeps only the first occurrence of each element. */
+function isIndexOfIdentityComparison(body, parameters) {
+    const comparison = unwrapTransparentExpression(body);
+    if (!ts.isBinaryExpression(comparison) ||
+        comparison.operatorToken.kind !== ts.SyntaxKind.EqualsEqualsEqualsToken) {
+        return false;
+    }
+    return (isIndexOfItem(comparison.left, parameters.array.text, parameters.item.text) &&
+        ts.isIdentifier(comparison.right) &&
+        comparison.right.text === parameters.index.text);
+}
+function expressionHasArrayType(expression, boundary) {
+    const value = unwrapParentheses(expression);
+    if (ts.isArrayLiteralExpression(value)) {
+        return true;
+    }
+    if (ts.isAsExpression(value) || ts.isTypeAssertionExpression(value)) {
+        return ts.isArrayTypeNode(value.type);
+    }
+    if (!ts.isIdentifier(value)) {
+        return false;
+    }
+    const types = declaredTypesOfName(boundary.getSourceFile(), value.text);
+    return types.length === 1 && ts.isArrayTypeNode(types[0]);
+}
+function unwrapParentheses(expression) {
+    let value = expression;
+    while (ts.isParenthesizedExpression(value)) {
+        value = value.expression;
+    }
+    return value;
+}
+/** Every written type annotation that binds the given name anywhere in the file. */
+function declaredTypesOfName(sourceFile, name) {
+    const types = [];
+    visit(sourceFile, (node) => {
+        const type = boundNameType(node, name);
+        if (type) {
+            types.push(type);
+        }
+    });
+    return types;
+}
+function boundNameType(node, name) {
+    if (ts.isBindingElement(node) && ts.isIdentifier(node.name) && node.name.text === name) {
+        return destructuredBindingType(node);
+    }
+    if ((!ts.isParameter(node) && !ts.isVariableDeclaration(node)) ||
+        !ts.isIdentifier(node.name) ||
+        node.name.text !== name) {
+        return undefined;
+    }
+    return node.type;
+}
+function destructuredBindingType(binding) {
+    const declaration = findAncestor(binding, (node) => ts.isParameter(node) || ts.isVariableDeclaration(node));
+    if (!declaration?.type || !ts.isTypeLiteralNode(declaration.type)) {
+        return undefined;
+    }
+    const sourceName = binding.propertyName?.getText() ?? binding.name.getText();
+    const property = declaration.type.members.find((member) => ts.isPropertySignature(member) && member.name?.getText() === sourceName);
+    return property && ts.isPropertySignature(property) ? property.type : undefined;
+}
+function isIndexOfItem(expression, array, item) {
+    const value = unwrapTransparentExpression(expression);
+    const argument = ts.isCallExpression(value) ? value.arguments[0] : undefined;
+    return (ts.isCallExpression(value) &&
+        value.arguments.length === 1 &&
+        ts.isPropertyAccessExpression(value.expression) &&
+        value.expression.name.text === "indexOf" &&
+        ts.isIdentifier(value.expression.expression) &&
+        value.expression.expression.text === array &&
+        argument !== undefined &&
+        ts.isIdentifier(argument) &&
+        argument.text === item);
+}
+//# sourceMappingURL=uniqueness-filters.js.map

package/dist/src/rules/state-proofs/uniqueness-filters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"uniqueness-filters.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/uniqueness-filters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,MAAM,UAAU,4BAA4B,CAC1C,UAAyB,EACzB,QAAiB;IAEjB,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,kCAAkC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC;IACD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC3B,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;QAChD,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EACvC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxC,CAAC,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC;YAClC,4BAA4B,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CACvE,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,SAAS,kCAAkC,CAAC,IAAmB,EAAE,QAAiB;IAChF,MAAM,WAAW,GAAG,yBAAyB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,OAAO,CACL,WAAW,KAAK,IAAI;QACpB,WAAW,CAAC,WAAW,KAAK,SAAS;QACrC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QAChD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,4BAA4B,CAAC,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAuB,EAAE,QAAiB;IACpE,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,IACE,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC5B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC9C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YACxC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;YAC3C,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAC5D,CAAC;YACD,YAAY,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,gBAAgB,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,CACL,gBAAgB;QAChB,0BAA0B,CAAC;YACzB,UAAU,EAAE,QAAQ,CAAC,IAAI;YACzB,SAAS,EAAE,QAAQ,CAAC,IAAI;YACxB,sBAAsB,EAAE,cAAc;YACtC,oBAAoB,EAAE,YAAY;SACnC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAuB,EAAE,QAAiB;IACzE,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC/C,CAAC,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAC7D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpF,IACE,CAAC,IAAI;QACL,CAAC,KAAK;QACN,CAAC,KAAK;QACN,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACtB,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QACvB,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EACvB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC5C,OAAO,IAAI,KAAK,IAAI,IAAI,2BAA2B,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,oGAAoG;AACpG,SAAS,oBAAoB,CAC3B,QAAkD;IAElD,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IAC1B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IACxC,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,IAAI,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC;QACzF,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,IAAI,IAAI,CAAC;QACpC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AASD,8FAA8F;AAC9F,SAAS,2BAA2B,CAClC,IAAmB,EACnB,UAAsC;IAEtC,MAAM,UAAU,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACrD,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QAClC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACvE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,aAAa,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3E,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC;QACjC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,CAAC,IAAI,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAyB,EAAE,QAAiB;IAC1E,MAAM,KAAK,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAyB;IAClD,IAAI,KAAK,GAAG,UAAU,CAAC;IACvB,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oFAAoF;AACpF,SAAS,mBAAmB,CAAC,UAAyB,EAAE,IAAY;IAClE,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,IAAa,EAAE,IAAY;IAChD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACvF,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,IACE,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EACvB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAAC,OAA0B;IACzD,MAAM,WAAW,GAAG,YAAY,CAC9B,OAAO,EACP,CAAC,IAAI,EAA4D,EAAE,CACjE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CACzD,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC7E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAC5C,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,UAAU,CACpF,CAAC;IACF,OAAO,QAAQ,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,UAAyB,EAAE,KAAa,EAAE,IAAY;IAC3E,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1B,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC5B,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QACxC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;QAC5C,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK;QAC1C,QAAQ,KAAK,SAAS;QACtB,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;QACzB,QAAQ,CAAC,IAAI,KAAK,IAAI,CACvB,CAAC;AACJ,CAAC"}

package/dist/src/runtime/dom.d.ts

@@ -0,0 +1,18 @@
+import type { ReactNode } from "react";
+import type { TestContext } from "node:test";
+/** A jsdom-backed React root with the interactions a render-count comparison needs. */
+export interface MountedDom {
+    element: (selector: string) => Element;
+    render: (children: ReactNode) => Promise<void>;
+    click: (selector: string) => Promise<void>;
+    input: (selector: string, value: string) => Promise<void>;
+    submit: () => Promise<void>;
+    signal: (name: string) => Promise<void>;
+    /** The container's current markup, for step-by-step DOM comparison between two versions. */
+    html: () => string;
+}
+/** Tallies one render of the named component; call it at the top of the component body. */
+export declare function count(renders: Map<string, number>, name: string): void;
+/** Each test owns its DOM and restores the process globals after unmounting React. */
+export declare function mountDom(context: TestContext, strict: boolean): MountedDom;
+//# sourceMappingURL=dom.d.ts.map

package/dist/src/runtime/dom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dom.d.ts","sourceRoot":"","sources":["../../../src/runtime/dom.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAK7C,uFAAuF;AACvF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IACvC,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/C,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,4FAA4F;IAC5F,IAAI,EAAE,MAAM,MAAM,CAAC;CACpB;AAED,2FAA2F;AAC3F,wBAAgB,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAEtE;AAuFD,sFAAsF;AACtF,wBAAgB,QAAQ,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,GAAG,UAAU,CAY1E"}

package/dist/src/runtime/dom.js

@@ -0,0 +1,90 @@
+import { StrictMode, act, createElement } from "react";
+import { JSDOM } from "jsdom";
+import assert from "node:assert/strict";
+import { createRoot } from "react-dom/client";
+import process from "node:process";
+/** Tallies one render of the named component; call it at the top of the component body. */
+export function count(renders, name) {
+    renders.set(name, (renders.get(name) ?? 0) + 1);
+}
+function installDom() {
+    const previousEnvironment = process.env.NODE_ENV;
+    process.env.NODE_ENV = "test";
+    const dom = new JSDOM("<!doctype html><html><body><main></main></body></html>");
+    const globals = {
+        window: dom.window,
+        document: dom.window.document,
+        IS_REACT_ACT_ENVIRONMENT: true,
+    };
+    const previous = Object.keys(globals).map((key) => [key, Object.getOwnPropertyDescriptor(globalThis, key)]);
+    for (const [key, value] of Object.entries(globals)) {
+        Object.defineProperty(globalThis, key, { configurable: true, writable: true, value });
+    }
+    return {
+        dom,
+        restore: () => {
+            dom.window.close();
+            if (previousEnvironment === undefined) {
+                delete process.env.NODE_ENV;
+            }
+            else {
+                process.env.NODE_ENV = previousEnvironment;
+            }
+            for (const [key, descriptor] of previous) {
+                if (descriptor) {
+                    Object.defineProperty(globalThis, key, descriptor);
+                }
+                else {
+                    Reflect.deleteProperty(globalThis, key);
+                }
+            }
+        },
+    };
+}
+function interactions({ container, dom, root, strict }) {
+    function element(selector) {
+        const selected = container.querySelector(selector);
+        assert.ok(selected, `Missing element: ${selector}`);
+        return selected;
+    }
+    return {
+        element,
+        html: () => container.innerHTML,
+        async render(children) {
+            await act(() => root.render(strict ? createElement(StrictMode, null, children) : children));
+        },
+        async click(selector) {
+            await act(() => element(selector).dispatchEvent(new dom.window.MouseEvent("click", { bubbles: true })));
+        },
+        async input(selector, value) {
+            const input = element(selector);
+            assert.ok(input instanceof dom.window.HTMLInputElement);
+            await act(() => {
+                input.value = value;
+                input.dispatchEvent(new dom.window.Event("input", { bubbles: true }));
+            });
+        },
+        async submit() {
+            await act(() => element("form").dispatchEvent(new dom.window.Event("submit", { bubbles: true, cancelable: true })));
+        },
+        async signal(name) {
+            await act(() => dom.window.dispatchEvent(new dom.window.Event(name)));
+        },
+    };
+}
+/** Each test owns its DOM and restores the process globals after unmounting React. */
+export function mountDom(context, strict) {
+    const { dom, restore } = installDom();
+    const container = dom.window.document.querySelector("main");
+    const root = createRoot(container);
+    context.after(async () => {
+        try {
+            await act(() => root.unmount());
+        }
+        finally {
+            restore();
+        }
+    });
+    return interactions({ container, dom, root, strict });
+}
+//# sourceMappingURL=dom.js.map

package/dist/src/runtime/dom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dom.js","sourceRoot":"","sources":["../../../src/runtime/dom.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,EAAE,MAAM,OAAO,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC;AAG9B,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,OAAO,MAAM,cAAc,CAAC;AAcnC,2FAA2F;AAC3F,MAAM,UAAU,KAAK,CAAC,OAA4B,EAAE,IAAY;IAC9D,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAClD,CAAC;AAOD,SAAS,UAAU;IACjB,MAAM,mBAAmB,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,MAAM,CAAC;IAC9B,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;QAC7B,wBAAwB,EAAE,IAAI;KAC/B,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CACvC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,wBAAwB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAU,CAC1E,CAAC;IACF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO;QACL,GAAG;QACH,OAAO,EAAE,GAAG,EAAE;YACZ,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACnB,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBACtC,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,mBAAmB,CAAC;YAC7C,CAAC;YACD,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzC,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AASD,SAAS,YAAY,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAS;IAC3D,SAAS,OAAO,CAAC,QAAgB;QAC/B,MAAM,QAAQ,GAAG,SAAS,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,oBAAoB,QAAQ,EAAE,CAAC,CAAC;QACpD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO;QACL,OAAO;QACP,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS;QAC/B,KAAK,CAAC,MAAM,CAAC,QAAmB;YAC9B,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,QAAgB;YAC1B,MAAM,GAAG,CAAC,GAAG,EAAE,CACb,OAAO,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CACvF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,QAAgB,EAAE,KAAa;YACzC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;YAChC,MAAM,CAAC,EAAE,CAAC,KAAK,YAAY,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;YACxD,MAAM,GAAG,CAAC,GAAG,EAAE;gBACb,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;gBACpB,KAAK,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACxE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,CAAC,MAAM;YACV,MAAM,GAAG,CAAC,GAAG,EAAE,CACb,OAAO,CAAC,MAAM,CAAC,CAAC,aAAa,CAC3B,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CACpE,CACF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,IAAY;YACvB,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,QAAQ,CAAC,OAAoB,EAAE,MAAe;IAC5D,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,UAAU,EAAE,CAAC;IACtC,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAE,CAAC;IAC7D,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACnC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE;QACvB,IAAI,CAAC;YACH,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAClC,CAAC;gBAAS,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,YAAY,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACxD,CAAC"}

package/package.json

@@ -0,0 +1,101 @@
+{
+  "name": "legend-doctor",
+  "version": "0.1.0",
+  "description": "Read-only React analyzer that proves which useState and useEffect hooks waste renders, and the exact Legend State edit that cuts them.",
+  "keywords": [
+    "cli",
+    "coding-agents",
+    "legend-state",
+    "linter",
+    "performance",
+    "re-renders",
+    "react",
+    "react-compiler",
+    "react-hooks",
+    "react-native",
+    "skill",
+    "static-analysis",
+    "typescript",
+    "useeffect",
+    "usestate"
+  ],
+  "homepage": "https://github.com/Genie-sa/legend-doctor#readme",
+  "bugs": {
+    "url": "https://github.com/Genie-sa/legend-doctor/issues"
+  },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Genie-sa/legend-doctor.git"
+  },
+  "bin": {
+    "legend-doctor": "./dist/src/cli.js"
+  },
+  "files": [
+    "dist/src",
+    "skills",
+    "EXAMPLES.md"
+  ],
+  "type": "module",
+  "exports": {
+    "./runtime": "./dist/src/runtime/dom.js"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "bench": "npm run build && node dist/evals/benchmark.js",
+    "build": "node -e \"fs.rmSync('dist', { force: true, recursive: true })\" && tsc -p tsconfig.json",
+    "changeset": "changeset",
+    "check": "npm run lint && npm run format:check && npm run typecheck && npm run build && npm test && npm run pack:check",
+    "eval": "npm run build && node dist/evals/run.js",
+    "eval:runtime": "npm run build && node --test \"dist/tests/runtime/*.test.js\"",
+    "format": "oxfmt",
+    "format:check": "oxfmt --check",
+    "lint": "oxlint --deny-warnings",
+    "lint:fix": "oxlint --fix --deny-warnings",
+    "pack:check": "npm pack --dry-run",
+    "prepack": "npm run build",
+    "release": "npm run build && changeset publish",
+    "test": "npm run build && node --test \"dist/tests/**/*.test.js\"",
+    "typecheck": "tsc --noEmit -p tsconfig.json",
+    "version-packages": "changeset version"
+  },
+  "dependencies": {
+    "typescript": "5.9.3"
+  },
+  "devDependencies": {
+    "@changesets/cli": "^2.31.0",
+    "@legendapp/state": "3.0.0-beta.48",
+    "@oxlint/plugins": "1.81.0",
+    "@types/jsdom": "21.1.7",
+    "@types/node": "^22.0.0",
+    "@types/react": "19.2.18",
+    "@types/react-dom": "19.2.7",
+    "jsdom": "26.1.0",
+    "oxfmt": "0.66.0",
+    "oxlint": "1.81.0",
+    "pkg-pr-new": "^0.0.75",
+    "react": "19.2.8",
+    "react-dom": "19.2.8"
+  },
+  "peerDependencies": {
+    "jsdom": ">=26",
+    "react": ">=18",
+    "react-dom": ">=18"
+  },
+  "peerDependenciesMeta": {
+    "jsdom": {
+      "optional": true
+    },
+    "react": {
+      "optional": true
+    },
+    "react-dom": {
+      "optional": true
+    }
+  },
+  "engines": {
+    "node": ">=22"
+  }
+}