oxlint-plugin-effect 0.2.3 → 0.3.0

package/README.md

@@ -66,7 +66,16 @@ 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`.
+68 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`.
+
+`effect/noTryCatch` rejects every JavaScript `try` statement, including
+`try/catch`, bare `try/finally`, and `try/catch/finally`. Use Effect's typed
+failure channel and scoped finalization operators instead.
+
+The core presets also reject sequential state mutations hidden in
+`Effect.all(..., { concurrency: 1 })`. The stricter `noManualDataGuard` rule
+requires unknown input to cross a Schema boundary instead of being promoted by
+a hand-written type predicate.
 
 ## Development
 

package/dist/presets/core.d.ts

@@ -35,6 +35,7 @@ declare const core: {
   readonly "effect/noMakeUnsafe": "error";
   readonly "effect/noHandRolledTaggedUnion": "error";
   readonly "effect/noDynamicImports": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
   readonly "effect/noNewPromise": "error";

package/dist/presets/core.js

@@ -35,6 +35,7 @@ const core = {
 	"effect/noMakeUnsafe": "error",
 	"effect/noHandRolledTaggedUnion": "error",
 	"effect/noDynamicImports": "error",
+	"effect/noEffectAllStepSequencing": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
 	"effect/noNewPromise": "error",

package/dist/presets/effect-native.d.ts

@@ -9,6 +9,7 @@ declare const effectNative: {
   readonly "effect/noNodeBuiltinImport": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
   readonly "effect/noNewPromise": "error";
   readonly "effect/noNewError": "error";
   readonly "effect/noReturnNullish": "error";

package/dist/presets/effect-native.js

@@ -9,6 +9,7 @@ const effectNative = {
 	"effect/noNodeBuiltinImport": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
+	"effect/noEffectAllStepSequencing": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "error",

package/dist/presets/full.d.ts

@@ -53,6 +53,7 @@ declare const full: {
   readonly "effect/noMakeUnsafe": "error";
   readonly "effect/noHandRolledTaggedUnion": "error";
   readonly "effect/noDynamicImports": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
   readonly "effect/noNewPromise": "error";

package/dist/presets/full.js

@@ -53,6 +53,7 @@ const full = {
 	"effect/noMakeUnsafe": "error",
 	"effect/noHandRolledTaggedUnion": "error",
 	"effect/noDynamicImports": "error",
+	"effect/noEffectAllStepSequencing": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
 	"effect/noNewPromise": "error",

package/dist/presets/strict.d.ts

@@ -59,6 +59,8 @@ declare const strict: {
   readonly "effect/noDynamicImports": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
+  readonly "effect/noManualDataGuard": "error";
   readonly "effect/noNewPromise": "error";
   readonly "effect/noNewError": "error";
   readonly "effect/noReturnNullish": "error";

package/dist/presets/strict.js

@@ -59,6 +59,8 @@ const strict = {
 	"effect/noDynamicImports": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
+	"effect/noEffectAllStepSequencing": "error",
+	"effect/noManualDataGuard": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "error",

package/dist/rules/index.d.ts

@@ -11,6 +11,7 @@ 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 { noEffectAllStepSequencing } from "./no-effect-all-step-sequencing.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";
@@ -32,6 +33,7 @@ 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 { noManualDataGuard } from "./no-manual-data-guard.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";
@@ -67,7 +69,7 @@ import { noTryCatch } from "./no-try-catch.js";
 
 //#region src/rules/index.d.ts
 declare namespace index_d_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 };
+  export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAllStepSequencing, 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, noManualDataGuard, 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, 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 };
+export { index_d_exports, noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAllStepSequencing, 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, noManualDataGuard, 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

@@ -12,6 +12,7 @@ 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 { noEffectAllStepSequencing } from "./no-effect-all-step-sequencing.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";
@@ -33,6 +34,7 @@ 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 { noManualDataGuard } from "./no-manual-data-guard.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";
@@ -71,6 +73,7 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noAsyncFunction: () => noAsyncFunction,
 	noCatchAllToMapError: () => noCatchAllToMapError,
 	noDynamicImports: () => noDynamicImports,
+	noEffectAllStepSequencing: () => noEffectAllStepSequencing,
 	noEffectAs: () => noEffectAs,
 	noEffectAsync: () => noEffectAsync,
 	noEffectBind: () => noEffectBind,
@@ -100,6 +103,7 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noInlineProvide: () => noInlineProvide,
 	noInstanceofSchema: () => noInstanceofSchema,
 	noMakeUnsafe: () => noMakeUnsafe,
+	noManualDataGuard: () => noManualDataGuard,
 	noManualEffectChannels: () => noManualEffectChannels,
 	noMatchEffectBranch: () => noMatchEffectBranch,
 	noMatchVoidBranch: () => noMatchVoidBranch,
@@ -135,4 +139,4 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noUnnecessaryPipeChain: () => noUnnecessaryPipeChain
 });
 //#endregion
-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 };
+export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAllStepSequencing, 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, noManualDataGuard, 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-effect-all-step-sequencing.d.ts

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

package/dist/rules/no-effect-all-step-sequencing.js

@@ -0,0 +1,63 @@
+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-effect-all-step-sequencing.ts
+const isAstNode = (value) => typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
+const statefulSteps = new Set([
+	"Atom.set",
+	"Effect.log",
+	"Effect.logDebug",
+	"Effect.logError",
+	"Effect.logFatal",
+	"Effect.logInfo",
+	"Effect.logTrace",
+	"Effect.logWarning",
+	"Fiber.interrupt",
+	"Reactivity.invalidate",
+	"Ref.set",
+	"SubscriptionRef.set"
+]);
+const memberName = (value) => {
+	if (!isAstNode(value) || value.type !== "MemberExpression") return void 0;
+	const object = value["object"];
+	const property = value["property"];
+	if (!isAstNode(object) || !isAstNode(property)) return void 0;
+	if (object.type !== "Identifier" || property.type !== "Identifier") return void 0;
+	return typeof object["name"] === "string" && typeof property["name"] === "string" ? `${object["name"]}.${property["name"]}` : void 0;
+};
+const containsStatefulStep = (value) => {
+	if (Array.isArray(value)) return value.some(containsStatefulStep);
+	if (!isAstNode(value)) return false;
+	if (value.type === "CallExpression" && statefulSteps.has(memberName(value["callee"]) ?? "")) return true;
+	return Object.entries(value).some(([key, child]) => key !== "parent" && containsStatefulStep(child));
+};
+const hasSequentialConcurrency = (value) => {
+	if (!isAstNode(value) || value.type !== "ObjectExpression") return false;
+	return (Array.isArray(value["properties"]) ? value["properties"] : []).some((property) => {
+		if (!isAstNode(property) || property.type !== "Property") return false;
+		const key = property["key"];
+		const propertyValue = property["value"];
+		return isAstNode(key) && (key["name"] === "concurrency" || key["value"] === "concurrency") && isAstNode(propertyValue) && propertyValue["value"] === 1;
+	});
+};
+const noEffectAllStepSequencing = define({
+	name: "no-effect-all-step-sequencing",
+	meta: meta({
+		type: "suggestion",
+		description: "Use a linear Effect pipeline for sequential stateful steps."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			if (memberName(node.callee) !== "Effect.all" || node.arguments.length < 2) return Effect.void;
+			return hasSequentialConcurrency(node.arguments[1]) && containsStatefulStep(node.arguments[0]) ? ctx.report(make({
+				node,
+				message: "Avoid Effect.all for sequential side-effect steps. Use one explicit linear pipeline with Effect.andThen or Effect.flatMap."
+			})) : Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noEffectAllStepSequencing };

package/dist/rules/no-manual-data-guard.d.ts

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

package/dist/rules/no-manual-data-guard.js

@@ -0,0 +1,56 @@
+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-manual-data-guard.ts
+const isAstNode = (value) => typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
+const functionTypes = new Set([
+	"ArrowFunctionExpression",
+	"FunctionDeclaration",
+	"FunctionExpression"
+]);
+const findFunction = (node) => {
+	let parent = node.parent;
+	while (isAstNode(parent)) {
+		if (functionTypes.has(parent.type)) return parent;
+		parent = parent.parent;
+	}
+};
+const containsNodeType = (value, nodeTypes) => {
+	if (Array.isArray(value)) return value.some((item) => containsNodeType(item, nodeTypes));
+	if (!isAstNode(value)) return false;
+	if (nodeTypes.has(value.type)) return true;
+	return Object.entries(value).some(([key, child]) => key !== "parent" && containsNodeType(child, nodeTypes));
+};
+const containsInstanceOf = (value) => {
+	if (Array.isArray(value)) return value.some(containsInstanceOf);
+	if (!isAstNode(value)) return false;
+	if (value.type === "BinaryExpression" && value["operator"] === "instanceof") return true;
+	return Object.entries(value).some(([key, child]) => key !== "parent" && containsInstanceOf(child));
+};
+const parameterName = (parameter) => {
+	if (!isAstNode(parameter)) return void 0;
+	if ((parameter.type === "Identifier" || parameter.type === "BindingIdentifier") && typeof parameter["name"] === "string") return parameter["name"];
+};
+const noManualDataGuard = define({
+	name: "no-manual-data-guard",
+	meta: meta({
+		type: "suggestion",
+		description: "Decode unknown data with Schema instead of asserting it with a type predicate."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { TSTypePredicate: (node) => {
+			const fn = findFunction(node);
+			if (fn === void 0 || containsInstanceOf(fn["body"])) return Effect.void;
+			const predicateParameter = parameterName(node.parameterName);
+			return (Array.isArray(fn["params"]) ? fn["params"] : []).some((parameter) => parameterName(parameter) === predicateParameter && containsNodeType(parameter, new Set(["TSUnknownKeyword", "TSAnyKeyword"]))) ? ctx.report(make({
+				node,
+				message: "Avoid promoting unknown data with a manual type predicate. Decode it with the canonical Schema first."
+			})) : Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noManualDataGuard };

package/dist/rules/no-try-catch.js

@@ -8,7 +8,7 @@ import * as Effect from "effect/Effect";
 import * as Ref from "effect/Ref";
 //#region src/rules/no-try-catch.ts
 /**
-* Ban `try/catch` statements. Context-aware messaging.
+* Ban all `try` statements: try/catch, try/finally, and try/catch/finally.
 *
 * Inside Effect.gen/fn: "Use Effect.try or Effect.tryPromise"
 * Outside: "Wrap with Effect.fn and use Effect.try for error handling"
@@ -19,14 +19,14 @@ const noTryCatch = define({
 	name: "no-try-catch",
 	meta: meta({
 		type: "suggestion",
-		description: "Avoid try/catch. Use Effect.try or Effect.tryPromise."
+		description: "Avoid try/catch/finally blocks. Use Effect error handling and finalization operators."
 	}),
 	create: function* () {
 		const ctx = yield* RuleContext;
 		const [depth, tracker] = yield* makeEffectContextTracker;
 		return merge(tracker, { TryStatement: (node) => Effect.flatMap(Ref.get(depth), (d) => ctx.report(make({
 			node,
-			message: d > 0 ? "Avoid try/catch inside Effect.gen/fn. Use Effect.try({ try: () => ..., catch: (e) => new MyError({ cause: e }) })." : "Avoid try/catch. Wrap this function with Effect.fn and use Effect.try or Effect.tryPromise for error handling."
+			message: d > 0 ? "Avoid try/catch/finally inside Effect.gen/fn. Use Effect.try or Effect.tryPromise for failures and Effect.ensuring or Effect.acquireUseRelease for finalization." : "Avoid try/catch/finally. Use Effect.try or Effect.tryPromise for failures and Effect.ensuring or Effect.acquireUseRelease for finalization."
 		}))) });
 	}
 });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "oxlint-plugin-effect",
-  "version": "0.2.3",
+  "version": "0.3.0",
   "description": "oxlint plugin with Effect-specific lint rules",
   "license": "MIT",
   "repository": {