@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-environment-projections.js

@@ -0,0 +1,191 @@
+/* -------------------------------------------------------------------------- */
+/*           Object and array projection for invocation arguments.            */
+/* -------------------------------------------------------------------------- */
+import { boundArgument, concreteArgument } from './effect-promise-environment-values.js';
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { declaredPromisePropertyName, rawPromiseNodes } from './effect-promise-ast-values.js';
+import { unknownArgument } from './effect-promise-environment-types.js';
+const absentProperty = Symbol('absentProperty');
+const propertyRead = (value) => ({ value });
+const getterEvaluation = (object) => {
+    const helperScope = new Map();
+    const values = new Map();
+    return {
+        environments: [...object.environments, { helperScope, values }],
+        helperScopes: [...object.helperScopes, helperScope],
+        values,
+    };
+};
+const bindGetterDeclarators = (declaration, object, evaluation) => {
+    for (const declarator of childNodes(declaration, 'declarations')) {
+        const name = identifierName(childNode(declarator, 'id'));
+        if (name) {
+            evaluation.values.set(name, boundArgument(childNode(declarator, 'init'), object.scopes, evaluation.helperScopes, evaluation.environments));
+        }
+    }
+};
+const getterReturn = (getter, object) => {
+    const body = childNode(getter, 'body');
+    if (!body) {
+        return undefined;
+    }
+    const evaluation = getterEvaluation(object);
+    for (const statement of childNodes(body, 'body')) {
+        if (statement.type === 'VariableDeclaration') {
+            bindGetterDeclarators(statement, object, evaluation);
+        }
+        else if (statement.type === 'ReturnStatement') {
+            return boundArgument(childNode(statement, 'argument'), object.scopes, evaluation.helperScopes, evaluation.environments);
+        }
+        else if (statement.type !== 'ExpressionStatement') {
+            return unknownArgument;
+        }
+    }
+    return undefined;
+};
+const getterIsAbrupt = (getter) => {
+    const body = childNode(getter, 'body');
+    for (const statement of childNodes(body ?? getter, 'body')) {
+        if (statement.type === 'ReturnStatement') {
+            return false;
+        }
+        if (statement.type === 'ThrowStatement') {
+            return true;
+        }
+    }
+    return false;
+};
+const getterRead = (getter, object) => {
+    const binding = {
+        helperScopes: object.helperScopes,
+        node: getter,
+        scopes: object.scopes,
+    };
+    return {
+        getter: {
+            binding,
+            environments: object.environments,
+            isAbrupt: getterIsAbrupt(getter),
+        },
+        value: getterReturn(getter, object),
+    };
+};
+const matchedPropertyRead = (property, object) => {
+    const kind = Reflect.get(property, 'kind');
+    const value = childNode(property, 'value');
+    if (kind === 'get' && value) {
+        return getterRead(value, object);
+    }
+    return propertyRead(boundArgument(value, object.scopes, object.helperScopes, object.environments));
+};
+const isMatchingSetter = (property, propertyName) => property.type === 'Property' &&
+    Reflect.get(property, 'kind') === 'set' &&
+    declaredPromisePropertyName(property) === propertyName;
+const projectionAfterSetter = (projected, hasTrailingSetter) => {
+    if (projected !== absentProperty && hasTrailingSetter && !projected.getter) {
+        return propertyRead(undefined);
+    }
+    return projected;
+};
+const missingPropertyProjection = (hasSetter) => {
+    if (hasSetter) {
+        return propertyRead(undefined);
+    }
+    return absentProperty;
+};
+const propertyValueFromObject = (object, propertyName) => {
+    const properties = childNodes(object.node, 'properties');
+    let hasTrailingSetter = false;
+    for (let index = properties.length - 1; index >= 0; index -= 1) {
+        const property = properties[index];
+        if (property && isMatchingSetter(property, propertyName)) {
+            hasTrailingSetter = true;
+        }
+        else if (property) {
+            const projected = propertyProjection(property, object, propertyName);
+            if (projected !== absentProperty) {
+                return projectionAfterSetter(projected, hasTrailingSetter);
+            }
+        }
+    }
+    return missingPropertyProjection(hasTrailingSetter);
+};
+const spreadPropertyValue = (property, object, propertyName) => {
+    const spread = boundArgument(childNode(property, 'argument'), object.scopes, object.helperScopes, object.environments);
+    const spreadObject = concreteArgument(spread);
+    if (spreadObject?.node.type !== 'ObjectExpression') {
+        return propertyRead(unknownArgument);
+    }
+    const projected = propertyValueFromObject(spreadObject, propertyName);
+    if (projected === absentProperty || !object.isEvaluatedObject || !projected.getter) {
+        return projected;
+    }
+    return propertyRead(projected.value);
+};
+const directPropertyValue = (property, object, propertyName) => {
+    if (property.type !== 'Property') {
+        return absentProperty;
+    }
+    const name = declaredPromisePropertyName(property);
+    if (!name) {
+        return propertyRead(unknownArgument);
+    }
+    if (name !== propertyName) {
+        return absentProperty;
+    }
+    return matchedPropertyRead(property, object);
+};
+const propertyProjection = (property, object, propertyName) => {
+    if (property.type === 'SpreadElement') {
+        return spreadPropertyValue(property, object, propertyName);
+    }
+    return directPropertyValue(property, object, propertyName);
+};
+/**
+ * Project one statically known object property from an abstract value.
+ *
+ * @internal
+ */
+export const objectPropertyRead = (value, propertyName) => {
+    if (value === unknownArgument) {
+        return propertyRead(unknownArgument);
+    }
+    const object = concreteArgument(value);
+    if (object?.node.type !== 'ObjectExpression') {
+        return propertyRead(unknownArgument);
+    }
+    const projected = propertyValueFromObject(object, propertyName);
+    if (projected === absentProperty) {
+        return propertyRead(undefined);
+    }
+    return projected;
+};
+const appendArrayElement = (values, element, array) => {
+    if (element?.type !== 'SpreadElement') {
+        values.push(boundArgument(element, array.scopes, array.helperScopes, array.environments));
+        return true;
+    }
+    const spread = boundArgument(childNode(element, 'argument'), array.scopes, array.helperScopes, array.environments);
+    const spreadArray = concreteArgument(spread);
+    if (spreadArray?.node.type !== 'ArrayExpression') {
+        return false;
+    }
+    const nested = arrayValues(spreadArray);
+    values.push(...nested.values);
+    return nested.isExact;
+};
+/**
+ * Expand a statically known array expression until its cardinality is unknown.
+ *
+ * @internal
+ */
+export const arrayValues = (array) => {
+    const values = [];
+    for (const element of rawPromiseNodes(array.node, 'elements')) {
+        if (!appendArrayElement(values, element, array)) {
+            return { isExact: false, values };
+        }
+    }
+    return { isExact: true, values };
+};
+//# sourceMappingURL=effect-promise-environment-projections.js.map

package/dist/rules/effect-promise-environment-projections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environment-projections.js","sourceRoot":"","sources":["../../src/rules/effect-promise-environment-projections.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAQhF,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,2BAA2B,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAG3F,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAErE,MAAM,cAAc,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC;AAchD,MAAM,YAAY,GAAG,CAAC,KAAoB,EAAgB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAQzE,MAAM,gBAAgB,GAAG,CAAC,MAAqB,EAAoB,EAAE;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuC,CAAC;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,OAAO;QACL,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;QAC/D,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC;QACnD,MAAM;KACP,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,WAAoB,EACpB,MAAqB,EACrB,UAA4B,EACtB,EAAE;IACR,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,WAAW,EAAE,cAAc,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,CAAC,MAAM,CAAC,GAAG,CACnB,IAAI,EACJ,aAAa,CACX,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,EAC7B,MAAM,CAAC,MAAM,EACb,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,YAAY,CACxB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,MAAe,EAAE,MAAqB,EAAiB,EAAE;IAC7E,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC7C,qBAAqB,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAChD,OAAO,aAAa,CAClB,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,EAChC,MAAM,CAAC,MAAM,EACb,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,YAAY,CACxB,CAAC;QACJ,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACpD,OAAO,eAAe,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,MAAe,EAAW,EAAE;IAClD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,IAAI,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAC3D,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,MAAe,EAAE,MAAqB,EAAgB,EAAE;IAC1E,MAAM,OAAO,GAAoB;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;IACF,OAAO;QACL,MAAM,EAAE;YACN,OAAO;YACP,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC;SACjC;QACD,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,QAAiB,EAAE,MAAqB,EAAgB,EAAE;IACrF,MAAM,IAAI,GAAY,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,KAAK,IAAI,KAAK,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,YAAY,CACjB,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,CAC9E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,QAAiB,EAAE,YAAoB,EAAW,EAAE,CAC5E,QAAQ,CAAC,IAAI,KAAK,UAAU;IAC5B,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,KAAK;IACvC,2BAA2B,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC;AAEzD,MAAM,qBAAqB,GAAG,CAC5B,SAA6B,EAC7B,iBAA0B,EACN,EAAE;IACtB,IAAI,SAAS,KAAK,cAAc,IAAI,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAC3E,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,SAAkB,EAAsB,EAAE;IAC3E,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,MAAqB,EACrB,YAAoB,EACA,EAAE;IACtB,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACzD,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,KAAK,IAAI,KAAK,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,QAAQ,IAAI,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;YACzD,iBAAiB,GAAG,IAAI,CAAC;QAC3B,CAAC;aAAM,IAAI,QAAQ,EAAE,CAAC;YACpB,MAAM,SAAS,GAAG,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;YACrE,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;gBACjC,OAAO,qBAAqB,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,yBAAyB,CAAC,iBAAiB,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,QAAiB,EACjB,MAAqB,EACrB,YAAoB,EACA,EAAE;IACtB,MAAM,MAAM,GAAG,aAAa,CAC1B,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,EAC/B,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,YAAY,CACpB,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,YAAY,EAAE,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACnD,OAAO,YAAY,CAAC,eAAe,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,SAAS,GAAG,uBAAuB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IACtE,IAAI,SAAS,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACnF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,QAAiB,EACjB,MAAqB,EACrB,YAAoB,EACA,EAAE;IACtB,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,YAAY,CAAC,eAAe,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,QAAiB,EACjB,MAAqB,EACrB,YAAoB,EACA,EAAE;IACtB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAoB,EAAE,YAAoB,EAAgB,EAAE;IAC7F,IAAI,KAAK,KAAK,eAAe,EAAE,CAAC;QAC9B,OAAO,YAAY,CAAC,eAAe,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC7C,OAAO,YAAY,CAAC,eAAe,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAChE,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,MAAuB,EACvB,OAA4B,EAC5B,KAAoB,EACX,EAAE;IACX,IAAI,OAAO,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;QAC1F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAC1B,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,EAC9B,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,YAAY,CACnB,CAAC;IACF,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,WAAW,EAAE,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAoB,EAAsB,EAAE;IACtE,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC,CAAC"}

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

@@ -0,0 +1,96 @@
+import type { FunctionBinding, HelperScope, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * An invocation value whose runtime source cannot be proven.
+ *
+ * @internal
+ */
+export declare const unknownArgument: unique symbol;
+/**
+ * One concrete expression together with its lexical closure provenance.
+ *
+ * @internal
+ */
+export interface BoundArgument {
+    environments: ParameterEnvironments;
+    helperScopes: HelperScopes;
+    isEvaluatedObject?: boolean;
+    node: ASTNode;
+    scopes: ScopeStack;
+}
+/**
+ * An exact, absent, or unknown runtime argument.
+ *
+ * @internal
+ */
+export type ArgumentValue = BoundArgument | undefined | typeof unknownArgument;
+/**
+ * Invocation arguments after resolving caller parameter forwarding.
+ *
+ * @internal
+ */
+export interface ExecutionArguments {
+    isExact: boolean;
+    values: readonly ArgumentValue[];
+}
+/**
+ * One invoked function's parameter values and lexical helper-scope marker.
+ *
+ * @internal
+ */
+export interface ParameterEnvironment {
+    helperScope: HelperScope;
+    values: Map<string, ArgumentValue>;
+}
+/**
+ * Active lexical invocation environments from outermost to innermost.
+ *
+ * @internal
+ */
+export type ParameterEnvironments = readonly ParameterEnvironment[];
+/**
+ * Parameter preparation needed before executing a function body.
+ *
+ * @internal
+ */
+export interface PreparedParameters {
+    defaults: readonly ParameterDefault[];
+    environments: ParameterEnvironments;
+    getters: readonly ParameterGetter[];
+    helperScopes: HelperScopes;
+}
+/**
+ * One parameter default expression selected by the current invocation.
+ *
+ * @internal
+ */
+export interface ParameterDefault {
+    expression: BoundArgument;
+    pattern: ASTNode;
+}
+/**
+ * One accessor getter evaluated by parameter destructuring.
+ *
+ * @internal
+ */
+export interface ParameterGetter {
+    binding: FunctionBinding;
+    environments: ParameterEnvironments;
+    isAbrupt: boolean;
+}
+/**
+ * Mutable assembly state used only while binding one function header.
+ *
+ * @internal
+ */
+export interface ParameterBuild {
+    defaults: ParameterDefault[];
+    environment: Map<string, ArgumentValue>;
+    environments: ParameterEnvironments;
+    getters: ParameterGetter[];
+    helperScopes: HelperScopes;
+    runtimeBindings: Map<string, FunctionBinding | undefined>;
+    scopes: ScopeStack;
+}
+//# sourceMappingURL=effect-promise-environment-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environment-types.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-environment-types.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAClG,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;;GAIG;AACH,eAAO,MAAM,eAAe,eAA4B,CAAC;AAEzD;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,qBAAqB,CAAC;IACpC,YAAY,EAAE,YAAY,CAAC;IAC3B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,UAAU,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,SAAS,GAAG,OAAO,eAAe,CAAC;AAE/E;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,WAAW,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CACpC;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG,SAAS,oBAAoB,EAAE,CAAC;AAEpE;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACtC,YAAY,EAAE,qBAAqB,CAAC;IACpC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,aAAa,CAAC;IAC1B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,eAAe,CAAC;IACzB,YAAY,EAAE,qBAAqB,CAAC;IACpC,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACxC,YAAY,EAAE,qBAAqB,CAAC;IACpC,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,YAAY,EAAE,YAAY,CAAC;IAC3B,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAAC,CAAC;IAC1D,MAAM,EAAE,UAAU,CAAC;CACpB"}

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

@@ -0,0 +1,10 @@
+/* -------------------------------------------------------------------------- */
+/*            Abstract values for Promise invocation environments.            */
+/* -------------------------------------------------------------------------- */
+/**
+ * An invocation value whose runtime source cannot be proven.
+ *
+ * @internal
+ */
+export const unknownArgument = Symbol('unknownArgument');
+//# sourceMappingURL=effect-promise-environment-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environment-types.js","sourceRoot":"","sources":["../../src/rules/effect-promise-environment-types.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAMhF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC"}

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

@@ -0,0 +1,41 @@
+import type { ArgumentValue, BoundArgument, ExecutionArguments, ParameterEnvironments } from './effect-promise-environment-types';
+import type { HelperScopes, InvocationArguments } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Narrow one abstract value to a concrete bound expression.
+ *
+ * @internal
+ */
+export declare const concreteArgument: (value: ArgumentValue) => BoundArgument | undefined;
+/**
+ * Determine whether a value provably selects a JavaScript default.
+ *
+ * @internal
+ */
+export declare const isUndefinedArgument: (value: ArgumentValue) => boolean;
+/**
+ * Write one exact value to the nearest visible execution environment.
+ *
+ * @internal
+ */
+export declare const assignArgument: (name: string, value: ArgumentValue, helperScopes: HelperScopes, environments: ParameterEnvironments) => void;
+/**
+ * Bind an expression at its evaluation site, resolving forwarded parameters.
+ *
+ * @internal
+ */
+export declare const boundArgument: (node: ASTNode | undefined, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => ArgumentValue;
+/**
+ * Resolve raw call arguments through the caller's active environments.
+ *
+ * @internal
+ */
+export declare const executionArguments: (invocation: InvocationArguments, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => ExecutionArguments;
+/**
+ * Read one abstract argument by position.
+ *
+ * @internal
+ */
+export declare const argumentAt: (argumentsList: ExecutionArguments, index: number) => ArgumentValue;
+//# sourceMappingURL=effect-promise-environment-values.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environment-values.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-environment-values.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,aAAa,EACb,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACtB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,KAAK,EAEV,YAAY,EACZ,mBAAmB,EACpB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAerD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,aAAa,KAAG,aAAa,GAAG,SAKvE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,OAAO,aAAa,KAAG,OAS1D,CAAC;AA4JF;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,MAAM,EACZ,OAAO,aAAa,EACpB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,IAgBF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,OAAO,GAAG,SAAS,EACzB,QAAQ,UAAU,EAClB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,aAaF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,YAAY,mBAAmB,EAC/B,QAAQ,UAAU,EAClB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,kBAMF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,eAAe,kBAAkB,EAAE,OAAO,MAAM,KAAG,aAQ7E,CAAC"}

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

@@ -0,0 +1,214 @@
+/* -------------------------------------------------------------------------- */
+/*         Value forwarding through Promise invocation environments.          */
+/* -------------------------------------------------------------------------- */
+import { identifierName } from './effect-ast.js';
+import { resolveLexicalValue } from './effect-promise-value-scopes.js';
+import { unknownArgument } from './effect-promise-environment-types.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const isShadowed = (name, scopes) => {
+    for (let index = scopes.length - 1; index >= 0; index -= 1) {
+        if (scopes[index]?.has(name)) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Narrow one abstract value to a concrete bound expression.
+ *
+ * @internal
+ */
+export const concreteArgument = (value) => {
+    if (value && value !== unknownArgument) {
+        return value;
+    }
+    return undefined;
+};
+/**
+ * Determine whether a value provably selects a JavaScript default.
+ *
+ * @internal
+ */
+export const isUndefinedArgument = (value) => {
+    if (!value || value === unknownArgument) {
+        return value === undefined;
+    }
+    const expression = unwrappedExpression(value.node);
+    if (identifierName(expression) === 'undefined') {
+        return !isShadowed('undefined', value.scopes);
+    }
+    return expression?.type === 'UnaryExpression' && Reflect.get(expression, 'operator') === 'void';
+};
+const isShadowedAfter = (name, marker, helperScopes) => {
+    for (let index = helperScopes.length - 1; index >= 0; index -= 1) {
+        const scope = helperScopes[index];
+        if (scope === marker) {
+            return false;
+        }
+        if (scope?.has(name)) {
+            return true;
+        }
+    }
+    return true;
+};
+const valueFromEnvironment = (name, helperScopes, environment) => {
+    if (!isShadowedAfter(name, environment.helperScope, helperScopes) &&
+        environment.values.has(name)) {
+        return { found: true, value: environment.values.get(name) };
+    }
+    return undefined;
+};
+const environmentValue = (name, helperScopes, environments) => {
+    for (let index = environments.length - 1; index >= 0; index -= 1) {
+        const environment = environments[index];
+        if (environment) {
+            const resolved = valueFromEnvironment(name, helperScopes, environment);
+            if (resolved) {
+                return resolved;
+            }
+        }
+    }
+    return { found: false, value: undefined };
+};
+const lexicalValueArgument = (name, expression, helperScopes, environments) => {
+    const lexical = resolveLexicalValue(name, expression, helperScopes);
+    if (!lexical.binding) {
+        if (lexical.found) {
+            return { found: true, value: unknownArgument };
+        }
+        return { found: false, value: undefined };
+    }
+    const { node } = lexical.binding;
+    if (!node) {
+        return { found: true, value: undefined };
+    }
+    return {
+        found: true,
+        value: {
+            environments,
+            helperScopes: lexical.binding.helperScopes,
+            isEvaluatedObject: node.type === 'ObjectExpression',
+            node,
+            scopes: lexical.binding.scopes,
+        },
+    };
+};
+const namedArgument = (name, expression, helperScopes, environments) => {
+    const environment = environmentValue(name, helperScopes, environments);
+    if (environment.found) {
+        return environment;
+    }
+    return lexicalValueArgument(name, expression, helperScopes, environments);
+};
+const noAlias = Symbol('noAlias');
+const nextAliasArgument = (current) => {
+    const expression = unwrappedExpression(current.node);
+    const name = identifierName(expression);
+    if (!name || !expression) {
+        return noAlias;
+    }
+    const resolved = namedArgument(name, expression, current.helperScopes, current.environments);
+    if (!resolved.found) {
+        return noAlias;
+    }
+    return resolved.value;
+};
+const followAliasStep = (current, seen) => {
+    const next = nextAliasArgument(current);
+    if (next === noAlias) {
+        return { result: current };
+    }
+    if (!next || next === unknownArgument) {
+        return { result: next };
+    }
+    if (seen.has(next.node)) {
+        return { result: unknownArgument };
+    }
+    seen.add(next.node);
+    return { current: next };
+};
+const followAlias = (initial) => {
+    const seen = new Set([initial.node]);
+    let current = initial;
+    while (true) {
+        const step = followAliasStep(current, seen);
+        if (!step.current) {
+            return step.result;
+        }
+        ({ current } = step);
+    }
+};
+const resolvedAliasArgument = (value) => {
+    const current = concreteArgument(value);
+    if (!current) {
+        return value;
+    }
+    return followAlias(current);
+};
+const mutableEnvironment = (environment) => environment.values;
+/**
+ * Write one exact value to the nearest visible execution environment.
+ *
+ * @internal
+ */
+export const assignArgument = (name, value, helperScopes, environments) => {
+    for (let index = environments.length - 1; index >= 0; index -= 1) {
+        const environment = environments[index];
+        if (environment &&
+            !isShadowedAfter(name, environment.helperScope, helperScopes) &&
+            environment.values.has(name)) {
+            mutableEnvironment(environment).set(name, value);
+            return;
+        }
+    }
+    const [outermost] = environments;
+    if (outermost) {
+        mutableEnvironment(outermost).set(name, value);
+    }
+};
+/**
+ * Bind an expression at its evaluation site, resolving forwarded parameters.
+ *
+ * @internal
+ */
+export const boundArgument = (node, scopes, helperScopes, environments) => {
+    if (!node) {
+        return undefined;
+    }
+    const expression = unwrappedExpression(node) ?? node;
+    const name = identifierName(expression);
+    if (name) {
+        const resolved = namedArgument(name, expression, helperScopes, environments);
+        if (resolved.found) {
+            return resolvedAliasArgument(resolved.value);
+        }
+    }
+    return { environments, helperScopes, node: expression, scopes };
+};
+/**
+ * Resolve raw call arguments through the caller's active environments.
+ *
+ * @internal
+ */
+export const executionArguments = (invocation, scopes, helperScopes, environments) => {
+    const values = [];
+    for (const value of invocation.values) {
+        values.push(boundArgument(value, scopes, helperScopes, environments));
+    }
+    return { isExact: invocation.isExact, values };
+};
+/**
+ * Read one abstract argument by position.
+ *
+ * @internal
+ */
+export const argumentAt = (argumentsList, index) => {
+    if (index < argumentsList.values.length) {
+        return argumentsList.values[index];
+    }
+    if (argumentsList.isExact) {
+        return undefined;
+    }
+    return unknownArgument;
+};
+//# sourceMappingURL=effect-promise-environment-values.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environment-values.js","sourceRoot":"","sources":["../../src/rules/effect-promise-environment-values.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAehF,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAW,EAAE;IAC/D,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAoB,EAA6B,EAAE;IAClF,IAAI,KAAK,IAAI,KAAK,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,KAAoB,EAAW,EAAE;IACnE,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,eAAe,EAAE,CAAC;QACxC,OAAO,KAAK,KAAK,SAAS,CAAC;IAC7B,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,cAAc,CAAC,UAAU,CAAC,KAAK,WAAW,EAAE,CAAC;QAC/C,OAAO,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,UAAU,EAAE,IAAI,KAAK,iBAAiB,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,MAAM,CAAC;AAClG,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,MAAmB,EACnB,YAA0B,EACjB,EAAE;IACX,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,KAAK,MAAM,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAOF,MAAM,oBAAoB,GAAG,CAC3B,IAAY,EACZ,YAA0B,EAC1B,WAA0C,EACP,EAAE;IACrC,IACE,CAAC,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,EAAE,YAAY,CAAC;QAC7D,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAY,EACZ,YAA0B,EAC1B,YAAmC,EACZ,EAAE;IACzB,KAAK,IAAI,KAAK,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;YACvE,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAY,EACZ,UAAmB,EACnB,YAA0B,EAC1B,YAAmC,EACZ,EAAE;IACzB,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACrB,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;QACjD,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC5C,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IACjC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,KAAK,EAAE,IAAI;QACX,KAAK,EAAE;YACL,YAAY;YACZ,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,YAAY;YAC1C,iBAAiB,EAAE,IAAI,CAAC,IAAI,KAAK,kBAAkB;YACnD,IAAI;YACJ,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;SAC/B;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAY,EACZ,UAAmB,EACnB,YAA0B,EAC1B,YAAmC,EACZ,EAAE;IACzB,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACvE,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;AAElC,MAAM,iBAAiB,GAAG,CAAC,OAAsB,EAAkC,EAAE;IACnF,MAAM,UAAU,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC7F,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC;AACxB,CAAC,CAAC;AAOF,MAAM,eAAe,GAAG,CAAC,OAAsB,EAAE,IAAiB,EAAa,EAAE;IAC/E,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,OAAsB,EAAiB,EAAE;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IACvB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,KAAoB,EAAiB,EAAE;IACpE,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,WAA0C,EACd,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;AAEpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAY,EACZ,KAAoB,EACpB,YAA0B,EAC1B,YAAmC,EAC7B,EAAE;IACR,KAAK,IAAI,KAAK,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACxC,IACE,WAAW;YACX,CAAC,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,EAAE,YAAY,CAAC;YAC7D,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAC5B,CAAC;YACD,kBAAkB,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO;QACT,CAAC;IACH,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,GAAG,YAAY,CAAC;IACjC,IAAI,SAAS,EAAE,CAAC;QACd,kBAAkB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAyB,EACzB,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACpB,EAAE;IACjB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACrD,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAC7E,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,OAAO,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAClE,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAA+B,EAC/B,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACf,EAAE;IACtB,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;AACjD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,aAAiC,EAAE,KAAa,EAAiB,EAAE;IAC5F,IAAI,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACxC,OAAO,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC,CAAC"}

package/dist/rules/effect-promise-environments.d.ts

@@ -0,0 +1,5 @@
+export { argumentAt, boundArgument, executionArguments } from './effect-promise-environment-values';
+export { prepareParameters } from './effect-promise-parameter-bindings';
+export { unknownArgument } from './effect-promise-environment-types';
+export type { ArgumentValue, BoundArgument, ExecutionArguments, ParameterEnvironment, ParameterEnvironments, PreparedParameters, } from './effect-promise-environment-types';
+//# sourceMappingURL=effect-promise-environments.d.ts.map

package/dist/rules/effect-promise-environments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environments.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-environments.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,YAAY,EACV,aAAa,EACb,aAAa,EACb,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,oCAAoC,CAAC"}

package/dist/rules/effect-promise-environments.js

@@ -0,0 +1,7 @@
+/* -------------------------------------------------------------------------- */
+/*      Per-invocation abstract values for Promise execution traversal.       */
+/* -------------------------------------------------------------------------- */
+export { argumentAt, boundArgument, executionArguments } from './effect-promise-environment-values.js';
+export { prepareParameters } from './effect-promise-parameter-bindings.js';
+export { unknownArgument } from './effect-promise-environment-types.js';
+//# sourceMappingURL=effect-promise-environments.js.map

package/dist/rules/effect-promise-environments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environments.js","sourceRoot":"","sources":["../../src/rules/effect-promise-environments.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { PromiseExecutionInput } from './effect-promise-execution-types';
+export type { PromiseExecutionInput } from './effect-promise-execution-types';
+/**
+ * Detect a Promise boundary that executes while an Effect.sync callback runs.
+ *
+ * @param input - Callback, lexical provenance, and native traversal capabilities.
+ * @returns Whether the callback synchronously reaches Promise-producing work.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const hasExecutedPromiseBoundary: (input: PromiseExecutionInput) => boolean;
+//# sourceMappingURL=effect-promise-execution-ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-ast.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-ast.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,qBAAqB,EAEtB,MAAM,kCAAkC,CAAC;AAK1C,YAAY,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAY9E;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,GAAI,OAAO,qBAAqB,KAAG,OAQzE,CAAC"}