@thethracian/oxlint-config 0.3.5 → 0.4.0

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

@@ -0,0 +1,95 @@
+/* -------------------------------------------------------------------------- */
+/*        Bounded identity choices for runtime branch-created values.         */
+/* -------------------------------------------------------------------------- */
+import { unknownRuntimeValue } from './effect-promise-runtime-model.js';
+/**
+ * Maximum exact identities retained by one runtime value choice.
+ *
+ * @internal
+ */
+export const RUNTIME_CHOICE_CAP = 8;
+/**
+ * Narrow a runtime value to one bounded identity choice.
+ *
+ * @internal
+ */
+export const runtimeChoice = (value) => {
+    if (value && typeof value !== 'symbol' && 'kind' in value && value.kind === 'choice') {
+        return value;
+    }
+    return undefined;
+};
+const appendChoice = (target, value) => {
+    const choice = runtimeChoice(value);
+    if (choice) {
+        for (const member of choice.choices) {
+            if (!appendChoice(target, member)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    if (!target.includes(value)) {
+        target.push(value);
+    }
+    return target.length <= RUNTIME_CHOICE_CAP;
+};
+const allInputsSame = (inputs) => {
+    const [first] = inputs;
+    return inputs.length > 0 && inputs.every((value) => value === first);
+};
+const collectedChoices = (inputs) => {
+    const choices = [];
+    for (const value of inputs) {
+        if (value === unknownRuntimeValue || !appendChoice(choices, value)) {
+            return undefined;
+        }
+    }
+    return choices;
+};
+const existingChoice = (inputs, choices) => inputs
+    .map(runtimeChoice)
+    .find((choice) => choice !== undefined &&
+    choice.choices.length === choices.length &&
+    choice.choices.every((value, index) => value === choices[index]));
+const canonicalChoice = (inputs, choices) => {
+    if (choices.length === 0) {
+        return undefined;
+    }
+    if (choices.length === 1) {
+        return choices[0];
+    }
+    const existing = existingChoice(inputs, choices);
+    if (existing) {
+        return existing;
+    }
+    return Object.freeze({ choices: Object.freeze(choices), kind: 'choice' });
+};
+/**
+ * Join exact branch identities by pointer, flattening nested choices.
+ *
+ * @internal
+ */
+export const runtimeChoiceValue = (values) => {
+    const inputs = [...values];
+    if (allInputsSame(inputs)) {
+        return inputs[0];
+    }
+    const choices = collectedChoices(inputs);
+    if (!choices) {
+        return unknownRuntimeValue;
+    }
+    return canonicalChoice(inputs, choices);
+};
+/**
+ * Join two exact values into one bounded canonical choice.
+ *
+ * @internal
+ */
+export const joinRuntimeValueChoice = (left, right) => {
+    if (left === right) {
+        return left;
+    }
+    return runtimeChoiceValue([left, right]);
+};
+//# sourceMappingURL=effect-promise-runtime-choice.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-choice.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-choice.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAEpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAmB,EAAkC,EAAE;IACnF,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,YAAY,GAAG,CAAC,MAAsB,EAAE,KAAmB,EAAW,EAAE;IAC5E,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,IAAI,kBAAkB,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,MAA+B,EAAW,EAAE;IACjE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;IACvB,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,MAA+B,EAA8B,EAAE;IACvF,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,mBAAmB,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YACnE,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,MAA+B,EAC/B,OAAgC,EACA,EAAE,CAClC,MAAM;KACH,GAAG,CAAC,aAAa,CAAC;KAClB,IAAI,CACH,CAAC,MAAM,EAAW,EAAE,CAClB,MAAM,KAAK,SAAS;IACpB,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;IACxC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,CAC5E,CAAC;AAEN,MAAM,eAAe,GAAG,CACtB,MAA+B,EAC/B,OAAuB,EACT,EAAE;IAChB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAA8B,EAAgB,EAAE;IACjF,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC3B,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAkB,EAAE,KAAmB,EAAgB,EAAE;IAC9F,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC3C,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-control-branches.d.ts

@@ -0,0 +1,14 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+/**
+ * Normal completion without an expression value.
+ *
+ * @internal
+ */
+export declare const NORMAL_RUNTIME_RESULT: RuntimeResult;
+/**
+ * Execute feasible branches from one baseline and retain only common effects.
+ *
+ * @internal
+ */
+export declare const executeRuntimeBranchSequence: (host: RuntimeStatementHost, branches: readonly (() => RuntimeResult)[], context: RuntimeExecutionContext) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-control-branches.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-branches.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-branches.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EACV,uBAAuB,EAEvB,aAAa,EAEb,oBAAoB,EACrB,MAAM,gCAAgC,CAAC;AAOxC;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,aAGnC,CAAC;AA+DF;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,oBAAoB,EAC1B,UAAU,SAAS,CAAC,MAAM,aAAa,CAAC,EAAE,EAC1C,SAAS,uBAAuB,KAC/B,aAiBF,CAAC"}

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

@@ -0,0 +1,74 @@
+/* -------------------------------------------------------------------------- */
+/*       Transactional joins shared by runtime control-flow statements.       */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_MAYBE_ABRUPT, RUNTIME_NORMAL, joinRuntimeStates, restoreRuntimeState, snapshotRuntimeState, } from './effect-promise-runtime-model.js';
+import { runtimeResultFromOutcomes, runtimeResultOutcomes, } from './effect-promise-runtime-control-completions.js';
+import { joinRuntimeValueChoice } from './effect-promise-runtime-choice.js';
+/**
+ * Normal completion without an expression value.
+ *
+ * @internal
+ */
+export const NORMAL_RUNTIME_RESULT = {
+    completion: RUNTIME_NORMAL,
+    value: undefined,
+};
+const joinedOutcomes = (left, leftState, right, rightState) => [
+    ...runtimeResultOutcomes(left, leftState),
+    ...runtimeResultOutcomes(right, rightState),
+];
+const canCollapseResult = (left, right) => !left.outcomes &&
+    !right.outcomes &&
+    left.completion === right.completion &&
+    left.target === right.target;
+const joinedBranchResult = (left, leftState, right, rightState) => {
+    if (canCollapseResult(left, right)) {
+        return {
+            completion: left.completion,
+            target: left.target,
+            value: joinRuntimeValueChoice(left.value, right.value),
+        };
+    }
+    const outcomes = joinedOutcomes(left, leftState, right, rightState);
+    if (outcomes.length > 0) {
+        return runtimeResultFromOutcomes(outcomes);
+    }
+    return {
+        completion: RUNTIME_MAYBE_ABRUPT,
+        value: joinRuntimeValueChoice(left.value, right.value),
+    };
+};
+const executeJoinedBranch = (host, branch, context, baseline, current) => {
+    restoreRuntimeState(host.state, baseline);
+    const right = branch();
+    const rightState = snapshotRuntimeState(host.state, context.taskScopes);
+    joinRuntimeStates(host.state, baseline, current.state, rightState);
+    return {
+        result: joinedBranchResult(current.result, current.state, right, rightState),
+        state: snapshotRuntimeState(host.state, context.taskScopes),
+    };
+};
+/**
+ * Execute feasible branches from one baseline and retain only common effects.
+ *
+ * @internal
+ */
+export const executeRuntimeBranchSequence = (host, branches, context) => {
+    const [first] = branches;
+    if (!first) {
+        return NORMAL_RUNTIME_RESULT;
+    }
+    const baseline = snapshotRuntimeState(host.state, context.taskScopes);
+    let joined = {
+        result: first(),
+        state: snapshotRuntimeState(host.state, context.taskScopes),
+    };
+    for (let index = 1; index < branches.length; index += 1) {
+        const branch = branches[index];
+        if (branch) {
+            joined = executeJoinedBranch(host, branch, context, baseline, joined);
+        }
+    }
+    return joined.result;
+};
+//# sourceMappingURL=effect-promise-runtime-control-branches.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-branches.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-branches.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAQxC,OAAO,EACL,yBAAyB,EACzB,qBAAqB,GACtB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAEzE;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAkB;IAClD,UAAU,EAAE,cAAc;IAC1B,KAAK,EAAE,SAAS;CACjB,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAmB,EACnB,SAA0B,EAC1B,KAAoB,EACpB,UAA2B,EACA,EAAE,CAAC;IAC9B,GAAG,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC;IACzC,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5C,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAmB,EAAE,KAAoB,EAAW,EAAE,CAC/E,CAAC,IAAI,CAAC,QAAQ;IACd,CAAC,KAAK,CAAC,QAAQ;IACf,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;IACpC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;AAE/B,MAAM,kBAAkB,GAAG,CACzB,IAAmB,EACnB,SAA0B,EAC1B,KAAoB,EACpB,UAA2B,EACZ,EAAE;IACjB,IAAI,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACpE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO;QACL,UAAU,EAAE,oBAAoB;QAChC,KAAK,EAAE,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;KACvD,CAAC;AACJ,CAAC,CAAC;AAOF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,MAA2B,EAC3B,OAAgC,EAChC,QAAyB,EACzB,OAAqB,EACP,EAAE;IAChB,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC;IACvB,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACxE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACnE,OAAO;QACL,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC;QAC5E,KAAK,EAAE,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAA0B,EAC1B,QAA0C,EAC1C,OAAgC,EACjB,EAAE;IACjB,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;IACzB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACtE,IAAI,MAAM,GAAiB;QACzB,MAAM,EAAE,KAAK,EAAE;QACf,KAAK,EAAE,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC;KAC5D,CAAC;IACF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-control-completions.d.ts

@@ -0,0 +1,26 @@
+import type { RuntimeExecutionContext, RuntimeOutcome, RuntimeResult, RuntimeSnapshot, RuntimeStatementHost } from './effect-promise-runtime-model';
+/**
+ * Expand a legacy exact result into one state-correlated outcome.
+ *
+ * @internal
+ */
+export declare const runtimeResultOutcomes: (result: RuntimeResult, state: RuntimeSnapshot) => readonly RuntimeOutcome[];
+/**
+ * Summarize exact correlated outcomes through the legacy result fields.
+ *
+ * @internal
+ */
+export declare const runtimeResultFromOutcomes: (outcomes: readonly RuntimeOutcome[]) => RuntimeResult;
+/**
+ * Join the mutable interpreter state across exact alternatives.
+ *
+ * @internal
+ */
+export declare const joinRuntimeOutcomeStates: (host: RuntimeStatementHost, baseline: RuntimeSnapshot, outcomes: readonly RuntimeOutcome[]) => void;
+/**
+ * Continue only normally completing alternatives and retain abrupt alternatives.
+ *
+ * @internal
+ */
+export declare const continueRuntimeResult: (host: RuntimeStatementHost, result: RuntimeResult, context: RuntimeExecutionContext, next: () => RuntimeResult) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-control-completions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-completions.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-completions.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EACV,uBAAuB,EACvB,cAAc,EACd,aAAa,EACb,eAAe,EACf,oBAAoB,EACrB,MAAM,gCAAgC,CAAC;AA0BxC;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,QAAQ,aAAa,EACrB,OAAO,eAAe,KACrB,SAAS,cAAc,EAezB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,UAAU,SAAS,cAAc,EAAE,KAAG,aAY/E,CAAC;AAkBF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,oBAAoB,EAC1B,UAAU,eAAe,EACzB,UAAU,SAAS,cAAc,EAAE,KAClC,IAQF,CAAC;AA0BF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,oBAAoB,EAC1B,QAAQ,aAAa,EACrB,SAAS,uBAAuB,EAChC,MAAM,MAAM,aAAa,KACxB,aAgBF,CAAC"}

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

@@ -0,0 +1,116 @@
+/* -------------------------------------------------------------------------- */
+/*        Correlated completion alternatives for runtime control flow.        */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_MAYBE_ABRUPT, RUNTIME_NORMAL, RUNTIME_OUTCOME_CAP, joinRuntimeStates, restoreRuntimeState, snapshotRuntimeState, unknownRuntimeValue, } from './effect-promise-runtime-model.js';
+import { runtimeChoiceValue } from './effect-promise-runtime-choice.js';
+const summarizedValue = (outcomes) => runtimeChoiceValue(outcomes.map((outcome) => outcome.value));
+const sameCompletion = (left, right) => left.completion === right.completion && left.target === right.target;
+const summarizedCompletion = (first, isSameCompletion) => {
+    if (isSameCompletion) {
+        return first.completion;
+    }
+    return RUNTIME_MAYBE_ABRUPT;
+};
+const summarizedTarget = (first, isSameCompletion) => {
+    if (isSameCompletion) {
+        return first.target;
+    }
+    return undefined;
+};
+/**
+ * Expand a legacy exact result into one state-correlated outcome.
+ *
+ * @internal
+ */
+export const runtimeResultOutcomes = (result, state) => {
+    if (result.outcomes) {
+        return result.outcomes;
+    }
+    if (result.completion === RUNTIME_MAYBE_ABRUPT) {
+        return [];
+    }
+    return [
+        {
+            completion: result.completion,
+            state,
+            target: result.target,
+            value: result.value,
+        },
+    ];
+};
+/**
+ * Summarize exact correlated outcomes through the legacy result fields.
+ *
+ * @internal
+ */
+export const runtimeResultFromOutcomes = (outcomes) => {
+    const [first] = outcomes;
+    if (!first || outcomes.length > RUNTIME_OUTCOME_CAP) {
+        return { completion: RUNTIME_MAYBE_ABRUPT, value: unknownRuntimeValue };
+    }
+    const isSameCompletion = outcomes.every((outcome) => sameCompletion(first, outcome));
+    return {
+        completion: summarizedCompletion(first, isSameCompletion),
+        outcomes,
+        target: summarizedTarget(first, isSameCompletion),
+        value: summarizedValue(outcomes),
+    };
+};
+const joinRemainingOutcomeStates = (host, baseline, outcomes, initial) => {
+    let joined = initial;
+    for (let index = 1; index < outcomes.length; index += 1) {
+        const outcome = outcomes[index];
+        if (outcome) {
+            joinRuntimeStates(host.state, baseline, joined, outcome.state);
+            joined = snapshotRuntimeState(host.state, baseline.values.keys());
+        }
+    }
+};
+/**
+ * Join the mutable interpreter state across exact alternatives.
+ *
+ * @internal
+ */
+export const joinRuntimeOutcomeStates = (host, baseline, outcomes) => {
+    const [first] = outcomes;
+    if (!first) {
+        restoreRuntimeState(host.state, baseline);
+        return;
+    }
+    restoreRuntimeState(host.state, first.state);
+    joinRemainingOutcomeStates(host, baseline, outcomes, first.state);
+};
+const continuedOutcomes = (host, outcome, context, next) => {
+    if (outcome.completion !== RUNTIME_NORMAL) {
+        return [outcome];
+    }
+    restoreRuntimeState(host.state, outcome.state);
+    const result = next();
+    const state = snapshotRuntimeState(host.state, context.taskScopes);
+    return runtimeResultOutcomes(result, state);
+};
+const cappedResult = (host, baseline, outcomes) => {
+    joinRuntimeOutcomeStates(host, baseline, outcomes);
+    return { completion: RUNTIME_MAYBE_ABRUPT, value: unknownRuntimeValue };
+};
+/**
+ * Continue only normally completing alternatives and retain abrupt alternatives.
+ *
+ * @internal
+ */
+export const continueRuntimeResult = (host, result, context, next) => {
+    if (!result.outcomes) {
+        if (result.completion === RUNTIME_NORMAL) {
+            return next();
+        }
+        return result;
+    }
+    const baseline = snapshotRuntimeState(host.state, context.taskScopes);
+    const outcomes = result.outcomes.flatMap((outcome) => continuedOutcomes(host, outcome, context, next));
+    if (outcomes.length > RUNTIME_OUTCOME_CAP) {
+        return cappedResult(host, baseline, outcomes);
+    }
+    joinRuntimeOutcomeStates(host, baseline, outcomes);
+    return runtimeResultFromOutcomes(outcomes);
+};
+//# sourceMappingURL=effect-promise-runtime-control-completions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-completions.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-completions.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAQxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAErE,MAAM,eAAe,GAAG,CAAC,QAAmC,EAA0B,EAAE,CACtF,kBAAkB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAA0B,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAEvF,MAAM,cAAc,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAAW,EAAE,CAC9E,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;AAEvE,MAAM,oBAAoB,GAAG,CAC3B,KAAqB,EACrB,gBAAyB,EACI,EAAE;IAC/B,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,UAAU,CAAC;IAC1B,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,KAAqB,EAAE,gBAAyB,EAAsB,EAAE;IAChG,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,MAAqB,EACrB,KAAsB,EACK,EAAE;IAC7B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,QAAQ,CAAC;IACzB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,oBAAoB,EAAE,CAAC;QAC/C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO;QACL;YACE,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,KAAK;YACL,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,MAAM,CAAC,KAAK;SACpB;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,QAAmC,EAAiB,EAAE;IAC9F,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,MAAM,GAAG,mBAAmB,EAAE,CAAC;QACpD,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAW,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9F,OAAO;QACL,UAAU,EAAE,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,CAAC;QACzD,QAAQ;QACR,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,CAAC;QACjD,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC;KACjC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,IAA0B,EAC1B,QAAyB,EACzB,QAAmC,EACnC,OAAwB,EAClB,EAAE;IACR,IAAI,MAAM,GAAG,OAAO,CAAC;IACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,OAAO,EAAE,CAAC;YACZ,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/D,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA0B,EAC1B,QAAyB,EACzB,QAAmC,EAC7B,EAAE;IACR,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;IACzB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC1C,OAAO;IACT,CAAC;IACD,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7C,0BAA0B,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,OAAuB,EACvB,OAAgC,EAChC,IAAyB,EACE,EAAE;IAC7B,IAAI,OAAO,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC1C,OAAO,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;IACD,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC;IACtB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACnE,OAAO,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,QAAyB,EACzB,QAAmC,EACpB,EAAE;IACjB,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnD,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;AAC1E,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA0B,EAC1B,MAAqB,EACrB,OAAgC,EAChC,IAAyB,EACV,EAAE;IACjB,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrB,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAA6B,EAAE,CAC9E,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAChD,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,mBAAmB,EAAE,CAAC;QAC1C,OAAO,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;IACD,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,CAAC;AAC7C,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-control-flow.d.ts

@@ -0,0 +1,9 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Execute a recognized control statement, or decline non-control nodes.
+ *
+ * @internal
+ */
+export declare const executeRuntimeControlStatement: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult | undefined;
+//# sourceMappingURL=effect-promise-runtime-control-flow.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-flow.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-flow.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACrB,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AA0H5C;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,KAC/B,aAAa,GAAG,SAAoD,CAAC"}

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

@@ -0,0 +1,94 @@
+/* -------------------------------------------------------------------------- */
+/*      Control statements for the Effect runtime abstract interpreter.       */
+/* -------------------------------------------------------------------------- */
+import { NORMAL_RUNTIME_RESULT, executeRuntimeBranchSequence, } from './effect-promise-runtime-control-branches.js';
+import { RUNTIME_BREAK, RUNTIME_NORMAL } from './effect-promise-runtime-model.js';
+import { childNode, identifierName } from './effect-ast.js';
+import { executeRuntimeLoop } from './effect-promise-runtime-loops.js';
+import { executeRuntimeSwitch } from './effect-promise-runtime-switch.js';
+import { executeRuntimeTry } from './effect-promise-runtime-try.js';
+import { runtimeTruthiness } from './effect-promise-runtime-values.js';
+const optionalStatement = (host, node, key, context) => {
+    const statement = childNode(node, key);
+    if (statement) {
+        return host.statement(statement, context);
+    }
+    return NORMAL_RUNTIME_RESULT;
+};
+const ifStatement = (host, node, context) => {
+    const test = host.optionalChild(node, 'test', context);
+    if (test.completion !== RUNTIME_NORMAL) {
+        return test;
+    }
+    const known = runtimeTruthiness(test.value, host.valueContext(context));
+    if (known === true) {
+        return optionalStatement(host, node, 'consequent', context);
+    }
+    if (known === false) {
+        return optionalStatement(host, node, 'alternate', context);
+    }
+    return executeRuntimeBranchSequence(host, [
+        () => optionalStatement(host, node, 'consequent', context),
+        () => optionalStatement(host, node, 'alternate', context),
+    ], context);
+};
+const isLoop = (node) => node.type === 'DoWhileStatement' ||
+    node.type === 'ForInStatement' ||
+    node.type === 'ForOfStatement' ||
+    node.type === 'ForStatement' ||
+    node.type === 'WhileStatement';
+const labeledTarget = (node) => {
+    const labels = [];
+    let statement = node;
+    while (statement?.type === 'LabeledStatement') {
+        const label = identifierName(childNode(statement, 'label'));
+        if (label) {
+            labels.push(label);
+        }
+        statement = childNode(statement, 'body');
+    }
+    return { labels, statement };
+};
+const consumesLabeledBreak = (result, labels) => result.completion === RUNTIME_BREAK &&
+    result.target !== undefined &&
+    labels.includes(result.target);
+const executeLabeled = (host, node, context) => {
+    const { labels, statement } = labeledTarget(node);
+    if (!statement) {
+        return NORMAL_RUNTIME_RESULT;
+    }
+    const control = executeControl(host, statement, context, labels);
+    const result = control ?? host.statement(statement, context);
+    if (consumesLabeledBreak(result, labels)) {
+        return NORMAL_RUNTIME_RESULT;
+    }
+    return result;
+};
+const executeOtherControl = (host, node, context, labels) => {
+    if (node.type === 'SwitchStatement') {
+        return executeRuntimeSwitch(host, node, context, labels);
+    }
+    if (node.type === 'TryStatement') {
+        return executeRuntimeTry(host, node, context);
+    }
+    if (node.type === 'LabeledStatement') {
+        return executeLabeled(host, node, context);
+    }
+    return undefined;
+};
+const executeControl = (host, node, context, labels) => {
+    if (node.type === 'IfStatement') {
+        return ifStatement(host, node, context);
+    }
+    if (isLoop(node)) {
+        return executeRuntimeLoop(host, node, context, labels);
+    }
+    return executeOtherControl(host, node, context, labels);
+};
+/**
+ * Execute a recognized control statement, or decline non-control nodes.
+ *
+ * @internal
+ */
+export const executeRuntimeControlStatement = (host, node, context) => executeControl(host, node, context, []);
+//# sourceMappingURL=effect-promise-runtime-control-flow.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-flow.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-flow.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAM/E,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAEpE,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,IAAa,EACb,GAAW,EACX,OAAgC,EACjB,EAAE;IACjB,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,qBAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACvD,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,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,4BAA4B,CACjC,IAAI,EACJ;QACE,GAAkB,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC;QACzE,GAAkB,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC;KACzE,EACD,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,IAAa,EAAW,EAAE,CACxC,IAAI,CAAC,IAAI,KAAK,kBAAkB;IAChC,IAAI,CAAC,IAAI,KAAK,gBAAgB;IAC9B,IAAI,CAAC,IAAI,KAAK,gBAAgB;IAC9B,IAAI,CAAC,IAAI,KAAK,cAAc;IAC5B,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC;AAEjC,MAAM,aAAa,GAAG,CACpB,IAAa,EACkD,EAAE;IACjE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,SAAS,GAAwB,IAAI,CAAC;IAC1C,OAAO,SAAS,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QAC5D,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QACD,SAAS,GAAG,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,MAAqB,EAAE,MAAyB,EAAW,EAAE,CACzF,MAAM,CAAC,UAAU,KAAK,aAAa;IACnC,MAAM,CAAC,MAAM,KAAK,SAAS;IAC3B,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEjC,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACzC,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACE,EAAE;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACE,EAAE;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,OAAO,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,OAAO,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC1D,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACL,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-control-patterns.d.ts

@@ -0,0 +1,15 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeScope, RuntimeStatementHost, RuntimeValue } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Predeclare every identifier owned by one recursive binding pattern.
+ *
+ * @internal
+ */
+export declare const predeclareRuntimePattern: (pattern: ASTNode | undefined, value: RuntimeValue, scope: RuntimeScope) => void;
+/**
+ * Bind one recursive pattern into the current runtime lexical scope.
+ *
+ * @internal
+ */
+export declare const bindCurrentRuntimePattern: (host: RuntimeStatementHost, pattern: ASTNode | undefined, value: RuntimeValue, context: RuntimeExecutionContext) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-control-patterns.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-patterns.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-patterns.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,YAAY,EACb,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAkD5C;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,SAAS,OAAO,GAAG,SAAS,EAC5B,OAAO,YAAY,EACnB,OAAO,YAAY,KAClB,IAaF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,oBAAoB,EAC1B,SAAS,OAAO,GAAG,SAAS,EAC5B,OAAO,YAAY,EACnB,SAAS,uBAAuB,KAC/B,aAUF,CAAC"}

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

@@ -0,0 +1,84 @@
+/* -------------------------------------------------------------------------- */
+/*      Pattern helpers shared by runtime declarations and control flow.      */
+/* -------------------------------------------------------------------------- */
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { RUNTIME_NORMAL } from './effect-promise-runtime-model.js';
+import { bindRuntimePattern } from './effect-promise-runtime-patterns.js';
+const nestedPattern = (pattern) => {
+    if (pattern.type === 'AssignmentPattern') {
+        return childNode(pattern, 'left');
+    }
+    if (pattern.type === 'RestElement') {
+        return childNode(pattern, 'argument');
+    }
+    if (pattern.type === 'TSParameterProperty') {
+        return childNode(pattern, 'parameter');
+    }
+    return undefined;
+};
+const predeclareObject = (pattern, value, scope) => {
+    for (const property of childNodes(pattern, 'properties')) {
+        let nested = childNode(property, 'value');
+        if (property.type === 'RestElement') {
+            nested = childNode(property, 'argument');
+        }
+        predeclareRuntimePattern(nested, value, scope);
+    }
+};
+const predeclareArray = (pattern, value, scope) => {
+    for (const element of childNodes(pattern, 'elements')) {
+        predeclareRuntimePattern(element, value, scope);
+    }
+};
+const predeclareStructured = (pattern, value, scope) => {
+    if (pattern.type === 'ArrayPattern') {
+        predeclareArray(pattern, value, scope);
+    }
+    else if (pattern.type === 'ObjectPattern') {
+        predeclareObject(pattern, value, scope);
+    }
+};
+const predeclareNamed = (pattern, value, scope) => {
+    const name = identifierName(pattern);
+    if (!name) {
+        return false;
+    }
+    scope.values.set(name, value);
+    return true;
+};
+/**
+ * Predeclare every identifier owned by one recursive binding pattern.
+ *
+ * @internal
+ */
+export const predeclareRuntimePattern = (pattern, value, scope) => {
+    if (!pattern) {
+        return;
+    }
+    if (predeclareNamed(pattern, value, scope)) {
+        return;
+    }
+    const nested = nestedPattern(pattern);
+    if (nested) {
+        predeclareRuntimePattern(nested, value, scope);
+        return;
+    }
+    predeclareStructured(pattern, value, scope);
+};
+/**
+ * Bind one recursive pattern into the current runtime lexical scope.
+ *
+ * @internal
+ */
+export const bindCurrentRuntimePattern = (host, pattern, value, context) => {
+    const scope = context.taskScopes[context.taskScopes.length - 1];
+    if (!scope) {
+        return { completion: RUNTIME_NORMAL, value: undefined };
+    }
+    return bindRuntimePattern(pattern, value, {
+        evaluate: (node) => host.visit(node, context),
+        scope,
+        state: host.state,
+    });
+};
+//# sourceMappingURL=effect-promise-runtime-control-patterns.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-patterns.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-patterns.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAShF,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAErE,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAEvE,MAAM,aAAa,GAAG,CAAC,OAAgB,EAAuB,EAAE;IAC9D,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,OAAgB,EAAE,KAAmB,EAAE,KAAmB,EAAQ,EAAE;IAC5F,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACpC,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC3C,CAAC;QACD,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAE,KAAmB,EAAE,KAAmB,EAAQ,EAAE;IAC3F,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QACtD,wBAAwB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,OAAgB,EAAE,KAAmB,EAAE,KAAmB,EAAQ,EAAE;IAChG,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACpC,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC5C,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAE,KAAmB,EAAE,KAAmB,EAAW,EAAE;IAC9F,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAA4B,EAC5B,KAAmB,EACnB,KAAmB,EACb,EAAE;IACR,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,IAAI,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,MAAM,EAAE,CAAC;QACX,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA0B,EAC1B,OAA4B,EAC5B,KAAmB,EACnB,OAAgC,EACjB,EAAE;IACjB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE;QACxC,QAAQ,EAAE,CAAC,IAAI,EAAiB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC;QAC5D,KAAK;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-control-scalars.d.ts

@@ -0,0 +1,23 @@
+import type { RuntimeScalarResult } from './effect-promise-runtime-scalars';
+import type { RuntimeExecutionContext, RuntimeStatementHost, RuntimeValue } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+export type RuntimeControlScalar = RuntimeScalarResult;
+/**
+ * Resolve one exact scalar, including known `undefined` and binary operations.
+ *
+ * @internal
+ */
+export declare const runtimeControlScalar: (value: RuntimeValue, host: RuntimeStatementHost, context: RuntimeExecutionContext) => RuntimeControlScalar;
+/**
+ * Resolve exact truthiness for a scalar control expression when supported.
+ *
+ * @internal
+ */
+export declare const runtimeControlTruthiness: (value: RuntimeValue, host: RuntimeStatementHost, context: RuntimeExecutionContext) => boolean | undefined;
+/**
+ * Apply one directly executed scalar update expression.
+ *
+ * @internal
+ */
+export declare const applyRuntimeScalarUpdate: (host: RuntimeStatementHost, node: ASTNode | undefined, context: RuntimeExecutionContext) => void;
+//# sourceMappingURL=effect-promise-runtime-control-scalars.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-control-scalars.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-control-scalars.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAsB,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAChG,OAAO,KAAK,EACV,uBAAuB,EACvB,oBAAoB,EACpB,YAAY,EACb,MAAM,gCAAgC,CAAC;AASxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAI5C,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,CAAC;AA6HvD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,YAAY,EACnB,MAAM,oBAAoB,EAC1B,SAAS,uBAAuB,KAC/B,oBAKF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,OAAO,YAAY,EACnB,MAAM,oBAAoB,EAC1B,SAAS,uBAAuB,KAC/B,OAAO,GAAG,SAMZ,CAAC;AAyDF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,GAAG,SAAS,EACzB,SAAS,uBAAuB,KAC/B,IAUF,CAAC"}