@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-execution-navigation.js

@@ -0,0 +1,66 @@
+/* -------------------------------------------------------------------------- */
+/*          Scope and child navigation for Promise execution graphs.          */
+/* -------------------------------------------------------------------------- */
+import { scopesForChild, withNodeScope } from './effect-ast-scope.js';
+/**
+ * Generator execution decision for an invoked function.
+ *
+ * @internal
+ */
+export const generatorExecution = (node, shouldExecute) => {
+    if (Reflect.get(node, 'generator') !== true) {
+        return 0;
+    }
+    if (!shouldExecute) {
+        return -1;
+    }
+    if (Reflect.get(node, 'async') === true) {
+        return 1;
+    }
+    return 0;
+};
+/**
+ * Read the traversal scopes visible at a node.
+ *
+ * @internal
+ */
+export const nodeScopesFor = (state, node, scopes) => {
+    if (state.visitorKeys) {
+        return scopes;
+    }
+    return withNodeScope(scopes, node);
+};
+/**
+ * Read the traversal scopes visible through one child edge.
+ *
+ * @internal
+ */
+export const childScopesFor = (state, nodeScopes, node, key) => {
+    if (state.visitorKeys) {
+        return nodeScopes;
+    }
+    return scopesForChild(nodeScopes, node, key);
+};
+/**
+ * Read parser visitor keys with a reflected fallback.
+ *
+ * @internal
+ */
+export const childKeysFor = (state, node) => {
+    if (state.visitorKeys) {
+        return state.visitorKeys[node.type] ?? [];
+    }
+    return Object.keys(node);
+};
+/**
+ * Read the scopes visible in an invoked function body.
+ *
+ * @internal
+ */
+export const bodyScopesFor = (state, functionScopes, node) => {
+    if (state.visitorKeys) {
+        return functionScopes;
+    }
+    return scopesForChild(functionScopes, node, 'body');
+};
+//# sourceMappingURL=effect-promise-execution-navigation.js.map

package/dist/rules/effect-promise-execution-navigation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-navigation.js","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-navigation.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAKnE;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAE,aAAsB,EAAU,EAAE;IAClF,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAA4B,EAC5B,IAAa,EACb,MAAkB,EACN,EAAE;IACd,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAA4B,EAC5B,UAAsB,EACtB,IAAa,EACb,GAAW,EACC,EAAE;IACd,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,cAAc,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAA4B,EAAE,IAAa,EAAqB,EAAE;IAC7F,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAA4B,EAC5B,cAA0B,EAC1B,IAAa,EACD,EAAE;IACd,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,cAAc,CAAC,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC,CAAC"}

package/dist/rules/effect-promise-execution-types.d.ts

@@ -0,0 +1,36 @@
+import type { ASTNode } from './effect-ast';
+import type { HelperScopes } from './effect-promise-callable-types';
+import type { NativeGlobalCheck } from './effect-promise-collections';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * AST visitor-key table supplied by Oxlint when available.
+ *
+ * @internal
+ */
+export type PromiseVisitorKeys = Readonly<Record<string, readonly string[]>>;
+/**
+ * Inputs for one execution-aware callback analysis.
+ *
+ * @internal
+ */
+export interface PromiseExecutionInput {
+    functionNode: ASTNode;
+    helperScopes?: HelperScopes;
+    isBoundary: (node: ASTNode, scopes: ScopeStack) => boolean;
+    isNativeGlobal?: NativeGlobalCheck;
+    scopes: ScopeStack;
+    visitorKeys?: PromiseVisitorKeys;
+}
+/**
+ * Stable execution capabilities and recursion guards for one analysis.
+ *
+ * @internal
+ */
+export interface PromiseExecutionState {
+    activeBodies: WeakSet<object>;
+    activeDefaults: WeakSet<object>;
+    isBoundary: (node: ASTNode, scopes: ScopeStack) => boolean;
+    isNativeGlobal: NativeGlobalCheck;
+    visitorKeys: PromiseVisitorKeys | undefined;
+}
+//# sourceMappingURL=effect-promise-execution-types.d.ts.map

package/dist/rules/effect-promise-execution-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-types.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-types.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,OAAO,CAAC;IACtB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,UAAU,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,KAAK,OAAO,CAAC;IAC3D,cAAc,CAAC,EAAE,iBAAiB,CAAC;IACnC,MAAM,EAAE,UAAU,CAAC;IACnB,WAAW,CAAC,EAAE,kBAAkB,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAChC,UAAU,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,KAAK,OAAO,CAAC;IAC3D,cAAc,EAAE,iBAAiB,CAAC;IAClC,WAAW,EAAE,kBAAkB,GAAG,SAAS,CAAC;CAC7C"}

package/dist/rules/effect-promise-execution-types.js

@@ -0,0 +1,5 @@
+/* -------------------------------------------------------------------------- */
+/*                 Inputs for Promise execution AST analysis.                 */
+/* -------------------------------------------------------------------------- */
+export {};
+//# sourceMappingURL=effect-promise-execution-types.js.map

package/dist/rules/effect-promise-execution-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-types.js","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-types.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF"}

package/dist/rules/effect-promise-execution-values.d.ts

@@ -0,0 +1,40 @@
+import type { ArgumentValue, ExecutionArguments, ParameterEnvironments } from './effect-promise-environment-types';
+import type { FunctionBinding, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * One active function invocation used for exact recursion detection.
+ *
+ * @internal
+ */
+export interface InvocationFrame {
+    argumentsList: ExecutionArguments;
+    binding: FunctionBinding;
+    environments: ParameterEnvironments;
+    executeGeneratorBody: boolean;
+}
+/**
+ * Compare invocation arguments by concrete AST and normalized closure values.
+ *
+ * @internal
+ */
+export declare const sameExecutionArguments: (left: ExecutionArguments, right: ExecutionArguments) => boolean;
+/**
+ * Compare captured environments after removing overwritten outer bindings.
+ *
+ * @internal
+ */
+export declare const sameCapturedEnvironments: (left: ParameterEnvironments, right: ParameterEnvironments) => boolean;
+/**
+ * Resolve one already evaluated abstract value to exact truthiness when possible.
+ *
+ * @internal
+ */
+export declare const knownArgumentBooleanValue: (value: ArgumentValue, fallbackScopes: ScopeStack) => boolean | undefined;
+/**
+ * Resolve an expression to a provable runtime boolean when possible.
+ *
+ * @internal
+ */
+export declare const knownBooleanValue: (node: ASTNode | undefined, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => boolean | undefined;
+//# sourceMappingURL=effect-promise-execution-values.d.ts.map

package/dist/rules/effect-promise-execution-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-values.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-values.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,aAAa,EAEb,kBAAkB,EAClB,qBAAqB,EACtB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAMrF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAiBrD;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,kBAAkB,CAAC;IAClC,OAAO,EAAE,eAAe,CAAC;IACzB,YAAY,EAAE,qBAAqB,CAAC;IACpC,oBAAoB,EAAE,OAAO,CAAC;CAC/B;AAkFD;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,kBAAkB,EACxB,OAAO,kBAAkB,KACxB,OAWF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,qBAAqB,EAC3B,OAAO,qBAAqB,KAC3B,OAAqE,CAAC;AA0NzE;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,OAAO,aAAa,EACpB,gBAAgB,UAAU,KACzB,OAAO,GAAG,SAMZ,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,GAAG,SAAS,EACzB,QAAQ,UAAU,EAClB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,OAAO,GAAG,SAGZ,CAAC"}

package/dist/rules/effect-promise-execution-values.js

@@ -0,0 +1,268 @@
+/* -------------------------------------------------------------------------- */
+/*       Abstract-value comparisons for Promise execution graph cycles.       */
+/* -------------------------------------------------------------------------- */
+import { boundArgument, concreteArgument, isUndefinedArgument, } from './effect-promise-environment-values.js';
+import { childNode } from './effect-ast.js';
+import { unknownArgument } from './effect-promise-environment-types.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const TRUTHY_EXPRESSION_TYPES = new Set([
+    'ArrayExpression',
+    'ArrowFunctionExpression',
+    'ClassExpression',
+    'FunctionExpression',
+    'ObjectExpression',
+]);
+const wasCompared = (left, right, state) => {
+    const rights = state.compared.get(left);
+    if (rights?.has(right)) {
+        return true;
+    }
+    if (rights) {
+        rights.add(right);
+    }
+    else {
+        state.compared.set(left, new WeakSet([right]));
+    }
+    return false;
+};
+const visibleValues = (environments) => {
+    const values = new Map();
+    for (let index = environments.length - 1; index >= 0; index -= 1) {
+        for (const [name, value] of environments[index]?.values ?? []) {
+            if (!values.has(name)) {
+                values.set(name, value);
+            }
+        }
+    }
+    return values;
+};
+const sameBoundArgument = (left, right, state) => {
+    if (left.node !== right.node) {
+        return false;
+    }
+    if (left.environments === right.environments || wasCompared(left, right, state)) {
+        return true;
+    }
+    return sameEnvironments(left.environments, right.environments, state);
+};
+const sameArgument = (left, right, state) => {
+    if (left === right) {
+        return true;
+    }
+    if (!left || !right || left === unknownArgument || right === unknownArgument) {
+        return false;
+    }
+    return sameBoundArgument(left, right, state);
+};
+const sameVisibleValues = (left, right, state) => {
+    if (left.size !== right.size) {
+        return false;
+    }
+    for (const [name, value] of left) {
+        if (!right.has(name) || !sameArgument(value, right.get(name), state)) {
+            return false;
+        }
+    }
+    return true;
+};
+const sameEnvironments = (left, right, state) => {
+    if (left === right) {
+        return true;
+    }
+    return sameVisibleValues(visibleValues(left), visibleValues(right), state);
+};
+/**
+ * Compare invocation arguments by concrete AST and normalized closure values.
+ *
+ * @internal
+ */
+export const sameExecutionArguments = (left, right) => {
+    if (left.isExact !== right.isExact || left.values.length !== right.values.length) {
+        return false;
+    }
+    const state = { compared: new WeakMap() };
+    for (let index = 0; index < left.values.length; index += 1) {
+        if (!sameArgument(left.values[index], right.values[index], state)) {
+            return false;
+        }
+    }
+    return true;
+};
+/**
+ * Compare captured environments after removing overwritten outer bindings.
+ *
+ * @internal
+ */
+export const sameCapturedEnvironments = (left, right) => sameEnvironments(left, right, { compared: new WeakMap() });
+const literalTruthiness = (expression) => {
+    if (expression?.type !== 'Literal') {
+        return undefined;
+    }
+    const literal = Reflect.get(expression, 'value');
+    if (literal === null) {
+        return false;
+    }
+    if (typeof literal === 'boolean' ||
+        typeof literal === 'number' ||
+        typeof literal === 'string' ||
+        typeof literal === 'bigint') {
+        return Boolean(literal);
+    }
+    return undefined;
+};
+const structuralTruthiness = (expression) => {
+    if (expression && TRUTHY_EXPRESSION_TYPES.has(expression.type)) {
+        return true;
+    }
+    return undefined;
+};
+const isShadowed = (name, scopes) => {
+    for (let index = scopes.length - 1; index >= 0; index -= 1) {
+        if (scopes[index]?.has(name)) {
+            return true;
+        }
+    }
+    return false;
+};
+const globalNumericTruthiness = (expression, scopes) => {
+    if (expression?.type !== 'Identifier') {
+        return undefined;
+    }
+    const name = Reflect.get(expression, 'name');
+    if (name === 'NaN' && !isShadowed('NaN', scopes)) {
+        return false;
+    }
+    if (name === 'Infinity' && !isShadowed('Infinity', scopes)) {
+        return true;
+    }
+    return undefined;
+};
+const literalNumber = (expression) => {
+    if (expression?.type !== 'Literal') {
+        return undefined;
+    }
+    const value = Reflect.get(expression, 'value');
+    if (value === null ||
+        typeof value === 'boolean' ||
+        typeof value === 'number' ||
+        typeof value === 'string') {
+        return { value: Number(value) };
+    }
+    return undefined;
+};
+const globalNumber = (expression, scopes) => {
+    if (expression?.type !== 'Identifier') {
+        return undefined;
+    }
+    const name = Reflect.get(expression, 'name');
+    if (name === 'NaN' && !isShadowed('NaN', scopes)) {
+        return { value: Number.NaN };
+    }
+    if (name === 'Infinity' && !isShadowed('Infinity', scopes)) {
+        return { value: Number.POSITIVE_INFINITY };
+    }
+    return undefined;
+};
+const transformedNumber = (operator, operand) => {
+    if (!operand) {
+        return undefined;
+    }
+    if (operator === '+') {
+        return operand;
+    }
+    if (operator === '-') {
+        return { value: -operand.value };
+    }
+    if (operator === '~') {
+        return { value: ~operand.value };
+    }
+    return undefined;
+};
+const concreteNumericValue = (concrete) => {
+    const expression = unwrappedExpression(concrete.node);
+    const direct = literalNumber(expression) ?? globalNumber(expression, concrete.scopes);
+    if (direct || expression?.type !== 'UnaryExpression') {
+        return direct;
+    }
+    const operand = knownNumericValue(childNode(expression, 'argument'), concrete.scopes, concrete.helperScopes, concrete.environments);
+    return transformedNumber(Reflect.get(expression, 'operator'), operand);
+};
+const knownNumericValue = (node, scopes, helperScopes, environments) => {
+    const concrete = concreteArgument(boundArgument(node, scopes, helperScopes, environments));
+    if (concrete) {
+        return concreteNumericValue(concrete);
+    }
+    return undefined;
+};
+const negatedTruthiness = (argument, concrete) => {
+    const operand = knownBooleanValue(argument, concrete.scopes, concrete.helperScopes, concrete.environments);
+    if (operand !== undefined) {
+        return !operand;
+    }
+    return undefined;
+};
+const unaryTruthiness = (expression, concrete) => {
+    if (expression?.type !== 'UnaryExpression') {
+        return undefined;
+    }
+    const argument = childNode(expression, 'argument');
+    const operator = Reflect.get(expression, 'operator');
+    if (operator === '!') {
+        return negatedTruthiness(argument, concrete);
+    }
+    if (operator === 'void') {
+        return false;
+    }
+    return unaryNumericTruthiness(expression, concrete);
+};
+const unaryNumericTruthiness = (expression, concrete) => {
+    const numeric = knownNumericValue(expression, concrete.scopes, concrete.helperScopes, concrete.environments);
+    if (numeric) {
+        return Boolean(numeric.value);
+    }
+    return undefined;
+};
+const directTruthiness = (expression, scopes) => {
+    const literal = literalTruthiness(expression);
+    if (literal !== undefined) {
+        return literal;
+    }
+    return globalNumericTruthiness(expression, scopes);
+};
+const concreteTruthiness = (concrete, fallbackScopes) => {
+    const expression = unwrappedExpression(concrete?.node);
+    const scopes = concrete?.scopes ?? fallbackScopes;
+    const direct = directTruthiness(expression, scopes);
+    if (direct !== undefined) {
+        return direct;
+    }
+    if (concrete) {
+        const unary = unaryTruthiness(expression, concrete);
+        if (unary !== undefined) {
+            return unary;
+        }
+    }
+    return structuralTruthiness(expression);
+};
+/**
+ * Resolve one already evaluated abstract value to exact truthiness when possible.
+ *
+ * @internal
+ */
+export const knownArgumentBooleanValue = (value, fallbackScopes) => {
+    if (isUndefinedArgument(value)) {
+        return false;
+    }
+    const concrete = concreteArgument(value);
+    return concreteTruthiness(concrete, fallbackScopes);
+};
+/**
+ * Resolve an expression to a provable runtime boolean when possible.
+ *
+ * @internal
+ */
+export const knownBooleanValue = (node, scopes, helperScopes, environments) => {
+    const value = boundArgument(node, scopes, helperScopes, environments);
+    return knownArgumentBooleanValue(value, scopes);
+};
+//# sourceMappingURL=effect-promise-execution-values.js.map

package/dist/rules/effect-promise-execution-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-values.js","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-values.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAShF,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,qCAAqC,CAAC;AAG7C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAMnE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,iBAAiB;IACjB,yBAAyB;IACzB,iBAAiB;IACjB,oBAAoB;IACpB,kBAAkB;CACnB,CAAC,CAAC;AAcH,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,KAAsB,EAAW,EAAE;IACnF,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,YAAmC,EAA8B,EAAE;IACxF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,KAAK,IAAI,KAAK,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAmB,EACnB,KAAoB,EACpB,KAAsB,EACb,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAAmB,EACnB,KAAoB,EACpB,KAAsB,EACb,EAAE;IACX,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,eAAe,IAAI,KAAK,KAAK,eAAe,EAAE,CAAC;QAC7E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAwC,EACxC,KAAyC,EACzC,KAAsB,EACb,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YACrE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA2B,EAC3B,KAA4B,EAC5B,KAAsB,EACb,EAAE;IACX,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,iBAAiB,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,KAAyB,EAChB,EAAE;IACX,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACjF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAoB,EAAE,QAAQ,EAAE,IAAI,OAAO,EAAE,EAAE,CAAC;IAC3D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YAClE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA2B,EAC3B,KAA4B,EACnB,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,OAAO,EAAE,EAAE,CAAC,CAAC;AAEzE,MAAM,iBAAiB,GAAG,CAAC,UAA+B,EAAuB,EAAE;IACjF,IAAI,UAAU,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,OAAO,OAAO,KAAK,SAAS;QAC5B,OAAO,OAAO,KAAK,QAAQ;QAC3B,OAAO,OAAO,KAAK,QAAQ;QAC3B,OAAO,OAAO,KAAK,QAAQ,EAC3B,CAAC;QACD,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,UAA+B,EAAuB,EAAE;IACpF,IAAI,UAAU,IAAI,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAW,EAAE;IAC/D,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,UAA+B,EAC/B,MAAkB,EACG,EAAE;IACvB,IAAI,UAAU,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAMF,MAAM,aAAa,GAAG,CAAC,UAA+B,EAA2B,EAAE;IACjF,IAAI,UAAU,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxD,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,SAAS;QAC1B,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ,EACzB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,UAA+B,EAC/B,MAAkB,EACO,EAAE;IAC3B,IAAI,UAAU,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC;IAC7C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,QAAiB,EACjB,OAAgC,EACP,EAAE;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACnC,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,QAAuB,EAA2B,EAAE;IAChF,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtF,IAAI,MAAM,IAAI,UAAU,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAC/B,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,EACjC,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,YAAY,EACrB,QAAQ,CAAC,YAAY,CACtB,CAAC;IACF,OAAO,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAyB,EACzB,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACV,EAAE;IAC3B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;IAC3F,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,QAA6B,EAC7B,QAAuB,EACF,EAAE;IACvB,MAAM,OAAO,GAAG,iBAAiB,CAC/B,QAAQ,EACR,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,YAAY,EACrB,QAAQ,CAAC,YAAY,CACtB,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CAAC,OAAO,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,UAA+B,EAC/B,QAAuB,EACF,EAAE;IACvB,IAAI,UAAU,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,sBAAsB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,UAAmB,EACnB,QAAuB,EACF,EAAE;IACvB,MAAM,OAAO,GAAG,iBAAiB,CAC/B,UAAU,EACV,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,YAAY,EACrB,QAAQ,CAAC,YAAY,CACtB,CAAC;IACF,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,UAA+B,EAC/B,MAAkB,EACG,EAAE;IACvB,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,uBAAuB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,QAAmC,EACnC,cAA0B,EACL,EAAE;IACvB,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,QAAQ,EAAE,MAAM,IAAI,cAAc,CAAC;IAClD,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QACpD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAoB,EACpB,cAA0B,EACL,EAAE;IACvB,IAAI,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,kBAAkB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAyB,EACzB,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACd,EAAE;IACvB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACtE,OAAO,yBAAyB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC,CAAC"}

package/dist/rules/effect-promise-expression-flow.d.ts

@@ -0,0 +1,27 @@
+import type { ASTNode } from './effect-ast';
+import type { HelperScopes } from './effect-promise-callable-types';
+import type { ParameterEnvironments } from './effect-promise-environment-types';
+import type { PromiseEvaluation } from './effect-promise-completion';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Visitor capability used by exact expression flow.
+ *
+ * @internal
+ */
+export interface PromiseExpressionVisitor {
+    visit: (node: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseEvaluation;
+}
+interface PromiseExpressionInput {
+    environments: ParameterEnvironments;
+    helperScopes: HelperScopes;
+    node: ASTNode;
+    scopes: ScopeStack;
+}
+/**
+ * Evaluate an exact conditional/logical expression, or decline unsupported nodes.
+ *
+ * @internal
+ */
+export declare const visitPromiseControlExpression: (visitor: PromiseExpressionVisitor, input: PromiseExpressionInput) => PromiseEvaluation | undefined;
+export {};
+//# sourceMappingURL=effect-promise-expression-flow.d.ts.map

package/dist/rules/effect-promise-expression-flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-expression-flow.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-expression-flow.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAIrD;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,CACL,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,UAAU,EAClB,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,qBAAqB,KAChC,iBAAiB,CAAC;CACxB;AAED,UAAU,sBAAsB;IAC9B,YAAY,EAAE,qBAAqB,CAAC;IACpC,YAAY,EAAE,YAAY,CAAC;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,UAAU,CAAC;CACpB;AAwFD;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GACxC,SAAS,wBAAwB,EACjC,OAAO,sBAAsB,KAC5B,iBAAiB,GAAG,SAQtB,CAAC"}

package/dist/rules/effect-promise-expression-flow.js

@@ -0,0 +1,80 @@
+/* -------------------------------------------------------------------------- */
+/*      Exact logical and conditional flow for Promise execution graphs.      */
+/* -------------------------------------------------------------------------- */
+import { COMPLETION_NORMAL, NORMAL_EVALUATION, joinPromiseEnvironments, joinPromiseEvaluations, restorePromiseEnvironments, snapshotPromiseEnvironments, } from './effect-promise-completion.js';
+import { childNode } from './effect-ast.js';
+import { knownArgumentBooleanValue } from './effect-promise-execution-values.js';
+const visitOptionalChild = (visitor, input, key) => {
+    const child = childNode(input.node, key);
+    if (!child) {
+        return NORMAL_EVALUATION;
+    }
+    return visitor.visit(child, input.scopes, input.helperScopes, input.environments);
+};
+const visitUnknownConditional = (visitor, input) => {
+    const baseline = snapshotPromiseEnvironments(input.environments);
+    const consequent = visitOptionalChild(visitor, input, 'consequent');
+    const consequentValues = snapshotPromiseEnvironments(input.environments);
+    restorePromiseEnvironments(input.environments, baseline);
+    const alternate = visitOptionalChild(visitor, input, 'alternate');
+    const alternateValues = snapshotPromiseEnvironments(input.environments);
+    joinPromiseEnvironments(input.environments, consequentValues, alternateValues);
+    return joinPromiseEvaluations(consequent, alternate);
+};
+const visitConditional = (visitor, input) => {
+    const test = childNode(input.node, 'test');
+    const testResult = visitConditionalTest(visitor, input, test);
+    if (testResult.completion !== COMPLETION_NORMAL) {
+        return testResult;
+    }
+    const known = knownArgumentBooleanValue(testResult.value, input.scopes);
+    if (known === undefined) {
+        return visitUnknownConditional(visitor, input);
+    }
+    return visitOptionalChild(visitor, input, selectedConditionalKey(known));
+};
+const visitConditionalTest = (visitor, input, test) => {
+    if (!test) {
+        return NORMAL_EVALUATION;
+    }
+    return visitor.visit(test, input.scopes, input.helperScopes, input.environments);
+};
+const selectedConditionalKey = (known) => {
+    if (known) {
+        return 'consequent';
+    }
+    return 'alternate';
+};
+const shouldSkipLogicalRight = (operator, known) => (operator === '&&' && !known) || (operator === '||' && known);
+const visitLogical = (visitor, input) => {
+    const left = childNode(input.node, 'left');
+    let leftResult = NORMAL_EVALUATION;
+    if (left) {
+        leftResult = visitor.visit(left, input.scopes, input.helperScopes, input.environments);
+        if (leftResult.completion !== COMPLETION_NORMAL) {
+            return leftResult;
+        }
+    }
+    const known = knownArgumentBooleanValue(leftResult.value, input.scopes);
+    if (known === undefined || shouldSkipLogicalRight(Reflect.get(input.node, 'operator'), known)) {
+        return leftResult;
+    }
+    return visitOptionalChild(visitor, input, 'right');
+};
+const isSupportedLogical = (node) => node.type === 'LogicalExpression' &&
+    (Reflect.get(node, 'operator') === '&&' || Reflect.get(node, 'operator') === '||');
+/**
+ * Evaluate an exact conditional/logical expression, or decline unsupported nodes.
+ *
+ * @internal
+ */
+export const visitPromiseControlExpression = (visitor, input) => {
+    if (input.node.type === 'ConditionalExpression') {
+        return visitConditional(visitor, input);
+    }
+    if (isSupportedLogical(input.node)) {
+        return visitLogical(visitor, input);
+    }
+    return undefined;
+};
+//# sourceMappingURL=effect-promise-expression-flow.js.map

package/dist/rules/effect-promise-expression-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-expression-flow.js","sourceRoot":"","sources":["../../src/rules/effect-promise-expression-flow.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,sBAAsB,EACtB,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,6BAA6B,CAAC;AAMrC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAuB9E,MAAM,kBAAkB,GAAG,CACzB,OAAiC,EACjC,KAA6B,EAC7B,GAAW,EACQ,EAAE;IACrB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;AACpF,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,OAAiC,EACjC,KAA6B,EACV,EAAE;IACrB,MAAM,QAAQ,GAAG,2BAA2B,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACzE,0BAA0B,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,2BAA2B,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACxE,uBAAuB,CAAC,KAAK,CAAC,YAAY,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAC;IAC/E,OAAO,sBAAsB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,OAAiC,EACjC,KAA6B,EACV,EAAE;IACrB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9D,IAAI,UAAU,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAChD,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAiC,EACjC,KAA6B,EAC7B,IAAyB,EACN,EAAE;IACrB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;AACnF,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,KAAc,EAAU,EAAE;IACxD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,QAAiB,EAAE,KAAc,EAAW,EAAE,CAC5E,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC;AAEhE,MAAM,YAAY,GAAG,CACnB,OAAiC,EACjC,KAA6B,EACV,EAAE;IACrB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,UAAU,GAAG,iBAAiB,CAAC;IACnC,IAAI,IAAI,EAAE,CAAC;QACT,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QACvF,IAAI,UAAU,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAChD,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,SAAS,IAAI,sBAAsB,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9F,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAW,EAAE,CACpD,IAAI,CAAC,IAAI,KAAK,mBAAmB;IACjC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,CAAC,CAAC;AAErF;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,OAAiC,EACjC,KAA6B,EACE,EAAE;IACjC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAChD,OAAO,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/rules/effect-promise-invocation-memo.d.ts

@@ -0,0 +1,16 @@
+import type { ExecutionArguments, ParameterEnvironments } from './effect-promise-environment-types';
+import type { FunctionBinding } from './effect-promise-callable-types';
+import type { PromiseEvaluation } from './effect-promise-completion';
+/**
+ * Cache only terminal unsafe results for provably stateless invocations.
+ *
+ * @internal
+ */
+export declare class PromiseInvocationMemo {
+    readonly ordinaryUnsafe: WeakSet<object>;
+    readonly generatorUnsafe: WeakSet<object>;
+    completedSet(executeGeneratorBody: boolean): WeakSet<object>;
+    hasUnsafe(binding: FunctionBinding, argumentsList: ExecutionArguments, environments: ParameterEnvironments, executeGeneratorBody: boolean): boolean;
+    complete(binding: FunctionBinding, argumentsList: ExecutionArguments, environments: ParameterEnvironments, executeGeneratorBody: boolean, result: PromiseEvaluation): PromiseEvaluation;
+}
+//# sourceMappingURL=effect-promise-invocation-memo.d.ts.map

package/dist/rules/effect-promise-invocation-memo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-invocation-memo.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-invocation-memo.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAEpG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAiBrE;;;;GAIG;AACH,qBAAa,qBAAqB;IAChC,QAAQ,CAAC,cAAc,kBAAiB;IAExC,QAAQ,CAAC,eAAe,kBAAiB;IAEzC,YAAY,CAAC,oBAAoB,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAO5D,SAAS,CACP,OAAO,EAAE,eAAe,EACxB,aAAa,EAAE,kBAAkB,EACjC,YAAY,EAAE,qBAAqB,EACnC,oBAAoB,EAAE,OAAO,GAC5B,OAAO;IAOV,QAAQ,CACN,OAAO,EAAE,eAAe,EACxB,aAAa,EAAE,kBAAkB,EACjC,YAAY,EAAE,qBAAqB,EACnC,oBAAoB,EAAE,OAAO,EAC7B,MAAM,EAAE,iBAAiB,GACxB,iBAAiB;CASrB"}

package/dist/rules/effect-promise-invocation-memo.js

@@ -0,0 +1,44 @@
+/* -------------------------------------------------------------------------- */
+/*       Exact terminal memo for stateless Promise helper invocations.        */
+/* -------------------------------------------------------------------------- */
+import { COMPLETION_UNSAFE } from './effect-promise-completion.js';
+const isStatelessInvocation = (argumentsList, environments) => {
+    if (!argumentsList.isExact || argumentsList.values.length > 0) {
+        return false;
+    }
+    for (const environment of environments) {
+        if (environment.values.size > 0) {
+            return false;
+        }
+    }
+    return true;
+};
+/**
+ * Cache only terminal unsafe results for provably stateless invocations.
+ *
+ * @internal
+ */
+export class PromiseInvocationMemo {
+    ordinaryUnsafe = new WeakSet();
+    generatorUnsafe = new WeakSet();
+    completedSet(executeGeneratorBody) {
+        if (executeGeneratorBody) {
+            return this.generatorUnsafe;
+        }
+        return this.ordinaryUnsafe;
+    }
+    hasUnsafe(binding, argumentsList, environments, executeGeneratorBody) {
+        if (!isStatelessInvocation(argumentsList, environments)) {
+            return false;
+        }
+        return this.completedSet(executeGeneratorBody).has(binding.node);
+    }
+    complete(binding, argumentsList, environments, executeGeneratorBody, result) {
+        if (result.completion === COMPLETION_UNSAFE &&
+            isStatelessInvocation(argumentsList, environments)) {
+            this.completedSet(executeGeneratorBody).add(binding.node);
+        }
+        return result;
+    }
+}
+//# sourceMappingURL=effect-promise-invocation-memo.js.map

package/dist/rules/effect-promise-invocation-memo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-invocation-memo.js","sourceRoot":"","sources":["../../src/rules/effect-promise-invocation-memo.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAIhE,MAAM,qBAAqB,GAAG,CAC5B,aAAiC,EACjC,YAAmC,EAC1B,EAAE;IACX,IAAI,CAAC,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,OAAO,qBAAqB;IACvB,cAAc,GAAG,IAAI,OAAO,EAAE,CAAC;IAE/B,eAAe,GAAG,IAAI,OAAO,EAAE,CAAC;IAEzC,YAAY,CAAC,oBAA6B;QACxC,IAAI,oBAAoB,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,eAAe,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC,cAAc,CAAC;IAC7B,CAAC;IAED,SAAS,CACP,OAAwB,EACxB,aAAiC,EACjC,YAAmC,EACnC,oBAA6B;QAE7B,IAAI,CAAC,qBAAqB,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;YACxD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IAED,QAAQ,CACN,OAAwB,EACxB,aAAiC,EACjC,YAAmC,EACnC,oBAA6B,EAC7B,MAAyB;QAEzB,IACE,MAAM,CAAC,UAAU,KAAK,iBAAiB;YACvC,qBAAqB,CAAC,aAAa,EAAE,YAAY,CAAC,EAClD,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}