@thethracian/oxlint-config 0.3.5 → 0.4.0

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

@@ -0,0 +1,253 @@
+/* -------------------------------------------------------------------------- */
+/*       Normalized must-execute proofs for runtime Effect task events.       */
+/* -------------------------------------------------------------------------- */
+/**
+ * Canonical proof showing that no qualifying runtime execution exists.
+ *
+ * @internal
+ */
+export const runtimeFalseProof = Object.freeze({ kind: 'false' });
+const oppositeProofKind = (kind) => {
+    if (kind === 'all') {
+        return 'any';
+    }
+    return 'all';
+};
+/**
+ * Per-interpretation hash-cons table for normalized proof nodes.
+ *
+ * @internal
+ */
+export class RuntimeProofFactory {
+    events = new WeakMap();
+    proofIdentifiers = new WeakMap();
+    nodes = new Map();
+    nextProofIdentifier = 1;
+    event(execution) {
+        const existing = this.events.get(execution);
+        if (existing) {
+            return existing;
+        }
+        const proof = Object.freeze({ execution, kind: 'event' });
+        this.events.set(execution, proof);
+        return proof;
+    }
+    any(left, right) {
+        return this.composite('any', left, right);
+    }
+    all(left, right) {
+        return this.composite('all', left, right);
+    }
+    composite(kind, left, right) {
+        const simplified = this.simplifiedComposite(kind, left, right);
+        if (simplified) {
+            return simplified;
+        }
+        return this.intern(kind, this.normalizedChildren(kind, left, right));
+    }
+    simplifiedComposite(kind, left, right) {
+        if (left === right) {
+            return left;
+        }
+        if (kind === 'all' && (left.kind === 'false' || right.kind === 'false')) {
+            return runtimeFalseProof;
+        }
+        const absorbed = this.absorbedProof(kind, left, right);
+        if (absorbed) {
+            return absorbed;
+        }
+        return undefined;
+    }
+    normalizedChildren(kind, left, right) {
+        const children = [left, right].filter((proof) => proof.kind !== 'false' || kind !== 'any');
+        children.sort((first, second) => this.proofIdentifier(first) - this.proofIdentifier(second));
+        return children;
+    }
+    intern(kind, children) {
+        const normalized = this.normalizedInternChildren(kind, children);
+        return this.internNormalized(kind, normalized);
+    }
+    internNormalized(kind, normalized) {
+        if (normalized.length === 0) {
+            return runtimeFalseProof;
+        }
+        if (normalized.length === 1) {
+            return normalized[0] ?? runtimeFalseProof;
+        }
+        const key = this.compositeKey(kind, normalized);
+        return this.storeComposite(kind, normalized, key);
+    }
+    compositeKey(kind, normalized) {
+        return `${kind}:${normalized.map((child) => this.proofIdentifier(child)).join(',')}`;
+    }
+    storeComposite(kind, normalized, key) {
+        const existing = this.nodes.get(key);
+        if (existing) {
+            return existing;
+        }
+        const proof = Object.freeze({ children: Object.freeze(normalized), kind });
+        this.nodes.set(key, proof);
+        return proof;
+    }
+    normalizedInternChildren(kind, children) {
+        if (kind === 'all' && children.some((proof) => proof.kind === 'false')) {
+            return [];
+        }
+        const normalized = children.filter((proof) => proof.kind !== 'false' || kind !== 'any');
+        normalized.sort((first, second) => this.proofIdentifier(first) - this.proofIdentifier(second));
+        return normalized.filter((proof, index) => index === 0 || proof !== normalized[index - 1]);
+    }
+    absorbedProof(kind, left, right) {
+        const opposite = oppositeProofKind(kind);
+        if (left.kind === opposite && left.children.includes(right)) {
+            return right;
+        }
+        if (right.kind === opposite && right.children.includes(left)) {
+            return left;
+        }
+        return undefined;
+    }
+    proofIdentifier(proof) {
+        const existing = this.proofIdentifiers.get(proof);
+        if (existing) {
+            return existing;
+        }
+        const proofIdentifier = this.nextProofIdentifier;
+        this.nextProofIdentifier += 1;
+        this.proofIdentifiers.set(proof, proofIdentifier);
+        return proofIdentifier;
+    }
+}
+const eventWitness = (proof, evaluate) => {
+    if (evaluate(proof.execution)) {
+        return { execution: proof.execution };
+    }
+    return false;
+};
+const cachedLeafWitness = (proof, evaluate, memo) => {
+    const cached = memo.get(proof);
+    if (cached !== undefined) {
+        return cached;
+    }
+    if (proof.kind === 'false') {
+        return cacheFalseWitness(proof, memo);
+    }
+    if (proof.kind === 'event') {
+        const result = eventWitness(proof, evaluate);
+        memo.set(proof, result);
+        return result;
+    }
+    return undefined;
+};
+const cacheFalseWitness = (proof, memo) => {
+    memo.set(proof, false);
+    return false;
+};
+const finishFrame = (frame, memo, stack) => {
+    memo.set(frame.proof, completedFrameWitness(frame));
+    stack.pop();
+};
+const completedFrameWitness = (frame) => {
+    const { proof, witness } = frame;
+    if (proof.kind === 'all' && witness) {
+        return witness;
+    }
+    return false;
+};
+const advancedFrame = (frame, child) => {
+    let { witness } = frame;
+    if (child !== false && !witness) {
+        witness = child;
+    }
+    return {
+        index: frame.index + 1,
+        proof: frame.proof,
+        witness,
+    };
+};
+const acceptChild = (frame, child, memo, stack) => {
+    if (frame.proof.kind === 'any' && child !== false) {
+        memo.set(frame.proof, child);
+        stack.pop();
+        return;
+    }
+    if (frame.proof.kind === 'all' && child === false) {
+        memo.set(frame.proof, false);
+        stack.pop();
+        return;
+    }
+    stack.splice(-1, 1, advancedFrame(frame, child));
+};
+const visitWitnessChild = (frame, child, stack, evaluate, memo) => {
+    const cached = cachedLeafWitness(child, evaluate, memo);
+    if (cached !== undefined) {
+        acceptChild(frame, cached, memo, stack);
+    }
+    else if (child.kind === 'all' || child.kind === 'any') {
+        stack.push({ index: 0, proof: child });
+    }
+};
+const visitWitnessFrame = (stack, evaluate, memo) => {
+    const frame = stack[stack.length - 1];
+    if (!frame) {
+        return;
+    }
+    const child = frame.proof.children[frame.index];
+    if (child) {
+        visitWitnessChild(frame, child, stack, evaluate, memo);
+    }
+    else {
+        finishFrame(frame, memo, stack);
+    }
+};
+const evaluateCompositeWitness = (proof, evaluate, memo) => {
+    const stack = [{ index: 0, proof }];
+    while (stack.length > 0) {
+        visitWitnessFrame(stack, evaluate, memo);
+    }
+    return memo.get(proof) ?? false;
+};
+/**
+ * Evaluate a proof once per shared node and return one exact satisfying event.
+ *
+ * @internal
+ */
+export const runtimeProofWitness = (proof, evaluate) => {
+    const memo = new WeakMap();
+    const leaf = cachedLeafWitness(proof, evaluate, memo);
+    let result = leaf;
+    if (result === undefined && (proof.kind === 'all' || proof.kind === 'any')) {
+        result = evaluateCompositeWitness(proof, evaluate, memo);
+    }
+    if (result === false) {
+        return undefined;
+    }
+    return result;
+};
+const collectProofExecution = (current, pending, seen, executions) => {
+    if (!current || seen.has(current)) {
+        return;
+    }
+    seen.add(current);
+    if (current.kind === 'event') {
+        executions.push(current.execution);
+    }
+    else if (current.kind !== 'false') {
+        pending.push(...current.children);
+    }
+};
+/**
+ * Collect exact run syntax nodes referenced by a proof without expanding shared DAGs.
+ *
+ * @internal
+ */
+export const runtimeProofExecutions = (proof) => {
+    const executions = [];
+    const seen = new WeakSet();
+    const pending = [proof];
+    while (pending.length > 0) {
+        collectProofExecution(pending.pop(), pending, seen, executions);
+    }
+    return executions;
+};
+//# sourceMappingURL=effect-promise-runtime-proof.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-proof.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-proof.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AA2ChF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAiB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAEhF,MAAM,iBAAiB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC/D,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,OAAO,mBAAmB;IACrB,MAAM,GAAG,IAAI,OAAO,EAAkC,CAAC;IAEvD,gBAAgB,GAAG,IAAI,OAAO,EAAkB,CAAC;IAEjD,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEjD,mBAAmB,GAAG,CAAC,CAAC;IAExB,KAAK,CAAC,SAA2B;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,GAAiB,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,GAAG,CAAC,IAAkB,EAAE,KAAmB;QACzC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,GAAG,CAAC,IAAkB,EAAE,KAAmB;QACzC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,SAAS,CAAC,IAAmB,EAAE,IAAkB,EAAE,KAAmB;QACpE,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/D,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,mBAAmB,CACjB,IAAmB,EACnB,IAAkB,EAClB,KAAmB;QAEnB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;YACxE,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,kBAAkB,CAAC,IAAmB,EAAE,IAAkB,EAAE,KAAmB;QAC7E,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,MAAM,CACnC,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,CAC7D,CAAC;QACF,QAAQ,CAAC,IAAI,CACX,CAAC,KAAK,EAAE,MAAM,EAAU,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CACtF,CAAC;QACF,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,IAAmB,EAAE,QAAiC;QAC3D,MAAM,UAAU,GAAG,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACjD,CAAC;IAED,gBAAgB,CAAC,IAAmB,EAAE,UAA0B;QAC9D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC;QAC5C,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACpD,CAAC;IAED,YAAY,CAAC,IAAmB,EAAE,UAAmC;QACnE,OAAO,GAAG,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/F,CAAC;IAED,cAAc,CAAC,IAAmB,EAAE,UAA0B,EAAE,GAAW;QACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,GAAiB,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,wBAAwB,CAAC,IAAmB,EAAE,QAAiC;QAC7E,IAAI,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;YAChF,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAChC,CAAC,KAAK,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,CAC7D,CAAC;QACF,UAAU,CAAC,IAAI,CACb,CAAC,KAAK,EAAE,MAAM,EAAU,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CACtF,CAAC;QACF,OAAO,UAAU,CAAC,MAAM,CACtB,CAAC,KAAK,EAAE,KAAK,EAAW,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC;IAED,aAAa,CACX,IAAmB,EACnB,IAAkB,EAClB,KAAmB;QAEnB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,eAAe,CAAC,KAAmB;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,eAAe,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACjD,IAAI,CAAC,mBAAmB,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAClD,OAAO,eAAe,CAAC;IACzB,CAAC;CACF;AAUD,MAAM,YAAY,GAAG,CACnB,KAAwB,EACxB,QAAkD,EACnC,EAAE;IACjB,IAAI,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAmB,EACnB,QAAkD,EAClD,IAAoC,EACT,EAAE;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,OAAO,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAmB,EAAE,IAAoC,EAAS,EAAE;IAC7F,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,KAAmB,EACnB,IAAoC,EACpC,KAAqB,EACf,EAAE;IACR,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,GAAG,EAAE,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,KAAmB,EAAiB,EAAE;IACnE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAAmB,EAAE,KAAoB,EAAgB,EAAE;IAChF,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,KAAK,KAAK,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,OAAO,GAAG,KAAK,CAAC;IAClB,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,KAAmB,EACnB,KAAoB,EACpB,IAAoC,EACpC,KAAqB,EACf,EAAE;IACR,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QAClD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7B,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QAClD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7B,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,OAAO;IACT,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAmB,EACnB,KAAmB,EACnB,KAAqB,EACrB,QAAkD,EAClD,IAAoC,EAC9B,EAAE;IACR,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACzC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAqB,EACrB,QAAkD,EAClD,IAAoC,EAC9B,EAAE;IACR,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,KAAK,EAAE,CAAC;QACV,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzD,CAAC;SAAM,CAAC;QACN,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,KAAwC,EACxC,QAAkD,EAClD,IAAoC,EACrB,EAAE;IACjB,MAAM,KAAK,GAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACpD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;AAClC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAmB,EACnB,QAAkD,EACjB,EAAE;IACnC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAyB,CAAC;IAClD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACtD,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC3E,MAAM,GAAG,wBAAwB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAiC,EACjC,OAAuB,EACvB,IAAqB,EACrB,UAA8B,EACxB,EAAE;IACR,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClB,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAAmB,EAA+B,EAAE;IACzF,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,OAAO,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,qBAAqB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC"}

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

@@ -0,0 +1,16 @@
+import type { PromiseRuntimeTasks, PromiseTaskExecutionSite } from './effect-promise-runtime-tasks';
+import type { ASTNode } from './effect-ast';
+import type { HelperScopes } from './effect-promise-callable-types';
+/**
+ * One callback that analyzes an Effect.sync task at a proven run site.
+ *
+ * @internal
+ */
+export type PromiseRuntimeReporter = (syncCall: ASTNode, site: PromiseTaskExecutionSite, helperScopes: HelperScopes) => boolean;
+/**
+ * Analyze one indexed runtime task without exposing offset restoration to the rule.
+ *
+ * @internal
+ */
+export declare const reportPromiseRuntimeTask: (tasks: PromiseRuntimeTasks | undefined, runCall: ASTNode, report: PromiseRuntimeReporter) => readonly ASTNode[];
+//# sourceMappingURL=effect-promise-runtime-reporting.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-reporting.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-reporting.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AACpG,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAGpE;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG,CACnC,QAAQ,EAAE,OAAO,EACjB,IAAI,EAAE,wBAAwB,EAC9B,YAAY,EAAE,YAAY,KACvB,OAAO,CAAC;AAEb;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,OAAO,mBAAmB,GAAG,SAAS,EACtC,SAAS,OAAO,EAChB,QAAQ,sBAAsB,KAC7B,SAAS,OAAO,EACqE,CAAC"}

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

@@ -0,0 +1,11 @@
+/* -------------------------------------------------------------------------- */
+/*         Runtime task execution adapter for Promise rule reporting.         */
+/* -------------------------------------------------------------------------- */
+import { executePromiseRunCall } from './effect-promise-runtime-tasks.js';
+/**
+ * Analyze one indexed runtime task without exposing offset restoration to the rule.
+ *
+ * @internal
+ */
+export const reportPromiseRuntimeTask = (tasks, runCall, report) => executePromiseRunCall(tasks, runCall, report).map(({ syncCall }) => syncCall);
+//# sourceMappingURL=effect-promise-runtime-reporting.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-reporting.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-reporting.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAKhF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAavE;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,KAAsC,EACtC,OAAgB,EAChB,MAA8B,EACV,EAAE,CACtB,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAW,EAAE,CAAC,QAAQ,CAAC,CAAC"}

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

@@ -0,0 +1,2 @@
+export { evaluateRuntimeBinaryScalar } from './effect-promise-runtime-scalars';
+//# sourceMappingURL=effect-promise-runtime-scalar-operations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-scalar-operations.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-scalar-operations.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC"}

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

@@ -0,0 +1,5 @@
+/* -------------------------------------------------------------------------- */
+/*      Compatibility export for the shared runtime primitive evaluator.      */
+/* -------------------------------------------------------------------------- */
+export { evaluateRuntimeBinaryScalar } from './effect-promise-runtime-scalars.js';
+//# sourceMappingURL=effect-promise-runtime-scalar-operations.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-scalar-operations.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-scalar-operations.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC"}

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

@@ -0,0 +1,24 @@
+import { unknownRuntimeValue } from './effect-promise-runtime-model';
+/**
+ * JavaScript primitives whose coercion can be evaluated without user code.
+ *
+ * @internal
+ */
+export type RuntimeExactScalar = boolean | number | string | null | undefined;
+/**
+ * Exact supported primitive or the conservative runtime unknown sentinel.
+ *
+ * @internal
+ */
+export type RuntimeScalarResult = RuntimeExactScalar | typeof unknownRuntimeValue;
+type RuntimeScalarInput = RuntimeExactScalar | bigint | object | symbol;
+/**
+ * Evaluate a binary operation only when both operands are exact safe primitives. Objects, symbols,
+ * bigint values, and unknown sentinels remain conservative because their conversion may execute user
+ * code or requires a separate exact numeric domain.
+ *
+ * @internal
+ */
+export declare const evaluateRuntimeBinaryScalar: (operator: string, left: RuntimeScalarInput, right: RuntimeScalarInput) => RuntimeScalarResult;
+export {};
+//# sourceMappingURL=effect-promise-runtime-scalars.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-scalars.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-scalars.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAErE;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;AAE9E;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,OAAO,mBAAmB,CAAC;AAElF,KAAK,kBAAkB,GAAG,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAkIxE;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,GACtC,UAAU,MAAM,EAChB,MAAM,kBAAkB,EACxB,OAAO,kBAAkB,KACxB,mBAaF,CAAC"}

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

@@ -0,0 +1,125 @@
+/* -------------------------------------------------------------------------- */
+/*            Exact shared JavaScript primitive scalar operations.            */
+/* -------------------------------------------------------------------------- */
+import { unknownRuntimeValue } from './effect-promise-runtime-model.js';
+const isRuntimeExactScalar = (value) => value === null ||
+    value === undefined ||
+    typeof value === 'boolean' ||
+    typeof value === 'number' ||
+    typeof value === 'string';
+const isNullish = (value) => value === null || value === undefined;
+const normalizedLooseScalar = (value) => {
+    if (typeof value === 'boolean') {
+        return Number(value);
+    }
+    return value;
+};
+const normalizedLooseEqual = (left, right) => {
+    if (typeof left === typeof right) {
+        return left === right;
+    }
+    if (typeof left === 'number' && typeof right === 'string') {
+        return left === Number(right);
+    }
+    if (typeof left === 'string' && typeof right === 'number') {
+        return Number(left) === right;
+    }
+    return false;
+};
+const looseEqual = (left, right) => {
+    if (typeof left === typeof right) {
+        return left === right;
+    }
+    if (isNullish(left) || isNullish(right)) {
+        return isNullish(left) && isNullish(right);
+    }
+    return normalizedLooseEqual(normalizedLooseScalar(left), normalizedLooseScalar(right));
+};
+const equalityScalar = (operator, left, right) => {
+    if (operator === '===') {
+        return left === right;
+    }
+    if (operator === '!==') {
+        return left !== right;
+    }
+    if (operator === '==') {
+        return looseEqual(left, right);
+    }
+    if (operator === '!=') {
+        return !looseEqual(left, right);
+    }
+    return unknownRuntimeValue;
+};
+const orderedComparison = (operator, left, right) => {
+    if (operator === '<') {
+        return left < right;
+    }
+    if (operator === '<=') {
+        return left <= right;
+    }
+    if (operator === '>') {
+        return left > right;
+    }
+    if (operator === '>=') {
+        return left >= right;
+    }
+    return unknownRuntimeValue;
+};
+const relationalScalar = (operator, left, right) => {
+    if (typeof left === 'string' && typeof right === 'string') {
+        return orderedComparison(operator, left, right);
+    }
+    return orderedComparison(operator, Number(left), Number(right));
+};
+const remainderScalar = (operator, left, right) => {
+    if (operator === '%') {
+        return left % right;
+    }
+    if (operator === '**') {
+        return left ** right;
+    }
+    return unknownRuntimeValue;
+};
+const numericArithmetic = (operator, left, right) => {
+    if (operator === '-') {
+        return left - right;
+    }
+    if (operator === '*') {
+        return left * right;
+    }
+    if (operator === '/') {
+        return left / right;
+    }
+    return remainderScalar(operator, left, right);
+};
+const arithmeticScalar = (operator, left, right) => {
+    if (operator === '+') {
+        if (typeof left === 'string' || typeof right === 'string') {
+            return String(left) + String(right);
+        }
+        return Number(left) + Number(right);
+    }
+    return numericArithmetic(operator, Number(left), Number(right));
+};
+/**
+ * Evaluate a binary operation only when both operands are exact safe primitives. Objects, symbols,
+ * bigint values, and unknown sentinels remain conservative because their conversion may execute user
+ * code or requires a separate exact numeric domain.
+ *
+ * @internal
+ */
+export const evaluateRuntimeBinaryScalar = (operator, left, right) => {
+    if (!isRuntimeExactScalar(left) || !isRuntimeExactScalar(right)) {
+        return unknownRuntimeValue;
+    }
+    const equality = equalityScalar(operator, left, right);
+    if (equality !== unknownRuntimeValue) {
+        return equality;
+    }
+    const relational = relationalScalar(operator, left, right);
+    if (relational !== unknownRuntimeValue) {
+        return relational;
+    }
+    return arithmeticScalar(operator, left, right);
+};
+//# sourceMappingURL=effect-promise-runtime-scalars.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-scalars.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-scalars.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAkBrE,MAAM,oBAAoB,GAAG,CAAC,KAAyB,EAA+B,EAAE,CACtF,KAAK,KAAK,IAAI;IACd,KAAK,KAAK,SAAS;IACnB,OAAO,KAAK,KAAK,SAAS;IAC1B,OAAO,KAAK,KAAK,QAAQ;IACzB,OAAO,KAAK,KAAK,QAAQ,CAAC;AAE5B,MAAM,SAAS,GAAG,CAAC,KAAyB,EAA6B,EAAE,CACzE,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC;AAExC,MAAM,qBAAqB,GAAG,CAAC,KAAyB,EAAsB,EAAE;IAC9E,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAwB,EAAE,KAAyB,EAAW,EAAE;IAC5F,IAAI,OAAO,IAAI,KAAK,OAAO,KAAK,EAAE,CAAC;QACjC,OAAO,IAAI,KAAK,KAAK,CAAC;IACxB,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC1D,OAAO,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;IAChC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAwB,EAAE,KAAyB,EAAW,EAAE;IAClF,IAAI,OAAO,IAAI,KAAK,OAAO,KAAK,EAAE,CAAC;QACjC,OAAO,IAAI,KAAK,KAAK,CAAC;IACxB,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,oBAAoB,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC;AACzF,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,QAAgB,EAChB,IAAwB,EACxB,KAAyB,EACJ,EAAE;IACvB,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,IAAI,KAAK,KAAK,CAAC;IACxB,CAAC;IACD,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,IAAI,KAAK,KAAK,CAAC;IACxB,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,QAAgB,EAChB,IAAqB,EACrB,KAAsB,EACD,EAAE;IACvB,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,IAAI,KAAK,CAAC;IACvB,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,IAAI,KAAK,CAAC;IACvB,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,QAAgB,EAChB,IAAwB,EACxB,KAAyB,EACJ,EAAE;IACvB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC1D,OAAO,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAE,IAAY,EAAE,KAAa,EAAuB,EAAE;IAC7F,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,IAAI,KAAK,CAAC;IACvB,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAE,IAAY,EAAE,KAAa,EAAuB,EAAE;IAC/F,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,QAAgB,EAChB,IAAwB,EACxB,KAAyB,EACJ,EAAE;IACvB,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC1D,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,QAAgB,EAChB,IAAwB,EACxB,KAAyB,EACJ,EAAE;IACvB,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,QAAQ,KAAK,mBAAmB,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3D,IAAI,UAAU,KAAK,mBAAmB,EAAE,CAAC;QACvC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Execute one runtime statement with exact abrupt completion.
+ *
+ * @internal
+ */
+export declare const executeRuntimeStatement: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
+/**
+ * Execute a statement container with declaration-scope callable capture.
+ *
+ * @internal
+ */
+export declare const executeRuntimeContainer: (host: RuntimeStatementHost, node: ASTNode, inherited: RuntimeExecutionContext) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-statements.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-statements.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-statements.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EAEb,oBAAoB,EAErB,MAAM,gCAAgC,CAAC;AAMxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAqO5C;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,KAC/B,aAaF,CAAC;AA4FF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,WAAW,uBAAuB,KACjC,aAgBF,CAAC"}