@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-runtime-call-targets.js

@@ -0,0 +1,55 @@
+/* -------------------------------------------------------------------------- */
+/*    Exact call targets and receivers for the Effect runtime interpreter.    */
+/* -------------------------------------------------------------------------- */
+import { runtimeCallable, runtimeCallableForNode, runtimeCallableWrapper, } from './effect-promise-runtime-callables.js';
+import { RUNTIME_NORMAL } from './effect-promise-runtime-model.js';
+import { childNode } from './effect-ast.js';
+import { executeRuntimeMemberTarget } from './effect-promise-runtime-members.js';
+const callableReceiver = (host, callee, receiver, context) => runtimeCallable(receiver) ?? runtimeCallableForNode(host, childNode(callee, 'object'), context);
+const memberCallTarget = (host, callee, context, evaluate) => {
+    const member = executeRuntimeMemberTarget(host, callee, context, evaluate);
+    if (member.result.completion !== RUNTIME_NORMAL) {
+        return { completion: member.result.completion };
+    }
+    const receiver = callableReceiver(host, callee, member.receiver, context);
+    if (runtimeCallableWrapper(callee) && receiver && !member.isOwnCallableProperty) {
+        return {
+            completion: RUNTIME_NORMAL,
+            target: { callee, value: receiver },
+        };
+    }
+    let callableSpelling = undefined;
+    if (!runtimeCallableWrapper(callee)) {
+        callableSpelling = callee;
+    }
+    return {
+        completion: RUNTIME_NORMAL,
+        target: {
+            callee: callableSpelling,
+            receiver: member.receiver,
+            value: member.result.value,
+        },
+    };
+};
+/**
+ * Evaluate one direct or member call target exactly once.
+ *
+ * @internal
+ */
+export const evaluateRuntimeCallTarget = (host, callee, context, evaluate) => {
+    if (!callee) {
+        return { completion: RUNTIME_NORMAL };
+    }
+    if (callee.type === 'MemberExpression') {
+        return memberCallTarget(host, callee, context, evaluate);
+    }
+    const result = evaluate(callee, context);
+    if (result.completion !== RUNTIME_NORMAL) {
+        return { completion: result.completion };
+    }
+    return {
+        completion: RUNTIME_NORMAL,
+        target: { callee, value: result.value },
+    };
+};
+//# sourceMappingURL=effect-promise-runtime-call-targets.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-call-targets.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-call-targets.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAOhF,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAEhE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAc9E,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,MAAe,EACf,QAAgC,EAChC,OAAgC,EACR,EAAE,CAC1B,eAAe,CAAC,QAAQ,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;AAElG,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,MAAe,EACf,OAAgC,EAChC,QAA0B,EACD,EAAE;IAC3B,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAChD,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,sBAAsB,CAAC,MAAM,CAAC,IAAI,QAAQ,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,CAAC;QAChF,OAAO;YACL,UAAU,EAAE,cAAc;YAC1B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE;SACpC,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,GAAwB,SAAS,CAAC;IACtD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,gBAAgB,GAAG,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,UAAU,EAAE,cAAc;QAC1B,MAAM,EAAE;YACN,MAAM,EAAE,gBAAgB;YACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK;SAC3B;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA0B,EAC1B,MAA2B,EAC3B,OAAgC,EAChC,QAA0B,EACD,EAAE;IAC3B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACvC,OAAO,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,UAAU,EAAE,cAAc;QAC1B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;KACxC,CAAC;AACJ,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-callable-properties.d.ts

@@ -0,0 +1,20 @@
+import type { RuntimeCallableValue, RuntimeValue } from './effect-promise-runtime-model';
+/**
+ * Read an own callable property if one was defined during exact execution.
+ *
+ * @internal
+ */
+export declare const readRuntimeCallableProperty: (callable: RuntimeCallableValue, name: string) => RuntimeValue | undefined;
+/**
+ * Determine whether an exact callable carries an own property.
+ *
+ * @internal
+ */
+export declare const hasRuntimeCallableProperty: (callable: RuntimeCallableValue, name: string) => boolean;
+/**
+ * Define an own property on one exact callable identity.
+ *
+ * @internal
+ */
+export declare const writeRuntimeCallableProperty: (callable: RuntimeCallableValue, name: string, value: RuntimeValue) => void;
+//# sourceMappingURL=effect-promise-runtime-callable-properties.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-callable-properties.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-callable-properties.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAIzF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,UAAU,oBAAoB,EAC9B,MAAM,MAAM,KACX,YAAY,GAAG,SAAwD,CAAC;AAE3E;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GAAI,UAAU,oBAAoB,EAAE,MAAM,MAAM,KAAG,OACpC,CAAC;AAEvD;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,GACvC,UAAU,oBAAoB,EAC9B,MAAM,MAAM,EACZ,OAAO,YAAY,KAClB,IAOF,CAAC"}

package/dist/rules/effect-promise-runtime-callable-properties.js

@@ -0,0 +1,30 @@
+/* -------------------------------------------------------------------------- */
+/*        Own properties carried by exact runtime callable identities.        */
+/* -------------------------------------------------------------------------- */
+const callableProperties = new WeakMap();
+/**
+ * Read an own callable property if one was defined during exact execution.
+ *
+ * @internal
+ */
+export const readRuntimeCallableProperty = (callable, name) => callableProperties.get(callable)?.get(name);
+/**
+ * Determine whether an exact callable carries an own property.
+ *
+ * @internal
+ */
+export const hasRuntimeCallableProperty = (callable, name) => callableProperties.get(callable)?.has(name) === true;
+/**
+ * Define an own property on one exact callable identity.
+ *
+ * @internal
+ */
+export const writeRuntimeCallableProperty = (callable, name, value) => {
+    let properties = callableProperties.get(callable);
+    if (!properties) {
+        properties = new Map();
+        callableProperties.set(callable, properties);
+    }
+    properties.set(name, value);
+};
+//# sourceMappingURL=effect-promise-runtime-callable-properties.js.map

package/dist/rules/effect-promise-runtime-callable-properties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-callable-properties.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-callable-properties.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAIhF,MAAM,kBAAkB,GAAG,IAAI,OAAO,EAAmD,CAAC;AAE1F;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,QAA8B,EAC9B,IAAY,EACc,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AAE3E;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,QAA8B,EAAE,IAAY,EAAW,EAAE,CAClG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;AAEvD;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAA8B,EAC9B,IAAY,EACZ,KAAmB,EACb,EAAE;IACR,IAAI,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;QACvB,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC/C,CAAC;IACD,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC9B,CAAC,CAAC"}

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

@@ -0,0 +1,51 @@
+import type { RuntimeCallableValue, RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost, RuntimeValue } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Narrow one abstract value to an exact callable instance.
+ *
+ * @internal
+ */
+export declare const runtimeCallable: (value: RuntimeValue) => RuntimeCallableValue | undefined;
+/**
+ * Materialize a callable spelling with the environment captured at declaration. Function expressions
+ * evaluated repeatedly intentionally produce distinct values so closures created by one factory
+ * invocation cannot reuse another invocation's parameters.
+ *
+ * @internal
+ */
+export declare const runtimeCallableForNode: (host: RuntimeStatementHost, node: ASTNode | undefined, context: RuntimeExecutionContext) => RuntimeCallableValue | undefined;
+/**
+ * Add arguments to one callable instance without invoking it.
+ *
+ * @internal
+ */
+export declare const bindRuntimeCallable: (callable: RuntimeCallableValue, argumentsList: readonly RuntimeValue[], requestedThis?: RuntimeValue, isThisProvided?: boolean) => RuntimeCallableValue;
+/**
+ * Function prototype wrapper recognized without treating arbitrary members as calls.
+ *
+ * @internal
+ */
+export type RuntimeCallableWrapper = 'apply' | 'bind' | 'call';
+/**
+ * Resolve a statically named Function prototype wrapper.
+ *
+ * @internal
+ */
+export declare const runtimeCallableWrapper: (callee: ASTNode | undefined) => RuntimeCallableWrapper | undefined;
+/**
+ * Callable spelling, value, and optional ordinary method receiver.
+ *
+ * @internal
+ */
+export interface RuntimeCallableTarget {
+    callee?: ASTNode;
+    receiver?: RuntimeValue;
+    value: RuntimeValue;
+}
+/**
+ * Dispatch a callable or Function prototype wrapper, or decline an unknown callee.
+ *
+ * @internal
+ */
+export declare const invokeRuntimeCallable: (host: RuntimeStatementHost, target: RuntimeCallableTarget, argumentsList: readonly RuntimeValue[], context: RuntimeExecutionContext) => RuntimeResult | undefined;
+//# sourceMappingURL=effect-promise-runtime-callables.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-callables.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-callables.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EACV,oBAAoB,EACpB,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,YAAY,EACb,MAAM,gCAAgC,CAAC;AAGxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AA8D5C;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,YAAY,KAAG,oBAAoB,GAAG,SAK5E,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,GAAG,SAAS,EACzB,SAAS,uBAAuB,KAC/B,oBAAoB,GAAG,SAQzB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,oBAAoB,EAC9B,eAAe,SAAS,YAAY,EAAE,EACtC,gBAAgB,YAAY,EAC5B,wBAAsB,KACrB,oBAMD,CAAC;AAgBH;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE/D;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,QAAQ,OAAO,GAAG,SAAS,KAC1B,sBAAsB,GAAG,SAS3B,CAAC;AA6IF;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,KAAK,EAAE,YAAY,CAAC;CACrB;AAED;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,oBAAoB,EAC1B,QAAQ,qBAAqB,EAC7B,eAAe,SAAS,YAAY,EAAE,EACtC,SAAS,uBAAuB,KAC/B,aAAa,GAAG,SAkBlB,CAAC"}

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

@@ -0,0 +1,214 @@
+/* -------------------------------------------------------------------------- */
+/*      Per-instance callable values for the Effect runtime interpreter.      */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_MAYBE_ABRUPT, RUNTIME_NORMAL, RUNTIME_THROW, safeRuntimeValue, unknownRuntimeValue, } from './effect-promise-runtime-model.js';
+import { isFunctionNode, unwrappedExpression } from './effect-boundary-ast-shared.js';
+import { runtimeMemberName, runtimeObjectReference } from './effect-promise-runtime-values.js';
+import { callableBinding } from './effect-promise-callables.js';
+import { runtimeArrayValues } from './effect-promise-runtime-heap.js';
+import { runtimeChoice } from './effect-promise-runtime-choice.js';
+import { runtimeThisBinding } from './effect-promise-runtime-this.js';
+const stableCallables = new WeakMap();
+const cachedCallable = (host, bindingNode, scopes) => stableCallables
+    .get(host)
+    ?.get(bindingNode)
+    ?.get(scopes);
+const cacheCallable = (host, callable) => {
+    let byBinding = stableCallables.get(host);
+    if (!byBinding) {
+        byBinding = new WeakMap();
+        stableCallables.set(host, byBinding);
+    }
+    let byScopes = byBinding.get(callable.binding.node);
+    if (!byScopes) {
+        byScopes = new WeakMap();
+        byBinding.set(callable.binding.node, byScopes);
+    }
+    byScopes.set(callable.scopes, callable);
+    return callable;
+};
+const createdCallable = (binding, scopes) => ({
+    binding,
+    boundArguments: [],
+    kind: 'callable',
+    scopes,
+});
+const reusableCallable = (host, node, callable) => {
+    if (isFunctionNode(unwrappedExpression(node))) {
+        return callable;
+    }
+    return (cachedCallable(host, callable.binding.node, callable.scopes) ?? cacheCallable(host, callable));
+};
+/**
+ * Narrow one abstract value to an exact callable instance.
+ *
+ * @internal
+ */
+export const runtimeCallable = (value) => {
+    if (value && typeof value !== 'symbol' && 'kind' in value && value.kind === 'callable') {
+        return value;
+    }
+    return undefined;
+};
+/**
+ * Materialize a callable spelling with the environment captured at declaration. Function expressions
+ * evaluated repeatedly intentionally produce distinct values so closures created by one factory
+ * invocation cannot reuse another invocation's parameters.
+ *
+ * @internal
+ */
+export const runtimeCallableForNode = (host, node, context) => {
+    const binding = callableBinding(node, [], context.helperScopes);
+    if (!binding) {
+        return undefined;
+    }
+    const scopes = host.captures.get(binding.node) ?? context.taskScopes;
+    const callable = createdCallable(binding, scopes);
+    return reusableCallable(host, node, callable);
+};
+/**
+ * Add arguments to one callable instance without invoking it.
+ *
+ * @internal
+ */
+export const bindRuntimeCallable = (callable, argumentsList, requestedThis, isThisProvided = false) => ({
+    binding: callable.binding,
+    boundArguments: [...callable.boundArguments, ...argumentsList],
+    boundThis: boundRuntimeThis(callable, requestedThis, isThisProvided),
+    kind: 'callable',
+    scopes: callable.scopes,
+});
+const boundRuntimeThis = (callable, requestedThis, isThisProvided) => {
+    if (callable.boundThis !== undefined) {
+        return callable.boundThis;
+    }
+    if (isThisProvided) {
+        return runtimeThisBinding(requestedThis);
+    }
+    return undefined;
+};
+/**
+ * Resolve a statically named Function prototype wrapper.
+ *
+ * @internal
+ */
+export const runtimeCallableWrapper = (callee) => {
+    if (callee?.type !== 'MemberExpression') {
+        return undefined;
+    }
+    const name = runtimeMemberName(callee);
+    if (name === 'apply' || name === 'bind' || name === 'call') {
+        return name;
+    }
+    return undefined;
+};
+const appliedArguments = (host, value) => {
+    if (value === undefined) {
+        return [];
+    }
+    const reference = runtimeObjectReference(value);
+    if (reference) {
+        return runtimeArrayValues(host.state, reference);
+    }
+    return undefined;
+};
+const wrapperArguments = (host, wrapper, argumentsList) => {
+    if (wrapper === 'apply') {
+        return appliedArguments(host, argumentsList[1]);
+    }
+    return argumentsList.slice(1);
+};
+const invokeWrapper = (host, wrapper, callable, argumentsList, context) => {
+    if (wrapper === 'bind') {
+        return {
+            completion: RUNTIME_NORMAL,
+            value: bindRuntimeCallable(callable, argumentsList.slice(1), argumentsList[0], true),
+        };
+    }
+    const invocationArguments = wrapperArguments(host, wrapper, argumentsList);
+    if (invocationArguments) {
+        const bound = bindRuntimeCallable(callable, [], argumentsList[0], true);
+        return host.invoke(bound, invocationArguments, context);
+    }
+    return { completion: RUNTIME_NORMAL, value: unknownRuntimeValue };
+};
+const invokeCallable = (host, dispatch, callable, argumentsList, context) => {
+    if (dispatch.wrapper) {
+        return invokeWrapper(host, dispatch.wrapper, callable, argumentsList, context);
+    }
+    const isReceiverProvided = dispatch.receiver !== undefined;
+    const bound = bindRuntimeCallable(callable, [], dispatch.receiver, isReceiverProvided);
+    return host.invoke(bound, argumentsList, context);
+};
+const UNKNOWN_CALL_RESULT = {
+    completion: RUNTIME_MAYBE_ABRUPT,
+    value: unknownRuntimeValue,
+};
+const THROW_CALL_RESULT = {
+    completion: RUNTIME_THROW,
+    value: undefined,
+};
+const isExactNonCallable = (value) => value === undefined ||
+    value === safeRuntimeValue ||
+    (value !== unknownRuntimeValue &&
+        typeof value !== 'symbol' &&
+        'kind' in value &&
+        value.kind !== 'callable' &&
+        value.kind !== 'choice');
+const invokeCallableAlternative = (host, dispatch, value, argumentsList, context) => {
+    const callable = runtimeCallable(value);
+    if (callable) {
+        return invokeCallable(host, dispatch, callable, argumentsList, context);
+    }
+    if (value === unknownRuntimeValue) {
+        return UNKNOWN_CALL_RESULT;
+    }
+    if (isExactNonCallable(value)) {
+        return THROW_CALL_RESULT;
+    }
+    return undefined;
+};
+const invokeCallableAlternatives = (host, dispatch, choices, argumentsList, context) => {
+    const invokeAt = (index) => {
+        const first = choices[index];
+        const invokeFirst = () => invokeCallableAlternative(host, dispatch, first, argumentsList, context) ??
+            UNKNOWN_CALL_RESULT;
+        const nextIndex = index + 1;
+        if (nextIndex === choices.length) {
+            return invokeFirst();
+        }
+        return host.branches(context, invokeFirst, () => invokeAt(nextIndex));
+    };
+    return invokeAt(0);
+};
+const invokeCallableChoices = (host, dispatch, calleeValue, argumentsList, context) => {
+    const choice = runtimeChoice(calleeValue);
+    if (!choice) {
+        return undefined;
+    }
+    return invokeCallableAlternatives(host, dispatch, choice.choices, argumentsList, context);
+};
+/**
+ * Dispatch a callable or Function prototype wrapper, or decline an unknown callee.
+ *
+ * @internal
+ */
+export const invokeRuntimeCallable = (host, target, argumentsList, context) => {
+    const dispatch = {
+        receiver: target.receiver,
+        wrapper: runtimeCallableWrapper(target.callee),
+    };
+    const choiceResult = invokeCallableChoices(host, dispatch, target.value, argumentsList, context);
+    if (choiceResult) {
+        return choiceResult;
+    }
+    const callable = runtimeCallable(target.value) ?? runtimeCallableForNode(host, target.callee, context);
+    if (callable) {
+        return invokeCallable(host, dispatch, callable, argumentsList, context);
+    }
+    if (target.value === undefined) {
+        return THROW_CALL_RESULT;
+    }
+    return undefined;
+};
+//# sourceMappingURL=effect-promise-runtime-callables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-callables.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-callables.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAQxC,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAE5F,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAEnE,MAAM,eAAe,GAAG,IAAI,OAAO,EAGhC,CAAC;AAEJ,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,WAAmB,EACnB,MAAyB,EACS,EAAE,CACpC,eAAe;KACZ,GAAG,CAAC,IAAI,CAAC;IACV,EAAE,GAAG,CAAC,WAAW,CAAC;IAClB,EAAE,GAAG,CAAC,MAAgB,CAAC,CAAC;AAE5B,MAAM,aAAa,GAAG,CACpB,IAA0B,EAC1B,QAA8B,EACR,EAAE;IACxB,IAAI,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,SAAS,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,QAAQ,GAAG,IAAI,OAAO,EAAE,CAAC;QACzB,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAgB,EAAE,QAAQ,CAAC,CAAC;IAClD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,OAAwC,EACxC,MAAsC,EAChB,EAAE,CAAC,CAAC;IAC1B,OAAO;IACP,cAAc,EAAE,EAAE;IAClB,IAAI,EAAE,UAAU;IAChB,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAyB,EACzB,QAA8B,EACR,EAAE;IACxB,IAAI,cAAc,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,CACL,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC9F,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAmB,EAAoC,EAAE;IACvF,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA0B,EAC1B,IAAyB,EACzB,OAAgC,EACE,EAAE;IACpC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAChE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC;IACrE,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAA8B,EAC9B,aAAsC,EACtC,aAA4B,EAC5B,cAAc,GAAG,KAAK,EACA,EAAE,CAAC,CAAC;IAC1B,OAAO,EAAE,QAAQ,CAAC,OAAO;IACzB,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,GAAG,aAAa,CAAC;IAC9D,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,aAAa,EAAE,cAAc,CAAC;IACpE,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;CACxB,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CACvB,QAA8B,EAC9B,aAA2B,EAC3B,cAAuB,EACT,EAAE;IAChB,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC,SAAS,CAAC;IAC5B,CAAC;IACD,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,kBAAkB,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AASF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAA2B,EACS,EAAE;IACtC,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,KAAmB,EACkB,EAAE;IACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,OAA+B,EAC/B,aAAsC,EACD,EAAE;IACvC,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAA0B,EAC1B,OAA+B,EAC/B,QAA8B,EAC9B,aAAsC,EACtC,OAAgC,EACjB,EAAE;IACjB,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,OAAO;YACL,UAAU,EAAE,cAAc;YAC1B,KAAK,EAAE,mBAAmB,CAAC,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;SACrF,CAAC;IACJ,CAAC;IACD,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC3E,IAAI,mBAAmB,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;AACpE,CAAC,CAAC;AAOF,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,QAAiC,EACjC,QAA8B,EAC9B,aAAsC,EACtC,OAAgC,EACjB,EAAE;IACjB,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,kBAAkB,GAAG,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC;IAC3D,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IACvF,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAkB;IACzC,UAAU,EAAE,oBAAoB;IAChC,KAAK,EAAE,mBAAmB;CAC3B,CAAC;AACF,MAAM,iBAAiB,GAAkB;IACvC,UAAU,EAAE,aAAa;IACzB,KAAK,EAAE,SAAS;CACjB,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAmB,EAAW,EAAE,CAC1D,KAAK,KAAK,SAAS;IACnB,KAAK,KAAK,gBAAgB;IAC1B,CAAC,KAAK,KAAK,mBAAmB;QAC5B,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,UAAU;QACzB,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAE7B,MAAM,yBAAyB,GAAG,CAChC,IAA0B,EAC1B,QAAiC,EACjC,KAAmB,EACnB,aAAsC,EACtC,OAAgC,EACL,EAAE;IAC7B,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,KAAK,KAAK,mBAAmB,EAAE,CAAC;QAClC,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,IAA0B,EAC1B,QAAiC,EACjC,OAAgC,EAChC,aAAsC,EACtC,OAAgC,EACjB,EAAE;IACjB,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAiB,EAAE;QAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,GAAkB,EAAE,CACtC,yBAAyB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC;YACxE,mBAAmB,CAAC;QACtB,MAAM,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC;QAC5B,IAAI,SAAS,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACjC,OAAO,WAAW,EAAE,CAAC;QACvB,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,EAAE,GAAkB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACvF,CAAC,CAAC;IACF,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAA0B,EAC1B,QAAiC,EACjC,WAAyB,EACzB,aAAsC,EACtC,OAAgC,EACL,EAAE;IAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,0BAA0B,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AAC5F,CAAC,CAAC;AAaF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA0B,EAC1B,MAA6B,EAC7B,aAAsC,EACtC,OAAgC,EACL,EAAE;IAC7B,MAAM,QAAQ,GAA4B;QACxC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC,MAAM,CAAC;KAC/C,CAAC;IACF,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACjG,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GACZ,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxF,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-choice-operations.d.ts

@@ -0,0 +1,32 @@
+import type { RuntimeObjectRef, RuntimeState, RuntimeValue } from './effect-promise-runtime-model';
+/**
+ * Return every exact object alternative, or decline a non-object value.
+ *
+ * @internal
+ */
+export declare const runtimeObjectAlternatives: (value: RuntimeValue) => readonly RuntimeObjectRef[] | undefined;
+/**
+ * Read a member from every exact object alternative and join the values.
+ *
+ * @internal
+ */
+export declare const readRuntimeChoiceMember: (state: RuntimeState, value: RuntimeValue, name: string) => RuntimeValue;
+/**
+ * Write exactly through the selected choice while weakening each possible concrete alias.
+ *
+ * @internal
+ */
+export declare const writeRuntimeChoiceMember: (state: RuntimeState, target: RuntimeValue, name: string, value: RuntimeValue) => void;
+/**
+ * Delete exactly through a selected choice while weakening each possible alias.
+ *
+ * @internal
+ */
+export declare const deleteRuntimeChoiceMember: (state: RuntimeState, target: RuntimeValue, name: string) => void;
+/**
+ * Copy joined source members through an exact or correlated Object.assign target.
+ *
+ * @internal
+ */
+export declare const spreadRuntimeChoiceMembers: (state: RuntimeState, source: RuntimeValue, target: RuntimeValue) => void;
+//# sourceMappingURL=effect-promise-runtime-choice-operations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-choice-operations.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-choice-operations.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAkCnG;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,OAAO,YAAY,KAClB,SAAS,gBAAgB,EAAE,GAAG,SAUhC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAClC,OAAO,YAAY,EACnB,OAAO,YAAY,EACnB,MAAM,MAAM,KACX,YAmBF,CAAC;AA6BF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,OAAO,YAAY,EACnB,QAAQ,YAAY,EACpB,MAAM,MAAM,EACZ,OAAO,YAAY,KAClB,IAcF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,OAAO,YAAY,EACnB,QAAQ,YAAY,EACpB,MAAM,MAAM,KACX,IAcF,CAAC;AAgBF;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,OAAO,YAAY,EACnB,QAAQ,YAAY,EACpB,QAAQ,YAAY,KACnB,IAMF,CAAC"}

package/dist/rules/effect-promise-runtime-choice-operations.js

@@ -0,0 +1,145 @@
+/* -------------------------------------------------------------------------- */
+/*      Heap operations distributed over bounded runtime value choices.       */
+/* -------------------------------------------------------------------------- */
+import { deleteRuntimeMember, readRuntimeMember, writeRuntimeMember, } from './effect-promise-runtime-heap.js';
+import { joinRuntimeValueChoice, runtimeChoice, runtimeChoiceValue, } from './effect-promise-runtime-choice.js';
+import { unknownRuntimeValue } from './effect-promise-runtime-model.js';
+const objectReference = (value) => {
+    if (value && typeof value !== 'symbol' && 'kind' in value && value.kind === 'object') {
+        return value;
+    }
+    return undefined;
+};
+const choiceObjectAlternatives = (choices) => {
+    const references = [];
+    for (const alternative of choices) {
+        const reference = objectReference(alternative);
+        if (!reference) {
+            return undefined;
+        }
+        references.push(reference);
+    }
+    return references;
+};
+/**
+ * Return every exact object alternative, or decline a non-object value.
+ *
+ * @internal
+ */
+export const runtimeObjectAlternatives = (value) => {
+    const choice = runtimeChoice(value);
+    if (choice) {
+        return choiceObjectAlternatives(choice.choices);
+    }
+    const reference = objectReference(value);
+    if (reference) {
+        return [reference];
+    }
+    return undefined;
+};
+/**
+ * Read a member from every exact object alternative and join the values.
+ *
+ * @internal
+ */
+export const readRuntimeChoiceMember = (state, value, name) => {
+    const choice = runtimeChoice(value);
+    const overlay = choice && state.choiceMembers.get(choice);
+    if (overlay?.has(name)) {
+        return overlay.get(name);
+    }
+    const references = runtimeObjectAlternatives(value);
+    if (!references) {
+        return unknownRuntimeValue;
+    }
+    return runtimeChoiceValue(references.map((reference) => {
+        const members = state.heap.get(reference);
+        if (members && !members.has(name)) {
+            return undefined;
+        }
+        return readRuntimeMember(state, reference, name);
+    }));
+};
+const weakWriteRuntimeMember = (state, reference, name, value) => {
+    const members = state.heap.get(reference);
+    let previous = undefined;
+    if (members?.has(name)) {
+        previous = members.get(name);
+    }
+    writeRuntimeMember(state, reference, name, joinRuntimeValueChoice(previous, value));
+};
+const choiceOverlay = (state, choice) => {
+    const existing = state.choiceMembers.get(choice);
+    if (existing) {
+        return existing;
+    }
+    const created = new Map();
+    state.choiceMembers.set(choice, created);
+    return created;
+};
+/**
+ * Write exactly through the selected choice while weakening each possible concrete alias.
+ *
+ * @internal
+ */
+export const writeRuntimeChoiceMember = (state, target, name, value) => {
+    const choice = runtimeChoice(target);
+    const references = runtimeObjectAlternatives(target);
+    if (!references) {
+        return;
+    }
+    if (!choice) {
+        writeRuntimeMember(state, references[0], name, value);
+        return;
+    }
+    choiceOverlay(state, choice).set(name, value);
+    for (const reference of references) {
+        weakWriteRuntimeMember(state, reference, name, value);
+    }
+};
+/**
+ * Delete exactly through a selected choice while weakening each possible alias.
+ *
+ * @internal
+ */
+export const deleteRuntimeChoiceMember = (state, target, name) => {
+    const choice = runtimeChoice(target);
+    const references = runtimeObjectAlternatives(target);
+    if (!references) {
+        return;
+    }
+    if (!choice) {
+        deleteRuntimeMember(state, references[0], name);
+        return;
+    }
+    choiceOverlay(state, choice).set(name, undefined);
+    for (const reference of references) {
+        weakWriteRuntimeMember(state, reference, name, undefined);
+    }
+};
+const runtimeMemberNames = (state, value) => {
+    const names = new Set();
+    const choice = runtimeChoice(value);
+    for (const name of (choice && state.choiceMembers.get(choice)?.keys()) ?? []) {
+        names.add(name);
+    }
+    for (const reference of runtimeObjectAlternatives(value) ?? []) {
+        for (const name of state.heap.get(reference)?.keys() ?? []) {
+            names.add(name);
+        }
+    }
+    return names;
+};
+/**
+ * Copy joined source members through an exact or correlated Object.assign target.
+ *
+ * @internal
+ */
+export const spreadRuntimeChoiceMembers = (state, source, target) => {
+    for (const name of runtimeMemberNames(state, source)) {
+        if (name !== 'length') {
+            writeRuntimeChoiceMember(state, target, name, readRuntimeChoiceMember(state, source, name));
+        }
+    }
+};
+//# sourceMappingURL=effect-promise-runtime-choice-operations.js.map

package/dist/rules/effect-promise-runtime-choice-operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-choice-operations.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-choice-operations.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,sBAAsB,EACtB,aAAa,EACb,kBAAkB,GACnB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAErE,MAAM,eAAe,GAAG,CAAC,KAAmB,EAAgC,EAAE;IAC5E,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,OAAgC,EACS,EAAE;IAC3C,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,KAAK,MAAM,WAAW,IAAI,OAAO,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAmB,EACsB,EAAE;IAC3C,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,wBAAwB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,CAAC,SAAS,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAmB,EACnB,KAAmB,EACnB,IAAY,EACE,EAAE;IAChB,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,UAAU,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,kBAAkB,CACvB,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAgB,EAAE;QACzC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,KAAmB,EACnB,SAA2B,EAC3B,IAAY,EACZ,KAAmB,EACb,EAAE;IACR,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,QAAQ,GAAiB,SAAS,CAAC;IACvC,IAAI,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AACtF,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,KAAmB,EACnB,MAAqD,EAC1B,EAAE;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,KAAmB,EACnB,MAAoB,EACpB,IAAY,EACZ,KAAmB,EACb,EAAE;IACR,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IACD,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAmB,EACnB,MAAoB,EACpB,IAAY,EACN,EAAE;IACR,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,mBAAmB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IACD,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAmB,EAAE,KAAmB,EAAe,EAAE;IACnF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7E,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YAC3D,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAmB,EACnB,MAAoB,EACpB,MAAoB,EACd,EAAE;IACR,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACrD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

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

@@ -0,0 +1,26 @@
+import type { RuntimeChoiceValue, RuntimeValue } from './effect-promise-runtime-model';
+/**
+ * Maximum exact identities retained by one runtime value choice.
+ *
+ * @internal
+ */
+export declare const RUNTIME_CHOICE_CAP = 8;
+/**
+ * Narrow a runtime value to one bounded identity choice.
+ *
+ * @internal
+ */
+export declare const runtimeChoice: (value: RuntimeValue) => RuntimeChoiceValue | undefined;
+/**
+ * Join exact branch identities by pointer, flattening nested choices.
+ *
+ * @internal
+ */
+export declare const runtimeChoiceValue: (values: Iterable<RuntimeValue>) => RuntimeValue;
+/**
+ * Join two exact values into one bounded canonical choice.
+ *
+ * @internal
+ */
+export declare const joinRuntimeValueChoice: (left: RuntimeValue, right: RuntimeValue) => RuntimeValue;
+//# sourceMappingURL=effect-promise-runtime-choice.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-choice.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-choice.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAGvF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,OAAO,YAAY,KAAG,kBAAkB,GAAG,SAKxE,CAAC;AA+DF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,QAAQ,QAAQ,CAAC,YAAY,CAAC,KAAG,YAUnE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,MAAM,YAAY,EAAE,OAAO,YAAY,KAAG,YAKhF,CAAC"}