@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-global-fetch-ast.js

@@ -0,0 +1,321 @@
+/* -------------------------------------------------------------------------- */
+/*        Scope-aware global fetch detection inside Effect async APIs.        */
+/* -------------------------------------------------------------------------- */
+import { asNode, childNode, childNodes, identifierName } from './effect-ast.js';
+import { globalFetchAsyncWrapperNames, indexGlobalFetchImports, } from './effect-global-fetch-imports.js';
+import { isImportReference, nativeReferenceIndexFor, nativeSourceCodeFor, } from './effect-native-references.js';
+import { scopesForChild, withNodeScope } from './effect-ast-scope.js';
+const nativeReferenceCaches = new WeakMap();
+const isShadowed = (name, scopes) => {
+    for (const scope of scopes) {
+        if (scope.has(name)) {
+            return true;
+        }
+    }
+    return false;
+};
+const stringValue = (node) => {
+    if (node?.type !== 'Literal') {
+        return undefined;
+    }
+    const value = Reflect.get(node, 'value');
+    if (typeof value === 'string') {
+        return value;
+    }
+    return undefined;
+};
+const visitChildValue = (value, scopes, visit, visitorKeys) => {
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            visitChildValue(item, scopes, visit, visitorKeys);
+        }
+        return;
+    }
+    const child = asNode(value);
+    if (child) {
+        visitTree(child, scopes, visit, visitorKeys);
+    }
+};
+const visitTree = (node, scopes, visit, visitorKeys) => {
+    const nodeScopes = withNodeScope(scopes, node);
+    if (!visit(node, nodeScopes)) {
+        return;
+    }
+    const keys = visitorKeys?.[node.type];
+    if (keys) {
+        visitChildKeys(node, nodeScopes, keys, visit, visitorKeys);
+        return;
+    }
+    visitReflectedChildren(node, nodeScopes, visit, visitorKeys);
+};
+const visitChildKeys = (node, scopes, keys, visit, visitorKeys) => {
+    for (const key of keys) {
+        visitChildValue(Reflect.get(node, key), scopesForChild(scopes, node, key), visit, visitorKeys);
+    }
+};
+const visitReflectedChildren = (node, scopes, visit, visitorKeys) => {
+    for (const [key, value] of Object.entries(node)) {
+        if (key !== 'parent') {
+            visitChildValue(value, scopesForChild(scopes, node, key), visit, visitorKeys);
+        }
+    }
+};
+const visitNativeChildValue = (value, visit, visitorKeys) => {
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            visitNativeChildValue(item, visit, visitorKeys);
+        }
+        return;
+    }
+    const child = asNode(value);
+    if (child) {
+        visitNativeTree(child, visit, visitorKeys);
+    }
+};
+const visitNativeKeys = (node, keys, visit, visitorKeys) => {
+    for (const key of keys) {
+        visitNativeChildValue(Reflect.get(node, key), visit, visitorKeys);
+    }
+};
+const visitNativeReflectedChildren = (node, visit, visitorKeys) => {
+    for (const [key, value] of Object.entries(node)) {
+        if (key !== 'parent') {
+            visitNativeChildValue(value, visit, visitorKeys);
+        }
+    }
+};
+const visitNativeTree = (node, visit, visitorKeys) => {
+    if (!visit(node)) {
+        return;
+    }
+    const keys = visitorKeys?.[node.type];
+    if (keys) {
+        visitNativeKeys(node, keys, visit, visitorKeys);
+        return;
+    }
+    visitNativeReflectedChildren(node, visit, visitorKeys);
+};
+const indexFallbackScopes = (state, program) => {
+    visitTree(program, [state.fallbackImportBindings], (node, scopes) => {
+        state.fallbackScopes.set(node, scopes);
+        return true;
+    });
+};
+const memberParts = (node) => {
+    if (node?.type !== 'MemberExpression' || Reflect.get(node, 'computed') === true) {
+        return {};
+    }
+    const object = childNode(node, 'object');
+    return {
+        object,
+        objectName: identifierName(object),
+        propertyName: identifierName(childNode(node, 'property')),
+    };
+};
+const isImportedReference = (state, node) => isImportReference(node, nativeReferencesFor(state));
+const nativeReferencesFor = (state) => {
+    const cached = nativeReferenceCaches.get(state);
+    if (cached) {
+        return cached;
+    }
+    if (!state.sourceCode) {
+        return undefined;
+    }
+    const references = nativeReferenceIndexFor(state.sourceCode);
+    nativeReferenceCaches.set(state, references);
+    return references;
+};
+const isUnresolvedReference = (state, node) => {
+    const reference = nativeReferencesFor(state)?.get(node);
+    return reference !== undefined && reference.resolved === null;
+};
+const isTypeOnlyDefinition = (definition) => {
+    const declaration = Reflect.get(definition, 'parent');
+    const specifier = Reflect.get(definition, 'node');
+    return ((declaration !== null &&
+        typeof declaration === 'object' &&
+        Reflect.get(declaration, 'importKind') === 'type') ||
+        (specifier !== null &&
+            typeof specifier === 'object' &&
+            Reflect.get(specifier, 'importKind') === 'type'));
+};
+const isTypeOnlyReference = (state, node) => {
+    const definitions = nativeReferencesFor(state)?.get(node)?.resolved?.defs;
+    return definitions?.some(isTypeOnlyDefinition) ?? false;
+};
+const isEffectMemberWrapper = (state, callee, scopes) => {
+    const { object, objectName, propertyName } = memberParts(callee);
+    if (!object ||
+        !objectName ||
+        !propertyName ||
+        !state.namespaces.has(objectName) ||
+        !globalFetchAsyncWrapperNames.has(propertyName)) {
+        return false;
+    }
+    if (state.sourceCode) {
+        return isImportedReference(state, object);
+    }
+    return !isShadowed(objectName, scopes);
+};
+const isEffectRootWrapper = (state, callee, scopes) => {
+    const { object: effectMember, propertyName } = memberParts(callee);
+    if (!effectMember || !propertyName || !globalFetchAsyncWrapperNames.has(propertyName)) {
+        return false;
+    }
+    const { object: root, objectName: rootName, propertyName: APIName } = memberParts(effectMember);
+    if (!root || !rootName || APIName !== 'Effect' || !state.rootNamespaces.has(rootName)) {
+        return false;
+    }
+    if (state.sourceCode) {
+        return isImportedReference(state, root);
+    }
+    return !isShadowed(rootName, scopes);
+};
+const isDirectEffectWrapper = (state, callee, scopes) => {
+    const directName = identifierName(callee);
+    if (!directName || !state.directWrappers.has(directName)) {
+        return false;
+    }
+    if (state.sourceCode) {
+        return isImportedReference(state, callee);
+    }
+    return !isShadowed(directName, scopes);
+};
+const isEffectWrapper = (state, node, scopes) => {
+    if (node.type !== 'CallExpression') {
+        return false;
+    }
+    const callee = childNode(node, 'callee');
+    return (isEffectMemberWrapper(state, callee, scopes) ||
+        isEffectRootWrapper(state, callee, scopes) ||
+        isDirectEffectWrapper(state, callee, scopes));
+};
+const memberPropertyName = (member, property) => {
+    if (Reflect.get(member, 'computed') === true) {
+        return stringValue(property);
+    }
+    return identifierName(property);
+};
+const globalFetchReference = (callee) => {
+    if (identifierName(callee) === 'fetch' && callee) {
+        return { name: 'fetch', node: callee };
+    }
+    if (callee?.type !== 'MemberExpression') {
+        return undefined;
+    }
+    const object = childNode(callee, 'object');
+    const property = childNode(callee, 'property');
+    const propertyName = memberPropertyName(callee, property);
+    if (object && identifierName(object) === 'globalThis' && propertyName === 'fetch') {
+        return { name: 'globalThis', node: object };
+    }
+    return undefined;
+};
+const isNativeGlobalReference = (state, reference) => state.sourceCode?.isGlobalReference?.(reference) === true ||
+    isUnresolvedReference(state, reference) ||
+    isTypeOnlyReference(state, reference);
+const isGlobalFetch = (state, node, scopes) => {
+    if (node.type !== 'CallExpression') {
+        return false;
+    }
+    const reference = globalFetchReference(childNode(node, 'callee'));
+    if (!reference) {
+        return false;
+    }
+    if (state.sourceCode) {
+        return isNativeGlobalReference(state, reference.node);
+    }
+    return !isShadowed(reference.name, scopes);
+};
+const reportFetch = (state, node) => {
+    if (state.seenFetchCalls.has(node)) {
+        return;
+    }
+    state.seenFetchCalls.add(node);
+    state.context.report({
+        message: 'Use the Effect HTTP client or an adapter service instead of global fetch.',
+        node,
+    });
+};
+const scanNativeWrapperArguments = (state, wrapper) => {
+    for (const argument of childNodes(wrapper, 'arguments')) {
+        visitNativeTree(argument, (node) => {
+            if (isGlobalFetch(state, node, [])) {
+                reportFetch(state, node);
+                return false;
+            }
+            return node === argument || !isEffectWrapper(state, node, []);
+        }, state.sourceCode?.visitorKeys);
+    }
+};
+const scanFallbackWrapperArguments = (state, wrapper, wrapperScopes) => {
+    for (const argument of childNodes(wrapper, 'arguments')) {
+        const argumentScopes = state.fallbackScopes.get(argument) ?? wrapperScopes;
+        visitTree(argument, argumentScopes, (node, scopes) => {
+            if (isGlobalFetch(state, node, scopes)) {
+                reportFetch(state, node);
+                return false;
+            }
+            return node === argument || !isEffectWrapper(state, node, scopes);
+        }, state.sourceCode?.visitorKeys);
+    }
+};
+const scanWrapperArguments = (state, wrapper, wrapperScopes) => {
+    if (state.sourceCode) {
+        scanNativeWrapperArguments(state, wrapper);
+        return;
+    }
+    scanFallbackWrapperArguments(state, wrapper, wrapperScopes);
+};
+const initializeState = (state, program) => {
+    if (state.initializedPrograms.has(program)) {
+        return;
+    }
+    state.initializedPrograms.add(program);
+    indexGlobalFetchImports(state, program, state.source);
+    if (!state.sourceCode) {
+        indexFallbackScopes(state, program);
+    }
+};
+/**
+ * Build native and parser-fallback visitors for global fetch inside Effect async wrappers.
+ *
+ * @param context - The lint rule context.
+ * @param source - Complete source used only for the legacy implicit Effect namespace.
+ * @returns Program and CallExpression visitors.
+ * @throws Does not throw.
+ * @internal
+ */
+export const effectGlobalFetchAST = (context, source) => {
+    const state = {
+        context,
+        directWrappers: new Set(),
+        fallbackImportBindings: new Set(),
+        fallbackScopes: new WeakMap(),
+        initializedPrograms: new WeakSet(),
+        namespaces: new Set(),
+        rootNamespaces: new Set(),
+        seenFetchCalls: new WeakSet(),
+        source,
+        sourceCode: nativeSourceCodeFor(context),
+    };
+    return {
+        CallExpression(value) {
+            const node = asNode(value);
+            if (!node) {
+                return;
+            }
+            const scopes = state.fallbackScopes.get(node) ?? [];
+            if (isEffectWrapper(state, node, scopes)) {
+                scanWrapperArguments(state, node, scopes);
+            }
+        },
+        Program(value) {
+            const program = asNode(value);
+            if (program) {
+                initializeState(state, program);
+            }
+        },
+    };
+};
+//# sourceMappingURL=effect-global-fetch-ast.js.map

package/dist/rules/effect-global-fetch-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-global-fetch-ast.js","sourceRoot":"","sources":["../../src/rules/effect-global-fetch-ast.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EACL,4BAA4B,EAC5B,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAqBnE,MAAM,qBAAqB,GAAG,IAAI,OAAO,EAAoD,CAAC;AAE9F,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAW,EAAE;IAC/D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAyB,EAAsB,EAAE;IACpE,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,KAAc,EACd,MAAkB,EAClB,KAAqD,EACrD,WAAyD,EACnD,EAAE;IACR,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QACpD,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,KAAK,EAAE,CAAC;QACV,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAChB,IAAa,EACb,MAAkB,EAClB,KAAqD,EACrD,WAAyD,EACnD,EAAE;IACR,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QAC7B,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,IAAI,EAAE,CAAC;QACT,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC3D,OAAO;IACT,CAAC;IACD,sBAAsB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAa,EACb,MAAkB,EAClB,IAAuB,EACvB,KAAqD,EACrD,WAAyD,EACnD,EAAE;IACR,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACjG,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAa,EACb,MAAkB,EAClB,KAAqD,EACrD,WAAyD,EACnD,EAAE;IACR,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,eAAe,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,KAAc,EACd,KAAiC,EACjC,WAAyD,EACnD,EAAE;IACR,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAClD,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,KAAK,EAAE,CAAC;QACV,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAa,EACb,IAAuB,EACvB,KAAiC,EACjC,WAAyD,EACnD,EAAE;IACR,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAa,EACb,KAAiC,EACjC,WAAyD,EACnD,EAAE;IACR,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAa,EACb,KAAiC,EACjC,WAAyD,EACnD,EAAE;IACR,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,IAAI,EAAE,CAAC;QACT,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IACD,4BAA4B,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,KAAqB,EAAE,OAAgB,EAAQ,EAAE;IAC5E,SAAS,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAW,EAAE;QAC3E,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAAyB,EACyC,EAAE;IACpE,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAChF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,OAAO;QACL,MAAM;QACN,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC;QAClC,YAAY,EAAE,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;KAC1D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,KAAqB,EAAE,IAAyB,EAAW,EAAE,CACxF,iBAAiB,CAAC,IAAI,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;AAEtD,MAAM,mBAAmB,GAAG,CAC1B,KAAqB,EACyB,EAAE;IAChD,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC7D,qBAAqB,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7C,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,KAAqB,EAAE,IAAa,EAAW,EAAE;IAC9E,MAAM,SAAS,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,UAAkB,EAAW,EAAE;IAC3D,MAAM,WAAW,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC3D,OAAO,CACL,CAAC,WAAW,KAAK,IAAI;QACnB,OAAO,WAAW,KAAK,QAAQ;QAC/B,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,KAAK,MAAM,CAAC;QACpD,CAAC,SAAS,KAAK,IAAI;YACjB,OAAO,SAAS,KAAK,QAAQ;YAC7B,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,MAAM,CAAC,CACnD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,KAAqB,EAAE,IAAa,EAAW,EAAE;IAC5E,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC;IAC1E,OAAO,WAAW,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,KAAK,CAAC;AAC1D,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,KAAqB,EACrB,MAA2B,EAC3B,MAAkB,EACT,EAAE;IACX,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACjE,IACE,CAAC,MAAM;QACP,CAAC,UAAU;QACX,CAAC,YAAY;QACb,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC;QACjC,CAAC,4BAA4B,CAAC,GAAG,CAAC,YAAY,CAAC,EAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,KAAqB,EACrB,MAA2B,EAC3B,MAAkB,EACT,EAAE;IACX,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QACtF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;IAChG,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,KAAqB,EACrB,MAA2B,EAC3B,MAAkB,EACT,EAAE;IACX,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAqB,EAAE,IAAa,EAAE,MAAkB,EAAW,EAAE;IAC5F,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,OAAO,CACL,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;QAC5C,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;QAC1C,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC,CAAC;AAOF,MAAM,kBAAkB,GAAG,CAAC,MAAe,EAAE,QAA6B,EAAsB,EAAE;IAChG,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7C,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,MAA2B,EAAoC,EAAE;IAC7F,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,YAAY,IAAI,YAAY,KAAK,OAAO,EAAE,CAAC;QAClF,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,KAAqB,EAAE,SAAkB,EAAW,EAAE,CACrF,KAAK,CAAC,UAAU,EAAE,iBAAiB,EAAE,CAAC,SAAS,CAAC,KAAK,IAAI;IACzD,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC;IACvC,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAExC,MAAM,aAAa,GAAG,CAAC,KAAqB,EAAE,IAAa,EAAE,MAAkB,EAAW,EAAE;IAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,KAAqB,EAAE,IAAa,EAAQ,EAAE;IACjE,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,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,2EAA2E;QACpF,IAAI;KACL,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,KAAqB,EAAE,OAAgB,EAAQ,EAAE;IACnF,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACxD,eAAe,CACb,QAAQ,EACR,CAAC,IAAI,EAAW,EAAE;YAChB,IAAI,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;gBACnC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACzB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAChE,CAAC,EACD,KAAK,CAAC,UAAU,EAAE,WAAW,CAC9B,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,KAAqB,EACrB,OAAgB,EAChB,aAAyB,EACnB,EAAE;IACR,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACxD,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC;QAC3E,SAAS,CACP,QAAQ,EACR,cAAc,EACd,CAAC,IAAI,EAAE,MAAM,EAAW,EAAE;YACxB,IAAI,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBACvC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACzB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACpE,CAAC,EACD,KAAK,CAAC,UAAU,EAAE,WAAW,CAC9B,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,KAAqB,EACrB,OAAgB,EAChB,aAAyB,EACnB,EAAE;IACR,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,0BAA0B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,4BAA4B,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAqB,EAAE,OAAgB,EAAQ,EAAE;IACxE,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACvC,uBAAuB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAAgB,EAAE,MAAc,EAAc,EAAE;IACnF,MAAM,KAAK,GAAmB;QAC5B,OAAO;QACP,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,sBAAsB,EAAE,IAAI,GAAG,EAAE;QACjC,cAAc,EAAE,IAAI,OAAO,EAAE;QAC7B,mBAAmB,EAAE,IAAI,OAAO,EAAE;QAClC,UAAU,EAAE,IAAI,GAAG,EAAE;QACrB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,cAAc,EAAE,IAAI,OAAO,EAAE;QAC7B,MAAM;QACN,UAAU,EAAE,mBAAmB,CAAC,OAAO,CAAC;KACzC,CAAC;IACF,OAAO;QACL,cAAc,CAAC,KAAK;YAClB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO;YACT,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACpD,IAAI,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBACzC,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,OAAO,CAAC,KAAK;YACX,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,OAAO,EAAE,CAAC;gBACZ,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/rules/effect-global-fetch-imports.d.ts

@@ -0,0 +1,29 @@
+import type { ASTNode } from './effect-ast';
+/**
+ * Import bindings needed by the global-fetch AST visitor.
+ *
+ * @internal
+ */
+export interface GlobalFetchImportIndex {
+    directWrappers: Set<string>;
+    fallbackImportBindings: Set<string>;
+    namespaces: Set<string>;
+    rootNamespaces: Set<string>;
+}
+/**
+ * Effect APIs whose callbacks may execute global fetch.
+ *
+ * @internal
+ */
+export declare const globalFetchAsyncWrapperNames: ReadonlySet<string>;
+/**
+ * Index only official Effect wrapper imports and fallback shadow bindings.
+ *
+ * @param index - Mutable per-rule import sets.
+ * @param program - The current Program node.
+ * @param source - Source used only by the legacy implicit Effect fallback.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const indexGlobalFetchImports: (index: GlobalFetchImportIndex, program: ASTNode, source: string) => void;
+//# sourceMappingURL=effect-global-fetch-imports.d.ts.map

package/dist/rules/effect-global-fetch-imports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-global-fetch-imports.d.ts","sourceRoot":"","sources":["../../src/rules/effect-global-fetch-imports.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAG5C;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC7B;AAED;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAAsC,CAAC;AAkGpG;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,GAClC,OAAO,sBAAsB,EAC7B,SAAS,OAAO,EAChB,QAAQ,MAAM,KACb,IAQF,CAAC"}

package/dist/rules/effect-global-fetch-imports.js

@@ -0,0 +1,91 @@
+/* -------------------------------------------------------------------------- */
+/*       Import classification for global fetch Effect async wrappers.        */
+/* -------------------------------------------------------------------------- */
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { effectImportAliases } from './effect-rule-core.js';
+/**
+ * Effect APIs whose callbacks may execute global fetch.
+ *
+ * @internal
+ */
+export const globalFetchAsyncWrapperNames = new Set(['promise', 'tryPromise']);
+const stringValue = (node) => {
+    if (node?.type !== 'Literal') {
+        return undefined;
+    }
+    const value = Reflect.get(node, 'value');
+    if (typeof value === 'string') {
+        return value;
+    }
+    return undefined;
+};
+const isTypeOnly = (node) => Reflect.get(node, 'importKind') === 'type';
+const isOfficialNamespace = (specifier, modulePath, imported) => (modulePath === 'effect' && specifier.type === 'ImportSpecifier' && imported === 'Effect') ||
+    (modulePath === 'effect/Effect' && specifier.type === 'ImportNamespaceSpecifier');
+const isOfficialRootNamespace = (specifier, modulePath) => modulePath === 'effect' && specifier.type === 'ImportNamespaceSpecifier';
+const isOfficialDirectWrapper = (specifier, modulePath, imported) => modulePath === 'effect/Effect' &&
+    specifier.type === 'ImportSpecifier' &&
+    Boolean(imported && globalFetchAsyncWrapperNames.has(imported));
+const indexOfficialValueImport = (index, specifier, modulePath, imported, localName) => {
+    if (isOfficialRootNamespace(specifier, modulePath)) {
+        index.rootNamespaces.add(localName);
+        return true;
+    }
+    if (isOfficialNamespace(specifier, modulePath, imported)) {
+        index.namespaces.add(localName);
+        return true;
+    }
+    if (isOfficialDirectWrapper(specifier, modulePath, imported)) {
+        index.directWrappers.add(localName);
+        return true;
+    }
+    return false;
+};
+const indexValueImport = (index, specifier, modulePath, localName) => {
+    const imported = identifierName(childNode(specifier, 'imported'));
+    if (indexOfficialValueImport(index, specifier, modulePath, imported, localName)) {
+        return true;
+    }
+    index.fallbackImportBindings.add(localName);
+    return false;
+};
+const indexImportSpecifier = (index, specifier, modulePath) => {
+    if (isTypeOnly(specifier)) {
+        return false;
+    }
+    const localName = identifierName(childNode(specifier, 'local'));
+    if (localName) {
+        return indexValueImport(index, specifier, modulePath, localName);
+    }
+    return false;
+};
+const indexImportDeclaration = (index, declaration) => {
+    if (declaration.type !== 'ImportDeclaration' || isTypeOnly(declaration)) {
+        return false;
+    }
+    const modulePath = stringValue(childNode(declaration, 'source'));
+    let hasOfficialBinding = false;
+    for (const specifier of childNodes(declaration, 'specifiers')) {
+        hasOfficialBinding = indexImportSpecifier(index, specifier, modulePath) || hasOfficialBinding;
+    }
+    return hasOfficialBinding;
+};
+/**
+ * Index only official Effect wrapper imports and fallback shadow bindings.
+ *
+ * @param index - Mutable per-rule import sets.
+ * @param program - The current Program node.
+ * @param source - Source used only by the legacy implicit Effect fallback.
+ * @throws Does not throw.
+ * @internal
+ */
+export const indexGlobalFetchImports = (index, program, source) => {
+    let hasOfficialBinding = false;
+    for (const declaration of childNodes(program, 'body')) {
+        hasOfficialBinding = indexImportDeclaration(index, declaration) || hasOfficialBinding;
+    }
+    if (!hasOfficialBinding && effectImportAliases(source).includes('Effect')) {
+        index.namespaces.add('Effect');
+    }
+};
+//# sourceMappingURL=effect-global-fetch-imports.js.map

package/dist/rules/effect-global-fetch-imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-global-fetch-imports.js","sourceRoot":"","sources":["../../src/rules/effect-global-fetch-imports.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAErE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAczD;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;AAEpG,MAAM,WAAW,GAAG,CAAC,IAAyB,EAAsB,EAAE;IACpE,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAa,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,MAAM,CAAC;AAE1F,MAAM,mBAAmB,GAAG,CAC1B,SAAkB,EAClB,UAA8B,EAC9B,QAA4B,EACnB,EAAE,CACX,CAAC,UAAU,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,IAAI,QAAQ,KAAK,QAAQ,CAAC;IAC1F,CAAC,UAAU,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC;AAEpF,MAAM,uBAAuB,GAAG,CAAC,SAAkB,EAAE,UAA8B,EAAW,EAAE,CAC9F,UAAU,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,CAAC;AAE3E,MAAM,uBAAuB,GAAG,CAC9B,SAAkB,EAClB,UAA8B,EAC9B,QAA4B,EACnB,EAAE,CACX,UAAU,KAAK,eAAe;IAC9B,SAAS,CAAC,IAAI,KAAK,iBAAiB;IACpC,OAAO,CAAC,QAAQ,IAAI,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;AAElE,MAAM,wBAAwB,GAAG,CAC/B,KAA6B,EAC7B,SAAkB,EAClB,UAA8B,EAC9B,QAA4B,EAC5B,SAAiB,EACR,EAAE;IACX,IAAI,uBAAuB,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,mBAAmB,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,uBAAuB,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC7D,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,KAA6B,EAC7B,SAAkB,EAClB,UAA8B,EAC9B,SAAiB,EACR,EAAE;IACX,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IAClE,IAAI,wBAAwB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,KAA6B,EAC7B,SAAkB,EAClB,UAA8B,EACrB,EAAE;IACX,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,KAA6B,EAAE,WAAoB,EAAW,EAAE;IAC9F,IAAI,WAAW,CAAC,IAAI,KAAK,mBAAmB,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjE,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC;QAC9D,kBAAkB,GAAG,oBAAoB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,IAAI,kBAAkB,CAAC;IAChG,CAAC;IACD,OAAO,kBAAkB,CAAC;AAC5B,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAA6B,EAC7B,OAAgB,EAChB,MAAc,EACR,EAAE;IACR,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAC/B,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACtD,kBAAkB,GAAG,sBAAsB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,kBAAkB,CAAC;IACxF,CAAC;IACD,IAAI,CAAC,kBAAkB,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1E,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;AACH,CAAC,CAAC"}

package/dist/rules/effect-import-bindings.d.ts

@@ -0,0 +1,13 @@
+import type { ASTNode } from './effect-ast';
+import type { EffectAPIBindings } from './effect-boundary-ast-shared';
+/**
+ * Replace source-fallback bindings with exact top-level Program imports.
+ *
+ * @param bindings - Mutable binding index owned by one rule instance.
+ * @param program - Parsed Program whose direct children are module statements.
+ * @returns Nothing; the supplied per-file binding index is updated in place.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const indexEffectAPIBindings: (bindings: EffectAPIBindings, program: ASTNode) => void;
+//# sourceMappingURL=effect-import-bindings.d.ts.map

package/dist/rules/effect-import-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-import-bindings.d.ts","sourceRoot":"","sources":["../../src/rules/effect-import-bindings.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAsItE;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GAAI,UAAU,iBAAiB,EAAE,SAAS,OAAO,KAAG,IAMtF,CAAC"}

package/dist/rules/effect-import-bindings.js

@@ -0,0 +1,133 @@
+/* -------------------------------------------------------------------------- */
+/*         Exact Program import indexing for shared Effect AST rules.         */
+/* -------------------------------------------------------------------------- */
+import { asNode, childNode, childNodes, identifierName } from './effect-ast.js';
+const ROOT_MODULE = 'effect';
+const EFFECT_MODULE = 'effect/Effect';
+const literalString = (node) => {
+    if (node?.type !== 'Literal' && node?.type !== 'StringLiteral') {
+        return undefined;
+    }
+    const value = Reflect.get(node, 'value');
+    if (typeof value === 'string') {
+        return value;
+    }
+    return undefined;
+};
+const isTypeOnly = (node) => Reflect.get(node, 'importKind') === 'type';
+const resetBindings = (bindings) => {
+    bindings.directFunctionNames.clear();
+    bindings.directFunctions.clear();
+    bindings.namespaces.clear();
+    bindings.rootNamespaces.clear();
+    bindings.succeedFunctions.clear();
+    bindings.suspendFunctions.clear();
+    bindings.syncFunctions.clear();
+};
+const addDirectFunction = (bindings, localName, importedName) => {
+    if (!localName || !importedName) {
+        return;
+    }
+    bindings.directFunctions.add(localName);
+    bindings.directFunctionNames.set(localName, importedName);
+    if (importedName === 'succeed') {
+        bindings.succeedFunctions.add(localName);
+    }
+    else if (importedName === 'suspend') {
+        bindings.suspendFunctions.add(localName);
+    }
+    else if (importedName === 'sync') {
+        bindings.syncFunctions.add(localName);
+    }
+};
+const addRootSpecifier = (bindings, specifier) => {
+    const localName = identifierName(childNode(specifier, 'local'));
+    if (specifier.type === 'ImportNamespaceSpecifier') {
+        if (localName) {
+            bindings.rootNamespaces.add(localName);
+        }
+        return;
+    }
+    if (specifier.type === 'ImportSpecifier' &&
+        identifierName(childNode(specifier, 'imported')) === 'Effect' &&
+        localName) {
+        bindings.namespaces.add(localName);
+    }
+};
+const addEffectSpecifier = (bindings, specifier) => {
+    const localName = identifierName(childNode(specifier, 'local'));
+    if (specifier.type === 'ImportNamespaceSpecifier') {
+        if (localName) {
+            bindings.namespaces.add(localName);
+        }
+        return;
+    }
+    if (specifier.type === 'ImportSpecifier') {
+        addDirectFunction(bindings, localName, identifierName(childNode(specifier, 'imported')));
+    }
+};
+const isEffectModuleName = (moduleName) => {
+    if (!moduleName) {
+        return false;
+    }
+    return (moduleName === ROOT_MODULE ||
+        moduleName.startsWith('effect/') ||
+        moduleName.startsWith('@effect/'));
+};
+const addRuntimeSpecifiers = (bindings, declaration, moduleName) => {
+    for (const specifier of childNodes(declaration, 'specifiers')) {
+        if (!isTypeOnly(specifier)) {
+            if (moduleName === ROOT_MODULE) {
+                addRootSpecifier(bindings, specifier);
+            }
+            else if (moduleName === EFFECT_MODULE) {
+                addEffectSpecifier(bindings, specifier);
+            }
+        }
+    }
+};
+const addImportDeclaration = (bindings, declaration) => {
+    if (declaration.type !== 'ImportDeclaration') {
+        return false;
+    }
+    const moduleName = literalString(childNode(declaration, 'source'));
+    if (!isEffectModuleName(moduleName)) {
+        return false;
+    }
+    if (!isTypeOnly(declaration)) {
+        addRuntimeSpecifiers(bindings, declaration, moduleName);
+    }
+    return true;
+};
+const indexProgramStatements = (bindings, body) => {
+    if (!Array.isArray(body)) {
+        return false;
+    }
+    let hasEffectImport = false;
+    const statements = body;
+    const statementCount = statements.length;
+    for (let statementIndex = 0; statementIndex < statementCount; statementIndex += 1) {
+        const statement = asNode(statements[statementIndex]);
+        if (statement) {
+            hasEffectImport = addImportDeclaration(bindings, statement) || hasEffectImport;
+        }
+    }
+    return hasEffectImport;
+};
+/**
+ * Replace source-fallback bindings with exact top-level Program imports.
+ *
+ * @param bindings - Mutable binding index owned by one rule instance.
+ * @param program - Parsed Program whose direct children are module statements.
+ * @returns Nothing; the supplied per-file binding index is updated in place.
+ * @throws Does not throw.
+ * @internal
+ */
+export const indexEffectAPIBindings = (bindings, program) => {
+    resetBindings(bindings);
+    const hasEffectImport = indexProgramStatements(bindings, Reflect.get(program, 'body'));
+    if (!hasEffectImport) {
+        bindings.namespaces.add('Effect');
+    }
+};
+//# sourceMappingURL=effect-import-bindings.js.map

package/dist/rules/effect-import-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-import-bindings.js","sourceRoot":"","sources":["../../src/rules/effect-import-bindings.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAI7E,MAAM,WAAW,GAAG,QAAQ,CAAC;AAC7B,MAAM,aAAa,GAAG,eAAe,CAAC;AAEtC,MAAM,aAAa,GAAG,CAAC,IAAyB,EAAsB,EAAE;IACtE,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAa,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,MAAM,CAAC;AAE1F,MAAM,aAAa,GAAG,CAAC,QAA2B,EAAQ,EAAE;IAC1D,QAAQ,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;IAChC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,QAA2B,EAC3B,SAA6B,EAC7B,YAAgC,EAC1B,EAAE;IACR,IAAI,CAAC,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACxC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC1D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;SAAM,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QACtC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;SAAM,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;QACnC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,QAA2B,EAAE,SAAkB,EAAQ,EAAE;IACjF,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;QAClD,IAAI,SAAS,EAAE,CAAC;YACd,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACzC,CAAC;QACD,OAAO;IACT,CAAC;IACD,IACE,SAAS,CAAC,IAAI,KAAK,iBAAiB;QACpC,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,KAAK,QAAQ;QAC7D,SAAS,EACT,CAAC;QACD,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,QAA2B,EAAE,SAAkB,EAAQ,EAAE;IACnF,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;QAClD,IAAI,SAAS,EAAE,CAAC;YACd,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,iBAAiB,CAAC,QAAQ,EAAE,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,UAA8B,EAAwB,EAAE;IAClF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,UAAU,KAAK,WAAW;QAC1B,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC;QAChC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAClC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,QAA2B,EAC3B,WAAoB,EACpB,UAAkB,EACZ,EAAE;IACR,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;gBAC/B,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;gBACxC,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,QAA2B,EAAE,WAAoB,EAAW,EAAE;IAC1F,IAAI,WAAW,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7B,oBAAoB,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,QAA2B,EAAE,IAAa,EAAW,EAAE;IACrF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,MAAM,UAAU,GAAuB,IAAI,CAAC;IAC5C,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;IACzC,KAAK,IAAI,cAAc,GAAG,CAAC,EAAE,cAAc,GAAG,cAAc,EAAE,cAAc,IAAI,CAAC,EAAE,CAAC;QAClF,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;QACrD,IAAI,SAAS,EAAE,CAAC;YACd,eAAe,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,eAAe,CAAC;QACjF,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,QAA2B,EAAE,OAAgB,EAAQ,EAAE;IAC5F,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxB,MAAM,eAAe,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACvF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;AACH,CAAC,CAAC"}

package/dist/rules/effect-imported-call-matcher.d.ts

@@ -0,0 +1,24 @@
+import type { Context } from './effect-rule-core';
+/**
+ * Per-rule imported call matcher initialized by the host Program visitor.
+ *
+ * @internal
+ */
+export interface ImportedEffectCallMatcher {
+    initialize: (node: object) => void;
+    matches: (callee: object | undefined) => boolean;
+}
+/**
+ * Build an exact imported-reference matcher for selected functions of one Effect API module. Native
+ * Oxlint visitors use scope-manager identity in constant time. Direct synthetic callers receive a
+ * lexical Program fallback so tests and older compatible hosts retain exact semantics.
+ *
+ * @param context - The current rule context.
+ * @param APIName - The Effect API namespace, such as `Effect`.
+ * @param functionNames - Callable exports accepted by this matcher.
+ * @returns A Program initializer and allocation-free callee predicate.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const importedEffectCallMatcher: (context: Context, APIName: string, functionNames: readonly string[]) => ImportedEffectCallMatcher;
+//# sourceMappingURL=effect-imported-call-matcher.d.ts.map

package/dist/rules/effect-imported-call-matcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-imported-call-matcher.d.ts","sourceRoot":"","sources":["../../src/rules/effect-imported-call-matcher.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAkBlD;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC;CAClD;AAwUD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,yBAAyB,GACpC,SAAS,OAAO,EAChB,SAAS,MAAM,EACf,eAAe,SAAS,MAAM,EAAE,KAC/B,yBAiCF,CAAC"}