legend-doctor 0.1.0

package/dist/src/rules/derived-use-value/derived-memos.js

@@ -0,0 +1,162 @@
+import { bindingDeclarationCount, isNonValueIdentifier, localBindingNames, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestor, isRuntimeFunctionLike, nodeWithin, visit } from "../../core/ast.js";
+import { isUseValueCall, isValueReferenceTo, provenObservablePath, } from "../observable-reads/observable-paths.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import ts from "typescript";
+const USE_MEMO_ARGUMENTS = 2;
+/**
+ * A `const derived = useMemo(callback, deps)` whose every dependency is a `useValue` subscription
+ * read nowhere else, so the memo can become one computed observable.
+ */
+export function derivedMemoDeclaration(declaration, scan) {
+    const candidate = memoCandidate(declaration, scan.imports);
+    const inputs = candidate && observableInputs(candidate, scan);
+    if (!candidate ||
+        !inputs ||
+        !inputsConfinedToCallback(inputs, candidate) ||
+        !callbackStaysInsideComputed(candidate, inputs, scan.observableBindings)) {
+        return null;
+    }
+    const results = resultExpressions(candidate.callback);
+    return results ? { ...candidate, inputs, results } : null;
+}
+function memoCandidate(declaration, imports) {
+    const call = useMemoInitializer(declaration, imports);
+    if (!call || !ts.isIdentifier(declaration.name)) {
+        return null;
+    }
+    const callback = unwrapTransparentExpression(call.arguments[0]);
+    const dependencies = unwrapTransparentExpression(call.arguments[1]);
+    const owner = findAncestor(call, isRuntimeFunctionLike);
+    if (!isSynchronousThunk(callback) ||
+        !ts.isArrayLiteralExpression(dependencies) ||
+        dependencies.elements.length === 0 ||
+        !owner?.body ||
+        findAncestor(declaration, isRuntimeFunctionLike) !== owner ||
+        bindingDeclarationCount(owner, declaration.name.text) !== 1) {
+        return null;
+    }
+    return { call, callback, dependencies, derivedName: declaration.name.text, owner };
+}
+function useMemoInitializer(declaration, imports) {
+    if (!declaration.initializer || !isConst(declaration)) {
+        return null;
+    }
+    const call = unwrapTransparentExpression(declaration.initializer);
+    const isUseMemo = ts.isCallExpression(call) &&
+        call.arguments.length === USE_MEMO_ARGUMENTS &&
+        isImportedHookCall({
+            call,
+            canonicalName: "useMemo",
+            localNames: imports.useMemo,
+            namespaceNames: imports.reactNamespaces,
+        });
+    return isUseMemo ? call : null;
+}
+function isSynchronousThunk(node) {
+    return ((ts.isArrowFunction(node) || ts.isFunctionExpression(node)) &&
+        node.parameters.length === 0 &&
+        !node.asteriskToken &&
+        !node.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword));
+}
+function isConst(declaration) {
+    return (ts.isVariableDeclarationList(declaration.parent) &&
+        (declaration.parent.flags & ts.NodeFlags.Const) !== 0);
+}
+function observableInputs(candidate, scan) {
+    const inputs = candidate.dependencies.elements.map((element) => dependencyInput(element, candidate.owner, scan));
+    const resolved = inputs.filter((input) => input !== null);
+    const distinct = new Set(resolved.map((input) => input.localName)).size === resolved.length;
+    return resolved.length === inputs.length && distinct ? resolved : null;
+}
+function dependencyInput(element, owner, scan) {
+    const dependency = unwrapTransparentExpression(element);
+    if (!ts.isIdentifier(dependency) || bindingDeclarationCount(owner, dependency.text) !== 1) {
+        return null;
+    }
+    let input = null;
+    visit(owner.body, (node) => {
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.name.text === dependency.text) {
+            input = useValueDeclarationInput(node, owner, scan);
+        }
+    });
+    return input;
+}
+function useValueDeclarationInput(declaration, owner, scan) {
+    const call = declaration.initializer && unwrapTransparentExpression(declaration.initializer);
+    if (!call ||
+        !ts.isCallExpression(call) ||
+        call.arguments.length !== 1 ||
+        !ts.isIdentifier(declaration.name) ||
+        !isConst(declaration) ||
+        !isUseValueCall(call, scan.imports) ||
+        findAncestor(declaration, isRuntimeFunctionLike) !== owner) {
+        return null;
+    }
+    const observable = provenObservablePath(call.arguments[0], scan.observableBindings);
+    return observable ? { declaration, localName: declaration.name.text, observable } : null;
+}
+function inputsConfinedToCallback(inputs, candidate) {
+    return inputs.every((input) => {
+        let confined = true;
+        visit(candidate.owner.body, (node) => {
+            if (confined &&
+                isValueReferenceTo(node, input.localName, input.declaration.name) &&
+                !nodeWithin(node, candidate.callback) &&
+                !nodeWithin(node, candidate.dependencies)) {
+                confined = false;
+            }
+        });
+        return confined;
+    });
+}
+/**
+ * The callback may read only its observable inputs and module-level names: any other owner-local
+ * binding, observable root, `this`, ref, or suspension would change meaning inside a computed.
+ */
+function callbackStaysInsideComputed(candidate, inputs, observableBindings) {
+    const inputNames = new Set(inputs.map((input) => input.localName));
+    const ownerLocals = localBindingNames(candidate.owner, candidate.callback);
+    let stays = true;
+    visit(candidate.callback.body, (node) => {
+        if (!stays) {
+            return;
+        }
+        if (ts.isIdentifier(node) && !isNonValueIdentifier(node) && !inputNames.has(node.text)) {
+            stays = !ownerLocals.has(node.text) && !observableBindings.has(node.text);
+            return;
+        }
+        stays = !escapesComputedContext(node);
+    });
+    return stays;
+}
+function escapesComputedContext(node) {
+    return (ts.isAwaitExpression(node) ||
+        ts.isYieldExpression(node) ||
+        node.kind === ts.SyntaxKind.ThisKeyword ||
+        (ts.isPropertyAccessExpression(node) && node.name.text === "current"));
+}
+function resultExpressions(callback) {
+    if (!ts.isBlock(callback.body)) {
+        return [callback.body];
+    }
+    const results = [];
+    let returns = 0;
+    const collect = (node) => {
+        if (isRuntimeFunctionLike(node)) {
+            return;
+        }
+        if (ts.isReturnStatement(node)) {
+            returns += 1;
+            if (node.expression) {
+                results.push(node.expression);
+            }
+        }
+        node.forEachChild(collect);
+    };
+    callback.body.forEachChild(collect);
+    return returns > 0 ? results : null;
+}
+//# sourceMappingURL=derived-memos.js.map

package/dist/src/rules/derived-use-value/derived-memos.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-memos.js","sourceRoot":"","sources":["../../../../src/rules/derived-use-value/derived-memos.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,iBAAiB,EACjB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC3F,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,yCAAyC,CAAC;AAGjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAiC5B,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAE7B;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,WAAmC,EACnC,IAAqB;IAErB,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,SAAS,IAAI,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAC9D,IACE,CAAC,SAAS;QACV,CAAC,MAAM;QACP,CAAC,wBAAwB,CAAC,MAAM,EAAE,SAAS,CAAC;QAC5C,CAAC,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,kBAAkB,CAAC,EACxE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,aAAa,CACpB,WAAmC,EACnC,OAAoB;IAEpB,MAAM,IAAI,GAAG,kBAAkB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACxD,IACE,CAAC,kBAAkB,CAAC,QAAQ,CAAC;QAC7B,CAAC,EAAE,CAAC,wBAAwB,CAAC,YAAY,CAAC;QAC1C,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAClC,CAAC,KAAK,EAAE,IAAI;QACZ,YAAY,CAAC,WAAW,EAAE,qBAAqB,CAAC,KAAK,KAAK;QAC1D,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AACrF,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAmC,EACnC,OAAoB;IAEpB,IAAI,CAAC,WAAW,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAClE,MAAM,SAAS,GACb,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,kBAAkB;QAC5C,kBAAkB,CAAC;YACjB,IAAI;YACJ,aAAa,EAAE,SAAS;YACxB,UAAU,EAAE,OAAO,CAAC,OAAO;YAC3B,cAAc,EAAE,OAAO,CAAC,eAAe;SACxC,CAAC,CAAC;IACL,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,OAAO,CACL,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5B,CAAC,IAAI,CAAC,aAAa;QACnB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAClF,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,WAAmC;IAClD,OAAO,CACL,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QAChD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAwB,EACxB,IAAqB;IAErB,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7D,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAChD,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC;IAC5F,OAAO,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC;AAED,SAAS,eAAe,CACtB,OAAsB,EACtB,KAA0B,EAC1B,IAAqB;IAErB,MAAM,UAAU,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,uBAAuB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,GAA+B,IAAI,CAAC;IAC7C,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,EAClC,CAAC;YACD,KAAK,GAAG,wBAAwB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,wBAAwB,CAC/B,WAAmC,EACnC,KAA0B,EAC1B,IAAqB;IAErB,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,IAAI,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAC7F,IACE,CAAC,IAAI;QACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,OAAO,CAAC,WAAW,CAAC;QACrB,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QACnC,YAAY,CAAC,WAAW,EAAE,qBAAqB,CAAC,KAAK,KAAK,EAC1D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACrF,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3F,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAsC,EACtC,SAAwB;IAExB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5B,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACnC,IACE,QAAQ;gBACR,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC;gBACjE,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC;gBACrC,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,YAAY,CAAC,EACzC,CAAC;gBACD,QAAQ,GAAG,KAAK,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,2BAA2B,CAClC,SAAwB,EACxB,MAAsC,EACtC,kBAAuC;IAEvC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3E,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACtC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvF,KAAK,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1E,OAAO;QACT,CAAC;QACD,KAAK,GAAG,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAa;IAC3C,OAAO,CACL,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAsB;IAC/C,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,CAAC;YACb,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IACpC,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACtC,CAAC"}

package/dist/src/rules/derived-use-value/derived-use-value.d.ts

@@ -0,0 +1,11 @@
+import type { HookImports } from "../../core/imports.js";
+import type { LegendPracticeFinding } from "../../core/types.js";
+import ts from "typescript";
+export interface DerivedUseValueScan {
+    readonly fileName: string;
+    readonly imports: HookImports;
+    readonly observableBindings: ReadonlySet<string>;
+    readonly sourceFile: ts.SourceFile;
+}
+export declare function findDerivedUseValuePractices(scan: DerivedUseValueScan): LegendPracticeFinding[];
+//# sourceMappingURL=derived-use-value.d.ts.map

package/dist/src/rules/derived-use-value/derived-use-value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-use-value.d.ts","sourceRoot":"","sources":["../../../../src/rules/derived-use-value/derived-use-value.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAGjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,mBAAmB,GAAG,qBAAqB,EAAE,CAe/F"}

package/dist/src/rules/derived-use-value/derived-use-value.js

@@ -0,0 +1,63 @@
+import { derivedMemoDeclaration } from "./derived-memos.js";
+import { isProvablyPrimitive } from "./primitive-results.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+export function findDerivedUseValuePractices(scan) {
+    if (scan.imports.useMemo.size === 0 && scan.imports.reactNamespaces.size === 0) {
+        return [];
+    }
+    const findings = [];
+    visit(scan.sourceFile, (node) => {
+        if (!ts.isVariableDeclaration(node)) {
+            return;
+        }
+        const memo = derivedMemoDeclaration(node, scan);
+        if (memo && returnsOnlyPrimitives(memo)) {
+            findings.push(derivedObservableFinding(memo, scan));
+        }
+    });
+    return findings;
+}
+function returnsOnlyPrimitives(memo) {
+    const scope = { callback: memo.callback, owner: memo.owner };
+    return memo.results.every((result) => isProvablyPrimitive(result, scope));
+}
+function derivedObservableFinding(memo, scan) {
+    const { sourceFile } = scan;
+    const { line, character } = sourceFile.getLineAndCharacterOfPosition(memo.call.getStart(sourceFile));
+    const name = memo.derivedName;
+    const dependencyList = memo.inputs.map((input) => input.localName).join(", ");
+    const subscriptions = joinNames(memo.inputs.map((input) => `\`useValue(${input.observable.getText(sourceFile)})\``));
+    const substitutions = joinNames(memo.inputs.map((input) => `\`${input.observable.getText(sourceFile)}.get()\` for \`${input.localName}\``));
+    return {
+        action: "derive-computed-observable",
+        confidence: "certain",
+        disposition: "change",
+        evidence: [
+            inputEvidence(memo.inputs, sourceFile),
+            "every memo dependency is one of those subscriptions, so a computed observable tracks exactly the declared inputs",
+            "the memo returns only primitive expressions, so an unchanged result skips the rerender useMemo could not",
+        ],
+        location: { column: character + 1, file: scan.fileName, line: line + 1 },
+        message: `Replace \`const ${name} = useMemo(…, [${dependencyList}])\` and the ${subscriptions} ` +
+            `subscription${memo.inputs.length === 1 ? "" : "s"} it depends on with ` +
+            `\`const ${name}$ = useObservable(() => …)\` reading ${substitutions}, then ` +
+            `\`const ${name} = useValue(${name}$)\`; the computed reruns only when those observables ` +
+            "change and the component rerenders only when the primitive result changes.",
+        practice: "reactivity",
+    };
+}
+function inputEvidence(inputs, sourceFile) {
+    const names = joinNames(inputs.map((input) => `\`${input.localName}\``));
+    const paths = joinNames(inputs.map((input) => `\`${input.observable.getText(sourceFile)}\``));
+    return inputs.length === 1
+        ? `${names} is a useValue subscription to the proven observable path ${paths} and is read only inside this memo`
+        : `${names} are useValue subscriptions to the proven observable paths ${paths} and each is read only inside this memo`;
+}
+function joinNames(names) {
+    if (names.length <= 1) {
+        return names.join("");
+    }
+    return `${names.slice(0, -1).join(", ")} and ${names.at(-1)}`;
+}
+//# sourceMappingURL=derived-use-value.js.map

package/dist/src/rules/derived-use-value/derived-use-value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-use-value.js","sourceRoot":"","sources":["../../../../src/rules/derived-use-value/derived-use-value.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAS1C,MAAM,UAAU,4BAA4B,CAAC,IAAyB;IACpE,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/E,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAiB;IAC9C,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC7D,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAiB,EACjB,IAAyB;IAEzB,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAC5B,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAClE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC/B,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9B,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAG,SAAS,CAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CACpF,CAAC;IACF,MAAM,aAAa,GAAG,SAAS,CAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CACb,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,kBAAkB,KAAK,CAAC,SAAS,IAAI,CAC1F,CACF,CAAC;IACF,OAAO;QACL,MAAM,EAAE,4BAA4B;QACpC,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE;YACR,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC;YACtC,kHAAkH;YAClH,0GAA0G;SAC3G;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE;QACxE,OAAO,EACL,mBAAmB,IAAI,kBAAkB,cAAc,gBAAgB,aAAa,GAAG;YACvF,eAAe,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,sBAAsB;YACxE,WAAW,IAAI,wCAAwC,aAAa,SAAS;YAC7E,WAAW,IAAI,eAAe,IAAI,wDAAwD;YAC1F,4EAA4E;QAC9E,QAAQ,EAAE,YAAY;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,MAAsC,EAAE,UAAyB;IACtF,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9F,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,CAAC,GAAG,KAAK,6DAA6D,KAAK,oCAAoC;QAChH,CAAC,CAAC,GAAG,KAAK,8DAA8D,KAAK,yCAAyC,CAAC;AAC3H,CAAC;AAED,SAAS,SAAS,CAAC,KAAwB;IACzC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChE,CAAC"}

package/dist/src/rules/derived-use-value/primitive-results.d.ts

@@ -0,0 +1,9 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+/** Owner scope plus the callback whose local `let` bindings may carry proven primitive values. */
+export interface PrimitiveScope {
+    readonly callback: ts.ArrowFunction | ts.FunctionExpression;
+    readonly owner: RuntimeFunctionLike;
+}
+export declare function isProvablyPrimitive(expression: ts.Expression, scope: PrimitiveScope): boolean;
+//# sourceMappingURL=primitive-results.d.ts.map

package/dist/src/rules/derived-use-value/primitive-results.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitive-results.d.ts","sourceRoot":"","sources":["../../../../src/rules/derived-use-value/primitive-results.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AA+C5B,kGAAkG;AAClG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CAAC;IAC5D,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAS7F"}

package/dist/src/rules/derived-use-value/primitive-results.js

@@ -0,0 +1,154 @@
+import { bindingDeclarationCount, isAssignmentOperator, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+const PRIMITIVE_GLOBAL_VALUES = new Set(["Infinity", "NaN", "undefined"]);
+const PRIMITIVE_GLOBAL_CONSTRUCTORS = new Set(["Boolean", "Number", "String"]);
+const NUMBER_NAMESPACE = "Math";
+/** Operators whose result is a primitive for every operand pair, including objects. */
+const ALWAYS_PRIMITIVE_OPERATORS = new Set([
+    ts.SyntaxKind.AmpersandToken,
+    ts.SyntaxKind.AsteriskAsteriskToken,
+    ts.SyntaxKind.AsteriskToken,
+    ts.SyntaxKind.BarToken,
+    ts.SyntaxKind.CaretToken,
+    ts.SyntaxKind.EqualsEqualsEqualsToken,
+    ts.SyntaxKind.EqualsEqualsToken,
+    ts.SyntaxKind.ExclamationEqualsEqualsToken,
+    ts.SyntaxKind.ExclamationEqualsToken,
+    ts.SyntaxKind.GreaterThanEqualsToken,
+    ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken,
+    ts.SyntaxKind.GreaterThanGreaterThanToken,
+    ts.SyntaxKind.GreaterThanToken,
+    ts.SyntaxKind.InKeyword,
+    ts.SyntaxKind.InstanceOfKeyword,
+    ts.SyntaxKind.LessThanEqualsToken,
+    ts.SyntaxKind.LessThanLessThanToken,
+    ts.SyntaxKind.LessThanToken,
+    ts.SyntaxKind.MinusToken,
+    ts.SyntaxKind.PercentToken,
+    ts.SyntaxKind.PlusToken,
+    ts.SyntaxKind.SlashToken,
+]);
+/** Operators that return one of their operands unchanged. */
+const OPERAND_SELECTING_OPERATORS = new Set([
+    ts.SyntaxKind.AmpersandAmpersandToken,
+    ts.SyntaxKind.BarBarToken,
+    ts.SyntaxKind.QuestionQuestionToken,
+]);
+const PRIMITIVE_PREFIX_OPERATORS = new Set([
+    ts.SyntaxKind.ExclamationToken,
+    ts.SyntaxKind.MinusToken,
+    ts.SyntaxKind.PlusToken,
+    ts.SyntaxKind.TildeToken,
+]);
+export function isProvablyPrimitive(expression, scope) {
+    const value = unwrapTransparentExpression(expression);
+    if (isPrimitiveLiteral(value) || ts.isTypeOfExpression(value) || ts.isVoidExpression(value)) {
+        return true;
+    }
+    if (ts.isIdentifier(value)) {
+        return isPrimitiveIdentifier(value, scope);
+    }
+    return isPrimitiveComposite(value, scope);
+}
+function isPrimitiveComposite(value, scope) {
+    if (ts.isPrefixUnaryExpression(value)) {
+        return PRIMITIVE_PREFIX_OPERATORS.has(value.operator);
+    }
+    if (ts.isBinaryExpression(value)) {
+        return isPrimitiveBinary(value, scope);
+    }
+    if (ts.isConditionalExpression(value)) {
+        return (isProvablyPrimitive(value.whenTrue, scope) && isProvablyPrimitive(value.whenFalse, scope));
+    }
+    return ts.isCallExpression(value) && isPrimitiveGlobalCall(value, scope.owner);
+}
+function isPrimitiveLiteral(value) {
+    return (ts.isStringLiteralLike(value) ||
+        ts.isTemplateExpression(value) ||
+        ts.isNumericLiteral(value) ||
+        ts.isBigIntLiteral(value) ||
+        value.kind === ts.SyntaxKind.TrueKeyword ||
+        value.kind === ts.SyntaxKind.FalseKeyword ||
+        value.kind === ts.SyntaxKind.NullKeyword);
+}
+function isPrimitiveBinary(value, scope) {
+    const operator = value.operatorToken.kind;
+    if (ALWAYS_PRIMITIVE_OPERATORS.has(operator)) {
+        return true;
+    }
+    return (OPERAND_SELECTING_OPERATORS.has(operator) &&
+        isProvablyPrimitive(value.left, scope) &&
+        isProvablyPrimitive(value.right, scope));
+}
+function isUnshadowedGlobal(name, owner) {
+    return bindingDeclarationCount(owner, name) === 0;
+}
+function isPrimitiveGlobalCall(call, owner) {
+    const callee = unwrapTransparentExpression(call.expression);
+    if (ts.isIdentifier(callee)) {
+        return PRIMITIVE_GLOBAL_CONSTRUCTORS.has(callee.text) && isUnshadowedGlobal(callee.text, owner);
+    }
+    return (ts.isPropertyAccessExpression(callee) &&
+        ts.isIdentifier(callee.expression) &&
+        callee.expression.text === NUMBER_NAMESPACE &&
+        isUnshadowedGlobal(NUMBER_NAMESPACE, owner));
+}
+function isPrimitiveIdentifier(identifier, scope) {
+    if (PRIMITIVE_GLOBAL_VALUES.has(identifier.text)) {
+        return isUnshadowedGlobal(identifier.text, scope.owner);
+    }
+    const declaration = callbackLocalDeclaration(identifier.text, scope);
+    return (declaration !== null &&
+        declaration.initializer !== undefined &&
+        isProvablyPrimitive(declaration.initializer, scope) &&
+        everyWriteIsPrimitive(identifier.text, scope));
+}
+/** The single declaration of `name` inside the callback, or null when the name is shared or absent. */
+function callbackLocalDeclaration(name, scope) {
+    if (bindingDeclarationCount(scope.owner, name) !== 1) {
+        return null;
+    }
+    let declaration = null;
+    visit(scope.callback.body, (node) => {
+        if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.name.text === name) {
+            declaration = node;
+        }
+    });
+    return declaration;
+}
+function everyWriteIsPrimitive(name, scope) {
+    let primitive = true;
+    visit(scope.callback.body, (node) => {
+        if (!primitive) {
+            return;
+        }
+        if (ts.isBinaryExpression(node) && isAssignmentOperator(node.operatorToken.kind)) {
+            primitive = !writesName(node.left, name) || isPrimitiveAssignment(node, scope);
+            return;
+        }
+        if ((ts.isForInStatement(node) || ts.isForOfStatement(node)) &&
+            ts.isExpression(node.initializer) &&
+            writesName(node.initializer, name)) {
+            primitive = false;
+        }
+    });
+    return primitive;
+}
+function writesName(target, name) {
+    const written = unwrapTransparentExpression(target);
+    return ts.isIdentifier(written) && written.text === name;
+}
+function isPrimitiveAssignment(assignment, scope) {
+    const operator = assignment.operatorToken.kind;
+    if (operator !== ts.SyntaxKind.EqualsToken && !isOperandSelectingAssignment(operator)) {
+        return true;
+    }
+    return isProvablyPrimitive(assignment.right, scope);
+}
+function isOperandSelectingAssignment(operator) {
+    return (operator === ts.SyntaxKind.AmpersandAmpersandEqualsToken ||
+        operator === ts.SyntaxKind.BarBarEqualsToken ||
+        operator === ts.SyntaxKind.QuestionQuestionEqualsToken);
+}
+//# sourceMappingURL=primitive-results.js.map

package/dist/src/rules/derived-use-value/primitive-results.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitive-results.js","sourceRoot":"","sources":["../../../../src/rules/derived-use-value/primitive-results.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;AAC/F,MAAM,6BAA6B,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AACpG,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEhC,uFAAuF;AACvF,MAAM,0BAA0B,GAA+B,IAAI,GAAG,CAAC;IACrE,EAAE,CAAC,UAAU,CAAC,cAAc;IAC5B,EAAE,CAAC,UAAU,CAAC,qBAAqB;IACnC,EAAE,CAAC,UAAU,CAAC,aAAa;IAC3B,EAAE,CAAC,UAAU,CAAC,QAAQ;IACtB,EAAE,CAAC,UAAU,CAAC,UAAU;IACxB,EAAE,CAAC,UAAU,CAAC,uBAAuB;IACrC,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,4BAA4B;IAC1C,EAAE,CAAC,UAAU,CAAC,sBAAsB;IACpC,EAAE,CAAC,UAAU,CAAC,sBAAsB;IACpC,EAAE,CAAC,UAAU,CAAC,sCAAsC;IACpD,EAAE,CAAC,UAAU,CAAC,2BAA2B;IACzC,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,SAAS;IACvB,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,qBAAqB;IACnC,EAAE,CAAC,UAAU,CAAC,aAAa;IAC3B,EAAE,CAAC,UAAU,CAAC,UAAU;IACxB,EAAE,CAAC,UAAU,CAAC,YAAY;IAC1B,EAAE,CAAC,UAAU,CAAC,SAAS;IACvB,EAAE,CAAC,UAAU,CAAC,UAAU;CACzB,CAAC,CAAC;AAEH,6DAA6D;AAC7D,MAAM,2BAA2B,GAA+B,IAAI,GAAG,CAAC;IACtE,EAAE,CAAC,UAAU,CAAC,uBAAuB;IACrC,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,qBAAqB;CACpC,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAA+B,IAAI,GAAG,CAAC;IACrE,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,UAAU;IACxB,EAAE,CAAC,UAAU,CAAC,SAAS;IACvB,EAAE,CAAC,UAAU,CAAC,UAAU;CACzB,CAAC,CAAC;AAQH,MAAM,UAAU,mBAAmB,CAAC,UAAyB,EAAE,KAAqB;IAClF,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAoB,EAAE,KAAqB;IACvE,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,CACL,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,mBAAmB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAC1F,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAoB;IAC9C,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC7B,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1B,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QACzB,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,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA0B,EAAE,KAAqB;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC;IAC1C,IAAI,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzC,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;QACtC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,KAA0B;IAClE,OAAO,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuB,EAAE,KAA0B;IAChF,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,OAAO,6BAA6B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,gBAAgB;QAC3C,kBAAkB,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,UAAyB,EAAE,KAAqB;IAC7E,IAAI,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,OAAO,kBAAkB,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,WAAW,GAAG,wBAAwB,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrE,OAAO,CACL,WAAW,KAAK,IAAI;QACpB,WAAW,CAAC,WAAW,KAAK,SAAS;QACrC,mBAAmB,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,CAAC;QACnD,qBAAqB,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,uGAAuG;AACvG,SAAS,wBAAwB,CAC/B,IAAY,EACZ,KAAqB;IAErB,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,WAAW,GAAkC,IAAI,CAAC;IACtD,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAClC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5F,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,KAAqB;IAChE,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAClC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACjF,SAAS,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/E,OAAO;QACT,CAAC;QACD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACxD,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC;YACjC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,EAClC,CAAC;YACD,SAAS,GAAG,KAAK,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,MAAqB,EAAE,IAAY;IACrD,MAAM,OAAO,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACpD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,qBAAqB,CAAC,UAA+B,EAAE,KAAqB;IACnF,MAAM,QAAQ,GAAG,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC;IAC/C,IAAI,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,4BAA4B,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,mBAAmB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,4BAA4B,CAAC,QAAuB;IAC3D,OAAO,CACL,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B;QACxD,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QAC5C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CACvD,CAAC;AACJ,CAAC"}

package/dist/src/rules/effect-drafts/draft-mutations.d.ts

@@ -0,0 +1,14 @@
+import type { DraftEffect } from "./model.js";
+import type { EffectCandidate, StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+interface DraftEditProof {
+    readonly independent: boolean;
+    readonly reachable: boolean;
+}
+export declare function draftEditProof(state: StateCandidate, draft: DraftEffect, ownerSetters: ReadonlySet<string>): DraftEditProof;
+export declare function stateIsWrittenOnlyByEffect(usage: StateUsage, target: EffectCandidate, effects: readonly EffectCandidate[]): boolean;
+export declare function hasDirectJsxEventSetter(state: StateCandidate): boolean;
+export declare function mutationRegionOnlyCallsStateSetters(region: RuntimeFunctionLike, stateSetters: ReadonlySet<string>): boolean;
+export declare function hasExternalCompanionWrites(draft: DraftEffect, members: readonly StateCandidate[]): boolean;
+export {};
+//# sourceMappingURL=draft-mutations.d.ts.map

package/dist/src/rules/effect-drafts/draft-mutations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft-mutations.d.ts","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/draft-mutations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAqC,MAAM,YAAY,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAa3F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI7D,UAAU,cAAc;IACtB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,WAAW,EAClB,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,cAAc,CAahB;AAsCD,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,SAAS,eAAe,EAAE,GAClC,OAAO,CAKT;AA4BD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CA0BtE;AAED,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,mBAAmB,EAC3B,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,OAAO,CAiBT;AAwDD,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,OAAO,CAsBT"}

package/dist/src/rules/effect-drafts/draft-mutations.js

@@ -0,0 +1,160 @@
+import { expressionDependsOnBinding, localFunctionBinding, uniqueVariableDeclaration, } from "../state-proofs/binding-lookup.js";
+import { findAncestorUntil, nodeWithin, visit, visitSkippingNestedFunctions, } from "../../core/ast.js";
+import { isDeclarationName, isDirectJsxAttributeExpression } from "../../core/analysis-ast.js";
+import { callbackIsEventRooted } from "../state-proofs/event-roots.js";
+import ts from "typescript";
+export function draftEditProof(state, draft, ownerSetters) {
+    const usage = draft.context.usageByState.get(state);
+    if (!usage) {
+        return { independent: false, reachable: false };
+    }
+    const direct = hasDirectJsxEventSetter(state);
+    const edits = usage.setterCallNodes.filter((call) => !nodeWithin(call, draft.effect.call));
+    const reachable = edits.filter((call) => isEventRootedEditRegion(call, state, draft.context.proofs));
+    const independent = direct || reachable.some((call) => isIndependentEdit(call, state, { draft, ownerSetters }));
+    return { independent, reachable: direct || reachable.length > 0 };
+}
+function isEventRootedEditRegion(call, state, proofs) {
+    const region = proofs.nearestMutationFunction(call, state.owner);
+    return (region !== state.owner &&
+        (ts.isArrowFunction(region) ||
+            ts.isFunctionDeclaration(region) ||
+            ts.isFunctionExpression(region)) &&
+        callbackIsEventRooted({
+            callback: region,
+            owner: state.owner,
+            dependencyName: "",
+            seen: new Set(),
+        }));
+}
+function isIndependentEdit(call, state, scope) {
+    const region = scope.draft.context.proofs.nearestMutationFunction(call, state.owner);
+    return ((mutationRegionOnlyCallsStateSetters(region, scope.ownerSetters) ||
+        mutationRegionForwardsDraftValue(region, call, {
+            owner: state.owner,
+            stateSetters: scope.ownerSetters,
+        })) &&
+        setterArgumentDiffersFromEffect(call, state, scope.draft.effect));
+}
+export function stateIsWrittenOnlyByEffect(usage, target, effects) {
+    const effectWrites = usage.setterCallNodes.filter((call) => effects.some((effect) => nodeWithin(call, effect.call)));
+    return effectWrites.length > 0 && effectWrites.every((call) => nodeWithin(call, target.call));
+}
+function setterArgumentDiffersFromEffect(edit, state, effect) {
+    const [argument] = edit.arguments;
+    if (!argument || !state.setterName) {
+        return false;
+    }
+    if (ts.isArrowFunction(argument) || ts.isFunctionExpression(argument)) {
+        return true;
+    }
+    const effectArguments = [];
+    visitSkippingNestedFunctions(effect.callback.body, effect.callback, (node) => {
+        if (ts.isCallExpression(node) &&
+            ts.isIdentifier(node.expression) &&
+            node.expression.text === state.setterName &&
+            node.arguments[0]) {
+            effectArguments.push(node.arguments[0].getText());
+        }
+    });
+    return effectArguments.every((effectArgument) => effectArgument !== argument.getText());
+}
+export function hasDirectJsxEventSetter(state) {
+    if (!state.setterName) {
+        return false;
+    }
+    let found = false;
+    visit(state.owner.body, (node) => {
+        if (found ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.setterName ||
+            isDeclarationName(node)) {
+            return;
+        }
+        const attribute = findAncestorUntil(node, ts.isJsxAttribute, state.owner);
+        if (attribute &&
+            /^(?:onChange|onChangeText|onSelect|onValueChange|onCheckedChange)$/u.test(attribute.name.getText()) &&
+            isDirectJsxAttributeExpression(attribute, node)) {
+            found = true;
+        }
+    });
+    return found;
+}
+export function mutationRegionOnlyCallsStateSetters(region, stateSetters) {
+    if (!region.body) {
+        return false;
+    }
+    let sawSetter = false;
+    let unsafeCall = false;
+    visitSkippingNestedFunctions(region.body, region, (node) => {
+        if (unsafeCall || !ts.isCallExpression(node)) {
+            return;
+        }
+        if (ts.isIdentifier(node.expression) && stateSetters.has(node.expression.text)) {
+            sawSetter = true;
+            return;
+        }
+        unsafeCall = true;
+    });
+    return sawSetter && !unsafeCall;
+}
+function mutationRegionForwardsDraftValue(region, edit, scope) {
+    const [argument] = edit.arguments;
+    if (!region.body || !argument || !ts.isIdentifier(argument)) {
+        return false;
+    }
+    const declaration = uniqueVariableDeclaration(region, argument.text);
+    if (!declaration?.initializer ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        declaration.getStart() >= edit.getStart()) {
+        return false;
+    }
+    let forwardedCalls = 0;
+    let safe = true;
+    visitSkippingNestedFunctions(region.body, region, (node) => {
+        if (!safe ||
+            !ts.isCallExpression(node) ||
+            (ts.isIdentifier(node.expression) && scope.stateSetters.has(node.expression.text))) {
+            return;
+        }
+        if (nodeWithin(node, declaration.initializer)) {
+            safe = !isLocalFunctionCall(node, scope.owner);
+            return;
+        }
+        if (node.getStart() <= edit.getStart() ||
+            !node.arguments.some((candidate) => expressionDependsOnBinding(candidate, argument, region)) ||
+            isLocalFunctionCall(node, scope.owner)) {
+            safe = false;
+            return;
+        }
+        forwardedCalls += 1;
+    });
+    return safe && forwardedCalls === 1;
+}
+function isLocalFunctionCall(call, owner) {
+    return (ts.isIdentifier(call.expression) && localFunctionBinding(owner, call.expression.text) !== null);
+}
+export function hasExternalCompanionWrites(draft, members) {
+    const memberSet = new Set(members);
+    const stateBySetter = new Map(draft.context.states.flatMap((state) => state.owner === draft.owner && state.setterName ? [[state.setterName, state]] : []));
+    const mutations = collectSetterMutations(draft.owner, stateBySetter, draft.context.proofs);
+    return mutations.some((memberMutation) => memberSet.has(memberMutation.state) &&
+        mutations.some((other) => !memberSet.has(other.state) &&
+            other.region === memberMutation.region &&
+            draft.context.proofs.setterMutationsCanCooccur(other.call, memberMutation.call, memberMutation.region)));
+}
+function collectSetterMutations(owner, stateBySetter, proofs) {
+    const mutations = [];
+    visit(owner.body, (node) => {
+        if (!ts.isCallExpression(node) || !ts.isIdentifier(node.expression)) {
+            return;
+        }
+        const state = stateBySetter.get(node.expression.text);
+        if (state) {
+            mutations.push({ call: node, region: proofs.nearestMutationFunction(node, owner), state });
+        }
+    });
+    return mutations;
+}
+//# sourceMappingURL=draft-mutations.js.map

package/dist/src/rules/effect-drafts/draft-mutations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft-mutations.js","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/draft-mutations.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,KAAK,EACL,4BAA4B,GAC7B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,iBAAiB,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAE/F,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,MAAM,UAAU,cAAc,CAC5B,KAAqB,EACrB,KAAkB,EAClB,YAAiC;IAEjC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACtC,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAC3D,CAAC;IACF,MAAM,WAAW,GACf,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;IAC9F,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,KAAqB,EACrB,MAAyB;IAEzB,MAAM,MAAM,GAAG,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACjE,OAAO,CACL,MAAM,KAAK,KAAK,CAAC,KAAK;QACtB,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YACzB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAClC,qBAAqB,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,EAAE;YAClB,IAAI,EAAE,IAAI,GAAG,EAAE;SAChB,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAuB,EACvB,KAAqB,EACrB,KAAgE;IAEhE,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACrF,OAAO,CACL,CAAC,mCAAmC,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC;QAC9D,gCAAgC,CAAC,MAAM,EAAE,IAAI,EAAE;YAC7C,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,YAAY,EAAE,KAAK,CAAC,YAAY;SACjC,CAAC,CAAC;QACL,+BAA+B,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAiB,EACjB,MAAuB,EACvB,OAAmC;IAEnC,MAAM,YAAY,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACzD,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CACxD,CAAC;IACF,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,+BAA+B,CACtC,IAAuB,EACvB,KAAqB,EACrB,MAAuB;IAEvB,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,4BAA4B,CAAC,MAAM,CAAC,QAAS,CAAC,IAAI,EAAE,MAAM,CAAC,QAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7E,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU;YACzC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EACjB,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAqB;IAC3D,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,KAAK;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU;YAC9B,iBAAiB,CAAC,IAAI,CAAC,EACvB,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1E,IACE,SAAS;YACT,qEAAqE,CAAC,IAAI,CACxE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CACzB;YACD,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC,EAC/C,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,MAA2B,EAC3B,YAAiC;IAEjC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,4BAA4B,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzD,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/E,SAAS,GAAG,IAAI,CAAC;YACjB,OAAO;QACT,CAAC;QACD,UAAU,GAAG,IAAI,CAAC;IACpB,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,IAAI,CAAC,UAAU,CAAC;AAClC,CAAC;AAED,SAAS,gCAAgC,CACvC,MAA2B,EAC3B,IAAuB,EACvB,KAAwE;IAExE,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrE,IACE,CAAC,WAAW,EAAE,WAAW;QACzB,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,WAAW,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,EACzC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,4BAA4B,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzD,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAClF,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,WAAY,CAAC,EAAE,CAAC;YAC/C,IAAI,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,IACE,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE;YAClC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACjC,0BAA0B,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CACxD;YACD,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EACtC,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,cAAc,IAAI,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,cAAc,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAuB,EAAE,KAA0B;IAC9E,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,CAC/F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAkB,EAClB,OAAkC;IAElC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACrC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAC5F,CACF,CAAC;IACF,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3F,OAAO,SAAS,CAAC,IAAI,CACnB,CAAC,cAAc,EAAE,EAAE,CACjB,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC;QACnC,SAAS,CAAC,IAAI,CACZ,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;YAC3B,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM;YACtC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,yBAAyB,CAC5C,KAAK,CAAC,IAAI,EACV,cAAc,CAAC,IAAI,EACnB,cAAc,CAAC,MAAM,CACtB,CACJ,CACJ,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA0B,EAC1B,aAAkD,EAClD,MAAyB;IAEzB,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACpE,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,KAAK,EAAE,CAAC;YACV,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/src/rules/effect-drafts/draft-render-cuts.d.ts

@@ -0,0 +1,4 @@
+import type { DraftEffect } from "./model.js";
+import type { StateCandidate } from "../../analysis/model.js";
+export declare function hasDraftRenderCut(draft: DraftEffect, members: readonly StateCandidate[]): boolean;
+//# sourceMappingURL=draft-render-cuts.d.ts.map