legend-doctor 0.1.0

package/dist/src/rules/observable-reads/fresh-selector-results.js

@@ -0,0 +1,164 @@
+import { directObservableReadPath, isTrackingHookCall, outermostTransparentParent, } from "./observable-paths.js";
+import { isEvaluationInert, rootIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import ts from "typescript";
+/**
+ * `const { a, b } = useValue(() => ({ a: a$.get(), b: total }))` builds a new object on every
+ * tracked change, so every destructured consumer sees a fresh identity. When each destructured
+ * member is a direct observable read or an evaluation-inert expression, one `useValue` per
+ * read subscribes to exactly the same paths and returns values that compare by content.
+ */
+export function splitUseValueResultFinding(call, scan) {
+    const split = splitResult(call, scan);
+    return split ? splitFinding(call, split, scan) : null;
+}
+function splitResult(call, scan) {
+    const result = conciseSelectorResult(call, scan);
+    const declaration = outermostTransparentParent(call).parent;
+    if (!result || !ts.isVariableDeclaration(declaration)) {
+        return null;
+    }
+    return literalSplit(result, declaration, scan.observableBindings);
+}
+function literalSplit(result, declaration, observableBindings) {
+    if (ts.isObjectLiteralExpression(result) && ts.isObjectBindingPattern(declaration.name)) {
+        const bindings = objectBindings(result, declaration.name, observableBindings);
+        return bindings ? { bindings, declaration, literal: "object" } : null;
+    }
+    if (ts.isArrayLiteralExpression(result) && ts.isArrayBindingPattern(declaration.name)) {
+        const bindings = arrayBindings(result, declaration.name, observableBindings);
+        return bindings ? { bindings, declaration, literal: "array" } : null;
+    }
+    return null;
+}
+function conciseSelectorResult(call, scan) {
+    if (!isTrackingHookCall(call, scan.imports) || call.arguments.length !== 1) {
+        return null;
+    }
+    const selector = unwrapTransparentExpression(call.arguments[0]);
+    if ((!ts.isArrowFunction(selector) && !ts.isFunctionExpression(selector)) ||
+        selector.parameters.length > 0 ||
+        ts.isBlock(selector.body)) {
+        return null;
+    }
+    return unwrapTransparentExpression(selector.body);
+}
+function objectBindings(literal, pattern, observableBindings) {
+    const members = objectMembers(literal, observableBindings);
+    if (!members) {
+        return null;
+    }
+    const bindings = pattern.elements.map((element) => objectBinding(element, members));
+    const resolved = bindings.filter((binding) => binding !== null);
+    return resolved.length === bindings.length && hasObservableRead(resolved) ? resolved : null;
+}
+function objectBinding(element, members) {
+    const key = destructuredKey(element);
+    const member = key === null ? undefined : members.get(key);
+    return member && ts.isIdentifier(element.name) ? { local: element.name.text, member } : null;
+}
+function objectMembers(literal, observableBindings) {
+    const members = new Map();
+    for (const property of literal.properties) {
+        const entry = objectMember(property, observableBindings);
+        if (!entry) {
+            return null;
+        }
+        members.set(entry[0], entry[1]);
+    }
+    return members;
+}
+function objectMember(property, observableBindings) {
+    if (ts.isShorthandPropertyAssignment(property)) {
+        return observableBindings.has(property.name.text)
+            ? null
+            : [property.name.text, { expression: property.name, kind: "inert" }];
+    }
+    if (!ts.isPropertyAssignment(property) ||
+        (!ts.isIdentifier(property.name) && !ts.isStringLiteral(property.name))) {
+        return null;
+    }
+    const member = resultMember(property.initializer, observableBindings);
+    return member ? [property.name.text, member] : null;
+}
+function destructuredKey(element) {
+    if (element.dotDotDotToken || element.initializer) {
+        return null;
+    }
+    const { propertyName } = element;
+    if (propertyName === undefined) {
+        return ts.isIdentifier(element.name) ? element.name.text : null;
+    }
+    return ts.isIdentifier(propertyName) || ts.isStringLiteral(propertyName)
+        ? propertyName.text
+        : null;
+}
+function arrayBindings(literal, pattern, observableBindings) {
+    if (pattern.elements.length > literal.elements.length) {
+        return null;
+    }
+    const kept = pattern.elements
+        .map((element, index) => [element, literal.elements[index]])
+        .filter(([element]) => !ts.isOmittedExpression(element));
+    const bindings = kept.map(([element, value]) => ts.isOmittedExpression(element) ? null : arrayBinding(element, value, observableBindings));
+    const resolved = bindings.filter((binding) => binding !== null);
+    return resolved.length === bindings.length && hasObservableRead(resolved) ? resolved : null;
+}
+function arrayBinding(element, value, observableBindings) {
+    const member = value && resultMember(value, observableBindings);
+    if (!member || element.dotDotDotToken || element.initializer || !ts.isIdentifier(element.name)) {
+        return null;
+    }
+    return { local: element.name.text, member };
+}
+function resultMember(expression, observableBindings) {
+    if (ts.isSpreadElement(expression) || ts.isOmittedExpression(expression)) {
+        return null;
+    }
+    const observable = directObservableReadPath(expression, observableBindings);
+    if (observable) {
+        return { kind: "read", observable };
+    }
+    const root = rootIdentifier(expression);
+    if (root && observableBindings.has(root.text)) {
+        return null;
+    }
+    return isEvaluationInert(expression) ? { expression, kind: "inert" } : null;
+}
+function hasObservableRead(bindings) {
+    return bindings.some((binding) => binding.member.kind === "read");
+}
+function declarationText(declaration, sourceFile) {
+    const list = declaration.parent;
+    const keyword = ts.isVariableDeclarationList(list) ? `${declarationKeyword(list)} ` : "";
+    return `${keyword}${declaration.getText(sourceFile)}`;
+}
+function declarationKeyword(list) {
+    if ((list.flags & ts.NodeFlags.Const) !== 0) {
+        return "const";
+    }
+    return (list.flags & ts.NodeFlags.Let) === 0 ? "var" : "let";
+}
+function splitFinding(call, split, scan) {
+    const { sourceFile } = scan;
+    const { line, character } = sourceFile.getLineAndCharacterOfPosition(call.getStart(sourceFile));
+    const hook = call.expression.getText(sourceFile);
+    const replacement = split.bindings
+        .map(({ local, member }) => member.kind === "read"
+        ? `const ${local} = ${hook}(${member.observable.getText(sourceFile)})`
+        : `const ${local} = ${member.expression.getText(sourceFile)}`)
+        .join("; ");
+    const reads = split.bindings.filter((binding) => binding.member.kind === "read").length;
+    return {
+        action: "split-use-value-result",
+        confidence: "certain",
+        disposition: "change",
+        evidence: [
+            `${reads} destructured member${reads === 1 ? "" : "s"} of the selector result ${reads === 1 ? "is" : "are"} a direct observable read`,
+            `the selector only builds the ${split.literal} literal, so per-path subscriptions track exactly the same observables`,
+        ],
+        location: { column: character + 1, file: scan.fileName, line: line + 1 },
+        message: `Replace \`${declarationText(split.declaration, sourceFile)}\` with \`${replacement}\`; the selector returns a new ${split.literal} on every tracked change, so each destructured consumer sees a fresh identity, while per-path subscriptions render on the same changes and compare by value.`,
+        practice: "reactivity",
+    };
+}
+//# sourceMappingURL=fresh-selector-results.js.map

package/dist/src/rules/observable-reads/fresh-selector-results.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fresh-selector-results.js","sourceRoot":"","sources":["../../../../src/rules/observable-reads/fresh-selector-results.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,MAAM,YAAY,CAAC;AAiB5B;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAuB,EACvB,IAAwB;IAExB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,SAAS,WAAW,CAAC,IAAuB,EAAE,IAAwB;IACpE,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC5D,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,YAAY,CACnB,MAAqB,EACrB,WAAmC,EACnC,kBAAuC;IAEvC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACxF,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC9E,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACtF,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC7E,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAuB,EACvB,IAAwB;IAExB,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACjE,IACE,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC9B,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,cAAc,CACrB,OAAmC,EACnC,OAAgC,EAChC,kBAAuC;IAEvC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAChE,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9F,CAAC;AAED,SAAS,aAAa,CACpB,OAA0B,EAC1B,OAA0C;IAE1C,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3D,OAAO,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/F,CAAC;AAED,SAAS,aAAa,CACpB,OAAmC,EACnC,kBAAuC;IAEvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CACnB,QAAqC,EACrC,kBAAuC;IAEvC,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAClC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EACvE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACtE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IACjD,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC;IACjC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,YAAY,CAAC;QACtE,CAAC,CAAC,YAAY,CAAC,IAAI;QACnB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CACpB,OAAkC,EAClC,OAA+B,EAC/B,kBAAuC;IAEvC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ;SAC1B,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAU,CAAC;SACpE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAC7C,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAC1F,CAAC;IACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAChE,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9F,CAAC;AAED,SAAS,YAAY,CACnB,OAA0B,EAC1B,KAAgC,EAChC,kBAAuC;IAEvC,MAAM,MAAM,GAAG,KAAK,IAAI,YAAY,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,YAAY,CACnB,UAAyB,EACzB,kBAAuC;IAEvC,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,wBAAwB,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC5E,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACtC,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,IAAI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAiC;IAC1D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,eAAe,CAAC,WAAmC,EAAE,UAAyB;IACrF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC;IAChC,MAAM,OAAO,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACzF,OAAO,GAAG,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgC;IAC1D,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAC/D,CAAC;AAED,SAAS,YAAY,CACnB,IAAuB,EACvB,KAAkB,EAClB,IAAwB;IAExB,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAC5B,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ;SAC/B,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CACzB,MAAM,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,CAAC,SAAS,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG;QACtE,CAAC,CAAC,SAAS,KAAK,MAAM,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAChE;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACxF,OAAO;QACL,MAAM,EAAE,wBAAwB;QAChC,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE;YACR,GAAG,KAAK,uBAAuB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,2BAA2B,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,2BAA2B;YACrI,gCAAgC,KAAK,CAAC,OAAO,wEAAwE;SACtH;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE;QACxE,OAAO,EAAE,aAAa,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,aAAa,WAAW,kCAAkC,KAAK,CAAC,OAAO,8JAA8J;QACzS,QAAQ,EAAE,YAAY;KACvB,CAAC;AACJ,CAAC"}

package/dist/src/rules/observable-reads/model.d.ts

@@ -0,0 +1,33 @@
+import type { ChildContractResolver } from "../child-contract/model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type ts from "typescript";
+export type JsxSubtree = ts.JsxElement | ts.JsxFragment | ts.JsxSelfClosingElement;
+export type HookCallback = ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+export interface ObservableReadScan {
+    readonly imports: HookImports;
+    readonly observableBindings: ReadonlySet<string>;
+    readonly observableKeys: ReadonlyMap<string, ReadonlySet<string>>;
+    readonly childContracts: ChildContractResolver | null;
+    readonly sourceFile: ts.SourceFile;
+    readonly fileName: string;
+}
+export interface UseValueDeclaration {
+    readonly declaration: ts.VariableDeclaration;
+    readonly call: ts.CallExpression;
+    readonly localName: string;
+    readonly observable: ts.Expression;
+    readonly owner: RuntimeFunctionLike;
+}
+export interface NarrowCandidate {
+    readonly declaration: ts.VariableDeclaration;
+    readonly observable: ts.Expression;
+}
+export interface RawValueReadScan {
+    readonly candidate: NarrowCandidate;
+    readonly localName: string;
+    readonly owner: RuntimeFunctionLike;
+    readonly paths: readonly (readonly string[])[];
+    readonly optionalReferences: readonly ts.Identifier[];
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/src/rules/observable-reads/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-reads/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,qBAAqB,CAAC;AAEnF,MAAM,MAAM,YAAY,GAAG,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAAC;AAE7F,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAC;CACvD"}

package/dist/src/rules/observable-reads/model.js

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

package/dist/src/rules/observable-reads/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/rules/observable-reads/model.ts"],"names":[],"mappings":""}

package/dist/src/rules/observable-reads/move-down.d.ts

@@ -0,0 +1,7 @@
+import type { ObservableReadScan } from "./model.js";
+import type { LegendPracticeFinding } from "../../core/types.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function moveUseValueDownFinding(declaration: ts.VariableDeclaration, scan: ObservableReadScan): LegendPracticeFinding | null;
+export declare function hasAncestorUseValueSubscription(currentCall: ts.CallExpression, owner: RuntimeFunctionLike, scan: ObservableReadScan): boolean;
+//# sourceMappingURL=move-down.d.ts.map

package/dist/src/rules/observable-reads/move-down.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"move-down.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-reads/move-down.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAc,kBAAkB,EAAuB,MAAM,YAAY,CAAC;AAwBtF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAc5B,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,EAAE,CAAC,mBAAmB,EACnC,IAAI,EAAE,kBAAkB,GACvB,qBAAqB,GAAG,IAAI,CAgB9B;AAwFD,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,EAAE,CAAC,cAAc,EAC9B,KAAK,EAAE,mBAAmB,EAC1B,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAiCT"}

package/dist/src/rules/observable-reads/move-down.js

@@ -0,0 +1,143 @@
+import { bindingDeclarationCount, isDeclarationName, staticPropertyPath, } from "../../core/analysis-ast.js";
+import { directGetReceiver, identifiedUseValueDeclaration, isUseValueCall, isValueReferenceTo, outermostTransparentParent, provenObservablePath, } from "./observable-paths.js";
+import { findAncestor, isRuntimeFunctionLike, visit } from "../../core/ast.js";
+import { hasUnstableSubtreeLifetime, isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, lowestCommonJsxSubtree, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { directUseValueInput } from "./use-value-inputs.js";
+import { stableConditionalJsxSlot } from "./conditional-jsx-slots.js";
+import ts from "typescript";
+const MAX_LEAF_OWNER_SHARE = 0.4;
+const MIN_LEAF_OWNER_ELEMENTS = 12;
+export function moveUseValueDownFinding(declaration, scan) {
+    const use = identifiedUseValueDeclaration(declaration, scan);
+    if (!use ||
+        bindingDeclarationCount(use.owner, use.localName) !== 1 ||
+        jsxElementCount(use.owner) < MIN_LEAF_OWNER_ELEMENTS ||
+        hasAncestorUseValueSubscription(use.call, use.owner, scan)) {
+        return null;
+    }
+    const references = projectedValueReferences(use);
+    if (references === null) {
+        return null;
+    }
+    const target = moveDownTarget(references, use.owner, scan);
+    return target ? moveDownFinding(use, target, scan) : null;
+}
+function projectedValueReferences(use) {
+    const references = [];
+    let unsafe = false;
+    visit(use.owner.body, (node) => {
+        if (unsafe || !isValueReferenceTo(node, use.localName, use.declaration.name)) {
+            return;
+        }
+        if (isDeclarationName(node) ||
+            !isWholeValueProjection(node) ||
+            !isSafeJsxProjectionReference(node, use.owner) ||
+            nearestRepeatedRenderCall(node, use.owner)) {
+            unsafe = true;
+            return;
+        }
+        references.push(node);
+    });
+    return unsafe || references.length === 0 ? null : references;
+}
+function stableJsxLeaf(references, owner) {
+    const leaf = lowestCommonJsxSubtree(references, owner);
+    return leaf && !hasUnstableSubtreeLifetime(leaf, owner) ? leaf : null;
+}
+function moveDownTarget(references, owner, scan) {
+    const conditionalSlot = stableConditionalJsxSlot(references, owner, scan.imports);
+    const leaf = conditionalSlot ? null : stableJsxLeaf(references, owner);
+    const node = leaf ?? conditionalSlot;
+    if (!node) {
+        return null;
+    }
+    const ownerElements = jsxElementCount(owner);
+    const leafElements = jsxElementCountIn(node);
+    if (leafElements / ownerElements > MAX_LEAF_OWNER_SHARE) {
+        return null;
+    }
+    return { leaf, leafElements, node, ownerElements, references };
+}
+function jsxLeafLabel(leaf, sourceFile) {
+    if (ts.isJsxFragment(leaf)) {
+        return "fragment";
+    }
+    const tagName = ts.isJsxElement(leaf) ? leaf.openingElement.tagName : leaf.tagName;
+    return `<${tagName.getText(sourceFile)}>`;
+}
+function moveDownFinding(use, target, scan) {
+    const { line, character } = scan.sourceFile.getLineAndCharacterOfPosition(use.declaration.getStart(scan.sourceFile));
+    const leafLine = scan.sourceFile.getLineAndCharacterOfPosition(target.node.getStart(scan.sourceFile)).line + 1;
+    const leafLabel = target.leaf
+        ? jsxLeafLabel(target.leaf, scan.sourceFile)
+        : "complete conditional JSX slot";
+    const reads = target.references.length;
+    const readEvidence = `${reads} render read${reads === 1 ? "" : "s"} of ${use.localName} occur${reads === 1 ? "s" : ""} only inside the ${target.leaf ? `stable ${leafLabel} leaf` : leafLabel} at line ${leafLine}`;
+    const lifetimeEvidence = target.leaf
+        ? `that leaf contains ${target.leafElements} of the owner's ${target.ownerElements} JSX elements and is not conditional, keyed, repeated, or split across returns`
+        : `replacing the complete conditional JSX slot with one always-mounted wrapper preserves the subscription lifetime and the conditional child's mount behavior`;
+    const observable = use.call.arguments[0].getText(scan.sourceFile);
+    return {
+        action: "move-use-value-down",
+        confidence: "certain",
+        disposition: "change",
+        evidence: [readEvidence, lifetimeEvidence],
+        location: { column: character + 1, file: scan.fileName, line: line + 1 },
+        message: `Move \`useValue(${observable})\` for \`${use.localName}\` into ${target.leaf ? "a stable wrapper around" : "an always-mounted wrapper for"} the ${leafLabel} at line ${leafLine}; keep observable ownership where it is and pass ${target.leaf ? "the leaf's other inputs" : "non-observable gate values"} as ordinary props so updates rerender ${target.leafElements} JSX element${target.leafElements === 1 ? "" : "s"} instead of the ${target.ownerElements}-element owner.`,
+        practice: "reactivity",
+    };
+}
+export function hasAncestorUseValueSubscription(currentCall, owner, scan) {
+    const currentObservable = provenObservablePath(currentCall.arguments[0], scan.observableBindings);
+    const currentPath = currentObservable && staticPropertyPath(currentObservable);
+    if (!owner.body || !currentPath) {
+        return true;
+    }
+    let overlap = false;
+    visit(owner.body, (node) => {
+        if (overlap ||
+            !ts.isCallExpression(node) ||
+            node === currentCall ||
+            findAncestor(node, isRuntimeFunctionLike) !== owner ||
+            !isUseValueCall(node, scan.imports)) {
+            return;
+        }
+        overlap = trackedUseValuePaths(node, scan.imports, scan.observableBindings).some((otherObservable) => {
+            const otherPath = staticPropertyPath(otherObservable);
+            return (otherPath !== null &&
+                otherPath.length <= currentPath.length &&
+                otherPath.every((part, index) => part === currentPath[index]));
+        });
+    });
+    return overlap;
+}
+function trackedUseValuePaths(call, imports, observableBindings) {
+    const direct = call.arguments[0] && provenObservablePath(call.arguments[0], observableBindings);
+    const simpleInput = directUseValueInput(call, imports, observableBindings)?.observable;
+    if (direct || simpleInput) {
+        return [direct ?? simpleInput];
+    }
+    const [selector] = call.arguments;
+    if (!selector || (!ts.isArrowFunction(selector) && !ts.isFunctionExpression(selector))) {
+        return [];
+    }
+    const paths = [];
+    visit(selector.body, (node) => {
+        if (!ts.isCallExpression(node)) {
+            return;
+        }
+        const receiver = directGetReceiver(node);
+        const observable = receiver && provenObservablePath(receiver, observableBindings);
+        if (observable) {
+            paths.push(observable);
+        }
+    });
+    return paths;
+}
+function isWholeValueProjection(reference) {
+    const current = outermostTransparentParent(reference);
+    return !((ts.isPropertyAccessExpression(current.parent) ||
+        ts.isElementAccessExpression(current.parent)) &&
+        current.parent.expression === current);
+}
+//# sourceMappingURL=move-down.js.map

package/dist/src/rules/observable-reads/move-down.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"move-down.js","sourceRoot":"","sources":["../../../../src/rules/observable-reads/move-down.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,6BAA6B,EAC7B,cAAc,EACd,kBAAkB,EAClB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAIzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAEjC,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAUnC,MAAM,UAAU,uBAAuB,CACrC,WAAmC,EACnC,IAAwB;IAExB,MAAM,GAAG,GAAG,6BAA6B,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC7D,IACE,CAAC,GAAG;QACJ,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;QACvD,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,uBAAuB;QACpD,+BAA+B,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAC1D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,wBAAwB,CAAC,GAAwB;IACxD,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,IACE,iBAAiB,CAAC,IAAI,CAAC;YACvB,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC7B,CAAC,4BAA4B,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC;YAC9C,yBAAyB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAC1C,CAAC;YACD,MAAM,GAAG,IAAI,CAAC;YACd,OAAO;QACT,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;AAC/D,CAAC;AAED,SAAS,aAAa,CACpB,UAAoC,EACpC,KAA0B;IAE1B,MAAM,IAAI,GAAG,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACvD,OAAO,IAAI,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED,SAAS,cAAc,CACrB,UAAoC,EACpC,KAA0B,EAC1B,IAAwB;IAExB,MAAM,eAAe,GAAG,wBAAwB,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAClF,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,IAAI,IAAI,eAAe,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,YAAY,GAAG,aAAa,GAAG,oBAAoB,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,YAAY,CAAC,IAAgB,EAAE,UAAyB;IAC/D,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;IACnF,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;AAC5C,CAAC;AAED,SAAS,eAAe,CACtB,GAAwB,EACxB,MAAsB,EACtB,IAAwB;IAExB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,6BAA6B,CACvE,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAC1C,CAAC;IACF,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,CAAC,6BAA6B,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAChG,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI;QAC3B,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC;QAC5C,CAAC,CAAC,+BAA+B,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;IACvC,MAAM,YAAY,GAAG,GAAG,KAAK,eAAe,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,SAAS,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,oBAAoB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,SAAS,OAAO,CAAC,CAAC,CAAC,SAAS,YAAY,QAAQ,EAAE,CAAC;IACpN,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI;QAClC,CAAC,CAAC,sBAAsB,MAAM,CAAC,YAAY,mBAAmB,MAAM,CAAC,aAAa,gFAAgF;QAClK,CAAC,CAAC,4JAA4J,CAAC;IACjK,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnE,OAAO;QACL,MAAM,EAAE,qBAAqB;QAC7B,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE,CAAC,YAAY,EAAE,gBAAgB,CAAC;QAC1C,QAAQ,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE;QACxE,OAAO,EAAE,mBAAmB,UAAU,aAAa,GAAG,CAAC,SAAS,WAAW,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,+BAA+B,QAAQ,SAAS,YAAY,QAAQ,oDAAoD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,4BAA4B,0CAA0C,MAAM,CAAC,YAAY,eAAe,MAAM,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,mBAAmB,MAAM,CAAC,aAAa,iBAAiB;QAC3d,QAAQ,EAAE,YAAY;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,WAA8B,EAC9B,KAA0B,EAC1B,IAAwB;IAExB,MAAM,iBAAiB,GAAG,oBAAoB,CAC5C,WAAW,CAAC,SAAS,CAAC,CAAC,CAAE,EACzB,IAAI,CAAC,kBAAkB,CACxB,CAAC;IACF,MAAM,WAAW,GAAG,iBAAiB,IAAI,kBAAkB,CAAC,iBAAiB,CAAC,CAAC;IAC/E,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,OAAO;YACP,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,IAAI,KAAK,WAAW;YACpB,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,KAAK,KAAK;YACnD,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,EACnC,CAAC;YACD,OAAO;QACT,CAAC;QACD,OAAO,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAC9E,CAAC,eAAe,EAAE,EAAE;YAClB,MAAM,SAAS,GAAG,kBAAkB,CAAC,eAAe,CAAC,CAAC;YACtD,OAAO,CACL,SAAS,KAAK,IAAI;gBAClB,SAAS,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM;gBACtC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC,KAAK,CAAC,CAAC,CAC9D,CAAC;QACJ,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAuB,EACvB,OAAoB,EACpB,kBAAuC;IAEvC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAChG,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,kBAAkB,CAAC,EAAE,UAAU,CAAC;IACvF,IAAI,MAAM,IAAI,WAAW,EAAE,CAAC;QAC1B,OAAO,CAAC,MAAM,IAAI,WAAY,CAAC,CAAC;IAClC,CAAC;IAED,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,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC5B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QAClF,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,SAAwB;IACtD,MAAM,OAAO,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACtD,OAAO,CAAC,CACN,CAAC,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC;QAC5C,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/C,OAAO,CAAC,MAAM,CAAC,UAAU,KAAK,OAAO,CACtC,CAAC;AACJ,CAAC"}

package/dist/src/rules/observable-reads/move-into-child.d.ts

@@ -0,0 +1,5 @@
+import type { ObservableReadScan } from "./model.js";
+import type { LegendPracticeFinding } from "../../core/types.js";
+import ts from "typescript";
+export declare function moveUseValueIntoChildFinding(declaration: ts.VariableDeclaration, scan: ObservableReadScan): LegendPracticeFinding | null;
+//# sourceMappingURL=move-into-child.d.ts.map

package/dist/src/rules/observable-reads/move-into-child.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"move-into-child.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-reads/move-into-child.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAuB,MAAM,YAAY,CAAC;AAa1E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAMjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,4BAA4B,CAC1C,WAAW,EAAE,EAAE,CAAC,mBAAmB,EACnC,IAAI,EAAE,kBAAkB,GACvB,qBAAqB,GAAG,IAAI,CAgB9B"}

package/dist/src/rules/observable-reads/move-into-child.js

@@ -0,0 +1,112 @@
+import { bindingDeclarationCount, isDeclarationName, staticPropertyPath, } from "../../core/analysis-ast.js";
+import { directGetReceiver, identifiedUseValueDeclaration, isValueReferenceTo, outermostTransparentParent, provenObservablePath, } from "./observable-paths.js";
+import { hasAncestorUseValueSubscription } from "./move-down.js";
+import { hasUnstableSubtreeLifetime } from "../state-proofs/jsx-subtrees.js";
+import { isInsideOwnerReturn } from "./conditional-jsx-slots.js";
+import { propIsPrimitiveValueConsumer } from "../child-contract/child-contract.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+export function moveUseValueIntoChildFinding(declaration, scan) {
+    const use = scan.childContracts ? identifiedUseValueDeclaration(declaration, scan) : null;
+    if (!use ||
+        bindingDeclarationCount(use.owner, use.localName) !== 1 ||
+        hasAncestorUseValueSubscription(use.call, use.owner, scan) ||
+        hasOtherGetReadOfPath(use.owner, use.observable, scan.observableBindings)) {
+        return null;
+    }
+    const reference = soleValueReference(use);
+    const transport = reference ? directJsxPropTransport(reference) : null;
+    if (!transport || !childAcceptsPrimitiveProp(transport, use.owner, scan)) {
+        return null;
+    }
+    return moveIntoChildFinding(use, transport, scan);
+}
+function soleValueReference(use) {
+    let reference = null;
+    let unsafe = false;
+    visit(use.owner.body, (node) => {
+        if (unsafe || !isValueReferenceTo(node, use.localName, use.declaration.name)) {
+            return;
+        }
+        if (isDeclarationName(node) || reference !== null) {
+            unsafe = true;
+            return;
+        }
+        reference = node;
+    });
+    return unsafe ? null : reference;
+}
+function childAcceptsPrimitiveProp(transport, owner, scan) {
+    if (!isInsideOwnerReturn(transport.subtree, owner) ||
+        hasUnstableSubtreeLifetime(transport.subtree, owner)) {
+        return false;
+    }
+    const child = scan.childContracts?.resolveComponent(transport.component);
+    return Boolean(child && propIsPrimitiveValueConsumer(child, transport.prop));
+}
+function moveIntoChildFinding(use, transport, scan) {
+    const { line, character } = scan.sourceFile.getLineAndCharacterOfPosition(use.declaration.getStart(scan.sourceFile));
+    const observablePath = use.observable.getText(scan.sourceFile);
+    return {
+        action: "move-use-value-into-child",
+        confidence: "certain",
+        disposition: "change",
+        evidence: [
+            `the ${use.localName} binding is referenced once, as the direct \`${transport.prop}\` prop of source-resolved \`${transport.component}\``,
+            "the child is not React-wrapped, declares that prop as a primitive value, and consumes it",
+            "the child call site is unkeyed, unrepeated, unconditional, and owned by the component's only render return",
+        ],
+        location: { column: character + 1, file: scan.fileName, line: line + 1 },
+        message: `Move \`useValue(${observablePath})\` out of this owner: pass \`${observablePath}\` to \`${transport.component}\` as an observable prop and subscribe inside the child, using the resulting primitive for \`${transport.prop}\`. Updates will rerender the existing child without rerunning this owner.`,
+        practice: "reactivity",
+    };
+}
+function hasOtherGetReadOfPath(owner, observable, observableBindings) {
+    if (!owner.body) {
+        return true;
+    }
+    const currentPath = staticPropertyPath(observable);
+    if (!currentPath) {
+        return true;
+    }
+    let overlap = false;
+    visit(owner.body, (node) => {
+        if (overlap || !ts.isCallExpression(node)) {
+            return;
+        }
+        const receiver = directGetReceiver(node);
+        const other = receiver && provenObservablePath(receiver, observableBindings);
+        const otherPath = other && staticPropertyPath(other);
+        if (!otherPath) {
+            return;
+        }
+        const shared = Math.min(currentPath.length, otherPath.length);
+        overlap = currentPath.slice(0, shared).every((part, index) => part === otherPath[index]);
+    });
+    return overlap;
+}
+function isTransportableJsxProp(prop) {
+    return prop !== "children" && prop !== "key" && prop !== "ref" && !/^on[A-Z]/u.test(prop);
+}
+function directJsxPropTransport(reference) {
+    const expression = outermostTransparentParent(reference);
+    const container = expression.parent;
+    if (!ts.isJsxExpression(container) ||
+        container.expression !== expression ||
+        !ts.isJsxAttribute(container.parent)) {
+        return null;
+    }
+    const attribute = container.parent;
+    const opening = attribute.parent.parent;
+    const prop = attribute.name.getText();
+    if ((!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening)) ||
+        !isTransportableJsxProp(prop)) {
+        return null;
+    }
+    return {
+        component: opening.tagName.getText(),
+        prop,
+        subtree: ts.isJsxOpeningElement(opening) ? opening.parent : opening,
+    };
+}
+//# sourceMappingURL=move-into-child.js.map

package/dist/src/rules/observable-reads/move-into-child.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"move-into-child.js","sourceRoot":"","sources":["../../../../src/rules/observable-reads/move-into-child.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,6BAA6B,EAC7B,kBAAkB,EAClB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AACnF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,UAAU,4BAA4B,CAC1C,WAAmC,EACnC,IAAwB;IAExB,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,6BAA6B,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,IACE,CAAC,GAAG;QACJ,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;QACvD,+BAA+B,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;QAC1D,qBAAqB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,EACzE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,IAAI,CAAC,SAAS,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAwB;IAClD,IAAI,SAAS,GAAyB,IAAI,CAAC;IAC3C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YAClD,MAAM,GAAG,IAAI,CAAC;YACd,OAAO;QACT,CAAC;QACD,SAAS,GAAG,IAAI,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACnC,CAAC;AAED,SAAS,yBAAyB,CAChC,SAAiC,EACjC,KAA0B,EAC1B,IAAwB;IAExB,IACE,CAAC,mBAAmB,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC;QAC9C,0BAA0B,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,EACpD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,EAAE,gBAAgB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACzE,OAAO,OAAO,CAAC,KAAK,IAAI,4BAA4B,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,oBAAoB,CAC3B,GAAwB,EACxB,SAAiC,EACjC,IAAwB;IAExB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,6BAA6B,CACvE,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAC1C,CAAC;IACF,MAAM,cAAc,GAAG,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/D,OAAO;QACL,MAAM,EAAE,2BAA2B;QACnC,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE;YACR,OAAO,GAAG,CAAC,SAAS,gDAAgD,SAAS,CAAC,IAAI,gCAAgC,SAAS,CAAC,SAAS,IAAI;YACzI,0FAA0F;YAC1F,4GAA4G;SAC7G;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE;QACxE,OAAO,EAAE,mBAAmB,cAAc,iCAAiC,cAAc,WAAW,SAAS,CAAC,SAAS,gGAAgG,SAAS,CAAC,IAAI,4EAA4E;QACjT,QAAQ,EAAE,YAAY;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAA0B,EAC1B,UAAyB,EACzB,kBAAuC;IAEvC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QAC7E,MAAM,SAAS,GAAG,KAAK,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9D,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD,SAAS,sBAAsB,CAAC,IAAY;IAC1C,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,sBAAsB,CAAC,SAAwB;IACtD,MAAM,UAAU,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC;IACpC,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC;QAC9B,SAAS,CAAC,UAAU,KAAK,UAAU;QACnC,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,EACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;IACnC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,IACE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1E,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE;QACpC,IAAI;QACJ,OAAO,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;KACpE,CAAC;AACJ,CAAC"}

package/dist/src/rules/observable-reads/narrow-use-value.d.ts

@@ -0,0 +1,5 @@
+import type { ObservableReadScan } from "./model.js";
+import type { LegendPracticeFinding } from "../../core/types.js";
+import ts from "typescript";
+export declare function narrowUseValueFinding(declaration: ts.VariableDeclaration, scan: ObservableReadScan): LegendPracticeFinding | null;
+//# sourceMappingURL=narrow-use-value.d.ts.map

package/dist/src/rules/observable-reads/narrow-use-value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrow-use-value.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-reads/narrow-use-value.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,kBAAkB,EAAoB,MAAM,YAAY,CAAC;AAexF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAGjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,EAAE,CAAC,mBAAmB,EACnC,IAAI,EAAE,kBAAkB,GACvB,qBAAqB,GAAG,IAAI,CAoB9B"}