@thethracian/oxlint-config 0.3.5 → 0.4.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-interpreter.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-interpreter.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAmB,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAqCrF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAOnE,KAAK,mBAAmB,GAAG,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;AAEtD;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,YAAY,CAAC;IAC3B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC3C,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACtC;AAED,UAAU,gBAAgB;IACxB,YAAY,EAAE,mBAAmB,CAAC;IAClC,kBAAkB,EAAE,mBAAmB,CAAC;IACxC,aAAa,EAAE,mBAAmB,CAAC;IACnC,UAAU,EAAE,mBAAmB,CAAC;IAChC,WAAW,CAAC,EAAE,kBAAkB,CAAC;CAClC;AAyWD;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAClC,SAAS,OAAO,EAChB,OAAO,gBAAgB,KACtB,qBAgBF,CAAC"}

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

@@ -0,0 +1,260 @@
+/* -------------------------------------------------------------------------- */
+/*          Must-execute interpreter for deferred Effect.sync tasks.          */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_NONTERMINATING, RUNTIME_NORMAL, RUNTIME_RETURN, sameRuntimeSnapshotValues, snapshotRuntimeStore, } from './effect-promise-runtime-model.js';
+import { allocateRuntimeObject, writeRuntimeMember } from './effect-promise-runtime-heap.js';
+import { captureRuntimeProofFragment, isRuntimeMemoSafe, isolateRuntimeProofs, mergeRuntimeProofFragment, restoreRuntimeProofs, } from './effect-promise-runtime-memo.js';
+import { childNode, childNodes } from './effect-ast.js';
+import { executeOptionalRuntimeChild, executeRuntimeBranches, executeRuntimeExpression, } from './effect-promise-runtime-expressions.js';
+import { executeRuntimeContainer, executeRuntimeStatement, } from './effect-promise-runtime-statements.js';
+import { RuntimeProofFactory } from './effect-promise-runtime-proof.js';
+import { bindRuntimePattern } from './effect-promise-runtime-patterns.js';
+import { functionHeaderScopes } from './effect-promise-callables.js';
+import { runtimeResultFromOutcomes } from './effect-promise-runtime-control-completions.js';
+const NORMAL_RESULT = { completion: RUNTIME_NORMAL, value: undefined };
+const NONTERMINATING_RESULT = {
+    completion: RUNTIME_NONTERMINATING,
+    value: undefined,
+};
+const callerOutcome = (outcome) => {
+    if (outcome.completion === RUNTIME_RETURN) {
+        return { ...outcome, completion: RUNTIME_NORMAL };
+    }
+    return outcome;
+};
+const callerResult = (result) => {
+    if (result.outcomes) {
+        return runtimeResultFromOutcomes(result.outcomes.map(callerOutcome));
+    }
+    if (result.completion === RUNTIME_RETURN) {
+        return { completion: RUNTIME_NORMAL, value: result.value };
+    }
+    return result;
+};
+const sameValue = (left, right) => left === right;
+const sameArguments = (left, right) => {
+    if (left.length !== right.length) {
+        return false;
+    }
+    for (let index = 0; index < left.length; index += 1) {
+        if (!sameValue(left[index], right[index])) {
+            return false;
+        }
+    }
+    return true;
+};
+const sameCallable = (left, right) => left.binding.node === right.binding.node &&
+    sameValue(left.boundThis, right.boundThis) &&
+    sameArguments(left.boundArguments, right.boundArguments) &&
+    left.scopes.length === right.scopes.length &&
+    left.scopes.every((scope, index) => scope === right.scopes[index]);
+class RuntimeInterpreter {
+    active = [];
+    captures = new WeakMap();
+    completed = new WeakMap();
+    deferredSyncCalls = new WeakSet();
+    input;
+    sites = [];
+    state = {
+        choiceMembers: new Map(),
+        factory: new RuntimeProofFactory(),
+        heap: new Map(),
+        proofs: new Map(),
+        scopes: new Set(),
+    };
+    constructor(input) {
+        this.input = input;
+    }
+    valueContext(context) {
+        return {
+            helperScopes: context.helperScopes,
+            isEffectCall: this.input.isEffectCall,
+            isSyncCall: this.input.isSyncCall,
+            scopes: context.taskScopes,
+            state: this.state,
+            thisValue: context.thisValue,
+        };
+    }
+    visit(node, context) {
+        return executeRuntimeExpression(this, node, context);
+    }
+    optionalChild(node, key, context) {
+        return executeOptionalRuntimeChild(this, node, key, context);
+    }
+    branches(context, leftExecution, rightExecution) {
+        return executeRuntimeBranches(this, context, leftExecution, rightExecution);
+    }
+    invoke(callable, argumentsList, context) {
+        const exactCallable = this.exactCallable(callable);
+        const invocationArguments = [...exactCallable.boundArguments, ...argumentsList];
+        return this.invokeExact(exactCallable, invocationArguments, context);
+    }
+    invokeExact(callable, argumentsList, context) {
+        const visibleScopes = callable.scopes;
+        const before = snapshotRuntimeStore(this.state, visibleScopes);
+        if (this.active.some((frame) => this.sameInvocation(frame, callable, argumentsList, before))) {
+            return NONTERMINATING_RESULT;
+        }
+        const memo = this.memoized(callable, argumentsList, before);
+        if (memo) {
+            mergeRuntimeProofFragment(this.state, memo.fragment);
+            return memo.result;
+        }
+        return this.executeInvocation(callable, argumentsList, context, visibleScopes, before);
+    }
+    exactCallable(callable) {
+        if (callable.binding.node.type !== 'FunctionDeclaration') {
+            return callable;
+        }
+        const scopes = this.captures.get(callable.binding.node);
+        if (!scopes || scopes === callable.scopes) {
+            return callable;
+        }
+        return { ...callable, scopes };
+    }
+    executeInvocation(callable, argumentsList, context, visibleScopes, before) {
+        const frame = { argumentsList, before, callable };
+        const existingScopes = new Set(this.state.scopes);
+        const callerProofs = isolateRuntimeProofs(this.state);
+        this.active.push(frame);
+        const result = this.invokeActive(callable, argumentsList, context);
+        this.active.pop();
+        return this.completeInvocation(frame, result, visibleScopes, existingScopes, callerProofs);
+    }
+    completeInvocation(frame, result, visibleScopes, existingScopes, callerProofs) {
+        const after = snapshotRuntimeStore(this.state, visibleScopes);
+        const fragment = captureRuntimeProofFragment(this.state);
+        const localScopes = new Set([...this.state.scopes].filter((scope) => !existingScopes.has(scope)));
+        restoreRuntimeProofs(this.state, callerProofs);
+        mergeRuntimeProofFragment(this.state, fragment);
+        this.recordCompletedInvocation(frame, result, after, fragment, localScopes);
+        return result;
+    }
+    recordCompletedInvocation(frame, result, after, fragment, localScopes) {
+        const { before, callable } = frame;
+        const { binding } = callable;
+        if (sameRuntimeSnapshotValues(before, after) &&
+            isRuntimeMemoSafe(result, fragment, localScopes, before, this.state)) {
+            const entries = this.completed.get(binding.node);
+            const entry = { ...frame, fragment, result };
+            if (entries) {
+                entries.push(entry);
+            }
+            else {
+                this.completed.set(binding.node, [entry]);
+            }
+        }
+    }
+    sameInvocation(frame, callable, argumentsList, before) {
+        return (sameCallable(frame.callable, callable) &&
+            sameArguments(frame.argumentsList, argumentsList) &&
+            sameRuntimeSnapshotValues(frame.before, before));
+    }
+    memoized(callable, argumentsList, before) {
+        return this.completed
+            .get(callable.binding.node)
+            ?.find((entry) => sameCallable(entry.callable, callable) &&
+            sameArguments(entry.argumentsList, argumentsList) &&
+            sameRuntimeSnapshotValues(entry.before, before));
+    }
+    invokeActive(callable, argumentsList, caller) {
+        const prepared = this.invocationContext(callable, argumentsList, caller);
+        if (prepared.result.completion !== RUNTIME_NORMAL) {
+            return prepared.result;
+        }
+        const { context } = prepared;
+        const body = childNode(callable.binding.node, 'body');
+        return callerResult(this.functionBody(body, context));
+    }
+    invocationContext(callable, argumentsList, caller) {
+        const { binding } = callable;
+        const captured = callable.scopes;
+        const helpers = functionHeaderScopes(binding.node, binding);
+        const scopes = [...captured];
+        const context = {
+            helperScopes: helpers,
+            offsets: new Map(caller.offsets),
+            runtimeScopes: helpers.slice(binding.helperScopes.length),
+            taskScopes: scopes,
+            thisValue: callable.boundThis,
+        };
+        return {
+            context,
+            result: this.addParameterScope(binding, argumentsList, helpers, scopes, context),
+        };
+    }
+    addParameterScope(binding, argumentsList, helpers, scopes, context) {
+        if (helpers.length <= binding.helperScopes.length) {
+            return NORMAL_RESULT;
+        }
+        const scope = {
+            helperScope: helpers[helpers.length - 1],
+            values: new Map(),
+        };
+        this.state.scopes.add(scope);
+        scopes.push(scope);
+        return this.bindParameters(binding.node, argumentsList, scope, context);
+    }
+    functionBody(body, context) {
+        if (body?.type === 'BlockStatement') {
+            return executeRuntimeContainer(this, body, context);
+        }
+        if (body) {
+            return this.visit(body, context);
+        }
+        return NORMAL_RESULT;
+    }
+    bindParameters(functionNode, argumentsList, scope, context) {
+        const parameters = childNodes(functionNode, 'params');
+        for (let index = 0; index < parameters.length; index += 1) {
+            const parameter = parameters[index];
+            const result = bindRuntimePattern(parameter, this.parameterValue(parameter, argumentsList, index), {
+                evaluate: (node) => this.visit(node, context),
+                scope,
+                state: this.state,
+            });
+            if (result.completion !== RUNTIME_NORMAL) {
+                return result;
+            }
+        }
+        return NORMAL_RESULT;
+    }
+    parameterValue(parameter, argumentsList, index) {
+        if (parameter?.type !== 'RestElement') {
+            return argumentsList[index];
+        }
+        const values = argumentsList.slice(index);
+        const array = allocateRuntimeObject(this.state, true);
+        array.arrayLength = values.length;
+        for (let valueIndex = 0; valueIndex < values.length; valueIndex += 1) {
+            writeRuntimeMember(this.state, array, String(valueIndex), values[valueIndex]);
+        }
+        return array;
+    }
+    statement(node, context) {
+        return executeRuntimeStatement(this, node, context);
+    }
+}
+/**
+ * Interpret one program and return must-execute task runs plus declaration sites.
+ *
+ * @internal
+ */
+export const interpretPromiseRuntime = (program, input) => {
+    const interpreter = new RuntimeInterpreter(input);
+    executeRuntimeContainer(interpreter, program, {
+        helperScopes: [],
+        offsets: new Map(),
+        runtimeScopes: [],
+        taskScopes: [],
+    });
+    for (const site of interpreter.sites) {
+        interpreter.deferredSyncCalls.add(site.syncCall);
+    }
+    return {
+        deferredSyncCalls: interpreter.deferredSyncCalls,
+        proofs: interpreter.state.proofs,
+        sites: interpreter.sites,
+    };
+};
+//# sourceMappingURL=effect-promise-runtime-interpreter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-interpreter.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-interpreter.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EACL,sBAAsB,EACtB,cAAc,EACd,cAAc,EACd,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAYxC,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EACL,2BAA2B,EAC3B,iBAAiB,EACjB,oBAAoB,EACpB,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EACL,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,qCAAqC,CAAC;AAI7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAErE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,yBAAyB,EAAE,MAAM,8CAA8C,CAAC;AAiDzF,MAAM,aAAa,GAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACtF,MAAM,qBAAqB,GAAkB;IAC3C,UAAU,EAAE,sBAAsB;IAClC,KAAK,EAAE,SAAS;CACjB,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,OAAuB,EAAkB,EAAE;IAChE,IAAI,OAAO,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC1C,OAAO,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,MAAqB,EAAiB,EAAE;IAC5D,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,yBAAyB,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,IAAkB,EAAE,KAAmB,EAAW,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC;AAEvF,MAAM,aAAa,GAAG,CAAC,IAA6B,EAAE,KAA8B,EAAW,EAAE;IAC/F,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,IAA0B,EAAE,KAA2B,EAAW,EAAE,CACxF,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,CAAC,IAAI;IACxC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1C,aAAa,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC;IACxD,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM;IAC1C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAE9E,MAAM,kBAAkB;IACb,MAAM,GAAsB,EAAE,CAAC;IAE/B,QAAQ,GAAG,IAAI,OAAO,EAAmC,CAAC;IAE1D,SAAS,GAAG,IAAI,OAAO,EAAuB,CAAC;IAE/C,iBAAiB,GAAG,IAAI,OAAO,EAAE,CAAC;IAElC,KAAK,CAAmB;IAExB,KAAK,GAAyB,EAAE,CAAC;IAEjC,KAAK,GAAiB;QAC7B,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,OAAO,EAAE,IAAI,mBAAmB,EAAE;QAClC,IAAI,EAAE,IAAI,GAAG,EAAE;QACf,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,MAAM,EAAE,IAAI,GAAG,EAAE;KAClB,CAAC;IAEF,YAAY,KAAuB;QACjC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,YAAY,CAAC,OAAgC;QAQ3C,OAAO;YACL,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY;YACrC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU;YACjC,MAAM,EAAE,OAAO,CAAC,UAAU;YAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,OAAgC;QACnD,OAAO,wBAAwB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,aAAa,CAAC,IAAa,EAAE,GAAW,EAAE,OAAgC;QACxE,OAAO,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC;IAED,QAAQ,CACN,OAAgC,EAChC,aAAkC,EAClC,cAAmC;QAEnC,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,CACJ,QAA8B,EAC9B,aAAsC,EACtC,OAAgC;QAEhC,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,mBAAmB,GAAG,CAAC,GAAG,aAAa,CAAC,cAAc,EAAE,GAAG,aAAa,CAAC,CAAC;QAChF,OAAO,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,WAAW,CACT,QAA8B,EAC9B,aAAsC,EACtC,OAAgC;QAEhC,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC;QACtC,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC/D,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAClC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,CAAC,CAC5D,EACD,CAAC;YACD,OAAO,qBAAqB,CAAC;QAC/B,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QAC5D,IAAI,IAAI,EAAE,CAAC;YACT,yBAAyB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrD,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,OAAO,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IACzF,CAAC;IAED,aAAa,CAAC,QAA8B;QAC1C,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACzD,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC1C,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,CAAC;IACjC,CAAC;IAED,iBAAiB,CACf,QAA8B,EAC9B,aAAsC,EACtC,OAAgC,EAChC,aAAsC,EACtC,MAA4B;QAE5B,MAAM,KAAK,GAAG,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QAClD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IAC7F,CAAC;IAED,kBAAkB,CAChB,KAAsB,EACtB,MAAqB,EACrB,aAAsC,EACtC,cAAyC,EACzC,YAAkC;QAElC,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAC9E,CAAC;QACF,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC/C,yBAAyB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC5E,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,yBAAyB,CACvB,KAAsB,EACtB,MAAqB,EACrB,KAA2B,EAC3B,QAA8B,EAC9B,WAAsC;QAEtC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;QACnC,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;QAC7B,IACE,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;YACxC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EACpE,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;IAED,cAAc,CACZ,KAAsB,EACtB,QAA8B,EAC9B,aAAsC,EACtC,MAA4B;QAE5B,OAAO,CACL,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACtC,aAAa,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,CAAC;YACjD,yBAAyB,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAChD,CAAC;IACJ,CAAC;IAED,QAAQ,CACN,QAA8B,EAC9B,aAAsC,EACtC,MAA4B;QAE5B,OAAO,IAAI,CAAC,SAAS;aAClB,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YAC3B,EAAE,IAAI,CACJ,CAAC,KAAK,EAAW,EAAE,CACjB,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACtC,aAAa,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,CAAC;YACjD,yBAAyB,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAClD,CAAC;IACN,CAAC;IAED,YAAY,CACV,QAA8B,EAC9B,aAAsC,EACtC,MAA+B;QAE/B,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QACzE,IAAI,QAAQ,CAAC,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YAClD,OAAO,QAAQ,CAAC,MAAM,CAAC;QACzB,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;QAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtD,OAAO,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,iBAAiB,CACf,QAA8B,EAC9B,aAAsC,EACtC,MAA+B;QAE/B,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;QAC7B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;QACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;QAC7B,MAAM,OAAO,GAA4B;YACvC,YAAY,EAAE,OAAO;YACrB,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;YAChC,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC;YACzD,UAAU,EAAE,MAAM;YAClB,SAAS,EAAE,QAAQ,CAAC,SAAS;SAC9B,CAAC;QACF,OAAO;YACL,OAAO;YACP,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC;SACjF,CAAC;IACJ,CAAC;IAED,iBAAiB,CACf,OAAwB,EACxB,aAAsC,EACtC,OAAqB,EACrB,MAAsB,EACtB,OAAgC;QAEhC,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;YAClD,OAAO,aAAa,CAAC;QACvB,CAAC;QACD,MAAM,KAAK,GAAiB;YAC1B,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;YACxC,MAAM,EAAE,IAAI,GAAG,EAAE;SAClB,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED,YAAY,CAAC,IAAyB,EAAE,OAAgC;QACtE,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACpC,OAAO,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,cAAc,CACZ,YAAqB,EACrB,aAAsC,EACtC,KAAmB,EACnB,OAAgC;QAEhC,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC1D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,kBAAkB,CAC/B,SAAS,EACT,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,aAAa,EAAE,KAAK,CAAC,EACpD;gBACE,QAAQ,EAAE,CAAC,IAAI,EAAiB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC;gBAC5D,KAAK;gBACL,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CACF,CAAC;YACF,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;gBACzC,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,cAAc,CACZ,SAA8B,EAC9B,aAAsC,EACtC,KAAa;QAEb,IAAI,SAAS,EAAE,IAAI,KAAK,aAAa,EAAE,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACtD,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;QAClC,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC,EAAE,CAAC;YACrE,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,CAAC,IAAa,EAAE,OAAgC;QACvD,OAAO,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,OAAgB,EAChB,KAAuB,EACA,EAAE;IACzB,MAAM,WAAW,GAAG,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAClD,uBAAuB,CAAC,WAAW,EAAE,OAAO,EAAE;QAC5C,YAAY,EAAE,EAAE;QAChB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,aAAa,EAAE,EAAE;QACjB,UAAU,EAAE,EAAE;KACf,CAAC,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QACrC,WAAW,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnD,CAAC;IACD,OAAO;QACL,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;QAChD,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM;QAChC,KAAK,EAAE,WAAW,CAAC,KAAK;KACzB,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost, RuntimeValue } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Match the unshadowed global Object.defineProperty intrinsic.
+ *
+ * @internal
+ */
+export declare const isRuntimeObjectDefinePropertyCall: (node: ASTNode, context: RuntimeExecutionContext) => boolean;
+/**
+ * Apply one exact Object.defineProperty call to a callable own property.
+ *
+ * @internal
+ */
+export declare const executeRuntimeObjectDefineProperty: (host: RuntimeStatementHost, argumentsList: readonly RuntimeValue[], context: RuntimeExecutionContext) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-intrinsics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-intrinsics.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-intrinsics.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,YAAY,EACb,MAAM,gCAAgC,CAAC;AASxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAsB5C;;;;GAIG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,EACb,SAAS,uBAAuB,KAC/B,OAGF,CAAC;AAcF;;;;GAIG;AACH,eAAO,MAAM,kCAAkC,GAC7C,MAAM,oBAAoB,EAC1B,eAAe,SAAS,YAAY,EAAE,EACtC,SAAS,uBAAuB,KAC/B,aAWF,CAAC"}

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

@@ -0,0 +1,54 @@
+/* -------------------------------------------------------------------------- */
+/*      Exact native intrinsics for the Effect runtime task interpreter.      */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_NORMAL, unknownRuntimeValue } from './effect-promise-runtime-model.js';
+import { childNode, identifierName } from './effect-ast.js';
+import { resolvedRuntimeName, runtimeMemberName, runtimeNode, runtimeScalar, } from './effect-promise-runtime-values.js';
+import { runtimeCallable, runtimeCallableForNode } from './effect-promise-runtime-callables.js';
+import { readRuntimeChoiceMember } from './effect-promise-runtime-choice-operations.js';
+import { writeRuntimeCallableProperty } from './effect-promise-runtime-callable-properties.js';
+const globalObjectMember = (node, context) => {
+    const callee = childNode(node, 'callee');
+    if (callee?.type !== 'MemberExpression') {
+        return undefined;
+    }
+    const object = childNode(callee, 'object');
+    if (identifierName(object) === 'Object' &&
+        resolvedRuntimeName(object, context.taskScopes) === object) {
+        return callee;
+    }
+    return undefined;
+};
+/**
+ * Match the unshadowed global Object.defineProperty intrinsic.
+ *
+ * @internal
+ */
+export const isRuntimeObjectDefinePropertyCall = (node, context) => {
+    const member = globalObjectMember(node, context);
+    return Boolean(member && runtimeMemberName(member) === 'defineProperty');
+};
+const propertyName = (host, value, context) => {
+    const scalar = runtimeScalar(value, host.valueContext(context));
+    if (scalar === unknownRuntimeValue) {
+        return undefined;
+    }
+    return String(scalar);
+};
+/**
+ * Apply one exact Object.defineProperty call to a callable own property.
+ *
+ * @internal
+ */
+export const executeRuntimeObjectDefineProperty = (host, argumentsList, context) => {
+    const [target, key, descriptor] = argumentsList;
+    const callable = runtimeCallable(target) ?? runtimeCallableForNode(host, runtimeNode(target), context);
+    const name = propertyName(host, key, context);
+    if (!callable || name === undefined) {
+        return { completion: RUNTIME_NORMAL, value: unknownRuntimeValue };
+    }
+    const value = readRuntimeChoiceMember(host.state, descriptor, 'value');
+    writeRuntimeCallableProperty(callable, name, value);
+    return { completion: RUNTIME_NORMAL, value: callable };
+};
+//# sourceMappingURL=effect-promise-runtime-intrinsics.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-intrinsics.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-intrinsics.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAOrF,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,aAAa,GACd,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAE7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,4CAA4C,CAAC;AACrF,OAAO,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AAE5F,MAAM,kBAAkB,GAAG,CACzB,IAAa,EACb,OAAgC,EACX,EAAE;IACvB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,IACE,cAAc,CAAC,MAAM,CAAC,KAAK,QAAQ;QACnC,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,MAAM,EAC1D,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAa,EACb,OAAgC,EACvB,EAAE;IACX,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,OAAO,CAAC,MAAM,IAAI,iBAAiB,CAAC,MAAM,CAAC,KAAK,gBAAgB,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,KAAmB,EACnB,OAAgC,EACZ,EAAE;IACtB,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAChE,IAAI,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAA0B,EAC1B,aAAsC,EACtC,OAAgC,EACjB,EAAE;IACjB,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,aAAa,CAAC;IAChD,MAAM,QAAQ,GACZ,eAAe,CAAC,MAAM,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;IACpE,CAAC;IACD,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACvE,4BAA4B,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACpD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Execute one loop with exact known tests and conservative unknown cardinality.
+ *
+ * @internal
+ */
+export declare const executeRuntimeLoop: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext, labels: readonly string[]) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-loops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-loops.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-loops.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EACV,uBAAuB,EAEvB,aAAa,EACb,oBAAoB,EAErB,MAAM,gCAAgC,CAAC;AAOxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AA8a5C;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,EAChC,QAAQ,SAAS,MAAM,EAAE,KACxB,aAKF,CAAC"}

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

@@ -0,0 +1,277 @@
+/* -------------------------------------------------------------------------- */
+/*          Iteration semantics for the Effect runtime interpreter.           */
+/* -------------------------------------------------------------------------- */
+import { NORMAL_RUNTIME_RESULT, executeRuntimeBranchSequence, } from './effect-promise-runtime-control-branches.js';
+import { RUNTIME_BREAK, RUNTIME_CONTINUE, RUNTIME_MAYBE_ABRUPT, RUNTIME_NONTERMINATING, RUNTIME_NORMAL, sameRuntimeSnapshotValues, snapshotRuntimeState, unknownRuntimeValue, } from './effect-promise-runtime-model.js';
+import { applyRuntimeScalarUpdate, runtimeControlTruthiness, } from './effect-promise-runtime-control-scalars.js';
+import { childNode, childNodes } from './effect-ast.js';
+import { runtimeNode, runtimeValue } from './effect-promise-runtime-values.js';
+import { bindCurrentRuntimePattern } from './effect-promise-runtime-control-patterns.js';
+import { runtimeArrayValues } from './effect-promise-runtime-heap.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const MAX_EXACT_ITERATIONS = 64;
+const NONTERMINATING_RESULT = {
+    completion: RUNTIME_NONTERMINATING,
+    value: undefined,
+};
+const MAYBE_ABRUPT_RESULT = {
+    completion: RUNTIME_MAYBE_ABRUPT,
+    value: undefined,
+};
+const optionalStatement = (host, node, key, context) => {
+    const statement = childNode(node, key);
+    if (statement) {
+        return host.statement(statement, context);
+    }
+    return NORMAL_RUNTIME_RESULT;
+};
+const targetMatches = (result, labels) => result.target === undefined || labels.includes(result.target);
+const bodyCompletion = (result, labels) => {
+    if (result.completion === RUNTIME_NORMAL) {
+        return undefined;
+    }
+    if (result.completion === RUNTIME_CONTINUE && targetMatches(result, labels)) {
+        return undefined;
+    }
+    if (result.completion === RUNTIME_BREAK && targetMatches(result, labels)) {
+        return NORMAL_RUNTIME_RESULT;
+    }
+    return result;
+};
+const updateResult = (host, node, context) => {
+    const update = childNode(node, 'update');
+    if (update) {
+        const result = host.visit(update, context);
+        if (result.completion === RUNTIME_NORMAL) {
+            applyRuntimeScalarUpdate(host, update, context);
+        }
+        return result;
+    }
+    return NORMAL_RUNTIME_RESULT;
+};
+const executeIteration = (host, node, context, labels) => {
+    const body = optionalStatement(host, node, 'body', context);
+    const completion = bodyCompletion(body, labels);
+    if (completion) {
+        return completion;
+    }
+    const update = updateResult(host, node, context);
+    if (update.completion === RUNTIME_NORMAL) {
+        return undefined;
+    }
+    return update;
+};
+const evaluateTest = (host, node, context) => {
+    if (!childNode(node, 'test')) {
+        return { known: true, result: NORMAL_RUNTIME_RESULT };
+    }
+    const result = host.optionalChild(node, 'test', context);
+    if (result.completion !== RUNTIME_NORMAL) {
+        return { known: undefined, result };
+    }
+    return {
+        known: runtimeControlTruthiness(result.value, host, context),
+        result,
+    };
+};
+const speculativeIteration = (host, node, context, labels) => {
+    const result = executeIteration(host, node, context, labels);
+    return result ?? NORMAL_RUNTIME_RESULT;
+};
+const unknownIteration = (host, node, context, labels) => executeRuntimeBranchSequence(host, [
+    () => NORMAL_RUNTIME_RESULT,
+    () => speculativeIteration(host, node, context, labels),
+], context);
+const testCompletion = (test, host, node, context, labels) => {
+    if (test.result.completion !== RUNTIME_NORMAL) {
+        return test.result;
+    }
+    if (test.known === false) {
+        return NORMAL_RUNTIME_RESULT;
+    }
+    if (test.known === undefined) {
+        return unknownIteration(host, node, context, labels);
+    }
+    return undefined;
+};
+const executeKnownTestIteration = (host, node, context, labels, before) => {
+    const result = executeIteration(host, node, context, labels);
+    if (result) {
+        return result;
+    }
+    const after = snapshotRuntimeState(host.state, context.taskScopes);
+    if (sameRuntimeSnapshotValues(before, after)) {
+        return NONTERMINATING_RESULT;
+    }
+    return undefined;
+};
+const testedIteration = (host, node, context, labels) => {
+    const before = snapshotRuntimeState(host.state, context.taskScopes);
+    const test = evaluateTest(host, node, context);
+    const completed = testCompletion(test, host, node, context, labels);
+    if (completed) {
+        return completed;
+    }
+    return executeKnownTestIteration(host, node, context, labels, before);
+};
+const repeatTestedLoop = (host, node, context, labels) => {
+    for (let iteration = 0; iteration < MAX_EXACT_ITERATIONS; iteration += 1) {
+        const result = testedIteration(host, node, context, labels);
+        if (result) {
+            return result;
+        }
+    }
+    return MAYBE_ABRUPT_RESULT;
+};
+const initializeFor = (host, node, context) => {
+    const initializer = childNode(node, 'init');
+    if (!initializer) {
+        return NORMAL_RUNTIME_RESULT;
+    }
+    if (initializer.type === 'VariableDeclaration') {
+        return host.statement(initializer, context);
+    }
+    return host.visit(initializer, context);
+};
+const testedLoop = (host, node, context, labels) => {
+    if (node.type === 'ForStatement') {
+        const initialized = initializeFor(host, node, context);
+        if (initialized.completion !== RUNTIME_NORMAL) {
+            return initialized;
+        }
+    }
+    if (node.type === 'DoWhileStatement') {
+        const first = executeIteration(host, node, context, labels);
+        if (first) {
+            return first;
+        }
+    }
+    return repeatTestedLoop(host, node, context, labels);
+};
+const runtimeObject = (value) => {
+    if (value && typeof value !== 'symbol' && 'kind' in value && value.kind === 'object') {
+        return value;
+    }
+    return undefined;
+};
+const arrayExpressionValues = (expression, host, context) => {
+    if (expression.type !== 'ArrayExpression') {
+        return undefined;
+    }
+    return childNodes(expression, 'elements').map((element) => runtimeValue(element, host.valueContext(context)));
+};
+const stringValues = (expression) => {
+    if (expression.type !== 'Literal') {
+        return undefined;
+    }
+    const value = Reflect.get(expression, 'value');
+    if (typeof value === 'string') {
+        return Array.from(value, () => unknownRuntimeValue);
+    }
+    return undefined;
+};
+const forOfValues = (value, host, context) => {
+    const reference = runtimeObject(value);
+    if (reference) {
+        return runtimeArrayValues(host.state, reference);
+    }
+    const expression = unwrappedExpression(runtimeNode(value));
+    if (!expression) {
+        return undefined;
+    }
+    return arrayExpressionValues(expression, host, context) ?? stringValues(expression);
+};
+const heapKeys = (reference, host) => [...(host.state.heap.get(reference)?.keys() ?? [])]
+    .filter((name) => name !== 'length')
+    .map(() => unknownRuntimeValue);
+const forInValues = (value, host) => {
+    const reference = runtimeObject(value);
+    if (reference) {
+        return heapKeys(reference, host);
+    }
+    const expression = unwrappedExpression(runtimeNode(value));
+    if (expression?.type === 'ObjectExpression') {
+        return childNodes(expression, 'properties').map(() => unknownRuntimeValue);
+    }
+    if (expression?.type === 'ArrayExpression') {
+        return childNodes(expression, 'elements').map(() => unknownRuntimeValue);
+    }
+    return undefined;
+};
+const bindDeclaredIterationValue = (host, declaration, value, context) => {
+    const declared = host.statement(declaration, context);
+    if (declared.completion !== RUNTIME_NORMAL) {
+        return declared;
+    }
+    const [declarator] = childNodes(declaration, 'declarations');
+    return bindCurrentRuntimePattern(host, childNode(declarator ?? declaration, 'id'), value, context);
+};
+const bindIterationValue = (host, node, value, context) => {
+    const left = childNode(node, 'left');
+    if (!left) {
+        return NORMAL_RUNTIME_RESULT;
+    }
+    if (left.type === 'VariableDeclaration') {
+        return bindDeclaredIterationValue(host, left, value, context);
+    }
+    return bindCurrentRuntimePattern(host, left, value, context);
+};
+const collectionIteration = (host, node, value, context, labels) => {
+    const binding = bindIterationValue(host, node, value, context);
+    if (binding.completion !== RUNTIME_NORMAL) {
+        return binding;
+    }
+    const body = optionalStatement(host, node, 'body', context);
+    return bodyCompletion(body, labels);
+};
+const exactCollectionLoop = (host, node, values, context, labels) => {
+    for (const value of values) {
+        const result = collectionIteration(host, node, value, context, labels);
+        if (result) {
+            return result;
+        }
+    }
+    return NORMAL_RUNTIME_RESULT;
+};
+const unknownCollectionLoop = (host, node, context, labels) => executeRuntimeBranchSequence(host, [
+    () => NORMAL_RUNTIME_RESULT,
+    () => collectionIteration(host, node, unknownRuntimeValue, context, labels) ??
+        NORMAL_RUNTIME_RESULT,
+], context);
+const collectionRight = (host, node, context) => {
+    const rightNode = childNode(node, 'right');
+    const expression = unwrappedExpression(rightNode);
+    if (expression?.type === 'ArrayExpression' || expression?.type === 'ObjectExpression') {
+        return host.visit(expression, context);
+    }
+    return host.optionalChild(node, 'right', context);
+};
+const collectionValues = (host, node, value, context) => {
+    if (node.type === 'ForOfStatement') {
+        return forOfValues(value, host, context);
+    }
+    return forInValues(value, host);
+};
+const collectionLoop = (host, node, context, labels) => {
+    const right = collectionRight(host, node, context);
+    if (right.completion !== RUNTIME_NORMAL) {
+        return right;
+    }
+    const values = collectionValues(host, node, right.value, context);
+    if (values) {
+        return exactCollectionLoop(host, node, values, context, labels);
+    }
+    return unknownCollectionLoop(host, node, context, labels);
+};
+/**
+ * Execute one loop with exact known tests and conservative unknown cardinality.
+ *
+ * @internal
+ */
+export const executeRuntimeLoop = (host, node, context, labels) => {
+    if (node.type === 'ForInStatement' || node.type === 'ForOfStatement') {
+        return collectionLoop(host, node, context, labels);
+    }
+    return testedLoop(host, node, context, labels);
+};
+//# sourceMappingURL=effect-promise-runtime-loops.js.map