legend-doctor 0.1.0

package/dist/src/rules/object-draft/typed-draft-seed.js

@@ -0,0 +1,106 @@
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+const MINIMUM_DRAFT_PROPERTIES = 2;
+const MAXIMUM_DRAFT_PROPERTIES = 8;
+export function typedStringDraftProperties(state) {
+    const seed = draftSeedDeclaration(state);
+    if (!seed) {
+        return null;
+    }
+    const names = draftTypeStringProperties(state, seed.typeName, seed.object.properties.length);
+    return names && seededPropertiesMatchNames(seed.object, names) ? names : null;
+}
+function draftSeedDeclaration(state) {
+    const [initialArgument] = state.call.arguments;
+    const initial = initialArgument && unwrapTransparentExpression(initialArgument);
+    if (!initial || !ts.isIdentifier(initial)) {
+        return null;
+    }
+    const declarations = moduleVariableDeclarations(state.call.getSourceFile(), initial.text);
+    const declaration = declarations.length === 1 ? declarations[0] : null;
+    const object = declaration?.initializer && unwrapTransparentExpression(declaration.initializer);
+    if (!declaration?.type ||
+        !ts.isTypeReferenceNode(declaration.type) ||
+        !ts.isIdentifier(declaration.type.typeName) ||
+        !object ||
+        !ts.isObjectLiteralExpression(object) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        object.properties.length < MINIMUM_DRAFT_PROPERTIES ||
+        object.properties.length > MAXIMUM_DRAFT_PROPERTIES ||
+        !moduleConstantOnlySeedsState(state, declaration, initial.text)) {
+        return null;
+    }
+    return { object, typeName: declaration.type.typeName.text };
+}
+function moduleVariableDeclarations(sourceFile, name) {
+    const declarations = [];
+    for (const statement of sourceFile.statements) {
+        if (!ts.isVariableStatement(statement)) {
+            continue;
+        }
+        for (const declaration of statement.declarationList.declarations) {
+            if (ts.isIdentifier(declaration.name) && declaration.name.text === name) {
+                declarations.push(declaration);
+            }
+        }
+    }
+    return declarations;
+}
+function draftTypeStringProperties(state, typeName, propertyCount) {
+    const types = state.call
+        .getSourceFile()
+        .statements.filter((statement) => ts.isInterfaceDeclaration(statement) && statement.name.text === typeName);
+    const type = types.length === 1 ? types[0] : null;
+    if (!type ||
+        type.members.length !== propertyCount ||
+        type.members.some((member) => !isRequiredStringPropertySignature(member))) {
+        return null;
+    }
+    const names = new Set(type.members.map((member) => 
+    // SAFETY: Every member passed isRequiredStringPropertySignature above, so each
+    // PropertySignature here has a statically named property.
+    member.name.getText().replaceAll(/^['"]|['"]$/gu, "")));
+    return names.size === type.members.length ? names : null;
+}
+function isRequiredStringPropertySignature(member) {
+    return (ts.isPropertySignature(member) &&
+        member.questionToken === undefined &&
+        member.type?.kind === ts.SyntaxKind.StringKeyword &&
+        member.name !== undefined &&
+        (ts.isIdentifier(member.name) || ts.isStringLiteralLike(member.name)));
+}
+function seededPropertiesMatchNames(object, names) {
+    return object.properties.every((property) => {
+        if (!ts.isPropertyAssignment(property) ||
+            (!ts.isIdentifier(property.name) && !ts.isStringLiteralLike(property.name))) {
+            return false;
+        }
+        return (names.has(property.name.text) &&
+            ts.isStringLiteralLike(unwrapTransparentExpression(property.initializer)));
+    });
+}
+function moduleConstantOnlySeedsState(state, declaration, name) {
+    let safe = true;
+    visit(state.call.getSourceFile(), (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            node === declaration.name ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        if (isDeclarationName(node)) {
+            safe = false;
+            return;
+        }
+        const call = node.parent;
+        safe =
+            ts.isCallExpression(call) &&
+                call.arguments[0] === node &&
+                call.expression.getText() === state.call.expression.getText();
+    });
+    return safe;
+}
+//# sourceMappingURL=typed-draft-seed.js.map

package/dist/src/rules/object-draft/typed-draft-seed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-draft-seed.js","sourceRoot":"","sources":["../../../../src/rules/object-draft/typed-draft-seed.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAO1C,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAEnC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAEnC,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC9D,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC7F,OAAO,KAAK,IAAI,0BAA0B,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAChF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAqB;IACjD,MAAM,CAAC,eAAe,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC/C,MAAM,OAAO,GAAG,eAAe,IAAI,2BAA2B,CAAC,eAAe,CAAC,CAAC;IAChF,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,0BAA0B,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,MAAM,MAAM,GAAG,WAAW,EAAE,WAAW,IAAI,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAChG,IACE,CAAC,WAAW,EAAE,IAAI;QAClB,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,IAAI,CAAC;QACzC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC3C,CAAC,MAAM;QACP,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACrC,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,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,wBAAwB;QACnD,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,wBAAwB;QACnD,CAAC,4BAA4B,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,EAC/D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,0BAA0B,CACjC,UAAyB,EACzB,IAAY;IAEZ,MAAM,YAAY,GAA6B,EAAE,CAAC;IAClD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACjE,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACxE,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAqB,EACrB,QAAgB,EAChB,aAAqB;IAErB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI;SACrB,aAAa,EAAE;SACf,UAAU,CAAC,MAAM,CAChB,CAAC,SAAS,EAAwC,EAAE,CAClD,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC3E,CAAC;IACJ,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClD,IACE,CAAC,IAAI;QACL,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,aAAa;QACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,iCAAiC,CAAC,MAAM,CAAC,CAAC,EACzE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;IAC1B,+EAA+E;IAC/E,0DAA0D;IACzD,MAA+B,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,eAAe,EAAE,EAAE,CAAC,CAChF,CACF,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,iCAAiC,CAAC,MAAsB;IAC/D,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC9B,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACjD,MAAM,CAAC,IAAI,KAAK,SAAS;QACzB,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,MAAkC,EAClC,KAA0B;IAE1B,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC1C,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAClC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAC3E,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,CACL,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,mBAAmB,CAAC,2BAA2B,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAqB,EACrB,WAAmC,EACnC,IAAY;IAEZ,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QACzC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,IAAI,KAAK,WAAW,CAAC,IAAI;YACzB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACzB,IAAI;YACF,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACzB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI;gBAC1B,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/rules/observable-clone-writes/observable-clone-writes.d.ts

@@ -0,0 +1,8 @@
+import type { ArrayOriginScan } from "./observable-targets.js";
+import type { LegendPracticeFinding } from "../../core/types.js";
+export interface CloneWriteScan extends ArrayOriginScan {
+    readonly fileName: string;
+    readonly observableBindings: ReadonlySet<string>;
+}
+export declare function findObservableCloneWritePractices(scan: CloneWriteScan): LegendPracticeFinding[];
+//# sourceMappingURL=observable-clone-writes.d.ts.map

package/dist/src/rules/observable-clone-writes/observable-clone-writes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-clone-writes.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-clone-writes/observable-clone-writes.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAkBjE,MAAM,WAAW,cAAe,SAAQ,eAAe;IACrD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAClD;AAED,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,cAAc,GAAG,qBAAqB,EAAE,CAyB/F"}

package/dist/src/rules/observable-clone-writes/observable-clone-writes.js

@@ -0,0 +1,193 @@
+import { isEvaluationInert, rootIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { observableSetTarget, observableTargetStartsAsArray } from "./observable-targets.js";
+import { snapshotBindingIsReadOnly, snapshotTarget } from "./snapshot-bindings.js";
+import { RESERVED_OBSERVABLE_MEMBERS } from "../observable-reads/observable-paths.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+const SPREAD_WITH_ONE_MEMBER = 2;
+export function findObservableCloneWritePractices(scan) {
+    const { fileName, observableBindings, sourceFile } = scan;
+    const findings = [];
+    visit(sourceFile, (node) => {
+        if (!ts.isCallExpression(node)) {
+            return;
+        }
+        const write = narrowObservableObjectWrite(node, sourceFile, observableBindings) ??
+            narrowObservableArrayAppend(node, scan);
+        if (!write) {
+            return;
+        }
+        const { line, character } = sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile));
+        findings.push({
+            action: "narrow-observable-write",
+            confidence: "probable",
+            disposition: "change",
+            evidence: write.evidence,
+            location: { column: character + 1, file: fileName, line: line + 1 },
+            message: write.message,
+            practice: "reactivity",
+        });
+    });
+    return findings;
+}
+function narrowObservableObjectWrite(call, sourceFile, observableBindings) {
+    const target = observableSetTarget(call, observableBindings);
+    if (!target) {
+        return null;
+    }
+    const override = clonedOverrideProperty(call, target, sourceFile);
+    if (!override) {
+        return null;
+    }
+    return narrowedChildWrite(override, target.getText(sourceFile), sourceFile);
+}
+function clonedOverrideProperty(call, target, sourceFile) {
+    const value = unwrapTransparentExpression(call.arguments[0]);
+    if (!ts.isObjectLiteralExpression(value) || value.properties.length !== SPREAD_WITH_ONE_MEMBER) {
+        return null;
+    }
+    const [spread, override] = value.properties;
+    if (!spread || !ts.isSpreadAssignment(spread) || !override) {
+        return null;
+    }
+    const snapshot = snapshotTarget(spread.expression, call, sourceFile);
+    if (!snapshot ||
+        snapshot.target.getText(sourceFile) !== target.getText(sourceFile) ||
+        (snapshot.binding !== null && !snapshotBindingIsReadOnly(snapshot.binding, spread, call))) {
+        return null;
+    }
+    return override;
+}
+function narrowedChildWrite(override, targetText, sourceFile) {
+    if (ts.isShorthandPropertyAssignment(override)) {
+        return RESERVED_OBSERVABLE_MEMBERS.has(override.name.text)
+            ? null
+            : objectWrite(`${targetText}.${override.name.text}.set(${override.name.text})`, targetText);
+    }
+    if (!ts.isPropertyAssignment(override)) {
+        return null;
+    }
+    return (namedChildWrite(override, targetText, sourceFile) ??
+        computedChildWrite(override, targetText, sourceFile));
+}
+function namedChildWrite(override, targetText, sourceFile) {
+    const { name } = override;
+    if (!ts.isIdentifier(name) && !ts.isStringLiteral(name)) {
+        return null;
+    }
+    if (RESERVED_OBSERVABLE_MEMBERS.has(name.text)) {
+        return null;
+    }
+    const child = ts.isIdentifier(name) ? `.${name.text}` : `[${name.getText(sourceFile)}]`;
+    const argument = override.initializer.getText(sourceFile);
+    return objectWrite(`${targetText}${child}.set(${argument})`, targetText);
+}
+function computedChildWrite(override, targetText, sourceFile) {
+    const { name } = override;
+    const argument = override.initializer.getText(sourceFile);
+    if (ts.isNumericLiteral(name)) {
+        return objectWrite(`${targetText}[${name.getText(sourceFile)}].set(${argument})`, targetText);
+    }
+    if (!ts.isComputedPropertyName(name) || !safeDynamicKey(name.expression)) {
+        return null;
+    }
+    const key = name.expression.getText(sourceFile);
+    return objectWrite(`${targetText}[${key}].set(${argument})`, targetText);
+}
+function objectWrite(replacement, target) {
+    return {
+        evidence: [
+            `the object clone starts from a non-tracking snapshot of ${target}`,
+            "the clone changes exactly one proven child and the snapshot binding is not mutated or escaped",
+        ],
+        message: `Replace this whole-object clone write with \`${replacement}\`; update the observable child directly so Legend does not clone or replace unaffected sibling fields.`,
+    };
+}
+function narrowObservableArrayAppend(call, scan) {
+    const { observableBindings, sourceFile } = scan;
+    const target = observableSetTarget(call, observableBindings);
+    if (!target || !rootIdentifier(target) || !observableTargetStartsAsArray(target, call, scan)) {
+        return null;
+    }
+    const appended = appendedArrayValue(call, target, sourceFile);
+    if (!appended || !isEvaluationInert(appended)) {
+        return null;
+    }
+    const targetText = target.getText(sourceFile);
+    const appendedText = appended.getText(sourceFile);
+    return {
+        evidence: [
+            `the clone appends exactly one inert value to the same proven observable array ${targetText}`,
+            "the observable path is initialized as an array where it is declared and no sort, filter, slice, prepend, or spread transform is present",
+        ],
+        message: `Replace this cloned-array write with \`${targetText}.push(${appendedText})\`; append directly so Legend preserves the array and avoids cloning or replacing unaffected entries.`,
+    };
+}
+function appendedArrayValue(call, target, sourceFile) {
+    const argument = unwrapTransparentExpression(call.arguments[0]);
+    return ts.isArrowFunction(argument)
+        ? updaterAppendValue(argument)
+        : snapshotAppendValue(argument, { sourceFile, target, write: call });
+}
+function updaterAppendValue(updater) {
+    if (updater.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ||
+        updater.parameters.length !== 1 ||
+        !ts.isIdentifier(updater.parameters[0].name) ||
+        ts.isBlock(updater.body)) {
+        return null;
+    }
+    const array = unwrapTransparentExpression(updater.body);
+    if (!ts.isArrayLiteralExpression(array) || array.elements.length !== SPREAD_WITH_ONE_MEMBER) {
+        return null;
+    }
+    const [snapshot, appended] = array.elements;
+    const parameter = updater.parameters[0].name;
+    if (!snapshot ||
+        !ts.isSpreadElement(snapshot) ||
+        !ts.isIdentifier(snapshot.expression) ||
+        snapshot.expression.text !== parameter.text ||
+        !appended ||
+        ts.isSpreadElement(appended) ||
+        expressionReferencesName(appended, parameter.text)) {
+        return null;
+    }
+    return appended;
+}
+function snapshotAppendValue(expression, context) {
+    const { sourceFile, target, write } = context;
+    if (!ts.isArrayLiteralExpression(expression) ||
+        expression.elements.length !== SPREAD_WITH_ONE_MEMBER) {
+        return null;
+    }
+    const [spread, appended] = expression.elements;
+    if (!spread || !ts.isSpreadElement(spread) || !appended || ts.isSpreadElement(appended)) {
+        return null;
+    }
+    const snapshot = snapshotTarget(spread.expression, write, sourceFile);
+    if (!snapshot ||
+        snapshot.target.getText(sourceFile) !== target.getText(sourceFile) ||
+        (snapshot.binding !== null &&
+            (!snapshotBindingIsReadOnly(snapshot.binding, spread, write) ||
+                (ts.isIdentifier(snapshot.binding.declaration.name) &&
+                    expressionReferencesName(appended, snapshot.binding.declaration.name.text))))) {
+        return null;
+    }
+    return appended;
+}
+function expressionReferencesName(expression, name) {
+    let found = false;
+    visit(expression, (node) => {
+        if (ts.isIdentifier(node) && node.text === name) {
+            found = true;
+        }
+    });
+    return found;
+}
+function safeDynamicKey(expression) {
+    const key = unwrapTransparentExpression(expression);
+    if (ts.isIdentifier(key) || ts.isNumericLiteral(key)) {
+        return true;
+    }
+    return ts.isStringLiteral(key) && !RESERVED_OBSERVABLE_MEMBERS.has(key.text);
+}
+//# sourceMappingURL=observable-clone-writes.js.map

package/dist/src/rules/observable-clone-writes/observable-clone-writes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-clone-writes.js","sourceRoot":"","sources":["../../../../src/rules/observable-clone-writes/observable-clone-writes.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAC7F,OAAO,EAAE,yBAAyB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAGnF,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAkBjC,MAAM,UAAU,iCAAiC,CAAC,IAAoB;IACpE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAC1D,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GACT,2BAA2B,CAAC,IAAI,EAAE,UAAU,EAAE,kBAAkB,CAAC;YACjE,2BAA2B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAChG,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,yBAAyB;YACjC,UAAU,EAAE,UAAU;YACtB,WAAW,EAAE,QAAQ;YACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE;YACnE,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,QAAQ,EAAE,YAAY;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAuB,EACvB,UAAyB,EACzB,kBAAuC;IAEvC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAuB,EACvB,MAAqB,EACrB,UAAyB;IAEzB,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;IAC5C,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACrE,IACE,CAAC,QAAQ;QACT,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;QAClE,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EACzF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAqC,EACrC,UAAkB,EAClB,UAAyB;IAEzB,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YACxD,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,WAAW,CAAC,GAAG,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,QAAQ,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,eAAe,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACjD,kBAAkB,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,QAA+B,EAC/B,UAAkB,EAClB,UAAyB;IAEzB,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IAC1B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,2BAA2B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;IACxF,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC1D,OAAO,WAAW,CAAC,GAAG,UAAU,GAAG,KAAK,QAAQ,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA+B,EAC/B,UAAkB,EAClB,UAAyB;IAEzB,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IAC1B,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,WAAW,CAAC,GAAG,UAAU,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAChD,OAAO,WAAW,CAAC,GAAG,UAAU,IAAI,GAAG,SAAS,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,WAAW,CAAC,WAAmB,EAAE,MAAc;IACtD,OAAO;QACL,QAAQ,EAAE;YACR,2DAA2D,MAAM,EAAE;YACnE,+FAA+F;SAChG;QACD,OAAO,EAAE,gDAAgD,WAAW,yGAAyG;KAC9K,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAuB,EACvB,IAAoB;IAEpB,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAChD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAClD,OAAO;QACL,QAAQ,EAAE;YACR,iFAAiF,UAAU,EAAE;YAC7F,yIAAyI;SAC1I;QACD,OAAO,EAAE,0CAA0C,UAAU,SAAS,YAAY,wGAAwG;KAC3L,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAuB,EACvB,MAAqB,EACrB,UAAyB;IAEzB,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACjE,OAAO,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QACjC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC;QAC9B,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAyB;IACnD,IACE,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACnF,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;QAC7C,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EACxB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC5F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAC9C,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC7B,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;QACrC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;QAC3C,CAAC,QAAQ;QACT,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC5B,wBAAwB,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,EAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAyB,EACzB,OAA8B;IAE9B,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC9C,IACE,CAAC,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACxC,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,sBAAsB,EACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC;IAC/C,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACtE,IACE,CAAC,QAAQ;QACT,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;QAClE,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI;YACxB,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;gBAC1D,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;oBACjD,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACnF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAyB,EAAE,IAAY;IACvE,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAChD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,UAAyB;IAC/C,MAAM,GAAG,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC"}

package/dist/src/rules/observable-clone-writes/observable-targets.d.ts

@@ -0,0 +1,15 @@
+import type { SyncedImports } from "../../core/observable-initial-value.js";
+import ts from "typescript";
+/** What a write rule knows about where each observable array starts. */
+export interface ArrayOriginScan {
+    readonly importedObservableArrayPaths: ReadonlySet<string>;
+    readonly imports: SyncedImports;
+    readonly sourceFile: ts.SourceFile;
+}
+export declare function observableSetTarget(call: ts.CallExpression, observableBindings: ReadonlySet<string>): ts.Expression | null;
+/**
+ * Whether the observable path starts as an array literal: in the factory call that declares it in
+ * this file, or in the declaring module when the root is imported.
+ */
+export declare function observableTargetStartsAsArray(target: ts.Expression, write: ts.CallExpression, scan: ArrayOriginScan): boolean;
+//# sourceMappingURL=observable-targets.d.ts.map

package/dist/src/rules/observable-clone-writes/observable-targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-targets.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-clone-writes/observable-targets.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAE5E,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wEAAwE;AACxE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3D,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,GACtC,EAAE,CAAC,UAAU,GAAG,IAAI,CAUtB;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,KAAK,EAAE,EAAE,CAAC,cAAc,EACxB,IAAI,EAAE,eAAe,GACpB,OAAO,CAgBT"}

package/dist/src/rules/observable-clone-writes/observable-targets.js

@@ -0,0 +1,47 @@
+import { ROOT_PATH, arrayLiteralPaths, observableInitialValue, } from "../../core/observable-initial-value.js";
+import { staticPathHasBinding, staticPropertyPath, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { isRuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+import { uniqueVariableDeclaration } from "../state-proofs/binding-lookup.js";
+export function observableSetTarget(call, observableBindings) {
+    if (call.arguments.length !== 1 ||
+        !ts.isPropertyAccessExpression(call.expression) ||
+        call.expression.name.text !== "set") {
+        return null;
+    }
+    const target = unwrapTransparentExpression(call.expression.expression);
+    return staticPathHasBinding(target, observableBindings) ? target : null;
+}
+/**
+ * Whether the observable path starts as an array literal: in the factory call that declares it in
+ * this file, or in the declaring module when the root is imported.
+ */
+export function observableTargetStartsAsArray(target, write, scan) {
+    const [root, ...properties] = staticPropertyPath(target) ?? [];
+    if (root === undefined) {
+        return false;
+    }
+    const declaration = lexicalVariableDeclaration(write, root) ?? uniqueVariableDeclaration(scan.sourceFile, root);
+    if (!declaration) {
+        return scan.importedObservableArrayPaths.has([root, ...properties].join("."));
+    }
+    const factory = declaration.initializer
+        ? unwrapTransparentExpression(declaration.initializer)
+        : null;
+    const initial = factory && ts.isCallExpression(factory) ? observableInitialValue(factory, scan.imports) : null;
+    return initial !== null && arrayLiteralPaths(initial).has(properties.join(".") || ROOT_PATH);
+}
+function lexicalVariableDeclaration(node, name) {
+    let current = node.parent;
+    while (current) {
+        if (isRuntimeFunctionLike(current) && current.body) {
+            const declaration = uniqueVariableDeclaration(current.body, name);
+            if (declaration) {
+                return declaration;
+            }
+        }
+        current = current.parent;
+    }
+    return null;
+}
+//# sourceMappingURL=observable-targets.js.map

package/dist/src/rules/observable-clone-writes/observable-targets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-targets.js","sourceRoot":"","sources":["../../../../src/rules/observable-clone-writes/observable-targets.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAS9E,MAAM,UAAU,mBAAmB,CACjC,IAAuB,EACvB,kBAAuC;IAEvC,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACvE,OAAO,oBAAoB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAqB,EACrB,KAAwB,EACxB,IAAqB;IAErB,MAAM,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC/D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GACf,0BAA0B,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9F,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW;QACrC,CAAC,CAAC,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,OAAO,GACX,OAAO,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,OAAO,OAAO,KAAK,IAAI,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC;AAC/F,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAa,EAAE,IAAY;IAC7D,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,CAAC;IAC/C,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACnD,MAAM,WAAW,GAAG,yBAAyB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAClE,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO,WAAW,CAAC;YACrB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/rules/observable-clone-writes/snapshot-bindings.d.ts

@@ -0,0 +1,11 @@
+import ts from "typescript";
+interface SnapshotBinding {
+    declaration: ts.VariableDeclaration;
+}
+export declare function snapshotTarget(expression: ts.Expression, write: ts.CallExpression, sourceFile: ts.SourceFile): {
+    binding: SnapshotBinding | null;
+    target: ts.Expression;
+} | null;
+export declare function snapshotBindingIsReadOnly(binding: SnapshotBinding, targetSpread: ts.SpreadAssignment | ts.SpreadElement, write: ts.CallExpression): boolean;
+export {};
+//# sourceMappingURL=snapshot-bindings.d.ts.map

package/dist/src/rules/observable-clone-writes/snapshot-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot-bindings.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-clone-writes/snapshot-bindings.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,UAAU,eAAe;IACvB,WAAW,EAAE,EAAE,CAAC,mBAAmB,CAAC;CACrC;AAQD,wBAAgB,cAAc,CAC5B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,EAAE,CAAC,cAAc,EACxB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB;IAAE,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;IAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAA;CAAE,GAAG,IAAI,CAWnE;AAkDD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,EAAE,CAAC,gBAAgB,GAAG,EAAE,CAAC,aAAa,EACpD,KAAK,EAAE,EAAE,CAAC,cAAc,GACvB,OAAO,CAmBT"}

package/dist/src/rules/observable-clone-writes/snapshot-bindings.js

@@ -0,0 +1,148 @@
+import { bindingDeclarationCount, isAssignmentOperator, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestor, isRuntimeFunctionLike, nodeWithin, visit } from "../../core/ast.js";
+import ts from "typescript";
+import { uniqueVariableDeclaration } from "../state-proofs/binding-lookup.js";
+export function snapshotTarget(expression, write, sourceFile) {
+    const direct = peekTarget(expression);
+    if (direct) {
+        return { binding: null, target: direct };
+    }
+    const resolved = resolvedSnapshotBinding(expression, write, sourceFile);
+    if (!resolved) {
+        return null;
+    }
+    const target = peekTarget(resolved.initializer);
+    return target ? { binding: { declaration: resolved.declaration }, target } : null;
+}
+function resolvedSnapshotBinding(expression, write, sourceFile) {
+    const value = unwrapTransparentExpression(expression);
+    if (!ts.isIdentifier(value)) {
+        return null;
+    }
+    const owner = findAncestor(write, isRuntimeFunctionLike);
+    if (!owner?.body || bindingDeclarationCount(owner, value.text) !== 1) {
+        return null;
+    }
+    const resolved = uniqueVariableDeclaration(owner.body, value.text);
+    if (!resolved?.initializer ||
+        !ts.isVariableDeclarationList(resolved.parent) ||
+        (resolved.parent.flags & ts.NodeFlags.Const) === 0 ||
+        resolved.getStart(sourceFile) >= write.getStart(sourceFile)) {
+        return null;
+    }
+    return { declaration: resolved, initializer: resolved.initializer };
+}
+function peekTarget(expression) {
+    let value = unwrapTransparentExpression(expression);
+    const fallback = ts.isBinaryExpression(value) ? unwrapTransparentExpression(value.right) : null;
+    if (ts.isBinaryExpression(value) &&
+        value.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken &&
+        fallback &&
+        ts.isObjectLiteralExpression(fallback) &&
+        fallback.properties.length === 0) {
+        value = unwrapTransparentExpression(value.left);
+    }
+    if (!ts.isCallExpression(value) ||
+        value.arguments.length > 0 ||
+        !ts.isPropertyAccessExpression(value.expression) ||
+        value.expression.name.text !== "peek") {
+        return null;
+    }
+    return unwrapTransparentExpression(value.expression.expression);
+}
+export function snapshotBindingIsReadOnly(binding, targetSpread, write) {
+    const owner = findAncestor(write, isRuntimeFunctionLike);
+    if (!owner?.body || !ts.isIdentifier(binding.declaration.name)) {
+        return false;
+    }
+    if (crossesAsyncBoundary(owner.body, binding.declaration.end, write.getStart())) {
+        return false;
+    }
+    const declared = binding.declaration.name;
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe || !ts.isIdentifier(node) || node.text !== declared.text || node === declared) {
+            return;
+        }
+        if (!referenceIsReadOnly(node, { owner, targetSpread, write })) {
+            safe = false;
+        }
+    });
+    return safe;
+}
+function crossesAsyncBoundary(body, start, end) {
+    let crosses = false;
+    visit(body, (node) => {
+        if (node.getStart() > start &&
+            node.end < end &&
+            (ts.isAwaitExpression(node) || ts.isYieldExpression(node))) {
+            crosses = true;
+        }
+    });
+    return crosses;
+}
+function referenceIsReadOnly(node, context) {
+    const { owner, targetSpread, write } = context;
+    if (nodeWithin(node, targetSpread.expression)) {
+        return true;
+    }
+    if (node.getStart() >= write.end ||
+        findAncestor(node, isRuntimeFunctionLike) !== owner ||
+        referenceMayRepeatAfterWrite(node, write, owner)) {
+        return false;
+    }
+    const access = outermostAccess(node);
+    if (access === node && !isControlConditionReference(node, owner)) {
+        return false;
+    }
+    return !isMutatingAccess(access);
+}
+function isMutatingAccess(access) {
+    const { parent } = access;
+    return ((ts.isBinaryExpression(parent) &&
+        parent.left === access &&
+        isAssignmentOperator(parent.operatorToken.kind)) ||
+        ((ts.isPrefixUnaryExpression(parent) || ts.isPostfixUnaryExpression(parent)) &&
+            parent.operand === access) ||
+        (ts.isDeleteExpression(parent) && parent.expression === access) ||
+        (ts.isCallExpression(parent) && parent.expression === access) ||
+        (ts.isTaggedTemplateExpression(parent) && parent.tag === access) ||
+        (ts.isSpreadElement(parent) && parent.expression === access));
+}
+function isControlConditionReference(node, owner) {
+    let current = node;
+    while (current.parent && current.parent !== owner) {
+        const { parent } = current;
+        if ((ts.isIfStatement(parent) && parent.expression === current) ||
+            (ts.isConditionalExpression(parent) && parent.condition === current)) {
+            return true;
+        }
+        current = parent;
+    }
+    return false;
+}
+function referenceMayRepeatAfterWrite(node, write, owner) {
+    let current = node;
+    while (current.parent && current.parent !== owner) {
+        const { parent } = current;
+        const repeatedCondition = ((ts.isWhileStatement(parent) || ts.isDoStatement(parent)) &&
+            parent.expression === current) ||
+            (ts.isForStatement(parent) &&
+                (parent.condition === current || parent.incrementor === current));
+        if (repeatedCondition && nodeWithin(write, parent.statement)) {
+            return true;
+        }
+        current = parent;
+    }
+    return false;
+}
+function outermostAccess(root) {
+    let current = root;
+    while ((ts.isPropertyAccessExpression(current.parent) ||
+        ts.isElementAccessExpression(current.parent)) &&
+        current.parent.expression === current) {
+        current = current.parent;
+    }
+    return current;
+}
+//# sourceMappingURL=snapshot-bindings.js.map

package/dist/src/rules/observable-clone-writes/snapshot-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot-bindings.js","sourceRoot":"","sources":["../../../../src/rules/observable-clone-writes/snapshot-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE3F,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAY9E,MAAM,UAAU,cAAc,CAC5B,UAAyB,EACzB,KAAwB,EACxB,UAAyB;IAEzB,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACxE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACpF,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAAyB,EACzB,KAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACnE,IACE,CAAC,QAAQ,EAAE,WAAW;QACtB,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC9C,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAClD,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAC3D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;AACtE,CAAC;AAED,SAAS,UAAU,CAAC,UAAyB;IAC3C,IAAI,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,IACE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;QAChE,QAAQ;QACR,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC;QACtC,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,KAAK,GAAG,2BAA2B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;IACD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC3B,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;QAChD,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAwB,EACxB,YAAoD,EACpD,KAAwB;IAExB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;IAC1C,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxF,OAAO;QACT,CAAC;QACD,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC/D,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa,EAAE,KAAa,EAAE,GAAW;IACrE,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,IACE,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK;YACvB,IAAI,CAAC,GAAG,GAAG,GAAG;YACd,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,EAC1D,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,OAA4B;IAC5E,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC/C,IAAI,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,GAAG;QAC5B,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,KAAK,KAAK;QACnD,4BAA4B,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EAChD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAqB;IAC7C,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1B,OAAO,CACL,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC5B,MAAM,CAAC,IAAI,KAAK,MAAM;QACtB,oBAAoB,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC;QAC5B,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC;QAC/D,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC;QAC7D,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC;QAChE,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAa,EAAE,KAAc;IAChE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAClD,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC3B,IACE,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC;YAC3D,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,CAAC,EACpE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAa,EAAE,KAAc,EAAE,KAAc;IACjF,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAClD,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC3B,MAAM,iBAAiB,GACrB,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACxD,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC;YAChC,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;gBACxB,CAAC,MAAM,CAAC,SAAS,KAAK,OAAO,IAAI,MAAM,CAAC,WAAW,KAAK,OAAO,CAAC,CAAC,CAAC;QACtE,IAAI,iBAAiB,IAAI,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,IAAmB;IAC1C,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,OACE,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,EACrC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { HookImports } from "../../core/imports.js";
+import type { LegendPracticeFinding } from "../../core/types.js";
+import type ts from "typescript";
+export interface ObservableOwnershipScan {
+    readonly fileName: string;
+    readonly imports: HookImports;
+    readonly observableBindings: ReadonlySet<string>;
+    readonly sourceFile: ts.SourceFile;
+}
+export type LegendFactory = "observable" | "useObservable";
+export declare function callLocation(call: ts.CallExpression, scan: ObservableOwnershipScan): LegendPracticeFinding["location"];
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-ownership/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,uBAAuB;IACtC,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,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG,eAAe,CAAC;AAE3D,wBAAgB,YAAY,CAC1B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,IAAI,EAAE,uBAAuB,GAC5B,qBAAqB,CAAC,UAAU,CAAC,CAKnC"}

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

@@ -0,0 +1,5 @@
+export function callLocation(call, scan) {
+    const { line, character } = scan.sourceFile.getLineAndCharacterOfPosition(call.getStart(scan.sourceFile));
+    return { column: character + 1, file: scan.fileName, line: line + 1 };
+}
+//# sourceMappingURL=model.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/rules/observable-ownership/model.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,YAAY,CAC1B,IAAuB,EACvB,IAA6B;IAE7B,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,6BAA6B,CACvE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAC/B,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC;AACxE,CAAC"}

package/dist/src/rules/observable-ownership/nested-observable-arguments.d.ts

@@ -0,0 +1,5 @@
+import type { LegendFactory, ObservableOwnershipScan } from "./model.js";
+import type { LegendPracticeFinding } from "../../core/types.js";
+import type ts from "typescript";
+export declare function nestedObservableArgumentFinding(call: ts.CallExpression, factory: LegendFactory, scan: ObservableOwnershipScan): LegendPracticeFinding | null;
+//# sourceMappingURL=nested-observable-arguments.d.ts.map

package/dist/src/rules/observable-ownership/nested-observable-arguments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nested-observable-arguments.d.ts","sourceRoot":"","sources":["../../../../src/rules/observable-ownership/nested-observable-arguments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAGjE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,uBAAuB,GAC5B,qBAAqB,GAAG,IAAI,CAwB9B"}