@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-value-scopes.d.ts

@@ -0,0 +1,94 @@
+import type { HelperScope, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * One statically initialized value in a callable lexical scope.
+ *
+ * @internal
+ */
+export interface LexicalValueBinding {
+    allowEarlyReference: boolean;
+    availableAfter: number;
+    declarationKind: 'lexical' | 'var';
+    helperScopes: HelperScopes;
+    node: ASTNode | undefined;
+    scopes: ScopeStack;
+    writes?: LexicalValueWrite[];
+}
+/**
+ * One source-ordered write to a mutable lexical value.
+ *
+ * @internal
+ */
+export interface LexicalValueWrite {
+    availableAfter: number;
+    helperScopes: HelperScopes;
+    node: ASTNode | undefined;
+    scopes: ScopeStack;
+}
+interface LexicalValueResolution {
+    binding?: LexicalValueBinding | LexicalValueWrite;
+    found: boolean;
+}
+/**
+ * Unknown dynamic lexical value after feasible runtime states join.
+ *
+ * @internal
+ */
+export declare const runtimeLexicalUnknown: unique symbol;
+/**
+ * Dynamic lexical value selected by the runtime task interpreter.
+ *
+ * @internal
+ */
+export type RuntimeLexicalValue = ASTNode | typeof runtimeLexicalUnknown | undefined;
+/**
+ * Attach an exact initializer to its existing lexical scope identity.
+ *
+ * @internal
+ */
+export declare const registerLexicalValue: (scope: HelperScope, name: string, binding: LexicalValueBinding) => void;
+/**
+ * Append one exact source-ordered write to an indexed lexical value.
+ *
+ * @internal
+ */
+export declare const registerLexicalValueWrite: (helperScopes: HelperScopes, name: string, write: LexicalValueWrite) => void;
+/**
+ * Select the per-scope runtime offsets used to read mutable lexical values.
+ *
+ * @internal
+ */
+export declare const setLexicalExecutionOffsets: (offsets: ReadonlyMap<HelperScope, number>) => ReadonlyMap<HelperScope, number | undefined>;
+/**
+ * Restore lexical execution offsets after one isolated task analysis.
+ *
+ * @internal
+ */
+export declare const restoreLexicalExecutionOffsets: (previousOffsets: ReadonlyMap<HelperScope, number | undefined>) => void;
+/**
+ * Install exact dynamic lexical values for one isolated runtime execution.
+ *
+ * @internal
+ */
+export declare const setRuntimeLexicalValues: (values: ReadonlyMap<HelperScope, ReadonlyMap<string, RuntimeLexicalValue>>) => ReadonlyMap<HelperScope, ReadonlyMap<string, RuntimeLexicalValue> | undefined>;
+/**
+ * Restore dynamic lexical values after one isolated runtime execution.
+ *
+ * @internal
+ */
+export declare const restoreRuntimeLexicalValues: (previous: ReadonlyMap<HelperScope, ReadonlyMap<string, RuntimeLexicalValue> | undefined>) => void;
+/**
+ * Read the source offset after which a lexical initializer is available.
+ *
+ * @internal
+ */
+export declare const lexicalValueAvailableAfter: (declarator: ASTNode) => number;
+/**
+ * Resolve a lexical value without crossing a nearer shadowing scope.
+ *
+ * @internal
+ */
+export declare const resolveLexicalValue: (name: string, reference: ASTNode, helperScopes: HelperScopes) => LexicalValueResolution;
+export {};
+//# sourceMappingURL=effect-promise-value-scopes.d.ts.map

package/dist/rules/effect-promise-value-scopes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-value-scopes.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-value-scopes.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,mBAAmB,EAAE,OAAO,CAAC;IAC7B,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,SAAS,GAAG,KAAK,CAAC;IACnC,YAAY,EAAE,YAAY,CAAC;IAC3B,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1B,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,YAAY,CAAC;IAC3B,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1B,MAAM,EAAE,UAAU,CAAC;CACpB;AAED,UAAU,sBAAsB;IAC9B,OAAO,CAAC,EAAE,mBAAmB,GAAG,iBAAiB,CAAC;IAClD,KAAK,EAAE,OAAO,CAAC;CAChB;AAiBD;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,eAAkC,CAAC;AACrE;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,OAAO,qBAAqB,GAAG,SAAS,CAAC;AAUrF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,WAAW,EAClB,MAAM,MAAM,EACZ,SAAS,mBAAmB,KAC3B,IAOF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,cAAc,YAAY,EAC1B,MAAM,MAAM,EACZ,OAAO,iBAAiB,KACvB,IAWF,CAAC;AAYF;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,SAAS,WAAW,CAAC,WAAW,EAAE,MAAM,CAAC,KACxC,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAO7C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GACzC,iBAAiB,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC,KAC5D,IAQF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAClC,QAAQ,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,KACzE,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,GAAG,SAAS,CAa/E,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,UAAU,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,GAAG,SAAS,CAAC,KACvF,IAUF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GAAI,YAAY,OAAO,KAAG,MAClC,CAAC;AAkDhC;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,EACZ,WAAW,OAAO,EAClB,cAAc,YAAY,KACzB,sBAWF,CAAC"}

package/dist/rules/effect-promise-value-scopes.js

@@ -0,0 +1,218 @@
+/* -------------------------------------------------------------------------- */
+/*             Lexical value provenance for Promise projections.              */
+/* -------------------------------------------------------------------------- */
+const valuesByScope = new WeakMap();
+const executionOffsetByScope = new WeakMap();
+const runtimeValuesByScope = new WeakMap();
+const previousRuntimeNames = new WeakMap();
+let runtimeValuesByName = undefined;
+/**
+ * Unknown dynamic lexical value after feasible runtime states join.
+ *
+ * @internal
+ */
+export const runtimeLexicalUnknown = Symbol('runtimeLexicalUnknown');
+const nodeOffset = (node, key) => {
+    const offset = Reflect.get(node, key);
+    if (typeof offset === 'number') {
+        return offset;
+    }
+    return -1;
+};
+/**
+ * Attach an exact initializer to its existing lexical scope identity.
+ *
+ * @internal
+ */
+export const registerLexicalValue = (scope, name, binding) => {
+    let bindings = valuesByScope.get(scope);
+    if (!bindings) {
+        bindings = new Map();
+        valuesByScope.set(scope, bindings);
+    }
+    bindings.set(name, binding);
+};
+/**
+ * Append one exact source-ordered write to an indexed lexical value.
+ *
+ * @internal
+ */
+export const registerLexicalValueWrite = (helperScopes, name, write) => {
+    const { binding } = scopedLexicalBinding(name, helperScopes);
+    if (!binding) {
+        return;
+    }
+    const { writes } = binding;
+    if (writes) {
+        writes.push(write);
+    }
+    else {
+        binding.writes = [write];
+    }
+};
+const scopedLexicalBinding = (name, helperScopes) => {
+    for (let index = helperScopes.length - 1; index >= 0; index -= 1) {
+        const scope = helperScopes[index];
+        if (scope?.has(name)) {
+            return { binding: valuesByScope.get(scope)?.get(name), found: true, scope };
+        }
+    }
+    return { found: false };
+};
+/**
+ * Select the per-scope runtime offsets used to read mutable lexical values.
+ *
+ * @internal
+ */
+export const setLexicalExecutionOffsets = (offsets) => {
+    const previousOffsets = new Map();
+    for (const [scope, offset] of offsets) {
+        previousOffsets.set(scope, executionOffsetByScope.get(scope));
+        executionOffsetByScope.set(scope, offset);
+    }
+    return previousOffsets;
+};
+/**
+ * Restore lexical execution offsets after one isolated task analysis.
+ *
+ * @internal
+ */
+export const restoreLexicalExecutionOffsets = (previousOffsets) => {
+    for (const [scope, previousOffset] of previousOffsets) {
+        if (previousOffset === undefined) {
+            executionOffsetByScope.delete(scope);
+        }
+        else {
+            executionOffsetByScope.set(scope, previousOffset);
+        }
+    }
+};
+/**
+ * Install exact dynamic lexical values for one isolated runtime execution.
+ *
+ * @internal
+ */
+export const setRuntimeLexicalValues = (values) => {
+    const previous = new Map();
+    const runtimeNames = new Map();
+    for (const [scope, bindings] of values) {
+        previous.set(scope, runtimeValuesByScope.get(scope));
+        runtimeValuesByScope.set(scope, bindings);
+        for (const [name, value] of bindings) {
+            runtimeNames.set(name, value);
+        }
+    }
+    previousRuntimeNames.set(previous, runtimeValuesByName);
+    runtimeValuesByName = runtimeNames;
+    return previous;
+};
+/**
+ * Restore dynamic lexical values after one isolated runtime execution.
+ *
+ * @internal
+ */
+export const restoreRuntimeLexicalValues = (previous) => {
+    for (const [scope, bindings] of previous) {
+        if (bindings) {
+            runtimeValuesByScope.set(scope, bindings);
+        }
+        else {
+            runtimeValuesByScope.delete(scope);
+        }
+    }
+    runtimeValuesByName = previousRuntimeNames.get(previous);
+    previousRuntimeNames.delete(previous);
+};
+/**
+ * Read the source offset after which a lexical initializer is available.
+ *
+ * @internal
+ */
+export const lexicalValueAvailableAfter = (declarator) => nodeOffset(declarator, 'end');
+const bindingAtOffset = (binding, scope) => {
+    const offset = executionOffsetByScope.get(scope);
+    const { writes } = binding;
+    if (offset === undefined) {
+        return binding;
+    }
+    const selected = writes?.[writeInsertionIndex(writes, offset) - 1];
+    if (selected) {
+        return selected;
+    }
+    if (binding.declarationKind === 'var' && offset < binding.availableAfter) {
+        return { ...binding, node: undefined };
+    }
+    return binding;
+};
+const writeInsertionIndex = (writes, offset) => {
+    let lower = 0;
+    let upper = writes.length;
+    while (lower < upper) {
+        const middle = (lower + upper) >>> 1;
+        const write = writes[middle];
+        if (write && write.availableAfter <= offset) {
+            lower = middle + 1;
+        }
+        else {
+            upper = middle;
+        }
+    }
+    return lower;
+};
+const bindingIsAvailable = (binding, scope, referenceStart) => {
+    const executionOffset = executionOffsetByScope.get(scope);
+    if (executionOffset !== undefined) {
+        return binding.declarationKind === 'var' || binding.availableAfter <= executionOffset;
+    }
+    return (binding.allowEarlyReference || referenceStart === -1 || binding.availableAfter <= referenceStart);
+};
+/**
+ * Resolve a lexical value without crossing a nearer shadowing scope.
+ *
+ * @internal
+ */
+export const resolveLexicalValue = (name, reference, helperScopes) => {
+    const referenceStart = nodeOffset(reference, 'start');
+    const { binding, found, scope } = scopedLexicalBinding(name, helperScopes);
+    const runtime = runtimeLexicalResolution(name, binding, scope, helperScopes);
+    if (runtime) {
+        return runtime;
+    }
+    if (binding && scope && bindingIsAvailable(binding, scope, referenceStart)) {
+        return { binding: bindingAtOffset(binding, scope), found: true };
+    }
+    return { found };
+};
+const runtimeLexicalResolution = (name, binding, scope, helperScopes) => {
+    const runtimeValues = scope && runtimeValuesByScope.get(scope);
+    const hasScopedValue = runtimeValues?.has(name) ?? false;
+    if (!hasScopedValue && !runtimeValuesByName?.has(name)) {
+        return undefined;
+    }
+    const runtimeValue = selectedRuntimeValue(name, runtimeValues, hasScopedValue);
+    if (typeof runtimeValue === 'symbol') {
+        return { found: true };
+    }
+    if (!binding) {
+        return syntheticRuntimeResolution(runtimeValue, helperScopes);
+    }
+    return { binding: { ...binding, node: runtimeValue }, found: true };
+};
+const selectedRuntimeValue = (name, runtimeValues, hasScopedValue) => {
+    if (hasScopedValue) {
+        return runtimeValues?.get(name);
+    }
+    return runtimeValuesByName?.get(name);
+};
+const syntheticRuntimeResolution = (runtimeValue, helperScopes) => ({
+    binding: {
+        allowEarlyReference: true,
+        availableAfter: -1,
+        declarationKind: 'lexical',
+        helperScopes,
+        node: runtimeValue,
+        scopes: [],
+    },
+    found: true,
+});
+//# sourceMappingURL=effect-promise-value-scopes.js.map

package/dist/rules/effect-promise-value-scopes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-value-scopes.js","sourceRoot":"","sources":["../../src/rules/effect-promise-value-scopes.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AA4ChF,MAAM,aAAa,GAAG,IAAI,OAAO,EAA4C,CAAC;AAC9E,MAAM,sBAAsB,GAAG,IAAI,OAAO,EAAkB,CAAC;AAC7D,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAoD,CAAC;AAC7F,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAGrC,CAAC;AACJ,IAAI,mBAAmB,GAAyD,SAAS,CAAC;AAE1F;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,uBAAuB,CAAC,CAAC;AAQrE,MAAM,UAAU,GAAG,CAAC,IAAa,EAAE,GAAW,EAAU,EAAE;IACxD,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/C,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAkB,EAClB,IAAY,EACZ,OAA4B,EACtB,EAAE;IACR,IAAI,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QACrB,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,YAA0B,EAC1B,IAAY,EACZ,KAAwB,EAClB,EAAE;IACR,MAAM,EAAE,OAAO,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC7D,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3B,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAE,YAA0B,EAAwB,EAAE;IAC9F,KAAK,IAAI,KAAK,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,OAAyC,EACK,EAAE;IAChD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAmC,CAAC;IACnE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACtC,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,sBAAsB,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,eAA6D,EACvD,EAAE;IACR,KAAK,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,eAAe,EAAE,CAAC;QACtD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,sBAAsB,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,MAA0E,EACM,EAAE;IAClF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqE,CAAC;IAC9F,MAAM,YAAY,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC5D,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;YACrC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IACxD,mBAAmB,GAAG,YAAY,CAAC;IACnC,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,QAAwF,EAClF,EAAE;IACR,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzC,IAAI,QAAQ,EAAE,CAAC;YACb,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,mBAAmB,GAAG,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzD,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,UAAmB,EAAU,EAAE,CACxE,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAEhC,MAAM,eAAe,GAAG,CACtB,OAA4B,EAC5B,KAAkB,EACuB,EAAE;IAC3C,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACnE,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,CAAC,eAAe,KAAK,KAAK,IAAI,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QACzE,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,MAAoC,EAAE,MAAc,EAAU,EAAE;IAC3F,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,OAAO,KAAK,GAAG,KAAK,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,KAAK,IAAI,KAAK,CAAC,cAAc,IAAI,MAAM,EAAE,CAAC;YAC5C,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,KAAK,GAAG,MAAM,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,OAA4B,EAC5B,KAAkB,EAClB,cAAsB,EACb,EAAE;IACX,MAAM,eAAe,GAAG,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC,eAAe,KAAK,KAAK,IAAI,OAAO,CAAC,cAAc,IAAI,eAAe,CAAC;IACxF,CAAC;IACD,OAAO,CACL,OAAO,CAAC,mBAAmB,IAAI,cAAc,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,cAAc,IAAI,cAAc,CACjG,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAY,EACZ,SAAkB,EAClB,YAA0B,EACF,EAAE;IAC1B,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7E,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,IAAI,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC;QAC3E,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,OAAwC,EACxC,KAA8B,EAC9B,YAA0B,EACU,EAAE;IACtC,MAAM,aAAa,GAAG,KAAK,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;IACzD,IAAI,CAAC,cAAc,IAAI,CAAC,mBAAmB,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC/E,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;QACrC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,0BAA0B,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAY,EACZ,aAAmE,EACnE,cAAuB,EACF,EAAE;IACvB,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,mBAAmB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,YAAiC,EACjC,YAA0B,EACF,EAAE,CAAC,CAAC;IAC5B,OAAO,EAAE;QACP,mBAAmB,EAAE,IAAI;QACzB,cAAc,EAAE,CAAC,CAAC;QAClB,eAAe,EAAE,SAAS;QAC1B,YAAY;QACZ,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE,EAAE;KACX;IACD,KAAK,EAAE,IAAI;CACZ,CAAC,CAAC"}

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

@@ -0,0 +1,14 @@
+import type { Context } from './effect-rule-core';
+type VisitorMap = Record<string, (node: object) => void>;
+/**
+ * Build AST visitors for eagerly recursive Effect constructors.
+ *
+ * @param context - The lint rule context.
+ * @param source - The complete file source used only for Effect import provenance.
+ * @returns Declaration visitors that report eager recursive Effect construction.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const effectRecursionAST: (context: Context, source: string) => VisitorMap;
+export {};
+//# sourceMappingURL=effect-recursion-ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-ast.d.ts","sourceRoot":"","sources":["../../src/rules/effect-recursion-ast.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAOlD,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC;AA4LzD;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,GAAI,SAAS,OAAO,EAAE,QAAQ,MAAM,KAAG,UAYrE,CAAC"}

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

@@ -0,0 +1,154 @@
+/* -------------------------------------------------------------------------- */
+/*        Execution-aware recursion analysis for Effect constructors.         */
+/* -------------------------------------------------------------------------- */
+import { Array, pipe } from 'effect';
+import { asNode, childNode, childNodes, identifierName } from './effect-ast.js';
+import { eagerEffectAPIName, recursionPhaseBindingsFor } from './effect-recursion-phases.js';
+import { effectAPIBindingsFor, effectCallAPIName, indexEffectAPIBindingsFromProgram, isFunctionNode, unwrappedExpression, } from './effect-boundary-ast-shared.js';
+import { effectResolutionBindingsFor } from './effect-recursion-viability.js';
+import { recursiveEffectFacts } from './effect-recursion-execution.js';
+const shouldAnalyzeFunction = (input) => Reflect.get(input.node, 'async') !== true &&
+    (input.isEagerGenerator === true || Reflect.get(input.node, 'generator') !== true);
+const reportsFunctionName = (input, analyzed, functionName) => {
+    if (!functionName || analyzed.has(functionName)) {
+        return false;
+    }
+    analyzed.add(functionName);
+    const facts = recursiveEffectFacts(input.node, functionName, input.phaseBindings, input.resolutionBindings, input.hasEffectCall, input.isEagerGenerator);
+    return facts.hasEffectCall && facts.hasUnsuspendedSelfCall;
+};
+const reportRecursiveFunction = (input) => {
+    const { analyzedNames, context, functionNames, node, reportedFunctions } = input;
+    if (!shouldAnalyzeFunction(input) || reportedFunctions.has(node)) {
+        return;
+    }
+    const analyzed = analyzedNames.get(node) ?? new Set();
+    analyzedNames.set(node, analyzed);
+    const shouldReport = pipe(functionNames, Array.some((functionName) => reportsFunctionName(input, analyzed, functionName)));
+    if (shouldReport) {
+        reportedFunctions.add(node);
+        context.report({
+            message: 'Recursive Effect construction must be wrapped in Effect.suspend.',
+            node,
+        });
+    }
+};
+const suspendThunk = (node, bindings) => {
+    if (effectCallAPIName(node, bindings, []) !== 'suspend') {
+        return undefined;
+    }
+    const thunk = unwrappedExpression(childNodes(node, 'arguments')[0]);
+    if (thunk?.type !== 'FunctionExpression') {
+        return undefined;
+    }
+    const functionName = identifierName(childNode(thunk, 'id'));
+    if (functionName) {
+        return { functionName, thunk };
+    }
+    return undefined;
+};
+const eagerGenerator = (node, bindings) => {
+    const call = unwrappedExpression(node);
+    if (!call || eagerEffectAPIName(call, bindings, []) !== 'fnUntracedEager') {
+        return undefined;
+    }
+    const generator = unwrappedExpression(childNodes(call, 'arguments')[0]);
+    if (isFunctionNode(generator) && Reflect.get(generator, 'generator') === true) {
+        return generator;
+    }
+    return undefined;
+};
+const reportFunction = (state, node, functionNames, options) => {
+    reportRecursiveFunction({
+        ...state,
+        functionNames,
+        hasEffectCall: options?.hasEffectCall,
+        isEagerGenerator: options?.isEagerGenerator,
+        node,
+    });
+};
+const visitCall = (state, value) => {
+    const call = asNode(value);
+    if (!call) {
+        return;
+    }
+    const namedThunk = suspendThunk(call, state.bindings);
+    if (namedThunk) {
+        reportFunction(state, namedThunk.thunk, [namedThunk.functionName], {
+            hasEffectCall: true,
+        });
+    }
+};
+const visitNamedFunction = (state, value) => {
+    const node = asNode(value);
+    if (node) {
+        reportFunction(state, node, [identifierName(childNode(node, 'id'))]);
+    }
+};
+const visitProgram = (state, value) => {
+    const program = asNode(value);
+    if (program) {
+        indexEffectAPIBindingsFromProgram(state.bindings, program);
+    }
+};
+const visitVariableDeclarator = (state, value) => {
+    const declarator = asNode(value);
+    if (!declarator) {
+        return;
+    }
+    const initializer = childNode(declarator, 'init');
+    const eagerImplementation = eagerGenerator(initializer, state.phaseBindings);
+    if (eagerImplementation) {
+        reportFunction(state, eagerImplementation, [identifierName(childNode(declarator, 'id'))], {
+            hasEffectCall: true,
+            isEagerGenerator: true,
+        });
+        return;
+    }
+    if (isFunctionNode(initializer)) {
+        reportFunction(state, initializer, [
+            identifierName(childNode(initializer, 'id')),
+            identifierName(childNode(declarator, 'id')),
+        ]);
+    }
+};
+const recursionVisitors = (state) => ({
+    CallExpression(value) {
+        visitCall(state, value);
+    },
+    FunctionDeclaration(value) {
+        visitNamedFunction(state, value);
+    },
+    FunctionExpression(value) {
+        visitNamedFunction(state, value);
+    },
+    Program(value) {
+        visitProgram(state, value);
+    },
+    VariableDeclarator(value) {
+        visitVariableDeclarator(state, value);
+    },
+});
+/**
+ * Build AST visitors for eagerly recursive Effect constructors.
+ *
+ * @param context - The lint rule context.
+ * @param source - The complete file source used only for Effect import provenance.
+ * @returns Declaration visitors that report eager recursive Effect construction.
+ * @throws Does not throw.
+ * @internal
+ */
+export const effectRecursionAST = (context, source) => {
+    const bindings = effectAPIBindingsFor(source);
+    const phaseBindings = recursionPhaseBindingsFor(source, bindings);
+    const resolutionBindings = effectResolutionBindingsFor(source, phaseBindings);
+    return recursionVisitors({
+        analyzedNames: new WeakMap(),
+        bindings,
+        context,
+        phaseBindings,
+        reportedFunctions: new WeakSet(),
+        resolutionBindings,
+    });
+};
+//# sourceMappingURL=effect-recursion-ast.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-ast.js","sourceRoot":"","sources":["../../src/rules/effect-recursion-ast.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAC1F,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,iCAAiC,EACjC,cAAc,EACd,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAMtC,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AA+BpE,MAAM,qBAAqB,GAAG,CAAC,KAAkB,EAAW,EAAE,CAC5D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI;IACzC,CAAC,KAAK,CAAC,gBAAgB,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,IAAI,CAAC,CAAC;AAErF,MAAM,mBAAmB,GAAG,CAC1B,KAAkB,EAClB,QAAqB,EACrB,YAAgC,EACvB,EAAE;IACX,IAAI,CAAC,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,oBAAoB,CAChC,KAAK,CAAC,IAAI,EACV,YAAY,EACZ,KAAK,CAAC,aAAa,EACnB,KAAK,CAAC,kBAAkB,EACxB,KAAK,CAAC,aAAa,EACnB,KAAK,CAAC,gBAAgB,CACvB,CAAC;IACF,OAAO,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,sBAAsB,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,KAAkB,EAAQ,EAAE;IAC3D,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IACjF,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IAC9D,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,CACvB,aAAa,EACb,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,EAAW,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAC1F,CAAC;IACF,IAAI,YAAY,EAAE,CAAC;QACjB,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,CAAC,MAAM,CAAC;YACb,OAAO,EAAE,kEAAkE;YAC3E,IAAI;SACL,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAAa,EACb,QAA2B,EAC2B,EAAE;IACxD,IAAI,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,KAAK,EAAE,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,YAAY,GAAG,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5D,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAyB,EACzB,QAAgC,EACX,EAAE;IACvB,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,IAAI,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,iBAAiB,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,cAAc,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QAC9E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,KAA4B,EAC5B,IAAa,EACb,aAA8C,EAC9C,OAA+B,EACzB,EAAE;IACR,uBAAuB,CAAC;QACtB,GAAG,KAAK;QACR,aAAa;QACb,aAAa,EAAE,OAAO,EAAE,aAAa;QACrC,gBAAgB,EAAE,OAAO,EAAE,gBAAgB;QAC3C,IAAI;KACL,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,KAA4B,EAAE,KAAa,EAAQ,EAAE;IACtE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,UAAU,EAAE,CAAC;QACf,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE;YACjE,aAAa,EAAE,IAAI;SACpB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAA4B,EAAE,KAAa,EAAQ,EAAE;IAC/E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,IAAI,EAAE,CAAC;QACT,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,KAA4B,EAAE,KAAa,EAAQ,EAAE;IACzE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,OAAO,EAAE,CAAC;QACZ,iCAAiC,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,KAA4B,EAAE,KAAa,EAAQ,EAAE;IACpF,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,mBAAmB,GAAG,cAAc,CAAC,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7E,IAAI,mBAAmB,EAAE,CAAC;QACxB,cAAc,CAAC,KAAK,EAAE,mBAAmB,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE;YACxF,aAAa,EAAE,IAAI;YACnB,gBAAgB,EAAE,IAAI;SACvB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE;YACjC,cAAc,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC5C,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;SAC5C,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAA4B,EAAc,EAAE,CAAC,CAAC;IACvE,cAAc,CAAC,KAAK;QAClB,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,mBAAmB,CAAC,KAAK;QACvB,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,kBAAkB,CAAC,KAAK;QACtB,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,KAAK;QACX,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,kBAAkB,CAAC,KAAK;QACtB,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;CACF,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAgB,EAAE,MAAc,EAAc,EAAE;IACjF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9E,OAAO,iBAAiB,CAAC;QACvB,aAAa,EAAE,IAAI,OAAO,EAAE;QAC5B,QAAQ;QACR,OAAO;QACP,aAAa;QACb,iBAAiB,EAAE,IAAI,OAAO,EAAE;QAChC,kBAAkB;KACnB,CAAC,CAAC;AACL,CAAC,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { ASTNode } from './effect-ast';
+import type { EffectResolutionBindings } from './effect-recursion-viability';
+import type { RecursionPhaseBindings } from './effect-recursion-phases';
+interface RecursionFacts {
+    hasEffectCall: boolean;
+    hasUnsuspendedSelfCall: boolean;
+}
+/**
+ * Analyze a named function for Effect construction and same-phase self-invocation.
+ *
+ * @internal
+ */
+export declare const recursiveEffectFacts: (node: ASTNode, functionName: string, bindings: RecursionPhaseBindings, resolutionBindings: EffectResolutionBindings, ...options: readonly [hasEffectCall?: boolean, allowGenerator?: boolean]) => RecursionFacts;
+export {};
+//# sourceMappingURL=effect-recursion-execution.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-execution.d.ts","sourceRoot":"","sources":["../../src/rules/effect-recursion-execution.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAC7E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAKxE,UAAU,cAAc;IACtB,aAAa,EAAE,OAAO,CAAC;IACvB,sBAAsB,EAAE,OAAO,CAAC;CACjC;AAwXD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,OAAO,EACb,cAAc,MAAM,EACpB,UAAU,sBAAsB,EAChC,oBAAoB,wBAAwB,EAC5C,GAAG,SAAS,SAAS,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,KACvE,cAkBF,CAAC"}