@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-parameter-bindings.js

@@ -0,0 +1,187 @@
+/* -------------------------------------------------------------------------- */
+/*             Parameter binding for Promise execution analysis.              */
+/* -------------------------------------------------------------------------- */
+import { argumentAt, boundArgument, concreteArgument, isUndefinedArgument, } from './effect-promise-environment-values.js';
+import { arrayValues, objectPropertyRead } from './effect-promise-environment-projections.js';
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { declaredPromisePropertyName, rawPromiseNodes } from './effect-promise-ast-values.js';
+import { functionHeaderScopes, resolvedHelper } from './effect-promise-callables.js';
+import { isFunctionNode } from './effect-boundary-ast-shared.js';
+import { unknownArgument } from './effect-promise-environment-types.js';
+const bindAssignmentPattern = (pattern, value, build) => {
+    let effectiveValue = value;
+    if (isUndefinedArgument(value)) {
+        const initializer = boundArgument(childNode(pattern, 'right'), build.scopes, build.helperScopes, build.environments);
+        const concrete = concreteArgument(initializer);
+        if (concrete) {
+            build.defaults.push({ expression: concrete, pattern });
+        }
+        effectiveValue = initializer;
+    }
+    bindPattern(childNode(pattern, 'left'), effectiveValue, build);
+};
+const bindObjectProperty = (property, value, build) => {
+    if (property.type !== 'Property') {
+        return;
+    }
+    const propertyKey = declaredPromisePropertyName(property);
+    let propertyValue = unknownArgument;
+    if (propertyKey) {
+        const read = objectPropertyRead(value, propertyKey);
+        propertyValue = read.value;
+        if (read.getter) {
+            build.getters.push(read.getter);
+        }
+    }
+    bindPattern(childNode(property, 'value'), propertyValue, build);
+};
+const bindObjectPattern = (pattern, value, build) => {
+    for (const property of childNodes(pattern, 'properties')) {
+        bindObjectProperty(property, value, build);
+    }
+};
+const arrayPatternValues = (value) => {
+    const array = concreteArgument(value);
+    if (array?.node.type === 'ArrayExpression') {
+        return arrayValues(array);
+    }
+    return { isExact: false, values: [] };
+};
+const bindArrayPattern = (pattern, value, build) => {
+    const values = arrayPatternValues(value);
+    const patterns = rawPromiseNodes(pattern, 'elements');
+    for (let index = 0; index < patterns.length; index += 1) {
+        bindPattern(patterns[index], argumentAt(values, index), build);
+    }
+};
+const wrappedChildKey = (pattern) => {
+    if (pattern.type === 'RestElement') {
+        return 'argument';
+    }
+    if (pattern.type === 'TSParameterProperty') {
+        return 'parameter';
+    }
+    return undefined;
+};
+const bindWrappedPattern = (pattern, value, build) => {
+    if (pattern.type === 'AssignmentPattern') {
+        bindAssignmentPattern(pattern, value, build);
+        return true;
+    }
+    const childKey = wrappedChildKey(pattern);
+    if (!childKey) {
+        return false;
+    }
+    bindPattern(childNode(pattern, childKey), value, build);
+    return true;
+};
+const bindNamedPattern = (pattern, value, build) => {
+    const name = identifierName(pattern);
+    if (!name) {
+        return false;
+    }
+    build.environment.set(name, value);
+    return true;
+};
+/**
+ * Record one evaluated local declarator in a block-local value environment.
+ *
+ * @internal
+ */
+export const bindLocalDeclarator = (declarator, environment, context) => {
+    const name = identifierName(childNode(declarator, 'id'));
+    if (name) {
+        environment.set(name, context.evaluatedValue ??
+            boundArgument(childNode(declarator, 'init'), context.scopes, context.helperScopes, context.environments));
+    }
+};
+const bindPattern = (pattern, value, build) => {
+    if (!pattern || bindNamedPattern(pattern, value, build)) {
+        return;
+    }
+    if (bindWrappedPattern(pattern, value, build)) {
+        return;
+    }
+    if (pattern.type === 'ObjectPattern') {
+        bindObjectPattern(pattern, value, build);
+        return;
+    }
+    bindArrayPattern(pattern, value, build);
+};
+const callableBinding = (value) => {
+    const concrete = concreteArgument(value);
+    if (!concrete) {
+        return undefined;
+    }
+    if (isFunctionNode(concrete.node)) {
+        return {
+            helperScopes: concrete.helperScopes,
+            node: concrete.node,
+            scopes: concrete.scopes,
+        };
+    }
+    return resolvedHelper(concrete.node, concrete.helperScopes);
+};
+const bindParameterCallables = (bindings, environment) => {
+    for (const [name, value] of environment) {
+        bindings.set(name, callableBinding(value));
+    }
+};
+const bindRESTParameter = (restPattern, argumentsList, start, build) => {
+    if (restPattern?.type !== 'ArrayPattern') {
+        bindPattern(restPattern, unknownArgument, build);
+        return;
+    }
+    const patterns = rawPromiseNodes(restPattern, 'elements');
+    for (let index = 0; index < patterns.length; index += 1) {
+        bindPattern(patterns[index], argumentAt(argumentsList, start + index), build);
+    }
+};
+const bindParameter = (parameter, argumentsList, index, build) => {
+    if (parameter?.type === 'RestElement') {
+        bindRESTParameter(childNode(parameter, 'argument'), argumentsList, index, build);
+        return;
+    }
+    bindPattern(parameter, argumentAt(argumentsList, index), build);
+};
+const bindParameters = (parameters, argumentsList, build) => {
+    for (let index = 0; index < parameters.length; index += 1) {
+        bindParameter(parameters[index], argumentsList, index, build);
+    }
+};
+const parameterBuild = (binding, functionScopes, inheritedEnvironments) => {
+    const headerScopes = functionHeaderScopes(binding.node, binding);
+    const runtimeBindings = new Map();
+    const environment = new Map();
+    const helperScopes = [...headerScopes, runtimeBindings];
+    const environments = [
+        ...inheritedEnvironments,
+        { helperScope: runtimeBindings, values: environment },
+    ];
+    return {
+        defaults: [],
+        environment,
+        environments,
+        getters: [],
+        helperScopes,
+        runtimeBindings,
+        scopes: functionScopes,
+    };
+};
+/**
+ * Build invocation-local values and callable bindings for one function call.
+ *
+ * @internal
+ */
+export const prepareParameters = (binding, argumentsList, functionScopes, inheritedEnvironments) => {
+    const build = parameterBuild(binding, functionScopes, inheritedEnvironments);
+    bindParameters(childNodes(binding.node, 'params'), argumentsList, build);
+    bindParameterCallables(build.runtimeBindings, build.environment);
+    return {
+        defaults: build.defaults,
+        environments: build.environments,
+        getters: build.getters,
+        helperScopes: build.helperScopes,
+    };
+};
+//# sourceMappingURL=effect-promise-parameter-bindings.js.map

package/dist/rules/effect-promise-parameter-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-parameter-bindings.js","sourceRoot":"","sources":["../../src/rules/effect-promise-parameter-bindings.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAUhF,OAAO,EACL,UAAU,EACV,aAAa,EACb,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,2BAA2B,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAGlF,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAErE,MAAM,qBAAqB,GAAG,CAC5B,OAAgB,EAChB,KAAoB,EACpB,KAAqB,EACf,EAAE;IACR,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,aAAa,CAC/B,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,EAC3B,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,YAAY,CACnB,CAAC;QACF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC/C,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IACD,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,QAAiB,EACjB,KAAoB,EACpB,KAAqB,EACf,EAAE;IACR,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO;IACT,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,aAAa,GAAkB,eAAe,CAAC;IACnD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACpD,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,WAAW,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,OAAgB,EAAE,KAAoB,EAAE,KAAqB,EAAQ,EAAE;IAChG,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QACzD,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAoB,EAAsB,EAAE;IACtE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,OAAgB,EAAE,KAAoB,EAAE,KAAqB,EAAQ,EAAE;IAC/F,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAsB,EAAE;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,OAAgB,EAChB,KAAoB,EACpB,KAAqB,EACZ,EAAE;IACX,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACzC,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IACD,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,OAAgB,EAChB,KAAoB,EACpB,KAAqB,EACZ,EAAE;IACX,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAcF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,UAAmB,EACnB,WAAuC,EACvC,OAA+B,EACzB,EAAE;IACR,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IACzD,IAAI,IAAI,EAAE,CAAC;QACT,WAAW,CAAC,GAAG,CACb,IAAI,EACJ,OAAO,CAAC,cAAc;YACpB,aAAa,CACX,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,EAC7B,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,YAAY,CACrB,CACJ,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,OAA4B,EAC5B,KAAoB,EACpB,KAAqB,EACf,EAAE;IACR,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO;IACT,CAAC;IACD,IAAI,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrC,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACzC,OAAO;IACT,CAAC;IACD,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAoB,EAA+B,EAAE;IAC5E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;SACxB,CAAC;IACJ,CAAC;IACD,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAAkD,EAClD,WAA+C,EACzC,EAAE;IACR,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QACxC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,WAAgC,EAChC,aAAiC,EACjC,KAAa,EACb,KAAqB,EACf,EAAE;IACR,IAAI,WAAW,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QACzC,WAAW,CAAC,WAAW,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAC1D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,aAAa,EAAE,KAAK,GAAG,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,SAA8B,EAC9B,aAAiC,EACjC,KAAa,EACb,KAAqB,EACf,EAAE;IACR,IAAI,SAAS,EAAE,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjF,OAAO;IACT,CAAC;IACD,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,UAA8B,EAC9B,aAAiC,EACjC,KAAqB,EACf,EAAE;IACR,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,OAAwB,EACxB,cAA0B,EAC1B,qBAA4C,EAC5B,EAAE;IAClB,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAuC,CAAC;IACvE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD,MAAM,YAAY,GAAiB,CAAC,GAAG,YAAY,EAAE,eAAe,CAAC,CAAC;IACtE,MAAM,YAAY,GAA0B;QAC1C,GAAG,qBAAqB;QACxB,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE;KACtD,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,WAAW;QACX,YAAY;QACZ,OAAO,EAAE,EAAE;QACX,YAAY;QACZ,eAAe;QACf,MAAM,EAAE,cAAc;KACvB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAAwB,EACxB,aAAiC,EACjC,cAA0B,EAC1B,qBAA4C,EACxB,EAAE;IACtB,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,EAAE,qBAAqB,CAAC,CAAC;IAC7E,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;IACzE,sBAAsB,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACjE,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC;AACJ,CAAC,CAAC"}

package/dist/rules/effect-promise-pattern-bindings.d.ts

@@ -0,0 +1,9 @@
+import type { ASTNode } from './effect-ast';
+import type { FunctionBinding } from './effect-promise-callable-types';
+/**
+ * Add every runtime binding introduced by one declaration pattern.
+ *
+ * @internal
+ */
+export declare const addPatternNames: (bindings: Map<string, FunctionBinding | undefined>, pattern: ASTNode | undefined) => void;
+//# sourceMappingURL=effect-promise-pattern-bindings.d.ts.map

package/dist/rules/effect-promise-pattern-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-pattern-bindings.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-pattern-bindings.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AA6CvE;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAC1B,UAAU,GAAG,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAAC,EAClD,SAAS,OAAO,GAAG,SAAS,KAC3B,IAYF,CAAC"}

package/dist/rules/effect-promise-pattern-bindings.js

@@ -0,0 +1,54 @@
+/* -------------------------------------------------------------------------- */
+/*             Pattern declarations for Promise callable scopes.              */
+/* -------------------------------------------------------------------------- */
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+const addWrappedPatternNames = (bindings, pattern) => {
+    if (pattern.type === 'AssignmentPattern') {
+        addPatternNames(bindings, childNode(pattern, 'left'));
+        return true;
+    }
+    if (pattern.type === 'RestElement') {
+        addPatternNames(bindings, childNode(pattern, 'argument'));
+        return true;
+    }
+    if (pattern.type === 'TSParameterProperty') {
+        addPatternNames(bindings, childNode(pattern, 'parameter'));
+        return true;
+    }
+    return false;
+};
+const addPatternElementName = (bindings, element) => {
+    if (element.type === 'Property') {
+        addPatternNames(bindings, childNode(element, 'value'));
+        return;
+    }
+    addPatternNames(bindings, element);
+};
+const addDestructuredPatternNames = (bindings, pattern) => {
+    let key = 'elements';
+    if (pattern.type === 'ObjectPattern') {
+        key = 'properties';
+    }
+    for (const element of childNodes(pattern, key)) {
+        addPatternElementName(bindings, element);
+    }
+};
+/**
+ * Add every runtime binding introduced by one declaration pattern.
+ *
+ * @internal
+ */
+export const addPatternNames = (bindings, pattern) => {
+    if (!pattern) {
+        return;
+    }
+    const name = identifierName(pattern);
+    if (name) {
+        bindings.set(name, undefined);
+        return;
+    }
+    if (!addWrappedPatternNames(bindings, pattern)) {
+        addDestructuredPatternNames(bindings, pattern);
+    }
+};
+//# sourceMappingURL=effect-promise-pattern-bindings.js.map

package/dist/rules/effect-promise-pattern-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-pattern-bindings.js","sourceRoot":"","sources":["../../src/rules/effect-promise-pattern-bindings.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAIrE,MAAM,sBAAsB,GAAG,CAC7B,QAAkD,EAClD,OAAgB,EACP,EAAE;IACX,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACzC,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC3C,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAkD,EAClD,OAAgB,EACV,EAAE;IACR,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACvD,OAAO;IACT,CAAC;IACD,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAkD,EAClD,OAAgB,EACV,EAAE;IACR,IAAI,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrC,GAAG,GAAG,YAAY,CAAC;IACrB,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;QAC/C,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAAkD,EAClD,OAA4B,EACtB,EAAE;IACR,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9B,OAAO;IACT,CAAC;IACD,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/C,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;AACH,CAAC,CAAC"}

package/dist/rules/effect-promise-program-traversal.d.ts

@@ -0,0 +1,40 @@
+import type { ASTNode } from './effect-ast';
+import type { HelperScopes } from './effect-promise-callables';
+type HelperFrameKind = 'container' | 'function';
+/**
+ * Lazily materialized callable provenance for one lexical AST boundary.
+ *
+ * @internal
+ */
+export interface NativeHelperFrame {
+    helperScopes: HelperScopes | undefined;
+    kind: HelperFrameKind;
+    node: ASTNode;
+    parent: NativeHelperFrame | undefined;
+}
+interface NativeProgramTraversalInput {
+    onCall: (node: ASTNode, frame: NativeHelperFrame) => void;
+    program: ASTNode;
+    seenCalls: WeakSet<object>;
+    visitorKeys: Readonly<Record<string, readonly string[]>>;
+}
+/**
+ * Traverse a native Program once while retaining only callable-scope boundaries.
+ *
+ * @param input - Program, native visitor keys, call callback, and host-dispatch cache.
+ * @returns The lazily materialized root helper frame.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const visitNativePromiseProgram: (input: NativeProgramTraversalInput) => NativeHelperFrame;
+/**
+ * Materialize callable scopes for a candidate's lexical boundary chain.
+ *
+ * @param frame - Innermost boundary frame at the candidate call.
+ * @returns Callable bindings visible from the candidate.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const helperScopesForNativeFrame: (frame: NativeHelperFrame) => HelperScopes;
+export {};
+//# sourceMappingURL=effect-promise-program-traversal.d.ts.map

package/dist/rules/effect-promise-program-traversal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-program-traversal.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-program-traversal.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAQ/D,KAAK,eAAe,GAAG,WAAW,GAAG,UAAU,CAAC;AAEhD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,YAAY,GAAG,SAAS,CAAC;IACvC,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACvC;AAED,UAAU,2BAA2B;IACnC,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;IAC1D,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CAC1D;AAgFD;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,OAAO,2BAA2B,KACjC,iBAWF,CAAC;AAwBF;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,GAAI,OAAO,iBAAiB,KAAG,YAUrE,CAAC"}

package/dist/rules/effect-promise-program-traversal.js

@@ -0,0 +1,115 @@
+/* -------------------------------------------------------------------------- */
+/*       Program-first traversal for native Promise boundary analysis.        */
+/* -------------------------------------------------------------------------- */
+import { containerHelperScopes, functionHeaderScopes } from './effect-promise-callables.js';
+import { asNode } from './effect-ast.js';
+import { isFunctionNode } from './effect-boundary-ast-shared.js';
+const emptyScopes = [];
+const emptyHelperScopes = [];
+const helperFrame = (node, kind, parent) => ({
+    helperScopes: undefined,
+    kind,
+    node,
+    parent,
+});
+const nodeFrame = (node, inherited) => {
+    if (node.type === 'Program' || node.type === 'BlockStatement') {
+        return helperFrame(node, 'container', inherited);
+    }
+    return inherited;
+};
+const childFrame = (node, inherited) => {
+    if (isFunctionNode(node)) {
+        return helperFrame(node, 'function', inherited);
+    }
+    return inherited;
+};
+const visitChild = (value, frame, input) => {
+    if (Array.isArray(value)) {
+        const valueCount = value.length;
+        for (let valueIndex = 0; valueIndex < valueCount; valueIndex += 1) {
+            visitChild(value[valueIndex], frame, input);
+        }
+        return;
+    }
+    const child = asNode(value);
+    if (child) {
+        visitNode(child, frame, input);
+    }
+};
+const visitNode = (node, inherited, input) => {
+    const currentFrame = nodeFrame(node, inherited);
+    if (node.type === 'CallExpression' && currentFrame) {
+        input.seenCalls.add(node);
+        input.onCall(node, currentFrame);
+    }
+    const descendantsFrame = childFrame(node, currentFrame);
+    visitChildren(node, descendantsFrame, input);
+};
+const visitChildren = (node, frame, input) => {
+    const keys = input.visitorKeys[node.type] ?? [];
+    const keyCount = keys.length;
+    for (let keyIndex = 0; keyIndex < keyCount; keyIndex += 1) {
+        const key = keys[keyIndex];
+        if (key) {
+            visitChild(Reflect.get(node, key), frame, input);
+        }
+    }
+};
+/**
+ * Traverse a native Program once while retaining only callable-scope boundaries.
+ *
+ * @param input - Program, native visitor keys, call callback, and host-dispatch cache.
+ * @returns The lazily materialized root helper frame.
+ * @throws Does not throw.
+ * @internal
+ */
+export const visitNativePromiseProgram = (input) => {
+    const rootFrame = helperFrame(input.program, 'container', undefined);
+    const keys = input.visitorKeys[input.program.type] ?? [];
+    const keyCount = keys.length;
+    for (let keyIndex = 0; keyIndex < keyCount; keyIndex += 1) {
+        const key = keys[keyIndex];
+        if (key) {
+            visitChild(Reflect.get(input.program, key), rootFrame, input);
+        }
+    }
+    return rootFrame;
+};
+const inheritedHelperScopes = (frame) => {
+    const { parent } = frame;
+    if (parent) {
+        return helperScopesForNativeFrame(parent);
+    }
+    return emptyHelperScopes;
+};
+const materializeHelperScopes = (frame, inherited) => {
+    if (frame.kind === 'container') {
+        return containerHelperScopes(frame.node, emptyScopes, inherited);
+    }
+    return functionHeaderScopes(frame.node, {
+        helperScopes: inherited,
+        node: frame.node,
+        scopes: emptyScopes,
+    });
+};
+/**
+ * Materialize callable scopes for a candidate's lexical boundary chain.
+ *
+ * @param frame - Innermost boundary frame at the candidate call.
+ * @returns Callable bindings visible from the candidate.
+ * @throws Does not throw.
+ * @internal
+ */
+export const helperScopesForNativeFrame = (frame) => {
+    const { helperScopes } = frame;
+    if (helperScopes) {
+        return helperScopes;
+    }
+    const inherited = inheritedHelperScopes(frame);
+    const materialized = materializeHelperScopes(frame, inherited);
+    const mutableFrame = frame;
+    mutableFrame.helperScopes = materialized;
+    return materialized;
+};
+//# sourceMappingURL=effect-promise-program-traversal.js.map

package/dist/rules/effect-promise-program-traversal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-program-traversal.js","sourceRoot":"","sources":["../../src/rules/effect-promise-program-traversal.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,MAAM,WAAW,GAAe,EAAE,CAAC;AACnC,MAAM,iBAAiB,GAAiB,EAAE,CAAC;AAuB3C,MAAM,WAAW,GAAG,CAClB,IAAa,EACb,IAAqB,EACrB,MAAqC,EAClB,EAAE,CAAC,CAAC;IACvB,YAAY,EAAE,SAAS;IACvB,IAAI;IACJ,IAAI;IACJ,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAChB,IAAa,EACb,SAAwC,EACT,EAAE;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9D,OAAO,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAAa,EACb,SAAwC,EACT,EAAE;IACjC,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAAc,EACd,KAAoC,EACpC,KAAkC,EAC5B,EAAE;IACR,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;QAChC,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,UAAU,EAAE,UAAU,IAAI,CAAC,EAAE,CAAC;YAClE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,KAAK,EAAE,CAAC;QACV,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAChB,IAAa,EACb,SAAwC,EACxC,KAAkC,EAC5B,EAAE;IACR,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,YAAY,EAAE,CAAC;QACnD,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,gBAAgB,GAAG,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACxD,aAAa,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAa,EACb,KAAoC,EACpC,KAAkC,EAC5B,EAAE;IACR,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7B,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAAE,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,IAAI,GAAG,EAAE,CAAC;YACR,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAkC,EACf,EAAE;IACrB,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7B,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAAE,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,IAAI,GAAG,EAAE,CAAC;YACR,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,KAAwB,EAAgB,EAAE;IACvE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,0BAA0B,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,KAAwB,EACxB,SAAuB,EACT,EAAE;IAChB,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/B,OAAO,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE;QACtC,YAAY,EAAE,SAAS;QACvB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,WAAW;KACpB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,KAAwB,EAAgB,EAAE;IACnF,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,KAAK,CAAC;IAC3B,YAAY,CAAC,YAAY,GAAG,YAAY,CAAC;IACzC,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC"}

package/dist/rules/effect-promise-rule-bindings.d.ts

@@ -0,0 +1,23 @@
+import type { EffectAPIBindings } from './effect-boundary-ast-shared';
+/**
+ * Mutable binding cache shared by one Promise rule visitor.
+ *
+ * @internal
+ */
+export interface PromiseBindingState {
+    bindings: EffectAPIBindings | undefined;
+    source: string;
+}
+/**
+ * Read or build source-backed Effect API bindings.
+ *
+ * @internal
+ */
+export declare const sourceBindingsFor: (state: PromiseBindingState) => EffectAPIBindings;
+/**
+ * Read or initialize bindings populated by native Program indexing.
+ *
+ * @internal
+ */
+export declare const programBindingsFor: (state: PromiseBindingState) => EffectAPIBindings;
+//# sourceMappingURL=effect-promise-rule-bindings.d.ts.map

package/dist/rules/effect-promise-rule-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-rule-bindings.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-rule-bindings.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAGtE;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;CAChB;AAYD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,mBAAmB,KAAG,iBAS9D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,mBAAmB,KAAG,iBAM/D,CAAC"}

package/dist/rules/effect-promise-rule-bindings.js

@@ -0,0 +1,41 @@
+/* -------------------------------------------------------------------------- */
+/*            Effect API binding cache for Promise boundary rules.            */
+/* -------------------------------------------------------------------------- */
+import { effectAPIBindingsFor } from './effect-boundary-ast-shared.js';
+const emptyEffectAPIBindings = () => ({
+    directFunctionNames: new Map(),
+    directFunctions: new Set(),
+    namespaces: new Set(),
+    rootNamespaces: new Set(),
+    succeedFunctions: new Set(),
+    suspendFunctions: new Set(),
+    syncFunctions: new Set(),
+});
+/**
+ * Read or build source-backed Effect API bindings.
+ *
+ * @internal
+ */
+export const sourceBindingsFor = (state) => {
+    const { bindings, source } = state;
+    if (bindings) {
+        return bindings;
+    }
+    const sourceBindings = effectAPIBindingsFor(source);
+    const mutableState = state;
+    mutableState.bindings = sourceBindings;
+    return sourceBindings;
+};
+/**
+ * Read or initialize bindings populated by native Program indexing.
+ *
+ * @internal
+ */
+export const programBindingsFor = (state) => {
+    const { bindings: existingBindings } = state;
+    const bindings = existingBindings ?? emptyEffectAPIBindings();
+    const mutableState = state;
+    mutableState.bindings = bindings;
+    return bindings;
+};
+//# sourceMappingURL=effect-promise-rule-bindings.js.map

package/dist/rules/effect-promise-rule-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-rule-bindings.js","sourceRoot":"","sources":["../../src/rules/effect-promise-rule-bindings.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAYpE,MAAM,sBAAsB,GAAG,GAAsB,EAAE,CAAC,CAAC;IACvD,mBAAmB,EAAE,IAAI,GAAG,EAAE;IAC9B,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,UAAU,EAAE,IAAI,GAAG,EAAE;IACrB,cAAc,EAAE,IAAI,GAAG,EAAE;IACzB,gBAAgB,EAAE,IAAI,GAAG,EAAE;IAC3B,gBAAgB,EAAE,IAAI,GAAG,EAAE;IAC3B,aAAa,EAAE,IAAI,GAAG,EAAE;CACzB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAA0B,EAAqB,EAAE;IACjF,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,KAAK,CAAC;IAC3B,YAAY,CAAC,QAAQ,GAAG,cAAc,CAAC;IACvC,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAA0B,EAAqB,EAAE;IAClF,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAC7C,MAAM,QAAQ,GAAG,gBAAgB,IAAI,sBAAsB,EAAE,CAAC;IAC9D,MAAM,YAAY,GAAG,KAAK,CAAC;IAC3B,YAAY,CAAC,QAAQ,GAAG,QAAQ,CAAC;IACjC,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-arguments.d.ts

@@ -0,0 +1,18 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost, RuntimeValue } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Exact arguments and completion produced by left-to-right evaluation.
+ *
+ * @internal
+ */
+export interface RuntimeArgumentsResult {
+    completion: RuntimeResult['completion'];
+    values: readonly RuntimeValue[];
+}
+/**
+ * Evaluate call arguments exactly, including bounded exact array spreads.
+ *
+ * @internal
+ */
+export declare const evaluateRuntimeArguments: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext, evaluate: (node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult) => RuntimeArgumentsResult;
+//# sourceMappingURL=effect-promise-runtime-arguments.d.ts.map

package/dist/rules/effect-promise-runtime-arguments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-arguments.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-arguments.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,YAAY,EACb,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAO5C;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;CACjC;AAkCD;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,EAChC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,KAAK,aAAa,KAC3E,sBAaF,CAAC"}

package/dist/rules/effect-promise-runtime-arguments.js

@@ -0,0 +1,49 @@
+/* -------------------------------------------------------------------------- */
+/*       Exact call arguments for the Effect runtime task interpreter.        */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_NORMAL } from './effect-promise-runtime-model.js';
+import { childNode } from './effect-ast.js';
+import { rawPromiseNodes } from './effect-promise-ast-values.js';
+import { runtimeArrayValues } from './effect-promise-runtime-heap.js';
+import { runtimeObjectReference } from './effect-promise-runtime-values.js';
+const spreadValues = (host, value) => {
+    const reference = runtimeObjectReference(value);
+    if (reference) {
+        return runtimeArrayValues(host.state, reference);
+    }
+    return undefined;
+};
+const argumentExpression = (argument) => {
+    if (argument.type === 'SpreadElement') {
+        return childNode(argument, 'argument');
+    }
+    return argument;
+};
+const appendArgument = (host, argument, value, values) => {
+    const spread = spreadValues(host, value);
+    if (argument.type === 'SpreadElement' && spread) {
+        values.push(...spread);
+        return;
+    }
+    values.push(value);
+};
+/**
+ * Evaluate call arguments exactly, including bounded exact array spreads.
+ *
+ * @internal
+ */
+export const evaluateRuntimeArguments = (host, node, context, evaluate) => {
+    const values = [];
+    for (const argument of rawPromiseNodes(node, 'arguments')) {
+        const expression = argument && argumentExpression(argument);
+        if (argument && expression) {
+            const result = evaluate(expression, context);
+            if (result.completion !== RUNTIME_NORMAL) {
+                return { completion: result.completion, values };
+            }
+            appendArgument(host, argument, result.value, values);
+        }
+    }
+    return { completion: RUNTIME_NORMAL, values };
+};
+//# sourceMappingURL=effect-promise-runtime-arguments.js.map

package/dist/rules/effect-promise-runtime-arguments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-arguments.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-arguments.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAShF,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAYzE,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,KAAmB,EACkB,EAAE;IACvC,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,QAAiB,EAAuB,EAAE;IACpE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,QAAiB,EACjB,KAAmB,EACnB,MAAsB,EAChB,EAAE;IACR,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;QACvB,OAAO;IACT,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA4E,EACpD,EAAE;IAC1B,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;QAC1D,MAAM,UAAU,GAAG,QAAQ,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC7C,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;gBACzC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;YACnD,CAAC;YACD,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-call-targets.d.ts

@@ -0,0 +1,21 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+import type { RuntimeCallableTarget } from './effect-promise-runtime-callables';
+type RuntimeEvaluator = (node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
+/**
+ * Completion and exact callable target produced by callee evaluation.
+ *
+ * @internal
+ */
+export interface RuntimeCallTargetResult {
+    completion: RuntimeResult['completion'];
+    target?: RuntimeCallableTarget;
+}
+/**
+ * Evaluate one direct or member call target exactly once.
+ *
+ * @internal
+ */
+export declare const evaluateRuntimeCallTarget: (host: RuntimeStatementHost, callee: ASTNode | undefined, context: RuntimeExecutionContext, evaluate: RuntimeEvaluator) => RuntimeCallTargetResult;
+export {};
+//# sourceMappingURL=effect-promise-runtime-call-targets.d.ts.map

package/dist/rules/effect-promise-runtime-call-targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-call-targets.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-call-targets.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACrB,MAAM,gCAAgC,CAAC;AAMxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAIhF,KAAK,gBAAgB,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,KAAK,aAAa,CAAC;AAE3F;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,qBAAqB,CAAC;CAChC;AAyCD;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,oBAAoB,EAC1B,QAAQ,OAAO,GAAG,SAAS,EAC3B,SAAS,uBAAuB,EAChC,UAAU,gBAAgB,KACzB,uBAeF,CAAC"}