@thethracian/oxlint-config 0.3.5 → 0.4.0

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

@@ -0,0 +1,181 @@
+/* -------------------------------------------------------------------------- */
+/*      Object and array values for the Effect runtime task interpreter.      */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_NORMAL, unknownRuntimeValue } from './effect-promise-runtime-model.js';
+import { allocateRuntimeObject, runtimeArrayValues, spreadRuntimeMembers, writeRuntimeMember, } from './effect-promise-runtime-heap.js';
+import { asNode, childNode, childNodes } from './effect-ast.js';
+import { runtimeObjectReference, runtimeScalar, runtimeStaticKey, } from './effect-promise-runtime-values.js';
+const optionalVisit = (host, node, context) => {
+    if (node) {
+        return host.visit(node, context);
+    }
+    return undefined;
+};
+const objectKey = (host, property, context) => {
+    const key = childNode(property, 'key');
+    if (Reflect.get(property, 'computed') !== true) {
+        return { completion: RUNTIME_NORMAL, value: key };
+    }
+    if (key) {
+        return host.visit(key, context);
+    }
+    return { completion: RUNTIME_NORMAL, value: undefined };
+};
+const resultKey = (host, property, result, context) => {
+    if (Reflect.get(property, 'computed') !== true) {
+        return runtimeStaticKey(childNode(property, 'key'));
+    }
+    const scalar = runtimeScalar(result.value, host.valueContext(context));
+    if (scalar === unknownRuntimeValue || scalar === null || typeof scalar === 'boolean') {
+        return undefined;
+    }
+    return String(scalar);
+};
+const spreadObject = (host, property, target, context) => {
+    const argument = childNode(property, 'argument');
+    const result = optionalVisit(host, argument, context);
+    if (!result) {
+        return { completion: RUNTIME_NORMAL, value: target };
+    }
+    if (result.completion !== RUNTIME_NORMAL) {
+        return result;
+    }
+    const source = runtimeObjectReference(result.value);
+    if (source) {
+        spreadRuntimeMembers(host.state, source, target);
+    }
+    return { completion: RUNTIME_NORMAL, value: target };
+};
+const writeObjectProperty = (host, property, target, key, context) => {
+    const valueNode = childNode(property, 'value');
+    if (!valueNode) {
+        return { completion: RUNTIME_NORMAL, value: target };
+    }
+    const value = host.visit(valueNode, context);
+    if (value.completion !== RUNTIME_NORMAL) {
+        return value;
+    }
+    const name = resultKey(host, property, key, context);
+    if (name) {
+        writeRuntimeMember(host.state, target, name, value.value);
+    }
+    return { completion: RUNTIME_NORMAL, value: target };
+};
+const objectProperty = (host, property, target, context) => {
+    if (property.type === 'SpreadElement') {
+        return spreadObject(host, property, target, context);
+    }
+    const key = objectKey(host, property, context);
+    if (key.completion !== RUNTIME_NORMAL) {
+        return key;
+    }
+    return writeObjectProperty(host, property, target, key, context);
+};
+const objectExpression = (host, node, context) => {
+    const reference = allocateRuntimeObject(host.state, false, node);
+    for (const property of childNodes(node, 'properties')) {
+        const result = objectProperty(host, property, reference, context);
+        if (result.completion !== RUNTIME_NORMAL) {
+            return result;
+        }
+    }
+    return { completion: RUNTIME_NORMAL, value: reference };
+};
+class RuntimeArrayBuilder {
+    index = 0;
+    isExact = true;
+    append(host, target, value) {
+        if (this.isExact) {
+            writeRuntimeMember(host.state, target, String(this.index), value);
+            this.index += 1;
+        }
+    }
+    invalidate() {
+        this.isExact = false;
+    }
+    length() {
+        if (this.isExact) {
+            return this.index;
+        }
+        return undefined;
+    }
+}
+const exactArrayValues = (host, value) => {
+    const source = runtimeObjectReference(value);
+    if (source) {
+        return runtimeArrayValues(host.state, source);
+    }
+    return undefined;
+};
+const spreadArrayValues = (host, result, target, builder) => {
+    const values = exactArrayValues(host, result.value);
+    if (!values) {
+        builder.invalidate();
+        return { completion: RUNTIME_NORMAL, value: target };
+    }
+    for (const value of values) {
+        builder.append(host, target, value);
+    }
+    return { completion: RUNTIME_NORMAL, value: target };
+};
+const spreadArray = (host, element, target, builder, context) => {
+    const argument = childNode(element, 'argument');
+    const result = optionalVisit(host, argument, context);
+    if (!result) {
+        builder.invalidate();
+        return { completion: RUNTIME_NORMAL, value: target };
+    }
+    if (result.completion !== RUNTIME_NORMAL) {
+        return result;
+    }
+    return spreadArrayValues(host, result, target, builder);
+};
+const arrayElement = (host, value, target, builder, context) => {
+    const element = asNode(value);
+    if (!element) {
+        builder.append(host, target, undefined);
+        return { completion: RUNTIME_NORMAL, value: target };
+    }
+    if (element.type === 'SpreadElement') {
+        return spreadArray(host, element, target, builder, context);
+    }
+    const result = host.visit(element, context);
+    if (result.completion === RUNTIME_NORMAL) {
+        builder.append(host, target, result.value);
+    }
+    return result;
+};
+const arrayElements = (node) => {
+    const raw = Reflect.get(node, 'elements');
+    if (Array.isArray(raw)) {
+        return raw;
+    }
+    return [];
+};
+const arrayExpression = (host, node, context) => {
+    const reference = allocateRuntimeObject(host.state, true, node);
+    const builder = new RuntimeArrayBuilder();
+    for (const element of arrayElements(node)) {
+        const result = arrayElement(host, element, reference, builder, context);
+        if (result.completion !== RUNTIME_NORMAL) {
+            return result;
+        }
+    }
+    reference.arrayLength = builder.length();
+    return { completion: RUNTIME_NORMAL, value: reference };
+};
+/**
+ * Evaluate an object or array literal, or decline another expression.
+ *
+ * @internal
+ */
+export const runtimeStructure = (host, node, context) => {
+    if (node.type === 'ObjectExpression') {
+        return objectExpression(host, node, context);
+    }
+    if (node.type === 'ArrayExpression') {
+        return arrayExpression(host, node, context);
+    }
+    return undefined;
+};
+//# sourceMappingURL=effect-promise-runtime-structures.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-structures.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-structures.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAQrF,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EACL,sBAAsB,EACtB,aAAa,EACb,gBAAgB,GACjB,MAAM,iCAAiC,CAAC;AAGzC,MAAM,aAAa,GAAG,CACpB,IAA0B,EAC1B,IAAyB,EACzB,OAAgC,EACL,EAAE;IAC7B,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAChB,IAA0B,EAC1B,QAAiB,EACjB,OAAgC,EACjB,EAAE;IACjB,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC1D,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAChB,IAA0B,EAC1B,QAAiB,EACjB,MAAqB,EACrB,OAAgC,EACZ,EAAE;IACtB,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACvE,IAAI,MAAM,KAAK,mBAAmB,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,SAAS,EAAE,CAAC;QACrF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,QAAiB,EACjB,MAAwB,EACxB,OAAgC,EACjB,EAAE;IACjB,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,MAAM,EAAE,CAAC;QACX,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,QAAiB,EACjB,MAAwB,EACxB,GAAkB,EAClB,OAAgC,EACjB,EAAE;IACjB,MAAM,SAAS,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,IAAI,EAAE,CAAC;QACT,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,QAAiB,EACjB,MAAwB,EACxB,OAAgC,EACjB,EAAE;IACjB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,GAAG,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACtC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjE,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAClE,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC1D,CAAC,CAAC;AAEF,MAAM,mBAAmB;IACvB,KAAK,GAAG,CAAC,CAAC;IAEV,OAAO,GAAG,IAAI,CAAC;IAEf,MAAM,CAAC,IAA0B,EAAE,MAAwB,EAAE,KAAmB;QAC9E,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YAClE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,UAAU;QACR,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;IACvB,CAAC;IAED,MAAM;QACJ,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,KAAmB,EACkB,EAAE;IACvC,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,MAAqB,EACrB,MAAwB,EACxB,OAA4B,EACb,EAAE;IACjB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAA0B,EAC1B,OAAgB,EAChB,MAAwB,EACxB,OAA4B,EAC5B,OAAgC,EACjB,EAAE;IACjB,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,KAAc,EACd,MAAwB,EACxB,OAA4B,EAC5B,OAAgC,EACjB,EAAE;IACjB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrC,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAa,EAAsB,EAAE;IAC1D,MAAM,GAAG,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,SAAS,CAAC,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IACzC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC1D,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACL,EAAE;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Execute case tests in source order and stop precisely on match or abrupt completion.
+ *
+ * @internal
+ */
+export declare const executeRuntimeSwitch: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext, labels: readonly string[]) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-switch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-switch.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-switch.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACrB,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AA4F5C;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,EAChC,QAAQ,SAAS,MAAM,EAAE,KACxB,aAsBF,CAAC"}

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

@@ -0,0 +1,91 @@
+/* -------------------------------------------------------------------------- */
+/*        Ordered switch selection for the Effect runtime interpreter.        */
+/* -------------------------------------------------------------------------- */
+import { NORMAL_RUNTIME_RESULT, executeRuntimeBranchSequence, } from './effect-promise-runtime-control-branches.js';
+import { RUNTIME_BREAK, RUNTIME_NORMAL, unknownRuntimeValue } from './effect-promise-runtime-model.js';
+import { childNode, childNodes } from './effect-ast.js';
+import { runtimeControlScalar } from './effect-promise-runtime-control-scalars.js';
+const targetMatches = (result, labels) => result.target === undefined || labels.includes(result.target);
+const executeCaseConsequents = (selection, caseNode) => {
+    const { context, host, labels } = selection;
+    for (const statement of childNodes(caseNode, 'consequent')) {
+        const result = host.statement(statement, context);
+        if (result.completion === RUNTIME_BREAK && targetMatches(result, labels)) {
+            return NORMAL_RUNTIME_RESULT;
+        }
+        if (result.completion !== RUNTIME_NORMAL) {
+            return result;
+        }
+    }
+    return undefined;
+};
+const executeConsequents = (selection, start) => {
+    const { cases } = selection;
+    for (let index = start; index < cases.length; index += 1) {
+        const caseNode = cases[index];
+        if (!caseNode) {
+            return NORMAL_RUNTIME_RESULT;
+        }
+        const result = executeCaseConsequents(selection, caseNode);
+        if (result) {
+            return result;
+        }
+    }
+    return NORMAL_RUNTIME_RESULT;
+};
+const sameScalar = (left, right) => left !== unknownRuntimeValue && right !== unknownRuntimeValue && left === right;
+const selectAfterTest = (selection, index, test) => {
+    const { context, discriminant, host } = selection;
+    const testScalar = runtimeControlScalar(test.value, host, context);
+    if (sameScalar(discriminant, testScalar)) {
+        return executeConsequents(selection, index);
+    }
+    if (discriminant !== unknownRuntimeValue && testScalar !== unknownRuntimeValue) {
+        return selectFrom(selection, index + 1);
+    }
+    return executeRuntimeBranchSequence(host, [
+        () => executeConsequents(selection, index),
+        () => selectFrom(selection, index + 1),
+    ], context);
+};
+const selectFrom = (selection, index) => {
+    const { cases, context, fallback, host } = selection;
+    if (index >= cases.length) {
+        return executeConsequents(selection, fallback);
+    }
+    const caseNode = cases[index];
+    if (!caseNode || !childNode(caseNode, 'test')) {
+        return selectFrom(selection, index + 1);
+    }
+    const test = host.optionalChild(caseNode, 'test', context);
+    if (test.completion !== RUNTIME_NORMAL) {
+        return test;
+    }
+    return selectAfterTest(selection, index, test);
+};
+/**
+ * Execute case tests in source order and stop precisely on match or abrupt completion.
+ *
+ * @internal
+ */
+export const executeRuntimeSwitch = (host, node, context, labels) => {
+    const discriminantResult = host.optionalChild(node, 'discriminant', context);
+    if (discriminantResult.completion !== RUNTIME_NORMAL) {
+        return discriminantResult;
+    }
+    const cases = childNodes(node, 'cases');
+    const fallback = cases.findIndex((caseNode) => !childNode(caseNode, 'test'));
+    let fallbackStart = fallback;
+    if (fallback === -1) {
+        fallbackStart = cases.length;
+    }
+    return selectFrom({
+        cases,
+        context,
+        discriminant: runtimeControlScalar(discriminantResult.value, host, context),
+        fallback: fallbackStart,
+        host,
+        labels,
+    }, 0);
+};
+//# sourceMappingURL=effect-promise-runtime-switch.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-switch.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-switch.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAMpG,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAGrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAahF,MAAM,aAAa,GAAG,CAAC,MAAqB,EAAE,MAAyB,EAAW,EAAE,CAClF,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEhE,MAAM,sBAAsB,GAAG,CAC7B,SAA0B,EAC1B,QAAiB,EACU,EAAE;IAC7B,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,UAAU,KAAK,aAAa,IAAI,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;YACzE,OAAO,qBAAqB,CAAC;QAC/B,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,SAA0B,EAAE,KAAa,EAAiB,EAAE;IACtF,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,qBAAqB,CAAC;QAC/B,CAAC;QACD,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,qBAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,KAAa,EAAW,EAAE,CAC1D,IAAI,KAAK,mBAAmB,IAAI,KAAK,KAAK,mBAAmB,IAAI,IAAI,KAAK,KAAK,CAAC;AAElF,MAAM,eAAe,GAAG,CACtB,SAA0B,EAC1B,KAAa,EACb,IAAmB,EACJ,EAAE;IACjB,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;IAClD,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,CAAC;QACzC,OAAO,kBAAkB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,YAAY,KAAK,mBAAmB,IAAI,UAAU,KAAK,mBAAmB,EAAE,CAAC;QAC/E,OAAO,UAAU,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,4BAA4B,CACjC,IAAI,EACJ;QACE,GAAkB,EAAE,CAAC,kBAAkB,CAAC,SAAS,EAAE,KAAK,CAAC;QACzD,GAAkB,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC;KACtD,EACD,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,SAA0B,EAAE,KAAa,EAAiB,EAAE;IAC9E,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;IACrD,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO,kBAAkB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9C,OAAO,UAAU,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,eAAe,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE;IACjB,MAAM,kBAAkB,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,kBAAkB,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACrD,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACtF,IAAI,aAAa,GAAG,QAAQ,CAAC;IAC7B,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;QACpB,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,OAAO,UAAU,CACf;QACE,KAAK;QACL,OAAO;QACP,YAAY,EAAE,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;QAC3E,QAAQ,EAAE,aAAa;QACvB,IAAI;QACJ,MAAM;KACP,EACD,CAAC,CACF,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,72 @@
+import type { ASTNode } from './effect-ast';
+import type { HelperScopes } from './effect-promise-callable-types';
+import type { NativeHelperFrame } from './effect-promise-program-traversal';
+import type { PromiseVisitorKeys } from './effect-promise-execution-types';
+import type { RuntimeProof } from './effect-promise-runtime-proof';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Indexed Effect.sync tasks and the Effect.runSync calls that execute them.
+ *
+ * @internal
+ */
+export interface PromiseRuntimeTasks {
+    deferredSyncCalls: WeakSet<object>;
+    executionSiteBySyncCall: WeakMap<object, PromiseTaskExecutionSite>;
+    proofsBySyncCall: WeakMap<object, RuntimeTaskProof[]>;
+}
+interface RuntimeTaskProof {
+    proof: RuntimeProof;
+    syncCall: ASTNode;
+}
+/**
+ * Lexical execution provenance captured where an Effect.sync task is declared.
+ *
+ * @internal
+ */
+export interface PromiseTaskExecutionSite {
+    frame?: NativeHelperFrame;
+    helperScopes: HelperScopes;
+    scopes: ScopeStack;
+}
+type EffectCallPredicate = (node: ASTNode) => boolean;
+interface RuntimeCallPredicates {
+    isEffectCall: EffectCallPredicate;
+    isObjectAssignCall: EffectCallPredicate;
+}
+type EvaluateTask = (syncCall: ASTNode, site: PromiseTaskExecutionSite, helperScopes: HelperScopes) => boolean;
+/**
+ * One exact event satisfying a must-execute proof.
+ *
+ * @internal
+ */
+export interface RuntimeTaskMatch {
+    helperScopes: HelperScopes;
+    site: PromiseTaskExecutionSite;
+    syncCall: ASTNode;
+}
+/**
+ * Determine whether a sync declaration must be analyzed only at indexed run sites.
+ *
+ * @internal
+ */
+export declare const isDeferredPromiseSync: (tasks: PromiseRuntimeTasks | undefined, syncCall: ASTNode) => boolean;
+/**
+ * Capture the lexical site used to execute an indexed Effect.sync task.
+ *
+ * @internal
+ */
+export declare const recordPromiseTaskSite: (tasks: PromiseRuntimeTasks | undefined, syncCall: ASTNode, site: PromiseTaskExecutionSite) => void;
+/**
+ * Execute indexed task analyses reached at this run syntax on every feasible path.
+ *
+ * @internal
+ */
+export declare const executePromiseRunCall: (tasks: PromiseRuntimeTasks | undefined, runCall: ASTNode, evaluate: EvaluateTask) => readonly RuntimeTaskMatch[];
+/**
+ * Index task identities and retain only Effect.runSync executions common to all feasible paths.
+ *
+ * @internal
+ */
+export declare const indexPromiseRuntimeTasks: (program: ASTNode, isSyncCall: EffectCallPredicate, isRunSyncCall: EffectCallPredicate, visitorKeys?: PromiseVisitorKeys, predicates?: EffectCallPredicate | RuntimeCallPredicates) => PromiseRuntimeTasks;
+export {};
+//# sourceMappingURL=effect-promise-runtime-tasks.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-tasks.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-tasks.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAG3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAKrD;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,uBAAuB,EAAE,OAAO,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;IACnE,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;CACvD;AAED,UAAU,gBAAgB;IACxB,KAAK,EAAE,YAAY,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,KAAK,CAAC,EAAE,iBAAiB,CAAC;IAC1B,YAAY,EAAE,YAAY,CAAC;IAC3B,MAAM,EAAE,UAAU,CAAC;CACpB;AAED,KAAK,mBAAmB,GAAG,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;AACtD,UAAU,qBAAqB;IAC7B,YAAY,EAAE,mBAAmB,CAAC;IAClC,kBAAkB,EAAE,mBAAmB,CAAC;CACzC;AACD,KAAK,YAAY,GAAG,CAClB,QAAQ,EAAE,OAAO,EACjB,IAAI,EAAE,wBAAwB,EAC9B,YAAY,EAAE,YAAY,KACvB,OAAO,CAAC;AAsBb;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,YAAY,CAAC;IAC3B,IAAI,EAAE,wBAAwB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,mBAAmB,GAAG,SAAS,EACtC,UAAU,OAAO,KAChB,OAA0D,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,mBAAmB,GAAG,SAAS,EACtC,UAAU,OAAO,EACjB,MAAM,wBAAwB,KAC7B,IAcF,CAAC;AA8EF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,mBAAmB,GAAG,SAAS,EACtC,SAAS,OAAO,EAChB,UAAU,YAAY,KACrB,SAAS,gBAAgB,EAS3B,CAAC;AAsCF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,SAAS,OAAO,EAChB,YAAY,mBAAmB,EAC/B,eAAe,mBAAmB,EAClC,cAAc,kBAAkB,EAChC,aAAY,mBAAmB,GAAG,qBAAqC,KACtE,mBAuBF,CAAC"}

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

@@ -0,0 +1,158 @@
+/* -------------------------------------------------------------------------- */
+/*      Runtime task index adapter and isolated Promise task reporting.       */
+/* -------------------------------------------------------------------------- */
+import { restoreLexicalExecutionOffsets, restoreRuntimeLexicalValues, setLexicalExecutionOffsets, setRuntimeLexicalValues, } from './effect-promise-value-scopes.js';
+import { helperScopesForNativeFrame } from './effect-promise-program-traversal.js';
+import { interpretPromiseRuntime } from './effect-promise-runtime-interpreter.js';
+import { runtimeProofWitness } from './effect-promise-runtime-proof.js';
+const noRuntimeCall = () => false;
+const effectCallPredicate = (predicates) => {
+    if (typeof predicates === 'function') {
+        return predicates;
+    }
+    return predicates.isEffectCall;
+};
+const objectAssignPredicate = (predicates) => {
+    if (typeof predicates === 'function') {
+        return noRuntimeCall;
+    }
+    return predicates.isObjectAssignCall;
+};
+/**
+ * Determine whether a sync declaration must be analyzed only at indexed run sites.
+ *
+ * @internal
+ */
+export const isDeferredPromiseSync = (tasks, syncCall) => tasks?.deferredSyncCalls.has(syncCall) ?? false;
+/**
+ * Capture the lexical site used to execute an indexed Effect.sync task.
+ *
+ * @internal
+ */
+export const recordPromiseTaskSite = (tasks, syncCall, site) => {
+    if (!tasks?.deferredSyncCalls.has(syncCall)) {
+        return;
+    }
+    const existing = tasks.executionSiteBySyncCall.get(syncCall);
+    if (existing) {
+        tasks.executionSiteBySyncCall.set(syncCall, {
+            frame: site.frame ?? existing.frame,
+            helperScopes: preferredHelperScopes(existing, site),
+            scopes: preferredScopes(existing, site),
+        });
+        return;
+    }
+    tasks.executionSiteBySyncCall.set(syncCall, site);
+};
+const preferredHelperScopes = (existing, site) => {
+    if (site.helperScopes.length > 0) {
+        return site.helperScopes;
+    }
+    return existing.helperScopes;
+};
+const preferredScopes = (existing, site) => {
+    if (existing.scopes.length > 0) {
+        return existing.scopes;
+    }
+    return site.scopes;
+};
+const siteHelperScopes = (site) => {
+    if (site.frame) {
+        return helperScopesForNativeFrame(site.frame);
+    }
+    return site.helperScopes;
+};
+const remappedScope = (source, execution, targetScopes) => {
+    const index = execution.task.helperScopes.indexOf(source);
+    return targetScopes[index] ?? source;
+};
+const executionOffsets = (execution, targetScopes) => new Map([...execution.offsets].map(([scope, offset]) => [
+    remappedScope(scope, execution, targetScopes),
+    offset,
+]));
+const executionValues = (execution, targetScopes) => new Map([...execution.values].map(([scope, values]) => [
+    remappedScope(scope, execution, targetScopes),
+    values,
+]));
+const executeRuntimeTask = (execution, site, evaluate) => {
+    const helperScopes = siteHelperScopes(site);
+    const previousOffsets = setLexicalExecutionOffsets(executionOffsets(execution, helperScopes));
+    const previousValues = setRuntimeLexicalValues(executionValues(execution, helperScopes));
+    try {
+        return evaluate(execution.syncCall, site, helperScopes);
+    }
+    finally {
+        restoreRuntimeLexicalValues(previousValues);
+        restoreLexicalExecutionOffsets(previousOffsets);
+    }
+};
+/**
+ * Execute indexed task analyses reached at this run syntax on every feasible path.
+ *
+ * @internal
+ */
+export const executePromiseRunCall = (tasks, runCall, evaluate) => {
+    const matches = [];
+    for (const taskProof of tasks?.proofsBySyncCall.get(runCall) ?? []) {
+        const match = runtimeTaskMatch(tasks, taskProof, evaluate);
+        if (match) {
+            matches.push(match);
+        }
+    }
+    return matches;
+};
+const runtimeTaskMatch = (tasks, taskProof, evaluate) => {
+    const site = tasks?.executionSiteBySyncCall.get(taskProof.syncCall);
+    if (!site) {
+        return undefined;
+    }
+    const witness = runtimeProofWitness(taskProof.proof, (execution) => executeRuntimeTask(execution, site, evaluate));
+    if (!witness) {
+        return undefined;
+    }
+    return {
+        helperScopes: siteHelperScopes(site),
+        site,
+        syncCall: witness.execution.syncCall,
+    };
+};
+const addProofAtSyncCall = (proofsBySyncCall, syncCall, proof) => {
+    const existing = proofsBySyncCall.get(syncCall);
+    const taskProof = { proof, syncCall };
+    if (existing) {
+        existing.push(taskProof);
+    }
+    else {
+        proofsBySyncCall.set(syncCall, [taskProof]);
+    }
+};
+/**
+ * Index task identities and retain only Effect.runSync executions common to all feasible paths.
+ *
+ * @internal
+ */
+export const indexPromiseRuntimeTasks = (program, isSyncCall, isRunSyncCall, visitorKeys, predicates = noRuntimeCall) => {
+    const interpretation = interpretPromiseRuntime(program, {
+        isEffectCall: effectCallPredicate(predicates),
+        isObjectAssignCall: objectAssignPredicate(predicates),
+        isRunSyncCall,
+        isSyncCall,
+        visitorKeys,
+    });
+    const tasks = {
+        deferredSyncCalls: interpretation.deferredSyncCalls,
+        executionSiteBySyncCall: new WeakMap(),
+        proofsBySyncCall: new WeakMap(),
+    };
+    for (const site of interpretation.sites) {
+        tasks.executionSiteBySyncCall.set(site.syncCall, {
+            helperScopes: site.helperScopes,
+            scopes: [],
+        });
+    }
+    for (const [syncCall, proof] of interpretation.proofs) {
+        addProofAtSyncCall(tasks.proofsBySyncCall, syncCall, proof);
+    }
+    return tasks;
+};
+//# sourceMappingURL=effect-promise-runtime-tasks.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-tasks.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-tasks.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,8BAA8B,EAC9B,2BAA2B,EAC3B,0BAA0B,EAC1B,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AASvC,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAwCrE,MAAM,aAAa,GAAwB,GAAY,EAAE,CAAC,KAAK,CAAC;AAEhE,MAAM,mBAAmB,GAAG,CAC1B,UAAuD,EAClC,EAAE;IACvB,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,UAAU,CAAC,YAAY,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,UAAuD,EAClC,EAAE;IACvB,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,UAAU,CAAC,kBAAkB,CAAC;AACvC,CAAC,CAAC;AAaF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAsC,EACtC,QAAiB,EACR,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAsC,EACtC,QAAiB,EACjB,IAA8B,EACxB,EAAE;IACR,IAAI,CAAC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,EAAE;YAC1C,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK;YACnC,YAAY,EAAE,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC;YACnD,MAAM,EAAE,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC;SACxC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,KAAK,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAkC,EAClC,IAA8B,EAChB,EAAE;IAChB,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IACD,OAAO,QAAQ,CAAC,YAAY,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,QAAkC,EAClC,IAA8B,EAClB,EAAE;IACd,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,QAAQ,CAAC,MAAM,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAA8B,EAAgB,EAAE;IACxE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,IAAI,CAAC,YAAY,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,MAA4B,EAC5B,SAA2B,EAC3B,YAA0B,EACJ,EAAE;IACxB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,SAA2B,EAC3B,YAA0B,EACiB,EAAE,CAC7C,IAAI,GAAG,CACL,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAkC,EAAE,CAAC;IAC9E,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,CAAC;IAC7C,MAAM;CACP,CAAC,CACH,CAAC;AAEJ,MAAM,eAAe,GAAG,CACtB,SAA2B,EAC3B,YAA0B,EACmD,EAAE,CAC/E,IAAI,GAAG,CACL,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CACvB,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAoE,EAAE,CAAC;IACrF,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,CAAC;IAC7C,MAAM;CACP,CACF,CACF,CAAC;AAEJ,MAAM,kBAAkB,GAAG,CACzB,SAA2B,EAC3B,IAA8B,EAC9B,QAAsB,EACb,EAAE;IACX,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,0BAA0B,CAAC,gBAAgB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IAC9F,MAAM,cAAc,GAAG,uBAAuB,CAAC,eAAe,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACzF,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;IAC1D,CAAC;YAAS,CAAC;QACT,2BAA2B,CAAC,cAAc,CAAC,CAAC;QAC5C,8BAA8B,CAAC,eAAe,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAsC,EACtC,OAAgB,EAChB,QAAsB,EACO,EAAE;IAC/B,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACnE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,KAAsC,EACtC,SAA2B,EAC3B,QAAsB,EACQ,EAAE;IAChC,MAAM,IAAI,GAAG,KAAK,EAAE,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,SAAS,EAAW,EAAE,CAC1E,kBAAkB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAC9C,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,YAAY,EAAE,gBAAgB,CAAC,IAAI,CAAC;QACpC,IAAI;QACJ,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ;KACrC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,gBAAqD,EACrD,QAAiB,EACjB,KAAmB,EACb,EAAE;IACR,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACtC,IAAI,QAAQ,EAAE,CAAC;QACb,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;SAAM,CAAC;QACN,gBAAgB,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAAgB,EAChB,UAA+B,EAC/B,aAAkC,EAClC,WAAgC,EAChC,aAA0D,aAAa,EAClD,EAAE;IACvB,MAAM,cAAc,GAAG,uBAAuB,CAAC,OAAO,EAAE;QACtD,YAAY,EAAE,mBAAmB,CAAC,UAAU,CAAC;QAC7C,kBAAkB,EAAE,qBAAqB,CAAC,UAAU,CAAC;QACrD,aAAa;QACb,UAAU;QACV,WAAW;KACZ,CAAC,CAAC;IACH,MAAM,KAAK,GAAwB;QACjC,iBAAiB,EAAE,cAAc,CAAC,iBAAiB;QACnD,uBAAuB,EAAE,IAAI,OAAO,EAAE;QACtC,gBAAgB,EAAE,IAAI,OAAO,EAAE;KAChC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,KAAK,EAAE,CAAC;QACxC,KAAK,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE;YAC/C,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;QACtD,kBAAkB,CAAC,KAAK,CAAC,gBAAgB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -0,0 +1,14 @@
+import type { RuntimeValue } from './effect-promise-runtime-model';
+/**
+ * Encode an explicitly supplied receiver without conflating undefined with absence.
+ *
+ * @internal
+ */
+export declare const runtimeThisBinding: (value: RuntimeValue) => RuntimeValue;
+/**
+ * Decode an explicit receiver for ThisExpression evaluation.
+ *
+ * @internal
+ */
+export declare const runtimeThisValue: (value: RuntimeValue) => RuntimeValue;
+//# sourceMappingURL=effect-promise-runtime-this.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-this.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-this.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAMnE;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,YAAY,KAAG,YAKxD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,YAAY,KAAG,YAKtD,CAAC"}

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

@@ -0,0 +1,29 @@
+/* -------------------------------------------------------------------------- */
+/*       Explicit receiver bindings for the Effect runtime interpreter.       */
+/* -------------------------------------------------------------------------- */
+const boundUndefinedThis = Object.freeze({
+    type: 'RuntimeBoundUndefinedThis',
+});
+/**
+ * Encode an explicitly supplied receiver without conflating undefined with absence.
+ *
+ * @internal
+ */
+export const runtimeThisBinding = (value) => {
+    if (value === undefined) {
+        return boundUndefinedThis;
+    }
+    return value;
+};
+/**
+ * Decode an explicit receiver for ThisExpression evaluation.
+ *
+ * @internal
+ */
+export const runtimeThisValue = (value) => {
+    if (value === boundUndefinedThis) {
+        return undefined;
+    }
+    return value;
+};
+//# sourceMappingURL=effect-promise-runtime-this.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-this.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-this.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAKhF,MAAM,kBAAkB,GAAY,MAAM,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,2BAA2B;CAClC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAmB,EAAgB,EAAE;IACtE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAmB,EAAgB,EAAE;IACpE,IAAI,KAAK,KAAK,kBAAkB,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Execute try/catch/finally with ECMAScript abrupt-completion precedence.
+ *
+ * @internal
+ */
+export declare const executeRuntimeTry: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-try.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-try.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-try.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EACV,uBAAuB,EAEvB,aAAa,EAEb,oBAAoB,EACrB,MAAM,gCAAgC,CAAC;AAUxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAuH5C;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,KAC/B,aAQF,CAAC"}