@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-runtime-control-scalars.js

@@ -0,0 +1,178 @@
+/* -------------------------------------------------------------------------- */
+/*      Exact scalar operations used only by runtime control statements.      */
+/* -------------------------------------------------------------------------- */
+import { assignRuntimeName, resolvedRuntimeName, runtimeNode, runtimeObjectReference, } from './effect-promise-runtime-values.js';
+import { childNode, identifierName } from './effect-ast.js';
+import { safeRuntimeValue, unknownRuntimeValue } from './effect-promise-runtime-model.js';
+import { evaluateRuntimeBinaryScalar } from './effect-promise-runtime-scalars.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const literalScalar = (node) => {
+    const value = Reflect.get(node, 'value');
+    if (value === null ||
+        typeof value === 'boolean' ||
+        typeof value === 'number' ||
+        typeof value === 'string') {
+        return value;
+    }
+    return unknownRuntimeValue;
+};
+const transformedUnaryScalar = (operator, value) => {
+    if (operator === '!') {
+        return !value;
+    }
+    if (operator === '+') {
+        return Number(value);
+    }
+    if (operator === '-') {
+        return -Number(value);
+    }
+    return unknownRuntimeValue;
+};
+const unaryScalar = (node, host, context) => {
+    const operator = Reflect.get(node, 'operator');
+    if (operator === 'void') {
+        return undefined;
+    }
+    const value = expressionScalar(childNode(node, 'argument'), host, context);
+    if (value === unknownRuntimeValue) {
+        return value;
+    }
+    return transformedUnaryScalar(operator, value);
+};
+const binaryScalar = (node, host, context) => {
+    const left = expressionScalar(childNode(node, 'left'), host, context);
+    const right = expressionScalar(childNode(node, 'right'), host, context);
+    if (left === unknownRuntimeValue || right === unknownRuntimeValue) {
+        return unknownRuntimeValue;
+    }
+    const operator = Reflect.get(node, 'operator');
+    if (typeof operator !== 'string') {
+        return unknownRuntimeValue;
+    }
+    return evaluateRuntimeBinaryScalar(operator, left, right);
+};
+const globalIdentifierScalar = (name) => {
+    if (name === 'undefined') {
+        return undefined;
+    }
+    if (name === 'NaN') {
+        return Number.NaN;
+    }
+    if (name === 'Infinity') {
+        return Number.POSITIVE_INFINITY;
+    }
+    return unknownRuntimeValue;
+};
+const identifierScalar = (node, host, context) => {
+    const name = identifierName(node);
+    const value = resolvedRuntimeName(node, context.taskScopes);
+    if (value === node) {
+        return globalIdentifierScalar(name);
+    }
+    if (value === safeRuntimeValue || runtimeObjectReference(value)) {
+        return unknownRuntimeValue;
+    }
+    return runtimeControlScalar(value, host, context);
+};
+const expressionScalar = (node, host, context) => {
+    const expression = unwrappedExpression(node);
+    if (!expression) {
+        return unknownRuntimeValue;
+    }
+    if (expression.type === 'Literal') {
+        return literalScalar(expression);
+    }
+    if (expression.type === 'Identifier') {
+        return identifierScalar(expression, host, context);
+    }
+    return compositeScalar(expression, host, context);
+};
+const compositeScalar = (expression, host, context) => {
+    if (expression.type === 'UnaryExpression') {
+        return unaryScalar(expression, host, context);
+    }
+    if (expression.type === 'BinaryExpression') {
+        return binaryScalar(expression, host, context);
+    }
+    return unknownRuntimeValue;
+};
+/**
+ * Resolve one exact scalar, including known `undefined` and binary operations.
+ *
+ * @internal
+ */
+export const runtimeControlScalar = (value, host, context) => {
+    if (value === undefined) {
+        return undefined;
+    }
+    return expressionScalar(runtimeNode(value), host, context);
+};
+/**
+ * Resolve exact truthiness for a scalar control expression when supported.
+ *
+ * @internal
+ */
+export const runtimeControlTruthiness = (value, host, context) => {
+    const scalar = runtimeControlScalar(value, host, context);
+    if (scalar === unknownRuntimeValue) {
+        return undefined;
+    }
+    return Boolean(scalar);
+};
+const scalarNode = (value) => {
+    const node = { type: 'Literal', value };
+    return node;
+};
+const updatedScalar = (operator, current, operand) => {
+    if (operator === '+=') {
+        return evaluateRuntimeBinaryScalar('+', current, operand);
+    }
+    if (operator === '-=') {
+        return evaluateRuntimeBinaryScalar('-', current, operand);
+    }
+    return unknownRuntimeValue;
+};
+const applyAssignment = (host, node, context) => {
+    const left = childNode(node, 'left');
+    const name = identifierName(left);
+    const current = expressionScalar(left, host, context);
+    const operand = expressionScalar(childNode(node, 'right'), host, context);
+    if (!name || current === unknownRuntimeValue || operand === unknownRuntimeValue) {
+        return;
+    }
+    const value = updatedScalar(Reflect.get(node, 'operator'), current, operand);
+    if (value !== unknownRuntimeValue) {
+        assignRuntimeName(name, scalarNode(value), context.taskScopes);
+    }
+};
+const applyUpdate = (host, node, context) => {
+    const argument = childNode(node, 'argument');
+    const name = identifierName(argument);
+    const current = expressionScalar(argument, host, context);
+    if (!name || typeof current !== 'number') {
+        return;
+    }
+    let delta = 1;
+    if (Reflect.get(node, 'operator') === '--') {
+        delta = -1;
+    }
+    assignRuntimeName(name, scalarNode(current + delta), context.taskScopes);
+};
+/**
+ * Apply one directly executed scalar update expression.
+ *
+ * @internal
+ */
+export const applyRuntimeScalarUpdate = (host, node, context) => {
+    let expression = node;
+    if (node?.type === 'ExpressionStatement') {
+        expression = childNode(node, 'expression');
+    }
+    if (expression?.type === 'AssignmentExpression') {
+        applyAssignment(host, expression, context);
+    }
+    else if (expression?.type === 'UpdateExpression') {
+        applyUpdate(host, expression, context);
+    }
+};
+//# sourceMappingURL=effect-promise-runtime-control-scalars.js.map

package/dist/rules/effect-promise-runtime-control-scalars.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-scalars.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-scalars.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAQhF,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,WAAW,EACX,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAEvF,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAInE,MAAM,aAAa,GAAG,CAAC,IAAa,EAAwB,EAAE;IAC5D,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,SAAS;QAC1B,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ,EACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAAiB,EACjB,KAAyB,EACH,EAAE;IACxB,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,CAAC,KAAK,CAAC;IAChB,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAAa,EACb,IAA0B,EAC1B,OAAgC,EACV,EAAE;IACxB,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACxD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3E,IAAI,KAAK,KAAK,mBAAmB,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAAa,EACb,IAA0B,EAC1B,OAAgC,EACV,EAAE;IACxB,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,IAAI,KAAK,mBAAmB,IAAI,KAAK,KAAK,mBAAmB,EAAE,CAAC;QAClE,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACxD,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,2BAA2B,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAwB,EAAwB,EAAE;IAChF,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,GAAG,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAClC,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAa,EACb,IAA0B,EAC1B,OAAgC,EACV,EAAE;IACxB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,KAAK,gBAAgB,IAAI,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAyB,EACzB,IAA0B,EAC1B,OAAgC,EACV,EAAE;IACxB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,aAAa,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,OAAO,gBAAgB,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,UAAmB,EACnB,IAA0B,EAC1B,OAAgC,EACV,EAAE;IACxB,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC1C,OAAO,WAAW,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC3C,OAAO,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAmB,EACnB,IAA0B,EAC1B,OAAgC,EACV,EAAE;IACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,KAAmB,EACnB,IAA0B,EAC1B,OAAgC,EACX,EAAE;IACvB,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAyB,EAAW,EAAE;IACxD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,QAAiB,EACjB,OAA2B,EAC3B,OAA2B,EACL,EAAE;IACxB,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,2BAA2B,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,2BAA2B,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAC1B,EAAE;IACR,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,IAAI,IAAI,OAAO,KAAK,mBAAmB,IAAI,OAAO,KAAK,mBAAmB,EAAE,CAAC;QAChF,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,KAAK,KAAK,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACjE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAC1B,EAAE;IACR,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,CAAC,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzC,OAAO;IACT,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,KAAK,GAAG,CAAC,CAAC,CAAC;IACb,CAAC;IACD,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,GAAG,KAAK,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA0B,EAC1B,IAAyB,EACzB,OAAgC,EAC1B,EAAE;IACR,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,IAAI,IAAI,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACzC,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,UAAU,EAAE,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAChD,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;SAAM,IAAI,UAAU,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;AACH,CAAC,CAAC"}

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

@@ -0,0 +1,22 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+export type RuntimeExpressionHost = RuntimeStatementHost;
+/**
+ * Execute an optional child expression.
+ *
+ * @internal
+ */
+export declare const executeOptionalRuntimeChild: (host: RuntimeExpressionHost, node: ASTNode, key: string, context: RuntimeExecutionContext) => RuntimeResult;
+/**
+ * Join two feasible expression executions transactionally.
+ *
+ * @internal
+ */
+export declare const executeRuntimeBranches: (host: RuntimeExpressionHost, context: RuntimeExecutionContext, leftExecution: () => RuntimeResult, rightExecution: () => RuntimeResult) => RuntimeResult;
+/**
+ * Execute one runtime expression with exact evaluation order.
+ *
+ * @internal
+ */
+export declare const executeRuntimeExpression: (host: RuntimeExpressionHost, node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-expressions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-expressions.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-expressions.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EAEb,oBAAoB,EAGrB,MAAM,gCAAgC,CAAC;AAgBxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAW5C,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC;AAyGzD;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,qBAAqB,EAC3B,MAAM,OAAO,EACb,KAAK,MAAM,EACX,SAAS,uBAAuB,KAC/B,aAMF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,qBAAqB,EAC3B,SAAS,uBAAuB,EAChC,eAAe,MAAM,aAAa,EAClC,gBAAgB,MAAM,aAAa,KAClC,aAA6F,CAAC;AAkPjG;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,qBAAqB,EAC3B,MAAM,OAAO,EACb,SAAS,uBAAuB,KAC/B,aAUF,CAAC"}

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

@@ -0,0 +1,265 @@
+/* -------------------------------------------------------------------------- */
+/*     Expression flow for the Effect runtime task abstract interpreter.      */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_MAYBE_ABRUPT, RUNTIME_NORMAL, RUNTIME_THROW, appendRuntimeExecution, runtimeLexicalValue, safeRuntimeValue, unknownRuntimeValue, } from './effect-promise-runtime-model.js';
+import { asNode, childNode } from './effect-ast.js';
+import { executeRuntimeAssignment, executeRuntimeDeletion, } from './effect-promise-runtime-mutations.js';
+import { executeRuntimeObjectDefineProperty, isRuntimeObjectDefinePropertyCall, } from './effect-promise-runtime-intrinsics.js';
+import { invokeRuntimeCallable, runtimeCallableForNode } from './effect-promise-runtime-callables.js';
+import { runtimeObjectAlternatives, spreadRuntimeChoiceMembers, } from './effect-promise-runtime-choice-operations.js';
+import { runtimeTruthiness, runtimeValue } from './effect-promise-runtime-values.js';
+import { evaluateRuntimeArguments } from './effect-promise-runtime-arguments.js';
+import { evaluateRuntimeCallTarget } from './effect-promise-runtime-call-targets.js';
+import { executeRuntimeBranchSequence } from './effect-promise-runtime-control-branches.js';
+import { executeRuntimeMember } from './effect-promise-runtime-members.js';
+import { runtimeChoice } from './effect-promise-runtime-choice.js';
+import { runtimeStructure } from './effect-promise-runtime-structures.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const NORMAL_RESULT = { completion: RUNTIME_NORMAL, value: undefined };
+const lexicalValues = (scopes) => {
+    const values = new Map();
+    for (const scope of scopes) {
+        values.set(scope.helperScope, new Map([...scope.values].map(([name, runtime]) => [
+            name,
+            runtimeLexicalValue(runtime),
+        ])));
+    }
+    return values;
+};
+const directValue = (host, node, context) => {
+    if (host.input.isSyncCall(node)) {
+        return {
+            completion: RUNTIME_NORMAL,
+            value: {
+                helperScopes: context.helperScopes,
+                kind: 'task',
+                scopes: context.taskScopes,
+                syncCall: node,
+            },
+        };
+    }
+    if (node.type === 'ArrowFunctionExpression' ||
+        node.type === 'FunctionExpression' ||
+        node.type === 'FunctionDeclaration') {
+        return {
+            completion: RUNTIME_NORMAL,
+            value: runtimeCallableForNode(host, node, context) ?? unknownRuntimeValue,
+        };
+    }
+    return runtimeStructure(host, node, context);
+};
+const childValue = (host, value, context) => {
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            const result = childValue(host, item, context);
+            if (result.completion !== RUNTIME_NORMAL) {
+                return result;
+            }
+        }
+        return NORMAL_RESULT;
+    }
+    const node = asNode(value);
+    if (node) {
+        return executeRuntimeExpression(host, node, context);
+    }
+    return NORMAL_RESULT;
+};
+const childKey = (host, node, key, context) => {
+    if (key === 'parent') {
+        return NORMAL_RESULT;
+    }
+    return childValue(host, Reflect.get(node, key), context);
+};
+const children = (host, node, context) => {
+    for (const key of host.input.visitorKeys?.[node.type] ?? Object.keys(node)) {
+        const result = childKey(host, node, key, context);
+        if (result.completion !== RUNTIME_NORMAL) {
+            return result;
+        }
+    }
+    return {
+        completion: RUNTIME_NORMAL,
+        value: runtimeValue(node, host.valueContext(context)),
+    };
+};
+/**
+ * Execute an optional child expression.
+ *
+ * @internal
+ */
+export const executeOptionalRuntimeChild = (host, node, key, context) => {
+    const child = childNode(node, key);
+    if (child) {
+        return executeRuntimeExpression(host, child, context);
+    }
+    return NORMAL_RESULT;
+};
+/**
+ * Join two feasible expression executions transactionally.
+ *
+ * @internal
+ */
+export const executeRuntimeBranches = (host, context, leftExecution, rightExecution) => executeRuntimeBranchSequence(host, [leftExecution, rightExecution], context);
+const shouldSkipLogical = (operator, known) => (operator === '&&' && known === false) || (operator === '||' && known === true);
+const logical = (host, node, context) => {
+    const left = executeOptionalRuntimeChild(host, node, 'left', context);
+    if (left.completion !== RUNTIME_NORMAL) {
+        return left;
+    }
+    const known = runtimeTruthiness(left.value, host.valueContext(context));
+    if (shouldSkipLogical(Reflect.get(node, 'operator'), known)) {
+        return left;
+    }
+    if (known !== undefined) {
+        return executeOptionalRuntimeChild(host, node, 'right', context);
+    }
+    return executeRuntimeBranches(host, context, () => left, () => executeOptionalRuntimeChild(host, node, 'right', context));
+};
+const conditional = (host, node, context) => {
+    const test = executeOptionalRuntimeChild(host, node, 'test', context);
+    if (test.completion !== RUNTIME_NORMAL) {
+        return test;
+    }
+    const known = runtimeTruthiness(test.value, host.valueContext(context));
+    if (known === true) {
+        return executeOptionalRuntimeChild(host, node, 'consequent', context);
+    }
+    if (known === false) {
+        return executeOptionalRuntimeChild(host, node, 'alternate', context);
+    }
+    return executeRuntimeBranches(host, context, () => executeOptionalRuntimeChild(host, node, 'consequent', context), () => executeOptionalRuntimeChild(host, node, 'alternate', context));
+};
+const runTask = (host, node, value, context) => {
+    const choice = runtimeChoice(value);
+    if (choice) {
+        return runTaskChoices(host, node, choice.choices, context);
+    }
+    const task = runtimeTask(value);
+    if (!task) {
+        return nonTaskRunResult(value);
+    }
+    host.deferredSyncCalls.add(task.syncCall);
+    appendRuntimeExecution(host.state, {
+        call: node,
+        offsets: new Map(context.offsets),
+        syncCall: task.syncCall,
+        task,
+        values: lexicalValues(task.scopes),
+    });
+    return NORMAL_RESULT;
+};
+const runtimeTask = (value) => {
+    if (value && typeof value !== 'symbol' && 'kind' in value && value.kind === 'task') {
+        return value;
+    }
+    return undefined;
+};
+const nonTaskRunResult = (value) => {
+    if (value === safeRuntimeValue) {
+        return NORMAL_RESULT;
+    }
+    if (value === unknownRuntimeValue) {
+        return { completion: RUNTIME_MAYBE_ABRUPT, value: unknownRuntimeValue };
+    }
+    return { completion: RUNTIME_THROW, value: undefined };
+};
+const runTaskChoices = (host, node, choices, context) => {
+    if (choices.length === 0) {
+        return NORMAL_RESULT;
+    }
+    const [first, ...remaining] = choices;
+    if (remaining.length === 0) {
+        return runTask(host, node, first, context);
+    }
+    return host.branches(context, () => runTask(host, node, first, context), () => runTaskChoices(host, node, remaining, context));
+};
+const dispatchCall = (host, call, context) => {
+    if (host.input.isRunSyncCall(call.node)) {
+        return runTask(host, call.node, call.argumentsList[0], context);
+    }
+    if (host.input.isObjectAssignCall(call.node)) {
+        return objectAssign(host, call.argumentsList);
+    }
+    if (isRuntimeObjectDefinePropertyCall(call.node, context)) {
+        return executeRuntimeObjectDefineProperty(host, call.argumentsList, context);
+    }
+    const result = invokeRuntimeCallable(host, call.target, call.argumentsList, context);
+    if (result) {
+        return result;
+    }
+    return {
+        completion: RUNTIME_NORMAL,
+        value: runtimeValue(call.node, host.valueContext(context)),
+    };
+};
+const objectAssign = (host, argumentsList) => {
+    const [target, ...sources] = argumentsList;
+    if (!runtimeObjectAlternatives(target)) {
+        return { completion: RUNTIME_NORMAL, value: unknownRuntimeValue };
+    }
+    for (const source of sources) {
+        spreadRuntimeChoiceMembers(host.state, source, target);
+    }
+    return { completion: RUNTIME_NORMAL, value: target };
+};
+const call = (host, node, context) => {
+    const callee = childNode(node, 'callee');
+    const target = evaluateRuntimeCallTarget(host, callee, context, executeRuntimeExpression.bind(undefined, host));
+    if (target.completion !== RUNTIME_NORMAL || !target.target) {
+        return { completion: target.completion, value: undefined };
+    }
+    const argumentsResult = evaluateRuntimeArguments(host, node, context, executeRuntimeExpression.bind(undefined, host));
+    if (argumentsResult.completion !== RUNTIME_NORMAL) {
+        return { completion: argumentsResult.completion, value: undefined };
+    }
+    return dispatchCall(host, {
+        argumentsList: argumentsResult.values,
+        node,
+        target: target.target,
+    }, context);
+};
+const dispatchExpression = (host, node, context) => {
+    switch (node.type) {
+        case 'LogicalExpression': {
+            return logical(host, node, context);
+        }
+        case 'ConditionalExpression': {
+            return conditional(host, node, context);
+        }
+        case 'AssignmentExpression': {
+            return executeRuntimeAssignment(host, node, context, executeRuntimeExpression.bind(undefined, host));
+        }
+        case 'MemberExpression': {
+            return executeRuntimeMember(host, node, context, executeRuntimeExpression.bind(undefined, host));
+        }
+        case 'UnaryExpression': {
+            if (Reflect.get(node, 'operator') === 'delete') {
+                return executeRuntimeDeletion(host, node, context, executeRuntimeExpression.bind(undefined, host));
+            }
+            return children(host, node, context);
+        }
+        case 'CallExpression': {
+            return call(host, node, context);
+        }
+        default: {
+            return children(host, node, context);
+        }
+    }
+};
+/**
+ * Execute one runtime expression with exact evaluation order.
+ *
+ * @internal
+ */
+export const executeRuntimeExpression = (host, node, context) => {
+    const direct = directValue(host, node, context);
+    if (direct) {
+        return direct;
+    }
+    const unwrapped = unwrappedExpression(node);
+    if (unwrapped && unwrapped !== node) {
+        return executeRuntimeExpression(host, unwrapped, context);
+    }
+    return dispatchExpression(host, node, context);
+};
+//# sourceMappingURL=effect-promise-runtime-expressions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-expressions.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-expressions.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AASxC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EACL,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,kCAAkC,EAClC,iCAAiC,GAClC,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACnG,OAAO,EACL,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAIlF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AACzF,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAGnE,MAAM,aAAa,GAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAEtF,MAAM,aAAa,GAAG,CACpB,MAA+B,EACgD,EAAE;IACjF,MAAM,MAAM,GAAG,IAAI,GAAG,EAGnB,CAAC;IACJ,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CACR,KAAK,CAAC,WAAW,EACjB,IAAI,GAAG,CACL,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CACnB,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAoD,EAAE,CAAC;YACrE,IAAI;YACJ,mBAAmB,CAAC,OAAO,CAAC;SAC7B,CACF,CACF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAA2B,EAC3B,IAAa,EACb,OAAgC,EACL,EAAE;IAC7B,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,cAAc;YAC1B,KAAK,EAAE;gBACL,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,OAAO,CAAC,UAAU;gBAC1B,QAAQ,EAAE,IAAI;aACf;SACF,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,yBAAyB;QACvC,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAClC,IAAI,CAAC,IAAI,KAAK,qBAAqB,EACnC,CAAC;QACD,OAAO;YACL,UAAU,EAAE,cAAc;YAC1B,KAAK,EAAE,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,mBAAmB;SAC1E,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAA2B,EAC3B,KAAc,EACd,OAAgC,EACjB,EAAE;IACjB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC/C,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;gBACzC,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,wBAAwB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,IAA2B,EAC3B,IAAa,EACb,GAAW,EACX,OAAgC,EACjB,EAAE;IACjB,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,IAA2B,EAC3B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE,cAAc;QAC1B,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA2B,EAC3B,IAAa,EACb,GAAW,EACX,OAAgC,EACjB,EAAE;IACjB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,wBAAwB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA2B,EAC3B,OAAgC,EAChC,aAAkC,EAClC,cAAmC,EACpB,EAAE,CAAC,4BAA4B,CAAC,IAAI,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,CAAC;AAEjG,MAAM,iBAAiB,GAAG,CAAC,QAAiB,EAAE,KAA0B,EAAW,EAAE,CACnF,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC;AAElF,MAAM,OAAO,GAAG,CACd,IAA2B,EAC3B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,IAAI,GAAG,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,IAAI,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,sBAAsB,CAC3B,IAAI,EACJ,OAAO,EACP,GAAkB,EAAE,CAAC,IAAI,EACzB,GAAkB,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAC/E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAA2B,EAC3B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,IAAI,GAAG,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,OAAO,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,sBAAsB,CAC3B,IAAI,EACJ,OAAO,EACP,GAAkB,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,EACnF,GAAkB,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CACnF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CACd,IAA2B,EAC3B,IAAa,EACb,KAAmB,EACnB,OAAgC,EACjB,EAAE;IACjB,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE;QACjC,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC;QACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,IAAI;QACJ,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC;KACnC,CAAC,CAAC;IACH,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,KAAmB,EAAgC,EAAE;IACxE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACnF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,KAAmB,EAAiB,EAAE;IAC9D,IAAI,KAAK,KAAK,gBAAgB,EAAE,CAAC;QAC/B,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,KAAK,KAAK,mBAAmB,EAAE,CAAC;QAClC,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAA2B,EAC3B,IAAa,EACb,OAAgC,EAChC,OAAgC,EACjB,EAAE;IACjB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,GAAG,OAAO,CAAC;IACtC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,CAClB,OAAO,EACP,GAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,EACxD,GAAkB,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CACpE,CAAC;AACJ,CAAC,CAAC;AAQF,MAAM,YAAY,GAAG,CACnB,IAA2B,EAC3B,IAAiB,EACjB,OAAgC,EACjB,EAAE;IACjB,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,iCAAiC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC1D,OAAO,kCAAkC,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACrF,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO;QACL,UAAU,EAAE,cAAc;QAC1B,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;KAC3D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA2B,EAC3B,aAAsC,EACvB,EAAE;IACjB,MAAM,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,aAAa,CAAC;IAC3C,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,0BAA0B,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,CACX,IAA2B,EAC3B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,yBAAyB,CACtC,IAAI,EACJ,MAAM,EACN,OAAO,EACP,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAC/C,CAAC;IACF,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC7D,CAAC;IACD,MAAM,eAAe,GAAG,wBAAwB,CAC9C,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAC/C,CAAC;IACF,IAAI,eAAe,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAClD,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,YAAY,CACjB,IAAI,EACJ;QACE,aAAa,EAAE,eAAe,CAAC,MAAM;QACrC,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,EACD,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAA2B,EAC3B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,OAAO,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,uBAAuB,CAAC,CAAC,CAAC;YAC7B,OAAO,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,OAAO,wBAAwB,CAC7B,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAC/C,CAAC;QACJ,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,OAAO,oBAAoB,CACzB,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAC/C,CAAC;QACJ,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC/C,OAAO,sBAAsB,CAC3B,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAC/C,CAAC;YACJ,CAAC;YACD,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA2B,EAC3B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,wBAAwB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC,CAAC"}

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

@@ -0,0 +1,39 @@
+import type { RuntimeObjectRef, RuntimeState, RuntimeValue } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Allocate one exact object identity in the mutable runtime heap.
+ *
+ * @internal
+ */
+export declare const allocateRuntimeObject: (state: RuntimeState, isArray?: boolean, source?: ASTNode) => RuntimeObjectRef;
+/**
+ * Read one exact member from an object identity.
+ *
+ * @internal
+ */
+export declare const readRuntimeMember: (state: RuntimeState, reference: RuntimeObjectRef, name: string) => RuntimeValue;
+/**
+ * Write one exact member through every alias of an object identity.
+ *
+ * @internal
+ */
+export declare const writeRuntimeMember: (state: RuntimeState, reference: RuntimeObjectRef, name: string, value: RuntimeValue) => void;
+/**
+ * Delete one exact member through every alias of an object identity.
+ *
+ * @internal
+ */
+export declare const deleteRuntimeMember: (state: RuntimeState, reference: RuntimeObjectRef, name: string) => void;
+/**
+ * Copy all enumerable abstract members in insertion order.
+ *
+ * @internal
+ */
+export declare const spreadRuntimeMembers: (state: RuntimeState, source: RuntimeObjectRef, target: RuntimeObjectRef) => void;
+/**
+ * Read exact array elements from numeric heap members.
+ *
+ * @internal
+ */
+export declare const runtimeArrayValues: (state: RuntimeState, reference: RuntimeObjectRef) => readonly RuntimeValue[] | undefined;
+//# sourceMappingURL=effect-promise-runtime-heap.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-heap.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-heap.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnG,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAG5C;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,YAAY,EACnB,iBAAe,EACf,SAAS,OAAO,KACf,gBAIF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,YAAY,EACnB,WAAW,gBAAgB,EAC3B,MAAM,MAAM,KACX,YAA2E,CAAC;AAE/E;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,YAAY,EACnB,WAAW,gBAAgB,EAC3B,MAAM,MAAM,EACZ,OAAO,YAAY,KAClB,IAEF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,YAAY,EACnB,WAAW,gBAAgB,EAC3B,MAAM,MAAM,KACX,IAEF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,YAAY,EACnB,QAAQ,gBAAgB,EACxB,QAAQ,gBAAgB,KACvB,IAUF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,YAAY,EACnB,WAAW,gBAAgB,KAC1B,SAAS,YAAY,EAAE,GAAG,SAc5B,CAAC"}

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

@@ -0,0 +1,73 @@
+/* -------------------------------------------------------------------------- */
+/*       Identity-preserving object and array heap for runtime values.        */
+/* -------------------------------------------------------------------------- */
+import { unknownRuntimeValue } from './effect-promise-runtime-model.js';
+/**
+ * Allocate one exact object identity in the mutable runtime heap.
+ *
+ * @internal
+ */
+export const allocateRuntimeObject = (state, isArray = false, source) => {
+    const reference = { identity: {}, isArray, kind: 'object', source };
+    state.heap.set(reference, new Map());
+    return reference;
+};
+/**
+ * Read one exact member from an object identity.
+ *
+ * @internal
+ */
+export const readRuntimeMember = (state, reference, name) => state.heap.get(reference)?.get(name) ?? unknownRuntimeValue;
+/**
+ * Write one exact member through every alias of an object identity.
+ *
+ * @internal
+ */
+export const writeRuntimeMember = (state, reference, name, value) => {
+    state.heap.get(reference)?.set(name, value);
+};
+/**
+ * Delete one exact member through every alias of an object identity.
+ *
+ * @internal
+ */
+export const deleteRuntimeMember = (state, reference, name) => {
+    state.heap.get(reference)?.delete(name);
+};
+/**
+ * Copy all enumerable abstract members in insertion order.
+ *
+ * @internal
+ */
+export const spreadRuntimeMembers = (state, source, target) => {
+    const targetMembers = state.heap.get(target);
+    if (!targetMembers) {
+        return;
+    }
+    for (const [name, value] of state.heap.get(source) ?? []) {
+        if (name !== 'length') {
+            targetMembers.set(name, value);
+        }
+    }
+};
+/**
+ * Read exact array elements from numeric heap members.
+ *
+ * @internal
+ */
+export const runtimeArrayValues = (state, reference) => {
+    if (!reference.isArray) {
+        return undefined;
+    }
+    const members = state.heap.get(reference);
+    const { arrayLength } = reference;
+    if (arrayLength === undefined) {
+        return undefined;
+    }
+    const values = [];
+    for (let index = 0; index < arrayLength; index += 1) {
+        values.push(members?.get(String(index)) ?? unknownRuntimeValue);
+    }
+    return values;
+};
+//# sourceMappingURL=effect-promise-runtime-heap.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-heap.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-heap.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAIhF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAmB,EACnB,OAAO,GAAG,KAAK,EACf,MAAgB,EACE,EAAE;IACpB,MAAM,SAAS,GAAqB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACrC,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAmB,EACnB,SAA2B,EAC3B,IAAY,EACE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC;AAE/E;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAmB,EACnB,SAA2B,EAC3B,IAAY,EACZ,KAAmB,EACb,EAAE;IACR,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAmB,EACnB,SAA2B,EAC3B,IAAY,EACN,EAAE;IACR,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAmB,EACnB,MAAwB,EACxB,MAAwB,EAClB,EAAE;IACR,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAmB,EACnB,SAA2B,EACU,EAAE;IACvC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;IAClC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,WAAW,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,mBAAmB,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

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

@@ -0,0 +1,39 @@
+import type { HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { PromiseVisitorKeys } from './effect-promise-execution-types';
+import type { RuntimeProof } from './effect-promise-runtime-proof';
+type EffectCallPredicate = (node: ASTNode) => boolean;
+/**
+ * Runtime declaration site materialized by the adapter after indexing.
+ *
+ * @internal
+ */
+export interface IndexedRuntimeSite {
+    helperScopes: HelperScopes;
+    syncCall: ASTNode;
+}
+/**
+ * Output of one demand-gated runtime interpretation.
+ *
+ * @internal
+ */
+export interface RuntimeInterpretation {
+    deferredSyncCalls: WeakSet<object>;
+    proofs: ReadonlyMap<ASTNode, RuntimeProof>;
+    sites: readonly IndexedRuntimeSite[];
+}
+interface InterpreterInput {
+    isEffectCall: EffectCallPredicate;
+    isObjectAssignCall: EffectCallPredicate;
+    isRunSyncCall: EffectCallPredicate;
+    isSyncCall: EffectCallPredicate;
+    visitorKeys?: PromiseVisitorKeys;
+}
+/**
+ * Interpret one program and return must-execute task runs plus declaration sites.
+ *
+ * @internal
+ */
+export declare const interpretPromiseRuntime: (program: ASTNode, input: InterpreterInput) => RuntimeInterpretation;
+export {};
+//# sourceMappingURL=effect-promise-runtime-interpreter.d.ts.map