effect 4.0.2 → 4.0.4

package/src/ai/Response.ts

@@ -441,16 +441,19 @@ export const StreamPart = <T extends Toolkit.Any | Toolkit.WithHandler<any>>(
 export type ToolCallParts<
   Tools extends Record<string, Tool.Any>,
   ParametersMode extends ToolParametersMode = "decoded"
-> = ToolCallPartForName<Tools, ParametersMode, keyof Tools>
+> = ParametersMode extends "deferred" ?
+  ToolCallPartForName<Tools, "opaque", keyof Tools> | ToolCallPart<string, unknown>
+  : ToolCallPartForName<Tools, ParametersMode, keyof Tools>
 
 /**
- * Controls whether tool parameters are decoded, encoded, or opaque.
+ * Controls tool parameter decoding. `"deferred"` allows undeclared tool names
+ * with opaque parameters, leaving validation to the caller.
  *
  * @stability unstable
  * @category utility types
  * @since 4.0.0
  */
-export type ToolParametersMode = "decoded" | "encoded" | "opaque"
+export type ToolParametersMode = "decoded" | "encoded" | "opaque" | "deferred"
 
 type ToolCallPartForName<
   Tools extends Record<string, Tool.Any>,

package/src/ai/internal/mcpProtocol/v2026_07_28.ts

@@ -386,6 +386,8 @@ export const makeHandlers = (
       }
       const presence = yield* context.registrationPresence
       const eventsScope = yield* Scope.fork(yield* Effect.scope)
+      // Ignore changes emitted before this subscription, even if delivery was deferred.
+      const listChangeRevision = context.getListChangeRevision?.() ?? 0
       const events = yield* Scope.provide(context.subscribeServerNotifications, eventsScope)
       const honored = {
         ...(presence.tools && request.notifications.toolsListChanged === true
@@ -410,6 +412,9 @@ export const makeHandlers = (
       yield* Effect.gen(function*() {
         while (true) {
           const event = yield* PubSub.take(events)
+          if (event.listChangeRevision !== undefined && event.listChangeRevision <= listChangeRevision) {
+            continue
+          }
           if (event.targetClientId !== undefined && event.targetClientId !== client.id) {
             continue
           }

package/src/ai/internal/mcpProtocol.ts

@@ -382,6 +382,8 @@ export interface HandlerInstallationContext {
     never,
     Scope.Scope
   >
+  /** Current list-change revision; subscriptions ignore changes emitted at or before it. */
+  readonly getListChangeRevision?: (() => number) | undefined
   readonly sendNotification?: (
     protocolVersion: string,
     clientId: number,
@@ -419,6 +421,7 @@ export interface HandlerInstallationContext {
  */
 export interface CanonicalServerNotification {
   readonly notification: SubscriptionServerNotification
+  readonly listChangeRevision?: number | undefined
   readonly targetClientId?: number | undefined
 }
 

package/src/ai/internal/mcpRuntime.ts

@@ -123,6 +123,7 @@ export type HttpAdmission =
  */
 export interface HandlerInstallationOptions {
   readonly core: McpCore.McpCore
+  readonly getListChangeRevision?: () => number
   readonly subscribeServerNotifications: McpProtocol.HandlerInstallationContext["subscribeServerNotifications"]
   readonly sendNotification?: NonNullable<McpProtocol.HandlerInstallationContext["sendNotification"]>
   readonly markSubscriptionCancelled?: NonNullable<
@@ -512,6 +513,7 @@ export const make = Effect.fnUntraced(function*(
       const contextMap = new Map<string, unknown>()
       const installationContext: McpProtocol.HandlerInstallationContext = {
         subscribeServerNotifications: options.subscribeServerNotifications,
+        getListChangeRevision: options.getListChangeRevision,
         ...(options.sendNotification === undefined ? {} : { sendNotification: options.sendNotification }),
         ...(options.markSubscriptionCancelled === undefined
           ? {}

package/src/cli/CliOutput.ts

@@ -16,6 +16,7 @@ import * as Layer from "../Layer.ts"
 import * as Option from "../Option.ts"
 import type * as CliError from "./CliError.ts"
 import type { HelpDoc } from "./HelpDoc.ts"
+import * as Ansi from "./internal/ansi.ts"
 
 /**
  * Defines the service interface for formatting CLI output including help, errors, and version info.
@@ -306,17 +307,7 @@ const escapeControlCharacters = (text: string): string =>
  * @since 4.0.0
  */
 export const defaultFormatter = (options?: { colors?: boolean }): Formatter => {
-  const globalProcess = (globalThis as any).process
-  const hasProcess = typeof globalProcess === "object" && globalProcess !== null
-
-  const useColor = options?.colors !== undefined
-    ? options.colors
-    // Auto-detect based on environment
-    : (hasProcess &&
-      typeof globalProcess.stdout === "object" &&
-      globalProcess.stdout !== null &&
-      globalProcess.stdout.isTTY === true &&
-      !globalProcess.env?.NO_COLOR)
+  const useColor = options?.colors ?? Ansi.detectColors()
 
   // Color palette using ANSI escape codes
   const colors = useColor
@@ -390,7 +381,7 @@ const stripAnsi = (text: string): string => {
 }
 
 /**
- * Gets the terminal display width of a string (excluding ANSI codes).
+ * Segments text into grapheme clusters.
  * @internal
  */
 const graphemeSegmenter = new Intl.Segmenter(undefined, { granularity: "grapheme" })
@@ -424,7 +415,33 @@ const graphemeWidth = (grapheme: string): number => {
   return isFullWidthCodePoint(visible.codePointAt(0)!) ? 2 : 1
 }
 
-const visualLength = (text: string): number => {
+/**
+ * Measures the number of terminal cells a string occupies.
+ *
+ * **Details**
+ *
+ * Uses the same measurement as built-in help and table rendering. ANSI styling
+ * is stripped before measuring graphemes: zero-width graphemes count as `0`,
+ * emoji presentation sequences and fullwidth characters as `2`, and other
+ * graphemes as `1`.
+ *
+ * **Example** (Measuring terminal-cell widths)
+ *
+ * ```ts import.meta.vitest
+ * import { CliOutput } from "effect/cli"
+ *
+ * CliOutput.displayWidth("file") // => 4
+ * CliOutput.displayWidth("ファイル") // => 8
+ * CliOutput.displayWidth("é") // => 1
+ * CliOutput.displayWidth("1️⃣") // => 2
+ * CliOutput.displayWidth("\u001B[1mbold\u001B[0m") // => 4
+ * ```
+ *
+ * @stability unstable
+ * @category measuring
+ * @since 4.0.3
+ */
+export const displayWidth = (text: string): number => {
   let length = 0
   for (const { segment } of graphemeSegmenter.segment(stripAnsi(text))) {
     length += graphemeWidth(segment)
@@ -437,7 +454,7 @@ const visualLength = (text: string): number => {
  * @internal
  */
 const pad = (s: string, width: number) => {
-  const actualLength = visualLength(s)
+  const actualLength = displayWidth(s)
   const padding = Math.max(0, width - actualLength)
   return s + " ".repeat(padding)
 }
@@ -456,9 +473,9 @@ interface Row {
  * @internal
  */
 const renderTable = (rows: ReadonlyArray<Row>, widthCap?: number) => {
-  const maxColumn = Math.max(...rows.map((r) => visualLength(r.left))) + 4
+  const maxColumn = Math.max(...rows.map((r) => displayWidth(r.left))) + 4
   const col = widthCap === undefined ? maxColumn : Math.min(maxColumn, widthCap)
-  return rows.map(({ left, right }) => `  ${pad(left, Math.max(col, visualLength(left) + 1))}${right}`).join("\n")
+  return rows.map(({ left, right }) => `  ${pad(left, Math.max(col, displayWidth(left) + 1))}${right}`).join("\n")
 }
 
 const formatSubcommandName = (name: string, alias: string | undefined): string => alias ? `${name}, ${alias}` : name

package/src/cli/Command.ts

@@ -3104,14 +3104,15 @@ export const runWith = <const Name extends string, Input, E, R, ContextInput>(
         if (!hasEntry) continue
         const [, value] = yield* flag.flag.parse(emptyArgs)
         if (flag === GlobalFlag.Wizard) {
+          const { colors } = yield* Prompt.Theme
           return yield* Effect.gen(function*() {
-            yield* Console.log(Wizard.renderIntroduction(command.name, config.version, command.description))
+            yield* Console.log(Wizard.renderIntroduction(command.name, config.version, command.description, colors))
             const prefix = [
               command.name,
               ...args.filter((arg) => arg !== "--wizard" && !arg.startsWith("--wizard="))
             ]
             const wizardResult = yield* Wizard.run(command, { commandPath, prefix })
-            yield* Console.log(Wizard.renderCompletion(wizardResult.displayArgs))
+            yield* Console.log(Wizard.renderCompletion(wizardResult.displayArgs, colors))
             const shouldRun = yield* Prompt.run(Prompt.Toggle({
               message: "Run this command?",
               initial: true,
@@ -3123,7 +3124,7 @@ export const runWith = <const Name extends string, Input, E, R, ContextInput>(
               yield* runWith(command, { ...config, renderErrors: false })(wizardResult.args.slice(1))
             }
           }).pipe(
-            Effect.catchTag("QuitError", () => Console.log(Wizard.renderQuit()))
+            Effect.catchTag("QuitError", () => Console.log(Wizard.renderQuit(colors)))
           )
         }
         yield* flag.run(value, handlerCtx)

package/src/cli/Completions.ts

@@ -1,14 +1,15 @@
 /**
  * The `Completions` module turns a plain description of an Effect CLI command
- * tree into shell completion scripts for Bash, Zsh, and Fish. It is the
- * low-level script generation surface used by the unstable CLI package and by
- * the built-in completions global flag.
+ * tree into shell completion scripts for Bash, Zsh, Fish, and PowerShell. It
+ * is the low-level script generation surface used by the unstable CLI package
+ * and by the built-in completions global flag.
  *
  * @stability unstable
  * @since 4.0.0
  */
 import * as Bash from "./internal/completions/bash.ts"
 import * as Fish from "./internal/completions/fish.ts"
+import * as PowerShell from "./internal/completions/powershell.ts"
 import * as Zsh from "./internal/completions/zsh.ts"
 
 /**
@@ -18,7 +19,7 @@ import * as Zsh from "./internal/completions/zsh.ts"
  * @category models
  * @since 4.0.0
  */
-export type Shell = "bash" | "zsh" | "fish"
+export type Shell = "bash" | "zsh" | "fish" | "powershell"
 
 /**
  * Describes a command for completion script generation.
@@ -105,8 +106,8 @@ export type ArgumentType =
  *
  * **Details**
  *
- * Dispatches by `shell` to Bash, Zsh, or Fish generation and returns a static
- * script string for `executableName`.
+ * Dispatches by `shell` to Bash, Zsh, Fish, or PowerShell generation and
+ * returns a static script string for `executableName`.
  *
  * @see {@link Shell} for supported shell names
  * @see {@link CommandDescriptor} for the command shape used by completion generation
@@ -127,5 +128,7 @@ export const generate = (
       return Zsh.generate(executableName, descriptor)
     case "fish":
       return Fish.generate(executableName, descriptor)
+    case "powershell":
+      return PowerShell.generate(executableName, descriptor)
   }
 }

package/src/cli/GlobalFlag.ts

@@ -224,21 +224,29 @@ export const Wizard: Action<boolean> = Action({
  *
  * **Details**
  *
- * Accepted values are `bash`, `zsh`, `fish`, and `sh`; `sh` is normalized to
- * `bash`.
+ * Accepted values are `bash`, `zsh`, `fish`, `powershell`, `sh`, and `pwsh`;
+ * `sh` is normalized to `bash` and `pwsh` to `powershell`.
  *
  * @stability unstable
  * @category references
  * @since 4.0.0
  */
-export const Completions: Action<Option.Option<"bash" | "zsh" | "fish">> = Action({
-  flag: Flag.Literals("completions", ["bash", "zsh", "fish", "sh"] as const)
-    .pipe(
-      Flag.optional,
-      Flag.map((v) => Option.map(v, (s) => s === "sh" ? "bash" : s)),
-      Flag.withMetavar("<bash|zsh|fish|sh>"),
-      Flag.withDescription("Print shell completion script")
-    ),
+export const Completions: Action<Option.Option<Completions_.Shell>> = Action({
+  flag: Flag.ChoiceWithValue(
+    "completions",
+    [
+      ["bash", "bash"],
+      ["zsh", "zsh"],
+      ["fish", "fish"],
+      ["powershell", "powershell"],
+      ["sh", "bash"],
+      ["pwsh", "powershell"]
+    ] as const
+  ).pipe(
+    Flag.optional,
+    Flag.withMetavar("<bash|zsh|fish|powershell|sh|pwsh>"),
+    Flag.withDescription("Print shell completion script")
+  ),
   run: Effect.fnUntraced(function*(shell, { command }) {
     if (Option.isNone(shell)) return
     const descriptor = CommandDescriptor.fromCommand(command)
@@ -317,7 +325,7 @@ export const BuiltIns: readonly [
   Action<boolean>,
   Action<boolean>,
   Action<boolean>,
-  Action<Option.Option<"bash" | "zsh" | "fish">>,
+  Action<Option.Option<Completions_.Shell>>,
   Setting<"log-level", Option.Option<LogLevelType>>
 ] = [Help, Version, Wizard, Completions, LogLevel]