legend-doctor 0.1.0

package/dist/src/rules/state-proofs/jsx-subtrees.js

@@ -0,0 +1,148 @@
+import { findAncestorUntil, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isSafeProjectionExpression } from "../deferred-reveal/safe-projections.js";
+import { jsxSubtreeAncestors } from "../deferred-reveal/jsx-subtrees.js";
+import ts from "typescript";
+export const EMPTY_BINDINGS = new Set();
+const jsxElementCounts = new WeakMap();
+export function isSafeJsxProjectionReference(node, boundary, allowedIdentifierCalls = EMPTY_BINDINGS) {
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, boundary);
+    if (attribute) {
+        if (attribute.name.getText() === "key") {
+            return false;
+        }
+        const { initializer } = attribute;
+        return (initializer !== undefined &&
+            ts.isJsxExpression(initializer) &&
+            initializer.expression !== undefined &&
+            isSafeProjectionExpression({
+                expression: initializer.expression,
+                reference: node,
+                allowedIdentifierCalls,
+            }));
+    }
+    const expression = findAncestorUntil(node, ts.isJsxExpression, boundary);
+    return (expression !== null &&
+        expression.expression !== undefined &&
+        isSafeProjectionExpression({
+            expression: expression.expression,
+            reference: node,
+            allowedIdentifierCalls,
+        }));
+}
+export function nearestRepeatedRenderCall(node, boundary) {
+    for (let current = node; current && current !== boundary; current = current.parent) {
+        if (ts.isCallExpression(current) &&
+            ts.isPropertyAccessExpression(current.expression) &&
+            ["map", "flatMap"].includes(current.expression.name.text)) {
+            return current;
+        }
+    }
+    return null;
+}
+export function lowestCommonJsxSubtree(nodes, boundary) {
+    const ancestorLists = nodes.map((node) => jsxSubtreeAncestors(node, boundary));
+    const [first] = ancestorLists;
+    if (!first || ancestorLists.some((ancestors) => ancestors.length === 0)) {
+        return null;
+    }
+    return (first.find((candidate) => ancestorLists.every((ancestors) => ancestors.includes(candidate))) ??
+        null);
+}
+export function jsxElementCountIn(node) {
+    const cached = jsxElementCounts.get(node);
+    if (cached !== undefined) {
+        return cached;
+    }
+    let count = 0;
+    visit(node, (current) => {
+        if (ts.isJsxElement(current) || ts.isJsxSelfClosingElement(current)) {
+            count += 1;
+        }
+    });
+    jsxElementCounts.set(node, count);
+    return count;
+}
+export function jsxElementCount(owner) {
+    return owner.body ? jsxElementCountIn(owner.body) : 0;
+}
+export function hasRepeatedJsxRenderWorkOutside(owner, excludedSubtree) {
+    if (!owner.body) {
+        return false;
+    }
+    let repeated = false;
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (repeated ||
+            !ts.isCallExpression(node) ||
+            nodeWithin(node, excludedSubtree) ||
+            !ts.isPropertyAccessExpression(node.expression) ||
+            !["map", "flatMap"].includes(node.expression.name.text) ||
+            node.questionDotToken !== undefined ||
+            node.expression.questionDotToken !== undefined ||
+            isConditionallyEvaluated(node, owner)) {
+            return;
+        }
+        const [callback] = node.arguments;
+        if (callback &&
+            (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) &&
+            jsxElementCountIn(callback.body) > 0) {
+            repeated = true;
+        }
+    });
+    return repeated;
+}
+function isConditionallyEvaluated(node, boundary) {
+    for (let current = node.parent; current && current !== boundary; current = current.parent) {
+        if (ts.isConditionalExpression(current) ||
+            ts.isIfStatement(current) ||
+            ts.isSwitchStatement(current) ||
+            ts.isCaseClause(current) ||
+            ts.isDefaultClause(current) ||
+            ts.isForStatement(current) ||
+            ts.isForInStatement(current) ||
+            ts.isForOfStatement(current) ||
+            ts.isWhileStatement(current) ||
+            ts.isDoStatement(current) ||
+            ts.isTryStatement(current) ||
+            ts.isCatchClause(current) ||
+            (ts.isBinaryExpression(current) &&
+                (current.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+                    current.operatorToken.kind === ts.SyntaxKind.BarBarToken ||
+                    current.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken))) {
+            return true;
+        }
+    }
+    return false;
+}
+export function hasUnstableSubtreeLifetime(node, boundary) {
+    let renderReturns = 0;
+    visitSkippingNestedRuntimeFunctions(boundary, (current) => {
+        if (ts.isReturnStatement(current) && current.expression) {
+            renderReturns += 1;
+        }
+    });
+    if (renderReturns > 1) {
+        return true;
+    }
+    for (let current = node; current && current !== boundary; current = current.parent) {
+        if ((ts.isJsxElement(current) || ts.isJsxSelfClosingElement(current)) &&
+            (ts.isJsxElement(current) ? current.openingElement : current).attributes.properties.some((property) => ts.isJsxAttribute(property) && property.name.getText() === "key")) {
+            return true;
+        }
+        if (ts.isConditionalExpression(current) ||
+            ts.isIfStatement(current) ||
+            ts.isSwitchStatement(current) ||
+            ts.isCaseClause(current) ||
+            ts.isDefaultClause(current) ||
+            (ts.isBinaryExpression(current) &&
+                (current.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+                    current.operatorToken.kind === ts.SyntaxKind.BarBarToken ||
+                    current.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken)) ||
+            (ts.isCallExpression(current) &&
+                ts.isPropertyAccessExpression(current.expression) &&
+                ["map", "flatMap"].includes(current.expression.name.text))) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=jsx-subtrees.js.map

package/dist/src/rules/state-proofs/jsx-subtrees.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-subtrees.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/jsx-subtrees.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,EAAE,CAAC;AAE7D,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAmB,CAAC;AAExD,MAAM,UAAU,4BAA4B,CAC1C,IAAa,EACb,QAAiB,EACjB,yBAA8C,cAAc;IAE5D,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IACvE,IAAI,SAAS,EAAE,CAAC;QACd,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,EAAE,CAAC;YACvC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;QAClC,OAAO,CACL,WAAW,KAAK,SAAS;YACzB,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;YAC/B,WAAW,CAAC,UAAU,KAAK,SAAS;YACpC,0BAA0B,CAAC;gBACzB,UAAU,EAAE,WAAW,CAAC,UAAU;gBAClC,SAAS,EAAE,IAAI;gBACf,sBAAsB;aACvB,CAAC,CACH,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACzE,OAAO,CACL,UAAU,KAAK,IAAI;QACnB,UAAU,CAAC,UAAU,KAAK,SAAS;QACnC,0BAA0B,CAAC;YACzB,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,SAAS,EAAE,IAAI;YACf,sBAAsB;SACvB,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAa,EACb,QAAiB;IAEjB,KACE,IAAI,OAAO,GAAwB,IAAI,EACvC,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC;YACjD,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EACzD,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAyB,EACzB,QAAiB;IAEjB,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,GAAG,aAAa,CAAC;IAC9B,IAAI,CAAC,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5F,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAa;IAC7C,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QACtB,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;IACH,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAA0B;IACxD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,KAA0B,EAC1B,eAAwB;IAExB,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IACE,QAAQ;YACR,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,UAAU,CAAC,IAAI,EAAE,eAAe,CAAC;YACjC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/C,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YACvD,IAAI,CAAC,gBAAgB,KAAK,SAAS;YACnC,IAAI,CAAC,UAAU,CAAC,gBAAgB,KAAK,SAAS;YAC9C,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,EACrC,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QAClC,IACE,QAAQ;YACR,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YACnE,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EACpC,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAa,EAAE,QAAiB;IAChE,KAAK,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,OAAO,KAAK,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1F,IACE,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;YACnC,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;YACxB,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;YAC1B,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;YAC1B,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;gBAC7B,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACnE,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBACxD,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,EACxE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAoB,EAAE,QAAiB;IAChF,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,mCAAmC,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE;QACxD,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACxD,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KACE,IAAI,OAAO,GAAwB,IAAI,EACvC,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;YACjE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACtF,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAC/E,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IACE,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;YACnC,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;YACxB,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;gBAC7B,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACnE,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBACxD,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC;YACxE,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;gBAC3B,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC;gBACjD,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAC5D,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/state-proofs/projection-hops.d.ts

@@ -0,0 +1,6 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import { isSafeProjectionExpression } from "../deferred-reveal/safe-projections.js";
+import ts from "typescript";
+export declare function oneHopRenderProjectionReferences(owner: RuntimeFunctionLike, renderNodes: readonly ts.Node[], isAllowedProjection?: typeof isSafeProjectionExpression): readonly ts.Identifier[] | null;
+export declare function boundedRenderProjectionReferences(owner: RuntimeFunctionLike, renderNodes: readonly ts.Node[], maxHops?: number): readonly ts.Identifier[] | null;
+//# sourceMappingURL=projection-hops.d.ts.map

package/dist/src/rules/state-proofs/projection-hops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-hops.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/projection-hops.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AAEpF,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,mBAAmB,EAC1B,WAAW,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EAC/B,mBAAmB,GAAE,OAAO,0BAAuD,GAClF,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,IAAI,CAoBjC;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,mBAAmB,EAC1B,WAAW,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EAC/B,OAAO,SAAI,GACV,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,IAAI,CAMjC"}

package/dist/src/rules/state-proofs/projection-hops.js

@@ -0,0 +1,108 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nodeWithin, visit } from "../../core/ast.js";
+import { EMPTY_BINDINGS } from "./jsx-subtrees.js";
+import { isSafeProjectionExpression } from "../deferred-reveal/safe-projections.js";
+import { sourceHasRuntimeBinding } from "./binding-lookup.js";
+import ts from "typescript";
+/** A projection trail that stops on its own is only trusted once it has settled for two hops. */
+const MIN_SETTLED_PROJECTION_HOPS = 2;
+const PURE_MATH_PROJECTION_CALLS = new Set(["Math.max", "Math.min"]);
+export function oneHopRenderProjectionReferences(owner, renderNodes, isAllowedProjection = isSafeProjectionExpression) {
+    if (renderNodes.length === 0 || renderNodes.some((node) => !ts.isIdentifier(node))) {
+        return null;
+    }
+    const declaration = soleVariableDeclaration(renderNodes, owner);
+    if (!declaration) {
+        // SAFETY: The entry guard proves every render node is an Identifier.
+        return renderNodes;
+    }
+    const projection = constProjectionDeclaration(declaration, owner, renderNodes);
+    if (!projection ||
+        !renderNodes.every((node) => isAllowedProjection({ expression: projection.initializer, reference: node }))) {
+        return null;
+    }
+    const references = bindingReferences(owner, projection.name);
+    return references.length > 0 ? references : null;
+}
+export function boundedRenderProjectionReferences(owner, renderNodes, maxHops = 3) {
+    if (renderNodes.length === 0 || renderNodes.some((node) => !ts.isIdentifier(node))) {
+        return null;
+    }
+    // SAFETY: The entry guard proves every render node is an Identifier.
+    return followProjectionHops(renderNodes, owner, maxHops);
+}
+/**
+ * Walks up to `maxHops` single-declaration projection hops. The trail settles when a hop has no
+ * enclosing declaration left; running out of hops instead requires the references to be free.
+ */
+function followProjectionHops(renderNodes, owner, maxHops) {
+    let references = renderNodes;
+    for (let hops = 0; hops < maxHops; hops += 1) {
+        const declaration = soleVariableDeclaration(references, owner);
+        if (!declaration) {
+            return hops >= MIN_SETTLED_PROJECTION_HOPS ? references : null;
+        }
+        const next = nextProjectionHop(declaration, owner, references);
+        if (!next) {
+            return null;
+        }
+        references = next;
+    }
+    return references.some((node) => findAncestorUntil(node, ts.isVariableDeclaration, owner))
+        ? null
+        : references;
+}
+/** The references to the declared binding, or null when this hop is not a safe pure projection. */
+function nextProjectionHop(declaration, owner, references) {
+    const projection = constProjectionDeclaration(declaration, owner, references);
+    if (!projection ||
+        !references.every((node) => isSafeProjectionExpression({
+            expression: projection.initializer,
+            reference: node,
+            allowedIdentifierCalls: EMPTY_BINDINGS,
+            allowedPropertyCalls: sourceHasRuntimeBinding(owner.getSourceFile(), "Math")
+                ? EMPTY_BINDINGS
+                : PURE_MATH_PROJECTION_CALLS,
+        }))) {
+        return null;
+    }
+    const next = bindingReferences(owner, projection.name);
+    return next.length > 0 ? next : null;
+}
+/** The one variable declaration that encloses every node, or null when they disagree. */
+function soleVariableDeclaration(nodes, owner) {
+    const declarations = new Set(nodes.map((node) => findAncestorUntil(node, ts.isVariableDeclaration, owner)));
+    if (declarations.size !== 1) {
+        return null;
+    }
+    const [declaration] = declarations;
+    return declaration ?? null;
+}
+/** A uniquely bound `const x = <initializer>` whose initializer contains every reference. */
+function constProjectionDeclaration(declaration, owner, references) {
+    const { initializer, name } = declaration;
+    if (!initializer ||
+        !ts.isIdentifier(name) ||
+        !references.every((node) => nodeWithin(node, initializer)) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(owner, name.text) !== 1) {
+        return null;
+    }
+    return { initializer, name };
+}
+/** Every value reference to the binding inside the owner, excluding its own declaration name. */
+function bindingReferences(owner, name) {
+    const references = [];
+    visit(owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === name.text &&
+            node !== name &&
+            !isDeclarationName(node) &&
+            !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return references;
+}
+//# sourceMappingURL=projection-hops.js.map

package/dist/src/rules/state-proofs/projection-hops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-hops.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/projection-hops.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,iGAAiG;AACjG,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAEtC,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAE1F,MAAM,UAAU,gCAAgC,CAC9C,KAA0B,EAC1B,WAA+B,EAC/B,sBAAyD,0BAA0B;IAEnF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAChE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,qEAAqE;QACrE,OAAO,WAAuC,CAAC;IACjD,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAC/E,IACE,CAAC,UAAU;QACX,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1B,mBAAmB,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAC7E,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7D,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,KAA0B,EAC1B,WAA+B,EAC/B,OAAO,GAAG,CAAC;IAEX,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,qEAAqE;IACrE,OAAO,oBAAoB,CAAC,WAAuC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACvF,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,WAAqC,EACrC,KAA0B,EAC1B,OAAe;IAEf,IAAI,UAAU,GAAG,WAAW,CAAC;IAC7B,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,uBAAuB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,IAAI,IAAI,2BAA2B,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,WAAW,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU,GAAG,IAAI,CAAC;IACpB,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;QACxF,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC;AAED,mGAAmG;AACnG,SAAS,iBAAiB,CACxB,WAAmC,EACnC,KAA0B,EAC1B,UAAoC;IAEpC,MAAM,UAAU,GAAG,0BAA0B,CAAC,WAAW,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC9E,IACE,CAAC,UAAU;QACX,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CACzB,0BAA0B,CAAC;YACzB,UAAU,EAAE,UAAU,CAAC,WAAW;YAClC,SAAS,EAAE,IAAI;YACf,sBAAsB,EAAE,cAAc;YACtC,oBAAoB,EAAE,uBAAuB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC;gBAC1E,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,0BAA0B;SAC/B,CAAC,CACH,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,yFAAyF;AACzF,SAAS,uBAAuB,CAC9B,KAAyB,EACzB,KAA0B;IAE1B,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC,CAC9E,CAAC;IACF,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,WAAW,CAAC,GAAG,YAAY,CAAC;IACnC,OAAO,WAAW,IAAI,IAAI,CAAC;AAC7B,CAAC;AAED,6FAA6F;AAC7F,SAAS,0BAA0B,CACjC,WAAmC,EACnC,KAA0B,EAC1B,UAA8B;IAE9B,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC;IAC1C,IACE,CAAC,WAAW;QACZ,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACtB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC1D,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAC/C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,iGAAiG;AACjG,SAAS,iBAAiB,CAAC,KAA0B,EAAE,IAAmB;IACxE,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;YACvB,IAAI,KAAK,IAAI;YACb,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/src/rules/state-proofs/render-cut-witness.d.ts

@@ -0,0 +1,9 @@
+import ts from "typescript";
+export interface RenderCutWitnessQuery {
+    readonly excluded: readonly ts.Node[];
+    readonly localComponents: ReadonlySet<string>;
+    readonly returned: ts.Expression;
+    readonly sourceComponents: ReadonlySet<string>;
+}
+export declare function hasIndependentRenderCutWitness({ excluded, localComponents, returned, sourceComponents, }: RenderCutWitnessQuery): boolean;
+//# sourceMappingURL=render-cut-witness.d.ts.map

package/dist/src/rules/state-proofs/render-cut-witness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-cut-witness.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/render-cut-witness.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD;AAED,wBAAgB,8BAA8B,CAAC,EAC7C,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,gBAAgB,GACjB,EAAE,qBAAqB,GAAG,OAAO,CAsBjC"}

package/dist/src/rules/state-proofs/render-cut-witness.js

@@ -0,0 +1,54 @@
+import { nodeWithin, visit, visitSkippingNestedRuntimeFunctions } from "../../core/ast.js";
+import ts from "typescript";
+/** Two independent elements are the smallest render cut worth reporting on its own. */
+const MIN_INDEPENDENT_JSX_ELEMENTS = 2;
+export function hasIndependentRenderCutWitness({ excluded, localComponents, returned, sourceComponents, }) {
+    let hasIndependentComponent = false;
+    let independentElements = 0;
+    visitSkippingNestedRuntimeFunctions(returned, (node) => {
+        if (!ts.isJsxOpeningElement(node) && !ts.isJsxSelfClosingElement(node)) {
+            return;
+        }
+        const subtree = ts.isJsxOpeningElement(node) ? node.parent : node;
+        if (!isIndependentOfAll(subtree, excluded) ||
+            hasIndependentJsxAncestor(subtree, returned, excluded)) {
+            return;
+        }
+        independentElements += 1;
+        hasIndependentComponent ||= containsComponentBoundary(subtree, localComponents, sourceComponents);
+    });
+    return hasIndependentComponent || independentElements >= MIN_INDEPENDENT_JSX_ELEMENTS;
+}
+/** The candidate neither is, nor contains, nor sits inside any already-excluded subtree. */
+function isIndependentOfAll(candidate, excluded) {
+    return excluded.every((subtree) => candidate !== subtree && !nodeWithin(candidate, subtree) && !nodeWithin(subtree, candidate));
+}
+/** A nearer independent JSX ancestor already counts this subtree, so it must not count again. */
+function hasIndependentJsxAncestor(subtree, returned, excluded) {
+    for (let current = subtree.parent; current && current !== returned; current = current.parent) {
+        if ((ts.isJsxElement(current) ||
+            ts.isJsxFragment(current) ||
+            ts.isJsxSelfClosingElement(current)) &&
+            isIndependentOfAll(current, excluded)) {
+            return true;
+        }
+    }
+    return false;
+}
+function containsComponentBoundary(subtree, localComponents, sourceComponents) {
+    let found = false;
+    visit(subtree, (descendant) => {
+        if (found || (!ts.isJsxOpeningElement(descendant) && !ts.isJsxSelfClosingElement(descendant))) {
+            return;
+        }
+        const name = descendant.tagName.getText();
+        found =
+            isComponentBoundaryName(name) || localComponents.has(name) || sourceComponents.has(name);
+    });
+    return found;
+}
+function isComponentBoundaryName(name) {
+    const member = name.slice(name.lastIndexOf(".") + 1);
+    return member !== "Fragment" && (name.includes(".") || /^[A-Z]/u.test(name));
+}
+//# sourceMappingURL=render-cut-witness.js.map

package/dist/src/rules/state-proofs/render-cut-witness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-cut-witness.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/render-cut-witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAC3F,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,uFAAuF;AACvF,MAAM,4BAA4B,GAAG,CAAC,CAAC;AASvC,MAAM,UAAU,8BAA8B,CAAC,EAC7C,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,gBAAgB,GACM;IACtB,IAAI,uBAAuB,GAAG,KAAK,CAAC;IACpC,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,mCAAmC,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACrD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAY,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,IACE,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC;YACtC,yBAAyB,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,EACtD,CAAC;YACD,OAAO;QACT,CAAC;QACD,mBAAmB,IAAI,CAAC,CAAC;QACzB,uBAAuB,KAAK,yBAAyB,CACnD,OAAO,EACP,eAAe,EACf,gBAAgB,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,uBAAuB,IAAI,mBAAmB,IAAI,4BAA4B,CAAC;AACxF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAkB,EAAE,QAA4B;IAC1E,OAAO,QAAQ,CAAC,KAAK,CACnB,CAAC,OAAO,EAAE,EAAE,CACV,SAAS,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAC9F,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,SAAS,yBAAyB,CAChC,OAAgB,EAChB,QAAiB,EACjB,QAA4B;IAE5B,KACE,IAAI,OAAO,GAAwB,OAAO,CAAC,MAAM,EACjD,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;YACvB,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;YACtC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,EACrC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAChC,OAAgB,EAChB,eAAoC,EACpC,gBAAqC;IAErC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,EAAE;QAC5B,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YAC9F,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1C,KAAK;YACH,uBAAuB,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAY;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,OAAO,MAAM,KAAK,UAAU,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/E,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export { stateMayHoldCallable, stateTypeMayBeCallable } from "../callable-state.js";
+export declare function hasDirectPrimitiveInitializer(state: StateCandidate): boolean;
+export declare function setterCallUsesPreviousValue(call: ts.CallExpression): boolean;
+export declare function isDirectPrimitiveExpression(expression: ts.Expression): boolean;
+export declare function hasOnlyEventCommandReads(state: StateCandidate, ignored?: ReadonlySet<ts.Node>, additionalRoots?: ReadonlySet<RuntimeFunctionLike>): boolean;
+//# sourceMappingURL=state-proofs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state-proofs.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/state-proofs.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAM5B,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEpF,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAG5E;AAED,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAiB5E;AAED,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAkB9E;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,cAAc,EACrB,OAAO,GAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAe,EAC3C,eAAe,GAAE,WAAW,CAAC,mBAAmB,CAA2B,GAC1E,OAAO,CAkBT"}

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

@@ -0,0 +1,102 @@
+import { USE_CALLBACK_HOOK, callbackIsEventRooted, isPlainFunction } from "./event-roots.js";
+import { findAncestor, findAncestorUntil, isRuntimeFunctionLike, nearestNestedFunction, visit, } from "../../core/ast.js";
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { isHookDependencyReference, isJsxNode } from "./callback-sites.js";
+import ts from "typescript";
+const EMPTY_NODES = new Set();
+const EMPTY_RUNTIME_FUNCTIONS = new Set();
+export { stateMayHoldCallable, stateTypeMayBeCallable } from "../callable-state.js";
+export function hasDirectPrimitiveInitializer(state) {
+    const [initializer] = state.call.arguments;
+    return initializer !== undefined && isDirectPrimitiveExpression(initializer);
+}
+export function setterCallUsesPreviousValue(call) {
+    const [argument] = call.arguments;
+    if (!argument || (!ts.isArrowFunction(argument) && !ts.isFunctionExpression(argument))) {
+        return false;
+    }
+    const [parameter] = argument.parameters;
+    if (!parameter || !ts.isIdentifier(parameter.name)) {
+        return false;
+    }
+    const parameterName = parameter.name.text;
+    let referenced = false;
+    visit(argument.body, (node) => {
+        if (ts.isIdentifier(node) && node.text === parameterName && node !== parameter.name) {
+            referenced = true;
+        }
+    });
+    return referenced;
+}
+export function isDirectPrimitiveExpression(expression) {
+    const value = unwrapTransparentExpression(expression);
+    if (value.kind === ts.SyntaxKind.TrueKeyword ||
+        value.kind === ts.SyntaxKind.FalseKeyword ||
+        value.kind === ts.SyntaxKind.NullKeyword ||
+        ts.isStringLiteralLike(value) ||
+        ts.isNumericLiteral(value) ||
+        ts.isBigIntLiteral(value) ||
+        ts.isNoSubstitutionTemplateLiteral(value)) {
+        return true;
+    }
+    return (ts.isPrefixUnaryExpression(value) &&
+        (value.operator === ts.SyntaxKind.PlusToken || value.operator === ts.SyntaxKind.MinusToken) &&
+        (ts.isNumericLiteral(value.operand) || ts.isBigIntLiteral(value.operand)));
+}
+export function hasOnlyEventCommandReads(state, ignored = EMPTY_NODES, additionalRoots = EMPTY_RUNTIME_FUNCTIONS) {
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node) ||
+            node.parent === state.call.parent ||
+            ignored.has(node) ||
+            findAncestorUntil(node, isJsxNode, state.owner)) {
+            return;
+        }
+        safe = stateReadIsEventCommand(node, state, additionalRoots);
+    });
+    return safe;
+}
+/** A read outside JSX is safe only from an event-rooted callback, or as a useCallback dependency. */
+function stateReadIsEventCommand(reference, state, additionalRoots) {
+    const callback = nearestNestedFunction(reference, state.owner);
+    if (callback) {
+        return callbackOrAncestorIsEventRooted(callback, state, additionalRoots);
+    }
+    if (!isHookDependencyReference(reference, USE_CALLBACK_HOOK)) {
+        return false;
+    }
+    const call = findAncestorUntil(reference, ts.isCallExpression, state.owner);
+    const candidate = call?.arguments[0];
+    return (candidate !== undefined &&
+        (ts.isArrowFunction(candidate) || ts.isFunctionExpression(candidate)) &&
+        callbackIsEventRooted({
+            callback: candidate,
+            owner: state.owner,
+            dependencyName: state.valueName,
+            seen: new Set(),
+            additionalRoot: (root) => additionalRoots.has(root),
+        }));
+}
+function callbackOrAncestorIsEventRooted(callback, state, additionalRoots) {
+    for (let candidate = callback; candidate && candidate !== state.owner; candidate =
+        additionalRoots.size > 0
+            ? (findAncestor(candidate, isRuntimeFunctionLike) ?? undefined)
+            : undefined) {
+        if (isPlainFunction(candidate) &&
+            callbackIsEventRooted({
+                callback: candidate,
+                owner: state.owner,
+                dependencyName: state.valueName,
+                seen: new Set(),
+                additionalRoot: (root) => additionalRoots.has(root),
+            })) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=state-proofs.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state-proofs.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/state-proofs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,KAAK,GACN,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAG3E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,GAAyB,IAAI,GAAG,EAAE,CAAC;AAEpD,MAAM,uBAAuB,GAAqC,IAAI,GAAG,EAAE,CAAC;AAE5E,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEpF,MAAM,UAAU,6BAA6B,CAAC,KAAqB;IACjE,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,OAAO,WAAW,KAAK,SAAS,IAAI,2BAA2B,CAAC,WAAW,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAuB;IACjE,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,SAAS,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC;IACxC,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1C,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;YACpF,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,UAAyB;IACnE,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IACE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACzC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC7B,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1B,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QACzB,EAAE,CAAC,+BAA+B,CAAC,KAAK,CAAC,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;QACjC,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAC3F,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAqB,EACrB,UAAgC,WAAW,EAC3C,kBAAoD,uBAAuB;IAE3E,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM;YACjC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YACjB,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAC/C,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qGAAqG;AACrG,SAAS,uBAAuB,CAC9B,SAAwB,EACxB,KAAqB,EACrB,eAAiD;IAEjD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,+BAA+B,CAAC,QAAQ,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5E,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,CACL,SAAS,KAAK,SAAS;QACvB,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QACrE,qBAAqB,CAAC;YACpB,QAAQ,EAAE,SAAS;YACnB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,KAAK,CAAC,SAAS;YAC/B,IAAI,EAAE,IAAI,GAAG,EAAE;YACf,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;SACpD,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,QAA6B,EAC7B,KAAqB,EACrB,eAAiD;IAEjD,KACE,IAAI,SAAS,GAAwB,QAAQ,EAC7C,SAAS,IAAI,SAAS,KAAK,KAAK,CAAC,KAAK,EACtC,SAAS;QACP,eAAe,CAAC,IAAI,GAAG,CAAC;YACtB,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,qBAAqB,CAAC,IAAI,SAAS,CAAC;YAC/D,CAAC,CAAC,SAAS,EACf,CAAC;QACD,IACE,eAAe,CAAC,SAAS,CAAC;YAC1B,qBAAqB,CAAC;gBACpB,QAAQ,EAAE,SAAS;gBACnB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,cAAc,EAAE,KAAK,CAAC,SAAS;gBAC/B,IAAI,EAAE,IAAI,GAAG,EAAE;gBACf,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;aACpD,CAAC,EACF,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,5 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function repeatedRenderHasStableItemKey(callback: ts.ArrowFunction | ts.FunctionExpression): boolean;
+export declare function isUniquelySelectedRepeatedProjection(nodes: readonly ts.Node[], boundary: RuntimeFunctionLike): boolean;
+//# sourceMappingURL=unique-repeated-selection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unique-repeated-selection.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/unique-repeated-selection.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,GACjD,OAAO,CAmBT;AAED,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EACzB,QAAQ,EAAE,mBAAmB,GAC5B,OAAO,CAcT"}