legend-doctor 0.1.0

package/dist/src/analysis/assumptions/state-assumptions.js

@@ -0,0 +1,168 @@
+import { hypothesisFor, leafWrapHypothesis } from "./hypotheses.js";
+import { classifyState } from "../verdicts/classify-state.js";
+import { createHash } from "node:crypto";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+import { runtimeFunctionName } from "../ast-helpers.js";
+const FINGERPRINT_LENGTH = 12;
+/** Deleting state needs a complete proof; an assumed fact can only justify moving or rehoming it. */
+function confirmableAction(classified) {
+    const { action } = classified;
+    if (action === "delete-derived-state" ||
+        action === "delete-unused-state" ||
+        action === "keep-state" ||
+        action === "review-state") {
+        return null;
+    }
+    return action;
+}
+/**
+ * An answer is honoured only while the owner it was given for is unchanged: the fingerprint is a
+ * digest of the owner's source with whitespace collapsed, so reformatting does not invalidate it.
+ */
+export function ownerFingerprint(owner, sourceFile) {
+    const text = owner.getText(sourceFile).replaceAll(/\s+/gu, " ");
+    return createHash("sha1").update(text).digest("hex").slice(0, FINGERPRINT_LENGTH);
+}
+export function assumptionStatus(answer, fingerprint) {
+    if (answer === null) {
+        return "open";
+    }
+    if (answer.fingerprint !== undefined && answer.fingerprint !== fingerprint) {
+        return "stale";
+    }
+    return answer.answer === "yes" ? "confirmed" : "rejected";
+}
+function ownerLabel(inputs) {
+    const { owner } = inputs.state;
+    const name = runtimeFunctionName(owner);
+    if (name !== null) {
+        return name;
+    }
+    const line = inputs.sourceFile.getLineAndCharacterOfPosition(owner.getStart(inputs.sourceFile));
+    return `anonymous@L${line.line + 1}`;
+}
+export function assumptionId(reportFile, inputs, facts) {
+    return `${reportFile}::${ownerLabel(inputs)}::${inputs.state.valueName}::${facts.join("+")}`;
+}
+const MAX_CHAINED_FACTS = 2;
+function resolveOnce(reason, scope, inputs) {
+    const hypothesis = hypothesisFor(reason, { ...scope, inputs });
+    if (!hypothesis) {
+        return null;
+    }
+    return {
+        facts: [reason],
+        question: hypothesis.question,
+        research: hypothesis.research,
+        verdict: hypothesis.directVerdict ?? classifyState(hypothesis.inputs),
+    };
+}
+function dedupeResearch(steps) {
+    const seen = new Set();
+    return steps.filter((step) => {
+        const key = `${step.file}:${step.line}:${step.check}`;
+        if (seen.has(key)) {
+            return false;
+        }
+        seen.add(key);
+        return true;
+    });
+}
+function chainSecond(first, reason, scope) {
+    const next = first.verdict.action === "review-state" ? first.verdict.abstentionReason : null;
+    const hypothesis = hypothesisFor(reason, scope);
+    if (next === null || next === reason || !hypothesis) {
+        return first;
+    }
+    const second = resolveOnce(next, scope, hypothesis.inputs);
+    if (!second || second.verdict.action === "review-state") {
+        return first;
+    }
+    return {
+        facts: [...first.facts, ...second.facts],
+        question: `${first.question} Additionally, ${second.question}`,
+        research: dedupeResearch([...first.research, ...second.research]),
+        verdict: second.verdict,
+    };
+}
+/** Without a child-contract resolver, the leaf-subscriber rewrite is the only confirmable fact. */
+function leafWrapAlone(reason, scope) {
+    const leaf = leafWrapHypothesis(scope);
+    return leaf?.directVerdict
+        ? {
+            facts: [reason],
+            question: leaf.question,
+            research: leaf.research,
+            verdict: leaf.directVerdict,
+        }
+        : null;
+}
+/**
+ * When the specific hypothesis leaves the owner still subscribed, the generic leaf-subscriber rewrite
+ * is the remaining fact: a second one when the blocker differs, the only one when it is the same.
+ */
+function leafWrapFallback(first, reason, scope) {
+    const leaf = leafWrapHypothesis(scope);
+    if (!leaf?.directVerdict) {
+        return null;
+    }
+    const remaining = scope.inputs.usage.localRenderReads > 0 ? "render-cut-unproven" : "child-contract-unresolved";
+    const research = dedupeResearch([...first.research, ...leaf.research]);
+    if (remaining === reason) {
+        return { facts: [reason], question: leaf.question, research, verdict: leaf.directVerdict };
+    }
+    return {
+        facts: [...first.facts, remaining],
+        question: `${first.question} Additionally, ${leaf.question}`,
+        research,
+        verdict: leaf.directVerdict,
+    };
+}
+/**
+ * Assumes the finding's blocker away; when another blocker then stands alone, assumes that one too
+ * and asks both facts in one question. Two facts is the cap: beyond that a "yes" stops being a review.
+ */
+function resolveChain(reason, scope) {
+    const first = resolveOnce(reason, scope, scope.inputs);
+    if (!first) {
+        return reason === "child-contract-unresolved" ? leafWrapAlone(reason, scope) : null;
+    }
+    if (first.verdict.action !== "review-state" || first.facts.length >= MAX_CHAINED_FACTS) {
+        return first;
+    }
+    const chained = chainSecond(first, reason, scope);
+    if (chained.verdict.action !== "review-state") {
+        return chained;
+    }
+    return leafWrapFallback(first, reason, scope) ?? chained;
+}
+/**
+ * Re-runs the verdict pipeline with the finding's blocker assumed away. A question is asked only
+ * when that hypothetical run yields a conversion, so every "yes" has a concrete instruction.
+ */
+export function stateAssumption(classified, scope) {
+    const { inputs } = scope;
+    const resolved = resolveChain(classified.abstentionReason, scope);
+    const ifConfirmed = resolved ? confirmableAction(resolved.verdict) : null;
+    if (!resolved || ifConfirmed === null) {
+        return null;
+    }
+    const id = assumptionId(scope.reportFile, inputs, resolved.facts);
+    const fingerprint = ownerFingerprint(inputs.state.owner, inputs.sourceFile);
+    const status = assumptionStatus(scope.confirmations?.confirmationFor(id) ?? null, fingerprint);
+    return {
+        assumption: {
+            facts: [...resolved.facts],
+            fingerprint,
+            id,
+            ifConfirmed,
+            question: resolved.question,
+            renderCost: jsxElementCount(inputs.state.owner),
+            research: [...resolved.research],
+            status,
+            updateSites: inputs.usage.setterCalls,
+        },
+        confirmed: status === "confirmed" ? resolved.verdict : null,
+    };
+}
+//# sourceMappingURL=state-assumptions.js.map

package/dist/src/analysis/assumptions/state-assumptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/state-assumptions.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEpE,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAsBxD,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B,qGAAqG;AACrG,SAAS,iBAAiB,CAAC,UAA2B;IACpD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAC9B,IACE,MAAM,KAAK,sBAAsB;QACjC,MAAM,KAAK,qBAAqB;QAChC,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,cAAc,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,UAAyB;IACxE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAA2B,EAC3B,WAAmB;IAEnB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QAC3E,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,MAAiC;IACnD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAChG,OAAO,cAAc,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAAiC,EACjC,KAAkC;IAElC,OAAO,GAAG,UAAU,KAAK,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC/F,CAAC;AAUD,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,SAAS,WAAW,CAClB,MAAwB,EACxB,KAAsB,EACtB,MAAiC;IAEjC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,OAAO,EAAE,UAAU,CAAC,aAAa,IAAI,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAA8B;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAClB,KAAyB,EACzB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;QACxC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,kBAAkB,MAAM,CAAC,QAAQ,EAAE;QAC9D,QAAQ,EAAE,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjE,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CACpB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,IAAI,EAAE,aAAa;QACxB,CAAC,CAAC;YACE,KAAK,EAAE,CAAC,MAAM,CAAC;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,aAAa;SAC5B;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,KAAyB,EACzB,MAAwB,EACxB,KAAsB;IAEtB,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,2BAA2B,CAAC;IAChG,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC;QAClC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,kBAAkB,IAAI,CAAC,QAAQ,EAAE;QAC5D,QAAQ;QACR,OAAO,EAAE,IAAI,CAAC,aAAa;KAC5B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,MAAwB,EAAE,KAAsB;IACpE,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,MAAM,KAAK,2BAA2B,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,iBAAiB,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAuB,EACvB,KAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,IAAI,CAAC,QAAQ,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/F,OAAO;QACL,UAAU,EAAE;YACV,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;YAC1B,WAAW;YACX,EAAE;YACF,WAAW;YACX,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC/C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAChC,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;SACtC;QACD,SAAS,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;KAC5D,CAAC;AACJ,CAAC"}

package/dist/src/analysis/assumptions/verification.d.ts

@@ -0,0 +1,7 @@
+import type { StateAssumption, Verification } from "../../core/types.js";
+/**
+ * A confirmed answer replaced a proof the tool refused to make; the conversion it produced is the
+ * one worth measuring. The recipe names the harness and the exact comparison to run before keeping it.
+ */
+export declare function verificationFor(assumption: StateAssumption, subject: string, ownerFile: string): Verification;
+//# sourceMappingURL=verification.d.ts.map

package/dist/src/analysis/assumptions/verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAIzE;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAChB,YAAY,CAmBd"}

package/dist/src/analysis/assumptions/verification.js

@@ -0,0 +1,24 @@
+const HARNESS = "legend-doctor/runtime";
+/**
+ * A confirmed answer replaced a proof the tool refused to make; the conversion it produced is the
+ * one worth measuring. The recipe names the harness and the exact comparison to run before keeping it.
+ */
+export function verificationFor(assumption, subject, ownerFile) {
+    const drive = assumption.updateSites > 0
+        ? `drive every write site listed in the question's research (${assumption.updateSites} setter call sites) through the DOM: clicks, inputs, or the events those handlers listen to`
+        : "drive one full mount and, when the effect has a cleanup, one unmount";
+    return {
+        expect: assumption.ifConfirmed === "use-mount"
+            ? "the setup runs exactly once per mount in both versions, and the DOM after mount is identical"
+            : `renders of the owner per update drop from one per write to zero (or one, when the owner still reads the value); the leaf subscriber renders instead; the DOM after every step is identical between versions`,
+        harness: HARNESS,
+        steps: [
+            `import { mountDom, count } from "${HARNESS}" in a node:test file; mountDom gives a jsdom root, render, click, input, and signal helpers, and count tallies renders by name`,
+            `keep the current ${subject} as the "before" component (copy it into the test with a count(renders, "before") call at the top of its body), and apply ${assumption.ifConfirmed} from the finding in ${ownerFile} as the "after" component with count(renders, "after")`,
+            `mount each version once under StrictMode (mountDom(context, true)) and ${drive}; snapshot container.innerHTML after every step`,
+            "compare: identical DOM snapshots for every step, and the render tallies described in expect",
+            `record the measured counts in the confirmation's note for ${assumption.id}; a failed comparison means the answer was wrong: change it to "no" and revert the edit`,
+        ],
+    };
+}
+//# sourceMappingURL=verification.js.map

package/dist/src/analysis/assumptions/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/verification.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,GAAG,uBAAuB,CAAC;AAExC;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA2B,EAC3B,OAAe,EACf,SAAiB;IAEjB,MAAM,KAAK,GACT,UAAU,CAAC,WAAW,GAAG,CAAC;QACxB,CAAC,CAAC,6DAA6D,UAAU,CAAC,WAAW,6FAA6F;QAClL,CAAC,CAAC,sEAAsE,CAAC;IAC7E,OAAO;QACL,MAAM,EACJ,UAAU,CAAC,WAAW,KAAK,WAAW;YACpC,CAAC,CAAC,8FAA8F;YAChG,CAAC,CAAC,6MAA6M;QACnN,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE;YACL,oCAAoC,OAAO,iIAAiI;YAC5K,oBAAoB,OAAO,6HAA6H,UAAU,CAAC,WAAW,wBAAwB,SAAS,wDAAwD;YACvQ,0EAA0E,KAAK,iDAAiD;YAChI,6FAA6F;YAC7F,6DAA6D,UAAU,CAAC,EAAE,yFAAyF;SACpK;KACF,CAAC;AACJ,CAAC"}

package/dist/src/analysis/ast-helpers.d.ts

@@ -0,0 +1,29 @@
+import type { JsxSubtreeNode } from "../rules/deferred-reveal/jsx-subtrees.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import ts from "typescript";
+export declare function calleeRootIdentifier(expression: ts.Expression): ts.Identifier | null;
+export declare function calleeName(expression: ts.Expression): string | null;
+export declare function declaredBindingName(node: ts.Node): string | null;
+export declare function soleReturnedExpression(body: ts.ConciseBody): ts.Expression | null;
+export declare function soleStatementExpression(body: ts.ConciseBody): ts.Expression | null;
+export declare function jsxSubtreeForOpening(opening: ts.JsxOpeningElement | ts.JsxSelfClosingElement): JsxSubtreeNode;
+export declare function subtreeClusterOwnership(repeated: boolean, needsObservable: boolean): string;
+export declare function asyncStatusBoundaryLabel(callSiteCount: number, target: string | undefined): string;
+export declare function renderCutSuffix(hasCompactBooleanCut: boolean, hasRepeatedOwnerCut: boolean): string;
+export declare function competingSubscriptionsNote(subscriptions: number): string;
+export declare function commonRepeatedRender(nodes: readonly ts.Node[], boundary: ts.Node): ts.CallExpression | null;
+export declare function jsxSubtreeLabel(node: JsxSubtreeNode): string;
+export declare function ownerLineSpan(owner: RuntimeFunctionLike, sourceFile: ts.SourceFile): number;
+export declare function runtimeFunctionName(owner: RuntimeFunctionLike): string | null;
+export declare function isCustomHookOwner(owner: RuntimeFunctionLike): boolean;
+export declare function ancestorCallInSet(node: ts.Node, calls: ReadonlySet<ts.CallExpression>, boundary: ts.Node): ts.CallExpression | null;
+export declare function jsxTargetName(attribute: ts.JsxAttribute): string | null;
+export declare function isCustomJsxTarget(name: string): boolean;
+export declare function jsxTransportSite(attribute: ts.JsxAttribute): number;
+export declare function isInsideJsxCallback(node: ts.Node, boundary: RuntimeFunctionLike): boolean;
+export declare function hasUnstableJsxLifetime(node: ts.Node, boundary: ts.Node): boolean;
+export declare function isDirectArgumentToUnknownCall(node: ts.Identifier): boolean;
+export declare function isOriginalStateBinding(node: ts.Identifier, call: ts.CallExpression): boolean;
+export declare function hasAncestorInSet(node: ts.Node, ancestors: ReadonlySet<ts.Node>): boolean;
+export declare function isInsideImportedCallback(node: ts.Node, hookNames: ReadonlySet<string>): boolean;
+//# sourceMappingURL=ast-helpers.d.ts.map

package/dist/src/analysis/ast-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast-helpers.d.ts","sourceRoot":"","sources":["../../../src/analysis/ast-helpers.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAI1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,GAAG,IAAI,CAQpF;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,IAAI,CAKnE;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,IAAI,CAQhE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,UAAU,GAAG,IAAI,CASjF;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,UAAU,GAAG,IAAI,CASlF;AAED,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,GACvD,cAAc,CAEhB;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,GAAG,MAAM,CAQ3F;AAED,wBAAgB,wBAAwB,CACtC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,MAAM,CAMR;AAED,wBAAgB,eAAe,CAC7B,oBAAoB,EAAE,OAAO,EAC7B,mBAAmB,EAAE,OAAO,GAC3B,MAAM,CAQR;AAED,wBAAgB,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAQxE;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EACzB,QAAQ,EAAE,EAAE,CAAC,IAAI,GAChB,EAAE,CAAC,cAAc,GAAG,IAAI,CAI1B;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAO5D;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,mBAAmB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,CAI3F;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,GAAG,IAAI,CAM7E;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO,CAGrE;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,cAAc,CAAC,EACrC,QAAQ,EAAE,EAAE,CAAC,IAAI,GAChB,EAAE,CAAC,cAAc,GAAG,IAAI,CAW1B;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,IAAI,CAOvE;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGvD;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,CAEnE;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,mBAAmB,GAAG,OAAO,CAezF;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CA0BhF;AAED,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAK1E;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAO5F;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO,CAOxF;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAc/F"}

package/dist/src/analysis/ast-helpers.js

@@ -0,0 +1,197 @@
+import { findAncestorUntil, isRuntimeFunctionLike } from "../core/ast.js";
+import { STABLE_CALL_SITE_PAIR } from "./constants.js";
+import { isInsideJsxAttribute } from "../core/analysis-ast.js";
+import { nearestRepeatedRenderCall } from "../rules/state-proofs/jsx-subtrees.js";
+import ts from "typescript";
+export function calleeRootIdentifier(expression) {
+    if (ts.isIdentifier(expression)) {
+        return expression;
+    }
+    if (ts.isPropertyAccessExpression(expression) && ts.isIdentifier(expression.expression)) {
+        return expression.expression;
+    }
+    return null;
+}
+export function calleeName(expression) {
+    if (ts.isIdentifier(expression)) {
+        return expression.text;
+    }
+    return ts.isPropertyAccessExpression(expression) ? expression.name.text : null;
+}
+export function declaredBindingName(node) {
+    if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name)) {
+        return node.name.text;
+    }
+    if (ts.isFunctionDeclaration(node) && node.name) {
+        return node.name.text;
+    }
+    return null;
+}
+export function soleReturnedExpression(body) {
+    if (!ts.isBlock(body)) {
+        return body;
+    }
+    const [only] = body.statements;
+    if (body.statements.length !== 1 || !only || !ts.isReturnStatement(only)) {
+        return null;
+    }
+    return only.expression ?? null;
+}
+export function soleStatementExpression(body) {
+    if (!ts.isBlock(body)) {
+        return body;
+    }
+    const [only] = body.statements;
+    if (body.statements.length !== 1 || !only || !ts.isExpressionStatement(only)) {
+        return null;
+    }
+    return only.expression;
+}
+export function jsxSubtreeForOpening(opening) {
+    return ts.isJsxOpeningElement(opening) ? opening.parent : opening;
+}
+export function subtreeClusterOwnership(repeated, needsObservable) {
+    if (repeated) {
+        return "replace them with one component-lifetime observable model and subscribe with per-item `useValue` selectors in the repeated row leaf";
+    }
+    if (needsObservable) {
+        return "replace them with one component-lifetime observable model and subscribe in the extracted leaf with `useValue`";
+    }
+    return "move their ownership into the extracted leaf component";
+}
+export function asyncStatusBoundaryLabel(callSiteCount, target) {
+    if (callSiteCount > 1) {
+        const count = callSiteCount === STABLE_CALL_SITE_PAIR ? "two" : "three";
+        return `${count} stable status call sites`;
+    }
+    return target ? `the stable \`${target}\` call site` : "the stable pending-control call site";
+}
+export function renderCutSuffix(hasCompactBooleanCut, hasRepeatedOwnerCut) {
+    if (hasCompactBooleanCut) {
+        return " The independent sibling render cut proves that these updates skip owner work.";
+    }
+    if (hasRepeatedOwnerCut) {
+        return " The leaf subscription skips the owner's repeated render work.";
+    }
+    return "";
+}
+export function competingSubscriptionsNote(subscriptions) {
+    if (subscriptions === 0) {
+        return "";
+    }
+    if (subscriptions === 1) {
+        return " The owner also re-renders through an existing observable subscription; isolate this state only if it updates less often than that subscription.";
+    }
+    return ` The owner also re-renders through ${subscriptions} existing observable subscriptions; isolate this state only if it updates less often than they do.`;
+}
+export function commonRepeatedRender(nodes, boundary) {
+    const calls = nodes.map((node) => nearestRepeatedRenderCall(node, boundary));
+    const [first] = calls;
+    return first && calls.every((call) => call === first) ? first : null;
+}
+export function jsxSubtreeLabel(node) {
+    if (ts.isJsxFragment(node)) {
+        return "fragment";
+    }
+    return ts.isJsxElement(node)
+        ? `<${node.openingElement.tagName.getText()}>`
+        : `<${node.tagName.getText()}>`;
+}
+export function ownerLineSpan(owner, sourceFile) {
+    const start = sourceFile.getLineAndCharacterOfPosition(owner.getStart(sourceFile)).line;
+    const end = sourceFile.getLineAndCharacterOfPosition(owner.end).line;
+    return end - start + 1;
+}
+export function runtimeFunctionName(owner) {
+    if (owner.name && ts.isIdentifier(owner.name)) {
+        return owner.name.text;
+    }
+    const { parent } = owner;
+    return ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name) ? parent.name.text : null;
+}
+export function isCustomHookOwner(owner) {
+    const name = runtimeFunctionName(owner);
+    return name !== null && /^use[A-Z0-9]/u.test(name);
+}
+export function ancestorCallInSet(node, calls, boundary) {
+    for (let current = node.parent; current && current !== boundary; current = current.parent) {
+        if (ts.isCallExpression(current) && calls.has(current)) {
+            return current;
+        }
+    }
+    return null;
+}
+export function jsxTargetName(attribute) {
+    const properties = attribute.parent;
+    const opening = properties.parent;
+    if (!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening)) {
+        return null;
+    }
+    return opening.tagName.getText();
+}
+export function isCustomJsxTarget(name) {
+    const [first] = name;
+    return first !== undefined && (first === first.toUpperCase() || name.includes("."));
+}
+export function jsxTransportSite(attribute) {
+    return attribute.parent.parent.getStart();
+}
+export function isInsideJsxCallback(node, boundary) {
+    for (let current = node.parent; current && current !== boundary; current = current.parent) {
+        if (!isRuntimeFunctionLike(current)) {
+            continue;
+        }
+        const attribute = findAncestorUntil(current, ts.isJsxAttribute, boundary);
+        if (attribute && isInsideJsxAttribute(current, attribute)) {
+            return true;
+        }
+    }
+    return false;
+}
+export function hasUnstableJsxLifetime(node, boundary) {
+    const opening = node.parent.parent;
+    if ((ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening)) &&
+        opening.attributes.properties.some((property) => ts.isJsxAttribute(property) && property.name.getText() === "key")) {
+        return true;
+    }
+    for (let current = opening.parent; current && current !== boundary; current = current.parent) {
+        if (ts.isConditionalExpression(current) ||
+            (ts.isBinaryExpression(current) &&
+                (current.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+                    current.operatorToken.kind === ts.SyntaxKind.BarBarToken ||
+                    current.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken))) {
+            return true;
+        }
+    }
+    return nearestRepeatedRenderCall(opening, boundary) !== null;
+}
+export function isDirectArgumentToUnknownCall(node) {
+    const { parent } = node;
+    return (ts.isCallExpression(parent) && parent.expression !== node && parent.arguments.includes(node));
+}
+export function isOriginalStateBinding(node, call) {
+    const declaration = call.parent;
+    return (ts.isVariableDeclaration(declaration) &&
+        declaration.name.getStart() <= node.getStart() &&
+        node.end <= declaration.name.end);
+}
+export function hasAncestorInSet(node, ancestors) {
+    for (let current = node.parent; current; current = current.parent) {
+        if (ancestors.has(current)) {
+            return true;
+        }
+    }
+    return false;
+}
+export function isInsideImportedCallback(node, hookNames) {
+    for (let current = node.parent; current; current = current.parent) {
+        if (ts.isCallExpression(current) &&
+            ts.isIdentifier(current.expression) &&
+            hookNames.has(current.expression.text) &&
+            current.arguments.some((argument) => argument.getStart() <= node.getStart() && node.end <= argument.end)) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=ast-helpers.js.map

package/dist/src/analysis/ast-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast-helpers.js","sourceRoot":"","sources":["../../../src/analysis/ast-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAG1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,oBAAoB,CAAC,UAAyB;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACxF,OAAO,UAAU,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,UAAyB;IAClD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,UAAU,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAa;IAC/C,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAoB;IACzD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAoB;IAC1D,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAwD;IAExD,OAAO,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,QAAiB,EAAE,eAAwB;IACjF,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,qIAAqI,CAAC;IAC/I,CAAC;IACD,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,+GAA+G,CAAC;IACzH,CAAC;IACD,OAAO,wDAAwD,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,aAAqB,EACrB,MAA0B;IAE1B,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,aAAa,KAAK,qBAAqB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;QACxE,OAAO,GAAG,KAAK,2BAA2B,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,gBAAgB,MAAM,cAAc,CAAC,CAAC,CAAC,sCAAsC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,oBAA6B,EAC7B,mBAA4B;IAE5B,IAAI,oBAAoB,EAAE,CAAC;QACzB,OAAO,gFAAgF,CAAC;IAC1F,CAAC;IACD,IAAI,mBAAmB,EAAE,CAAC;QACxB,OAAO,gEAAgE,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,aAAqB;IAC9D,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,kJAAkJ,CAAC;IAC5J,CAAC;IACD,OAAO,sCAAsC,aAAa,oGAAoG,CAAC;AACjK,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAyB,EACzB,QAAiB;IAEjB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACtB,OAAO,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAoB;IAClD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAC1B,CAAC,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG;QAC9C,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAA0B,EAAE,UAAyB;IACjF,MAAM,KAAK,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IACxF,MAAM,GAAG,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACrE,OAAO,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAA0B;IAC5D,IAAI,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,OAAO,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAA0B;IAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,IAAI,KAAK,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAa,EACb,KAAqC,EACrC,QAAiB;IAEjB,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,SAA0B;IACtD,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC;IACpC,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IACrB,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,SAA0B;IACzD,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAa,EAAE,QAA6B;IAC9E,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;QAC1E,IAAI,SAAS,IAAI,oBAAoB,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;YAC1D,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAa,EAAE,QAAiB;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACxE,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAChC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAC/E,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KACE,IAAI,OAAO,GAAwB,OAAO,CAAC,MAAM,EACjD,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;YACnC,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;gBAC7B,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACnE,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBACxD,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,EACxE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,yBAAyB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,IAAI,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,IAAmB;IAC/D,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC7F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAmB,EAAE,IAAuB;IACjF,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,OAAO,CACL,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE;QAC9C,IAAI,CAAC,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,GAAG,CACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAa,EAAE,SAA+B;IAC7E,KAAK,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACvF,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAa,EAAE,SAA8B;IACpF,KAAK,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACvF,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;YACnC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;YACtC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CACjF,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/analysis/branch-unmount.d.ts

@@ -0,0 +1,10 @@
+import type { BranchUnmountMove, StateCandidate, StateUsage } from "./model.js";
+import type { StateFlowIndex } from "../project/state-flow/state-flow.js";
+interface BranchUnmountScanContext {
+    readonly safeCommandStates: ReadonlySet<StateCandidate>;
+    readonly stateFlow: StateFlowIndex;
+    readonly usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+}
+export declare function findBranchUnmountMoves(states: readonly StateCandidate[], { safeCommandStates, stateFlow, usageByState }: BranchUnmountScanContext): ReadonlyMap<StateCandidate, BranchUnmountMove>;
+export {};
+//# sourceMappingURL=branch-unmount.d.ts.map

package/dist/src/analysis/branch-unmount.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"branch-unmount.d.ts","sourceRoot":"","sources":["../../../src/analysis/branch-unmount.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EAEjB,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;AAKpB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAU1E,UAAU,wBAAwB;IAChC,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;CAChE;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,SAAS,cAAc,EAAE,EACjC,EAAE,iBAAiB,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,wBAAwB,GACvE,WAAW,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAahD"}