legend-doctor 0.1.0

package/dist/src/rules/listener-ref-state/listener-ref-candidates.js

@@ -0,0 +1,84 @@
+import { containsAwaitOrYield, isAsync, setterRegionIsSynchronous } from "./synchronous-regions.js";
+import { isDeclarationName, isNonValueIdentifier } from "../../core/analysis-ast.js";
+import { nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import { callbackIsEventRooted } from "../state-proofs/event-roots.js";
+import { hasDirectPrimitiveInitializer } from "../state-proofs/state-proofs.js";
+import ts from "typescript";
+export function isListenerRefCandidate(state, usage, callbacks) {
+    return usageAllowsListenerRef(state, usage) && listenerReadsAreConfined(state, callbacks);
+}
+function usageAllowsListenerRef(state, usage) {
+    if (!state.setterName || !usage || !hasDirectPrimitiveInitializer(state)) {
+        return false;
+    }
+    return (usage.localRenderReads === 0 &&
+        usage.transportedOccurrences === 0 &&
+        usage.effectWrites === 0 &&
+        usage.setterCalls !== 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        usage.setterCallNodes.every((call) => setterRegionIsSynchronous(call, state.owner)));
+}
+function listenerReadsAreConfined(state, callbacks) {
+    let listenerRead = false;
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe || !isStateValueReference(node, state)) {
+            return;
+        }
+        const verdict = valueReferenceVerdict(node, state, callbacks);
+        if (verdict === "listener-read") {
+            listenerRead = true;
+        }
+        else if (verdict === "unsafe") {
+            safe = false;
+        }
+    });
+    return safe && listenerRead;
+}
+function isStateValueReference(node, state) {
+    return (ts.isIdentifier(node) &&
+        node.text === state.valueName &&
+        node.parent !== state.call.parent &&
+        !isDeclarationName(node) &&
+        !isNonValueIdentifier(node));
+}
+function valueReferenceVerdict(node, state, callbacks) {
+    const listener = listenerContaining(node, callbacks);
+    if (listener) {
+        return listener.dependencies.elements.some((element) => ts.isIdentifier(element) && element.text === state.valueName)
+            ? "listener-read"
+            : "unsafe";
+    }
+    if ([...callbacks.values()].some((binding) => nodeWithin(node, binding.dependencies))) {
+        return "ignored";
+    }
+    return referenceInEventRootedCallback(node, state) ? "ignored" : "unsafe";
+}
+function referenceInEventRootedCallback(node, state) {
+    const callback = nearestNestedFunction(node, state.owner);
+    return (callback !== null &&
+        callback !== state.owner &&
+        (ts.isArrowFunction(callback) ||
+            ts.isFunctionDeclaration(callback) ||
+            ts.isFunctionExpression(callback)) &&
+        !isAsync(callback) &&
+        !containsAwaitOrYield(callback.body) &&
+        callbackIsEventRooted({
+            callback,
+            owner: state.owner,
+            dependencyName: state.valueName,
+            seen: new Set(),
+        }));
+}
+function listenerContaining(node, callbacks) {
+    for (const binding of callbacks.values()) {
+        if (nodeWithin(node, binding.callback.body)) {
+            return binding;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=listener-ref-candidates.js.map

package/dist/src/rules/listener-ref-state/listener-ref-candidates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"listener-ref-candidates.js","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/listener-ref-candidates.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE7E,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,UAAU,sBAAsB,CACpC,KAAqB,EACrB,KAA6B,EAC7B,SAA+C;IAE/C,OAAO,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,wBAAwB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAqB,EAAE,KAA6B;IAClF,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,IAAI,CAAC,6BAA6B,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAqB,EACrB,SAA+C;IAE/C,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IAAI,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;YAChC,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,YAAY,CAAC;AAC9B,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAa,EAAE,KAAqB;IACjE,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;QAC7B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM;QACjC,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAmB,EACnB,KAAqB,EACrB,SAA+C;IAE/C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CACxC,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,CAC1E;YACC,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,QAAQ,CAAC;IACf,CAAC;IACD,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QACtF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5E,CAAC;AAED,SAAS,8BAA8B,CAAC,IAAa,EAAE,KAAqB;IAC1E,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,QAAQ,KAAK,KAAK,CAAC,KAAK;QACxB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YAC3B,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;YAClC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAClB,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpC,qBAAqB,CAAC;YACpB,QAAQ;YACR,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,KAAK,CAAC,SAAS;YAC/B,IAAI,EAAE,IAAI,GAAG,EAAE;SAChB,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAa,EACb,SAA+C;IAE/C,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACzC,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/rules/listener-ref-state/listener-ref-state.d.ts

@@ -0,0 +1,17 @@
+import type { EffectCandidate, StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { HookImports } from "../../core/imports.js";
+export interface ListenerRefStateCluster {
+    action: "use-ref";
+    id: string;
+    members: readonly StateCandidate[];
+    message: string;
+    primary: StateCandidate;
+}
+export interface ListenerRefStateScan {
+    readonly effects: readonly EffectCandidate[];
+    readonly imports: HookImports;
+    readonly states: readonly StateCandidate[];
+    readonly usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+}
+export declare function findListenerRefStateClusters({ effects, imports, states, usageByState, }: ListenerRefStateScan): ReadonlyMap<StateCandidate, ListenerRefStateCluster>;
+//# sourceMappingURL=listener-ref-state.d.ts.map

package/dist/src/rules/listener-ref-state/listener-ref-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"listener-ref-state.d.ts","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/listener-ref-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE3F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAUzD,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,SAAS,CAAC;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,cAAc,CAAC;CACzB;AAkBD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;CAChE;AAED,wBAAgB,4BAA4B,CAAC,EAC3C,OAAO,EACP,OAAO,EACP,MAAM,EACN,YAAY,GACb,EAAE,oBAAoB,GAAG,WAAW,CAAC,cAAc,EAAE,uBAAuB,CAAC,CAc7E"}

package/dist/src/rules/listener-ref-state/listener-ref-state.js

@@ -0,0 +1,124 @@
+import { nearestNestedFunction, visitSkippingNestedFunctions } from "../../core/ast.js";
+import { isListenerRefCandidate } from "./listener-ref-candidates.js";
+import { listenerCallbacks } from "./listener-callbacks.js";
+import { mutationRegionOnlyCallsStateSetters } from "../effect-drafts/draft-mutations.js";
+import { regionIsSynchronousEvent } from "./synchronous-regions.js";
+import ts from "typescript";
+const MINIMUM_CLUSTER_MEMBERS = 2;
+export function findListenerRefStateClusters({ effects, imports, states, usageByState, }) {
+    const result = new Map();
+    for (const [owner, ownerStates] of groupByOwner(states)) {
+        for (const [state, cluster] of ownerClusters({
+            effects,
+            imports,
+            owner,
+            ownerStates,
+            usageByState,
+        })) {
+            result.set(state, cluster);
+        }
+    }
+    return result;
+}
+function ownerClusters(scan) {
+    const callbacks = listenerCallbacks(scan.owner, scan.effects, scan.imports);
+    if (callbacks.size === 0) {
+        return new Map();
+    }
+    const candidates = new Set(scan.ownerStates.filter((state) => isListenerRefCandidate(state, scan.usageByState.get(state), callbacks)));
+    if (candidates.size < MINIMUM_CLUSTER_MEMBERS) {
+        return new Map();
+    }
+    return clustersByRegion(scan, candidates);
+}
+function clustersByRegion(scan, candidates) {
+    const stateBySetter = settersByName(scan.ownerStates);
+    const clusters = new Map();
+    const claimed = new Set();
+    for (const [region, regionMembers] of orderedCandidateRegions(scan, candidates)) {
+        const cluster = regionCluster({ claimed, region, regionMembers, scan, stateBySetter });
+        if (cluster) {
+            recordCluster(clusters, claimed, cluster);
+        }
+    }
+    return clusters;
+}
+function recordCluster(clusters, claimed, cluster) {
+    for (const member of cluster.members) {
+        claimed.add(member);
+        clusters.set(member, cluster);
+    }
+}
+function regionCluster(scanned) {
+    const { claimed, region, regionMembers, scan, stateBySetter } = scanned;
+    if (regionMembers.size < MINIMUM_CLUSTER_MEMBERS ||
+        [...regionMembers].some((state) => claimed.has(state)) ||
+        !regionIsSynchronousEvent(region, scan.owner) ||
+        !regionWritesOnlyMembers(region, regionMembers, stateBySetter)) {
+        return null;
+    }
+    const members = [...regionMembers].toSorted((left, right) => left.call.getStart() - right.call.getStart());
+    const [primary] = members;
+    if (!primary) {
+        return null;
+    }
+    const names = members.map((state) => state.valueName);
+    return {
+        action: "use-ref",
+        id: `state-cluster:listener-ref:${scan.owner.getStart()}:${names.join(",")}`,
+        members,
+        message: `Replace the listener-only state cluster (${names.map((name) => `\`${name}\``).join(", ")}) with refs as one migration; rewrite every read and write through \`.current\`, remove those values from memoized callback dependencies, and preserve each existing listener effect, registration target, event, guard, and cleanup.`,
+        primary,
+    };
+}
+function settersByName(ownerStates) {
+    return new Map(ownerStates.flatMap((state) => (state.setterName ? [[state.setterName, state]] : [])));
+}
+function setterRegions(usage, owner) {
+    return usage.setterCallNodes.flatMap((call) => {
+        const region = nearestNestedFunction(call, owner);
+        return region && region !== owner ? [region] : [];
+    });
+}
+function orderedCandidateRegions(scan, candidates) {
+    const regions = new Map();
+    for (const state of candidates) {
+        const usage = scan.usageByState.get(state);
+        if (!usage) {
+            continue;
+        }
+        for (const region of setterRegions(usage, scan.owner)) {
+            const members = regions.get(region) ?? new Set();
+            members.add(state);
+            regions.set(region, members);
+        }
+    }
+    return [...regions].toSorted(([left], [right]) => left.getStart() - right.getStart());
+}
+function groupByOwner(states) {
+    const groups = new Map();
+    for (const state of states) {
+        const group = groups.get(state.owner) ?? [];
+        group.push(state);
+        groups.set(state.owner, group);
+    }
+    return groups;
+}
+function regionWritesOnlyMembers(region, members, stateBySetter) {
+    const memberSetters = new Set([...members].flatMap((state) => (state.setterName ? [state.setterName] : [])));
+    let safe = true;
+    if (!region.body) {
+        return false;
+    }
+    visitSkippingNestedFunctions(region.body, region, (node) => {
+        if (!safe || !ts.isCallExpression(node) || !ts.isIdentifier(node.expression)) {
+            return;
+        }
+        const state = stateBySetter.get(node.expression.text);
+        if (state && !members.has(state)) {
+            safe = false;
+        }
+    });
+    return safe && mutationRegionOnlyCallsStateSetters(region, memberSetters);
+}
+//# sourceMappingURL=listener-ref-state.js.map

package/dist/src/rules/listener-ref-state/listener-ref-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"listener-ref-state.js","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/listener-ref-state.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AAGxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,mCAAmC,EAAE,MAAM,qCAAqC,CAAC;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAiClC,MAAM,UAAU,4BAA4B,CAAC,EAC3C,OAAO,EACP,OAAO,EACP,MAAM,EACN,YAAY,GACS;IACrB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2C,CAAC;IAClE,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,aAAa,CAAC;YAC3C,OAAO;YACP,OAAO;YACP,KAAK;YACL,WAAW;YACX,YAAY;SACb,CAAC,EAAE,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,IAAe;IACpC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5E,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CACvE,CACF,CAAC;IACF,IAAI,UAAU,CAAC,IAAI,GAAG,uBAAuB,EAAE,CAAC;QAC9C,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAe,EACf,UAAuC;IAEvC,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2C,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QAChF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;QACvF,IAAI,OAAO,EAAE,CAAC;YACZ,aAAa,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CACpB,QAAsD,EACtD,OAA4B,EAC5B,OAAgC;IAEhC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,OAAmB;IACxC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IACxE,IACE,aAAa,CAAC,IAAI,GAAG,uBAAuB;QAC5C,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtD,CAAC,wBAAwB,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QAC7C,CAAC,uBAAuB,CAAC,MAAM,EAAE,aAAa,EAAE,aAAa,CAAC,EAC9D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,QAAQ,CACzC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAC9D,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;IAC1B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACtD,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,EAAE,EAAE,8BAA8B,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC5E,OAAO;QACP,OAAO,EAAE,4CAA4C,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,uOAAuO;QACzU,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,WAAsC;IAEtC,OAAO,IAAI,GAAG,CACZ,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAiB,EACjB,KAA0B;IAE1B,OAAO,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5C,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,MAAM,IAAI,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAe,EACf,UAAuC;IAEvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4C,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,YAAY,CACnB,MAAiC;IAEjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyC,CAAC;IAChE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAA2B,EAC3B,OAAoC,EACpC,aAAkD;IAElD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC9E,CAAC;IACF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,4BAA4B,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,mCAAmC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAC5E,CAAC"}

package/dist/src/rules/listener-ref-state/synchronous-regions.d.ts

@@ -0,0 +1,7 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function setterRegionIsSynchronous(call: ts.CallExpression, owner: RuntimeFunctionLike): boolean;
+export declare function regionIsSynchronousEvent(region: RuntimeFunctionLike, owner: RuntimeFunctionLike): boolean;
+export declare function isAsync(node: RuntimeFunctionLike): boolean;
+export declare function containsAwaitOrYield(node: ts.Node | undefined): boolean;
+//# sourceMappingURL=synchronous-regions.d.ts.map

package/dist/src/rules/listener-ref-state/synchronous-regions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synchronous-regions.d.ts","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/synchronous-regions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAKT;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,mBAAmB,EAC3B,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAST;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAE1D;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,GAAG,OAAO,CAWvE"}

package/dist/src/rules/listener-ref-state/synchronous-regions.js

@@ -0,0 +1,31 @@
+import { nearestNestedFunction, visit } from "../../core/ast.js";
+import { callbackIsEventRooted } from "../state-proofs/event-roots.js";
+import ts from "typescript";
+export function setterRegionIsSynchronous(call, owner) {
+    const region = nearestNestedFunction(call, owner);
+    return (region !== null && region !== owner && !isAsync(region) && !containsAwaitOrYield(region.body));
+}
+export function regionIsSynchronousEvent(region, owner) {
+    return (!isAsync(region) &&
+        !containsAwaitOrYield(region.body) &&
+        (ts.isArrowFunction(region) ||
+            ts.isFunctionDeclaration(region) ||
+            ts.isFunctionExpression(region)) &&
+        callbackIsEventRooted({ callback: region, owner, dependencyName: "", seen: new Set() }));
+}
+export function isAsync(node) {
+    return node.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) === true;
+}
+export function containsAwaitOrYield(node) {
+    if (!node) {
+        return true;
+    }
+    let found = false;
+    visit(node, (current) => {
+        if (ts.isAwaitExpression(current) || ts.isYieldExpression(current)) {
+            found = true;
+        }
+    });
+    return found;
+}
+//# sourceMappingURL=synchronous-regions.js.map

package/dist/src/rules/listener-ref-state/synchronous-regions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synchronous-regions.js","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/synchronous-regions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,yBAAyB,CACvC,IAAuB,EACvB,KAA0B;IAE1B,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClD,OAAO,CACL,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,CAC9F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,MAA2B,EAC3B,KAA0B;IAE1B,OAAO,CACL,CAAC,OAAO,CAAC,MAAM,CAAC;QAChB,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC;QAClC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YACzB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAClC,qBAAqB,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CACxF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAyB;IAC/C,OAAO,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAyB;IAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QACtB,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnE,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/literal-boolean-leaf/boolean-setters.d.ts

@@ -0,0 +1,6 @@
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export declare function isEventBooleanSetter(call: ts.CallExpression, state: StateCandidate): boolean;
+export declare function isPureBooleanSetter(call: ts.CallExpression): boolean;
+export declare function isLiteralBooleanSetter(call: ts.CallExpression): boolean;
+//# sourceMappingURL=boolean-setters.d.ts.map

package/dist/src/rules/literal-boolean-leaf/boolean-setters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean-setters.d.ts","sourceRoot":"","sources":["../../../../src/rules/literal-boolean-leaf/boolean-setters.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAa5B,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAa5F;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAOpE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAOvE"}

package/dist/src/rules/literal-boolean-leaf/boolean-setters.js

@@ -0,0 +1,102 @@
+import { bindingDeclarationCount, isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, isPureExpression, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nearestNestedFunction, visit } from "../../core/ast.js";
+import { mutationRegionOnlyCallsStateSetters } from "../effect-drafts/draft-mutations.js";
+import ts from "typescript";
+const BOOLEAN_BINARY_OPERATORS = new Set([
+    ts.SyntaxKind.EqualsEqualsToken,
+    ts.SyntaxKind.EqualsEqualsEqualsToken,
+    ts.SyntaxKind.ExclamationEqualsToken,
+    ts.SyntaxKind.ExclamationEqualsEqualsToken,
+    ts.SyntaxKind.LessThanToken,
+    ts.SyntaxKind.LessThanEqualsToken,
+    ts.SyntaxKind.GreaterThanToken,
+    ts.SyntaxKind.GreaterThanEqualsToken,
+]);
+export function isEventBooleanSetter(call, state) {
+    if (!isPureBooleanSetter(call)) {
+        return false;
+    }
+    const callback = nearestNestedFunction(call, state.owner);
+    return (callback !== null &&
+        (ts.isArrowFunction(callback) ||
+            ts.isFunctionDeclaration(callback) ||
+            ts.isFunctionExpression(callback)) &&
+        callbackIsIntrinsicEventRooted(callback, state.owner) &&
+        mutationRegionOnlyCallsStateSetters(callback, new Set([state.setterName])));
+}
+export function isPureBooleanSetter(call) {
+    const [argument] = call.arguments;
+    return (call.arguments.length === 1 &&
+        argument !== undefined &&
+        (isLiteralBooleanSetter(call) || (isPureExpression(argument) && isBooleanExpression(argument))));
+}
+export function isLiteralBooleanSetter(call) {
+    const [value] = call.arguments;
+    return (call.arguments.length === 1 &&
+        value !== undefined &&
+        (value.kind === ts.SyntaxKind.TrueKeyword || value.kind === ts.SyntaxKind.FalseKeyword));
+}
+function callbackIsIntrinsicEventRooted(callback, owner) {
+    if (isInlineIntrinsicEventHandler(callback, owner)) {
+        return true;
+    }
+    const name = callbackBindingName(callback);
+    if (!name || bindingDeclarationCount(owner, name) !== 1) {
+        return false;
+    }
+    return referencesAreIntrinsicEventAttributes(owner, name);
+}
+function isInlineIntrinsicEventHandler(callback, owner) {
+    const attribute = findAncestorUntil(callback, ts.isJsxAttribute, owner);
+    const initializer = attribute?.initializer;
+    return (attribute !== null &&
+        initializer !== undefined &&
+        ts.isJsxExpression(initializer) &&
+        initializer.expression !== undefined &&
+        unwrapTransparentExpression(initializer.expression) === callback &&
+        attributeIsIntrinsicEvent(attribute));
+}
+function callbackBindingName(callback) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return callback.name?.text;
+    }
+    return ts.isVariableDeclaration(callback.parent) && ts.isIdentifier(callback.parent.name)
+        ? callback.parent.name.text
+        : undefined;
+}
+function referencesAreIntrinsicEventAttributes(owner, name) {
+    let referenced = false;
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe || !isValueReferenceNamed(node, name)) {
+            return;
+        }
+        referenced = true;
+        const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+        safe =
+            attribute !== null &&
+                isDirectJsxAttributeExpression(attribute, node) &&
+                attributeIsIntrinsicEvent(attribute);
+    });
+    return referenced && safe;
+}
+function isValueReferenceNamed(node, name) {
+    return (ts.isIdentifier(node) &&
+        node.text === name &&
+        !isDeclarationName(node) &&
+        !isNonValueIdentifier(node));
+}
+function attributeIsIntrinsicEvent(attribute) {
+    if (!/^on[A-Z]/u.test(attribute.name.getText())) {
+        return false;
+    }
+    const opening = attribute.parent.parent;
+    const tag = ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening) ? opening.tagName : null;
+    return tag !== null && ts.isIdentifier(tag) && /^[a-z]/u.test(tag.text);
+}
+function isBooleanExpression(expression) {
+    const value = unwrapTransparentExpression(expression);
+    return ((ts.isPrefixUnaryExpression(value) && value.operator === ts.SyntaxKind.ExclamationToken) ||
+        (ts.isBinaryExpression(value) && BOOLEAN_BINARY_OPERATORS.has(value.operatorToken.kind)));
+}
+//# sourceMappingURL=boolean-setters.js.map

package/dist/src/rules/literal-boolean-leaf/boolean-setters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean-setters.js","sourceRoot":"","sources":["../../../../src/rules/literal-boolean-leaf/boolean-setters.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,EACpB,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGpF,OAAO,EAAE,mCAAmC,EAAE,MAAM,qCAAqC,CAAC;AAC1F,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,wBAAwB,GAA+B,IAAI,GAAG,CAAC;IACnE,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,uBAAuB;IACrC,EAAE,CAAC,UAAU,CAAC,sBAAsB;IACpC,EAAE,CAAC,UAAU,CAAC,4BAA4B;IAC1C,EAAE,CAAC,UAAU,CAAC,aAAa;IAC3B,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,sBAAsB;CACrC,CAAC,CAAC;AAEH,MAAM,UAAU,oBAAoB,CAAC,IAAuB,EAAE,KAAqB;IACjF,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YAC3B,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;YAClC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACpC,8BAA8B,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC;QACrD,mCAAmC,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,UAAW,CAAC,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAuB;IACzD,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,QAAQ,KAAK,SAAS;QACtB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAChG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAuB;IAC5D,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CACxF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,QAA2E,EAC3E,KAA0B;IAE1B,IAAI,6BAA6B,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,qCAAqC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,6BAA6B,CACpC,QAA2E,EAC3E,KAA0B;IAE1B,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,SAAS,EAAE,WAAW,CAAC;IAC3C,OAAO,CACL,SAAS,KAAK,IAAI;QAClB,WAAW,KAAK,SAAS;QACzB,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAC/B,WAAW,CAAC,UAAU,KAAK,SAAS;QACpC,2BAA2B,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,QAAQ;QAChE,yBAAyB,CAAC,SAAS,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAA2E;IAE3E,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QACvF,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QAC3B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,qCAAqC,CAAC,KAA0B,EAAE,IAAY;IACrF,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAChD,OAAO;QACT,CAAC;QACD,UAAU,GAAG,IAAI,CAAC;QAClB,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;QACpE,IAAI;YACF,SAAS,KAAK,IAAI;gBAClB,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC;gBAC/C,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAa,EAAE,IAAY;IACxD,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI,KAAK,IAAI;QAClB,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,SAA0B;IAC3D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,GAAG,GACP,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,OAAO,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAyB;IACpD,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,CACL,CAAC,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;QACxF,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACzF,CAAC;AACJ,CAAC"}

package/dist/src/rules/literal-boolean-leaf/literal-boolean-leaf.d.ts

@@ -0,0 +1,29 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { MaterialityPolicy } from "../../analysis/constants.js";
+interface LiteralBooleanLeafOptions {
+    branchCallSiteExists: boolean;
+    materiality: MaterialityPolicy;
+    hasCompanionWrites: boolean;
+    hasMemoizedOptionCommand: boolean;
+    hasReactiveMutationPath: boolean;
+    isCustomHookOwner: boolean;
+    localComponents: ReadonlySet<string>;
+    sourceComponents: ReadonlySet<string>;
+}
+export interface MultiSurfaceBooleanOptions {
+    hasCompanionWrites: boolean;
+    materiality: MaterialityPolicy;
+    hasReactiveMutationPath: boolean;
+    hasSafeCommands: boolean;
+    isCustomHookOwner: boolean;
+    pureProjectionImports: ReadonlySet<string>;
+}
+interface AdjacentEffectBooleanOptions extends MultiSurfaceBooleanOptions {
+    effectWritesAreDirect: boolean;
+}
+export declare function isLiteralBooleanLeafState(state: StateCandidate, usage: StateUsage, options: LiteralBooleanLeafOptions): boolean;
+export declare function isAdjacentEventBooleanLeafState(state: StateCandidate, usage: StateUsage, options: MultiSurfaceBooleanOptions): boolean;
+export declare function isAdjacentEffectBooleanLeafState(state: StateCandidate, usage: StateUsage, options: AdjacentEffectBooleanOptions): boolean;
+export declare function isMultiSurfaceLiteralBooleanState(state: StateCandidate, usage: StateUsage, options: MultiSurfaceBooleanOptions): boolean;
+export {};
+//# sourceMappingURL=literal-boolean-leaf.d.ts.map

package/dist/src/rules/literal-boolean-leaf/literal-boolean-leaf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal-boolean-leaf.d.ts","sourceRoot":"","sources":["../../../../src/rules/literal-boolean-leaf/literal-boolean-leaf.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAM1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAUrE,UAAU,yBAAyB;IACjC,oBAAoB,EAAE,OAAO,CAAC;IAC9B,WAAW,EAAE,iBAAiB,CAAC;IAC/B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,wBAAwB,EAAE,OAAO,CAAC;IAClC,uBAAuB,EAAE,OAAO,CAAC;IACjC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,0BAA0B;IACzC,kBAAkB,EAAE,OAAO,CAAC;IAC5B,WAAW,EAAE,iBAAiB,CAAC;IAC/B,uBAAuB,EAAE,OAAO,CAAC;IACjC,eAAe,EAAE,OAAO,CAAC;IACzB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5C;AAED,UAAU,4BAA6B,SAAQ,0BAA0B;IACvE,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,yBAAyB,GACjC,OAAO,CAiBT;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,0BAA0B,GAClC,OAAO,CAMT;AAED,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,4BAA4B,GACpC,OAAO,CAQT;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,0BAA0B,GAClC,OAAO,CAsBT"}

package/dist/src/rules/literal-boolean-leaf/literal-boolean-leaf.js

@@ -0,0 +1,111 @@
+import { MAX_CONDITIONAL_SURFACES, MAX_SURFACE_ELEMENT_SHARE, MIN_CONDITIONAL_SURFACES, conditionalPresentationSurfaces, isProportionateSurfaceSet, multiSurfaceTally, surfacesAreAdjacentSiblings, } from "./presentation-surfaces.js";
+import { isEventBooleanSetter, isLiteralBooleanSetter, isPureBooleanSetter, } from "./boolean-setters.js";
+import { hasStateInitializer } from "../deferred-reveal/deferred-reveal.js";
+import { isInsideJsxEventCallback } from "../state-proofs/event-roots.js";
+import { jsxElementCount } from "../state-proofs/jsx-subtrees.js";
+import ts from "typescript";
+import { visitSkippingNestedRuntimeFunctions } from "../../core/ast.js";
+const MIN_MULTI_SURFACE_RENDER_READS = 2;
+export function isLiteralBooleanLeafState(state, usage, options) {
+    const target = [...usage.valueTargets][0] ?? "";
+    return (!options.isCustomHookOwner &&
+        hasStateInitializer(state, ts.SyntaxKind.FalseKeyword) &&
+        jsxElementCount(state.owner) >= options.materiality.broadOwnerJsx &&
+        isSingleTargetTransportUsage(usage) &&
+        (options.localComponents.has(target) || options.sourceComponents.has(target)) &&
+        options.branchCallSiteExists &&
+        !options.hasCompanionWrites &&
+        !options.hasReactiveMutationPath &&
+        usage.setterCallNodes.every((call) => isLiteralBooleanSetter(call) &&
+            (isInsideJsxEventCallback(call, state.owner) || options.hasMemoizedOptionCommand)));
+}
+export function isAdjacentEventBooleanLeafState(state, usage, options) {
+    return (usage.effectWrites === 0 &&
+        usage.setterCallNodes.every((call) => isEventBooleanSetter(call, state)) &&
+        isAdjacentBooleanLeafState(state, usage, options));
+}
+export function isAdjacentEffectBooleanLeafState(state, usage, options) {
+    return (options.effectWritesAreDirect &&
+        usage.effectWrites > 0 &&
+        usage.effectWrites === usage.setterCalls &&
+        usage.setterCallNodes.every(isPureBooleanSetter) &&
+        isAdjacentBooleanLeafState(state, usage, options));
+}
+export function isMultiSurfaceLiteralBooleanState(state, usage, options) {
+    const ownerElements = jsxElementCount(state.owner);
+    if (options.isCustomHookOwner ||
+        !hasStateInitializer(state, ts.SyntaxKind.FalseKeyword) ||
+        ownerElements < options.materiality.broadOwnerJsx ||
+        directOwnerReturnCount(state.owner) !== 1 ||
+        usage.localRenderReads < MIN_MULTI_SURFACE_RENDER_READS ||
+        usage.effectWrites !== 0 ||
+        !isLocalRenderOnlyBooleanUsage(usage, options) ||
+        !usage.setterCallNodes.every(isLiteralBooleanSetter)) {
+        return false;
+    }
+    const tally = multiSurfaceTally(state, usage, options);
+    return (tally !== null &&
+        tally.surfaces >= MIN_CONDITIONAL_SURFACES &&
+        tally.surfaces <= MAX_CONDITIONAL_SURFACES &&
+        tally.conditionalSurfaces > 0 &&
+        tally.surfaceElements / ownerElements <= MAX_SURFACE_ELEMENT_SHARE);
+}
+function isAdjacentBooleanLeafState(state, usage, options) {
+    const ownerElements = jsxElementCount(state.owner);
+    if (options.isCustomHookOwner ||
+        !state.setterName ||
+        !hasStateInitializer(state, ts.SyntaxKind.FalseKeyword) ||
+        ownerElements < options.materiality.broadOwnerJsx ||
+        directOwnerReturnCount(state.owner) !== 1 ||
+        usage.localRenderReads === 0 ||
+        !isLocalRenderOnlyBooleanUsage(usage, options)) {
+        return false;
+    }
+    const surfaces = conditionalPresentationSurfaces(state, usage, options.pureProjectionImports);
+    if (!isProportionateSurfaceSet(surfaces, ownerElements)) {
+        return false;
+    }
+    return surfacesAreAdjacentSiblings([...surfaces.values()].map((surface) => surface.expression));
+}
+function isSingleTargetTransportUsage(usage) {
+    return (usage.localRenderReads === 0 &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads === 0 &&
+        usage.transportedOccurrences > 0 &&
+        usage.valueTransportSites.size === 1 &&
+        usage.valueTargets.size === 1 &&
+        !usage.repeatedValueTransport &&
+        usage.setterCallNodes.length > 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped);
+}
+function isLocalRenderOnlyBooleanUsage(usage, options) {
+    return (usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.deferredReads === 0 &&
+        usage.transportedOccurrences === 0 &&
+        !options.hasCompanionWrites &&
+        !options.hasReactiveMutationPath &&
+        options.hasSafeCommands &&
+        usage.setterCallNodes.length > 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped);
+}
+function directOwnerReturnCount(owner) {
+    if (!owner.body) {
+        return 0;
+    }
+    let returns = 0;
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (ts.isReturnStatement(node) && node.expression) {
+            returns += 1;
+        }
+    });
+    return returns;
+}
+//# sourceMappingURL=literal-boolean-leaf.js.map

package/dist/src/rules/literal-boolean-leaf/literal-boolean-leaf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal-boolean-leaf.js","sourceRoot":"","sources":["../../../../src/rules/literal-boolean-leaf/literal-boolean-leaf.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,+BAA+B,EAC/B,yBAAyB,EACzB,iBAAiB,EACjB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAExE,MAAM,8BAA8B,GAAG,CAAC,CAAC;AA0BzC,MAAM,UAAU,yBAAyB,CACvC,KAAqB,EACrB,KAAiB,EACjB,OAAkC;IAElC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,OAAO,CACL,CAAC,OAAO,CAAC,iBAAiB;QAC1B,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACtD,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,aAAa;QACjE,4BAA4B,CAAC,KAAK,CAAC;QACnC,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7E,OAAO,CAAC,oBAAoB;QAC5B,CAAC,OAAO,CAAC,kBAAkB;QAC3B,CAAC,OAAO,CAAC,uBAAuB;QAChC,KAAK,CAAC,eAAe,CAAC,KAAK,CACzB,CAAC,IAAI,EAAE,EAAE,CACP,sBAAsB,CAAC,IAAI,CAAC;YAC5B,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,wBAAwB,CAAC,CACpF,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,KAAqB,EACrB,KAAiB,EACjB,OAAmC;IAEnC,OAAO,CACL,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxE,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAClD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,KAAqB,EACrB,KAAiB,EACjB,OAAqC;IAErC,OAAO,CACL,OAAO,CAAC,qBAAqB;QAC7B,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,WAAW;QACxC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,mBAAmB,CAAC;QAChD,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAClD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,KAAqB,EACrB,KAAiB,EACjB,OAAmC;IAEnC,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,IACE,OAAO,CAAC,iBAAiB;QACzB,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACvD,aAAa,GAAG,OAAO,CAAC,WAAW,CAAC,aAAa;QACjD,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QACzC,KAAK,CAAC,gBAAgB,GAAG,8BAA8B;QACvD,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,CAAC,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC;QAC9C,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,sBAAsB,CAAC,EACpD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACvD,OAAO,CACL,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,QAAQ,IAAI,wBAAwB;QAC1C,KAAK,CAAC,QAAQ,IAAI,wBAAwB;QAC1C,KAAK,CAAC,mBAAmB,GAAG,CAAC;QAC7B,KAAK,CAAC,eAAe,GAAG,aAAa,IAAI,yBAAyB,CACnE,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAqB,EACrB,KAAiB,EACjB,OAAmC;IAEnC,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,IACE,OAAO,CAAC,iBAAiB;QACzB,CAAC,KAAK,CAAC,UAAU;QACjB,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACvD,aAAa,GAAG,OAAO,CAAC,WAAW,CAAC,aAAa;QACjD,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QACzC,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,CAAC,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,EAC9C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,+BAA+B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC9F,IAAI,CAAC,yBAAyB,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,2BAA2B,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAiB;IACrD,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,CAAC,KAAK,CAAC,sBAAsB;QAC7B,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO,CACf,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,KAAiB,EACjB,OAAmC;IAEnC,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,CAAC,OAAO,CAAC,kBAAkB;QAC3B,CAAC,OAAO,CAAC,uBAAuB;QAChC,OAAO,CAAC,eAAe;QACvB,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO,CACf,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA0B;IACxD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/src/rules/literal-boolean-leaf/presentation-surfaces.d.ts

@@ -0,0 +1,21 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { MultiSurfaceBooleanOptions } from "./literal-boolean-leaf.js";
+import ts from "typescript";
+export declare const MIN_CONDITIONAL_SURFACES = 2;
+export declare const MAX_CONDITIONAL_SURFACES = 6;
+export declare const MAX_SURFACE_ELEMENT_SHARE = 0.4;
+interface ConditionalPresentationSurface {
+    elements: number;
+    expression: ts.JsxExpression;
+}
+interface MultiSurfaceTally {
+    conditionalSurfaces: number;
+    surfaceElements: number;
+    surfaces: number;
+}
+export declare function isProportionateSurfaceSet(surfaces: ReadonlyMap<number, ConditionalPresentationSurface> | null, ownerElements: number): surfaces is ReadonlyMap<number, ConditionalPresentationSurface>;
+export declare function surfacesAreAdjacentSiblings(expressions: readonly ts.JsxExpression[]): boolean;
+export declare function multiSurfaceTally(state: StateCandidate, usage: StateUsage, options: MultiSurfaceBooleanOptions): MultiSurfaceTally | null;
+export declare function conditionalPresentationSurfaces(state: StateCandidate, usage: StateUsage, pureProjectionImports: ReadonlySet<string>): ReadonlyMap<number, ConditionalPresentationSurface> | null;
+export {};
+//# sourceMappingURL=presentation-surfaces.d.ts.map

package/dist/src/rules/literal-boolean-leaf/presentation-surfaces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"presentation-surfaces.d.ts","sourceRoot":"","sources":["../../../../src/rules/literal-boolean-leaf/presentation-surfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAM1E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAM5E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAI1C,eAAO,MAAM,yBAAyB,MAAM,CAAC;AAI7C,UAAU,8BAA8B;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC;CAC9B;AAQD,UAAU,iBAAiB;IACzB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,8BAA8B,CAAC,GAAG,IAAI,EACpE,aAAa,EAAE,MAAM,GACpB,QAAQ,IAAI,WAAW,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAajE;AAED,wBAAgB,2BAA2B,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,aAAa,EAAE,GAAG,OAAO,CAuB7F;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,0BAA0B,GAClC,iBAAiB,GAAG,IAAI,CAW1B;AAsCD,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,GACzC,WAAW,CAAC,MAAM,EAAE,8BAA8B,CAAC,GAAG,IAAI,CAW5D"}