oxlint-plugin-effect 0.2.2 → 0.2.3

package/README.md

@@ -0,0 +1,82 @@
+# oxlint-plugin-effect
+
+Oxlint plugin for [Effect](https://effect.website) codebases.
+
+## Quick Start
+
+```bash
+bun add -D oxlint oxlint-plugin-effect
+```
+
+`.oxlintrc.json`:
+
+```json
+{
+  "jsPlugins": ["oxlint-plugin-effect/plugin"],
+  "rules": {
+    "effect/noEffectDo": "error",
+    "effect/noNestedPipe": "error",
+    "effect/noThrowStatement": "error",
+    "effect/noGlobals": "warn"
+  },
+  "overrides": [
+    {
+      "files": ["**/*.test.ts", "**/*.test.tsx", "**/tests/**", "**/test/**"],
+      "rules": {
+        "effect/noInlineProvide": "off"
+      }
+    }
+  ]
+}
+```
+
+The `overrides` entry turns off `noInlineProvide` in test files. The rule's intent is "provide layers at the boundary, not scattered through production code" — in tests, `it.effect(() => Effect.gen(function*() { ... }).pipe(Effect.provide(TestLayer)))` is the boundary.
+
+```bash
+oxlint
+```
+
+## Rule Authoring
+
+The package also exports the Effect-first rule authoring bindings:
+
+```ts
+import { Diagnostic, Rule, RuleContext } from "oxlint-plugin-effect/rule-bindings";
+
+export const noThing = Rule.define({
+  name: "no-thing",
+  meta: Rule.meta({
+    type: "problem",
+    description: "Avoid thing.",
+  }),
+  create: function* () {
+    const ctx = yield* RuleContext;
+    return {
+      Identifier: (node) => ctx.report(Diagnostic.make({ node, message: "Avoid thing." })),
+    };
+  },
+});
+```
+
+The same bindings are available from the root export for convenience:
+
+```ts
+import { Rule, Diagnostic, RuleContext } from "oxlint-plugin-effect";
+```
+
+## Rules
+
+66 AST-only rules across categories: API bans, global bans, import bans, statement bans, AST patterns, and Effect-context rules. Five presets are available: `core`, `full`, `effect-native`, `functional`, and `strict`.
+
+## Development
+
+```bash
+bun install
+bun run gate
+bun run codegen
+bun run add-rule <name> [--context]
+```
+
+## License
+
+MIT

package/dist/index.d.ts

@@ -1,4 +1,16 @@
+import { AST_d_exports } from "./vendor/effect-oxlint/AST.js";
+import { Comment_d_exports } from "./vendor/effect-oxlint/Comment.js";
+import { Diagnostic_d_exports } from "./vendor/effect-oxlint/Diagnostic.js";
+import { Plugin_d_exports } from "./vendor/effect-oxlint/Plugin.js";
+import { RuleContext, ast, cwd, filename, id, report, sourceCode, text } from "./vendor/effect-oxlint/RuleContext.js";
+import { Visitor_d_exports } from "./vendor/effect-oxlint/Visitor.js";
+import { Rule_d_exports } from "./vendor/effect-oxlint/Rule.js";
+import { Scope_d_exports } from "./vendor/effect-oxlint/Scope.js";
+import { SourceCode_d_exports } from "./vendor/effect-oxlint/SourceCode.js";
+import { Testing_d_exports } from "./vendor/effect-oxlint/Testing.js";
+import { Token_d_exports } from "./vendor/effect-oxlint/Token.js";
+import { Context, CreateOnceRule, CreateRule, Definition, DefinitionType, ESTree, Fix, FixFn, Fixer, LineColumn, Location, OxlintComment, OxlintPlugin, OxlintRule, OxlintScope, OxlintSourceCode, OxlintToken, OxlintVisitor, Range, Ranged, Reference, RuleDocs, RuleMeta, ScopeManager, ScopeType, Settings, Span, Suggestion, Variable, index_d_exports as index_d_exports$1 } from "./vendor/effect-oxlint/index.js";
 import _default from "./plugin.js";
-import { index_d_exports as index_d_exports$1 } from "./rules/index.js";
+import { index_d_exports as index_d_exports$2 } from "./rules/index.js";
 import { index_d_exports } from "./presets/index.js";
-export { _default as plugin, index_d_exports as presets, index_d_exports$1 as rules };
+export { AST_d_exports as AST, Comment_d_exports as Comment, Context, CreateOnceRule, CreateRule, Definition, DefinitionType, Diagnostic_d_exports as Diagnostic, ESTree, Fix, FixFn, Fixer, LineColumn, Location, OxlintComment, OxlintPlugin, OxlintRule, OxlintScope, OxlintSourceCode, OxlintToken, OxlintVisitor, Plugin_d_exports as Plugin, Range, Ranged, Reference, Rule_d_exports as Rule, RuleContext, RuleDocs, RuleMeta, Scope_d_exports as Scope, ScopeManager, ScopeType, Settings, SourceCode_d_exports as SourceCode, Span, Suggestion, Testing_d_exports as Testing, Token_d_exports as Token, Variable, Visitor_d_exports as Visitor, ast, cwd, filename, id, _default as plugin, index_d_exports as presets, report, index_d_exports$1 as ruleBindings, index_d_exports$2 as rules, sourceCode, text };

package/dist/index.js

@@ -1,4 +1,16 @@
+import { AST_exports } from "./vendor/effect-oxlint/AST.js";
+import { Comment_exports } from "./vendor/effect-oxlint/Comment.js";
+import { Diagnostic_exports } from "./vendor/effect-oxlint/Diagnostic.js";
+import { Plugin_exports } from "./vendor/effect-oxlint/Plugin.js";
+import { RuleContext, ast, cwd, filename, id, report, sourceCode, text } from "./vendor/effect-oxlint/RuleContext.js";
+import { Visitor_exports } from "./vendor/effect-oxlint/Visitor.js";
+import { Rule_exports } from "./vendor/effect-oxlint/Rule.js";
+import { Scope_exports } from "./vendor/effect-oxlint/Scope.js";
+import { SourceCode_exports } from "./vendor/effect-oxlint/SourceCode.js";
+import { Testing_exports } from "./vendor/effect-oxlint/Testing.js";
+import { Token_exports } from "./vendor/effect-oxlint/Token.js";
+import { effect_oxlint_exports } from "./vendor/effect-oxlint/index.js";
 import { rules_exports } from "./rules/index.js";
 import plugin_default from "./plugin.js";
 import { presets_exports } from "./presets/index.js";
-export { plugin_default as plugin, presets_exports as presets, rules_exports as rules };
+export { AST_exports as AST, Comment_exports as Comment, Diagnostic_exports as Diagnostic, Plugin_exports as Plugin, Rule_exports as Rule, RuleContext, Scope_exports as Scope, SourceCode_exports as SourceCode, Testing_exports as Testing, Token_exports as Token, Visitor_exports as Visitor, ast, cwd, filename, id, plugin_default as plugin, presets_exports as presets, report, effect_oxlint_exports as ruleBindings, rules_exports as rules, sourceCode, text };

package/dist/presets/core.d.ts

@@ -27,10 +27,14 @@ declare const core: {
   readonly "effect/noUnnecessaryPipeChain": "error";
   readonly "effect/noMultipleEffectProvide": "error";
   readonly "effect/noSchemaUnionOfLiterals": "warn";
+  readonly "effect/noSchemaStruct": "error";
   readonly "effect/noSchemaStructWithTag": "warn";
   readonly "effect/noRedundantSchemaTagIdentifier": "warn";
   readonly "effect/noEffectMapFlatten": "warn";
   readonly "effect/noPositionalLogError": "error";
+  readonly "effect/noMakeUnsafe": "error";
+  readonly "effect/noHandRolledTaggedUnion": "error";
+  readonly "effect/noDynamicImports": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
   readonly "effect/noNewPromise": "error";
@@ -38,6 +42,8 @@ declare const core: {
   readonly "effect/noReturnNullish": "warn";
   readonly "effect/noGlobals": "error";
   readonly "effect/noInlineProvide": "error";
+  readonly "effect/noPromiseControlFlowInTests": "error";
+  readonly "effect/noSleepInTests": "error";
 };
 //#endregion
 export { core };

package/dist/presets/core.js

@@ -27,17 +27,23 @@ const core = {
 	"effect/noUnnecessaryPipeChain": "error",
 	"effect/noMultipleEffectProvide": "error",
 	"effect/noSchemaUnionOfLiterals": "warn",
+	"effect/noSchemaStruct": "error",
 	"effect/noSchemaStructWithTag": "warn",
 	"effect/noRedundantSchemaTagIdentifier": "warn",
 	"effect/noEffectMapFlatten": "warn",
 	"effect/noPositionalLogError": "error",
+	"effect/noMakeUnsafe": "error",
+	"effect/noHandRolledTaggedUnion": "error",
+	"effect/noDynamicImports": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "warn",
 	"effect/noGlobals": "error",
-	"effect/noInlineProvide": "error"
+	"effect/noInlineProvide": "error",
+	"effect/noPromiseControlFlowInTests": "error",
+	"effect/noSleepInTests": "error"
 };
 //#endregion
 export { core };

package/dist/presets/full.d.ts

@@ -14,6 +14,7 @@ declare const full: {
   readonly "effect/noOptionAs": "error";
   readonly "effect/noRunInEffectGen": "error";
   readonly "effect/noNodeBuiltinImport": "warn";
+  readonly "effect/noSpread": "error";
   readonly "effect/noNestedPipe": "error";
   readonly "effect/noNestedEffectGen": "error";
   readonly "effect/noUnnecessaryEffectGen": "error";
@@ -42,12 +43,16 @@ declare const full: {
   readonly "effect/noUnnecessaryPipeChain": "error";
   readonly "effect/noMultipleEffectProvide": "error";
   readonly "effect/noSchemaUnionOfLiterals": "warn";
+  readonly "effect/noSchemaStruct": "error";
   readonly "effect/noSchemaStructWithTag": "warn";
   readonly "effect/noRedundantSchemaTagIdentifier": "warn";
   readonly "effect/noEffectMapFlatten": "warn";
   readonly "effect/noGlobalErrorInFailure": "error";
   readonly "effect/noGlobalErrorInCatch": "error";
   readonly "effect/noPositionalLogError": "error";
+  readonly "effect/noMakeUnsafe": "error";
+  readonly "effect/noHandRolledTaggedUnion": "error";
+  readonly "effect/noDynamicImports": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
   readonly "effect/noNewPromise": "error";
@@ -55,6 +60,8 @@ declare const full: {
   readonly "effect/noReturnNullish": "warn";
   readonly "effect/noGlobals": "error";
   readonly "effect/noInlineProvide": "error";
+  readonly "effect/noPromiseControlFlowInTests": "error";
+  readonly "effect/noSleepInTests": "error";
 };
 //#endregion
 export { full };

package/dist/presets/full.js

@@ -14,6 +14,7 @@ const full = {
 	"effect/noOptionAs": "error",
 	"effect/noRunInEffectGen": "error",
 	"effect/noNodeBuiltinImport": "warn",
+	"effect/noSpread": "error",
 	"effect/noNestedPipe": "error",
 	"effect/noNestedEffectGen": "error",
 	"effect/noUnnecessaryEffectGen": "error",
@@ -42,19 +43,25 @@ const full = {
 	"effect/noUnnecessaryPipeChain": "error",
 	"effect/noMultipleEffectProvide": "error",
 	"effect/noSchemaUnionOfLiterals": "warn",
+	"effect/noSchemaStruct": "error",
 	"effect/noSchemaStructWithTag": "warn",
 	"effect/noRedundantSchemaTagIdentifier": "warn",
 	"effect/noEffectMapFlatten": "warn",
 	"effect/noGlobalErrorInFailure": "error",
 	"effect/noGlobalErrorInCatch": "error",
 	"effect/noPositionalLogError": "error",
+	"effect/noMakeUnsafe": "error",
+	"effect/noHandRolledTaggedUnion": "error",
+	"effect/noDynamicImports": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "warn",
 	"effect/noGlobals": "error",
-	"effect/noInlineProvide": "error"
+	"effect/noInlineProvide": "error",
+	"effect/noPromiseControlFlowInTests": "error",
+	"effect/noSleepInTests": "error"
 };
 //#endregion
 export { full };

package/dist/presets/functional.d.ts

@@ -16,6 +16,7 @@ declare const functional: {
   readonly "effect/noMatchEffectBranch": "error";
   readonly "effect/noOptionBooleanNormalization": "error";
   readonly "effect/noArrowLadder": "error";
+  readonly "effect/noSpread": "error";
 };
 //#endregion
 export { functional };

package/dist/presets/functional.js

@@ -15,7 +15,8 @@ const functional = {
 	"effect/noMatchVoidBranch": "error",
 	"effect/noMatchEffectBranch": "error",
 	"effect/noOptionBooleanNormalization": "error",
-	"effect/noArrowLadder": "error"
+	"effect/noArrowLadder": "error",
+	"effect/noSpread": "error"
 };
 //#endregion
 export { functional };

package/dist/presets/strict.d.ts

@@ -17,6 +17,7 @@ declare const strict: {
   readonly "effect/noReturnInArrow": "error";
   readonly "effect/noStringSentinelConst": "error";
   readonly "effect/noArrowLadder": "error";
+  readonly "effect/noSpread": "error";
   readonly "effect/noNodeBuiltinImport": "error";
   readonly "effect/noNestedPipe": "error";
   readonly "effect/noNestedEffectGen": "error";
@@ -46,12 +47,16 @@ declare const strict: {
   readonly "effect/noUnnecessaryPipeChain": "error";
   readonly "effect/noMultipleEffectProvide": "error";
   readonly "effect/noSchemaUnionOfLiterals": "error";
+  readonly "effect/noSchemaStruct": "error";
   readonly "effect/noSchemaStructWithTag": "error";
   readonly "effect/noRedundantSchemaTagIdentifier": "error";
   readonly "effect/noEffectMapFlatten": "error";
   readonly "effect/noGlobalErrorInFailure": "error";
   readonly "effect/noGlobalErrorInCatch": "error";
   readonly "effect/noPositionalLogError": "error";
+  readonly "effect/noMakeUnsafe": "error";
+  readonly "effect/noHandRolledTaggedUnion": "error";
+  readonly "effect/noDynamicImports": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
   readonly "effect/noNewPromise": "error";
@@ -59,6 +64,8 @@ declare const strict: {
   readonly "effect/noReturnNullish": "error";
   readonly "effect/noGlobals": "error";
   readonly "effect/noInlineProvide": "error";
+  readonly "effect/noPromiseControlFlowInTests": "error";
+  readonly "effect/noSleepInTests": "error";
 };
 //#endregion
 export { strict };

package/dist/presets/strict.js

@@ -17,6 +17,7 @@ const strict = {
 	"effect/noReturnInArrow": "error",
 	"effect/noStringSentinelConst": "error",
 	"effect/noArrowLadder": "error",
+	"effect/noSpread": "error",
 	"effect/noNodeBuiltinImport": "error",
 	"effect/noNestedPipe": "error",
 	"effect/noNestedEffectGen": "error",
@@ -46,19 +47,25 @@ const strict = {
 	"effect/noUnnecessaryPipeChain": "error",
 	"effect/noMultipleEffectProvide": "error",
 	"effect/noSchemaUnionOfLiterals": "error",
+	"effect/noSchemaStruct": "error",
 	"effect/noSchemaStructWithTag": "error",
 	"effect/noRedundantSchemaTagIdentifier": "error",
 	"effect/noEffectMapFlatten": "error",
 	"effect/noGlobalErrorInFailure": "error",
 	"effect/noGlobalErrorInCatch": "error",
 	"effect/noPositionalLogError": "error",
+	"effect/noMakeUnsafe": "error",
+	"effect/noHandRolledTaggedUnion": "error",
+	"effect/noDynamicImports": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "error",
 	"effect/noGlobals": "error",
-	"effect/noInlineProvide": "error"
+	"effect/noInlineProvide": "error",
+	"effect/noPromiseControlFlowInTests": "error",
+	"effect/noSleepInTests": "error"
 };
 //#endregion
 export { strict };

package/dist/rules/index.d.ts

@@ -10,6 +10,7 @@ import { noSwitchStatement } from "./no-switch-statement.js";
 import { noArrowLadder } from "./no-arrow-ladder.js";
 import { noAsyncFunction } from "./no-async-function.js";
 import { noCatchAllToMapError } from "./no-catch-all-to-map-error.js";
+import { noDynamicImports } from "./no-dynamic-imports.js";
 import { noEffectFnGenerator } from "./no-effect-fn-generator.js";
 import { noEffectGenAdapter } from "./no-effect-gen-adapter.js";
 import { noEffectMapFlatten } from "./no-effect-map-flatten.js";
@@ -27,8 +28,10 @@ import { noFlatmapLadder } from "./no-flatmap-ladder.js";
 import { noFromNullableCoalesce } from "./no-fromnullable-coalesce.js";
 import { noGlobalErrorInCatch } from "./no-global-error-in-catch.js";
 import { noGlobalErrorInFailure } from "./no-global-error-in-failure.js";
+import { noHandRolledTaggedUnion } from "./no-hand-rolled-tagged-union.js";
 import { noIifeWrapper } from "./no-iife-wrapper.js";
 import { noInstanceofSchema } from "./no-instanceof-schema.js";
+import { noMakeUnsafe } from "./no-make-unsafe.js";
 import { noManualEffectChannels } from "./no-manual-effect-channels.js";
 import { noMatchEffectBranch } from "./no-match-effect-branch.js";
 import { noMatchVoidBranch } from "./no-match-void-branch.js";
@@ -39,10 +42,14 @@ import { noNestedPipe } from "./no-nested-pipe.js";
 import { noNodeBuiltinImport } from "./no-node-builtin-import.js";
 import { noOptionBooleanNormalization } from "./no-option-boolean-normalization.js";
 import { noPositionalLogError } from "./no-positional-log-error.js";
+import { noPromiseControlFlowInTests } from "./no-promise-control-flow-in-tests.js";
 import { noRedundantSchemaTagIdentifier } from "./no-redundant-schema-tag-identifier.js";
 import { noReturnInArrow } from "./no-return-in-arrow.js";
 import { noSchemaStructWithTag } from "./no-schema-struct-with-tag.js";
+import { noSchemaStruct } from "./no-schema-struct.js";
 import { noSchemaUnionOfLiterals } from "./no-schema-union-of-literals.js";
+import { noSleepInTests } from "./no-sleep-in-tests.js";
+import { noSpread } from "./no-spread.js";
 import { noStringSentinelConst } from "./no-string-sentinel-const.js";
 import { noTernary } from "./no-ternary.js";
 import { noUnnecessaryArrowBlock } from "./no-unnecessary-arrow-block.js";
@@ -60,7 +67,7 @@ import { noTryCatch } from "./no-try-catch.js";
 
 //#region src/rules/index.d.ts
 declare namespace index_d_exports {
-  export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStructWithTag, noSchemaUnionOfLiterals, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain };
+  export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noHandRolledTaggedUnion, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noMakeUnsafe, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noPromiseControlFlowInTests, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStruct, noSchemaStructWithTag, noSchemaUnionOfLiterals, noSleepInTests, noSpread, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain };
 }
 //#endregion
-export { index_d_exports, noArrowLadder, noAsyncFunction, noCatchAllToMapError, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStructWithTag, noSchemaUnionOfLiterals, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain };
+export { index_d_exports, noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noHandRolledTaggedUnion, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noMakeUnsafe, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noPromiseControlFlowInTests, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStruct, noSchemaStructWithTag, noSchemaUnionOfLiterals, noSleepInTests, noSpread, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain };

package/dist/rules/index.js

@@ -11,6 +11,7 @@ import { noSwitchStatement } from "./no-switch-statement.js";
 import { noArrowLadder } from "./no-arrow-ladder.js";
 import { noAsyncFunction } from "./no-async-function.js";
 import { noCatchAllToMapError } from "./no-catch-all-to-map-error.js";
+import { noDynamicImports } from "./no-dynamic-imports.js";
 import { noEffectFnGenerator } from "./no-effect-fn-generator.js";
 import { noEffectGenAdapter } from "./no-effect-gen-adapter.js";
 import { noEffectMapFlatten } from "./no-effect-map-flatten.js";
@@ -28,8 +29,10 @@ import { noFlatmapLadder } from "./no-flatmap-ladder.js";
 import { noFromNullableCoalesce } from "./no-fromnullable-coalesce.js";
 import { noGlobalErrorInCatch } from "./no-global-error-in-catch.js";
 import { noGlobalErrorInFailure } from "./no-global-error-in-failure.js";
+import { noHandRolledTaggedUnion } from "./no-hand-rolled-tagged-union.js";
 import { noIifeWrapper } from "./no-iife-wrapper.js";
 import { noInstanceofSchema } from "./no-instanceof-schema.js";
+import { noMakeUnsafe } from "./no-make-unsafe.js";
 import { noManualEffectChannels } from "./no-manual-effect-channels.js";
 import { noMatchEffectBranch } from "./no-match-effect-branch.js";
 import { noMatchVoidBranch } from "./no-match-void-branch.js";
@@ -40,10 +43,14 @@ import { noNestedPipe } from "./no-nested-pipe.js";
 import { noNodeBuiltinImport } from "./no-node-builtin-import.js";
 import { noOptionBooleanNormalization } from "./no-option-boolean-normalization.js";
 import { noPositionalLogError } from "./no-positional-log-error.js";
+import { noPromiseControlFlowInTests } from "./no-promise-control-flow-in-tests.js";
 import { noRedundantSchemaTagIdentifier } from "./no-redundant-schema-tag-identifier.js";
 import { noReturnInArrow } from "./no-return-in-arrow.js";
 import { noSchemaStructWithTag } from "./no-schema-struct-with-tag.js";
+import { noSchemaStruct } from "./no-schema-struct.js";
 import { noSchemaUnionOfLiterals } from "./no-schema-union-of-literals.js";
+import { noSleepInTests } from "./no-sleep-in-tests.js";
+import { noSpread } from "./no-spread.js";
 import { noStringSentinelConst } from "./no-string-sentinel-const.js";
 import { noTernary } from "./no-ternary.js";
 import { noUnnecessaryArrowBlock } from "./no-unnecessary-arrow-block.js";
@@ -63,6 +70,7 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noArrowLadder: () => noArrowLadder,
 	noAsyncFunction: () => noAsyncFunction,
 	noCatchAllToMapError: () => noCatchAllToMapError,
+	noDynamicImports: () => noDynamicImports,
 	noEffectAs: () => noEffectAs,
 	noEffectAsync: () => noEffectAsync,
 	noEffectBind: () => noEffectBind,
@@ -86,10 +94,12 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noGlobalErrorInCatch: () => noGlobalErrorInCatch,
 	noGlobalErrorInFailure: () => noGlobalErrorInFailure,
 	noGlobals: () => noGlobals,
+	noHandRolledTaggedUnion: () => noHandRolledTaggedUnion,
 	noIfStatement: () => noIfStatement,
 	noIifeWrapper: () => noIifeWrapper,
 	noInlineProvide: () => noInlineProvide,
 	noInstanceofSchema: () => noInstanceofSchema,
+	noMakeUnsafe: () => noMakeUnsafe,
 	noManualEffectChannels: () => noManualEffectChannels,
 	noMatchEffectBranch: () => noMatchEffectBranch,
 	noMatchVoidBranch: () => noMatchVoidBranch,
@@ -103,13 +113,17 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noOptionAs: () => noOptionAs,
 	noOptionBooleanNormalization: () => noOptionBooleanNormalization,
 	noPositionalLogError: () => noPositionalLogError,
+	noPromiseControlFlowInTests: () => noPromiseControlFlowInTests,
 	noRedundantSchemaTagIdentifier: () => noRedundantSchemaTagIdentifier,
 	noReturnInArrow: () => noReturnInArrow,
 	noReturnNullish: () => noReturnNullish,
 	noRunInEffectGen: () => noRunInEffectGen,
 	noRuntimeRunFork: () => noRuntimeRunFork,
+	noSchemaStruct: () => noSchemaStruct,
 	noSchemaStructWithTag: () => noSchemaStructWithTag,
 	noSchemaUnionOfLiterals: () => noSchemaUnionOfLiterals,
+	noSleepInTests: () => noSleepInTests,
+	noSpread: () => noSpread,
 	noStringSentinelConst: () => noStringSentinelConst,
 	noSwitchStatement: () => noSwitchStatement,
 	noTernary: () => noTernary,
@@ -121,4 +135,4 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noUnnecessaryPipeChain: () => noUnnecessaryPipeChain
 });
 //#endregion
-export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStructWithTag, noSchemaUnionOfLiterals, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain, rules_exports };
+export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noHandRolledTaggedUnion, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noMakeUnsafe, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noPromiseControlFlowInTests, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStruct, noSchemaStructWithTag, noSchemaUnionOfLiterals, noSleepInTests, noSpread, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain, rules_exports };

package/dist/rules/no-dynamic-imports.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-dynamic-imports.d.ts
+declare const noDynamicImports: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noDynamicImports };

package/dist/rules/no-dynamic-imports.js

@@ -0,0 +1,90 @@
+import { make } from "../vendor/effect-oxlint/Diagnostic.js";
+import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
+import { define, meta } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-dynamic-imports.ts
+const allowPattern = /\beffect\/no-dynamic-imports:\s*allow\s+\S/;
+const isAstNode = (value) => typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
+const getNodeField = (node, field) => {
+	const value = node[field];
+	return isAstNode(value) ? value : void 0;
+};
+const getStringField = (node, field) => {
+	const value = node[field];
+	return typeof value === "string" ? value : void 0;
+};
+const getLine = (node, edge) => {
+	const loc = node["loc"];
+	if (typeof loc !== "object" || loc === null) return void 0;
+	const point = loc[edge];
+	if (typeof point !== "object" || point === null) return void 0;
+	const line = point["line"];
+	return typeof line === "number" ? line : void 0;
+};
+const hasAllowComment = (node, comments) => {
+	const startLine = getLine(node, "start");
+	if (startLine === void 0) return false;
+	return comments.some((comment) => {
+		const endLine = getLine(comment, "end");
+		if (endLine === void 0) return false;
+		if (endLine !== startLine - 1 && endLine !== startLine) return false;
+		return allowPattern.test(comment.value);
+	});
+};
+const createRequireAliasName = (node) => {
+	if (node.type !== "VariableDeclarator") return void 0;
+	const id = getNodeField(node, "id");
+	const init = getNodeField(node, "init");
+	if (id?.type !== "Identifier" || init?.type !== "CallExpression") return void 0;
+	const callee = getNodeField(init, "callee");
+	if (callee?.type !== "Identifier" || getStringField(callee, "name") !== "createRequire") return void 0;
+	return getStringField(id, "name");
+};
+const classifyDynamicLoadCall = (callee, createRequireAliases) => {
+	if (callee === void 0) return void 0;
+	if (callee.type === "Identifier") {
+		const name = getStringField(callee, "name");
+		if (name === "require") return "`require(...)` is forbidden. Use a top-level static import.";
+		if (name !== void 0 && createRequireAliases.has(name)) return "`createRequire(...)` aliases are forbidden. Use a top-level static import.";
+	}
+	if (callee.type === "MemberExpression") {
+		const object = getNodeField(callee, "object");
+		const property = getNodeField(callee, "property");
+		if (object?.type === "Identifier" && getStringField(object, "name") === "module" && property?.type === "Identifier" && getStringField(property, "name") === "require") return "`module.require(...)` is forbidden. Use a top-level static import.";
+	}
+	if (callee.type === "CallExpression") {
+		const inner = getNodeField(callee, "callee");
+		if (inner?.type === "Identifier" && getStringField(inner, "name") === "createRequire") return "`createRequire(...)(...)` is forbidden. Use a top-level static import.";
+	}
+};
+const noDynamicImports = define({
+	name: "no-dynamic-imports",
+	meta: meta({
+		type: "problem",
+		description: "Avoid dynamic import/require. Use top-level static imports."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		const createRequireAliases = /* @__PURE__ */ new Set();
+		const reportUnlessAllowed = (node, message) => hasAllowComment(node, ctx.sourceCode.getAllComments()) ? Effect.void : ctx.report(make({
+			node,
+			message
+		}));
+		return {
+			VariableDeclarator: (node) => {
+				const alias = createRequireAliasName(node);
+				if (alias === void 0) return Effect.void;
+				createRequireAliases.add(alias);
+				return reportUnlessAllowed(node, "`createRequire(...)` is forbidden. Use a top-level static import.");
+			},
+			ImportExpression: (node) => reportUnlessAllowed(node, "Dynamic `import(...)` is forbidden. Use a top-level static import."),
+			CallExpression: (node) => {
+				const message = classifyDynamicLoadCall(getNodeField(node, "callee"), createRequireAliases);
+				return message === void 0 ? Effect.void : reportUnlessAllowed(node, message);
+			}
+		};
+	}
+});
+//#endregion
+export { noDynamicImports };

package/dist/rules/no-hand-rolled-tagged-union.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-hand-rolled-tagged-union.d.ts
+declare const noHandRolledTaggedUnion: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noHandRolledTaggedUnion };

package/dist/rules/no-hand-rolled-tagged-union.js

@@ -0,0 +1,70 @@
+import { make } from "../vendor/effect-oxlint/Diagnostic.js";
+import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
+import { define, meta } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-hand-rolled-tagged-union.ts
+const isAstNode = (value) => typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
+const getNodeField = (node, field) => {
+	const value = node[field];
+	return isAstNode(value) ? value : void 0;
+};
+const getStringField = (node, field) => {
+	const value = node[field];
+	return typeof value === "string" ? value : void 0;
+};
+const getNodeArrayField = (node, field) => {
+	const value = node[field];
+	return Array.isArray(value) ? value.filter(isAstNode) : void 0;
+};
+const getPropertyKeyName = (node) => {
+	if (node.type === "Identifier" || node.type === "StringLiteral" || node.type === "Literal") return getStringField(node, "name") ?? getStringField(node, "value");
+};
+const isPascalCaseTag = (value) => {
+	if (value.length === 0) return false;
+	const first = value.charAt(0);
+	return first === first.toUpperCase() && first !== first.toLowerCase();
+};
+const isReportableTagLiteral = (member) => {
+	if (member.type !== "TSPropertySignature") return false;
+	const key = getNodeField(member, "key");
+	if (key === void 0 || getPropertyKeyName(key) !== "_tag") return false;
+	const annotation = getNodeField(member, "typeAnnotation");
+	const inner = annotation === void 0 ? void 0 : getNodeField(annotation, "typeAnnotation");
+	if (inner?.type !== "TSLiteralType") return false;
+	const literal = getNodeField(inner, "literal");
+	if (literal === void 0) return false;
+	if (literal.type !== "StringLiteral" && literal.type !== "Literal") return false;
+	const value = getStringField(literal, "value");
+	return value !== void 0 && isPascalCaseTag(value);
+};
+const literalHasTag = (node) => {
+	if (node.type !== "TSTypeLiteral") return false;
+	const members = getNodeArrayField(node, "members");
+	return members !== void 0 && members.some(isReportableTagLiteral);
+};
+const noHandRolledTaggedUnion = define({
+	name: "no-hand-rolled-tagged-union",
+	meta: meta({
+		type: "suggestion",
+		description: "Use Schema.TaggedUnion, Schema.TaggedStruct, or Schema.TaggedErrorClass instead of inline _tag union literals."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { TSUnionType: (node) => {
+			const types = getNodeArrayField(node, "types");
+			if (types === void 0 || types.length < 2) return Effect.void;
+			let tagged = 0;
+			for (const type of types) {
+				if (literalHasTag(type)) tagged += 1;
+				if (tagged >= 2) return ctx.report(make({
+					node,
+					message: "Hand-rolled `_tag` discriminated union. Use Schema.TaggedUnion, Schema.TaggedStruct, or Schema.TaggedErrorClass instead."
+				}));
+			}
+			return Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noHandRolledTaggedUnion };

package/dist/rules/no-make-unsafe.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-make-unsafe.d.ts
+declare const noMakeUnsafe: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noMakeUnsafe };

package/dist/rules/no-make-unsafe.js

@@ -0,0 +1,30 @@
+import { memberNames } from "../vendor/effect-oxlint/AST.js";
+import { make } from "../vendor/effect-oxlint/Diagnostic.js";
+import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
+import { define, meta } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-make-unsafe.ts
+const noMakeUnsafe = define({
+	name: "no-make-unsafe",
+	meta: meta({
+		type: "problem",
+		description: "Avoid makeUnsafe constructors. Use safe Effectful or Option-returning construction."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			const call = node;
+			if (call.callee.type !== "MemberExpression") return Effect.void;
+			if (Option.isNone(memberNames(call.callee))) return Effect.void;
+			if (Option.getOrUndefined(memberNames(call.callee))?.[1] !== "makeUnsafe") return Effect.void;
+			return ctx.report(make({
+				node,
+				message: "Do not call `.makeUnsafe(...)`. Use safe Effectful/Option-returning construction instead of bypassing validation."
+			}));
+		} };
+	}
+});
+//#endregion
+export { noMakeUnsafe };

package/dist/rules/no-promise-control-flow-in-tests.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-promise-control-flow-in-tests.d.ts
+declare const noPromiseControlFlowInTests: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noPromiseControlFlowInTests };

package/dist/rules/no-promise-control-flow-in-tests.js

@@ -0,0 +1,94 @@
+import { memberNames } from "../vendor/effect-oxlint/AST.js";
+import { make } from "../vendor/effect-oxlint/Diagnostic.js";
+import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
+import { define, meta } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-promise-control-flow-in-tests.ts
+const isTestFilename = (filename) => /\.test\.tsx?$/.test(filename) || /\/tests\/.*\.[cm]?tsx?$/.test(filename);
+const promiseChainMethods = new Set([
+	"then",
+	"catch",
+	"finally"
+]);
+const promiseStaticMethods = new Set([
+	"all",
+	"allSettled",
+	"any",
+	"race",
+	"resolve",
+	"reject"
+]);
+const isAsyncFunction = (node) => "async" in node && node.async === true;
+const promiseChainMethodName = (node) => {
+	if (node.callee.type !== "MemberExpression") return void 0;
+	const names = Option.getOrUndefined(memberNames(node.callee));
+	if (names === void 0) return void 0;
+	const [object, property] = names;
+	if (object === "Effect") return void 0;
+	return promiseChainMethods.has(property) ? property : void 0;
+};
+const noPromiseControlFlowInTests = define({
+	name: "no-promise-control-flow-in-tests",
+	meta: meta({
+		type: "problem",
+		description: "Keep test control flow in Effect instead of async/await, try/finally, or Promise chains."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		if (!isTestFilename(ctx.filename)) return {};
+		return {
+			TryStatement: (node) => {
+				if (!("finalizer" in node) || node.finalizer == null) return Effect.void;
+				return ctx.report(make({
+					node,
+					message: "Do not use `try/finally` cleanup in tests. Use Effect scopes."
+				}));
+			},
+			FunctionDeclaration: (node) => isAsyncFunction(node) ? ctx.report(make({
+				node,
+				message: "Do not use async test functions. Return an Effect from the test body."
+			})) : Effect.void,
+			FunctionExpression: (node) => isAsyncFunction(node) ? ctx.report(make({
+				node,
+				message: "Do not use async test functions. Return an Effect from the test body."
+			})) : Effect.void,
+			ArrowFunctionExpression: (node) => isAsyncFunction(node) ? ctx.report(make({
+				node,
+				message: "Do not use async test functions. Return an Effect from the test body."
+			})) : Effect.void,
+			AwaitExpression: (node) => ctx.report(make({
+				node,
+				message: "Do not use `await` in tests. Use `yield*` inside Effect.gen."
+			})),
+			NewExpression: (node) => {
+				const expression = node;
+				if (expression.callee.type !== "Identifier" || expression.callee.name !== "Promise") return Effect.void;
+				return ctx.report(make({
+					node,
+					message: "Do not construct Promise directly in tests. Use Effect.async/Effect.promise at real boundaries."
+				}));
+			},
+			CallExpression: (node) => {
+				const call = node;
+				const chainMethod = promiseChainMethodName(call);
+				if (chainMethod !== void 0) return ctx.report(make({
+					node,
+					message: `Do not use Promise.${chainMethod} style chains in tests. Keep control flow in Effect.`
+				}));
+				if (call.callee.type !== "MemberExpression") return Effect.void;
+				const names = Option.getOrUndefined(memberNames(call.callee));
+				if (names === void 0) return Effect.void;
+				const [object, property] = names;
+				if (object !== "Promise" || !promiseStaticMethods.has(property)) return Effect.void;
+				return ctx.report(make({
+					node,
+					message: `Do not use Promise.${property} in tests. Use Effect concurrency primitives.`
+				}));
+			}
+		};
+	}
+});
+//#endregion
+export { noPromiseControlFlowInTests };

package/dist/rules/no-schema-struct.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-schema-struct.d.ts
+declare const noSchemaStruct: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noSchemaStruct };

package/dist/rules/no-schema-struct.js

@@ -0,0 +1,28 @@
+import { matchCallOf } from "../vendor/effect-oxlint/AST.js";
+import { make } from "../vendor/effect-oxlint/Diagnostic.js";
+import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
+import { define, meta } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-schema-struct.ts
+const noSchemaStruct = define({
+	name: "no-schema-struct",
+	meta: meta({
+		type: "suggestion",
+		description: "Use Schema.Class instead of Schema.Struct."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			const call = node;
+			if (Option.isNone(matchCallOf(call, "Schema", "Struct"))) return Effect.void;
+			return ctx.report(make({
+				node,
+				message: "Use Schema.Class instead of Schema.Struct."
+			}));
+		} };
+	}
+});
+//#endregion
+export { noSchemaStruct };

package/dist/rules/no-sleep-in-tests.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-sleep-in-tests.d.ts
+declare const noSleepInTests: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noSleepInTests };

package/dist/rules/no-sleep-in-tests.js

@@ -0,0 +1,55 @@
+import { memberNames } from "../vendor/effect-oxlint/AST.js";
+import { make } from "../vendor/effect-oxlint/Diagnostic.js";
+import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
+import { define, meta } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-sleep-in-tests.ts
+const allowPattern = /\beffect\/no-sleep-in-tests:\s*allow\s+\S/;
+const isTestFilename = (filename) => /\.test\.tsx?$/.test(filename) || /\/tests\/.*\.[cm]?tsx?$/.test(filename);
+const getLine = (node, edge) => {
+	const loc = node["loc"];
+	if (typeof loc !== "object" || loc === null) return void 0;
+	const point = loc[edge];
+	if (typeof point !== "object" || point === null) return void 0;
+	const line = point["line"];
+	return typeof line === "number" ? line : void 0;
+};
+const hasAllowComment = (node, comments) => {
+	const startLine = getLine(node, "start");
+	if (startLine === void 0) return false;
+	return comments.some((comment) => {
+		const endLine = getLine(comment, "end");
+		if (endLine === void 0) return false;
+		if (endLine !== startLine - 1 && endLine !== startLine) return false;
+		return allowPattern.test(comment.value);
+	});
+};
+const noSleepInTests = define({
+	name: "no-sleep-in-tests",
+	meta: meta({
+		type: "problem",
+		description: "Avoid fixed sleeps in tests. Use deterministic synchronization."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		if (!isTestFilename(ctx.filename)) return {};
+		return { CallExpression: (node) => {
+			const call = node;
+			if (call.callee.type !== "MemberExpression") return Effect.void;
+			const names = Option.getOrUndefined(memberNames(call.callee));
+			if (names === void 0) return Effect.void;
+			const [object, property] = names;
+			if (property !== "sleep") return Effect.void;
+			if (object !== "Effect" && object !== "Bun") return Effect.void;
+			if (hasAllowComment(node, ctx.sourceCode.getAllComments())) return Effect.void;
+			return ctx.report(make({
+				node,
+				message: `Avoid ${object}.sleep(...) in tests. Wait on Deferred, polling helpers, or test controls instead of fixed delays.`
+			}));
+		} };
+	}
+});
+//#endregion
+export { noSleepInTests };

package/dist/rules/no-spread.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-spread.d.ts
+declare const noSpread: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noSpread };

package/dist/rules/no-spread.js

@@ -0,0 +1,26 @@
+import { make } from "../vendor/effect-oxlint/Diagnostic.js";
+import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
+import { define, meta } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+//#region src/rules/no-spread.ts
+const message = "Avoid spread syntax. Use explicit construction or a named transformation instead.";
+const noSpread = define({
+	name: "no-spread",
+	meta: meta({
+		type: "suggestion",
+		description: message
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		const reportSpread = (node) => ctx.report(make({
+			node,
+			message
+		}));
+		return {
+			SpreadElement: reportSpread,
+			JSXSpreadAttribute: reportSpread
+		};
+	}
+});
+//#endregion
+export { noSpread };

package/dist/vendor/effect-oxlint/Rule.d.ts

@@ -58,7 +58,7 @@ declare const define: <Options = undefined>(config: RuleConfig<Options>) => Crea
  *
  * @since 0.2.0
  */
-type EffectVersion = 'v3' | 'v4' | 'both';
+type EffectVersion = "v3" | "v4" | "both";
 /**
  * Build `RuleMeta` with sensible defaults.
  *
@@ -168,24 +168,24 @@ declare const banStatement: (nodeType: string, opts: {
  * @since 0.3.0
  */
 type BanSpec = {
-  readonly type: 'member';
+  readonly type: "member";
   readonly object: string;
   readonly property: string | ReadonlyArray<string>;
   readonly message: string;
 } | {
-  readonly type: 'call';
+  readonly type: "call";
   readonly name: string | ReadonlyArray<string>;
   readonly message: string;
 } | {
-  readonly type: 'new';
+  readonly type: "new";
   readonly name: string | ReadonlyArray<string>;
   readonly message: string;
 } | {
-  readonly type: 'import';
+  readonly type: "import";
   readonly source: string | ((source: string) => boolean);
   readonly message: string;
 } | {
-  readonly type: 'statement';
+  readonly type: "statement";
   readonly nodeType: string;
   readonly message: string;
 };

package/dist/vendor/effect-oxlint/RuleContext.d.ts

@@ -3,7 +3,7 @@ import * as Context$1 from "effect/Context";
 import { Context, Diagnostic, ESTree, LanguageOptions, Options, Settings, SourceCode } from "@oxlint/plugins";
 
 //#region src/vendor/effect-oxlint/RuleContext.d.ts
-declare const RuleContext_base: Context$1.ServiceClass<RuleContext, "effect-oxlint/RuleContext", {
+declare const RuleContext_base: Context$1.ServiceClass<RuleContext, "oxlint-plugin-effect/vendor/effect-oxlint/RuleContext", {
   /** Report a lint diagnostic for the current file. */readonly report: (diagnostic: Diagnostic) => Effect.Effect<void>; /** Rule ID in `plugin/rule` form. */
   readonly id: string; /** Absolute path of the file being linted. */
   readonly filename: string; /** Current working directory. */

package/dist/vendor/effect-oxlint/RuleContext.js

@@ -9,7 +9,7 @@ import * as Context from "effect/Context";
 *
 * @since 0.1.0
 */
-var RuleContext = class extends Context.Service()("effect-oxlint/RuleContext") {};
+var RuleContext = class extends Context.Service()("oxlint-plugin-effect/vendor/effect-oxlint/RuleContext") {};
 /**
 * Build a `RuleContext` value from the raw oxlint `Context`.
 *

package/dist/vendor/effect-oxlint/Testing.js

@@ -866,7 +866,10 @@ const mockRuleContextLayer = (opts) => {
 *
 * @since 0.2.0
 */
-const withMockRuleContext = (effect, opts) => Effect.provide(effect, mockRuleContextLayer(opts));
+const withMockRuleContext = (effect, opts) => {
+	const { context } = createMockContext(opts);
+	return Effect.provideService(effect, RuleContext, fromOxlintContext(context));
+};
 /** @internal Call a visitor handler on a mock AST node. */
 const callHandler = (visitors, key, visitorNode) => {
 	const handler = visitors[key];

package/dist/vendor/effect-oxlint/Visitor.d.ts

@@ -18,7 +18,7 @@ declare namespace Visitor_d_exports {
  */
 type EffectHandler<N = ESTree.Node> = {
   bivarianceHack(node: N): Effect.Effect<void, never, RuleContext>;
-}['bivarianceHack'];
+}["bivarianceHack"];
 /**
  * A map from AST node type names (and `"NodeType:exit"` variants) to
  * effectful handlers.

package/dist/vendor/effect-oxlint/index.d.ts

@@ -10,4 +10,10 @@ import { SourceCode_d_exports } from "./SourceCode.js";
 import { Testing_d_exports } from "./Testing.js";
 import { Token_d_exports } from "./Token.js";
 import { Comment as OxlintComment, Context, CreateOnceRule, CreateRule, Definition, DefinitionType, ESTree, Fix, FixFn, Fixer, LineColumn, Location, Plugin as OxlintPlugin, Range, Ranged, Reference, Rule as OxlintRule, RuleDocs, RuleMeta, Scope as OxlintScope, ScopeManager, ScopeType, Settings, SourceCode as OxlintSourceCode, Span, Suggestion, Token as OxlintToken, Variable, Visitor as OxlintVisitor } from "@oxlint/plugins";
-export { AST_d_exports as AST, Comment_d_exports as Comment, type Context, type CreateOnceRule, type CreateRule, type Definition, type DefinitionType, Diagnostic_d_exports as Diagnostic, type ESTree, type Fix, type FixFn, type Fixer, type LineColumn, type Location, type OxlintComment, type OxlintPlugin, type OxlintRule, type OxlintScope, type OxlintSourceCode, type OxlintToken, type OxlintVisitor, Plugin_d_exports as Plugin, type Range, type Ranged, type Reference, Rule_d_exports as Rule, RuleContext, type RuleDocs, type RuleMeta, Scope_d_exports as Scope, type ScopeManager, type ScopeType, type Settings, SourceCode_d_exports as SourceCode, type Span, type Suggestion, Testing_d_exports as Testing, Token_d_exports as Token, type Variable, Visitor_d_exports as Visitor, ast, cwd, filename, id, report, sourceCode, text };
+
+//#region src/vendor/effect-oxlint/index.d.ts
+declare namespace index_d_exports {
+  export { AST_d_exports as AST, Comment_d_exports as Comment, Context, CreateOnceRule, CreateRule, Definition, DefinitionType, Diagnostic_d_exports as Diagnostic, ESTree, Fix, FixFn, Fixer, LineColumn, Location, OxlintComment, OxlintPlugin, OxlintRule, OxlintScope, OxlintSourceCode, OxlintToken, OxlintVisitor, Plugin_d_exports as Plugin, Range, Ranged, Reference, Rule_d_exports as Rule, RuleContext, RuleDocs, RuleMeta, Scope_d_exports as Scope, ScopeManager, ScopeType, Settings, SourceCode_d_exports as SourceCode, Span, Suggestion, Testing_d_exports as Testing, Token_d_exports as Token, Variable, Visitor_d_exports as Visitor, ast, cwd, filename, id, report, sourceCode, text };
+}
+//#endregion
+export { AST_d_exports as AST, Comment_d_exports as Comment, type Context, type CreateOnceRule, type CreateRule, type Definition, type DefinitionType, Diagnostic_d_exports as Diagnostic, type ESTree, type Fix, type FixFn, type Fixer, type LineColumn, type Location, type OxlintComment, type OxlintPlugin, type OxlintRule, type OxlintScope, type OxlintSourceCode, type OxlintToken, type OxlintVisitor, Plugin_d_exports as Plugin, type Range, type Ranged, type Reference, Rule_d_exports as Rule, RuleContext, type RuleDocs, type RuleMeta, Scope_d_exports as Scope, type ScopeManager, type ScopeType, type Settings, SourceCode_d_exports as SourceCode, type Span, type Suggestion, Testing_d_exports as Testing, Token_d_exports as Token, type Variable, Visitor_d_exports as Visitor, ast, cwd, filename, id, index_d_exports, report, sourceCode, text };

package/dist/vendor/effect-oxlint/index.js

@@ -1,3 +1,4 @@
+import { __exportAll } from "../../_virtual/_rolldown/runtime.js";
 import { AST_exports } from "./AST.js";
 import { Comment_exports } from "./Comment.js";
 import { Diagnostic_exports } from "./Diagnostic.js";
@@ -9,4 +10,26 @@ import { Scope_exports } from "./Scope.js";
 import { SourceCode_exports } from "./SourceCode.js";
 import { Testing_exports } from "./Testing.js";
 import { Token_exports } from "./Token.js";
-export { AST_exports as AST, Comment_exports as Comment, Diagnostic_exports as Diagnostic, Plugin_exports as Plugin, Rule_exports as Rule, RuleContext, Scope_exports as Scope, SourceCode_exports as SourceCode, Testing_exports as Testing, Token_exports as Token, Visitor_exports as Visitor, ast, cwd, filename, id, report, sourceCode, text };
+//#region src/vendor/effect-oxlint/index.ts
+var effect_oxlint_exports = /* @__PURE__ */ __exportAll({
+	AST: () => AST_exports,
+	Comment: () => Comment_exports,
+	Diagnostic: () => Diagnostic_exports,
+	Plugin: () => Plugin_exports,
+	Rule: () => Rule_exports,
+	RuleContext: () => RuleContext,
+	Scope: () => Scope_exports,
+	SourceCode: () => SourceCode_exports,
+	Testing: () => Testing_exports,
+	Token: () => Token_exports,
+	Visitor: () => Visitor_exports,
+	ast: () => ast,
+	cwd: () => cwd,
+	filename: () => filename,
+	id: () => id,
+	report: () => report,
+	sourceCode: () => sourceCode,
+	text: () => text
+});
+//#endregion
+export { AST_exports as AST, Comment_exports as Comment, Diagnostic_exports as Diagnostic, Plugin_exports as Plugin, Rule_exports as Rule, RuleContext, Scope_exports as Scope, SourceCode_exports as SourceCode, Testing_exports as Testing, Token_exports as Token, Visitor_exports as Visitor, ast, cwd, effect_oxlint_exports, filename, id, report, sourceCode, text };

package/package.json

@@ -1,7 +1,6 @@
 {
   "name": "oxlint-plugin-effect",
-  "version": "0.2.2",
-  "type": "module",
+  "version": "0.2.3",
   "description": "oxlint plugin with Effect-specific lint rules",
   "license": "MIT",
   "repository": {
@@ -11,6 +10,7 @@
   "files": [
     "dist"
   ],
+  "type": "module",
   "exports": {
     ".": {
       "import": {
@@ -24,6 +24,12 @@
         "default": "./dist/plugin.js"
       }
     },
+    "./rule-bindings": {
+      "import": {
+        "types": "./dist/vendor/effect-oxlint/index.d.ts",
+        "default": "./dist/vendor/effect-oxlint/index.js"
+      }
+    },
     "./presets/*": {
       "import": {
         "types": "./dist/presets/*.d.ts",
@@ -44,26 +50,33 @@
     "test": "bun test",
     "gate": "concurrently -n type,style,test -c blue,yellow,green \"bun run typecheck\" \"bun run lint\" \"bun run test\"",
     "codegen": "bun run scripts/codegen.ts",
-    "add-rule": "bun run scripts/add-rule.ts"
+    "add-rule": "bun run scripts/add-rule.ts",
+    "version": "changeset version",
+    "release": "bun run build && changeset publish",
+    "prepare": "lefthook install"
   },
   "dependencies": {
-    "@oxlint/plugins": "^1.60.0"
-  },
-  "peerDependencies": {
-    "effect": ">=4.0.0-beta.49"
+    "@oxlint/plugins": "^1.64.0"
   },
   "devDependencies": {
+    "@changesets/changelog-github": "^0.7.0",
+    "@changesets/cli": "^2.31.0",
     "@effect/language-service": "latest",
     "@effect/vitest": "latest",
     "@types/bun": "latest",
     "@typescript/native-preview": "latest",
     "concurrently": "latest",
-    "effect": "4.0.0-beta.49",
+    "effect": "4.0.0-beta.66",
     "lefthook": "latest",
     "oxfmt": "latest",
     "oxlint": "latest",
-    "tsdown": "^0.21.7",
+    "tsdown": "^0.22.0",
     "typescript": "latest",
+    "unrun": "^0.3.0",
     "vitest": "latest"
-  }
+  },
+  "peerDependencies": {
+    "effect": ">=4.0.0-beta.66 <5"
+  },
+  "packageManager": "bun@1.3.13"
 }