@thethracian/oxlint-config 0.2.0 → 0.3.0

package/dist/rules/effect-default-env-rules.js

@@ -0,0 +1,259 @@
+/* -------------------------------------------------------------------------- */
+/*         Environment, schema, resource, and test Effect rule specs.         */
+/* -------------------------------------------------------------------------- */
+import { hasCastAfterSchemaDecode, hasExternalJSONWithoutDecodeUnknown, hasForkDaemonWithoutCleanup, hasForkInUninterruptibleWithoutRestore, hasJSONParsedBeforeSchemaStringDecode, hasParsedJSONNumberFromString, hasSchemaPromiseDecode, hasSchemaSyncDecodeInEffectWorkflow, hasUnboundedEffectConcurrency, hasUnboundedFlatMapConcurrency, hasUnhandledSchemaEffectDecode, } from './effect-default-helpers.js';
+import { hasEffectSignal, hasRuntimeCall } from './effect-rule-core.js';
+import { hasForkBeforeTestClockAdjust, hasRealSleepWithoutTestClock, hasTestClockWithoutEffectContext, } from './effect-default-test-helpers.js';
+import { hasUnreleasedAcquire, hasUnscopedAcquireRelease, hasUnscopedResourceWorkflow, } from './effect-default-resource-helpers.js';
+import { isConfiguredPath, isEffectTestPath } from './effect-path-options.js';
+import { memberParts, objectValue, reportAST } from './effect-default-ast.js';
+import { stripCommentsAndStrings } from './effect-source-helpers.js';
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const effectDefaultEnvironmentSpecs = [
+    {
+        ast: (context, source) => {
+            const isEffectModule = hasEffectSignal(source);
+            const isConfigLayer = isConfiguredPath(context, 'configLayers');
+            return {
+                MemberExpression(node) {
+                    const { objectName, propertyName } = memberParts(node);
+                    const processEnv = objectName === 'process' && propertyName === 'env';
+                    if (isEffectModule && !isConfigLayer && processEnv) {
+                        reportAST(context, 'Use Effect Config instead of process.env in Effect code.', node);
+                    }
+                },
+            };
+        },
+        message: 'Use Effect Config instead of process.env in Effect code.',
+        name: 'effect-no-process-env-in-effect-code',
+        tokens: ['process'],
+    },
+    {
+        ast: (context, source) => {
+            const isEffectModule = hasEffectSignal(source);
+            const isAdapterLayer = isConfiguredPath(context, 'adapterLayers');
+            return {
+                CallExpression(node) {
+                    const { objectName, propertyName } = memberParts(objectValue(node, 'callee'));
+                    if (isEffectModule &&
+                        !isAdapterLayer &&
+                        objectName === 'Date' &&
+                        propertyName === 'now') {
+                        reportAST(context, 'Use Effect Clock instead of Date.now in Effect code.', node);
+                    }
+                },
+            };
+        },
+        message: 'Use Effect Clock instead of Date.now in Effect code.',
+        name: 'effect-no-date-now-in-effect-code',
+        tokens: ['Date'],
+    },
+    {
+        ast: (context, source) => {
+            const isEffectModule = hasEffectSignal(source);
+            const isAdapterLayer = isConfiguredPath(context, 'adapterLayers');
+            return {
+                CallExpression(node) {
+                    const { objectName, propertyName } = memberParts(objectValue(node, 'callee'));
+                    if (isEffectModule &&
+                        !isAdapterLayer &&
+                        objectName === 'Math' &&
+                        propertyName === 'random') {
+                        reportAST(context, 'Use Effect Random instead of Math.random in Effect code.', node);
+                    }
+                },
+            };
+        },
+        message: 'Use Effect Random instead of Math.random in Effect code.',
+        name: 'effect-no-math-random-in-effect-code',
+        tokens: ['Math'],
+    },
+    {
+        message: 'Decode external JSON with Schema instead of casting parsed unknown data.',
+        name: 'effect-no-json-parse-cast',
+        patterns: [
+            /\bJSON\.parse\s*\([^)]*\)\s+as\s+[A-Za-z_$][\w$]*/,
+            /\.json\s*\(\s*\)\s+as\s+[A-Za-z_$][\w$]*/,
+        ],
+        tokenGroups: [[' as '], ['JSON.parse', '.json']],
+    },
+    {
+        check: hasSchemaPromiseDecode,
+        message: 'Use Schema.decodeUnknown to decode unknown input into the Effect error channel.',
+        name: 'effect-schema-prefer-decodeUnknown-effect',
+        tokens: ['decode'],
+    },
+    {
+        check: hasUnhandledSchemaEffectDecode,
+        message: 'Schema parsing must expose parse errors through typed Effect handling.',
+        name: 'effect-schema-require-parse-error-handling',
+        tokens: ['decode'],
+    },
+    {
+        check: hasExternalJSONWithoutDecodeUnknown,
+        message: 'External data must enter through Schema.decodeUnknown.',
+        name: 'effect-schema-use-decodeUnknown-for-external-data',
+        tokens: ['.json'],
+    },
+    {
+        check: hasSchemaSyncDecodeInEffectWorkflow,
+        message: 'Do not use throwing synchronous Schema decoders in Effect modules.',
+        name: 'effect-schema-no-unsafe-sync-decode-in-effect-code',
+        tokens: ['decodeSync', 'decodeUnknownSync'],
+    },
+    {
+        check: hasJSONParsedBeforeSchemaStringDecode,
+        message: 'Use Schema.parseJson when decoding JSON strings with Schema.',
+        name: 'effect-schema-require-parseJson-for-json-strings',
+        tokens: ['JSON.parse'],
+    },
+    {
+        check: hasParsedJSONNumberFromString,
+        message: 'Use the correct Schema number type for already-parsed JSON numbers.',
+        name: 'effect-schema-correct-number-type-for-parsed-json',
+        tokens: ['JSON.parse'],
+    },
+    {
+        message: 'Prefer Schema.TaggedClass over hand-written _tag fields.',
+        name: 'effect-schema-prefer-taggedClass-over-manual-tag',
+        patterns: [/Schema\.Struct\s*\(\s*{[\s\S]*?_tag\s*:\s*Schema\.Literal/],
+        tokens: ['_tag'],
+    },
+    {
+        message: 'Use current Effect Schema API names instead of obsolete lowercase helpers.',
+        name: 'effect-schema-avoid-old-type-names',
+        patterns: [/\bSchema\.(?:string|number|boolean|array|object)\s*\(/],
+        tokens: ['Schema.'],
+    },
+    {
+        check: hasCastAfterSchemaDecode,
+        message: 'Do not cast after Schema decoding; let the schema provide the type.',
+        name: 'effect-schema-no-cast-after-decode',
+        tokenGroups: [['Schema.decode'], [' as ']],
+    },
+    {
+        check: hasUnreleasedAcquire,
+        message: 'Resource acquisition must use acquireRelease, scoped, or equivalent finalization.',
+        name: 'effect-require-acquire-release',
+        tokens: ['open', 'connect', 'subscribe', 'listen'],
+    },
+    {
+        check: hasUnscopedAcquireRelease,
+        message: 'Use Effect.scoped around acquireRelease when exposing acquired resources.',
+        name: 'effect-require-scoped-for-acquireRelease',
+        tokens: ['acquireRelease'],
+    },
+    {
+        check: hasUnscopedResourceWorkflow,
+        message: 'Resourceful workflows must be scoped.',
+        name: 'effect-require-scoped-for-resources',
+        tokens: ['Socket.', 'Connection.'],
+    },
+    {
+        check: hasForkDaemonWithoutCleanup,
+        message: 'Daemon fibers must have cleanup, interruption, or supervision.',
+        name: 'effect-no-fork-daemon-without-cleanup',
+        tokens: ['forkDaemon'],
+    },
+    {
+        message: 'Long-running listeners should use forkScoped so they follow Scope lifetime.',
+        name: 'effect-prefer-fork-scoped-for-listeners',
+        patterns: [
+            /Effect\.fork\s*\([\s\S]*?\b(?:listen[A-Z]\w*|subscribe[A-Z]\w*|watch[A-Z]\w*|listen|subscribe|watch)\b/,
+        ],
+        tokens: ['fork'],
+    },
+    {
+        check: hasForkInUninterruptibleWithoutRestore,
+        message: 'Use restore when forking inside uninterruptible regions.',
+        name: 'effect-require-restore-for-fork-in-uninterruptible',
+        tokenGroups: [['uninterruptible'], ['fork']],
+    },
+    {
+        check: hasUnboundedEffectConcurrency,
+        message: 'Concurrent Effect traversal must declare an explicit concurrency bound.',
+        name: 'effect-require-bounded-concurrency',
+        tokens: ['concurrency'],
+    },
+    {
+        check: hasUnboundedFlatMapConcurrency,
+        message: 'Concurrent Effect.flatMap usage must declare a bounded concurrency value.',
+        name: 'effect-require-bounded-flatMap-concurrency',
+        tokenGroups: [['flatMap'], ['concurrency']],
+    },
+    {
+        message: 'Use bounded, sliding, or dropping queues instead of unbounded queues.',
+        name: 'effect-no-unbounded-queue',
+        patterns: [/\bQueue\.unbounded\s*\(/],
+        tokens: ['unbounded'],
+    },
+    {
+        message: 'Stream buffers must be explicitly bounded.',
+        name: 'effect-no-unbounded-stream-buffer',
+        patterns: [
+            /\bStream\.(?:buffer|fromQueue|async|asyncPush)\s*\([^)]*\b(?:Infinity|unbounded)\b/,
+        ],
+        tokens: ['unbounded', 'Infinity'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) && hasRuntimeCall(source),
+        message: 'Use @effect/vitest it.effect instead of manually running Effects in tests.',
+        name: 'effect-test-no-runpromise',
+        tokens: ['run'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) &&
+            !hasRuntimeCall(source) &&
+            /\bit\s*\([\s\S]*?Effect\./.test(stripCommentsAndStrings(source)),
+        message: 'Use it.effect for tests that exercise Effect programs.',
+        name: 'effect-prefer-it-effect-for-unit-tests',
+        tokens: ['it('],
+    },
+    {
+        check: (source) => /TestClock\.adjust\s*\(/.test(stripCommentsAndStrings(source)) &&
+            !hasForkBeforeTestClockAdjust(source),
+        message: 'Fork time-dependent work before adjusting TestClock.',
+        name: 'effect-testClock-requires-fork',
+        tokens: ['TestClock.adjust'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) && hasTestClockWithoutEffectContext(source),
+        message: 'Use Effect test context when using TestClock.',
+        name: 'effect-testClock-requires-testContext',
+        tokens: ['TestClock'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) && hasRealSleepWithoutTestClock(source),
+        message: 'Use TestClock instead of real sleeps in Effect tests.',
+        name: 'effect-no-real-sleep-in-tests',
+        tokens: ['sleep'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) &&
+            !hasRuntimeCall(source) &&
+            /\b(?:rejects|toThrow)\b/.test(stripCommentsAndStrings(source)) &&
+            /\bEffect\./.test(stripCommentsAndStrings(source)),
+        message: 'Use Effect.exit inside it.effect when asserting Effect failures.',
+        name: 'effect-use-exit-for-failure-tests',
+        tokens: ['rejects', 'toThrow'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) &&
+            /\b(?:it|describe)\.effect\.only\s*\(/.test(stripCommentsAndStrings(source)),
+        message: 'Focused Effect tests must not be committed.',
+        name: 'effect-no-focused-effect-tests',
+        tokens: ['.only'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) &&
+            /\b(?:it|describe)\.effect\.skip\s*\(/.test(stripCommentsAndStrings(source)),
+        message: 'Skipped Effect tests must not be committed.',
+        name: 'effect-no-skipped-effect-tests',
+        tokens: ['.skip'],
+    },
+];
+//# sourceMappingURL=effect-default-env-rules.js.map

package/dist/rules/effect-default-env-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-env-rules.js","sourceRoot":"","sources":["../../src/rules/effect-default-env-rules.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,wBAAwB,EACxB,mCAAmC,EACnC,2BAA2B,EAC3B,sCAAsC,EACtC,qCAAqC,EACrC,6BAA6B,EAC7B,sBAAsB,EACtB,mCAAmC,EACnC,6BAA6B,EAC7B,8BAA8B,EAC9B,8BAA8B,GAC/B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EACL,4BAA4B,EAC5B,4BAA4B,EAC5B,gCAAgC,GACjC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAyBlE;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE;YAC/D,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,aAAa,GAAG,gBAAgB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YAChE,OAAO;gBACL,gBAAgB,CAAC,IAAI;oBACnB,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;oBACvD,MAAM,UAAU,GAAG,UAAU,KAAK,SAAS,IAAI,YAAY,KAAK,KAAK,CAAC;oBACtE,IAAI,cAAc,IAAI,CAAC,aAAa,IAAI,UAAU,EAAE,CAAC;wBACnD,SAAS,CAAC,OAAO,EAAE,0DAA0D,EAAE,IAAI,CAAC,CAAC;oBACvF,CAAC;gBACH,CAAC;aACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,0DAA0D;QACnE,IAAI,EAAE,sCAAsC;QAC5C,MAAM,EAAE,CAAC,SAAS,CAAC;KACpB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE;YAC/D,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,cAAc,GAAG,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YAClE,OAAO;gBACL,cAAc,CAAC,IAAI;oBACjB,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;oBAC9E,IACE,cAAc;wBACd,CAAC,cAAc;wBACf,UAAU,KAAK,MAAM;wBACrB,YAAY,KAAK,KAAK,EACtB,CAAC;wBACD,SAAS,CAAC,OAAO,EAAE,sDAAsD,EAAE,IAAI,CAAC,CAAC;oBACnF,CAAC;gBACH,CAAC;aACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,sDAAsD;QAC/D,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,CAAC,MAAM,CAAC;KACjB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE;YAC/D,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,cAAc,GAAG,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YAClE,OAAO;gBACL,cAAc,CAAC,IAAI;oBACjB,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;oBAC9E,IACE,cAAc;wBACd,CAAC,cAAc;wBACf,UAAU,KAAK,MAAM;wBACrB,YAAY,KAAK,QAAQ,EACzB,CAAC;wBACD,SAAS,CAAC,OAAO,EAAE,0DAA0D,EAAE,IAAI,CAAC,CAAC;oBACvF,CAAC;gBACH,CAAC;aACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,0DAA0D;QACnE,IAAI,EAAE,sCAAsC;QAC5C,MAAM,EAAE,CAAC,MAAM,CAAC;KACjB;IACD;QACE,OAAO,EAAE,0EAA0E;QACnF,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE;YACR,mDAAmD;YACnD,0CAA0C;SAC3C;QACD,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;KACjD;IACD;QACE,KAAK,EAAE,sBAAsB;QAC7B,OAAO,EAAE,iFAAiF;QAC1F,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,QAAQ,CAAC;KACnB;IACD;QACE,KAAK,EAAE,8BAA8B;QACrC,OAAO,EAAE,wEAAwE;QACjF,IAAI,EAAE,4CAA4C;QAClD,MAAM,EAAE,CAAC,QAAQ,CAAC;KACnB;IACD;QACE,KAAK,EAAE,mCAAmC;QAC1C,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,mDAAmD;QACzD,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,KAAK,EAAE,mCAAmC;QAC1C,OAAO,EAAE,oEAAoE;QAC7E,IAAI,EAAE,oDAAoD;QAC1D,MAAM,EAAE,CAAC,YAAY,EAAE,mBAAmB,CAAC;KAC5C;IACD;QACE,KAAK,EAAE,qCAAqC;QAC5C,OAAO,EAAE,8DAA8D;QACvE,IAAI,EAAE,kDAAkD;QACxD,MAAM,EAAE,CAAC,YAAY,CAAC;KACvB;IACD;QACE,KAAK,EAAE,6BAA6B;QACpC,OAAO,EAAE,qEAAqE;QAC9E,IAAI,EAAE,mDAAmD;QACzD,MAAM,EAAE,CAAC,YAAY,CAAC;KACvB;IACD;QACE,OAAO,EAAE,0DAA0D;QACnE,IAAI,EAAE,kDAAkD;QACxD,QAAQ,EAAE,CAAC,2DAA2D,CAAC;QACvE,MAAM,EAAE,CAAC,MAAM,CAAC;KACjB;IACD;QACE,OAAO,EAAE,4EAA4E;QACrF,IAAI,EAAE,oCAAoC;QAC1C,QAAQ,EAAE,CAAC,uDAAuD,CAAC;QACnE,MAAM,EAAE,CAAC,SAAS,CAAC;KACpB;IACD;QACE,KAAK,EAAE,wBAAwB;QAC/B,OAAO,EAAE,qEAAqE;QAC9E,IAAI,EAAE,oCAAoC;QAC1C,WAAW,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;KAC3C;IACD;QACE,KAAK,EAAE,oBAAoB;QAC3B,OAAO,EAAE,mFAAmF;QAC5F,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC;KACnD;IACD;QACE,KAAK,EAAE,yBAAyB;QAChC,OAAO,EAAE,2EAA2E;QACpF,IAAI,EAAE,0CAA0C;QAChD,MAAM,EAAE,CAAC,gBAAgB,CAAC;KAC3B;IACD;QACE,KAAK,EAAE,2BAA2B;QAClC,OAAO,EAAE,uCAAuC;QAChD,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,CAAC,SAAS,EAAE,aAAa,CAAC;KACnC;IACD;QACE,KAAK,EAAE,2BAA2B;QAClC,OAAO,EAAE,gEAAgE;QACzE,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,CAAC,YAAY,CAAC;KACvB;IACD;QACE,OAAO,EAAE,6EAA6E;QACtF,IAAI,EAAE,yCAAyC;QAC/C,QAAQ,EAAE;YACR,wGAAwG;SACzG;QACD,MAAM,EAAE,CAAC,MAAM,CAAC;KACjB;IACD;QACE,KAAK,EAAE,sCAAsC;QAC7C,OAAO,EAAE,0DAA0D;QACnE,IAAI,EAAE,oDAAoD;QAC1D,WAAW,EAAE,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;KAC7C;IACD;QACE,KAAK,EAAE,6BAA6B;QACpC,OAAO,EAAE,yEAAyE;QAClF,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,CAAC,aAAa,CAAC;KACxB;IACD;QACE,KAAK,EAAE,8BAA8B;QACrC,OAAO,EAAE,2EAA2E;QACpF,IAAI,EAAE,4CAA4C;QAClD,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;KAC5C;IACD;QACE,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,MAAM,EAAE,CAAC,WAAW,CAAC;KACtB;IACD;QACE,OAAO,EAAE,4CAA4C;QACrD,IAAI,EAAE,mCAAmC;QACzC,QAAQ,EAAE;YACR,oFAAoF;SACrF;QACD,MAAM,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC;KAClC;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC;QACxF,OAAO,EAAE,4EAA4E;QACrF,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,CAAC,KAAK,CAAC;KAChB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC;YACzB,CAAC,cAAc,CAAC,MAAM,CAAC;YACvB,2BAA2B,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QACnE,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,CAAC,KAAK,CAAC;KAChB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAW,EAAE,CACzB,wBAAwB,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAC9D,CAAC,4BAA4B,CAAC,MAAM,CAAC;QACvC,OAAO,EAAE,sDAAsD;QAC/D,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,CAAC,kBAAkB,CAAC;KAC7B;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC,IAAI,gCAAgC,CAAC,MAAM,CAAC;QACvE,OAAO,EAAE,+CAA+C;QACxD,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,CAAC,WAAW,CAAC;KACtB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC,IAAI,4BAA4B,CAAC,MAAM,CAAC;QACnE,OAAO,EAAE,uDAAuD;QAChE,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC;YACzB,CAAC,cAAc,CAAC,MAAM,CAAC;YACvB,yBAAyB,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAC/D,YAAY,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QACpD,OAAO,EAAE,kEAAkE;QAC3E,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;KAC/B;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC;YACzB,sCAAsC,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC9E,OAAO,EAAE,6CAA6C;QACtD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC;YACzB,sCAAsC,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC9E,OAAO,EAAE,6CAA6C;QACtD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;CAC4B,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasUnobservedFork: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasRunForkWithoutObserver: (source: string) => boolean;
+//# sourceMappingURL=effect-default-fiber-helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-fiber-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-fiber-helpers.ts"],"names":[],"mappings":"AAsBA;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,KAAG,OAmBlD,CAAC;AAmCF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,QAAQ,MAAM,KAAG,OAc1D,CAAC"}

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

@@ -0,0 +1,76 @@
+/* -------------------------------------------------------------------------- */
+/*          Fiber observation predicates for always-on Effect rules.          */
+/* -------------------------------------------------------------------------- */
+import { sameFunctionTail, stripCommentsAndStrings } from './effect-source-helpers.js';
+const isUnobservedForkMatch = (source, match) => {
+    const [, fiberName] = match;
+    const lineStart = source.lastIndexOf('\n', match.index) + 1;
+    const prefix = source.slice(lineStart, match.index);
+    if (!fiberName && /\breturn\s+$/.test(prefix)) {
+        return false;
+    }
+    if (!fiberName) {
+        return true;
+    }
+    const observedFiberPattern = new RegExp(`(?:yield\\*\\s+Fiber\\.(?:join|interrupt)\\s*\\(\\s*${fiberName}\\b|yield\\*\\s+${fiberName}\\.await\\b)`);
+    return !observedFiberPattern.test(sameFunctionTail(source, match.index + match[0].length));
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasUnobservedFork = (source) => {
+    const code = stripCommentsAndStrings(source);
+    const forkPatterns = [
+        /\b(?:(?:const|let)\s+([A-Za-z_$][\w$]*)\s*=\s*)?yield\*\s+Effect\.fork\s*\(/g,
+        /\b(?:(?:const|let)\s+([A-Za-z_$][\w$]*)\s*=\s*)?yield\*\s+[A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)?\.pipe\s*\(\s*Effect\.fork\b/g,
+    ];
+    for (const pattern of forkPatterns) {
+        for (const match of code.matchAll(pattern)) {
+            if (isUnobservedForkMatch(code, match)) {
+                return true;
+            }
+        }
+    }
+    return (/^\s*Effect\.fork\s*\(/m.test(code) ||
+        /^\s*[A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)?\.pipe\s*\(\s*Effect\.fork\b/m.test(code));
+};
+const nextSameNamedForkIndex = (assignedForks, startIndex, fiberName) => assignedForks.slice(startIndex + 1).find((nextMatch) => nextMatch[1] === fiberName)
+    ?.index;
+const runForkLocalSource = (code, match, nextForkIndex) => {
+    const matchIndex = match.index ?? 0;
+    if (nextForkIndex !== undefined) {
+        return sameFunctionTail(code, matchIndex).slice(0, nextForkIndex - matchIndex);
+    }
+    return sameFunctionTail(code, matchIndex);
+};
+const hasUnobservedAssignedRunFork = (code, assignedForks) => {
+    for (const [index, match] of assignedForks.entries()) {
+        const [, fiberName] = match;
+        const nextForkIndex = nextSameNamedForkIndex(assignedForks, index, fiberName);
+        const localSource = runForkLocalSource(code, match, nextForkIndex);
+        const observedPattern = new RegExp(`\\b${fiberName}\\.addObserver\\b`);
+        if (!observedPattern.test(localSource)) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasRunForkWithoutObserver = (source) => {
+    const code = stripCommentsAndStrings(source);
+    const assignedForks = [
+        ...code.matchAll(/\b(?:const|let)\s+([A-Za-z_$][\w$]*)\s*=\s*Effect\.runFork\s*\(/g),
+    ];
+    if (hasUnobservedAssignedRunFork(code, assignedForks)) {
+        return true;
+    }
+    const unassignedSource = code.replace(/\b(?:const|let)\s+[A-Za-z_$][\w$]*\s*=\s*Effect\.runFork\s*\(/g, '');
+    return /Effect\.runFork\s*\(/.test(unassignedSource);
+};
+//# sourceMappingURL=effect-default-fiber-helpers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-fiber-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-fiber-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAEpF,MAAM,qBAAqB,GAAG,CAAC,MAAc,EAAE,KAAsB,EAAW,EAAE;IAChF,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC;IAC5B,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,oBAAoB,GAAG,IAAI,MAAM,CACrC,uDAAuD,SAAS,mBAAmB,SAAS,cAAc,CAC3G,CAAC;IACF,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7F,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAW,EAAE;IAC3D,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG;QACnB,8EAA8E;QAC9E,gIAAgI;KACjI,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,IAAI,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBACvC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CACL,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC;QACnC,0EAA0E,CAAC,IAAI,CAAC,IAAI,CAAC,CACtF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,aAAiC,EACjC,UAAkB,EAClB,SAAiB,EACG,EAAE,CACtB,aAAa,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAW,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;IAC1F,EAAE,KAAK,CAAC;AAEZ,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,KAAuB,EACvB,aAAiC,EACzB,EAAE;IACV,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IACpC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,GAAG,UAAU,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CAAC,IAAY,EAAE,aAAiC,EAAW,EAAE;IAChG,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC;QAC5B,MAAM,aAAa,GAAG,sBAAsB,CAAC,aAAa,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;QACnE,MAAM,eAAe,GAAG,IAAI,MAAM,CAAC,MAAM,SAAS,mBAAmB,CAAC,CAAC;QACvE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,MAAc,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG;QACpB,GAAG,IAAI,CAAC,QAAQ,CAAC,kEAAkE,CAAC;KACrF,CAAC;IACF,IAAI,4BAA4B,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CACnC,gEAAgE,EAChE,EAAE,CACH,CAAC;IACF,OAAO,sBAAsB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACvD,CAAC,CAAC"}

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

@@ -0,0 +1,7 @@
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasFloatingEffect: (source: string) => boolean;
+//# sourceMappingURL=effect-default-floating-helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-floating-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-floating-helpers.ts"],"names":[],"mappings":"AAqKA;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,KAAG,OAKlD,CAAC"}

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

@@ -0,0 +1,113 @@
+/* -------------------------------------------------------------------------- */
+/*                   Floating Effect expression detection.                    */
+/* -------------------------------------------------------------------------- */
+import { findBalancedCallEnd, stripCommentsAndStrings } from './effect-source-helpers.js';
+import { effectAliasesPattern } from './effect-default-scan-helpers.js';
+import { effectImportAliases } from './effect-rule-core.js';
+const EFFECT_PATTERN_CACHE_MAX = 256;
+const floatingEffectPatternCache = new Map();
+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;
+};
+const floatingEffectPatterns = (aliasPattern) => {
+    const cachedPatterns = floatingEffectPatternCache.get(aliasPattern);
+    if (cachedPatterns !== undefined) {
+        return cachedPatterns;
+    }
+    const runtimeMethods = 'runPromise|runPromiseExit|runSync|runSyncExit|runFork';
+    return setBoundedCacheValue(floatingEffectPatternCache, aliasPattern, {
+        floatingEffectCall: new RegExp(`^(?:void\\s+)?\\(*\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
+        guardedAndEffectCall: new RegExp(`^[A-Za-z_$][\\w$]*(?:\\.[A-Za-z_$][\\w$]*)?\\s*&&\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
+        guardedOrEffectCall: new RegExp(`^[A-Za-z_$][\\w$]*(?:\\.[A-Za-z_$][\\w$]*)?\\s*\\|\\|\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
+        inlineIfEffectCall: new RegExp(`^if\\s*\\([^)]*\\)\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
+        ternaryEffectCall: new RegExp(`\\?\\s*(?:${aliasPattern})\\.(?!(?:${runtimeMethods})\\b)[A-Za-z_$][\\w$]*\\s*\\(`),
+    });
+};
+const hasFloatingEffectCandidateLine = (line, aliasNeedles) => {
+    if (line.includes('.pipe') || line.includes('Schema.decode')) {
+        return true;
+    }
+    return aliasNeedles.some((needle) => line.includes(needle));
+};
+const lineEndFor = (source, lineStart) => {
+    const newlineIndex = source.indexOf('\n', lineStart);
+    if (newlineIndex === -1) {
+        return source.length;
+    }
+    return newlineIndex;
+};
+const nextLineStart = (source, lineStart) => {
+    const newlineIndex = source.indexOf('\n', lineStart);
+    if (newlineIndex === -1) {
+        return undefined;
+    }
+    return newlineIndex + 1;
+};
+const isStandaloneFloatingCall = (input) => input.patterns.floatingEffectCall.test(input.line) &&
+    !/[=(:,[]\s*$/.test(input.previous) &&
+    !input.previous.endsWith('.pipe(') &&
+    !input.line.endsWith(',');
+const isFloatingPipeCall = (line, previous) => /^[A-Za-z_$][\w$]*\.pipe\s*\([\s\S]*?\bEffect\./.test(line) && !/[=(:,[]\s*$/.test(previous);
+const isFloatingDecodeCall = (line) => /^Schema\.decode[A-Za-z]*\s*\([^)]*\)\s*\([^)]*\)\s*;?$/.test(line);
+const isFloatingGuardedCall = (line, patterns) => patterns.inlineIfEffectCall.test(line) ||
+    patterns.guardedAndEffectCall.test(line) ||
+    patterns.guardedOrEffectCall.test(line) ||
+    patterns.ternaryEffectCall.test(line);
+const isFloatingEffectLine = (input) => isStandaloneFloatingCall(input) ||
+    isFloatingPipeCall(input.line, input.previous) ||
+    isFloatingDecodeCall(input.line) ||
+    isFloatingGuardedCall(input.line, input.patterns);
+const floatingLineState = (code, lineStart, previous) => {
+    const line = code.slice(lineStart, lineEndFor(code, lineStart)).trim();
+    if (line === '') {
+        return { line, nextPrevious: previous, nextStart: nextLineStart(code, lineStart), previous };
+    }
+    return { line, nextPrevious: line, nextStart: nextLineStart(code, lineStart), previous };
+};
+const isFloatingEffectCandidate = (state, aliasNeedles, patterns) => hasFloatingEffectCandidateLine(state.line, aliasNeedles) &&
+    isFloatingEffectLine({ line: state.line, patterns, previous: state.previous });
+const hasFloatingEffectLines = (code, aliasNeedles, aliases) => {
+    const patterns = floatingEffectPatterns(aliases);
+    let state = floatingLineState(code, 0, '');
+    while (true) {
+        if (isFloatingEffectCandidate(state, aliasNeedles, patterns)) {
+            return true;
+        }
+        if (state.nextStart === undefined) {
+            return false;
+        }
+        state = floatingLineState(code, state.nextStart, state.nextPrevious);
+    }
+};
+const hasFloatingPipeStatement = (code) => {
+    for (const match of code.matchAll(/^\s*[A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)?\.pipe\s*\(/gm)) {
+        const statementPrefix = code.slice(code.lastIndexOf(';', match.index) + 1, match.index);
+        if (!/[=(:,[]\s*$/.test(statementPrefix.trimEnd())) {
+            const openParenIndex = code.indexOf('(', match.index);
+            const pipeCall = code.slice(match.index, findBalancedCallEnd(code, openParenIndex) + 1);
+            if (/\bEffect\./.test(pipeCall)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasFloatingEffect = (source) => {
+    const code = stripCommentsAndStrings(source);
+    const aliasNeedles = effectImportAliases(source).map((alias) => `${alias}.`);
+    const aliases = effectAliasesPattern(source);
+    return hasFloatingEffectLines(code, aliasNeedles, aliases) || hasFloatingPipeStatement(code);
+};
+//# sourceMappingURL=effect-default-floating-helpers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-default-floating-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-default-floating-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAEzD,MAAM,wBAAwB,GAAG,GAAG,CAAC;AACrC,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAkC,CAAC;AAgB7E,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,MAAM,sBAAsB,GAAG,CAAC,YAAoB,EAA0B,EAAE;IAC9E,MAAM,cAAc,GAAG,0BAA0B,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACpE,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,cAAc,GAAG,uDAAuD,CAAC;IAC/E,OAAO,oBAAoB,CAAC,0BAA0B,EAAE,YAAY,EAAE;QACpE,kBAAkB,EAAE,IAAI,MAAM,CAC5B,4BAA4B,YAAY,aAAa,cAAc,+BAA+B,CACnG;QACD,oBAAoB,EAAE,IAAI,MAAM,CAC9B,2DAA2D,YAAY,aAAa,cAAc,+BAA+B,CAClI;QACD,mBAAmB,EAAE,IAAI,MAAM,CAC7B,+DAA+D,YAAY,aAAa,cAAc,+BAA+B,CACtI;QACD,kBAAkB,EAAE,IAAI,MAAM,CAC5B,4BAA4B,YAAY,aAAa,cAAc,+BAA+B,CACnG;QACD,iBAAiB,EAAE,IAAI,MAAM,CAC3B,aAAa,YAAY,aAAa,cAAc,+BAA+B,CACpF;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CAAC,IAAY,EAAE,YAA+B,EAAW,EAAE;IAChG,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAU,EAAE;IAC/D,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrD,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC;IACvB,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAsB,EAAE;IAC9E,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrD,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,YAAY,GAAG,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,KAAwB,EAAW,EAAE,CACrE,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAClD,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;IACnC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAClC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAE5B,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAE,QAAgB,EAAW,EAAE,CACrE,gDAAgD,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAE/F,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CACrD,wDAAwD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEtE,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAE,QAAgC,EAAW,EAAE,CACxF,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;IACtC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;IACxC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;IACvC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAExC,MAAM,oBAAoB,GAAG,CAAC,KAAwB,EAAW,EAAE,CACjE,wBAAwB,CAAC,KAAK,CAAC;IAC/B,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC;IAC9C,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC;IAChC,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;AAEpD,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,SAAiB,EACjB,QAAgB,EAC8D,EAAE;IAChF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC3F,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,KAAyC,EACzC,YAA+B,EAC/B,QAAgC,EACvB,EAAE,CACX,8BAA8B,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC;IACxD,oBAAoB,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;AAEjF,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,YAA+B,EAC/B,OAAe,EACN,EAAE;IACX,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3C,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,yBAAyB,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC7D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACvE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAW,EAAE;IACzD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,0DAA0D,CAAC,EAAE,CAAC;QAC9F,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxF,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;YACnD,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;YACxF,IAAI,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAW,EAAE;IAC3D,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO,sBAAsB,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC;AAC/F,CAAC,CAAC"}

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

@@ -1,33 +1,9 @@
-declare function hasRuntimeInEffect(source: string): boolean;
-declare function hasNestedFlatMap(source: string): boolean;
-declare function hasUnboundedEffectConcurrency(source: string): boolean;
-declare function hasUnboundedFlatMapConcurrency(source: string): boolean;
-declare function hasParsedJsonNumberFromString(source: string): boolean;
-declare function hasEffectInArrayForEach(source: string): boolean;
-declare function hasEffectInPromiseCallback(source: string): boolean;
-declare function hasReturnEffectInGen(source: string): boolean;
-declare function hasYieldWithoutStarInGen(source: string): boolean | number;
-declare function hasAsyncAwaitInEffect(source: string): boolean;
-declare function hasSyncForPromise(source: string): boolean;
-declare function hasSyncForThrowingOps(source: string): boolean;
-declare function hasThrowInEffect(source: string): boolean;
-declare function hasFloatingEffect(source: string): boolean;
-declare function hasUnobservedFork(source: string): boolean;
-declare function hasRunForkWithoutObserver(source: string): boolean;
-declare function hasUnsafeLazyEvaluation(source: string): boolean;
-declare function hasSchemaSyncDecodeInEffectWorkflow(source: string): boolean;
-declare function hasSchemaPromiseDecode(source: string): boolean;
-declare function hasTryPromiseWithoutTypedCatch(source: string): boolean;
-declare function hasExternalJsonWithoutDecodeUnknown(source: string): boolean;
-declare function hasCastAfterSchemaDecode(source: string): boolean;
-declare function hasUnhandledSchemaEffectDecode(source: string): boolean;
-declare function hasJsonParsedBeforeSchemaStringDecode(source: string): boolean;
-declare function hasRecursiveEffectWithoutSuspend(source: string): boolean;
-declare function hasUnloggedIgnore(source: string): boolean;
-declare function hasMultipleCatchTagsInOnePipe(source: string): boolean;
-declare function hasBroadCatchAllWithoutRethrow(source: string): boolean;
-declare function hasErrorMappingWithoutCause(source: string): boolean;
-declare function hasForkDaemonWithoutCleanup(source: string): boolean;
-declare function hasForkInUninterruptibleWithoutRestore(source: string): boolean;
-export { hasAsyncAwaitInEffect, hasEffectInArrayForEach, hasEffectInPromiseCallback, hasErrorMappingWithoutCause, hasFloatingEffect, hasForkDaemonWithoutCleanup, hasForkInUninterruptibleWithoutRestore, hasBroadCatchAllWithoutRethrow, hasJsonParsedBeforeSchemaStringDecode, hasMultipleCatchTagsInOnePipe, hasNestedFlatMap, hasRecursiveEffectWithoutSuspend, hasReturnEffectInGen, hasRunForkWithoutObserver, hasRuntimeInEffect, hasSchemaPromiseDecode, hasSchemaSyncDecodeInEffectWorkflow, hasSyncForPromise, hasSyncForThrowingOps, hasTryPromiseWithoutTypedCatch, hasUnhandledSchemaEffectDecode, hasParsedJsonNumberFromString, hasCastAfterSchemaDecode, hasExternalJsonWithoutDecodeUnknown, hasUnloggedIgnore, hasUnboundedEffectConcurrency, hasUnboundedFlatMapConcurrency, hasUnobservedFork, hasThrowInEffect, hasUnsafeLazyEvaluation, hasYieldWithoutStarInGen, };
+export { effectAliasesPattern, effectCallBodies, effectCallPattern, enclosingPipeBody, localCallSegment, someEffectWorkflowBody, strippedCallSegment, } from './effect-default-scan-helpers';
+export { hasFloatingEffect } from './effect-default-floating-helpers';
+export { hasRunForkWithoutObserver, hasUnobservedFork } from './effect-default-fiber-helpers';
+export { hasUnreleasedAcquire, hasUnscopedAcquireRelease, hasUnscopedResourceWorkflow, } from './effect-default-resource-helpers';
+export { hasBroadCatchAllWithoutRethrow, hasErrorMappingWithoutCause, hasForkDaemonWithoutCleanup, hasForkInUninterruptibleWithoutRestore, hasMultipleCatchTagsInOnePipe, hasUnloggedIgnore, hasUnsafeLazyEvaluation, } from './effect-default-safety-helpers';
+export { hasCastAfterSchemaDecode, hasExternalJSONWithoutDecodeUnknown, hasJSONParsedBeforeSchemaStringDecode, hasSchemaPromiseDecode, hasSchemaSyncDecodeInEffectWorkflow, hasUnhandledSchemaEffectDecode, } from './effect-default-schema-helpers';
+export { hasForkBeforeTestClockAdjust, hasRealSleepWithoutTestClock, hasTestClockWithoutEffectContext, } from './effect-default-test-helpers';
+export { hasAsyncAwaitInEffect, hasEffectInArrayForEach, hasEffectInPromiseCallback, hasNestedFlatMap, hasParsedJSONNumberFromString, hasRecursiveEffectWithoutSuspend, hasReturnEffectInGen, hasRuntimeInEffect, hasSyncForPromise, hasSyncForThrowingOPS, hasThrowInEffect, hasTryPromiseWithoutTypedCatch, hasUnboundedEffectConcurrency, hasUnboundedFlatMapConcurrency, hasYieldWithoutStarInGen, } from './effect-default-workflow-helpers';
 //# sourceMappingURL=effect-default-helpers.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"effect-default-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-helpers.ts"],"names":[],"mappings":"AAuBA,iBAAS,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED,iBAAS,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAQjD;AAUD,iBAAS,6BAA6B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAa9D;AAED,iBAAS,8BAA8B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAa/D;AAED,iBAAS,6BAA6B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAkB9D;AAED,iBAAS,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAWxD;AAED,iBAAS,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAW3D;AAyDD,iBAAS,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAOrD;AAED,iBAAS,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,CAoBlE;AAED,iBAAS,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAItD;AAED,iBAAS,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAKlD;AAED,iBAAS,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAItD;AAED,iBAAS,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAIjD;AAED,iBAAS,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAsElD;AAmBD,iBAAS,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAmBlD;AAED,iBAAS,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAyB1D;AAED,iBAAS,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAWxD;AAED,iBAAS,mCAAmC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAIpE;AAED,iBAAS,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEvD;AAED,iBAAS,8BAA8B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CA6B/D;AAED,iBAAS,mCAAmC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAapE;AAED,iBAAS,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAkCzD;AAED,iBAAS,8BAA8B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAkB/D;AAED,iBAAS,qCAAqC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAItE;AAkBD,iBAAS,gCAAgC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CA0BjE;AAED,iBAAS,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAYlD;AAED,iBAAS,6BAA6B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAe9D;AAED,iBAAS,8BAA8B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAc/D;AAED,iBAAS,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAqB5D;AAED,iBAAS,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAK5D;AAED,iBAAS,sCAAsC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAWvE;AAED,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,2BAA2B,EAC3B,sCAAsC,EACtC,8BAA8B,EAC9B,qCAAqC,EACrC,6BAA6B,EAC7B,gBAAgB,EAChB,gCAAgC,EAChC,oBAAoB,EACpB,yBAAyB,EACzB,kBAAkB,EAClB,sBAAsB,EACtB,mCAAmC,EACnC,iBAAiB,EACjB,qBAAqB,EACrB,8BAA8B,EAC9B,8BAA8B,EAC9B,6BAA6B,EAC7B,wBAAwB,EACxB,mCAAmC,EACnC,iBAAiB,EACjB,6BAA6B,EAC7B,8BAA8B,EAC9B,iBAAiB,EACjB,gBAAgB,EAChB,uBAAuB,EACvB,wBAAwB,GACzB,CAAC"}
+{"version":3,"file":"effect-default-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-default-helpers.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAC9F,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,8BAA8B,EAC9B,2BAA2B,EAC3B,2BAA2B,EAC3B,sCAAsC,EACtC,6BAA6B,EAC7B,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,wBAAwB,EACxB,mCAAmC,EACnC,qCAAqC,EACrC,sBAAsB,EACtB,mCAAmC,EACnC,8BAA8B,GAC/B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,4BAA4B,EAC5B,4BAA4B,EAC5B,gCAAgC,GACjC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,0BAA0B,EAC1B,gBAAgB,EAChB,6BAA6B,EAC7B,gCAAgC,EAChC,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,8BAA8B,EAC9B,6BAA6B,EAC7B,8BAA8B,EAC9B,wBAAwB,GACzB,MAAM,mCAAmC,CAAC"}