@thethracian/oxlint-config 0.2.0 → 0.3.0

package/dist/rules/effect-strict-core-specs.js

@@ -0,0 +1,334 @@
+/* -------------------------------------------------------------------------- */
+/*             Core opt-in strict custom Effect lint rule specs.              */
+/* -------------------------------------------------------------------------- */
+import { exportedDeclarationTexts, stripCommentsAndStrings } from './effect-source-helpers.js';
+import { hasAsyncPushWithoutBuffer, hasBoundaryDataWithoutSchema, hasCommandHandlerWithoutSchema, hasDuplicateLayerInstance, hasEnsuringCleanupWithoutOnExit, hasExternalEffectWithoutSpan, hasExternalEffectWithoutTimeout, hasHTTPClientResponseWithoutSchema, hasHTTPServerRequestWithoutSchema, hasIdempotentExternalEffectWithoutRetry, hasLayerFactory, hasLiveTestService, hasNPlusOneWithoutBatchedResolver, hasOutputBoundaryWithoutSchema, hasPersistenceReadWithoutSchema, hasRealTestService, hasSharedMutableStateWithoutRef, hasSharedResourceForEachWithoutSemaphore, hasTimeCodeWithoutTestClock, hasUnbatchedResolver, hasUnprovidedServiceInEffectTest, hasUnsafeResourceStream, hasUnscopedResourceLayer, hasUnscopedResourceLoop, hasUnterminatedLongRunningStream, } from './effect-strict-helpers.js';
+import { hasDirectPlatformAccess, hasEffectSignal, hasExportedRunPromiseAPI, hasPromiseReturningPublicAPI, hasRetryScheduleWithoutJitter, hasRunSyncInServerRequestHandler, hasRuntimeCall, publicAPIDeclarationSignature, } from './effect-strict-internals.js';
+import { isConfiguredPath, isEffectTestPath, isUnitTestPath } from './effect-path-options.js';
+import { hasRunForkWithoutObserver } from './effect-default-helpers.js';
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const effectStrictCoreSpecs = [
+    {
+        check: (source, context) => hasRuntimeCall(source) &&
+            !hasExportedRunPromiseAPI(source) &&
+            !hasRunForkWithoutObserver(source) &&
+            !isEffectTestPath(context) &&
+            !isConfiguredPath(context, 'entrypoints'),
+        message: 'Run Effect programs only from configured entrypoints.',
+        name: 'effect-no-run-outside-entrypoints',
+        tokens: ['Effect', 'effect', 'runMain'],
+    },
+    {
+        check: (source, context) => isConfiguredPath(context, 'entrypoints') &&
+            /Effect\.run(?:Promise|Sync|Fork)/.test(stripCommentsAndStrings(source)),
+        message: 'Entrypoints should use the platform runMain boundary instead of raw Effect runners.',
+        name: 'effect-require-platform-runmain-at-entrypoints',
+        tokens: ['Effect.run', 'effect/Effect', 'runPromise', 'runSync', 'runFork'],
+    },
+    {
+        check: hasRunSyncInServerRequestHandler,
+        message: 'Server handlers must not synchronously run Effects.',
+        name: 'effect-no-runSync-in-server-request-handlers',
+        tokens: ['Effect.runSync'],
+    },
+    {
+        check: hasPromiseReturningPublicAPI,
+        message: 'Public APIs should expose Effect return types instead of Promise.',
+        name: 'effect-no-promise-returning-public-api',
+        tokens: ['Promise', 'async'],
+    },
+    {
+        check: (source, context) => /\bprocess\s*\.\s*env\b/.test(stripCommentsAndStrings(source)) &&
+            !hasEffectSignal(source) &&
+            !isConfiguredPath(context, 'configLayers'),
+        message: 'Read process.env only inside the configured Effect Config layer.',
+        name: 'effect-no-direct-process-env-outside-config-layer',
+        tokens: ['process'],
+    },
+    {
+        check: (source, context) => /\b(?:Date\s*\.\s*now|Math\s*\.\s*random)\s*\(/.test(stripCommentsAndStrings(source)) &&
+            !hasEffectSignal(source) &&
+            !isConfiguredPath(context, 'adapterLayers'),
+        message: 'Use Clock and Random services outside configured adapter modules.',
+        name: 'effect-no-direct-clock-random-outside-adapters',
+        tokens: ['Date', 'Math'],
+    },
+    {
+        check: hasDirectPlatformAccess,
+        message: 'Use Effect platform services for HTTP and filesystem access outside adapters.',
+        name: 'effect-no-direct-http-fs-outside-platform-services',
+        tokens: ['fetch', 'readFileSync', 'writeFileSync', 'createReadStream'],
+    },
+    {
+        message: 'Services must use the configured class-based Effect service pattern.',
+        name: 'effect-require-service-class-pattern',
+        patterns: [/Context\.GenericTag(?:<[^>]+>)?\s*\(\s*['"`]/],
+        tokens: ['Context.GenericTag'],
+    },
+    {
+        message: 'Service tags require stable identifiers.',
+        name: 'effect-require-tag-identifier',
+        patterns: [
+            /Context\.Tag(?:<[^>]+>)?\s*\(\s*\)/,
+            /Context\.GenericTag(?:<[^>]+>)?\s*\(\s*\)/,
+            /class\s+[A-Z][\w$]*\s+extends\s+Context\.Tag\s*\(\s*\)/,
+        ],
+        tokens: ['Context.Tag', 'Context.GenericTag'],
+    },
+    {
+        check: (source, context) => isConfiguredPath(context, 'domain') && /Layer\.|Live\b/.test(stripCommentsAndStrings(source)),
+        message: 'Domain exports must not leak raw service implementation dependencies.',
+        name: 'effect-no-leaked-service-dependencies',
+        tokens: ['Layer', 'Live'],
+    },
+    {
+        check: hasDuplicateLayerInstance,
+        message: 'Do not construct the same Layer multiple times in one module.',
+        name: 'effect-no-duplicate-layer-instances',
+        tokens: ['Layer'],
+    },
+    {
+        check: (source, context) => /Effect\.provide|Layer\.provide/.test(stripCommentsAndStrings(source)) &&
+            !isConfiguredPath(context, 'compositionRoots'),
+        message: 'Provide layers only from configured composition roots.',
+        name: 'effect-require-centralized-provision',
+        tokens: ['Effect.provide', 'Layer.provide'],
+    },
+    {
+        check: (source, context) => isConfiguredPath(context, 'domain') &&
+            /Effect\.provide|Layer\.provide/.test(stripCommentsAndStrings(source)),
+        message: 'Domain modules should declare requirements, not provide concrete layers.',
+        name: 'effect-no-provide-in-domain-modules',
+        tokens: ['Effect.provide', 'Layer.provide'],
+    },
+    {
+        check: hasLayerFactory,
+        message: 'Shared layers should be memoized constants instead of functions that recreate resources.',
+        name: 'effect-require-layer-memoization-constant',
+        tokens: ['Layer'],
+    },
+    {
+        message: 'Circular layer dependencies must be suspended.',
+        name: 'effect-require-suspend-for-circular-deps',
+        patterns: [
+            /Layer\.(?:effect|scoped)\s*\([\s\S]*?Layer\.(?:effect|scoped)\s*\((?![\s\S]*Effect\.suspend)/,
+        ],
+        tokens: ['Layer'],
+    },
+    {
+        message: 'Avoid tiny one-off Layer declarations that fragment dependency wiring.',
+        name: 'effect-avoid-layer-explosion',
+        patterns: [
+            /const\s+[A-Za-z_$][\w$]*Layer\s*=\s*Layer\.[\s\S]*const\s+[A-Za-z_$][\w$]*Layer\s*=\s*Layer\./,
+        ],
+        tokens: ['Layer'],
+    },
+    {
+        message: 'Use Layer.succeed for static pure services.',
+        name: 'effect-prefer-succeed-for-static-layers',
+        patterns: [/Layer\.effect\s*\([^,]+,\s*Effect\.succeed\s*\(/],
+        tokens: ['Layer.effect', 'Effect.succeed'],
+    },
+    {
+        check: hasUnscopedResourceLayer,
+        message: 'Layers that allocate resources must be scoped.',
+        name: 'effect-require-scoped-for-resource-layers',
+        tokens: ['Layer'],
+    },
+    {
+        check: (source, context) => !isConfiguredPath(context, 'adapterLayers') &&
+            !isConfiguredPath(context, 'configLayers') &&
+            !/Layer\./.test(stripCommentsAndStrings(source)) &&
+            /new\s+[A-Z][\w$]*(?:Service|Repo|Client)\s*\(/.test(stripCommentsAndStrings(source)),
+        message: 'Construct services inside Layers, not directly in domain or application logic.',
+        name: 'effect-no-service-construction-outside-layer',
+        tokens: ['Service', 'Repo', 'Client'],
+    },
+    {
+        check: hasBoundaryDataWithoutSchema,
+        message: 'Input boundaries must decode request, command, or message data with Schema.',
+        name: 'effect-schema-require-validation-at-input-boundaries',
+        tokens: ['.body', '.params', '.query', '.payload'],
+    },
+    {
+        check: hasOutputBoundaryWithoutSchema,
+        message: 'Output boundaries should encode or validate public response data.',
+        name: 'effect-schema-require-validation-at-output-boundaries',
+        tokens: ['Response.json', 'return json'],
+    },
+    {
+        check: hasHTTPClientResponseWithoutSchema,
+        message: 'HTTP client responses must be decoded with Schema.',
+        name: 'effect-schema-require-http-client-response-schema',
+        tokens: ['HttpClient.', 'response.json'],
+    },
+    {
+        check: hasHTTPServerRequestWithoutSchema,
+        message: 'HTTP server requests must be decoded with Schema.',
+        name: 'effect-schema-require-http-server-request-schema',
+        tokens: ['HttpRouter.', 'HttpServerRequest'],
+    },
+    {
+        check: (source, context) => isConfiguredPath(context, 'configLayers') &&
+            /Config\./.test(stripCommentsAndStrings(source)) &&
+            !/Schema\./.test(stripCommentsAndStrings(source)),
+        message: 'Configuration modules must decode configuration with Schema.',
+        name: 'effect-schema-require-config-schema',
+        tokens: ['Config'],
+    },
+    {
+        check: hasPersistenceReadWithoutSchema,
+        message: 'Persistence boundaries must validate loaded records with Schema.',
+        name: 'effect-schema-require-persistence-schema',
+        tokens: ['db.', 'database.', 'collection.', 'repository.'],
+    },
+    {
+        check: hasCommandHandlerWithoutSchema,
+        message: 'Public command handlers must declare and use input schemas.',
+        name: 'effect-schema-require-public-command-schema',
+        tokens: ['handler'],
+    },
+    {
+        check: (source) => exportedDeclarationTexts(source).some((declaration) => /\bunknown\b/.test(stripCommentsAndStrings(publicAPIDeclarationSignature(declaration)))),
+        message: 'unknown values must be decoded before crossing configured boundaries.',
+        name: 'effect-schema-no-unknown-crossing-boundary',
+        tokens: ['unknown'],
+    },
+    {
+        check: (source) => hasExternalEffectWithoutTimeout(source),
+        message: 'External effects must declare a timeout.',
+        name: 'effect-require-timeout-on-external-effects',
+        tokens: ['HttpClient.', 'fetch', 'FileSystem.', 'SqlClient.'],
+    },
+    {
+        check: (source) => hasIdempotentExternalEffectWithoutRetry(source),
+        message: 'Idempotent external effects must declare retry policy deliberately.',
+        name: 'effect-require-retry-policy-for-idempotent-external-effects',
+        tokens: ['HttpClient.', 'fetch', 'find', 'lookup', 'read'],
+    },
+    {
+        check: hasRetryScheduleWithoutJitter,
+        message: 'Retry schedules must include jitter.',
+        name: 'effect-require-schedule-jitter-for-retries',
+        tokenGroups: [['Effect.retry'], ['Schedule.']],
+    },
+    {
+        check: (source) => hasExternalEffectWithoutSpan(source),
+        message: 'External effects must declare an observability span.',
+        name: 'effect-require-span-external',
+        tokens: ['HttpClient.', 'fetch', 'FileSystem.', 'SqlClient.'],
+    },
+    {
+        check: hasSharedResourceForEachWithoutSemaphore,
+        message: 'Shared scarce resources must be guarded by Semaphore.',
+        name: 'effect-require-semaphore-for-shared-resources',
+        tokens: ['Effect.forEach'],
+    },
+    {
+        check: hasSharedMutableStateWithoutRef,
+        message: 'Shared mutable state must use Ref, SynchronizedRef, or scoped services.',
+        name: 'effect-require-ref-for-shared-mutable-state',
+        tokens: ['let '],
+    },
+    {
+        check: hasUnscopedResourceLoop,
+        message: 'Loops that acquire resources must scope each acquisition.',
+        name: 'effect-require-scoped-in-loops',
+        tokens: ['open', 'connect', 'subscribe', 'listen'],
+    },
+    {
+        check: hasEnsuringCleanupWithoutOnExit,
+        message: 'Cleanup logic should use onExit so success, failure, and interruption are handled.',
+        name: 'effect-require-onExit-for-cleanup',
+        tokens: ['Effect.ensuring', 'cleanup'],
+    },
+    {
+        check: hasUnsafeResourceStream,
+        message: 'Streams over resources must be scoped or bracketed.',
+        name: 'effect-require-stream-resource-safety',
+        tokens: ['Stream'],
+    },
+    {
+        check: hasUnterminatedLongRunningStream,
+        message: 'Long-running streams must declare termination or shutdown behavior.',
+        name: 'effect-require-stream-termination',
+        tokens: ['Stream'],
+    },
+    {
+        check: hasAsyncPushWithoutBuffer,
+        message: 'Stream.asyncPush must declare an explicit buffer/backpressure policy.',
+        name: 'effect-require-explicit-asyncPush-buffer',
+        tokens: ['Stream.asyncPush'],
+    },
+    {
+        check: hasUnbatchedResolver,
+        message: 'RequestResolver implementations should batch requests.',
+        name: 'effect-require-batching-for-resolver',
+        tokens: ['RequestResolver'],
+    },
+    {
+        check: hasNPlusOneWithoutBatchedResolver,
+        message: 'Potential N+1 data access should use a batched RequestResolver.',
+        name: 'effect-use-batched-resolver-for-n-plus-one',
+        tokens: ['Effect.forEach'],
+    },
+    {
+        message: 'Use PubSub for broadcast semantics instead of manually fanning out queues.',
+        name: 'effect-prefer-pubsub-for-broadcast',
+        patterns: [/Queue\.[\s\S]*?\bsubscribers\b|broadcast\s*\([\s\S]*?Queue\./],
+        tokens: ['Queue', 'broadcast', 'subscribers'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) && hasUnprovidedServiceInEffectTest(source),
+        message: 'Effect tests must provide required services explicitly.',
+        name: 'effect-require-provided-services-in-tests',
+        tokens: ['Service', 'Repo', 'Client'],
+    },
+    {
+        check: (source, context) => isUnitTestPath(context) && hasRealTestService(source),
+        message: 'Unit tests should use in-memory service implementations.',
+        name: 'effect-prefer-in-memory-implementations',
+        tokens: ['real'],
+    },
+    {
+        check: (source, context) => isUnitTestPath(context) && hasLiveTestService(source),
+        message: 'Live services belong in integration tests, not unit tests.',
+        name: 'effect-no-live-services-in-unit-tests',
+        tokens: ['Live', 'Layer.live'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) && hasTimeCodeWithoutTestClock(source),
+        message: 'Tests for time-dependent Effect code should use TestClock.',
+        name: 'effect-require-testclock-for-time-code',
+        tokens: ['Effect.timeout', 'Effect.delay', 'Clock.'],
+    },
+    {
+        check: (source, context) => isEffectTestPath(context) &&
+            /const\s+[A-Za-z_$][\w$]*(?:Runtime|Layer|Service)\s*=/.test(source),
+        message: 'Do not share mutable runtime, layer, or service state across Effect tests.',
+        name: 'effect-no-test-runtime-leakage',
+        tokens: ['Runtime', 'Layer', 'Service'],
+    },
+    {
+        message: 'Do not hide Effect semantics behind local wrapper DSLs.',
+        name: 'effect-no-ad-hoc-effect-wrapper-abstractions',
+        patterns: [/function\s+(?:runEffect|makeEffect|effectify|toEffect)\s*\(/],
+        tokens: ['runEffect', 'makeEffect', 'effectify', 'toEffect'],
+    },
+    {
+        check: (source) => source.split('\n').some((line) => {
+            if (!/(?:eslint|oxlint)-disable[^\n]*effect-/.test(line)) {
+                return false;
+            }
+            return !/(?:reason|because)[^\n]*(?:[A-Z]+-\d+|#\d+)/.test(line);
+        }),
+        message: 'Effect rule suppressions must name a rule, a reason, and a tracking ticket.',
+        name: 'effect-require-effect-suppression-reason-and-ticket',
+        tokens: ['disable', 'effect-'],
+    },
+];
+//# sourceMappingURL=effect-strict-core-specs.js.map

package/dist/rules/effect-strict-core-specs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-strict-core-specs.js","sourceRoot":"","sources":["../../src/rules/effect-strict-core-specs.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAC5F,OAAO,EACL,yBAAyB,EACzB,4BAA4B,EAC5B,8BAA8B,EAC9B,yBAAyB,EACzB,+BAA+B,EAC/B,4BAA4B,EAC5B,+BAA+B,EAC/B,kCAAkC,EAClC,iCAAiC,EACjC,uCAAuC,EACvC,eAAe,EACf,kBAAkB,EAClB,iCAAiC,EACjC,8BAA8B,EAC9B,+BAA+B,EAC/B,kBAAkB,EAClB,+BAA+B,EAC/B,wCAAwC,EACxC,2BAA2B,EAC3B,oBAAoB,EACpB,gCAAgC,EAChC,uBAAuB,EACvB,wBAAwB,EACxB,uBAAuB,EACvB,gCAAgC,GACjC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,6BAA6B,EAC7B,gCAAgC,EAChC,cAAc,EACd,6BAA6B,GAC9B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE3F,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB;IACxD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,cAAc,CAAC,MAAM,CAAC;YACtB,CAAC,wBAAwB,CAAC,MAAM,CAAC;YACjC,CAAC,yBAAyB,CAAC,MAAM,CAAC;YAClC,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC1B,CAAC,gBAAgB,CAAC,OAAO,EAAE,aAAa,CAAC;QAC3C,OAAO,EAAE,uDAAuD;QAChE,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC;KACxC;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,EAAE,aAAa,CAAC;YACxC,kCAAkC,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC1E,OAAO,EAAE,qFAAqF;QAC9F,IAAI,EAAE,gDAAgD;QACtD,MAAM,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,CAAC;KAC5E;IACD;QACE,KAAK,EAAE,gCAAgC;QACvC,OAAO,EAAE,qDAAqD;QAC9D,IAAI,EAAE,8CAA8C;QACpD,MAAM,EAAE,CAAC,gBAAgB,CAAC;KAC3B;IACD;QACE,KAAK,EAAE,4BAA4B;QACnC,OAAO,EAAE,mEAAmE;QAC5E,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC;KAC7B;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,wBAAwB,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAC9D,CAAC,eAAe,CAAC,MAAM,CAAC;YACxB,CAAC,gBAAgB,CAAC,OAAO,EAAE,cAAc,CAAC;QAC5C,OAAO,EAAE,kEAAkE;QAC3E,IAAI,EAAE,mDAAmD;QACzD,MAAM,EAAE,CAAC,SAAS,CAAC;KACpB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,+CAA+C,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YACrF,CAAC,eAAe,CAAC,MAAM,CAAC;YACxB,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC;QAC7C,OAAO,EAAE,mEAAmE;QAC5E,IAAI,EAAE,gDAAgD;QACtD,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB;IACD;QACE,KAAK,EAAE,uBAAuB;QAC9B,OAAO,EAAE,+EAA+E;QACxF,IAAI,EAAE,oDAAoD;QAC1D,MAAM,EAAE,CAAC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,kBAAkB,CAAC;KACvE;IACD;QACE,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,sCAAsC;QAC5C,QAAQ,EAAE,CAAC,8CAA8C,CAAC;QAC1D,MAAM,EAAE,CAAC,oBAAoB,CAAC;KAC/B;IACD;QACE,OAAO,EAAE,0CAA0C;QACnD,IAAI,EAAE,+BAA+B;QACrC,QAAQ,EAAE;YACR,oCAAoC;YACpC,2CAA2C;YAC3C,wDAAwD;SACzD;QACD,MAAM,EAAE,CAAC,aAAa,EAAE,oBAAoB,CAAC;KAC9C;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC/F,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B;IACD;QACE,KAAK,EAAE,yBAAyB;QAChC,OAAO,EAAE,+DAA+D;QACxE,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gCAAgC,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YACtE,CAAC,gBAAgB,CAAC,OAAO,EAAE,kBAAkB,CAAC;QAChD,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,sCAAsC;QAC5C,MAAM,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;KAC5C;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC;YACnC,gCAAgC,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QACxE,OAAO,EAAE,0EAA0E;QACnF,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;KAC5C;IACD;QACE,KAAK,EAAE,eAAe;QACtB,OAAO,EACL,0FAA0F;QAC5F,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,OAAO,EAAE,gDAAgD;QACzD,IAAI,EAAE,0CAA0C;QAChD,QAAQ,EAAE;YACR,8FAA8F;SAC/F;QACD,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,OAAO,EAAE,wEAAwE;QACjF,IAAI,EAAE,8BAA8B;QACpC,QAAQ,EAAE;YACR,+FAA+F;SAChG;QACD,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,OAAO,EAAE,6CAA6C;QACtD,IAAI,EAAE,yCAAyC;QAC/C,QAAQ,EAAE,CAAC,iDAAiD,CAAC;QAC7D,MAAM,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;KAC3C;IACD;QACE,KAAK,EAAE,wBAAwB;QAC/B,OAAO,EAAE,gDAAgD;QACzD,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC;YAC3C,CAAC,gBAAgB,CAAC,OAAO,EAAE,cAAc,CAAC;YAC1C,CAAC,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAChD,+CAA+C,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QACvF,OAAO,EAAE,gFAAgF;QACzF,IAAI,EAAE,8CAA8C;QACpD,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC;KACtC;IACD;QACE,KAAK,EAAE,4BAA4B;QACnC,OAAO,EAAE,6EAA6E;QACtF,IAAI,EAAE,sDAAsD;QAC5D,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;KACnD;IACD;QACE,KAAK,EAAE,8BAA8B;QACrC,OAAO,EAAE,mEAAmE;QAC5E,IAAI,EAAE,uDAAuD;QAC7D,MAAM,EAAE,CAAC,eAAe,EAAE,aAAa,CAAC;KACzC;IACD;QACE,KAAK,EAAE,kCAAkC;QACzC,OAAO,EAAE,oDAAoD;QAC7D,IAAI,EAAE,mDAAmD;QACzD,MAAM,EAAE,CAAC,aAAa,EAAE,eAAe,CAAC;KACzC;IACD;QACE,KAAK,EAAE,iCAAiC;QACxC,OAAO,EAAE,mDAAmD;QAC5D,IAAI,EAAE,kDAAkD;QACxD,MAAM,EAAE,CAAC,aAAa,EAAE,mBAAmB,CAAC;KAC7C;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,EAAE,cAAc,CAAC;YACzC,UAAU,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAChD,CAAC,UAAU,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QACnD,OAAO,EAAE,8DAA8D;QACvE,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,CAAC,QAAQ,CAAC;KACnB;IACD;QACE,KAAK,EAAE,+BAA+B;QACtC,OAAO,EAAE,kEAAkE;QAC3E,IAAI,EAAE,0CAA0C;QAChD,MAAM,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,CAAC;KAC3D;IACD;QACE,KAAK,EAAE,8BAA8B;QACrC,OAAO,EAAE,6DAA6D;QACtE,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,CAAC,SAAS,CAAC;KACpB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAW,EAAE,CACzB,wBAAwB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAW,EAAE,CAC7D,aAAa,CAAC,IAAI,CAAC,uBAAuB,CAAC,6BAA6B,CAAC,WAAW,CAAC,CAAC,CAAC,CACxF;QACH,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,4CAA4C;QAClD,MAAM,EAAE,CAAC,SAAS,CAAC;KACpB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAW,EAAE,CAAC,+BAA+B,CAAC,MAAM,CAAC;QACnE,OAAO,EAAE,0CAA0C;QACnD,IAAI,EAAE,4CAA4C;QAClD,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,CAAC;KAC9D;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAW,EAAE,CAAC,uCAAuC,CAAC,MAAM,CAAC;QAC3E,OAAO,EAAE,qEAAqE;QAC9E,IAAI,EAAE,6DAA6D;QACnE,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC;KAC3D;IACD;QACE,KAAK,EAAE,6BAA6B;QACpC,OAAO,EAAE,sCAAsC;QAC/C,IAAI,EAAE,4CAA4C;QAClD,WAAW,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;KAC/C;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAW,EAAE,CAAC,4BAA4B,CAAC,MAAM,CAAC;QAChE,OAAO,EAAE,sDAAsD;QAC/D,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,CAAC;KAC9D;IACD;QACE,KAAK,EAAE,wCAAwC;QAC/C,OAAO,EAAE,uDAAuD;QAChE,IAAI,EAAE,+CAA+C;QACrD,MAAM,EAAE,CAAC,gBAAgB,CAAC;KAC3B;IACD;QACE,KAAK,EAAE,+BAA+B;QACtC,OAAO,EAAE,yEAAyE;QAClF,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,CAAC,MAAM,CAAC;KACjB;IACD;QACE,KAAK,EAAE,uBAAuB;QAC9B,OAAO,EAAE,2DAA2D;QACpE,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC;KACnD;IACD;QACE,KAAK,EAAE,+BAA+B;QACtC,OAAO,EAAE,oFAAoF;QAC7F,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,CAAC,iBAAiB,EAAE,SAAS,CAAC;KACvC;IACD;QACE,KAAK,EAAE,uBAAuB;QAC9B,OAAO,EAAE,qDAAqD;QAC9D,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,CAAC,QAAQ,CAAC;KACnB;IACD;QACE,KAAK,EAAE,gCAAgC;QACvC,OAAO,EAAE,qEAAqE;QAC9E,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,CAAC,QAAQ,CAAC;KACnB;IACD;QACE,KAAK,EAAE,yBAAyB;QAChC,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,0CAA0C;QAChD,MAAM,EAAE,CAAC,kBAAkB,CAAC;KAC7B;IACD;QACE,KAAK,EAAE,oBAAoB;QAC3B,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,sCAAsC;QAC5C,MAAM,EAAE,CAAC,iBAAiB,CAAC;KAC5B;IACD;QACE,KAAK,EAAE,iCAAiC;QACxC,OAAO,EAAE,iEAAiE;QAC1E,IAAI,EAAE,4CAA4C;QAClD,MAAM,EAAE,CAAC,gBAAgB,CAAC;KAC3B;IACD;QACE,OAAO,EAAE,4EAA4E;QACrF,IAAI,EAAE,oCAAoC;QAC1C,QAAQ,EAAE,CAAC,8DAA8D,CAAC;QAC1E,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,aAAa,CAAC;KAC9C;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC,IAAI,gCAAgC,CAAC,MAAM,CAAC;QACvE,OAAO,EAAE,yDAAyD;QAClE,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC;KACtC;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC;QAC1F,OAAO,EAAE,0DAA0D;QACnE,IAAI,EAAE,yCAAyC;QAC/C,MAAM,EAAE,CAAC,MAAM,CAAC;KACjB;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC;QAC1F,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC;KAC/B;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC,IAAI,2BAA2B,CAAC,MAAM,CAAC;QAClE,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,CAAC,gBAAgB,EAAE,cAAc,EAAE,QAAQ,CAAC;KACrD;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAW,EAAE,CAClC,gBAAgB,CAAC,OAAO,CAAC;YACzB,uDAAuD,CAAC,IAAI,CAAC,MAAM,CAAC;QACtE,OAAO,EAAE,4EAA4E;QACrF,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC;KACxC;IACD;QACE,OAAO,EAAE,yDAAyD;QAClE,IAAI,EAAE,8CAA8C;QACpD,QAAQ,EAAE,CAAC,6DAA6D,CAAC;QACzE,MAAM,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,CAAC;KAC7D;IACD;QACE,KAAK,EAAE,CAAC,MAAM,EAAW,EAAE,CACzB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YAC/B,IAAI,CAAC,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,OAAO,CAAC,6CAA6C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC;QACJ,OAAO,EAAE,6EAA6E;QACtF,IAAI,EAAE,qDAAqD;QAC3D,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;KAC/B;CAC4B,CAAC"}

package/dist/rules/effect-strict-external-helpers.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasExternalEffectWithoutTimeout: (source: string, options?: {
+    allowFetch: boolean;
+}) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasExternalEffectWithoutSpan: (source: string, options?: {
+    allowFetch: boolean;
+}) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasIdempotentExternalEffectWithoutRetry: (source: string, options?: {
+    allowFetch: boolean;
+}) => boolean;
+//# sourceMappingURL=effect-strict-external-helpers.d.ts.map

package/dist/rules/effect-strict-external-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-strict-external-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-external-helpers.ts"],"names":[],"mappings":"AAuDA;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,GAC1C,QAAQ,MAAM,EACd,UAAS;IAAE,UAAU,EAAE,OAAO,CAAA;CAAyB,KACtD,OAAwF,CAAC;AAM5F;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,GACvC,QAAQ,MAAM,EACd,UAAS;IAAE,UAAU,EAAE,OAAO,CAAA;CAAyB,KACtD,OAAqF,CAAC;AAiCzF;;;;GAIG;AACH,eAAO,MAAM,uCAAuC,GAClD,QAAQ,MAAM,EACd,UAAS;IAAE,UAAU,EAAE,OAAO,CAAA;CAAyB,KACtD,OAwBF,CAAC"}

package/dist/rules/effect-strict-external-helpers.js

@@ -0,0 +1,87 @@
+/* -------------------------------------------------------------------------- */
+/*       External-call predicates for opt-in strict Effect lint rules.        */
+/* -------------------------------------------------------------------------- */
+import { enclosingEffectWrapperSegment, hasTopLevelPipeOperator, localEffectCallSegment, } from './effect-strict-segment-helpers.js';
+import { isInsideCall, stripComments, stripCommentsAndStrings } from './effect-source-helpers.js';
+import { hasEffectSignal } from './effect-rule-core.js';
+const EXTERNAL_CALL_PATTERN = /\b(?:HttpClient\.(?:get|post|put|patch|delete|request)|fetch|FileSystem\.[A-Za-z_$][\w$]*|SqlClient\.[A-Za-z_$][\w$]*)\s*\(/g;
+const IDEMPOTENT_EXTERNAL_CALL_PATTERN = /\b(?:HttpClient\.(?:get|head|put|delete)|fetch|(?:find|lookup|read)[A-Z]\w*)\s*\(/g;
+const hasExternalCallSignal = (source) => source.includes('HttpClient.') ||
+    source.includes('fetch') ||
+    source.includes('FileSystem.') ||
+    source.includes('SqlClient.');
+const isFetchSkipped = (matchText, enclosingWrapper, options) => matchText.startsWith('fetch') && (!enclosingWrapper || !options.allowFetch);
+const shouldReportMissingTimeout = (code, index, segment) => !isInsideCall(code, index, /Effect\.timeout\s*\(/g) &&
+    !hasTopLevelPipeOperator(segment, 'timeout');
+const hasExternalEffectMissingOperator = (source, options, shouldReport) => {
+    if (!hasExternalCallSignal(source)) {
+        return false;
+    }
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(EXTERNAL_CALL_PATTERN)) {
+        const enclosingWrapper = enclosingEffectWrapperSegment(code, match.index);
+        if (!isFetchSkipped(match[0], enclosingWrapper, options)) {
+            const segment = enclosingWrapper ?? localEffectCallSegment(code, match.index);
+            if (shouldReport(code, match.index, segment)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasExternalEffectWithoutTimeout = (source, options = { allowFetch: true }) => hasExternalEffectMissingOperator(source, options, shouldReportMissingTimeout);
+const shouldReportMissingSpan = (source, index, segment) => !isInsideCall(source, index, /Effect\.withSpan\s*\(/g) &&
+    !hasTopLevelPipeOperator(segment, 'withSpan');
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasExternalEffectWithoutSpan = (source, options = { allowFetch: true }) => hasExternalEffectMissingOperator(source, options, shouldReportMissingSpan);
+const hasIdempotentExternalCallSignal = (source) => source.includes('HttpClient.') ||
+    source.includes('fetch') ||
+    source.includes('find') ||
+    source.includes('lookup') ||
+    source.includes('read');
+const isUnrelatedNamedRead = (source, matchText) => /^(?:find|lookup|read)[A-Z]/.test(matchText) && !hasEffectSignal(source);
+const isMutatingFetchCall = (matchText, rawSegment) => matchText.startsWith('fetch') &&
+    /\bmethod\s*:\s*['"](?!(?:GET|HEAD|PUT|DELETE)['"])/.test(stripComments(rawSegment));
+const retryScanInput = (source, code, match, options) => {
+    const index = match.index ?? 0;
+    const enclosingWrapper = enclosingEffectWrapperSegment(code, index);
+    const rawEnclosingWrapper = enclosingEffectWrapperSegment(source, index);
+    const rawSegment = rawEnclosingWrapper ?? localEffectCallSegment(source, index);
+    return {
+        isMutatingFetch: isMutatingFetchCall(match[0], rawSegment),
+        segment: enclosingWrapper ?? localEffectCallSegment(code, index),
+        shouldSkipFetch: isFetchSkipped(match[0], enclosingWrapper, options),
+    };
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const hasIdempotentExternalEffectWithoutRetry = (source, options = { allowFetch: true }) => {
+    if (!hasIdempotentExternalCallSignal(source)) {
+        return false;
+    }
+    const code = stripCommentsAndStrings(source);
+    for (const match of code.matchAll(IDEMPOTENT_EXTERNAL_CALL_PATTERN)) {
+        if (!isUnrelatedNamedRead(source, match[0])) {
+            const input = retryScanInput(source, code, match, options);
+            if (shouldReportMissingRetry(code, match.index, input.segment, input.shouldSkipFetch, input.isMutatingFetch)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+const shouldReportMissingRetry = (code, index, segment, shouldSkipFetch, isMutatingFetch) => !shouldSkipFetch && !isMutatingFetch && isMissingRetryPolicy(code, index, segment);
+const isMissingRetryPolicy = (code, index, segment) => !isInsideCall(code, index, /Effect\.retry\s*\(/g) && !hasTopLevelPipeOperator(segment, 'retry');
+//# sourceMappingURL=effect-strict-external-helpers.js.map

package/dist/rules/effect-strict-external-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-strict-external-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-strict-external-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,6BAA6B,EAC7B,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAErD,MAAM,qBAAqB,GACzB,8HAA8H,CAAC;AACjI,MAAM,gCAAgC,GACpC,oFAAoF,CAAC;AAEvF,MAAM,qBAAqB,GAAG,CAAC,MAAc,EAAW,EAAE,CACxD,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC9B,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;IACxB,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC9B,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AAEhC,MAAM,cAAc,GAAG,CACrB,SAAiB,EACjB,gBAAoC,EACpC,OAAgC,EACvB,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAE1F,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,OAAe,EAAW,EAAE,CAC3F,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,uBAAuB,CAAC;IACnD,CAAC,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AAE/C,MAAM,gCAAgC,GAAG,CACvC,MAAc,EACd,OAAgC,EAChC,YAAuE,EAC9D,EAAE;IACX,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACzD,MAAM,gBAAgB,GAAG,6BAA6B,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1E,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACzD,MAAM,OAAO,GAAG,gBAAgB,IAAI,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9E,IAAI,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,MAAc,EACd,UAAmC,EAAE,UAAU,EAAE,IAAI,EAAE,EAC9C,EAAE,CAAC,gCAAgC,CAAC,MAAM,EAAE,OAAO,EAAE,0BAA0B,CAAC,CAAC;AAE5F,MAAM,uBAAuB,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,OAAe,EAAW,EAAE,CAC1F,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,wBAAwB,CAAC;IACtD,CAAC,uBAAuB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAEhD;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,MAAc,EACd,UAAmC,EAAE,UAAU,EAAE,IAAI,EAAE,EAC9C,EAAE,CAAC,gCAAgC,CAAC,MAAM,EAAE,OAAO,EAAE,uBAAuB,CAAC,CAAC;AAEzF,MAAM,+BAA+B,GAAG,CAAC,MAAc,EAAW,EAAE,CAClE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC9B,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;IACxB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;IACvB,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;IACzB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAE1B,MAAM,oBAAoB,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAW,EAAE,CAC1E,4BAA4B,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;AAE3E,MAAM,mBAAmB,GAAG,CAAC,SAAiB,EAAE,UAAkB,EAAW,EAAE,CAC7E,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC;IAC7B,oDAAoD,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC;AAEvF,MAAM,cAAc,GAAG,CACrB,MAAc,EACd,IAAY,EACZ,KAAuB,EACvB,OAAgC,EACyC,EAAE;IAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,MAAM,gBAAgB,GAAG,6BAA6B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpE,MAAM,mBAAmB,GAAG,6BAA6B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,mBAAmB,IAAI,sBAAsB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChF,OAAO;QACL,eAAe,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;QAC1D,OAAO,EAAE,gBAAgB,IAAI,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC;QAChE,eAAe,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC;KACrE,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,MAAc,EACd,UAAmC,EAAE,UAAU,EAAE,IAAI,EAAE,EAC9C,EAAE;IACX,IAAI,CAAC,+BAA+B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,gCAAgC,CAAC,EAAE,CAAC;QACpE,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC3D,IACE,wBAAwB,CACtB,IAAI,EACJ,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,eAAe,CACtB,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,KAAa,EACb,OAAe,EACf,eAAwB,EACxB,eAAwB,EACf,EAAE,CAAC,CAAC,eAAe,IAAI,CAAC,eAAe,IAAI,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAEjG,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,OAAe,EAAW,EAAE,CACrF,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC"}

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

@@ -1,34 +1,76 @@
-declare function hasLayerFactory(source: string): boolean;
-declare function hasUnscopedResourceLayer(source: string): boolean;
-declare function hasBoundaryDataWithoutSchema(source: string): boolean;
-declare function hasHttpServerRequestWithoutSchema(source: string): boolean;
-declare function hasPersistenceReadWithoutSchema(source: string): boolean;
-declare function hasCommandHandlerWithoutSchema(source: string): boolean;
-declare function hasUnscopedResourceLoop(source: string): boolean;
-declare function hasUnsafeResourceStream(source: string): boolean;
-declare function hasLiveTestService(source: string): boolean;
-declare function hasRealTestService(source: string): boolean;
-declare function hasDuplicateLayerInstance(source: string): boolean;
-declare function hasOutputBoundaryWithoutSchema(source: string): boolean;
-declare function hasHttpClientResponseWithoutSchema(source: string): boolean;
-declare function hasSharedResourceForEachWithoutSemaphore(source: string): boolean;
-declare function hasEnsuringCleanupWithoutOnExit(source: string): boolean;
-declare function hasUnterminatedLongRunningStream(source: string): boolean;
-declare function hasAsyncPushWithoutBuffer(source: string): boolean;
-declare function hasUnbatchedResolver(source: string): boolean;
-declare function hasNPlusOneWithoutBatchedResolver(source: string): boolean;
-declare function hasExternalEffectWithoutTimeout(source: string, options?: {
-    allowFetch: boolean;
-}): boolean;
-declare function hasExternalEffectWithoutSpan(source: string, options?: {
-    allowFetch: boolean;
-}): boolean;
-declare function hasIdempotentExternalEffectWithoutRetry(source: string, options?: {
-    allowFetch: boolean;
-}): boolean;
-declare function hasUnprovidedServiceInEffectTest(source: string): boolean;
-declare function hasTimeCodeWithoutTestClock(source: string): boolean;
-declare function hasMutableStateWithoutRef(source: string): boolean;
-declare const hasSharedMutableStateWithoutRef: typeof hasMutableStateWithoutRef;
-export { hasAsyncPushWithoutBuffer, hasBoundaryDataWithoutSchema, hasCommandHandlerWithoutSchema, hasDuplicateLayerInstance, hasEnsuringCleanupWithoutOnExit, hasExternalEffectWithoutTimeout, hasExternalEffectWithoutSpan, hasHttpClientResponseWithoutSchema, hasHttpServerRequestWithoutSchema, hasIdempotentExternalEffectWithoutRetry, hasLayerFactory, hasLiveTestService, hasMutableStateWithoutRef, hasNPlusOneWithoutBatchedResolver, hasOutputBoundaryWithoutSchema, hasPersistenceReadWithoutSchema, hasRealTestService, hasSharedResourceForEachWithoutSemaphore, hasSharedMutableStateWithoutRef, hasTimeCodeWithoutTestClock, hasUnbatchedResolver, hasUnprovidedServiceInEffectTest, hasUnscopedResourceLayer, hasUnscopedResourceLoop, hasUnsafeResourceStream, hasUnterminatedLongRunningStream, };
+export { hasBoundaryDataWithoutSchema, hasCommandHandlerWithoutSchema, hasHTTPServerRequestWithoutSchema, hasPersistenceReadWithoutSchema, } from './effect-strict-boundary-helpers';
+export { hasExternalEffectWithoutSpan, hasExternalEffectWithoutTimeout, hasIdempotentExternalEffectWithoutRetry, } from './effect-strict-external-helpers';
+export { hasDuplicateLayerInstance, hasLayerFactory, hasLiveTestService, hasRealTestService, hasUnscopedResourceLayer, hasUnscopedResourceLoop, hasUnsafeResourceStream, } from './effect-strict-segment-helpers';
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasOutputBoundaryWithoutSchema: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasHTTPClientResponseWithoutSchema: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasSharedResourceForEachWithoutSemaphore: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasEnsuringCleanupWithoutOnExit: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasUnterminatedLongRunningStream: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasAsyncPushWithoutBuffer: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasUnbatchedResolver: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasNPlusOneWithoutBatchedResolver: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasUnprovidedServiceInEffectTest: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasTimeCodeWithoutTestClock: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasMutableStateWithoutRef: (source: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const hasSharedMutableStateWithoutRef: (source: string) => boolean;
 //# sourceMappingURL=effect-strict-helpers.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"effect-strict-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-helpers.ts"],"names":[],"mappings":"AAyBA,iBAAS,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAQhD;AAED,iBAAS,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAczD;AAED,iBAAS,4BAA4B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAoB7D;AAED,iBAAS,iCAAiC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAsBlE;AAED,iBAAS,+BAA+B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAoBhE;AAED,iBAAS,8BAA8B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAU/D;AAED,iBAAS,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAaxD;AAED,iBAAS,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAaxD;AAED,iBAAS,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED,iBAAS,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED,iBAAS,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAc1D;AAuBD,iBAAS,8BAA8B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAW/D;AAED,iBAAS,kCAAkC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAUnE;AAED,iBAAS,wCAAwC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAczE;AAED,iBAAS,+BAA+B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAUhE;AAED,iBAAS,gCAAgC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAUjE;AAED,iBAAS,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAU1D;AAED,iBAAS,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAUrD;AAED,iBAAS,iCAAiC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAalE;AAoCD,iBAAS,+BAA+B,CACtC,MAAM,EAAE,MAAM,EACd,OAAO,GAAE;IAAE,UAAU,EAAE,OAAO,CAAA;CAAyB,GACtD,OAAO,CAoBT;AAED,iBAAS,4BAA4B,CACnC,MAAM,EAAE,MAAM,EACd,OAAO,GAAE;IAAE,UAAU,EAAE,OAAO,CAAA;CAAyB,GACtD,OAAO,CAoBT;AAED,iBAAS,uCAAuC,CAC9C,MAAM,EAAE,MAAM,EACd,OAAO,GAAE;IAAE,UAAU,EAAE,OAAO,CAAA;CAAyB,GACtD,OAAO,CA4BT;AAED,iBAAS,gCAAgC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAMjE;AAED,iBAAS,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAI5D;AAED,iBAAS,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAY1D;AAED,QAAA,MAAM,+BAA+B,kCAA4B,CAAC;AAElE,OAAO,EACL,yBAAyB,EACzB,4BAA4B,EAC5B,8BAA8B,EAC9B,yBAAyB,EACzB,+BAA+B,EAC/B,+BAA+B,EAC/B,4BAA4B,EAC5B,kCAAkC,EAClC,iCAAiC,EACjC,uCAAuC,EACvC,eAAe,EACf,kBAAkB,EAClB,yBAAyB,EACzB,iCAAiC,EACjC,8BAA8B,EAC9B,+BAA+B,EAC/B,kBAAkB,EAClB,wCAAwC,EACxC,+BAA+B,EAC/B,2BAA2B,EAC3B,oBAAoB,EACpB,gCAAgC,EAChC,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,gCAAgC,GACjC,CAAC"}
+{"version":3,"file":"effect-strict-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-helpers.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,4BAA4B,EAC5B,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,GAChC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,uCAAuC,GACxC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,yBAAyB,EACzB,eAAe,EACf,kBAAkB,EAClB,kBAAkB,EAClB,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,iCAAiC,CAAC;AAIzC;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GAAI,QAAQ,MAAM,KAAG,OAe/D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kCAAkC,GAAI,QAAQ,MAAM,KAAG,OAcnE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wCAAwC,GAAI,QAAQ,MAAM,KAAG,OAkBzE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,GAAI,QAAQ,MAAM,KAAG,OAchE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,GAAI,QAAQ,MAAM,KAAG,OAcjE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,QAAQ,MAAM,KAAG,OAc1D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,MAAM,KAAG,OAcrD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iCAAiC,GAAI,QAAQ,MAAM,KAAG,OAiBlE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,GAAI,QAAQ,MAAM,KAAG,OAUjE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,OAa5D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,QAAQ,MAAM,KAAG,OAgB1D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,WAvBM,MAAM,KAAG,OAuBa,CAAC"}