@effect/tsgo 0.41.0 → 0.42.0

package/README.md

@@ -38,12 +38,12 @@ When running in dedicated diagnostics mode, the Effect diagnostics can be emitte
 <!-- supported-components:start -->
 ## Supported Package Versions
 
-The following target package versions are supported by `@effect/tsgo@0.41.0`:
+The following target package versions are supported by `@effect/tsgo@0.42.0`:
 
 | Component | Supported versions |
 |---|---|
-| TypeScript | `7.0.2`, `7.1.0-dev.20260903.1` |
-| Oxlint | `1.79.0`, `1.81.0` |
+| TypeScript | `7.0.2`, `7.1.0-dev.20260907.1` |
+| Oxlint | `1.79.0`, `1.82.0` |
 | oxlint-tsgolint | `7.0.2001` |
 <!-- supported-components:end -->
 
@@ -123,6 +123,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td colspan="2"><strong>Style</strong> <em>Cleanup, consistency, and idiomatic Effect code.</em></td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/acquire-release-disposable.md"><code>acquireReleaseDisposable</code></a></td><td>Suggests Effect.acquireDisposable when Effect.acquireRelease only invokes the acquired resource&#39;s disposal protocol</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/all-of-map-to-for-each.md"><code>allOfMapToForEach</code></a></td><td>Suggests using Effect.forEach instead of Effect.all over an effectful Array#map</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-all-tag-dispatch-to-catch-tag.md"><code>catchAllTagDispatchToCatchTag</code></a></td><td>Suggests Effect.catchTag or Effect.catchTags for catch-all handlers that re-fail unmatched tagged errors</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-all-to-map-error.md"><code>catchAllToMapError</code></a></td><td>Suggests using Effect.mapError instead of Effect.catch + Effect.fail</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-chain-to-first-success-of.md"><code>catchChainToFirstSuccessOf</code></a></td><td>Suggests Effect.firstSuccessOf for consecutive error-independent Effect.catch fallbacks when the error type is preserved</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-conditional-refail-to-catch-if.md"><code>catchConditionalRefailToCatchIf</code></a></td><td>Suggests Effect.catchIf, Effect.catchCauseIf, or Effect.catchTag for conditional catch handlers that re-fail their untouched input</td></tr>
@@ -139,6 +140,8 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/flat-map-conditional-to-filter-or-fail.md"><code>flatMapConditionalToFilterOrFail</code></a></td><td>Suggests Effect.filterOrFail or Effect.filterOrElse when Effect.flatMap conditionally passes its input through with Effect.succeed</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/flat-map-to-map.md"><code>flatMapToMap</code></a></td><td>Suggests using Effect.map instead of Effect.flatMap when the callback only wraps its result with Effect.succeed</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/map-some-to-as-some.md"><code>mapSomeToAsSome</code></a></td><td>Suggests using Effect.asSome instead of Effect.map when the mapper only wraps the success value with Option.some</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/match-effect-to-map-both.md"><code>matchEffectToMapBoth</code></a></td><td>Suggests Effect.mapBoth when Effect.matchEffect only transforms the failure and success channels</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/match-effect-to-match.md"><code>matchEffectToMatch</code></a></td><td>Suggests Effect.match or Effect.matchCause when both Effect.matchEffect handlers only return Effect.succeed</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/missed-pipeable-opportunity.md"><code>missedPipeableOpportunity</code></a></td><td>Suggests using .pipe() for nested function calls</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/missing-effect-service-dependency.md"><code>missingEffectServiceDependency</code></a></td><td>Checks that Effect.Service dependencies satisfy all required layer inputs</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/missing-pipeable-signature.md"><code>missingPipeableSignature</code></a></td><td>Reports exported fixed-arity functions whose call signatures have no corresponding pipeable overload</td></tr>
@@ -149,10 +152,12 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/prefer-schema-type-property.md"><code>preferSchemaTypeProperty</code></a></td><td>Disallows Schema.Schema.Type&lt;typeof X&gt; in favor of typeof X.Type</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/prefer-succeed-some-or-none.md"><code>preferSucceedSomeOrNone</code></a></td><td>Suggests using Effect.succeedNone or Effect.succeedSome instead of wrapping Option.none or Option.some with Effect.succeed</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/prefer-typed-schema-decoder.md"><code>preferTypedSchemaDecoder</code></a></td><td>Suggests typed Schema decoders when the input is assignable to the schema&#39;s Encoded type</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/provide-layer-succeed-to-provide-service.md"><code>provideLayerSucceedToProvideService</code></a></td><td>Suggests providing inline Layer.succeed and Layer.effect services directly</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/race-first-with-sleep-to-timeout.md"><code>raceFirstWithSleepToTimeout</code></a></td><td>Suggests Effect.timeoutOrElse when Effect.raceFirst has exactly one sleep- or delay-based timer arm</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/redundant-map-error.md"><code>redundantMapError</code></a></td><td>Suggests hoisting a repeated trailing Effect.mapError from every yield in an Effect generator</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/redundant-or-die.md"><code>redundantOrDie</code></a></td><td>Suggests hoisting a repeated trailing Effect.orDie from every yield in an Effect generator</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/redundant-schema-tag-identifier.md"><code>redundantSchemaTagIdentifier</code></a></td><td>Suggests removing redundant identifier argument when it equals the tag value in Schema.TaggedClass/TaggedError/TaggedRequest</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/run-of-exit-to-run-exit.md"><code>runOfExitToRunExit</code></a></td><td>Suggests using Effect.runPromiseExit instead of passing Effect.exit to Effect.runPromise</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/schema-number.md"><code>schemaNumber</code></a></td><td>Suggests Schema.Finite and Schema.FiniteFromString instead of Schema.Number APIs when describing domain numbers</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/schema-struct-with-tag.md"><code>schemaStructWithTag</code></a></td><td>Suggests using Schema.TaggedStruct instead of Schema.Struct with _tag field</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/schema-union-of-literals.md"><code>schemaUnionOfLiterals</code></a></td><td>Suggests combining multiple Schema.Literal calls in Schema.Union into a single Schema.Literal</td></tr>

package/dist/effect-tsgo.cjs

@@ -48900,7 +48900,7 @@ const runWith = (command, config) => {
 //#endregion
 //#region package.json
 var name = "@effect/tsgo";
-var version = "0.41.0";
+var version = "0.42.0";
 
 //#endregion
 //#region src/metadata.json
@@ -50032,6 +50032,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "catchAllTagDispatchToCatchTag",
+		"group": "style",
+		"description": "Suggests Effect.catchTag or Effect.catchTags for catch-all handlers that re-fail unmatched tagged errors",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377122],
+		"preview": {
+			"sourceText": "import { Data, Effect } from \"effect\"\n\nclass NotFound extends Data.TaggedError(\"NotFound\")<{}> {}\nclass Timeout extends Data.TaggedError(\"Timeout\")<{}> {}\nclass Unauthorized extends Data.TaggedError(\"Unauthorized\")<{}> {}\n\ndeclare const program: Effect.Effect<string, NotFound | Timeout | Unauthorized>\n\nexport const recovered = program.pipe(\n  Effect.catch((error) => {\n    switch (error._tag) {\n      case \"NotFound\":\n        return Effect.succeed(\"guest\")\n      case \"Timeout\":\n        return Effect.succeed(\"retrying\")\n      default:\n        return Effect.fail(error)\n    }\n  })\n)\n",
+			"diagnostics": [{
+				"start": 345,
+				"end": 357,
+				"text": "Branching on `error._tag` inside `Effect.catch` hand-rolls tagged error dispatch; use `Effect.catchTag` or `Effect.catchTags`, which re-fail unmatched errors automatically. effect(catchAllTagDispatchToCatchTag)"
+			}]
+		}
+	},
 	{
 		"name": "catchAllToMapError",
 		"group": "style",
@@ -50075,11 +50092,11 @@ var rules = [
 		"supportedEffect": ["v4"],
 		"codes": [377116],
 		"preview": {
-			"sourceText": "import { Data, Effect } from \"effect\"\n\nclass NotFound extends Data.TaggedError(\"NotFound\")<{}> {}\nclass DatabaseError extends Data.TaggedError(\"DatabaseError\")<{}> {}\n\ndeclare const program: Effect.Effect<string, NotFound | DatabaseError>\n\nexport const recovered = program.pipe(\n  Effect.catch((error) =>\n    error._tag === \"NotFound\" ? Effect.succeed(\"guest\") : Effect.fail(error)\n  )\n)\n",
+			"sourceText": "import { Data, Effect } from \"effect\"\n\nclass NotFound extends Data.TaggedError(\"NotFound\")<{}> {}\nclass DatabaseError extends Data.TaggedError(\"DatabaseError\")<{}> {}\n\ndeclare const program: Effect.Effect<string, NotFound | DatabaseError>\n\nexport const recovered = program.pipe(\n  Effect.catch((error) =>\n    error instanceof NotFound ? Effect.succeed(\"guest\") : Effect.fail(error)\n  )\n)\n",
 			"diagnostics": [{
 				"start": 281,
 				"end": 293,
-				"text": "`Effect.catchTag` expresses selective recovery more directly than `Effect.catch` with a conditional `Effect.fail` passthrough. effect(catchConditionalRefailToCatchIf)"
+				"text": "`Effect.catchIf` expresses selective recovery more directly than `Effect.catch` with a conditional `Effect.fail` passthrough. effect(catchConditionalRefailToCatchIf)"
 			}]
 		}
 	},
@@ -50316,6 +50333,40 @@ var rules = [
 			]
 		}
 	},
+	{
+		"name": "matchEffectToMapBoth",
+		"group": "style",
+		"description": "Suggests Effect.mapBoth when Effect.matchEffect only transforms the failure and success channels",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377126],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\ndeclare const program: Effect.Effect<number, string>\n\nprogram.pipe(Effect.matchEffect({\n  onFailure: (error) => Effect.fail(error.length),\n  onSuccess: (value) => Effect.succeed(value + 1)\n}))\n",
+			"diagnostics": [{
+				"start": 100,
+				"end": 118,
+				"text": "`Effect.mapBoth` expresses these failure and success transformations more directly than `Effect.matchEffect`. effect(matchEffectToMapBoth)"
+			}]
+		}
+	},
+	{
+		"name": "matchEffectToMatch",
+		"group": "style",
+		"description": "Suggests Effect.match or Effect.matchCause when both Effect.matchEffect handlers only return Effect.succeed",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377125],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\ndeclare const program: Effect.Effect<number, string>\n\nprogram.pipe(Effect.matchEffect({\n  onFailure: (error) => Effect.succeed(error.length),\n  onSuccess: (value) => Effect.succeed(value + 1)\n}))\n",
+			"diagnostics": [{
+				"start": 100,
+				"end": 118,
+				"text": "`Effect.match` expresses this non-effectful fold more directly than `Effect.matchEffect` with `Effect.succeed` handlers. effect(matchEffectToMatch)"
+			}]
+		}
+	},
 	{
 		"name": "missedPipeableOpportunity",
 		"group": "style",
@@ -50490,6 +50541,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "provideLayerSucceedToProvideService",
+		"group": "style",
+		"description": "Suggests providing inline Layer.succeed and Layer.effect services directly",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v4"],
+		"codes": [377124],
+		"preview": {
+			"sourceText": "import { Context, Effect, Layer } from \"effect\"\n\nclass Service extends Context.Service<Service, { readonly value: number }>()(\"Service\") {}\n\nconst program = Service.use((service) => Effect.succeed(service.value)).pipe(\n  Effect.provide(Layer.succeed(Service, { value: 1 }))\n)\n",
+			"diagnostics": [{
+				"start": 221,
+				"end": 235,
+				"text": "`Effect.provideService` provides this inline single-service layer directly. effect(provideLayerSucceedToProvideService)"
+			}]
+		}
+	},
 	{
 		"name": "raceFirstWithSleepToTimeout",
 		"group": "style",
@@ -50558,6 +50626,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "runOfExitToRunExit",
+		"group": "style",
+		"description": "Suggests using Effect.runPromiseExit instead of passing Effect.exit to Effect.runPromise",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377123],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\ndeclare const program: Effect.Effect<number, Error>\n\nexport const exit = Effect.runPromise(Effect.exit(program))\n",
+			"diagnostics": [{
+				"start": 106,
+				"end": 123,
+				"text": "`Effect.runPromise` of `Effect.exit` re-implements `Effect.runPromiseExit`. Use the dedicated Exit runner directly. effect(runOfExitToRunExit)"
+			}]
+		}
+	},
 	{
 		"name": "schemaNumber",
 		"group": "style",
@@ -50782,9 +50867,9 @@ var metadata_default = {
 var tags = {
 	"typescript": {
 		"latest": "7.0.2",
-		"next": "7.1.0-dev.20260903.1"
+		"next": "7.1.0-dev.20260907.1"
 	},
-	"oxlint": { "latest": "1.81.0" },
+	"oxlint": { "latest": "1.82.0" },
 	"oxlint-tsgolint": { "latest": "7.0.2001" }
 };
 var components = {
@@ -50793,8 +50878,8 @@ var components = {
 			"gitHead": "2bd066d87f5bafd315be9f40889d0a60b9e58e0b",
 			"provider": "typescript-go"
 		},
-		"7.1.0-dev.20260903.1": {
-			"gitHead": "cf7b9361a33fa0c8e1afa3cf45fde29c9ab23ec0",
+		"7.1.0-dev.20260907.1": {
+			"gitHead": "1f70213d4922b434345f639b441681e470c7cfc1",
 			"provider": "typescript"
 		}
 	},
@@ -50804,7 +50889,7 @@ var components = {
 	} },
 	"oxlint": {
 		"1.79.0": { "gitHead": "0db127cc16d28b97d84bac4ebeb302caf1a78c7e" },
-		"1.81.0": { "gitHead": "0b4e2e67f4193e7ebfcc64982275eb583ae82c83" }
+		"1.82.0": { "gitHead": "b4da00b621ec2f6f67ed218f5366c45ed325331b" }
 	}
 };
 

package/oxlint-presets/index.js

@@ -105,6 +105,7 @@ export const recommended = {
     "effecttsgo/acquire-release-disposable": "warn",
     "effecttsgo/all-of-map-to-for-each": "warn",
     "effecttsgo/async-function": "warn",
+    "effecttsgo/catch-all-tag-dispatch-to-catch-tag": "warn",
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
     "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
@@ -176,6 +177,7 @@ export const recommended = {
     "effecttsgo/redundant-schema-tag-identifier": "warn",
     "effecttsgo/return-effect-in-gen": "warn",
     "effecttsgo/run-effect-inside-effect": "warn",
+    "effecttsgo/run-of-exit-to-run-exit": "warn",
     "effecttsgo/schema-literal-non-finite": "error",
     "effecttsgo/schema-number": "warn",
     "effecttsgo/schema-opaque-instance-member": "error",
@@ -203,6 +205,7 @@ export const style = {
   "rules": {
     "effecttsgo/acquire-release-disposable": "warn",
     "effecttsgo/all-of-map-to-for-each": "warn",
+    "effecttsgo/catch-all-tag-dispatch-to-catch-tag": "warn",
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
     "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
@@ -233,6 +236,7 @@ export const style = {
     "effecttsgo/redundant-map-error": "warn",
     "effecttsgo/redundant-or-die": "warn",
     "effecttsgo/redundant-schema-tag-identifier": "warn",
+    "effecttsgo/run-of-exit-to-run-exit": "warn",
     "effecttsgo/schema-number": "warn",
     "effecttsgo/schema-struct-with-tag": "warn",
     "effecttsgo/schema-union-of-literals": "warn",

package/oxlint-presets/recommended.json

@@ -10,6 +10,7 @@
     "effecttsgo/acquire-release-disposable": "warn",
     "effecttsgo/all-of-map-to-for-each": "warn",
     "effecttsgo/async-function": "warn",
+    "effecttsgo/catch-all-tag-dispatch-to-catch-tag": "warn",
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
     "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
@@ -81,6 +82,7 @@
     "effecttsgo/redundant-schema-tag-identifier": "warn",
     "effecttsgo/return-effect-in-gen": "warn",
     "effecttsgo/run-effect-inside-effect": "warn",
+    "effecttsgo/run-of-exit-to-run-exit": "warn",
     "effecttsgo/schema-literal-non-finite": "error",
     "effecttsgo/schema-number": "warn",
     "effecttsgo/schema-opaque-instance-member": "error",

package/oxlint-presets/style.json

@@ -8,6 +8,7 @@
   "rules": {
     "effecttsgo/acquire-release-disposable": "warn",
     "effecttsgo/all-of-map-to-for-each": "warn",
+    "effecttsgo/catch-all-tag-dispatch-to-catch-tag": "warn",
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
     "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
@@ -38,6 +39,7 @@
     "effecttsgo/redundant-map-error": "warn",
     "effecttsgo/redundant-or-die": "warn",
     "effecttsgo/redundant-schema-tag-identifier": "warn",
+    "effecttsgo/run-of-exit-to-run-exit": "warn",
     "effecttsgo/schema-number": "warn",
     "effecttsgo/schema-struct-with-tag": "warn",
     "effecttsgo/schema-union-of-literals": "warn",

package/oxlint-schema.json

@@ -2248,6 +2248,9 @@
         "effecttsgo/async-function": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/catch-all-tag-dispatch-to-catch-tag": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/catch-all-to-map-error": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -2389,6 +2392,12 @@
         "effecttsgo/map-some-to-as-some": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/match-effect-to-map-both": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "effecttsgo/match-effect-to-match": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/missed-pipeable-opportunity": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -2467,6 +2476,9 @@
         "effecttsgo/promise-in-effect-success": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/provide-layer-succeed-to-provide-service": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/race-first-with-sleep-to-timeout": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -2485,6 +2497,9 @@
         "effecttsgo/run-effect-inside-effect": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/run-of-exit-to-run-exit": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/schema-literal-non-finite": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -5597,7 +5612,24 @@
           "$ref": "#/definitions/RuleNoConfig"
         },
         "no-unmodified-loop-condition": {
-          "$ref": "#/definitions/RuleNoConfig"
+          "anyOf": [
+            {
+              "$ref": "#/definitions/RuleNoConfig"
+            },
+            {
+              "items": [
+                {
+                  "$ref": "#/definitions/AllowWarnDeny"
+                },
+                {
+                  "$ref": "#/definitions/NoUnmodifiedLoopCondition"
+                }
+              ],
+              "maxItems": 2,
+              "minItems": 2,
+              "type": "array"
+            }
+          ]
         },
         "no-unneeded-ternary": {
           "anyOf": [
@@ -16036,6 +16068,18 @@
       },
       "type": "object"
     },
+    "NoUnmodifiedLoopCondition": {
+      "additionalProperties": false,
+      "properties": {
+        "checkConditionalExpressions": {
+          "default": false,
+          "description": "Whether references in each branch of a conditional expression should be checked\nindependently instead of checking the result of the entire expression.",
+          "markdownDescription": "Whether references in each branch of a conditional expression should be checked\nindependently instead of checking the result of the entire expression.",
+          "type": "boolean"
+        }
+      },
+      "type": "object"
+    },
     "NoUnnecessaryBooleanLiteralCompareConfig": {
       "additionalProperties": false,
       "properties": {
@@ -16669,33 +16713,6 @@
         }
       ]
     },
-    "NumericBaseConfig": {
-      "additionalProperties": false,
-      "properties": {
-        "groupLength": {
-          "default": 0,
-          "description": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
-          "format": "uint32",
-          "markdownDescription": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
-          "minimum": 0,
-          "type": "integer"
-        },
-        "minimumDigits": {
-          "default": 0,
-          "description": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
-          "format": "uint32",
-          "markdownDescription": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
-          "minimum": 0,
-          "type": "integer"
-        },
-        "onlyIfContainsSeparator": {
-          "description": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
-          "markdownDescription": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
-          "type": "boolean"
-        }
-      },
-      "type": "object"
-    },
     "NumericNumberConfig": {
       "additionalProperties": false,
       "properties": {
@@ -16708,7 +16725,7 @@
           "type": "integer"
         },
         "groupLength": {
-          "default": 0,
+          "default": 3,
           "description": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
           "format": "uint32",
           "markdownDescription": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
@@ -16716,7 +16733,7 @@
           "type": "integer"
         },
         "minimumDigits": {
-          "default": 0,
+          "default": 5,
           "description": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
           "format": "uint32",
           "markdownDescription": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
@@ -16735,30 +16752,70 @@
       "additionalProperties": false,
       "properties": {
         "binary": {
-          "allOf": [
-            {
-              "$ref": "#/definitions/NumericBaseConfig"
-            }
-          ],
+          "additionalProperties": false,
           "default": {
             "groupLength": 4,
             "minimumDigits": 0
           },
           "description": "Configuration for binary literals (e.g. `0b1010_0001` and bigint variants).\nControls how digits are grouped and when separators are applied.",
-          "markdownDescription": "Configuration for binary literals (e.g. `0b1010_0001` and bigint variants).\nControls how digits are grouped and when separators are applied."
+          "markdownDescription": "Configuration for binary literals (e.g. `0b1010_0001` and bigint variants).\nControls how digits are grouped and when separators are applied.",
+          "properties": {
+            "groupLength": {
+              "default": 4,
+              "description": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
+              "format": "uint32",
+              "markdownDescription": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
+              "minimum": 0,
+              "type": "integer"
+            },
+            "minimumDigits": {
+              "default": 0,
+              "description": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
+              "format": "uint32",
+              "markdownDescription": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
+              "minimum": 0,
+              "type": "integer"
+            },
+            "onlyIfContainsSeparator": {
+              "description": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
+              "markdownDescription": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
+              "type": "boolean"
+            }
+          },
+          "type": "object"
         },
         "hexadecimal": {
-          "allOf": [
-            {
-              "$ref": "#/definitions/NumericBaseConfig"
-            }
-          ],
+          "additionalProperties": false,
           "default": {
             "groupLength": 2,
             "minimumDigits": 0
           },
           "description": "Configuration for hexadecimal literals (e.g. `0xAB_CD`, `0Xab_cd`, and bigint variants).\nControls how digits are grouped and when separators are applied.",
-          "markdownDescription": "Configuration for hexadecimal literals (e.g. `0xAB_CD`, `0Xab_cd`, and bigint variants).\nControls how digits are grouped and when separators are applied."
+          "markdownDescription": "Configuration for hexadecimal literals (e.g. `0xAB_CD`, `0Xab_cd`, and bigint variants).\nControls how digits are grouped and when separators are applied.",
+          "properties": {
+            "groupLength": {
+              "default": 2,
+              "description": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
+              "format": "uint32",
+              "markdownDescription": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
+              "minimum": 0,
+              "type": "integer"
+            },
+            "minimumDigits": {
+              "default": 0,
+              "description": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
+              "format": "uint32",
+              "markdownDescription": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
+              "minimum": 0,
+              "type": "integer"
+            },
+            "onlyIfContainsSeparator": {
+              "description": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
+              "markdownDescription": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
+              "type": "boolean"
+            }
+          },
+          "type": "object"
         },
         "number": {
           "allOf": [
@@ -16770,17 +16827,37 @@
           "markdownDescription": "Configuration for decimal numbers (integers, fraction parts, and exponents).\nControls how digits are grouped and when separators are applied."
         },
         "octal": {
-          "allOf": [
-            {
-              "$ref": "#/definitions/NumericBaseConfig"
-            }
-          ],
+          "additionalProperties": false,
           "default": {
             "groupLength": 4,
             "minimumDigits": 0
           },
           "description": "Configuration for octal literals (e.g. `0o1234_5670` and bigint variants).\nControls how digits are grouped and when separators are applied.",
-          "markdownDescription": "Configuration for octal literals (e.g. `0o1234_5670` and bigint variants).\nControls how digits are grouped and when separators are applied."
+          "markdownDescription": "Configuration for octal literals (e.g. `0o1234_5670` and bigint variants).\nControls how digits are grouped and when separators are applied.",
+          "properties": {
+            "groupLength": {
+              "default": 4,
+              "description": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
+              "format": "uint32",
+              "markdownDescription": "The number of digits per group when inserting numeric separators.\nFor example, a `groupLength` of 3 formats `1234567` as `1_234_567`.",
+              "minimum": 0,
+              "type": "integer"
+            },
+            "minimumDigits": {
+              "default": 0,
+              "description": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
+              "format": "uint32",
+              "markdownDescription": "The minimum number of digits required before grouping is applied.\nValues with fewer digits than this threshold will not be grouped.",
+              "minimum": 0,
+              "type": "integer"
+            },
+            "onlyIfContainsSeparator": {
+              "description": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
+              "markdownDescription": "Only enforce the rule when the numeric literal already contains a separator (`_`).\n\nWhen `true`, numbers without separators are left as-is; when `false` (default),\ngrouping will be enforced for eligible numbers even if they don't include separators yet.",
+              "type": "boolean"
+            }
+          },
+          "type": "object"
         },
         "onlyIfContainsSeparator": {
           "default": false,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.41.0",
+  "version": "0.42.0",
   "type": "module",
   "description": "Effect Language Service for TypeScript-Go — Effect-specific diagnostics and hover features.",
   "license": "MIT",
@@ -41,13 +41,13 @@
     "schema.json"
   ],
   "optionalDependencies": {
-    "@effect/tsgo-win32-arm64": "0.41.0",
-    "@effect/tsgo-win32-x64": "0.41.0",
-    "@effect/tsgo-linux-x64": "0.41.0",
-    "@effect/tsgo-linux-arm64": "0.41.0",
-    "@effect/tsgo-linux-arm": "0.41.0",
-    "@effect/tsgo-darwin-x64": "0.41.0",
-    "@effect/tsgo-darwin-arm64": "0.41.0"
+    "@effect/tsgo-win32-x64": "0.42.0",
+    "@effect/tsgo-win32-arm64": "0.42.0",
+    "@effect/tsgo-linux-x64": "0.42.0",
+    "@effect/tsgo-linux-arm64": "0.42.0",
+    "@effect/tsgo-linux-arm": "0.42.0",
+    "@effect/tsgo-darwin-x64": "0.42.0",
+    "@effect/tsgo-darwin-arm64": "0.42.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.107",

package/schema.json

@@ -2312,6 +2312,11 @@
           "default": "off",
           "description": "Warns when declaring async functions and suggests using Effect values and Effect.gen for async control flow"
         },
+        "catchAllTagDispatchToCatchTag": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests Effect.catchTag or Effect.catchTags for catch-all handlers that re-fail unmatched tagged errors"
+        },
         "catchAllToMapError": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "suggestion",
@@ -2677,6 +2682,11 @@
           "default": "warning",
           "description": "Detects Promise types in Effect success channels where they are not awaited"
         },
+        "provideLayerSucceedToProvideService": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests providing inline Layer.succeed and Layer.effect services directly"
+        },
         "raceFirstWithSleepToTimeout": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "suggestion",
@@ -2707,6 +2717,11 @@
           "default": "suggestion",
           "description": "Suggests using Runtime or Effect.run*With methods instead of Effect.run* inside Effect contexts"
         },
+        "runOfExitToRunExit": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests using Effect.runPromiseExit instead of passing Effect.exit to Effect.runPromise"
+        },
         "schemaLiteralNonFinite": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "error",