@thethracian/oxlint-config 0.3.5 → 0.4.0

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

@@ -0,0 +1,84 @@
+/* -------------------------------------------------------------------------- */
+/*          Abstract state for the Effect runtime task interpreter.           */
+/* -------------------------------------------------------------------------- */
+import { runtimeLexicalUnknown } from './effect-promise-value-scopes.js';
+/**
+ * Runtime execution completed normally.
+ *
+ * @internal
+ */
+export const RUNTIME_NORMAL = 0;
+/**
+ * Runtime execution returned from the current function.
+ *
+ * @internal
+ */
+export const RUNTIME_RETURN = 1;
+/**
+ * Runtime execution threw from the current function.
+ *
+ * @internal
+ */
+export const RUNTIME_THROW = 2;
+/**
+ * Runtime execution broke from the current loop or switch.
+ *
+ * @internal
+ */
+export const RUNTIME_BREAK = 3;
+/**
+ * Runtime execution cannot terminate for the current exact state.
+ *
+ * @internal
+ */
+export const RUNTIME_NONTERMINATING = 4;
+/**
+ * Runtime execution may stop before a following statement.
+ *
+ * @internal
+ */
+export const RUNTIME_MAYBE_ABRUPT = 5;
+/**
+ * Runtime execution continued the nearest loop.
+ *
+ * @internal
+ */
+export const RUNTIME_CONTINUE = 6;
+/**
+ * Maximum correlated completion outcomes retained by one result.
+ *
+ * @internal
+ */
+export const RUNTIME_OUTCOME_CAP = 8;
+/**
+ * Unknown runtime value after incompatible control-flow states join.
+ *
+ * @internal
+ */
+export const unknownRuntimeValue = Symbol('unknownRuntimeValue');
+/**
+ * Known non-task Effect or ordinary value that cannot select an indexed task.
+ *
+ * @internal
+ */
+export const safeRuntimeValue = Symbol('safeRuntimeValue');
+export { appendRuntimeExecution, joinRuntimeStates, restoreRuntimeState, sameRuntimeSnapshotProofs, sameRuntimeSnapshotValues, snapshotRuntimeState, snapshotRuntimeStore, } from './effect-promise-runtime-store.js';
+/**
+ * Convert one runtime value to a lexical override consumed by Promise analysis.
+ *
+ * @internal
+ */
+export const runtimeLexicalValue = (value) => {
+    if (value &&
+        typeof value !== 'symbol' &&
+        'kind' in value &&
+        value.kind === 'object' &&
+        value.source) {
+        return value.source;
+    }
+    if (value === unknownRuntimeValue || value === safeRuntimeValue || (value && 'kind' in value)) {
+        return runtimeLexicalUnknown;
+    }
+    return value;
+};
+//# sourceMappingURL=effect-promise-runtime-model.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-model.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-model.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAOhF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAC/B;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAC/B;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AACxC;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AACtC;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAgBlC;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AA+ErC;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC;AACjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AA4H3D,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,KAAmB,EAAuB,EAAE;IAC9E,IACE,KAAK;QACL,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,MAAM,EACZ,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IACD,IAAI,KAAK,KAAK,mBAAmB,IAAI,KAAK,KAAK,gBAAgB,IAAI,CAAC,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC;QAC9F,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -0,0 +1,17 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+type RuntimeEvaluator = (node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
+/**
+ * Evaluate and apply one exact simple assignment.
+ *
+ * @internal
+ */
+export declare const executeRuntimeAssignment: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext, evaluate: RuntimeEvaluator) => RuntimeResult;
+/**
+ * Evaluate and apply one exact member deletion.
+ *
+ * @internal
+ */
+export declare const executeRuntimeDeletion: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext, evaluate: RuntimeEvaluator) => RuntimeResult;
+export {};
+//# sourceMappingURL=effect-promise-runtime-mutations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-mutations.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-mutations.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EAErB,MAAM,gCAAgC,CAAC;AAaxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAgB5C,KAAK,gBAAgB,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,KAAK,aAAa,CAAC;AAmM3F;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,EAChC,UAAU,gBAAgB,KACzB,aAMF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,EAChC,UAAU,gBAAgB,KACzB,aAaF,CAAC"}

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

@@ -0,0 +1,165 @@
+/* -------------------------------------------------------------------------- */
+/*    Exact assignments and deletions for the Effect runtime interpreter.     */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_NORMAL, unknownRuntimeValue } from './effect-promise-runtime-model.js';
+import { assignRuntimeName, resolvedRuntimeName, runtimeMemberName, runtimeScalar, runtimeTruthiness, } from './effect-promise-runtime-values.js';
+import { deleteRuntimeChoiceMember, readRuntimeChoiceMember, writeRuntimeChoiceMember, } from './effect-promise-runtime-choice-operations.js';
+import { bindRuntimePattern } from './effect-promise-runtime-patterns.js';
+import { childNode } from './effect-ast.js';
+const NORMAL_RESULT = { completion: RUNTIME_NORMAL, value: undefined };
+const optionalValue = (node, context, evaluate) => {
+    if (node) {
+        return evaluate(node, context);
+    }
+    return NORMAL_RESULT;
+};
+const computedMemberName = (scalar) => {
+    if (scalar === unknownRuntimeValue) {
+        return undefined;
+    }
+    return String(scalar);
+};
+const computedName = (host, node, context, evaluate) => {
+    const property = optionalValue(childNode(node, 'property'), context, evaluate);
+    if (property.completion !== RUNTIME_NORMAL) {
+        return { completion: property.completion };
+    }
+    const scalar = runtimeScalar(property.value, host.valueContext(context));
+    return { completion: RUNTIME_NORMAL, name: computedMemberName(scalar) };
+};
+const targetMemberName = (host, node, context, evaluate) => {
+    if (Reflect.get(node, 'computed') === true) {
+        return computedName(host, node, context, evaluate);
+    }
+    return { completion: RUNTIME_NORMAL, name: runtimeMemberName(node) };
+};
+const currentMemberValue = (host, object, name) => {
+    if (name !== undefined) {
+        return readRuntimeChoiceMember(host.state, object, name);
+    }
+    return unknownRuntimeValue;
+};
+const memberTarget = (host, node, context, evaluate) => {
+    const object = optionalValue(childNode(node, 'object'), context, evaluate);
+    if (object.completion !== RUNTIME_NORMAL) {
+        return { completion: object.completion };
+    }
+    const resolvedName = targetMemberName(host, node, context, evaluate);
+    if (resolvedName.completion !== RUNTIME_NORMAL) {
+        return { completion: resolvedName.completion };
+    }
+    const { name } = resolvedName;
+    const current = currentMemberValue(host, object.value, name);
+    return { completion: RUNTIME_NORMAL, current, name, target: object.value };
+};
+const assignmentTarget = (host, node, context, evaluate) => {
+    const left = childNode(node, 'left');
+    if (left?.type === 'MemberExpression') {
+        return memberTarget(host, left, context, evaluate);
+    }
+    let name = undefined;
+    if (left?.type === 'Identifier') {
+        name = String(Reflect.get(left, 'name'));
+    }
+    return {
+        completion: RUNTIME_NORMAL,
+        current: resolvedRuntimeName(left, context.taskScopes),
+        name,
+    };
+};
+const shouldAssignLogical = (operator, target, host, context) => {
+    if (operator === '=') {
+        return true;
+    }
+    if (operator === '??=') {
+        return target.current === undefined;
+    }
+    const truthiness = runtimeTruthiness(target.current, host.valueContext(context));
+    if (operator === '&&=') {
+        return truthiness === true;
+    }
+    if (operator === '||=') {
+        return truthiness === false;
+    }
+    return false;
+};
+const assignmentPattern = (host, pattern, value, context, evaluate) => {
+    const scope = context.taskScopes[context.taskScopes.length - 1];
+    if (!scope) {
+        return { completion: RUNTIME_NORMAL, value: unknownRuntimeValue };
+    }
+    return bindRuntimePattern(pattern, value, {
+        evaluate: (node) => evaluate(node, context),
+        isAssignment: true,
+        scope,
+        scopes: context.taskScopes,
+        state: host.state,
+    });
+};
+const structuredAssignment = (host, left, right, context, evaluate) => {
+    const result = optionalValue(right, context, evaluate);
+    if (result.completion !== RUNTIME_NORMAL) {
+        return result;
+    }
+    const binding = assignmentPattern(host, left, result.value, context, evaluate);
+    if (binding.completion !== RUNTIME_NORMAL) {
+        return binding;
+    }
+    return result;
+};
+const writeAssignment = (host, target, value, context) => {
+    if (target.name === undefined) {
+        return;
+    }
+    if (target.target !== undefined) {
+        writeRuntimeChoiceMember(host.state, target.target, target.name, value);
+        return;
+    }
+    assignRuntimeName(target.name, value, context.taskScopes);
+};
+const simpleAssignment = (host, node, context, evaluate) => {
+    const target = assignmentTarget(host, node, context, evaluate);
+    if (target.completion !== RUNTIME_NORMAL) {
+        return { completion: target.completion, value: undefined };
+    }
+    if (!shouldAssignLogical(Reflect.get(node, 'operator'), target, host, context)) {
+        return { completion: RUNTIME_NORMAL, value: target.current };
+    }
+    const result = optionalValue(childNode(node, 'right'), context, evaluate);
+    if (result.completion === RUNTIME_NORMAL) {
+        writeAssignment(host, target, result.value, context);
+    }
+    return result;
+};
+/**
+ * Evaluate and apply one exact simple assignment.
+ *
+ * @internal
+ */
+export const executeRuntimeAssignment = (host, node, context, evaluate) => {
+    const left = childNode(node, 'left');
+    if (left?.type === 'ArrayPattern' || left?.type === 'ObjectPattern') {
+        return structuredAssignment(host, left, childNode(node, 'right'), context, evaluate);
+    }
+    return simpleAssignment(host, node, context, evaluate);
+};
+/**
+ * Evaluate and apply one exact member deletion.
+ *
+ * @internal
+ */
+export const executeRuntimeDeletion = (host, node, context, evaluate) => {
+    const argument = childNode(node, 'argument');
+    if (argument?.type !== 'MemberExpression') {
+        return optionalValue(argument, context, evaluate);
+    }
+    const target = memberTarget(host, argument, context, evaluate);
+    if (target.completion !== RUNTIME_NORMAL) {
+        return { completion: target.completion, value: undefined };
+    }
+    if (target.name !== undefined && target.target !== undefined) {
+        deleteRuntimeChoiceMember(host.state, target.target, target.name);
+    }
+    return NORMAL_RESULT;
+};
+//# sourceMappingURL=effect-promise-runtime-mutations.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-mutations.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-mutations.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAOrF,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,aAAa,EACb,iBAAiB,GAClB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,4CAA4C,CAAC;AAEpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAgBzC,MAAM,aAAa,GAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAEtF,MAAM,aAAa,GAAG,CACpB,IAAyB,EACzB,OAAgC,EAChC,QAA0B,EACX,EAAE;IACjB,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,MAAwC,EAAsB,EAAE;IAC1F,IAAI,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACD,EAAE;IAC3B,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/E,IAAI,QAAQ,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC3C,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC;IAC7C,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACzE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACD,EAAE;IAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAA0B,EAC1B,MAAoB,EACpB,IAAwB,EACV,EAAE;IAChB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACD,EAAE;IAC3B,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;IAC3C,CAAC;IACD,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,YAAY,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC/C,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC;IAC9B,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7D,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACD,EAAE;IAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,IAAI,GAAuB,SAAS,CAAC;IACzC,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,UAAU,EAAE,cAAc;QAC1B,OAAO,EAAE,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;QACtD,IAAI;KACL,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,QAAiB,EACjB,MAA+B,EAC/B,IAA0B,EAC1B,OAAgC,EACvB,EAAE;IACX,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC;IACtC,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACjF,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,UAAU,KAAK,IAAI,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,UAAU,KAAK,KAAK,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,OAAgB,EAChB,KAAmB,EACnB,OAAgC,EAChC,QAA0B,EACX,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,mBAAmB,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE;QACxC,QAAQ,EAAE,CAAC,IAAI,EAAiB,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAC1D,YAAY,EAAE,IAAI;QAClB,KAAK;QACL,MAAM,EAAE,OAAO,CAAC,UAAU;QAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EAC1B,IAAa,EACb,KAA0B,EAC1B,OAAgC,EAChC,QAA0B,EACX,EAAE;IACjB,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/E,IAAI,OAAO,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAA0B,EAC1B,MAA+B,EAC/B,KAAmB,EACnB,OAAgC,EAC1B,EAAE;IACR,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,wBAAwB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxE,OAAO;IACT,CAAC;IACD,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACX,EAAE;IACjB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/D,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/E,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IAC/D,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACX,EAAE;IACjB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,IAAI,EAAE,IAAI,KAAK,cAAc,IAAI,IAAI,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACpE,OAAO,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACX,EAAE;IACjB,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7C,IAAI,QAAQ,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1C,OAAO,aAAa,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/D,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC7D,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7D,yBAAyB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC"}

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

@@ -0,0 +1,21 @@
+import type { RuntimeResult, RuntimeScope, RuntimeState, RuntimeValue } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Capabilities required while binding one parameter or declaration pattern.
+ *
+ * @internal
+ */
+export interface RuntimePatternContext {
+    evaluate: (node: ASTNode) => RuntimeResult;
+    isAssignment?: boolean;
+    scope: RuntimeScope;
+    scopes?: readonly RuntimeScope[];
+    state: RuntimeState;
+}
+/**
+ * Bind identifiers, defaults, object/array projections, and rest patterns recursively.
+ *
+ * @internal
+ */
+export declare const bindRuntimePattern: (pattern: ASTNode | undefined, value: RuntimeValue, context: RuntimePatternContext) => RuntimeResult;
+//# sourceMappingURL=effect-promise-runtime-patterns.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-patterns.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-patterns.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAEV,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,YAAY,EACb,MAAM,gCAAgC,CAAC;AAcxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,aAAa,CAAC;IAC3C,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,KAAK,EAAE,YAAY,CAAC;IACpB,MAAM,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACjC,KAAK,EAAE,YAAY,CAAC;CACrB;AAmOD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,SAAS,OAAO,GAAG,SAAS,EAC5B,OAAO,YAAY,EACnB,SAAS,qBAAqB,KAC7B,aAYF,CAAC"}

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

@@ -0,0 +1,179 @@
+/* -------------------------------------------------------------------------- */
+/*     Recursive declaration patterns for the Effect runtime interpreter.     */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_NORMAL, unknownRuntimeValue } from './effect-promise-runtime-model.js';
+import { allocateRuntimeObject, readRuntimeMember, runtimeArrayValues, writeRuntimeMember, } from './effect-promise-runtime-heap.js';
+import { asNode, childNode, childNodes, identifierName } from './effect-ast.js';
+import { assignRuntimeName, runtimeNode, runtimeObjectReference, runtimeStaticKey, } from './effect-promise-runtime-values.js';
+const NORMAL_RESULT = { completion: RUNTIME_NORMAL, value: undefined };
+const bindIdentifier = (pattern, value, context) => {
+    const name = identifierName(pattern);
+    if (name) {
+        if (context.isAssignment && context.scopes) {
+            assignRuntimeName(name, value, context.scopes);
+        }
+        else {
+            context.scope.values.set(name, value);
+        }
+    }
+    return NORMAL_RESULT;
+};
+const bindAssignment = (pattern, value, context) => {
+    if (value !== undefined) {
+        return bindRuntimePattern(childNode(pattern, 'left'), value, context);
+    }
+    const fallback = childNode(pattern, 'right');
+    if (!fallback) {
+        return bindRuntimePattern(childNode(pattern, 'left'), undefined, context);
+    }
+    const result = context.evaluate(fallback);
+    if (result.completion !== RUNTIME_NORMAL) {
+        return result;
+    }
+    return bindRuntimePattern(childNode(pattern, 'left'), result.value, context);
+};
+const bindArrayREST = (pattern, values, start, context) => {
+    const remaining = values?.slice(start);
+    if (!remaining) {
+        return bindRuntimePattern(childNode(pattern, 'argument'), unknownRuntimeValue, context);
+    }
+    const rest = allocateRuntimeObject(context.state, true);
+    rest.arrayLength = remaining.length;
+    for (let index = 0; index < remaining.length; index += 1) {
+        writeRuntimeMember(context.state, rest, String(index), remaining[index]);
+    }
+    return bindRuntimePattern(childNode(pattern, 'argument'), rest, context);
+};
+const nodeArrayValues = (node, key) => {
+    const values = Reflect.get(node, key);
+    if (Array.isArray(values)) {
+        return values;
+    }
+    return [];
+};
+const bindArrayElement = (element, values, index, context) => {
+    if (!element) {
+        return NORMAL_RESULT;
+    }
+    if (element.type === 'RestElement') {
+        return bindArrayREST(element, values, index, context);
+    }
+    return bindRuntimePattern(element, values?.[index] ?? unknownRuntimeValue, context);
+};
+const bindArray = (pattern, value, context) => {
+    const reference = runtimeObjectReference(value);
+    const values = reference && runtimeArrayValues(context.state, reference);
+    const elements = nodeArrayValues(pattern, 'elements');
+    for (let index = 0; index < elements.length; index += 1) {
+        const element = asNode(elements[index]);
+        const result = bindArrayElement(element, values, index, context);
+        if (result.completion !== RUNTIME_NORMAL) {
+            return result;
+        }
+    }
+    return NORMAL_RESULT;
+};
+const propertyValue = (reference, name, context) => {
+    if (!reference || !name) {
+        return unknownRuntimeValue;
+    }
+    if (!context.state.heap.get(reference)?.has(name)) {
+        return undefined;
+    }
+    return readRuntimeMember(context.state, reference, name);
+};
+const objectREST = (reference, excluded, context) => {
+    if (!reference) {
+        return unknownRuntimeValue;
+    }
+    const rest = allocateRuntimeObject(context.state);
+    for (const [name, value] of context.state.heap.get(reference) ?? []) {
+        if (!excluded.has(name)) {
+            writeRuntimeMember(context.state, rest, name, value);
+        }
+    }
+    return rest;
+};
+const bindObjectProperty = (property, reference, excluded, context) => {
+    if (property.type === 'RestElement') {
+        const rest = objectREST(reference, excluded, context);
+        return bindRuntimePattern(childNode(property, 'argument'), rest, context);
+    }
+    const key = patternPropertyKey(property, context);
+    if (key.completion !== RUNTIME_NORMAL) {
+        return { completion: key.completion, value: undefined };
+    }
+    const { name } = key;
+    if (name) {
+        excluded.add(name);
+    }
+    return bindRuntimePattern(childNode(property, 'value'), propertyValue(reference, name, context), context);
+};
+const patternPropertyKey = (property, context) => {
+    const key = childNode(property, 'key');
+    if (Reflect.get(property, 'computed') !== true) {
+        return { completion: RUNTIME_NORMAL, name: runtimeStaticKey(key) };
+    }
+    if (!key) {
+        return { completion: RUNTIME_NORMAL };
+    }
+    const result = context.evaluate(key);
+    if (result.completion !== RUNTIME_NORMAL) {
+        return { completion: result.completion };
+    }
+    return {
+        completion: RUNTIME_NORMAL,
+        name: runtimeStaticKey(runtimeNode(result.value)),
+    };
+};
+const bindObject = (pattern, value, context) => {
+    const reference = runtimeObjectReference(value);
+    const excluded = new Set();
+    for (const property of childNodes(pattern, 'properties')) {
+        const result = bindObjectProperty(property, reference, excluded, context);
+        if (result.completion !== RUNTIME_NORMAL) {
+            return result;
+        }
+    }
+    return NORMAL_RESULT;
+};
+const bindWrapped = (pattern, value, context) => {
+    if (pattern.type === 'AssignmentPattern') {
+        return bindAssignment(pattern, value, context);
+    }
+    if (pattern.type === 'RestElement') {
+        return bindRuntimePattern(childNode(pattern, 'argument'), value, context);
+    }
+    if (pattern.type === 'TSParameterProperty') {
+        return bindRuntimePattern(childNode(pattern, 'parameter'), value, context);
+    }
+    return undefined;
+};
+const bindStructured = (pattern, value, context) => {
+    if (pattern.type === 'ArrayPattern') {
+        return bindArray(pattern, value, context);
+    }
+    if (pattern.type === 'ObjectPattern') {
+        return bindObject(pattern, value, context);
+    }
+    return NORMAL_RESULT;
+};
+/**
+ * Bind identifiers, defaults, object/array projections, and rest patterns recursively.
+ *
+ * @internal
+ */
+export const bindRuntimePattern = (pattern, value, context) => {
+    if (!pattern) {
+        return NORMAL_RESULT;
+    }
+    if (identifierName(pattern)) {
+        return bindIdentifier(pattern, value, context);
+    }
+    const wrapped = bindWrapped(pattern, value, context);
+    if (wrapped) {
+        return wrapped;
+    }
+    return bindStructured(pattern, value, context);
+};
+//# sourceMappingURL=effect-promise-runtime-patterns.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-patterns.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-patterns.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAQrF,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,iCAAiC,CAAC;AAgBzC,MAAM,aAAa,GAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAEtF,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,KAAmB,EACnB,OAA8B,EACf,EAAE;IACjB,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YAC3C,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,KAAmB,EACnB,OAA8B,EACf,EAAE;IACjB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,kBAAkB,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,kBAAkB,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,kBAAkB,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,OAAgB,EAChB,MAA2C,EAC3C,KAAa,EACb,OAA8B,EACf,EAAE;IACjB,MAAM,SAAS,GAAG,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,kBAAkB,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC;IACpC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,kBAAkB,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAa,EAAE,GAAW,EAAsB,EAAE;IACzE,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,OAA4B,EAC5B,MAA2C,EAC3C,KAAa,EACb,OAA8B,EACf,EAAE;IACjB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,mBAAmB,EAAE,OAAO,CAAC,CAAC;AACtF,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAChB,OAAgB,EAChB,KAAmB,EACnB,OAA8B,EACf,EAAE;IACjB,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,SAAS,IAAI,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,SAAuC,EACvC,IAAwB,EACxB,OAA8B,EAChB,EAAE;IAChB,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,SAAuC,EACvC,QAA6B,EAC7B,OAA8B,EAChB,EAAE;IAChB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACpE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,QAAiB,EACjB,SAAuC,EACvC,QAAqB,EACrB,OAA8B,EACf,EAAE;IACjB,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACtD,OAAO,kBAAkB,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,GAAG,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACtC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC1D,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;IACrB,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,kBAAkB,CACvB,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,EAC5B,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,EACvC,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAOF,MAAM,kBAAkB,GAAG,CACzB,QAAiB,EACjB,OAA8B,EACX,EAAE;IACrB,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;IACxC,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACrC,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,IAAI,EAAE,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;KAClD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,OAAgB,EAChB,KAAmB,EACnB,OAA8B,EACf,EAAE;IACjB,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,OAAgB,EAChB,KAAmB,EACnB,OAA8B,EACH,EAAE;IAC7B,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACzC,OAAO,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,kBAAkB,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC3C,OAAO,kBAAkB,CAAC,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,KAAmB,EACnB,OAA8B,EACf,EAAE;IACjB,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrC,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAA4B,EAC5B,KAAmB,EACnB,OAA8B,EACf,EAAE;IACjB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,OAAO,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC,CAAC"}

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

@@ -0,0 +1,74 @@
+import type { RuntimeExecution } from './effect-promise-runtime-model';
+/**
+ * A normalized Boolean proof over exact runtime executions.
+ *
+ * @internal
+ */
+export type RuntimeProof = RuntimeAllProof | RuntimeAnyProof | RuntimeEventProof | RuntimeFalseProof;
+interface RuntimeFalseProof {
+    kind: 'false';
+}
+interface RuntimeEventProof {
+    execution: RuntimeExecution;
+    kind: 'event';
+}
+interface RuntimeAnyProof {
+    children: readonly RuntimeProof[];
+    kind: 'any';
+}
+interface RuntimeAllProof {
+    children: readonly RuntimeProof[];
+    kind: 'all';
+}
+/**
+ * Proof result retaining one exact event that satisfies the proof.
+ *
+ * @internal
+ */
+export interface RuntimeProofWitness {
+    execution: RuntimeExecution;
+}
+/**
+ * Canonical proof showing that no qualifying runtime execution exists.
+ *
+ * @internal
+ */
+export declare const runtimeFalseProof: RuntimeProof;
+/**
+ * Per-interpretation hash-cons table for normalized proof nodes.
+ *
+ * @internal
+ */
+export declare class RuntimeProofFactory {
+    readonly events: WeakMap<RuntimeExecution, RuntimeProof>;
+    readonly proofIdentifiers: WeakMap<object, number>;
+    readonly nodes: Map<string, RuntimeProof>;
+    nextProofIdentifier: number;
+    event(execution: RuntimeExecution): RuntimeProof;
+    any(left: RuntimeProof, right: RuntimeProof): RuntimeProof;
+    all(left: RuntimeProof, right: RuntimeProof): RuntimeProof;
+    composite(kind: 'all' | 'any', left: RuntimeProof, right: RuntimeProof): RuntimeProof;
+    simplifiedComposite(kind: 'all' | 'any', left: RuntimeProof, right: RuntimeProof): RuntimeProof | undefined;
+    normalizedChildren(kind: 'all' | 'any', left: RuntimeProof, right: RuntimeProof): RuntimeProof[];
+    intern(kind: 'all' | 'any', children: readonly RuntimeProof[]): RuntimeProof;
+    internNormalized(kind: 'all' | 'any', normalized: RuntimeProof[]): RuntimeProof;
+    compositeKey(kind: 'all' | 'any', normalized: readonly RuntimeProof[]): string;
+    storeComposite(kind: 'all' | 'any', normalized: RuntimeProof[], key: string): RuntimeProof;
+    normalizedInternChildren(kind: 'all' | 'any', children: readonly RuntimeProof[]): RuntimeProof[];
+    absorbedProof(kind: 'all' | 'any', left: RuntimeProof, right: RuntimeProof): RuntimeProof | undefined;
+    proofIdentifier(proof: RuntimeProof): number;
+}
+/**
+ * Evaluate a proof once per shared node and return one exact satisfying event.
+ *
+ * @internal
+ */
+export declare const runtimeProofWitness: (proof: RuntimeProof, evaluate: (execution: RuntimeExecution) => boolean) => RuntimeProofWitness | undefined;
+/**
+ * Collect exact run syntax nodes referenced by a proof without expanding shared DAGs.
+ *
+ * @internal
+ */
+export declare const runtimeProofExecutions: (proof: RuntimeProof) => readonly RuntimeExecution[];
+export {};
+//# sourceMappingURL=effect-promise-runtime-proof.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-proof.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-proof.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,iBAAiB,CAAC;AAEtB,UAAU,iBAAiB;IACzB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,UAAU,iBAAiB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,IAAI,EAAE,OAAO,CAAC;CACf;AAED,UAAU,eAAe;IACvB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAClC,IAAI,EAAE,KAAK,CAAC;CACb;AAED,UAAU,eAAe;IACvB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAClC,IAAI,EAAE,KAAK,CAAC;CACb;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,gBAAgB,CAAC;CAC7B;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,YAA+C,CAAC;AAShF;;;;GAIG;AACH,qBAAa,mBAAmB;IAC9B,QAAQ,CAAC,MAAM,0CAAiD;IAEhE,QAAQ,CAAC,gBAAgB,0BAAiC;IAE1D,QAAQ,CAAC,KAAK,4BAAmC;IAEjD,mBAAmB,SAAK;IAExB,KAAK,CAAC,SAAS,EAAE,gBAAgB,GAAG,YAAY;IAUhD,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,YAAY;IAI1D,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,YAAY;IAI1D,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,YAAY;IAQrF,mBAAmB,CACjB,IAAI,EAAE,KAAK,GAAG,KAAK,EACnB,IAAI,EAAE,YAAY,EAClB,KAAK,EAAE,YAAY,GAClB,YAAY,GAAG,SAAS;IAc3B,kBAAkB,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,YAAY,EAAE;IAUhG,MAAM,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,QAAQ,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY;IAK5E,gBAAgB,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,YAAY;IAW/E,YAAY,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,UAAU,EAAE,SAAS,YAAY,EAAE,GAAG,MAAM;IAI9E,cAAc,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,YAAY;IAU1F,wBAAwB,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,QAAQ,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY,EAAE;IAehG,aAAa,CACX,IAAI,EAAE,KAAK,GAAG,KAAK,EACnB,IAAI,EAAE,YAAY,EAClB,KAAK,EAAE,YAAY,GAClB,YAAY,GAAG,SAAS;IAW3B,eAAe,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM;CAU7C;AAyID;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,YAAY,EACnB,UAAU,CAAC,SAAS,EAAE,gBAAgB,KAAK,OAAO,KACjD,mBAAmB,GAAG,SAWxB,CAAC;AAmBF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,OAAO,YAAY,KAAG,SAAS,gBAAgB,EAQrF,CAAC"}