legend-doctor 0.1.0

package/dist/src/analysis/discard-confidence.js

@@ -0,0 +1,108 @@
+import { isDeclarationName, isEvaluationInert, isNonValueIdentifier, unwrapTransparentExpression, } from "../core/analysis-ast.js";
+import { nodeWithin, visit } from "../core/ast.js";
+import { nearestMutationFunction } from "./mutations.js";
+import ts from "typescript";
+export function setterCallsDiscardConfidence(calls) {
+    let confidence = "certain";
+    for (const call of calls) {
+        const callConfidence = setterCallDiscardConfidence(call);
+        if (!callConfidence) {
+            return null;
+        }
+        if (callConfidence === "probable") {
+            confidence = "probable";
+        }
+    }
+    return confidence;
+}
+function setterCallDiscardConfidence(call) {
+    const [argument] = call.arguments;
+    if (call.arguments.length !== 1 || !argument) {
+        return null;
+    }
+    return discardableExpressionConfidence(argument);
+}
+export function stateReadsOnlyCalculateOwnSetter(state, usage) {
+    if (usage.effectWrites > 0 ||
+        usage.setterCallNodes.length === 0 ||
+        usage.setterCallNodes.some((call) => nearestMutationFunction(call, state.owner) === state.owner ||
+            call.arguments.length !== 1 ||
+            !call.arguments[0] ||
+            !isEvaluationInert(call.arguments[0]))) {
+        return false;
+    }
+    let reads = 0;
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        reads += 1;
+        safe = usage.setterCallNodes.some((call) => call.arguments[0] !== undefined && nodeWithin(node, call.arguments[0]));
+    });
+    return safe && reads > 0;
+}
+export function stateOnlyReceivesItsInitialPrimitive(state, usage) {
+    const [initializer] = state.call.arguments;
+    if (!initializer ||
+        usage.setterCallNodes.length === 0 ||
+        usage.setterReferences !== usage.setterCalls ||
+        usage.shadowed ||
+        usage.escaped) {
+        return false;
+    }
+    return usage.setterCallNodes.every((call) => call.arguments.length === 1 &&
+        call.arguments[0] !== undefined &&
+        samePrimitiveLiteral(initializer, call.arguments[0]));
+}
+function samePrimitiveLiteral(left, right) {
+    const leftValue = unwrapTransparentExpression(left);
+    const rightValue = unwrapTransparentExpression(right);
+    if (leftValue.kind !== rightValue.kind) {
+        return false;
+    }
+    if (leftValue.kind === ts.SyntaxKind.NullKeyword ||
+        leftValue.kind === ts.SyntaxKind.TrueKeyword ||
+        leftValue.kind === ts.SyntaxKind.FalseKeyword) {
+        return true;
+    }
+    return (ts.isStringLiteralLike(leftValue) && ts.isStringLiteralLike(rightValue)) ||
+        (ts.isNumericLiteral(leftValue) && ts.isNumericLiteral(rightValue)) ||
+        (ts.isBigIntLiteral(leftValue) && ts.isBigIntLiteral(rightValue))
+        ? leftValue.text === rightValue.text
+        : false;
+}
+function discardableExpressionConfidence(node) {
+    if (isEvaluationInert(node)) {
+        return "certain";
+    }
+    const value = unwrapTransparentExpression(node);
+    if (ts.isPropertyAccessExpression(value)) {
+        return discardableExpressionConfidence(value.expression) ? "probable" : null;
+    }
+    if (ts.isArrayLiteralExpression(value)) {
+        return combineDiscardConfidence(value.elements.map((element) => ts.isSpreadElement(element) ? null : discardableExpressionConfidence(element)));
+    }
+    if (ts.isObjectLiteralExpression(value)) {
+        return combineDiscardConfidence(value.properties.map((property) => {
+            if (ts.isShorthandPropertyAssignment(property)) {
+                return "certain";
+            }
+            return ts.isPropertyAssignment(property) && !ts.isComputedPropertyName(property.name)
+                ? discardableExpressionConfidence(property.initializer)
+                : null;
+        }));
+    }
+    return null;
+}
+function combineDiscardConfidence(confidences) {
+    if (confidences.some((confidence) => confidence === null)) {
+        return null;
+    }
+    return confidences.some((confidence) => confidence === "probable") ? "probable" : "certain";
+}
+//# sourceMappingURL=discard-confidence.js.map

package/dist/src/analysis/discard-confidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discard-confidence.js","sourceRoot":"","sources":["../../../src/analysis/discard-confidence.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,4BAA4B,CAC1C,KAAmC;IAEnC,IAAI,UAAU,GAA2B,SAAS,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,cAAc,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,cAAc,KAAK,UAAU,EAAE,CAAC;YAClC,UAAU,GAAG,UAAU,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAuB;IAC1D,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,+BAA+B,CAAC,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,KAAqB,EACrB,KAAiB;IAEjB,IACE,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAClC,KAAK,CAAC,eAAe,CAAC,IAAI,CACxB,CAAC,IAAI,EAAE,EAAE,CACP,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,KAAK;YAC1D,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAClB,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CACxC,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CACjF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,KAAqB,EACrB,KAAiB;IAEjB,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IACE,CAAC,WAAW;QACZ,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,QAAQ;QACd,KAAK,CAAC,OAAO,EACb,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAChC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;QAC/B,oBAAoB,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB,EAAE,KAAoB;IACrE,MAAM,SAAS,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QAC9E,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QACnE,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACjE,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI;QACpC,CAAC,CAAC,KAAK,CAAC;AACZ,CAAC;AAED,SAAS,+BAA+B,CAAC,IAAmB;IAC1D,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,+BAA+B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,wBAAwB,CAC7B,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,+BAA+B,CAAC,OAAO,CAAC,CAC9E,CACF,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,wBAAwB,CAC7B,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;YAChC,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/C,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACnF,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC,WAAW,CAAC;gBACvD,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,WAAuD;IAEvD,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9F,CAAC"}

package/dist/src/analysis/effect-findings.d.ts

@@ -0,0 +1,5 @@
+import type { EffectCandidate, StateCandidate } from "./model.js";
+import type { HookFinding } from "../core/types.js";
+import type { StateAnalysisResult } from "./proofs/contracts.js";
+export declare function effectFindingFor(effect: EffectCandidate, { analysis, clusters, effectProofs, ownership }: StateAnalysisResult, stateFindings: ReadonlyMap<StateCandidate, HookFinding>): HookFinding | null;
+//# sourceMappingURL=effect-findings.d.ts.map

package/dist/src/analysis/effect-findings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-findings.d.ts","sourceRoot":"","sources":["../../../src/analysis/effect-findings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,eAAe,EACf,cAAc,EACf,MAAM,YAAY,CAAC;AASpB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAYjE,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,eAAe,EACvB,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,mBAAmB,EACpE,aAAa,EAAE,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,GACtD,WAAW,GAAG,IAAI,CA8BpB"}

package/dist/src/analysis/effect-findings.js

@@ -0,0 +1,91 @@
+import { applyEffectReview, effectAssumption } from "./assumptions/effect-assumptions.js";
+import { effectEvidence, findingFor } from "./finding-format.js";
+import { keepEffectForKeptState, keepEffectForMigratedState, persistMigratedStateEffect, } from "../rules/effects/effect-verdicts.js";
+import { EMPTY_STATE_CANDIDATES } from "./constants.js";
+import path from "node:path";
+const PAIRED_DRAFT_EFFECT_CLASSIFICATION = {
+    action: "review-effect",
+    abstentionReason: "paired-draft-effect-preserved",
+    confidence: "probable",
+    derivedState: null,
+    message: "Preserve this React synchronization effect and its dependency timing; when migrating the paired draft, replace only its setter calls with one atomic observable assignment.",
+};
+export function effectFindingFor(effect, { analysis, clusters, effectProofs, ownership }, stateFindings) {
+    const base = !analysis.nonProductionHarness && clusters.effectDrafts.effects.has(effect)
+        ? PAIRED_DRAFT_EFFECT_CLASSIFICATION
+        : effectProofs.effectClassifications.get(effect);
+    if (!base) {
+        return null;
+    }
+    const followed = stateFollowingEffectClassification(base, stateFindings) ?? base;
+    const assumed = effectAssumption(followed, {
+        confirmations: analysis.confirmations,
+        effect,
+        reportFile: path.normalize(analysis.fileName),
+        sourceFile: analysis.sourceFile,
+    });
+    const classification = assumed?.confirmed ?? followed;
+    const scope = effect.owner ? ownership.effectStateScopes.get(effect.owner) : undefined;
+    const finding = findingFor(effect.call, classification, {
+        evidence: [
+            ...effectEvidence(effect, analysis.sourceFile, scope?.bySetter ?? EMPTY_STATE_CANDIDATES),
+            ...(assumed?.confirmed
+                ? [`assumption confirmed by ${assumed.assumption.id}: ${assumed.assumption.question}`]
+                : []),
+        ],
+        fileName: analysis.fileName,
+        hook: "useEffect",
+        name: null,
+        sourceFile: analysis.sourceFile,
+    });
+    return applyEffectReview(finding, { assumed, followed, stateFindings });
+}
+const MIGRATING_STATE_ACTIONS = new Set([
+    "use-observable",
+    "use-ref",
+]);
+/**
+ * A review effect whose every local state dependency already has a settled state verdict inherits
+ * it: kept states leave no Legend effect action, and a migrating state that the effect only writes
+ * keeps the effect with rewritten writes.
+ */
+function stateFollowingEffectClassification(classification, stateFindings) {
+    if (classification.persistence) {
+        return persistedStateEffectClassification(classification.persistence, stateFindings);
+    }
+    if (classification.action !== "review-effect" || !classification.stateDependencies?.length) {
+        return null;
+    }
+    const settled = settledStateFindings(classification.stateDependencies, stateFindings);
+    return settled
+        ? inheritedEffectClassification(classification.stateDependencies.map((state) => state.valueName), settled, classification.abstentionReason === "effect-write-ownership-unresolved")
+        : null;
+}
+function inheritedEffectClassification(names, settled, writesOnly) {
+    if (settled.every((finding) => finding.action === "keep-state")) {
+        const certain = settled.every((finding) => finding.confidence === "certain");
+        return keepEffectForKeptState(names, certain ? "certain" : "probable");
+    }
+    const migrating = settled.every((finding) => finding.action === "keep-state" || MIGRATING_STATE_ACTIONS.has(finding.action));
+    const migratingNames = names.filter((_name, index) => MIGRATING_STATE_ACTIONS.has(settled[index]?.action ?? "keep-state"));
+    return writesOnly && migrating ? keepEffectForMigratedState(migratingNames) : null;
+}
+/** A persistence effect earns its Legend replacement only once every persisted state migrates to an observable. */
+function persistedStateEffectClassification(persistence, stateFindings) {
+    const settled = settledStateFindings(persistence.states, stateFindings);
+    return settled?.every((finding) => finding.action === "use-observable")
+        ? persistMigratedStateEffect(persistence)
+        : null;
+}
+function settledStateFindings(states, stateFindings) {
+    const settled = [];
+    for (const state of states) {
+        const finding = stateFindings.get(state);
+        if (!finding) {
+            return null;
+        }
+        settled.push(finding);
+    }
+    return settled;
+}
+//# sourceMappingURL=effect-findings.js.map

package/dist/src/analysis/effect-findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-findings.js","sourceRoot":"","sources":["../../../src/analysis/effect-findings.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AAC1F,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EACL,sBAAsB,EACtB,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAGxD,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,MAAM,kCAAkC,GAAqB;IAC3D,MAAM,EAAE,eAAe;IACvB,gBAAgB,EAAE,+BAA+B;IACjD,UAAU,EAAE,UAAU;IACtB,YAAY,EAAE,IAAI;IAClB,OAAO,EACL,6KAA6K;CAChL,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAC9B,MAAuB,EACvB,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAuB,EACpE,aAAuD;IAEvD,MAAM,IAAI,GACR,CAAC,QAAQ,CAAC,oBAAoB,IAAI,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QACzE,CAAC,CAAC,kCAAkC;QACpC,CAAC,CAAC,YAAY,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,kCAAkC,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,IAAI,CAAC;IACjF,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE;QACzC,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,MAAM;QACN,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC7C,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,OAAO,EAAE,SAAS,IAAI,QAAQ,CAAC;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,EAAE;QACtD,QAAQ,EAAE;YACR,GAAG,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,IAAI,sBAAsB,CAAC;YACzF,GAAG,CAAC,OAAO,EAAE,SAAS;gBACpB,CAAC,CAAC,CAAC,2BAA2B,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACtF,CAAC,CAAC,EAAE,CAAC;SACR;QACD,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC,CAAC;IACH,OAAO,iBAAiB,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,uBAAuB,GAAuC,IAAI,GAAG,CAAC;IAC1E,gBAAgB;IAChB,SAAS;CACV,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,kCAAkC,CACzC,cAAgC,EAChC,aAAuD;IAEvD,IAAI,cAAc,CAAC,WAAW,EAAE,CAAC;QAC/B,OAAO,kCAAkC,CAAC,cAAc,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,KAAK,eAAe,IAAI,CAAC,cAAc,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,cAAc,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC;IACtF,OAAO,OAAO;QACZ,CAAC,CAAC,6BAA6B,CAC3B,cAAc,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,EAChE,OAAO,EACP,cAAc,CAAC,gBAAgB,KAAK,mCAAmC,CACxE;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,6BAA6B,CACpC,KAAwB,EACxB,OAA+B,EAC/B,UAAmB;IAEnB,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,EAAE,CAAC;QAChE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;QAC7E,OAAO,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAC7B,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY,IAAI,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAC5F,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACnD,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,YAAY,CAAC,CACpE,CAAC;IACF,OAAO,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,0BAA0B,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrF,CAAC;AAED,mHAAmH;AACnH,SAAS,kCAAkC,CACzC,WAAsC,EACtC,aAAuD;IAEvD,MAAM,OAAO,GAAG,oBAAoB,CAAC,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACxE,OAAO,OAAO,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,gBAAgB,CAAC;QACrE,CAAC,CAAC,0BAA0B,CAAC,WAAW,CAAC;QACzC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAiC,EACjC,aAAuD;IAEvD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/src/analysis/filter/collection-work.d.ts

@@ -0,0 +1,11 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function collectionBindingIsReadOnly(declaration: ts.Identifier, owner: RuntimeFunctionLike): boolean;
+export declare function staticPropertyChainStartsAt(expression: ts.Expression, root: ts.Identifier): boolean;
+export declare function commonContainingRepeatedRender(nodes: readonly ts.Node[], owner: RuntimeFunctionLike): ts.CallExpression | null;
+export declare function repeatedRenderBinding(repeated: ts.CallExpression, owner: RuntimeFunctionLike): ts.Identifier | null;
+export declare function directReturnedJsxSlot(reference: ts.Identifier, owner: RuntimeFunctionLike): ts.Identifier | null;
+export declare function renderCollectionWorkOutside(owner: RuntimeFunctionLike, repeated: ts.CallExpression, movedFilter: ts.CallExpression): number;
+export declare function bindingReferences(owner: RuntimeFunctionLike, name: string, declaration: ts.Identifier): ts.Identifier[];
+export declare function isReadOnlyFilteredResultReference(reference: ts.Identifier, owner: RuntimeFunctionLike): boolean;
+//# sourceMappingURL=collection-work.d.ts.map

package/dist/src/analysis/filter/collection-work.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-work.d.ts","sourceRoot":"","sources":["../../../../src/analysis/filter/collection-work.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAqD5B,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,EAAE,CAAC,UAAU,EAC1B,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAeT;AAED,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,IAAI,EAAE,EAAE,CAAC,UAAU,GAClB,OAAO,CAMT;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EACzB,KAAK,EAAE,mBAAmB,GACzB,EAAE,CAAC,cAAc,GAAG,IAAI,CAoB1B;AAED,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,EAAE,CAAC,cAAc,EAC3B,KAAK,EAAE,mBAAmB,GACzB,EAAE,CAAC,UAAU,GAAG,IAAI,CAUtB;AAED,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,EAAE,CAAC,UAAU,EACxB,KAAK,EAAE,mBAAmB,GACzB,EAAE,CAAC,UAAU,GAAG,IAAI,CAWtB;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,mBAAmB,EAC1B,QAAQ,EAAE,EAAE,CAAC,cAAc,EAC3B,WAAW,EAAE,EAAE,CAAC,cAAc,GAC7B,MAAM,CAgBR;AA2DD,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,mBAAmB,EAC1B,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,EAAE,CAAC,UAAU,GACzB,EAAE,CAAC,UAAU,EAAE,CAcjB;AAED,wBAAgB,iCAAiC,CAC/C,SAAS,EAAE,EAAE,CAAC,UAAU,EACxB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAiBT"}

package/dist/src/analysis/filter/collection-work.js

@@ -0,0 +1,197 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isJsxNode } from "../../rules/state-proofs/callback-sites.js";
+import ts from "typescript";
+import { uniqueReturnedExpression } from "../return-call-sites.js";
+const READ_ONLY_COLLECTION_METHODS = new Set([
+    "at",
+    "concat",
+    "entries",
+    "every",
+    "filter",
+    "find",
+    "findIndex",
+    "findLast",
+    "findLastIndex",
+    "flat",
+    "flatMap",
+    "forEach",
+    "includes",
+    "indexOf",
+    "join",
+    "keys",
+    "lastIndexOf",
+    "map",
+    "reduce",
+    "reduceRight",
+    "slice",
+    "some",
+    "toReversed",
+    "toSorted",
+    "toSpliced",
+    "values",
+]);
+const RENDER_COLLECTION_WORK_METHODS = new Set([
+    "concat",
+    "every",
+    "filter",
+    "find",
+    "findIndex",
+    "findLast",
+    "findLastIndex",
+    "flat",
+    "flatMap",
+    "forEach",
+    "map",
+    "reduce",
+    "reduceRight",
+    "slice",
+    "some",
+    "toReversed",
+    "toSorted",
+    "toSpliced",
+]);
+export function collectionBindingIsReadOnly(declaration, owner) {
+    return bindingReferences(owner, declaration.text, declaration).every((reference) => {
+        const access = reference.parent;
+        if (!ts.isPropertyAccessExpression(access) || access.expression !== reference) {
+            return false;
+        }
+        if (access.name.text === "length" || access.name.text === "size") {
+            return true;
+        }
+        return (READ_ONLY_COLLECTION_METHODS.has(access.name.text) &&
+            ts.isCallExpression(access.parent) &&
+            access.parent.expression === access);
+    });
+}
+export function staticPropertyChainStartsAt(expression, root) {
+    let current = unwrapTransparentExpression(expression);
+    while (ts.isPropertyAccessExpression(current)) {
+        current = unwrapTransparentExpression(current.expression);
+    }
+    return ts.isIdentifier(current) && current.text === root.text;
+}
+export function commonContainingRepeatedRender(nodes, owner) {
+    const [first] = nodes;
+    if (!first) {
+        return null;
+    }
+    for (let current = first; current && current !== owner; current = current.parent) {
+        if (ts.isCallExpression(current) &&
+            ts.isPropertyAccessExpression(current.expression) &&
+            ["map", "flatMap"].includes(current.expression.name.text) &&
+            nodes.every((node) => nodeWithin(node, current))) {
+            return current;
+        }
+    }
+    return null;
+}
+export function repeatedRenderBinding(repeated, owner) {
+    const declaration = repeated.parent;
+    return ts.isVariableDeclaration(declaration) &&
+        declaration.initializer === repeated &&
+        ts.isIdentifier(declaration.name) &&
+        ts.isVariableDeclarationList(declaration.parent) &&
+        (declaration.parent.flags & ts.NodeFlags.Const) !== 0 &&
+        bindingDeclarationCount(owner, declaration.name.text) === 1
+        ? declaration.name
+        : null;
+}
+export function directReturnedJsxSlot(reference, owner) {
+    const expression = findAncestorUntil(reference, ts.isJsxExpression, owner);
+    const returned = uniqueReturnedExpression(owner);
+    return expression?.expression &&
+        (ts.isJsxElement(expression.parent) || ts.isJsxFragment(expression.parent)) &&
+        unwrapTransparentExpression(expression.expression) === reference &&
+        returned &&
+        nodeWithin(expression, returned) &&
+        nearestNestedFunction(reference, owner) === null
+        ? reference
+        : null;
+}
+export function renderCollectionWorkOutside(owner, repeated, movedFilter) {
+    const { body } = owner;
+    if (!body || !ts.isBlock(body)) {
+        return 0;
+    }
+    let count = 0;
+    visitSkippingNestedRuntimeFunctions(body, (node) => {
+        if (ts.isCallExpression(node) &&
+            isUnconditionalOwnerLevelCall(node, { body, movedFilter, owner, repeated }) &&
+            isCollectionWorkCall(node)) {
+            count += 1;
+        }
+    });
+    return count;
+}
+function isUnconditionalOwnerLevelCall(node, { body, movedFilter, owner, repeated }) {
+    const declaration = findAncestorUntil(node, ts.isVariableDeclaration, owner);
+    const statement = declaration?.parent.parent;
+    return (node !== movedFilter &&
+        node.questionDotToken === undefined &&
+        !nodeWithin(node, repeated) &&
+        node.getStart() < repeated.getStart() &&
+        declaration !== null &&
+        statement !== undefined &&
+        ts.isVariableStatement(statement) &&
+        statement.parent === body &&
+        !isConditionallyEvaluatedWithin(node, declaration));
+}
+function isCollectionWorkCall(node) {
+    const callee = node.expression;
+    if (!ts.isPropertyAccessExpression(callee) || callee.questionDotToken !== undefined) {
+        return false;
+    }
+    if (RENDER_COLLECTION_WORK_METHODS.has(callee.name.text)) {
+        return true;
+    }
+    const receiver = unwrapTransparentExpression(callee.expression);
+    return callee.name.text === "from" && ts.isIdentifier(receiver) && receiver.text === "Array";
+}
+function isConditionallyEvaluatedWithin(node, boundary) {
+    for (let current = node.parent; current && current !== boundary; current = current.parent) {
+        if (ts.isConditionalExpression(current) ||
+            (ts.isBinaryExpression(current) &&
+                [
+                    ts.SyntaxKind.AmpersandAmpersandToken,
+                    ts.SyntaxKind.BarBarToken,
+                    ts.SyntaxKind.QuestionQuestionToken,
+                ].includes(current.operatorToken.kind)) ||
+            (ts.isCallExpression(current) && current.questionDotToken !== undefined) ||
+            (ts.isPropertyAccessExpression(current) && current.questionDotToken !== undefined)) {
+            return true;
+        }
+    }
+    return false;
+}
+export function bindingReferences(owner, name, declaration) {
+    const references = [];
+    visit(owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node !== declaration &&
+            node.text === name &&
+            !isDeclarationName(node) &&
+            !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return references;
+}
+export function isReadOnlyFilteredResultReference(reference, owner) {
+    const access = reference.parent;
+    if (!ts.isPropertyAccessExpression(access) || access.expression !== reference) {
+        return false;
+    }
+    if (access.name.text === "length") {
+        return Boolean(findAncestorUntil(access, isJsxNode, owner));
+    }
+    if (access.name.text !== "map" || !ts.isCallExpression(access.parent)) {
+        return false;
+    }
+    const [callback] = access.parent.arguments;
+    return (callback !== undefined &&
+        (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) &&
+        Boolean(findAncestorUntil(access, isJsxNode, owner)));
+}
+//# sourceMappingURL=collection-work.js.map

package/dist/src/analysis/filter/collection-work.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-work.js","sourceRoot":"","sources":["../../../../src/analysis/filter/collection-work.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,SAAS,EAAE,MAAM,4CAA4C,CAAC;AACvE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC;IAC3C,IAAI;IACJ,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,MAAM;IACN,WAAW;IACX,UAAU;IACV,eAAe;IACf,MAAM;IACN,SAAS;IACT,SAAS;IACT,UAAU;IACV,SAAS;IACT,MAAM;IACN,MAAM;IACN,aAAa;IACb,KAAK;IACL,QAAQ;IACR,aAAa;IACb,OAAO;IACP,MAAM;IACN,YAAY;IACZ,UAAU;IACV,WAAW;IACX,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,8BAA8B,GAAG,IAAI,GAAG,CAAC;IAC7C,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,WAAW;IACX,UAAU;IACV,eAAe;IACf,MAAM;IACN,SAAS;IACT,SAAS;IACT,KAAK;IACL,QAAQ;IACR,aAAa;IACb,OAAO;IACP,MAAM;IACN,YAAY;IACZ,UAAU;IACV,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,UAAU,2BAA2B,CACzC,WAA0B,EAC1B,KAA0B;IAE1B,OAAO,iBAAiB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE;QACjF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;QAChC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC9E,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CACL,4BAA4B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAClD,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM,CACpC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,UAAyB,EACzB,IAAmB;IAEnB,IAAI,OAAO,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,GAAG,2BAA2B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,KAAyB,EACzB,KAA0B;IAE1B,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACtB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KACE,IAAI,OAAO,GAAwB,KAAK,EACxC,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC;YACjD,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YACzD,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAChD,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAA2B,EAC3B,KAA0B;IAE1B,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QAC1C,WAAW,CAAC,WAAW,KAAK,QAAQ;QACpC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QAChD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3D,CAAC,CAAC,WAAW,CAAC,IAAI;QAClB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,SAAwB,EACxB,KAA0B;IAE1B,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO,UAAU,EAAE,UAAU;QAC3B,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3E,2BAA2B,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,SAAS;QAChE,QAAQ;QACR,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC;QAChC,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,IAAI;QAChD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAA0B,EAC1B,QAA2B,EAC3B,WAA8B;IAE9B,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,mCAAmC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACjD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,6BAA6B,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YAC3E,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AASD,SAAS,6BAA6B,CACpC,IAAuB,EACvB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAuB;IAE3D,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC;IAC7C,OAAO,CACL,IAAI,KAAK,WAAW;QACpB,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACnC,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC;QAC3B,IAAI,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE;QACrC,WAAW,KAAK,IAAI;QACpB,SAAS,KAAK,SAAS;QACvB,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACjC,SAAS,CAAC,MAAM,KAAK,IAAI;QACzB,CAAC,8BAA8B,CAAC,IAAI,EAAE,WAAW,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAuB;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACpF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,8BAA8B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC;AAC/F,CAAC;AAED,SAAS,8BAA8B,CAAC,IAAa,EAAE,QAAiB;IACtE,KAAK,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,OAAO,KAAK,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1F,IACE,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;YACnC,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;gBAC7B;oBACE,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACrC,EAAE,CAAC,UAAU,CAAC,WAAW;oBACzB,EAAE,CAAC,UAAU,CAAC,qBAAqB;iBACpC,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,CAAC;YACxE,CAAC,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,CAAC,EAClF,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAA0B,EAC1B,IAAY,EACZ,WAA0B;IAE1B,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,KAAK,WAAW;YACpB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,SAAwB,EACxB,KAA0B;IAE1B,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC9E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;IAC3C,OAAO,CACL,QAAQ,KAAK,SAAS;QACtB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACnE,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CACrD,CAAC;AACJ,CAAC"}

package/dist/src/analysis/filter/filter-leaf-cut.d.ts

@@ -0,0 +1,17 @@
+import type { ControlledFilterLeafCut, StateCandidate, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { MaterialityPolicy } from "../constants.js";
+import ts from "typescript";
+export interface FilterLeafCutScope {
+    readonly childContracts: ChildContractResolver | null;
+    readonly materiality: MaterialityPolicy;
+}
+export declare function controlledFilterLeafCut(state: StateCandidate, usage: StateUsage, { childContracts, materiality }: FilterLeafCutScope): ControlledFilterLeafCut | null;
+interface SetterTransport {
+    readonly attribute: ts.JsxAttribute;
+    readonly reference: ts.Identifier;
+    readonly target: string;
+}
+export declare function directSetterTransport(state: StateCandidate): SetterTransport | null;
+export {};
+//# sourceMappingURL=filter-leaf-cut.d.ts.map

package/dist/src/analysis/filter/filter-leaf-cut.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-leaf-cut.d.ts","sourceRoot":"","sources":["../../../../src/analysis/filter/filter-leaf-cut.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAmBvF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAGzD,OAAO,EAAE,MAAM,YAAY,CAAC;AAgC5B,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;CACzC;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,cAAc,EAAE,WAAW,EAAE,EAAE,kBAAkB,GAClD,uBAAuB,GAAG,IAAI,CAsBhC;AAgED,UAAU,eAAe;IACvB,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,GAAG,IAAI,CAyBnF"}

package/dist/src/analysis/filter/filter-leaf-cut.js

@@ -0,0 +1,119 @@
+import { MIN_COLLECTION_RENDER_WORK, MIN_OWNER_RENDER_CUT_ELEMENTS } from "../constants.js";
+import { bindingReferences, collectionBindingIsReadOnly, commonContainingRepeatedRender, directReturnedJsxSlot, isReadOnlyFilteredResultReference, renderCollectionWorkOutside, repeatedRenderBinding, } from "./collection-work.js";
+import { findAncestorUntil, visit } from "../../core/ast.js";
+import { isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { jsxElementCount, jsxElementCountIn } from "../../rules/state-proofs/jsx-subtrees.js";
+import { exactStringFilter } from "./string-filter.js";
+import { jsxTargetName } from "../ast-helpers.js";
+import ts from "typescript";
+function stateIsTransportedFilterTerm(state, usage) {
+    return (state.setterName !== null &&
+        ts.isStringLiteralLike(unwrapTransparentExpression(state.call.arguments[0] ?? state.call)) &&
+        usage.setterReferences === 1 &&
+        usage.setterCalls === 0 &&
+        usage.setterTransportSites.size === 1 &&
+        usage.setterTargets.size === 1 &&
+        usage.valueTransportSites.size === 0 &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads === 0 &&
+        !usage.shadowed);
+}
+function readOnlyFilterResultReferences(state, filter) {
+    const references = bindingReferences(state.owner, filter.resultName.text, filter.resultName);
+    if (references.length === 0 ||
+        references.some((reference) => !isReadOnlyFilteredResultReference(reference, state.owner))) {
+        return null;
+    }
+    return references;
+}
+export function controlledFilterLeafCut(state, usage, { childContracts, materiality }) {
+    if (!childContracts || !stateIsTransportedFilterTerm(state, usage)) {
+        return null;
+    }
+    const setterTransport = deferredSetterTransport(state, childContracts);
+    const filter = setterTransport ? soleReadOnlyStringFilter(state) : null;
+    const resultReferences = filter ? readOnlyFilterResultReferences(state, filter) : null;
+    if (!setterTransport || !filter || !resultReferences) {
+        return null;
+    }
+    const slot = repeatedProducerRenderCut(state, { filter, materiality }, [
+        setterTransport.reference,
+        ...resultReferences,
+    ]);
+    return slot
+        ? {
+            line: slot.node.getSourceFile().getLineAndCharacterOfPosition(slot.node.getStart()).line + 1,
+            producer: slot.producer,
+            target: setterTransport.target,
+        }
+        : null;
+}
+function deferredSetterTransport(state, childContracts) {
+    const setterTransport = directSetterTransport(state);
+    if (!setterTransport ||
+        !childContracts.componentCallbackPropIsDeferred(setterTransport.target, setterTransport.attribute.name.getText())) {
+        return null;
+    }
+    return setterTransport;
+}
+function soleReadOnlyStringFilter(state) {
+    const reads = stateValueReferences(state);
+    const filter = reads.length === 1 ? exactStringFilter(reads[0], state.owner) : null;
+    return filter && collectionBindingIsReadOnly(filter.sourceName, state.owner) ? filter : null;
+}
+function repeatedProducerRenderCut(state, { filter, materiality }, references) {
+    const repeated = commonContainingRepeatedRender(references, state.owner);
+    const producer = repeated ? repeatedRenderBinding(repeated, state.owner) : null;
+    const producerReferences = producer
+        ? bindingReferences(state.owner, producer.text, producer)
+        : [];
+    const slot = producerReferences.length === 1
+        ? directReturnedJsxSlot(producerReferences[0], state.owner)
+        : null;
+    const ownerElements = jsxElementCount(state.owner);
+    const producerElements = repeated ? jsxElementCountIn(repeated) : ownerElements;
+    if (!repeated ||
+        !producer ||
+        !slot ||
+        ownerElements < materiality.broadOwnerJsx ||
+        ownerElements - producerElements < MIN_OWNER_RENDER_CUT_ELEMENTS ||
+        renderCollectionWorkOutside(state.owner, repeated, filter.call) < MIN_COLLECTION_RENDER_WORK) {
+        return null;
+    }
+    return { node: slot, producer: producer.text };
+}
+export function directSetterTransport(state) {
+    if (!state.setterName || !state.owner.body) {
+        return null;
+    }
+    const matches = [];
+    visit(state.owner.body, (node) => {
+        if (!ts.isIdentifier(node) ||
+            node.text !== state.setterName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const attribute = findAncestorUntil(node, ts.isJsxAttribute, state.owner);
+        const target = attribute ? jsxTargetName(attribute) : null;
+        if (attribute && target && isDirectJsxAttributeExpression(attribute, node)) {
+            matches.push({ attribute, reference: node, target });
+        }
+    });
+    return matches.length === 1 ? matches[0] : null;
+}
+function stateValueReferences(state) {
+    const references = [];
+    visit(state.owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === state.valueName &&
+            !isDeclarationName(node) &&
+            !isNonValueIdentifier(node) &&
+            node.parent !== state.call.parent) {
+            references.push(node);
+        }
+    });
+    return references;
+}
+//# sourceMappingURL=filter-leaf-cut.js.map

package/dist/src/analysis/filter/filter-leaf-cut.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter-leaf-cut.js","sourceRoot":"","sources":["../../../../src/analysis/filter/filter-leaf-cut.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,6BAA6B,EAAE,MAAM,iBAAiB,CAAC;AAC5F,OAAO,EACL,iBAAiB,EACjB,2BAA2B,EAC3B,8BAA8B,EAC9B,qBAAqB,EACrB,iCAAiC,EACjC,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAI9F,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,4BAA4B,CAAC,KAAqB,EAAE,KAAiB;IAC5E,OAAO,CACL,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,EAAE,CAAC,mBAAmB,CAAC,2BAA2B,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1F,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,oBAAoB,CAAC,IAAI,KAAK,CAAC;QACrC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAC9B,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,CAAC,KAAK,CAAC,QAAQ,CAChB,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,KAAqB,EACrB,MAAyB;IAEzB,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7F,IACE,UAAU,CAAC,MAAM,KAAK,CAAC;QACvB,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,iCAAiC,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAC1F,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAOD,MAAM,UAAU,uBAAuB,CACrC,KAAqB,EACrB,KAAiB,EACjB,EAAE,cAAc,EAAE,WAAW,EAAsB;IAEnD,IAAI,CAAC,cAAc,IAAI,CAAC,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,eAAe,GAAG,uBAAuB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,IAAI,CAAC,eAAe,IAAI,CAAC,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,yBAAyB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE;QACrE,eAAe,CAAC,SAAS;QACzB,GAAG,gBAAgB;KACpB,CAAC,CAAC;IACH,OAAO,IAAI;QACT,CAAC,CAAC;YACE,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC;YACxF,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM,EAAE,eAAe,CAAC,MAAM;SAC/B;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAqB,EACrB,cAAqC;IAErC,MAAM,eAAe,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACrD,IACE,CAAC,eAAe;QAChB,CAAC,cAAc,CAAC,+BAA+B,CAC7C,eAAe,CAAC,MAAM,EACtB,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CACzC,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAqB;IACrD,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,OAAO,MAAM,IAAI,2BAA2B,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/F,CAAC;AAYD,SAAS,yBAAyB,CAChC,KAAqB,EACrB,EAAE,MAAM,EAAE,WAAW,EAAoB,EACzC,UAA8B;IAE9B,MAAM,QAAQ,GAAG,8BAA8B,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChF,MAAM,kBAAkB,GAAG,QAAQ;QACjC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QACzD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,IAAI,GACR,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAC7B,CAAC,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,KAAK,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IAChF,IACE,CAAC,QAAQ;QACT,CAAC,QAAQ;QACT,CAAC,IAAI;QACL,aAAa,GAAG,WAAW,CAAC,aAAa;QACzC,aAAa,GAAG,gBAAgB,GAAG,6BAA6B;QAChE,2BAA2B,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,0BAA0B,EAC5F,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC;AAQD,MAAM,UAAU,qBAAqB,CAAC,KAAqB;IACzD,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAIP,EAAE,CAAC;IACT,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU;YAC9B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,IAAI,SAAS,IAAI,MAAM,IAAI,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;YAC3E,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAqB;IACjD,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC3B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,EACjC,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/src/analysis/filter/string-filter.d.ts

@@ -0,0 +1,9 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export interface ExactStringFilter {
+    readonly call: ts.CallExpression;
+    readonly resultName: ts.Identifier;
+    readonly sourceName: ts.Identifier;
+}
+export declare function exactStringFilter(stateRead: ts.Identifier, owner: RuntimeFunctionLike): ExactStringFilter | null;
+//# sourceMappingURL=string-filter.d.ts.map

package/dist/src/analysis/filter/string-filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-filter.d.ts","sourceRoot":"","sources":["../../../../src/analysis/filter/string-filter.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AA8FD,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,EAAE,CAAC,UAAU,EACxB,KAAK,EAAE,mBAAmB,GACzB,iBAAiB,GAAG,IAAI,CAY1B"}