@thethracian/oxlint-config 0.2.1 → 0.3.1

package/dist/rules/effect-default-resource-helpers.js

@@ -1,5 +1,13 @@
+/* -------------------------------------------------------------------------- */
+/*              Helpers for Effect resource-lifetime lint rules.              */
+/* -------------------------------------------------------------------------- */
 import { findBalancedCallEnd, isInsideCall, stripCommentsAndStrings, } from './effect-source-helpers.js';
-function hasUnreleasedAcquire(source) {
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasUnreleasedAcquire = (source) => {
     const code = stripCommentsAndStrings(source);
     for (const match of code.matchAll(/Effect\.(?:sync|try|tryPromise)\s*\(/g)) {
         const openParenIndex = code.indexOf('(', match.index);
@@ -10,13 +18,13 @@ function hasUnreleasedAcquire(source) {
         }
     }
     return false;
-}
-function assignedBindingNameBefore(source, targetIndex) {
+};
+const assignedBindingNameBefore = (source, targetIndex) => {
     const statementStart = source.lastIndexOf(';', targetIndex) + 1;
     const prefix = source.slice(statementStart, targetIndex);
     return /\b(?:const|let)\s+([A-Za-z_$][\w$]*)\s*=\s*$/.exec(prefix)?.[1];
-}
-function isBindingUsedInScopedBoundary(source, bindingName) {
+};
+const isBindingUsedInScopedBoundary = (source, bindingName) => {
     const bindingPattern = new RegExp(`\\b${bindingName}\\b`);
     for (const match of source.matchAll(/\b(?:Effect|Layer)\.scoped\s*\(/g)) {
         const openParenIndex = source.indexOf('(', match.index);
@@ -26,8 +34,8 @@ function isBindingUsedInScopedBoundary(source, bindingName) {
         }
     }
     return false;
-}
-function hasScopedPipeAfterCall(source, callEndIndex) {
+};
+const hasScopedPipeAfterCall = (source, callEndIndex) => {
     const tail = source.slice(callEndIndex + 1);
     const pipeMatch = /^\s*\.pipe\s*\(/.exec(tail);
     if (!pipeMatch) {
@@ -37,8 +45,13 @@ function hasScopedPipeAfterCall(source, callEndIndex) {
     const openParenIndex = source.indexOf('(', pipeStart);
     const pipeBody = source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
     return /\b(?:Effect|Layer)\.scoped\b/.test(pipeBody);
-}
-function hasUnscopedAcquireRelease(source) {
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasUnscopedAcquireRelease = (source) => {
     const code = stripCommentsAndStrings(source);
     for (const match of code.matchAll(/Effect\.acquireRelease\s*\(/g)) {
         const bindingName = assignedBindingNameBefore(code, match.index);
@@ -51,8 +64,13 @@ function hasUnscopedAcquireRelease(source) {
         }
     }
     return false;
-}
-function hasUnscopedResourceWorkflow(source) {
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasUnscopedResourceWorkflow = (source) => {
     const code = stripCommentsAndStrings(source);
     for (const match of code.matchAll(/\b(?:Socket|Connection)\.(?:open|connect|listen|subscribe)\w*\s*\(/g)) {
         if (!isInsideCall(code, match.index, /\b(?:Effect|Layer)\.scoped\s*\(/g)) {
@@ -60,6 +78,5 @@ function hasUnscopedResourceWorkflow(source) {
         }
     }
     return false;
-}
-export { hasUnreleasedAcquire, hasUnscopedAcquireRelease, hasUnscopedResourceWorkflow };
+};
 //# sourceMappingURL=effect-default-resource-helpers.js.map

package/dist/rules/effect-default-resource-helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"effect-default-resource-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-resource-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,4BAA4B,CAAC;AAEpC,SAAS,oBAAoB,CAAC,MAAc;IAC1C,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,uCAAuC,CAAC,EAAE,CAAC;QAC3E,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1F,IACE,6CAA6C,CAAC,IAAI,CAAC,UAAU,CAAC;YAC9D,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,8BAA8B,CAAC,EAChE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAc,EAAE,WAAmB;IACpE,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IACzD,OAAO,8CAA8C,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,6BAA6B,CAAC,MAAc,EAAE,WAAmB;IACxE,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,MAAM,WAAW,KAAK,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,kCAAkC,CAAC,EAAE,CAAC;QACxE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAC7B,cAAc,GAAG,CAAC,EAClB,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAC5C,CAAC;QACF,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAc,EAAE,YAAoB;IAClE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC;IACrD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;IAC/F,OAAO,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAc;IAC/C,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,CAAC;QAClE,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC/D,IACE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,kCAAkC,CAAC;YACpE,CAAC,sBAAsB,CAAC,IAAI,EAAE,YAAY,CAAC;YAC3C,CAAC,CAAC,WAAW,IAAI,6BAA6B,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,EAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,2BAA2B,CAAC,MAAc;IACjD,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAC/B,qEAAqE,CACtE,EAAE,CAAC;QACF,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,kCAAkC,CAAC,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,CAAC"}
+{"version":3,"file":"effect-default-resource-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-resource-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,MAAc,EAAW,EAAE;IAC9D,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,uCAAuC,CAAC,EAAE,CAAC;QAC3E,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1F,IACE,6CAA6C,CAAC,IAAI,CAAC,UAAU,CAAC;YAC9D,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,8BAA8B,CAAC,EAChE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAsB,EAAE;IAC5F,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IACzD,OAAO,8CAA8C,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAW,EAAE;IACrF,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,MAAM,WAAW,KAAK,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,kCAAkC,CAAC,EAAE,CAAC;QACxE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAC7B,cAAc,GAAG,CAAC,EAClB,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAC5C,CAAC;QACF,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,MAAc,EAAE,YAAoB,EAAW,EAAE;IAC/E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC;IACrD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;IAC/F,OAAO,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,MAAc,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,CAAC;QAClE,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC/D,IACE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,kCAAkC,CAAC;YACpE,CAAC,sBAAsB,CAAC,IAAI,EAAE,YAAY,CAAC;YAC3C,CAAC,CAAC,WAAW,IAAI,6BAA6B,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,EAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAc,EAAW,EAAE;IACrE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAC/B,qEAAqE,CACtE,EAAE,CAAC;QACF,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,kCAAkC,CAAC,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/rules/effect-default-safety-helpers.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasUnsafeLazyEvaluation: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasUnloggedIgnore: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasMultipleCatchTagsInOnePipe: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasBroadCatchAllWithoutRethrow: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasErrorMappingWithoutCause: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasForkDaemonWithoutCleanup: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasForkInUninterruptibleWithoutRestore: (source: string) => boolean;
+//# sourceMappingURL=effect-default-safety-helpers.d.ts.map

package/dist/rules/effect-default-safety-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-safety-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-safety-helpers.ts"],"names":[],"mappings":"AAYA;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,MAAM,KAAG,OAWxD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,KAAG,OAgBlD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GAAI,QAAQ,MAAM,KAAG,OAc9D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GAAI,QAAQ,MAAM,KAAG,OAgB/D,CAAC;AAiBF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,OAgB5D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,OAI1D,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,sCAAsC,GAAI,QAAQ,MAAM,KAAG,OAWvE,CAAC"}

package/dist/rules/effect-default-safety-helpers.js

@@ -0,0 +1,126 @@
+/* -------------------------------------------------------------------------- */
+/*     Error-handling and cleanup predicates for always-on Effect rules.      */
+/* -------------------------------------------------------------------------- */
+import { effectCallBodies, enclosingPipeBody } from './effect-default-scan-helpers.js';
+import { findBalancedCallEnd, isInsideCall, stripCommentsAndStrings, } from './effect-source-helpers.js';
+const LOCAL_PREFIX_SCAN_WINDOW = 160;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasUnsafeLazyEvaluation = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/Effect\.succeed\s*\(\s*(?:Date\.now|Math\.random|new\s+Date|JSON\.parse)\s*\(/g)) {
+        if (!isInsideCall(code, match.index, /Effect\.suspend\s*\(/g)) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasUnloggedIgnore = (source) => {
+    for (const match of source.matchAll(/\bEffect\.ignore\b/g)) {
+        const pipeBody = enclosingPipeBody(source, match.index);
+        let localPrefix = source.slice(Math.max(0, match.index - LOCAL_PREFIX_SCAN_WINDOW), match.index);
+        if (pipeBody) {
+            localPrefix = pipeBody.slice(0, Math.max(0, match.index - source.indexOf(pipeBody)));
+        }
+        if (!/\b(?:Effect\.log|tapError|tapBoth|catchAll)\b/.test(localPrefix)) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasMultipleCatchTagsInOnePipe = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/\.pipe\s*\(/g)) {
+        const openParenIndex = source.indexOf('(', match.index);
+        if (openParenIndex !== -1) {
+            const pipeBody = source.slice(match.index, findBalancedCallEnd(source, openParenIndex) + 1);
+            const catchTagCount = [...pipeBody.matchAll(/Effect\.catchTag\s*\(/g)].length;
+            if (catchTagCount > 1 && !/Effect\.catchTags\s*\(/.test(pipeBody)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasBroadCatchAllWithoutRethrow = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/Effect\.catchAll\s*\(/g)) {
+        const openParenIndex = source.indexOf('(', match.index);
+        if (openParenIndex !== -1) {
+            const callBody = source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
+            if (!/=>\s*Effect\.fail\s*\(/.test(callBody)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+const hasErrorWithoutCause = (callBody) => {
+    for (const errorMatch of callBody.matchAll(/new\s+[A-Z][\w$]*Error\s*\(/g)) {
+        const errorOpenParenIndex = callBody.indexOf('(', errorMatch.index);
+        const errorArgs = callBody.slice(errorOpenParenIndex + 1, findBalancedCallEnd(callBody, errorOpenParenIndex));
+        if (!/\bcause\b/.test(errorArgs)) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasErrorMappingWithoutCause = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/(?:mapError|catchAll)\s*\(/g)) {
+        const openParenIndex = source.indexOf('(', match.index);
+        if (openParenIndex !== -1) {
+            const callBody = source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
+            if (hasErrorWithoutCause(callBody)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasForkDaemonWithoutCleanup = (source) => effectCallBodies(source, /\bEffect\.forkDaemon\s*\(/g).some((body) => !/\b(?:Effect\.)?(?:ensuring|onExit|onInterrupt|supervised)\b|Supervisor\./.test(body));
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasForkInUninterruptibleWithoutRestore = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/\bEffect\.uninterruptible\s*\(/g)) {
+        const openParenIndex = source.indexOf('(', match.index);
+        const callBody = source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex));
+        if (/\bEffect\.fork\b/.test(callBody) && !/\brestore\s*\(/.test(callBody)) {
+            return true;
+        }
+    }
+    return false;
+};
+//# sourceMappingURL=effect-default-safety-helpers.js.map

package/dist/rules/effect-default-safety-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-safety-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-safety-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACpF,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AAErC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,MAAc,EAAW,EAAE;IACjE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAC/B,gFAAgF,CACjF,EAAE,CAAC;QACF,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,uBAAuB,CAAC,EAAE,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAW,EAAE;IAC3D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,WAAW,GAAG,MAAM,CAAC,KAAK,CAC5B,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,GAAG,wBAAwB,CAAC,EACnD,KAAK,CAAC,KAAK,CACZ,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,+CAA+C,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,MAAc,EAAW,EAAE;IACvE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QAClD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5F,MAAM,aAAa,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAC;YAC9E,IAAI,aAAa,GAAG,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClE,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,MAAc,EAAW,EAAE;IACxE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,CAAC;QAC5D,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAC3B,cAAc,GAAG,CAAC,EAClB,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAC5C,CAAC;YACF,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAW,EAAE;IACzD,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,CAAC;QAC3E,MAAM,mBAAmB,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAC9B,mBAAmB,GAAG,CAAC,EACvB,mBAAmB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CACnD,CAAC;QACF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAc,EAAW,EAAE;IACrE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,6BAA6B,CAAC,EAAE,CAAC;QACjE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAC3B,cAAc,GAAG,CAAC,EAClB,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAC5C,CAAC;YACF,IAAI,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAc,EAAW,EAAE,CACrE,gBAAgB,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC,IAAI,CACzD,CAAC,IAAI,EAAW,EAAE,CAChB,CAAC,0EAA0E,CAAC,IAAI,CAAC,IAAI,CAAC,CACzF,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC,MAAc,EAAW,EAAE;IAChF,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,iCAAiC,CAAC,EAAE,CAAC;QACrE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;QAC/F,IAAI,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1E,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/rules/effect-default-scan-helpers.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const effectAliasesPattern: (source: string) => string;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const effectCallPattern: (source: string, methods: string) => RegExp;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const localCallSegment: (source: string, targetIndex: number) => string;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const effectCallBodies: (source: string, callPattern: RegExp) => string[];
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const someEffectWorkflowBody: (source: string, predicate: (body: string) => boolean) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const enclosingPipeBody: (source: string, targetIndex: number) => string | undefined;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const strippedCallSegment: (source: string, targetIndex: number) => string;
+//# sourceMappingURL=effect-default-scan-helpers.d.ts.map

package/dist/rules/effect-default-scan-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-scan-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-scan-helpers.ts"],"names":[],"mappings":"AAiCA;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,MAAM,KAAG,MAWrD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,EAAE,SAAS,MAAM,KAAG,MAcnE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MAMtE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MAAM,EAW5E,CAAC;AAiDF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,QAAQ,MAAM,EACd,WAAW,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,KACnC,OAGF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MAAM,GAAG,SAYhF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MACpB,CAAC"}

package/dist/rules/effect-default-scan-helpers.js

@@ -0,0 +1,141 @@
+/* -------------------------------------------------------------------------- */
+/*         Shared scan helpers for always-on Effect lint predicates.          */
+/* -------------------------------------------------------------------------- */
+import { findBalancedCallEnd, findStatementEnd, stripComments, stripCommentsAndStrings, } from './effect-source-helpers.js';
+import { effectImportAliases } from './effect-rule-core.js';
+const EFFECT_PATTERN_CACHE_MAX = 256;
+const effectAliasesPatternCache = new Map();
+const effectCallPatternCache = new Map();
+const escapeRegExp = (value) => value.replace(/[.*+?^${}()|[\]\\]/g, String.raw `\$&`);
+const setBoundedCacheValue = (cache, key, value) => {
+    if (cache.size >= EFFECT_PATTERN_CACHE_MAX) {
+        const firstKey = cache.keys().next().value;
+        if (firstKey !== undefined) {
+            cache.delete(firstKey);
+        }
+    }
+    cache.set(key, value);
+    return value;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const effectAliasesPattern = (source) => {
+    const cachedPattern = effectAliasesPatternCache.get(source);
+    if (cachedPattern !== undefined) {
+        return cachedPattern;
+    }
+    return setBoundedCacheValue(effectAliasesPatternCache, source, effectImportAliases(source).map(escapeRegExp).join('|'));
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const effectCallPattern = (source, methods) => {
+    let sourceCache = effectCallPatternCache.get(source);
+    if (sourceCache === undefined) {
+        sourceCache = setBoundedCacheValue(effectCallPatternCache, source, new Map());
+    }
+    const cachedPattern = sourceCache.get(methods);
+    if (cachedPattern !== undefined) {
+        return cachedPattern;
+    }
+    const pattern = new RegExp(`\\b(?:${effectAliasesPattern(source)})\\.(?:${methods})\\s*\\(`, 'g');
+    sourceCache.set(methods, pattern);
+    return pattern;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const localCallSegment = (source, targetIndex) => {
+    const openParenIndex = source.indexOf('(', targetIndex);
+    if (openParenIndex === -1) {
+        return source.slice(targetIndex, findStatementEnd(source, targetIndex) + 1);
+    }
+    return source.slice(targetIndex, findBalancedCallEnd(source, openParenIndex) + 1);
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const effectCallBodies = (source, callPattern) => {
+    const code = stripCommentsAndStrings(source);
+    const bodies = [];
+    for (const match of code.matchAll(callPattern)) {
+        const openParenIndex = source.indexOf('(', match.index);
+        if (openParenIndex !== -1) {
+            bodies.push(source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex)));
+        }
+    }
+    return bodies;
+};
+const effectGenHasBody = (source, code, predicate) => {
+    for (const match of code.matchAll(effectCallPattern(source, 'gen'))) {
+        const openParenIndex = source.indexOf('(', match.index);
+        if (openParenIndex !== -1 &&
+            predicate(source.slice(openParenIndex + 1, findBalancedCallEnd(source, openParenIndex)))) {
+            return true;
+        }
+    }
+    return false;
+};
+const effectFnBodyBounds = (source, openParenIndex) => {
+    const firstCallEnd = findBalancedCallEnd(source, openParenIndex);
+    const nextCallMatch = /^\s*\(/.exec(source.slice(firstCallEnd + 1));
+    if (nextCallMatch) {
+        const start = firstCallEnd + 1 + nextCallMatch[0].lastIndexOf('(');
+        return { end: findBalancedCallEnd(source, start), start };
+    }
+    return { end: firstCallEnd, start: openParenIndex };
+};
+const effectFnHasBody = (source, code, predicate) => {
+    for (const match of code.matchAll(effectCallPattern(source, 'fn'))) {
+        const openParenIndex = source.indexOf('(', match.index);
+        if (openParenIndex !== -1) {
+            const bounds = effectFnBodyBounds(source, openParenIndex);
+            if (predicate(source.slice(bounds.start + 1, bounds.end))) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const someEffectWorkflowBody = (source, predicate) => {
+    const code = stripCommentsAndStrings(source);
+    return effectGenHasBody(source, code, predicate) || effectFnHasBody(source, code, predicate);
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const enclosingPipeBody = (source, targetIndex) => {
+    for (const match of source.matchAll(/\.pipe\s*\(/g)) {
+        const openParenIndex = source.indexOf('(', match.index);
+        if (openParenIndex !== -1 && openParenIndex <= targetIndex) {
+            const endIndex = findBalancedCallEnd(source, openParenIndex);
+            if (targetIndex <= endIndex) {
+                return source.slice(openParenIndex + 1, endIndex);
+            }
+        }
+    }
+    return undefined;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const strippedCallSegment = (source, targetIndex) => stripComments(localCallSegment(source, targetIndex));
+//# sourceMappingURL=effect-default-scan-helpers.js.map

package/dist/rules/effect-default-scan-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-scan-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-scan-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,aAAa,EACb,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAEzD,MAAM,wBAAwB,GAAG,GAAG,CAAC;AACrC,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC5D,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAA+B,CAAC;AAEtE,MAAM,YAAY,GAAG,CAAC,KAAa,EAAU,EAAE,CAC7C,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,GAAG,CAAA,KAAK,CAAC,CAAC;AAExD,MAAM,oBAAoB,GAAG,CAC3B,KAAyB,EACzB,GAAW,EACX,KAAY,EACL,EAAE;IACT,IAAI,KAAK,CAAC,IAAI,IAAI,wBAAwB,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,MAAc,EAAU,EAAE;IAC7D,MAAM,aAAa,GAAG,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,OAAO,oBAAoB,CACzB,yBAAyB,EACzB,MAAM,EACN,mBAAmB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CACxD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,OAAe,EAAU,EAAE;IAC3E,IAAI,WAAW,GAAG,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,WAAW,GAAG,oBAAoB,CAAC,sBAAsB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAkB,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,SAAS,oBAAoB,CAAC,MAAM,CAAC,UAAU,OAAO,UAAU,EAAE,GAAG,CAAC,CAAC;IAClG,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAClC,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAU,EAAE;IAC9E,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IACxD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;AACpF,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAY,EAAE;IAChF,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/C,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,MAAc,EACd,IAAY,EACZ,SAAoC,EAC3B,EAAE;IACX,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACpE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IACE,cAAc,KAAK,CAAC,CAAC;YACrB,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,EACxF,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,MAAc,EACd,cAAsB,EACU,EAAE;IAClC,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,YAAY,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACnE,OAAO,EAAE,GAAG,EAAE,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;AACtD,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,MAAc,EACd,IAAY,EACZ,SAAoC,EAC3B,EAAE;IACX,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YAC1D,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC1D,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAAc,EACd,SAAoC,EAC3B,EAAE;IACX,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC/F,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAsB,EAAE;IAC3F,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACpD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,cAAc,KAAK,CAAC,CAAC,IAAI,cAAc,IAAI,WAAW,EAAE,CAAC;YAC3D,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YAC7D,IAAI,WAAW,IAAI,QAAQ,EAAE,CAAC;gBAC5B,OAAO,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAU,EAAE,CACjF,aAAa,CAAC,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC"}

package/dist/rules/effect-default-schema-helpers.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasSchemaSyncDecodeInEffectWorkflow: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasSchemaPromiseDecode: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasExternalJSONWithoutDecodeUnknown: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasCastAfterSchemaDecode: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasUnhandledSchemaEffectDecode: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasJSONParsedBeforeSchemaStringDecode: (source: string) => boolean;
+//# sourceMappingURL=effect-default-schema-helpers.d.ts.map

package/dist/rules/effect-default-schema-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-schema-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-schema-helpers.ts"],"names":[],"mappings":"AAQA;;;;GAIG;AACH,eAAO,MAAM,mCAAmC,GAAI,QAAQ,MAAM,KAAG,OAGlE,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,QAAQ,MAAM,KAAG,OACqB,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,mCAAmC,GAAI,QAAQ,MAAM,KAAG,OAapE,CAAC;AAgDF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,QAAQ,MAAM,KAAG,OASzD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GAAI,QAAQ,MAAM,KAAG,OAkB/D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qCAAqC,GAAI,QAAQ,MAAM,KAAG,OAGpE,CAAC"}

package/dist/rules/effect-default-schema-helpers.js

@@ -0,0 +1,104 @@
+/* -------------------------------------------------------------------------- */
+/*           Schema boundary predicates for always-on Effect rules.           */
+/* -------------------------------------------------------------------------- */
+import { isInsideCall, stripCommentsAndStrings } from './effect-source-helpers.js';
+import { localCallSegment, someEffectWorkflowBody } from './effect-default-scan-helpers.js';
+const SCHEMA_ASSERTION_SCAN_WINDOW = 240;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasSchemaSyncDecodeInEffectWorkflow = (source) => someEffectWorkflowBody(source, (body) => /Schema\.decode(?:Unknown)?Sync\s*\(/.test(stripCommentsAndStrings(body)));
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasSchemaPromiseDecode = (source) => /Schema\.decode[A-Za-z]*Promise\s*\(/.test(stripCommentsAndStrings(source));
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasExternalJSONWithoutDecodeUnknown = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/\b(?:response|res)\.json\s*\(\s*\)/g)) {
+        const callSegment = localCallSegment(code, match.index);
+        if (!isInsideCall(code, match.index, /Schema\.decodeUnknown\s*\(/g) &&
+            !/Schema\.decodeUnknown/.test(callSegment)) {
+            return true;
+        }
+    }
+    return false;
+};
+const schemaDecodeLine = (code, index) => {
+    const lineStart = Math.max(code.lastIndexOf(';', index) + 1, code.lastIndexOf('\n', index) + 1);
+    const lineBreakIndex = code.indexOf('\n', index);
+    let lineEnd = lineBreakIndex;
+    if (lineEnd === -1) {
+        lineEnd = code.length;
+    }
+    return code.slice(lineStart, lineEnd);
+};
+const schemaAssertionTail = (code, match) => code.slice((match.index ?? 0) + match[0].length, (match.index ?? 0) + match[0].length + SCHEMA_ASSERTION_SCAN_WINDOW);
+const hasBindingAssertion = (bindingName, tail) => Boolean(bindingName && new RegExp(`\\b${bindingName}\\s+as\\s+[A-Za-z_$][\\w$]*`).test(tail));
+const hasInlineSchemaDecodeCast = (line) => /Schema\.decode[A-Za-z]*\s*\([^)]*\)\s*\([^)]*\)\s+as\s+[A-Za-z_$][\w$]*/.test(line);
+const hasCastAfterSchemaDecodeMatch = (code, match) => {
+    if (match.index === undefined) {
+        return false;
+    }
+    const line = schemaDecodeLine(code, match.index);
+    if (hasInlineSchemaDecodeCast(line)) {
+        return true;
+    }
+    const bindingName = /\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*=/.exec(line)?.[1];
+    return hasBindingAssertion(bindingName, schemaAssertionTail(code, match));
+};
+const hasCastAfterSchemaDecodeBinding = (code) => {
+    for (const match of code.matchAll(/\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*=\s*Schema\.decode[A-Za-z]*\s*\([^)]*\)\s*\([^)]*\)/g)) {
+        const [, bindingName] = match;
+        if (hasBindingAssertion(bindingName, schemaAssertionTail(code, match))) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasCastAfterSchemaDecode = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/Schema\.decode[A-Za-z]*\s*\(/g)) {
+        if (hasCastAfterSchemaDecodeMatch(code, match)) {
+            return true;
+        }
+    }
+    return hasCastAfterSchemaDecodeBinding(code);
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasUnhandledSchemaEffectDecode = (source) => {
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(/\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*=\s*Schema\.decodeUnknown\s*\([^)]*\)\s*\([^)]*\)/g)) {
+        const [, bindingName] = match;
+        const tail = code.slice(match.index + match[0].length);
+        const handledPattern = new RegExp(`(?:yield\\*\\s+${bindingName}\\b|return\\s+${bindingName}\\b)`);
+        if (!handledPattern.test(tail)) {
+            return true;
+        }
+    }
+    return /Schema\.decodeUnknown\s*\([^)]*\)\s*\([^)]*\)\.pipe\s*\(\s*Effect\.(?:orDie|ignore)\b/.test(code);
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasJSONParsedBeforeSchemaStringDecode = (source) => /Schema\.decode[A-Za-z]*\s*\((?![^)]*Schema\.parseJson)[\s\S]*?\)\s*\(\s*JSON\.parse\s*\(/.test(stripCommentsAndStrings(source));
+//# sourceMappingURL=effect-default-schema-helpers.js.map

package/dist/rules/effect-default-schema-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-schema-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-schema-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEzF,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC,MAAc,EAAW,EAAE,CAC7E,sBAAsB,CAAC,MAAM,EAAE,CAAC,IAAI,EAAW,EAAE,CAC/C,qCAAqC,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAC1E,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAc,EAAW,EAAE,CAChE,qCAAqC,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC,MAAc,EAAW,EAAE;IAC7E,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,qCAAqC,CAAC,EAAE,CAAC;QACzE,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IACE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,6BAA6B,CAAC;YAC/D,CAAC,uBAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,EAC1C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE;IAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAChG,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjD,IAAI,OAAO,GAAG,cAAc,CAAC;IAC7B,IAAI,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;QACnB,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAE,KAAuB,EAAU,EAAE,CAC5E,IAAI,CAAC,KAAK,CACR,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EACpC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,4BAA4B,CACpE,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAAC,WAA+B,EAAE,IAAY,EAAW,EAAE,CACrF,OAAO,CAAC,WAAW,IAAI,IAAI,MAAM,CAAC,MAAM,WAAW,6BAA6B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAEhG,MAAM,yBAAyB,GAAG,CAAC,IAAY,EAAW,EAAE,CAC1D,yEAAyE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEvF,MAAM,6BAA6B,GAAG,CAAC,IAAY,EAAE,KAAuB,EAAW,EAAE;IACvF,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,8CAA8C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,OAAO,mBAAmB,CAAC,WAAW,EAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CAAC,IAAY,EAAW,EAAE;IAChE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAC/B,iGAAiG,CAClG,EAAE,CAAC;QACF,MAAM,CAAC,EAAE,WAAW,CAAC,GAAG,KAAK,CAAC;QAC9B,IAAI,mBAAmB,CAAC,WAAW,EAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,MAAc,EAAW,EAAE;IAClE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,+BAA+B,CAAC,EAAE,CAAC;QACnE,IAAI,6BAA6B,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,+BAA+B,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,MAAc,EAAW,EAAE;IACxE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAC/B,+FAA+F,CAChG,EAAE,CAAC;QACF,MAAM,CAAC,EAAE,WAAW,CAAC,GAAG,KAAK,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,cAAc,GAAG,IAAI,MAAM,CAC/B,kBAAkB,WAAW,iBAAiB,WAAW,MAAM,CAChE,CAAC;QACF,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,uFAAuF,CAAC,IAAI,CACjG,IAAI,CACL,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qCAAqC,GAAG,CAAC,MAAc,EAAW,EAAE,CAC/E,0FAA0F,CAAC,IAAI,CAC7F,uBAAuB,CAAC,MAAM,CAAC,CAChC,CAAC"}