@effect/tsgo 0.48.1 → 0.50.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.48.1`:
+The following target package versions are supported by `@effect/tsgo@0.50.0`:
 
 | Component | Supported versions |
 |---|---|
-| TypeScript | `7.0.2`, `7.1.0-dev.20260929.1` |
-| Oxlint | `1.82.0`, `1.83.0`, `1.84.0`, `1.85.0`, `1.86.0` |
+| TypeScript | `7.0.2`, `7.1.0-dev.20261005.1` |
+| Oxlint | `1.82.0`, `1.83.0`, `1.85.0`, `1.86.0`, `1.87.0` |
 | oxlint-tsgolint | `7.0.2001`, `7.0.2003` |
 <!-- supported-components:end -->
 
@@ -179,6 +179,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/unnecessary-pipe.md"><code>unnecessaryPipe</code></a></td><td>Removes pipe calls with no arguments</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/unnecessary-pipe-chain.md"><code>unnecessaryPipeChain</code></a></td><td>Simplifies chained pipe calls into a single pipe call</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/unnecessary-typeof-type.md"><code>unnecessaryTypeofType</code></a></td><td>Suggests replacing typeof Schema.Type style annotations with the matching named type when available</td></tr>
+    <tr><td colspan="2"><strong>Maintainers</strong> <em>Guard the public API surface and release hygiene of a package.</em></td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/api-stability-leak.md"><code>apiStabilityLeak</code></a></td><td>Reports exported APIs whose public surface exposes a less stable type</td></tr>
   </tbody>
 </table>
 <!-- diagnostics-table:end -->
@@ -366,11 +368,14 @@ while `effect/http/HttpClient#get` permits only its exported `get` API.
 Matching is case-sensitive and respects path segments: `effect/http` does not
 permit `effect/http-api`. Per-file `overrides` replace the base list.
 
-Names describe the declaration carrying the stability tag, rather than the
-import used by the consumer. They combine the nearest package name with the
-package-relative declaration path, removing a leading `src/`, `dist/`,
-`dist/dts/`, `dist/esm/`, or `dist/cjs/`, the file extension, and a trailing
-`/index`. Other layouts retain their package-relative path. Both diagnostics
-display this name when package metadata is available. APIs without package
-metadata continue to warn. Each list affects only its corresponding diagnostic; allowing an unstable API
-does not suppress experimental API warnings, and vice versa.
+`apiStabilityLeak` ignores exports marked `@internal`. The tag is the compiler's
+`stripInternal` declaration-emit marker, and it is honoured wherever it is
+written: on an exported declaration, on a named, star or namespace forwarding
+declaration, or on a namespace member. An untagged re-export of an internal
+target is ignored as well, because the forwarded target is not public API. A
+declaration that is not tagged keeps the export checked, so a public overload is
+still reported when only its implementation is marked `@internal`. Tagging a
+type does not hide it from public signatures: a public export that exposes an
+`@internal` type is still reported when that type is less stable. The skip is
+export-level only: an ordinary `@internal` property, overload or dependency type
+does not exempt the export that exposes it.

package/dist/effect-tsgo.cjs

@@ -51619,7 +51619,7 @@ const runWith = (command, config) => {
 //#endregion
 //#region package.json
 var name = "@effect/tsgo";
-var version = "0.48.1";
+var version = "0.50.0";
 
 //#endregion
 //#region src/metadata.json
@@ -51643,6 +51643,11 @@ var groups = [
 		"id": "style",
 		"name": "Style",
 		"description": "Cleanup, consistency, and idiomatic Effect code."
+	},
+	{
+		"id": "maintainers",
+		"name": "Maintainers",
+		"description": "Guard the public API surface and release hygiene of a package."
 	}
 ];
 var presets$1 = [
@@ -51963,6 +51968,11 @@ var presets$1 = [
 			"unnecessaryPipeChain": "warning",
 			"unnecessaryTypeofType": "warning"
 		}
+	},
+	{
+		"name": "maintainers",
+		"description": "Enable all maintainer diagnostics at warning level.",
+		"diagnosticSeverity": { "apiStabilityLeak": "warning" }
 	}
 ];
 var rules = [
@@ -54027,6 +54037,23 @@ var rules = [
 				"text": "This `typeof ... .Type` query can be replaced with `UsersRepo.User`. effect(unnecessaryTypeofType)"
 			}]
 		}
+	},
+	{
+		"name": "apiStabilityLeak",
+		"group": "maintainers",
+		"description": "Reports exported APIs whose public surface exposes a less stable type",
+		"defaultSeverity": "off",
+		"fixable": false,
+		"supportedEffect": ["v4"],
+		"codes": [377137],
+		"preview": {
+			"sourceText": "\n/** @stability experimental */\nexport interface PreviewExperimental {\n  value: string\n}\n\nexport interface PreviewStable {\n  leaked: PreviewExperimental\n}\n",
+			"diagnostics": [{
+				"start": 107,
+				"end": 120,
+				"text": "`effect-v4-tests/preview#PreviewStable` exposes `PreviewExperimental`, an experimental API. effect(apiStabilityLeak)"
+			}]
+		}
 	}
 ];
 var metadata_default = {
@@ -54040,9 +54067,9 @@ var metadata_default = {
 var tags = {
 	"typescript": {
 		"latest": "7.0.2",
-		"next": "7.1.0-dev.20260929.1"
+		"next": "7.1.0-dev.20261005.1"
 	},
-	"oxlint": { "latest": "1.86.0" },
+	"oxlint": { "latest": "1.87.0" },
 	"oxlint-tsgolint": { "latest": "7.0.2003" }
 };
 var components = {
@@ -54051,8 +54078,8 @@ var components = {
 			"gitHead": "2bd066d87f5bafd315be9f40889d0a60b9e58e0b",
 			"provider": "typescript-go"
 		},
-		"7.1.0-dev.20260929.1": {
-			"gitHead": "0681ef7fa3a2378ccf49645b6d5b7463bdca74bb",
+		"7.1.0-dev.20261005.1": {
+			"gitHead": "50d70a3f5f453a79a4323b263165da51f656a4e3",
 			"provider": "typescript"
 		}
 	},
@@ -54069,9 +54096,9 @@ var components = {
 	"oxlint": {
 		"1.82.0": { "gitHead": "b4da00b621ec2f6f67ed218f5366c45ed325331b" },
 		"1.83.0": { "gitHead": "7bf68f70c20f5329251f19be95076f6eab4fe396" },
-		"1.84.0": { "gitHead": "f02a64a517a69a4eaa4ef83b722a3f10cf633f10" },
 		"1.85.0": { "gitHead": "288d8cc77984b0a3851c58c423ffe9e6edc79f2e" },
-		"1.86.0": { "gitHead": "2ae2939bb2fd98796393658b21556b2a2467e047" }
+		"1.86.0": { "gitHead": "2ae2939bb2fd98796393658b21556b2a2467e047" },
+		"1.87.0": { "gitHead": "2bd08ebe8f36fcf1954a675ffdeb4c6d0129f609" }
 	}
 };
 

package/oxlint-presets/index.d.ts

@@ -5,6 +5,7 @@ import type { OxlintConfig } from "oxlint"
 export declare const antipattern: OxlintConfig
 export declare const correctness: OxlintConfig
 export declare const effectNative: OxlintConfig
+export declare const maintainers: OxlintConfig
 export declare const recommended: OxlintConfig
 export declare const strict: OxlintConfig
 export declare const style: OxlintConfig
@@ -13,6 +14,7 @@ export declare const presets: Readonly<{
   antipattern: OxlintConfig
   correctness: OxlintConfig
   effectNative: OxlintConfig
+  maintainers: OxlintConfig
   recommended: OxlintConfig
   strict: OxlintConfig
   style: OxlintConfig

package/oxlint-presets/index.js

@@ -98,6 +98,18 @@ export const effectNative = {
   }
 }
 
+export const maintainers = {
+  "options": {
+    "typeAware": true
+  },
+  "plugins": [
+    "effecttsgo"
+  ],
+  "rules": {
+    "effecttsgo/api-stability-leak": "warn"
+  }
+}
+
 export const recommended = {
   "options": {
     "typeAware": true
@@ -352,6 +364,7 @@ export const presets = {
   antipattern,
   correctness,
   effectNative,
+  maintainers,
   recommended,
   strict,
   style,

package/oxlint-presets/maintainers.json

@@ -0,0 +1,11 @@
+{
+  "options": {
+    "typeAware": true
+  },
+  "plugins": [
+    "effecttsgo"
+  ],
+  "rules": {
+    "effecttsgo/api-stability-leak": "warn"
+  }
+}

package/oxlint-schema.json

@@ -2245,6 +2245,9 @@
         "effecttsgo/any-unknown-in-error-context": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/api-stability-leak": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/async-function": {
           "$ref": "#/definitions/RuleNoConfig"
         },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.48.1",
+  "version": "0.50.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-x64": "0.48.1",
-    "@effect/tsgo-win32-arm64": "0.48.1",
-    "@effect/tsgo-linux-x64": "0.48.1",
-    "@effect/tsgo-linux-arm64": "0.48.1",
-    "@effect/tsgo-linux-arm": "0.48.1",
-    "@effect/tsgo-darwin-x64": "0.48.1",
-    "@effect/tsgo-darwin-arm64": "0.48.1"
+    "@effect/tsgo-win32-x64": "0.50.0",
+    "@effect/tsgo-win32-arm64": "0.50.0",
+    "@effect/tsgo-linux-x64": "0.50.0",
+    "@effect/tsgo-linux-arm64": "0.50.0",
+    "@effect/tsgo-linux-arm": "0.50.0",
+    "@effect/tsgo-darwin-x64": "0.50.0",
+    "@effect/tsgo-darwin-arm64": "0.50.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-rc.118",

package/schema.json

@@ -2323,6 +2323,11 @@
           "default": "off",
           "description": "Detects 'any' or 'unknown' types in Effect error or requirements channels"
         },
+        "apiStabilityLeak": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "off",
+          "description": "Reports exported APIs whose public surface exposes a less stable type"
+        },
         "asyncFunction": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "off",