@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-recursion-execution.js

@@ -0,0 +1,312 @@
+/* -------------------------------------------------------------------------- */
+/*    Same-phase execution analysis for eager recursive Effect functions.     */
+/* -------------------------------------------------------------------------- */
+import { asNode, childNode, childNodes, identifierName } from './effect-ast.js';
+import { effectCallAPIName, isFunctionNode, isShadowed, unwrappedExpression, } from './effect-boundary-ast-shared.js';
+import { localScopesForNode, resolveLocalTarget as resolveLocalBindingTarget, } from './effect-recursion-local-bindings.js';
+import { scopesForChild, withNodeScope } from './effect-ast-scope.js';
+import { scanEagerGeneratorPrefix } from './effect-recursion-generator.js';
+import { selectedEagerCallback } from './effect-recursion-viability.js';
+const suppliedArgument = {
+    count: 1,
+    isKnown: true,
+    values: [],
+};
+const parameterScopes = (scopes, node) => withNodeScope(scopes, {
+    params: childNodes(node, 'params'),
+    type: 'ArrowFunctionExpression',
+});
+const memberName = (node) => {
+    const member = unwrappedExpression(node);
+    if (member?.type !== 'MemberExpression' || Reflect.get(member, 'computed') === true) {
+        return undefined;
+    }
+    return identifierName(childNode(member, 'property'));
+};
+const directCalledExpression = (node) => {
+    if (node.type !== 'CallExpression') {
+        return undefined;
+    }
+    const callee = unwrappedExpression(childNode(node, 'callee'));
+    if (isFunctionNode(callee)) {
+        return callee;
+    }
+    if (callee && (memberName(callee) === 'call' || memberName(callee) === 'apply')) {
+        return unwrappedExpression(childNode(callee, 'object'));
+    }
+    return undefined;
+};
+const boundCall = (node) => {
+    const bindCall = unwrappedExpression(childNode(node, 'callee'));
+    if (bindCall?.type !== 'CallExpression') {
+        return undefined;
+    }
+    const bindMember = unwrappedExpression(childNode(bindCall, 'callee'));
+    if (memberName(bindMember) !== 'bind') {
+        return undefined;
+    }
+    return bindCall;
+};
+const calledExpression = (node) => {
+    const direct = directCalledExpression(node);
+    if (direct) {
+        return direct;
+    }
+    const bindCall = boundCall(node);
+    const bindMember = bindCall && unwrappedExpression(childNode(bindCall, 'callee'));
+    if (bindMember) {
+        return unwrappedExpression(childNode(bindMember, 'object'));
+    }
+    return undefined;
+};
+const calledIdentifier = (node) => {
+    const callee = unwrappedExpression(childNode(node, 'callee'));
+    if (identifierName(callee)) {
+        return callee;
+    }
+    if (callee && (memberName(callee) === 'call' || memberName(callee) === 'apply')) {
+        return childNode(callee, 'object');
+    }
+    const bindCall = boundCall(node);
+    const bindMember = bindCall && unwrappedExpression(childNode(bindCall, 'callee'));
+    if (bindMember) {
+        return childNode(bindMember, 'object');
+    }
+    return undefined;
+};
+const inputForLocalScopes = (input, localScopes) => {
+    if (localScopes === input.localScopes) {
+        return input;
+    }
+    return { ...input, localScopes };
+};
+const resolveLocalTarget = (name, input) => resolveLocalBindingTarget(name, input.functionName, input.localScopes);
+const invocationTarget = (node, scopes, input) => {
+    const expression = calledExpression(node);
+    if (isFunctionNode(expression)) {
+        return { functionNode: expression, isSelfCall: false };
+    }
+    const name = identifierName(calledIdentifier(node));
+    if (!name) {
+        return undefined;
+    }
+    const target = resolveLocalTarget(name, input);
+    if (target?.isSelfCall && isShadowed(input.functionName, scopes)) {
+        return undefined;
+    }
+    return target;
+};
+const isUndefinedArgument = (node) => identifierName(node) === 'undefined' ||
+    (node?.type === 'UnaryExpression' && Reflect.get(node, 'operator') === 'void');
+const ordinaryArguments = (node) => {
+    const values = childNodes(node, 'arguments');
+    return { count: values.length, isKnown: true, values };
+};
+const appliedArguments = (node) => {
+    const values = childNodes(node, 'arguments');
+    const [, applied] = values;
+    if (applied?.type !== 'ArrayExpression') {
+        return { count: 0, isKnown: false, values: [] };
+    }
+    const elements = childNodes(applied, 'elements');
+    return { count: elements.length, isKnown: true, values: elements };
+};
+const boundArguments = (node, bindCall) => {
+    const bindArguments = childNodes(bindCall, 'arguments').slice(1);
+    const callArguments = childNodes(node, 'arguments');
+    const values = [...bindArguments, ...callArguments];
+    return { count: values.length, isKnown: true, values };
+};
+const invocationArguments = (node) => {
+    const callee = unwrappedExpression(childNode(node, 'callee'));
+    if (memberName(callee) === 'apply') {
+        return appliedArguments(node);
+    }
+    if (memberName(callee) === 'call') {
+        const values = childNodes(node, 'arguments').slice(1);
+        return { count: values.length, isKnown: true, values };
+    }
+    const bindCall = boundCall(node);
+    if (bindCall) {
+        return boundArguments(node, bindCall);
+    }
+    return ordinaryArguments(node);
+};
+const scanChildValue = (value, scopes, input) => {
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            scanChildValue(item, scopes, input);
+        }
+        return;
+    }
+    const child = asNode(value);
+    if (child) {
+        scanRecursiveNode(child, scopes, input);
+    }
+};
+const scanRecursiveChildren = (node, scopes, input) => {
+    for (const [key, value] of Object.entries(node)) {
+        if (key !== 'parent') {
+            scanChildValue(value, scopesForChild(scopes, node, key), input);
+        }
+    }
+};
+const shouldExecuteDefault = (index, argumentsValue) => {
+    if (!argumentsValue) {
+        return true;
+    }
+    return (argumentsValue.isKnown &&
+        (index >= argumentsValue.count || isUndefinedArgument(argumentsValue.values[index])));
+};
+const markDefaultExecuted = (node, index, input) => {
+    const executed = input.executedDefaults.get(node) ?? new Set();
+    if (executed.has(index)) {
+        return false;
+    }
+    executed.add(index);
+    input.executedDefaults.set(node, executed);
+    return true;
+};
+const scanDefaultAt = (node, index, scopes, input, argumentsValue) => {
+    if (node.type !== 'AssignmentPattern') {
+        return;
+    }
+    if (!shouldExecuteDefault(index, argumentsValue) || !markDefaultExecuted(node, index, input)) {
+        return;
+    }
+    const defaultValue = childNode(node, 'right');
+    if (defaultValue) {
+        scanRecursiveNode(defaultValue, scopes, input);
+    }
+};
+const scanFunctionDefaults = (node, scopes, input, argumentsValue) => {
+    const parameters = childNodes(node, 'params');
+    for (let index = 0; index < parameters.length; index += 1) {
+        const parameter = parameters[index];
+        if (parameter) {
+            scanDefaultAt(parameter, index, scopes, input, argumentsValue);
+        }
+    }
+};
+const scanEagerGeneratorBody = (body, scopes, input) => {
+    const localScopes = localScopesForNode(body, input.localScopes, input.localScopeCache);
+    const nodeInput = inputForLocalScopes(input, localScopes);
+    scanEagerGeneratorPrefix(body, {
+        bindings: input.resolutionBindings,
+        hasCompletedFacts: () => nodeInput.facts.hasEffectCall && nodeInput.facts.hasUnsuspendedSelfCall,
+        scan: (node) => scanRecursiveNode(node, scopes, nodeInput),
+        scopes,
+    });
+};
+const scanFunctionBody = (node, functionScopes, input) => {
+    const body = childNode(node, 'body');
+    if (!body) {
+        return;
+    }
+    const bodyScopes = scopesForChild(functionScopes, node, 'body');
+    if (Reflect.get(node, 'generator') === true) {
+        scanEagerGeneratorBody(body, bodyScopes, input);
+    }
+    else {
+        scanRecursiveNode(body, bodyScopes, input);
+    }
+};
+const scanExecutedFunction = (node, scopes, input, argumentsValue, allowGenerator = false) => {
+    if (Reflect.get(node, 'generator') === true && !allowGenerator) {
+        return;
+    }
+    const functionScopes = parameterScopes(scopes, node);
+    scanFunctionDefaults(node, functionScopes, input, argumentsValue);
+    if (input.executedBodies.has(node)) {
+        return;
+    }
+    input.executedBodies.add(node);
+    scanFunctionBody(node, functionScopes, input);
+};
+const scanNamedEagerFunction = (name, scopes, input) => {
+    const target = resolveLocalTarget(name, input);
+    const { facts } = input;
+    if (target?.isSelfCall && !isShadowed(name, scopes)) {
+        facts.hasUnsuspendedSelfCall = true;
+    }
+    else if (target?.functionNode) {
+        scanExecutedFunction(target.functionNode, scopes, input, suppliedArgument);
+    }
+};
+const scanEagerFunction = (node, scopes, input) => {
+    const functionNode = unwrappedExpression(node);
+    if (isFunctionNode(functionNode)) {
+        scanExecutedFunction(functionNode, scopes, input, suppliedArgument);
+        return;
+    }
+    const name = identifierName(functionNode);
+    if (!name) {
+        return;
+    }
+    scanNamedEagerFunction(name, scopes, input);
+};
+const scanEagerCallbacks = (node, scopes, input) => {
+    const callback = selectedEagerCallback(node, input.resolutionBindings, scopes);
+    if (callback) {
+        scanEagerFunction(callback, scopes, input);
+    }
+};
+const recordNodeFacts = (node, scopes, target, input) => {
+    const { facts } = input;
+    if (target?.isSelfCall) {
+        facts.hasUnsuspendedSelfCall = true;
+        return;
+    }
+    if (effectCallAPIName(node, input.bindings.effect, scopes) !== undefined) {
+        facts.hasEffectCall = true;
+    }
+};
+const scanInvocationTarget = (node, scopes, target, input) => {
+    if (target?.functionNode) {
+        scanExecutedFunction(target.functionNode, scopes, input, invocationArguments(node));
+    }
+};
+const recursiveNodeContext = (node, scopes, input) => {
+    const nodeScopes = withNodeScope(scopes, node);
+    const localScopes = localScopesForNode(node, input.localScopes, input.localScopeCache);
+    const nodeInput = inputForLocalScopes(input, localScopes);
+    return [nodeScopes, nodeInput, invocationTarget(node, nodeScopes, nodeInput)];
+};
+const scanRecursiveNode = (node, scopes, input) => {
+    if (isFunctionNode(node)) {
+        return;
+    }
+    const [nodeScopes, nodeInput, target] = recursiveNodeContext(node, scopes, input);
+    recordNodeFacts(node, nodeScopes, target, nodeInput);
+    if (nodeInput.facts.hasEffectCall && nodeInput.facts.hasUnsuspendedSelfCall) {
+        return;
+    }
+    scanRecursiveChildren(node, nodeScopes, nodeInput);
+    scanEagerCallbacks(node, nodeScopes, nodeInput);
+    scanInvocationTarget(node, nodeScopes, target, nodeInput);
+};
+/**
+ * Analyze a named function for Effect construction and same-phase self-invocation.
+ *
+ * @internal
+ */
+export const recursiveEffectFacts = (node, functionName, bindings, resolutionBindings, ...options) => {
+    const [hasEffectCall = false, allowGenerator = false] = options;
+    const facts = {
+        hasEffectCall,
+        hasUnsuspendedSelfCall: false,
+    };
+    const input = {
+        bindings,
+        executedBodies: new WeakSet(),
+        executedDefaults: new WeakMap(),
+        facts,
+        functionName,
+        localScopeCache: new WeakMap(),
+        localScopes: [],
+        resolutionBindings,
+    };
+    scanExecutedFunction(node, [], input, undefined, allowGenerator);
+    return facts;
+};
+//# sourceMappingURL=effect-recursion-execution.js.map

package/dist/rules/effect-recursion-execution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-execution.js","sourceRoot":"","sources":["../../src/rules/effect-recursion-execution.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAOhF,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,UAAU,EACV,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,kBAAkB,EAClB,kBAAkB,IAAI,yBAAyB,GAChD,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAKnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AA0BrE,MAAM,gBAAgB,GAAwB;IAC5C,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,EAAE;CACX,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAkB,EAAE,IAAa,EAAc,EAAE,CACxE,aAAa,CAAC,MAAM,EAAE;IACpB,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC;IAClC,IAAI,EAAE,yBAAyB;CACrB,CAAC,CAAC;AAEhB,MAAM,UAAU,GAAG,CAAC,IAAyB,EAAsB,EAAE;IACnE,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QACpF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,cAAc,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAa,EAAuB,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;QAChF,OAAO,mBAAmB,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,IAAa,EAAuB,EAAE;IACvD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,IAAI,QAAQ,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAuB,EAAE;IAC9D,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,QAAQ,IAAI,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClF,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAuB,EAAE;IAC9D,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;QAChF,OAAO,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,QAAQ,IAAI,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClF,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,KAAgB,EAAE,WAAgC,EAAa,EAAE;IAC5F,IAAI,WAAW,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAE,KAAgB,EAAgC,EAAE,CAC1F,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;AAEzE,MAAM,gBAAgB,GAAG,CACvB,IAAa,EACb,MAAkB,EAClB,KAAgB,EACc,EAAE;IAChC,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,MAAM,EAAE,UAAU,IAAI,UAAU,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAyB,EAAW,EAAE,CACjE,cAAc,CAAC,IAAI,CAAC,KAAK,WAAW;IACpC,CAAC,IAAI,EAAE,IAAI,KAAK,iBAAiB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,MAAM,CAAC,CAAC;AAEjF,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAuB,EAAE;IAC/D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAuB,EAAE;IAC9D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7C,MAAM,CAAC,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC;IAC3B,IAAI,OAAO,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACxC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACjD,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAa,EAAE,QAAiB,EAAuB,EAAE;IAC/E,MAAM,aAAa,GAAG,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC;IACpD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAuB,EAAE;IACjE,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,OAAO,EAAE,CAAC;QACnC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,KAAc,EAAE,MAAkB,EAAE,KAAgB,EAAQ,EAAE;IACpF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,KAAK,EAAE,CAAC;QACV,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAa,EAAE,MAAkB,EAAE,KAAgB,EAAQ,EAAE;IAC1F,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,KAAa,EACb,cAA+C,EACtC,EAAE;IACX,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,cAAc,CAAC,OAAO;QACtB,CAAC,KAAK,IAAI,cAAc,CAAC,KAAK,IAAI,mBAAmB,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CACrF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAE,KAAa,EAAE,KAAgB,EAAW,EAAE;IACtF,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IACvE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAa,EACb,KAAa,EACb,MAAkB,EAClB,KAAgB,EAChB,cAA+C,EACzC,EAAE;IACR,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7F,OAAO;IACT,CAAC;IACD,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,YAAY,EAAE,CAAC;QACjB,iBAAiB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAa,EACb,MAAkB,EAClB,KAAgB,EAChB,cAA+C,EACzC,EAAE;IACR,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,SAAS,EAAE,CAAC;YACd,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAa,EAAE,MAAkB,EAAE,KAAgB,EAAQ,EAAE;IAC3F,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,mBAAmB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC1D,wBAAwB,CAAC,IAAI,EAAE;QAC7B,QAAQ,EAAE,KAAK,CAAC,kBAAkB;QAClC,iBAAiB,EAAE,GAAY,EAAE,CAC/B,SAAS,CAAC,KAAK,CAAC,aAAa,IAAI,SAAS,CAAC,KAAK,CAAC,sBAAsB;QACzE,IAAI,EAAE,CAAC,IAAI,EAAQ,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC;QAChE,MAAM;KACP,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAE,cAA0B,EAAE,KAAgB,EAAQ,EAAE;IAC7F,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,sBAAsB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAa,EACb,MAAkB,EAClB,KAAgB,EAChB,cAA+C,EAC/C,cAAc,GAAG,KAAK,EAChB,EAAE;IACR,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrD,oBAAoB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;IACT,CAAC;IACD,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,gBAAgB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAE,KAAgB,EAAQ,EAAE;IAC1F,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,MAAM,EAAE,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACpD,KAAK,CAAC,sBAAsB,GAAG,IAAI,CAAC;IACtC,CAAC;SAAM,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC;QAChC,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAyB,EACzB,MAAkB,EAClB,KAAgB,EACV,EAAE;IACR,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACpE,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAE,MAAkB,EAAE,KAAgB,EAAQ,EAAE;IACvF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC/E,IAAI,QAAQ,EAAE,CAAC;QACb,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAa,EACb,MAAkB,EAClB,MAAoC,EACpC,KAAgB,EACV,EAAE;IACR,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,MAAM,EAAE,UAAU,EAAE,CAAC;QACvB,KAAK,CAAC,sBAAsB,GAAG,IAAI,CAAC;QACpC,OAAO;IACT,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;QACzE,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAa,EACb,MAAkB,EAClB,MAAoC,EACpC,KAAgB,EACV,EAAE;IACR,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC;QACzB,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAa,EACb,MAAkB,EAClB,KAAgB,EACgD,EAAE;IAClE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,mBAAmB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC1D,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAE,MAAkB,EAAE,KAAgB,EAAQ,EAAE;IACtF,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IACD,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAClF,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACrD,IAAI,SAAS,CAAC,KAAK,CAAC,aAAa,IAAI,SAAS,CAAC,KAAK,CAAC,sBAAsB,EAAE,CAAC;QAC5E,OAAO;IACT,CAAC;IACD,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACnD,kBAAkB,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAChD,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAa,EACb,YAAoB,EACpB,QAAgC,EAChC,kBAA4C,EAC5C,GAAG,OAAqE,EACxD,EAAE;IAClB,MAAM,CAAC,aAAa,GAAG,KAAK,EAAE,cAAc,GAAG,KAAK,CAAC,GAAG,OAAO,CAAC;IAChE,MAAM,KAAK,GAAG;QACZ,aAAa;QACb,sBAAsB,EAAE,KAAK;KAC9B,CAAC;IACF,MAAM,KAAK,GAAc;QACvB,QAAQ;QACR,cAAc,EAAE,IAAI,OAAO,EAAE;QAC7B,gBAAgB,EAAE,IAAI,OAAO,EAAE;QAC/B,KAAK;QACL,YAAY;QACZ,eAAe,EAAE,IAAI,OAAO,EAAE;QAC9B,WAAW,EAAE,EAAE;QACf,kBAAkB;KACnB,CAAC;IACF,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACjE,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/rules/effect-recursion-generator.d.ts

@@ -0,0 +1,17 @@
+import type { ASTNode } from './effect-ast';
+import type { EffectResolutionBindings } from './effect-recursion-viability';
+import type { ScopeStack } from './effect-ast-scope';
+interface EagerGeneratorScan {
+    bindings: EffectResolutionBindings;
+    hasCompletedFacts: () => boolean;
+    scan: (node: ASTNode) => void;
+    scopes: ScopeStack;
+}
+/**
+ * Scan only the synchronously reachable prefix of an eager Effect generator.
+ *
+ * @internal
+ */
+export declare const scanEagerGeneratorPrefix: (body: ASTNode, input: EagerGeneratorScan) => void;
+export {};
+//# sourceMappingURL=effect-recursion-generator.d.ts.map

package/dist/rules/effect-recursion-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-generator.d.ts","sourceRoot":"","sources":["../../src/rules/effect-recursion-generator.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAC7E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD,UAAU,kBAAkB;IAC1B,QAAQ,EAAE,wBAAwB,CAAC;IACnC,iBAAiB,EAAE,MAAM,OAAO,CAAC;IACjC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC9B,MAAM,EAAE,UAAU,CAAC;CACpB;AAsHD;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,MAAM,OAAO,EAAE,OAAO,kBAAkB,KAAG,IAMnF,CAAC"}

package/dist/rules/effect-recursion-generator.js

@@ -0,0 +1,125 @@
+/* -------------------------------------------------------------------------- */
+/*        Straight-line execution prefix for eager Effect generators.         */
+/* -------------------------------------------------------------------------- */
+import { asNode, childNode, childNodes } from './effect-ast.js';
+import { isFunctionNode, unwrappedExpression } from './effect-boundary-ast-shared.js';
+import { effectResolutionOf } from './effect-recursion-viability.js';
+const directYieldFor = (statement) => {
+    const expression = unwrappedExpression(childNode(statement, 'expression'));
+    if (expression?.type === 'YieldExpression') {
+        return expression;
+    }
+    return undefined;
+};
+const isStraightLineStatement = (statement) => statement.type === 'EmptyStatement' ||
+    statement.type === 'ExpressionStatement' ||
+    statement.type === 'FunctionDeclaration';
+const appendNodeChildren = (node, pending) => {
+    for (const [key, child] of Object.entries(node)) {
+        if (key !== 'parent') {
+            pending.push(child);
+        }
+    }
+};
+const appendArrayValues = (value, pending) => {
+    for (const child of value) {
+        pending.push(child);
+    }
+};
+const nodeContainsYield = (node, pending) => {
+    if (node.type === 'YieldExpression') {
+        return true;
+    }
+    if (!isFunctionNode(node)) {
+        appendNodeChildren(node, pending);
+    }
+    return false;
+};
+const containsYieldCandidate = (value, pending) => {
+    if (Array.isArray(value)) {
+        appendArrayValues(value, pending);
+        return false;
+    }
+    const node = asNode(value);
+    if (!node) {
+        return false;
+    }
+    return nodeContainsYield(node, pending);
+};
+const containsYield = (value) => {
+    const pending = [value];
+    while (pending.length > 0) {
+        if (containsYieldCandidate(pending.pop(), pending)) {
+            return true;
+        }
+    }
+    return false;
+};
+const scanYield = (yielded, input) => {
+    const effect = childNode(yielded, 'argument');
+    if (effect) {
+        input.scan(effect);
+    }
+    return effectResolutionOf(effect, input.bindings, input.scopes) === 'success';
+};
+const scanVariableDeclaration = (statement, input) => {
+    for (const declaration of childNodes(statement, 'declarations')) {
+        const initializer = unwrappedExpression(childNode(declaration, 'init'));
+        if (initializer?.type === 'YieldExpression') {
+            if (!scanYield(initializer, input)) {
+                return false;
+            }
+        }
+        else if (containsYield(initializer)) {
+            return false;
+        }
+        else {
+            input.scan(declaration);
+        }
+    }
+    return true;
+};
+const scanReturnStatement = (statement, input) => {
+    const returned = unwrappedExpression(childNode(statement, 'argument'));
+    if (returned?.type === 'YieldExpression') {
+        const effect = childNode(returned, 'argument');
+        input.scan(effect ?? returned);
+    }
+    else if (!containsYield(returned)) {
+        input.scan(statement);
+    }
+};
+const scanOrdinaryStatement = (statement, input) => {
+    const yielded = directYieldFor(statement);
+    if (yielded) {
+        return scanYield(yielded, input);
+    }
+    if (!isStraightLineStatement(statement) || containsYield(statement)) {
+        return false;
+    }
+    input.scan(statement);
+    return !input.hasCompletedFacts();
+};
+const scanGeneratorStatement = (statement, input) => {
+    if (statement.type === 'ReturnStatement') {
+        scanReturnStatement(statement, input);
+        return false;
+    }
+    if (statement.type === 'VariableDeclaration') {
+        return scanVariableDeclaration(statement, input);
+    }
+    return scanOrdinaryStatement(statement, input);
+};
+/**
+ * Scan only the synchronously reachable prefix of an eager Effect generator.
+ *
+ * @internal
+ */
+export const scanEagerGeneratorPrefix = (body, input) => {
+    for (const statement of childNodes(body, 'body')) {
+        if (!scanGeneratorStatement(statement, input)) {
+            return;
+        }
+    }
+};
+//# sourceMappingURL=effect-recursion-generator.js.map

package/dist/rules/effect-recursion-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-generator.js","sourceRoot":"","sources":["../../src/rules/effect-recursion-generator.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAInF,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AASlE,MAAM,cAAc,GAAG,CAAC,SAAkB,EAAuB,EAAE;IACjE,MAAM,UAAU,GAAG,mBAAmB,CAAC,SAAS,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IAC3E,IAAI,UAAU,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,SAAkB,EAAW,EAAE,CAC9D,SAAS,CAAC,IAAI,KAAK,gBAAgB;IACnC,SAAS,CAAC,IAAI,KAAK,qBAAqB;IACxC,SAAS,CAAC,IAAI,KAAK,qBAAqB,CAAC;AAE3C,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAE,OAAkB,EAAQ,EAAE;IACrE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAyB,EAAE,OAAkB,EAAQ,EAAE;IAChF,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAE,OAAkB,EAAW,EAAE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,KAAc,EAAE,OAAkB,EAAW,EAAE;IAC7E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,iBAAiB,CAAC,KAA2B,EAAE,OAAO,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAAc,EAAW,EAAE;IAChD,MAAM,OAAO,GAAc,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,IAAI,sBAAsB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAE,KAAyB,EAAW,EAAE;IACzE,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC9C,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,SAAkB,EAAE,KAAyB,EAAW,EAAE;IACzF,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC;QAChE,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;QACxE,IAAI,WAAW,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC5C,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;gBACnC,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;aAAM,IAAI,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;YACtC,OAAO,KAAK,CAAC;QACf,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,SAAkB,EAAE,KAAyB,EAAQ,EAAE;IAClF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACvE,IAAI,QAAQ,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC;IACjC,CAAC;SAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,SAAkB,EAAE,KAAyB,EAAW,EAAE;IACvF,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,OAAO,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,SAAkB,EAAE,KAAyB,EAAW,EAAE;IACxF,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,mBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC7C,OAAO,uBAAuB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAa,EAAE,KAAyB,EAAQ,EAAE;IACzF,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,sBAAsB,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9C,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/rules/effect-recursion-local-bindings.d.ts

@@ -0,0 +1,44 @@
+import type { ASTNode } from './effect-ast';
+interface AliasBinding {
+    kind: 'alias';
+    name: string;
+}
+interface FunctionBinding {
+    kind: 'function';
+    node: ASTNode;
+}
+/**
+ * One locally declared callable or identifier alias.
+ *
+ * @internal
+ */
+export type LocalBinding = AliasBinding | FunctionBinding;
+/**
+ * Nested local callable bindings visible at one execution site.
+ *
+ * @internal
+ */
+export type LocalFunctionScopes = readonly ReadonlyMap<string, LocalBinding>[];
+/**
+ * Statically resolved local invocation identity.
+ *
+ * @internal
+ */
+export interface LocalInvocationTarget {
+    functionNode?: ASTNode;
+    isSelfCall: boolean;
+}
+/**
+ * Extend local callable scopes for a block or program node.
+ *
+ * @internal
+ */
+export declare const localScopesForNode: (node: ASTNode, current: LocalFunctionScopes, cache: WeakMap<object, ReadonlyMap<string, LocalBinding>>) => LocalFunctionScopes;
+/**
+ * Resolve a local callable, alias chain, or unshadowed self-reference.
+ *
+ * @internal
+ */
+export declare const resolveLocalTarget: (name: string, functionName: string, scopes: LocalFunctionScopes) => LocalInvocationTarget | undefined;
+export {};
+//# sourceMappingURL=effect-recursion-local-bindings.d.ts.map

package/dist/rules/effect-recursion-local-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-local-bindings.d.ts","sourceRoot":"","sources":["../../src/rules/effect-recursion-local-bindings.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,UAAU,YAAY;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,eAAe;IACvB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,OAAO,CAAC;CACf;AAED;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,eAAe,CAAC;AAE1D;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,SAAS,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;AAE/E;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;CACrB;AAmDD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,EACb,SAAS,mBAAmB,EAC5B,OAAO,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,KACxD,mBASF,CAAC;AA0CF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,EACZ,cAAc,MAAM,EACpB,QAAQ,mBAAmB,KAC1B,qBAAqB,GAAG,SAAwE,CAAC"}

package/dist/rules/effect-recursion-local-bindings.js

@@ -0,0 +1,99 @@
+/* -------------------------------------------------------------------------- */
+/*        Local function and alias resolution for recursion execution.        */
+/* -------------------------------------------------------------------------- */
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { isFunctionNode, unwrappedExpression } from './effect-boundary-ast-shared.js';
+const addVariableBinding = (bindings, declarator) => {
+    const name = identifierName(childNode(declarator, 'id'));
+    const initializer = unwrappedExpression(childNode(declarator, 'init'));
+    if (!name || !initializer) {
+        return;
+    }
+    if (isFunctionNode(initializer)) {
+        bindings.set(name, { kind: 'function', node: initializer });
+        return;
+    }
+    const aliasName = identifierName(initializer);
+    if (aliasName) {
+        bindings.set(name, { kind: 'alias', name: aliasName });
+    }
+};
+const addStatementBinding = (bindings, statement) => {
+    if (statement.type === 'FunctionDeclaration') {
+        const name = identifierName(childNode(statement, 'id'));
+        if (name) {
+            bindings.set(name, { kind: 'function', node: statement });
+        }
+        return;
+    }
+    if (statement.type === 'VariableDeclaration') {
+        for (const declarator of childNodes(statement, 'declarations')) {
+            addVariableBinding(bindings, declarator);
+        }
+    }
+};
+const localScopeFor = (node, cache) => {
+    const cached = cache.get(node);
+    if (cached) {
+        return cached;
+    }
+    const bindings = new Map();
+    if (node.type === 'BlockStatement' || node.type === 'Program') {
+        for (const statement of childNodes(node, 'body')) {
+            addStatementBinding(bindings, statement);
+        }
+    }
+    cache.set(node, bindings);
+    return bindings;
+};
+/**
+ * Extend local callable scopes for a block or program node.
+ *
+ * @internal
+ */
+export const localScopesForNode = (node, current, cache) => {
+    if (node.type !== 'BlockStatement' && node.type !== 'Program') {
+        return current;
+    }
+    const scope = localScopeFor(node, cache);
+    if (scope.size === 0) {
+        return current;
+    }
+    return [...current, scope];
+};
+const localBindingFor = (name, scopes) => {
+    for (let index = scopes.length - 1; index >= 0; index -= 1) {
+        const binding = scopes[index]?.get(name);
+        if (binding) {
+            return binding;
+        }
+    }
+    return undefined;
+};
+const targetWithoutBinding = (name, functionName) => {
+    if (name === functionName) {
+        return { isSelfCall: true };
+    }
+    return undefined;
+};
+const resolveLocalTargetAt = (name, functionName, scopes, seenAliases) => {
+    const binding = localBindingFor(name, scopes);
+    if (!binding) {
+        return targetWithoutBinding(name, functionName);
+    }
+    if (binding.kind === 'function') {
+        return { functionNode: binding.node, isSelfCall: false };
+    }
+    if (seenAliases.has(binding)) {
+        return undefined;
+    }
+    seenAliases.add(binding);
+    return resolveLocalTargetAt(binding.name, functionName, scopes, seenAliases);
+};
+/**
+ * Resolve a local callable, alias chain, or unshadowed self-reference.
+ *
+ * @internal
+ */
+export const resolveLocalTarget = (name, functionName, scopes) => resolveLocalTargetAt(name, functionName, scopes, new Set());
+//# sourceMappingURL=effect-recursion-local-bindings.js.map

package/dist/rules/effect-recursion-local-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-local-bindings.js","sourceRoot":"","sources":["../../src/rules/effect-recursion-local-bindings.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAqCnF,MAAM,kBAAkB,GAAG,CAAC,QAAmC,EAAE,UAAmB,EAAQ,EAAE;IAC5F,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IACD,IAAI,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAC5D,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC9C,IAAI,SAAS,EAAE,CAAC;QACd,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACzD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,QAAmC,EAAE,SAAkB,EAAQ,EAAE;IAC5F,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QACxD,IAAI,IAAI,EAAE,CAAC;YACT,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC7C,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC;YAC/D,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAa,EACb,KAAyD,EACtB,EAAE;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9D,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YACjD,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1B,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAa,EACb,OAA4B,EAC5B,KAAyD,EACpC,EAAE;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9D,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,MAA2B,EAA4B,EAAE;IAC9F,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAY,EACZ,YAAoB,EACe,EAAE;IACrC,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAY,EACZ,YAAoB,EACpB,MAA2B,EAC3B,WAA8B,EACK,EAAE;IACrC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,oBAAoB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzB,OAAO,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACZ,YAAoB,EACpB,MAA2B,EACQ,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC"}