noumen 0.5.0 → 0.8.0

package/dist/{agent-C3eDRsxs.d.ts → agent-D0gl-qYi.d.ts}

@@ -1,10 +1,21 @@
-import { A as AIProvider, S as StreamEvent, b as ChatMessage, E as Entry, U as UUID, d as FileCheckpointSnapshot, f as ContentReplacementRecord$1, g as SessionInfo, M as ModelPricing, h as UsageRecord, i as CostSummary, j as ModelUsageSummary, k as ChatCompletionUsage, l as ThinkingConfig, m as MemoryConfig, O as OutputFormat, e as ContentPart, R as RunOptions, c as CheckpointConfig, n as ToolResult } from './types-LrU4LRmX.js';
-import { S as Sandbox } from './sandbox-9qeMTNrD.js';
-import { T as Tool, H as HookDefinition, S as SubagentConfig, i as SubagentRun, j as TaskStore, e as LspServerManager, F as FileCheckpointManager, k as FileStateCacheConfig, L as LspServerConfig } from './types-BA87bHPV.js';
-import { C as CacheControlConfig } from './cache-DsRqxx6v.js';
+import { A as AIProvider, e as ChatMessage, T as ToolDefinition, S as StreamEvent, E as Entry, U as UUID, a as FileCheckpointSnapshot, f as ContentReplacementRecord$1, g as SessionInfo, M as ModelPricing, h as UsageRecord, i as CostSummary, j as ModelUsageSummary, k as ChatCompletionUsage, l as PermissionHandler, m as PermissionConfig, n as ThinkingConfig, o as MemoryConfig, O as OutputFormat, d as ContentPart, R as RunOptions, C as CheckpointConfig, p as ToolResult } from './types-DLZNyF5t.js';
+import { S as Sandbox } from './sandbox-DAqQo0Tj.js';
+import { T as Tool, j as DotDirConfig, H as HookDefinition, S as SubagentConfig, k as SubagentRun, l as TaskStore, e as LspServerManager, F as FileCheckpointManager, m as FileStateCacheConfig, i as DotDirResolver, L as LspServerConfig } from './types-BX4ALqoN.js';
 import { M as McpServerConfig, T as TokenStorage } from './types-2kTLUCnD.js';
-import { c as PermissionHandler, d as PermissionConfig } from './types-CD0rUKKT.js';
-import { a as VirtualFs, V as VirtualComputer } from './computer-BPdxSo6X.js';
+import { V as VirtualFs, a as VirtualComputer } from './computer-DzMR92tK.js';
+
+/**
+ * CLI-facing provider resolver.
+ *
+ * Builds an `AiSdkProvider` wrapping any Vercel AI SDK `LanguageModelV3`.
+ * Each vendor SDK is dynamically imported so CLI users only need to install
+ * the packages for the providers they actually use.
+ *
+ * Programmatic callers should prefer constructing `AiSdkProvider` directly
+ * with their own language model — that path supports metering proxies,
+ * bespoke auth, and any other knob the AI SDK exposes. This resolver exists
+ * so `noumen <provider>` still works out of the box.
+ */
 
 type ProviderName = "openai" | "anthropic" | "gemini" | "openrouter" | "bedrock" | "vertex" | "ollama";
 declare const DEFAULT_MODELS: Record<string, string>;
@@ -16,10 +27,11 @@ interface ResolveProviderOptions {
 }
 /**
  * Resolve a provider from a name string or pass through an AIProvider instance.
+ *
  * API key resolution order:
- * 1. Explicit apiKey option
- * 2. Provider-specific env var (OPENAI_API_KEY, etc.)
- * 3. NOUMEN_API_KEY generic env var
+ * 1. Explicit `apiKey` option
+ * 2. Provider-specific env var (`OPENAI_API_KEY`, etc.)
+ * 3. `NOUMEN_API_KEY` generic env var
  */
 declare function resolveProvider(input: AIProvider | ProviderName, opts?: ResolveProviderOptions): Promise<AIProvider>;
 /**
@@ -27,6 +39,86 @@ declare function resolveProvider(input: AIProvider | ProviderName, opts?: Resolv
  */
 declare function detectProvider(): Promise<ProviderName | undefined>;
 
+/**
+ * AI-generated session title helper.
+ *
+ * Given a short prompt sourced from recent messages, ask a provider to
+ * produce a 3–7 word sentence-case title suitable for a session list.
+ *
+ * This is a pure helper: it never touches the filesystem and never knows
+ * about `SessionStorage`. Callers (e.g. `Agent.autoTitleIfMissing`) own
+ * persistence and event emission.
+ */
+
+/**
+ * Config for the Agent's opt-in auto-title feature.
+ *
+ * Pass `true` for defaults (use the Agent's own provider + its
+ * `defaultModel`). Pass an object to customise the provider, model,
+ * system prompt, or input cap.
+ */
+interface AutoTitleConfig {
+    /** Master switch. Default false on `AgentOptions.autoTitle`. */
+    enabled?: boolean;
+    /**
+     * Override provider used for title generation. Falls back to the
+     * Agent's main provider.
+     */
+    provider?: AIProvider;
+    /**
+     * Override model (e.g. `"claude-haiku-4-5"`). Falls back to the
+     * provider's `defaultModel`.
+     */
+    model?: string;
+    /** Override system prompt. */
+    systemPrompt?: string;
+    /** Cap on seed-text characters. Defaults to 2 000. */
+    maxInputChars?: number;
+}
+/** Default cap on characters fed to the title model. */
+declare const DEFAULT_AUTO_TITLE_MAX_INPUT_CHARS = 2000;
+/**
+ * System prompt for the auto-title generator. Mirrors the shape used by
+ * Claude Code so that output quality is familiar.
+ */
+declare const DEFAULT_AUTO_TITLE_SYSTEM_PROMPT = "Generate a concise, sentence-case title (3-7 words) that captures the main topic or goal of this coding session. The title should be clear enough that the user recognizes the session in a list. Use sentence case: capitalize only the first word and proper nouns.\n\nReturn JSON with a single \"title\" field.\n\nGood examples:\n{\"title\": \"Fix login button on mobile\"}\n{\"title\": \"Add OAuth authentication\"}\n{\"title\": \"Debug failing CI tests\"}\n{\"title\": \"Refactor API client error handling\"}\n\nBad (too vague): {\"title\": \"Code changes\"}\nBad (too long): {\"title\": \"Investigate and fix the issue where the login button does not respond on mobile devices\"}\nBad (wrong case): {\"title\": \"Fix Login Button On Mobile\"}";
+interface GenerateAutoTitleOptions {
+    provider: AIProvider;
+    /** Model override. When omitted, uses `provider.defaultModel`. */
+    model?: string;
+    /** System prompt override. Falls back to the built-in prompt. */
+    systemPrompt?: string;
+    /** Character cap on the flattened input. Defaults to 2 000. */
+    maxInputChars?: number;
+    signal?: AbortSignal;
+}
+/**
+ * Flatten recent user + assistant text into a single block of plain text
+ * suitable for the title model. Tool results are skipped; image parts
+ * are skipped; only the tail of the concatenated text is kept when long
+ * so the most recent context wins.
+ */
+declare function extractTitleSeedText(messages: ChatMessage[], maxChars?: number): string;
+/**
+ * Attempt to pull a title out of a free-form model response.
+ *
+ * Strategy, cheapest-first:
+ *   1. Parse the whole string as JSON; return `.title` if present.
+ *   2. Slice out the first `{...}` block and `JSON.parse` that.
+ *   3. Fall back to the first bare quoted substring in the response.
+ *
+ * Going through `JSON.parse` (instead of a bespoke regex-unescape) means
+ * `\n`, `\\`, `\uXXXX`, and any other valid JSON string escapes round-trip
+ * correctly — the previous regex only handled `\"`.
+ */
+declare function extractTitleFromResponse(raw: string): string | null;
+declare function generateAutoTitle(messages: ChatMessage[], opts: GenerateAutoTitleOptions): Promise<string | null>;
+/**
+ * Trim, collapse whitespace, strip wrapping quotes, clamp length.
+ * Returns null if the cleaned string would be empty.
+ */
+declare function normalizeTitle(raw: string): string | null;
+
 interface SkillDefinition {
     name: string;
     /** Skill body content (after frontmatter is stripped) */
@@ -43,6 +135,41 @@ interface SkillDefinition {
     argumentHint?: string;
 }
 
+/**
+ * Provider-agnostic prompt caching utilities.
+ *
+ * Stable tool ordering prevents cache invalidation when the tool set is
+ * unchanged. The breakpoint index helper determines which message gets a
+ * single cache_control marker per request (matching claude-code's strategy).
+ */
+
+type CacheScope = "global" | "org";
+interface CacheControlConfig {
+    enabled: boolean;
+    /** TTL for cached content. When set, produces `ttl: '1h'` in cache_control. */
+    ttl?: "1h";
+    /** Scope for shared cache across sessions/orgs. */
+    scope?: CacheScope;
+}
+/**
+ * Sort tool definitions deterministically for prompt cache stability.
+ *
+ * Strategy (matching claude-code's assembleToolPool): built-in tools form a
+ * contiguous prefix sorted by name, followed by MCP/external tools sorted by
+ * name. Tools with `mcpInfo` on the original Tool object are treated as MCP;
+ * everything else is built-in. Since ToolDefinition doesn't carry mcpInfo,
+ * callers can pass an optional set of MCP tool names to partition correctly.
+ */
+declare function sortToolDefinitionsForCache(tools: ToolDefinition[], mcpToolNames?: ReadonlySet<string>): ToolDefinition[];
+/**
+ * Determine which message index should receive the cache_control breakpoint.
+ *
+ * Exactly one message per request is marked. Normally the last message;
+ * for forked agents with skipCacheWrite the second-to-last so the fork
+ * doesn't write its own tail into the cache.
+ */
+declare function getMessageCacheBreakpointIndex(messages: ChatMessage[], skipCacheWrite?: boolean): number;
+
 interface WebSearchResult {
     title: string;
     url: string;
@@ -219,13 +346,36 @@ declare class SessionStorage {
     appendContentReplacement(sessionId: string, replacements: ContentReplacementRecord$1[]): Promise<void>;
     appendMetadata(sessionId: string, key: string, value: unknown): Promise<void>;
     /**
-     * Re-append custom-title and key metadata entries after a compact boundary
-     * so they remain discoverable in the active-entries window.
+     * Append a user-set session title. Wins over any `ai-title` when read.
+     * Idempotent-ish: callers may append as many as they like; the last one
+     * wins according to file order.
+     */
+    appendCustomTitle(sessionId: string, title: string): Promise<void>;
+    /**
+     * Append an AI-generated session title. A `custom-title` (if present)
+     * always takes precedence on read.
+     */
+    appendAiTitle(sessionId: string, title: string): Promise<void>;
+    /**
+     * Re-append custom-title, ai-title, and key metadata entries after a
+     * compact boundary so they remain discoverable in the active-entries
+     * window. Written as a single batched append so a crash mid-write can't
+     * leave the transcript with only a subset of the re-emitted entries.
      */
     reAppendMetadataAfterCompact(sessionId: string): Promise<void>;
     loadMessages(sessionId: string): Promise<ChatMessage[]>;
     loadAllEntries(sessionId: string): Promise<Entry[]>;
     sessionExists(sessionId: string): Promise<boolean>;
+    /**
+     * Return the currently persisted titles for a session. `title` reflects
+     * the display preference (custom > ai). Returns all-undefined if the
+     * session file doesn't exist.
+     */
+    getSessionTitles(sessionId: string): Promise<{
+        title?: string;
+        customTitle?: string;
+        aiTitle?: string;
+    }>;
     deleteSession(sessionId: string): Promise<void>;
     listSessions(): Promise<SessionInfo[]>;
 }
@@ -390,8 +540,16 @@ interface ProjectContextConfig {
     excludes?: string[];
     /** Maximum include depth for @ references. Default: 5. */
     maxIncludeDepth?: number;
-    /** Whether to load .claude/ files in addition to .noumen/ files. Default: true. */
-    loadClaudeMd?: boolean;
+    /**
+     * Dot-directory names to scan for `<NAME>.md`, `<NAME>.local.md`, and
+     * `<dotDir>/rules/**`. Defaults to `{ names: [".noumen", ".claude"] }`.
+     *
+     * Markdown filenames derive from the dot-dir name: `.noumen` →
+     * `NOUMEN.md` / `NOUMEN.local.md`, `.claude` → `CLAUDE.md` /
+     * `CLAUDE.local.md`. The dir name (minus the leading dot, uppercased)
+     * is the filename stem.
+     */
+    dotDirs?: DotDirConfig;
     /** Enable loading user-scope context from homeDir. Default: true. */
     loadUserContext?: boolean;
     /** Enable loading project-scope context from cwd ancestors. Default: true. */
@@ -516,6 +674,8 @@ interface ThreadConfig {
     mcpToolNames?: ReadonlySet<string>;
     /** Loaded project context files (NOUMEN.md / CLAUDE.md) for system prompt injection. */
     projectContext?: ContextFile[];
+    /** Dot-directory resolver — threaded to tools that write under dotdirs (e.g. worktrees). */
+    dotDirResolver?: DotDirResolver;
     /** Default structured output format for all runs on this thread. */
     outputFormat?: OutputFormat;
     /** Default structured output mode for all runs on this thread. */
@@ -620,20 +780,15 @@ interface AgentOptions {
      * `createThread()`, or `init()`.
      */
     provider: AIProvider | ProviderName;
-    /**
-     * Working directory. When set without an explicit `sandbox`, an
-     * `UnsandboxedLocal({ cwd })` is created automatically.
-     */
+    /** Working directory. Used for path resolution inside the agent. */
     cwd?: string;
     /**
      * Bundled sandbox providing both filesystem and shell execution.
+     * Required — the root barrel deliberately doesn't pull in a default
+     * implementation, so callers must pick a backend explicitly:
      *
-     * Local backends live on the root barrel:
-     * - `LocalSandbox()` — OS-level sandboxing (requires `@anthropic-ai/sandbox-runtime`).
-     * - `UnsandboxedLocal()` — raw host access.
-     *
-     * Remote backends are subpath imports so their optional peer deps do
-     * not enter the module graph unless opted into:
+     * - `import { UnsandboxedLocal } from "noumen/unsandboxed"` — raw host access.
+     * - `import { LocalSandbox }     from "noumen/local"`       — OS-level sandboxing.
      * - `import { DockerSandbox }    from "noumen/docker"`
      * - `import { E2BSandbox }       from "noumen/e2b"`
      * - `import { FreestyleSandbox } from "noumen/freestyle"`
@@ -641,13 +796,13 @@ interface AgentOptions {
      * - `import { SpritesSandbox }   from "noumen/sprites"`
      *
      * You can also pass any `{ fs: VirtualFs; computer: VirtualComputer }`
-     * for custom sandboxes.
-     *
-     * Defaults to `UnsandboxedLocal({ cwd })` when omitted — the library
-     * default is non-sandboxed for backward compatibility. The CLI defaults
-     * to `LocalSandbox()` when sandbox-runtime is available.
+     * for custom sandboxes. Keeping this required ensures that importing
+     * the root barrel (`codingAgent`, `Agent`, …) never transitively pulls
+     * in `node:fs/promises` or `node:child_process` from the unsandboxed
+     * local adapter — which would bloat bundlers' dependency traces (NFT
+     * etc.) in apps that only use a remote sandbox.
      */
-    sandbox?: Sandbox;
+    sandbox: Sandbox;
     options?: {
         sessionDir?: string;
         skills?: SkillDefinition[];
@@ -700,10 +855,29 @@ interface AgentOptions {
         historySnip?: SnipConfig;
         /** Project context loading (NOUMEN.md / CLAUDE.md). Pass true for defaults or a config object. */
         projectContext?: ProjectContextConfig | boolean;
+        /**
+         * Dot-directory configuration — controls which hidden directories are
+         * recognized for config, sessions, tasks, checkpoints, rules, skills,
+         * MCP tokens, and worktrees. Defaults to `{ names: [".noumen", ".claude"] }`
+         * with `.noumen` as the canonical write target. Applies to both project
+         * scope (cwd ancestors) and user scope (home directory).
+         */
+        dotDirs?: DotDirConfig;
         /** Default structured output format for all threads. */
         outputFormat?: OutputFormat;
         /** Default structured output mode for all threads. */
         structuredOutputMode?: "alongside_tools" | "final_response";
+        /**
+         * Opt-in AI-generated session titles. When enabled, callers can invoke
+         * `agent.autoTitleIfMissing(sessionId)` (typically once per session,
+         * e.g. after the first assistant turn) to produce a short title and
+         * persist it as an `ai-title` JSONL entry. User-set `custom-title`
+         * entries (see `agent.setCustomTitle`) always take precedence on read.
+         *
+         * Pass `true` for defaults (same provider as the Agent, provider's
+         * default model, built-in prompt) or an object to customise.
+         */
+        autoTitle?: AutoTitleConfig | boolean;
     };
 }
 interface RunCallbacks {
@@ -770,6 +944,7 @@ declare class Agent {
     private toolSearchEnabled;
     private projectContextConfig?;
     private resolvedProjectContext;
+    private dotDirResolver;
     private checkpointManager;
     private promptCachingConfig;
     private fileStateCacheConfig;
@@ -777,6 +952,14 @@ declare class Agent {
     private historySnipConfig;
     private outputFormat;
     private structuredOutputMode;
+    private autoTitleConfig;
+    /**
+     * Keyed by `${sessionId}:${force ? "force" : "normal"}`. Parallel calls
+     * that pass the same `force` mode coalesce to one in-flight request; a
+     * `force: true` call arriving during a normal in-flight request runs its
+     * own pass so the caller's intent isn't silently dropped.
+     */
+    private autoTitleInFlight;
     private providerPromise;
     private initPromise;
     constructor(opts: AgentOptions);
@@ -787,6 +970,52 @@ declare class Agent {
     private createSpawnSubagent;
     createThread(opts?: ThreadOptions): Promise<Thread>;
     listSessions(): Promise<SessionInfo[]>;
+    /**
+     * Load the message history for a stored session, respecting compact
+     * boundaries and history snips. Returns `[]` when the session does
+     * not exist. Use this to rehydrate a UI — resuming a Thread for
+     * further execution should go through `resumeThread()` instead.
+     */
+    getMessages(sessionId: string): Promise<ChatMessage[]>;
+    /**
+     * Persist a user-set title for a session. Takes precedence over any
+     * AI-generated title on read. No-op on empty / whitespace-only input.
+     */
+    setCustomTitle(sessionId: string, title: string): Promise<void>;
+    /**
+     * Persist an AI-generated title for a session. A user-set title
+     * (see `setCustomTitle`) always wins on read, so writing this after a
+     * user has renamed the session is harmless.
+     */
+    setAiTitle(sessionId: string, title: string): Promise<void>;
+    /**
+     * Delete a session's persisted transcript. Does not affect any
+     * currently-running `Thread` reading from the same session id.
+     */
+    deleteSession(sessionId: string): Promise<void>;
+    /**
+     * Return the currently persisted titles for a session.
+     * `title` reflects the display preference (custom > ai).
+     */
+    getSessionTitles(sessionId: string): Promise<{
+        title?: string;
+        customTitle?: string;
+        aiTitle?: string;
+    }>;
+    /**
+     * When `autoTitle` is enabled and the session has no title yet,
+     * generate one via the configured provider + model and persist it
+     * as an `ai-title` entry. Returns the new title on success, or `null`
+     * when skipped (feature disabled, title already present, empty seed,
+     * or provider error).
+     *
+     * Concurrency-safe: parallel calls for the same session coalesce to
+     * a single in-flight request.
+     */
+    autoTitleIfMissing(sessionId: string, opts?: {
+        signal?: AbortSignal;
+        force?: boolean;
+    }): Promise<string | null>;
     getCostSummary(): CostSummary | null;
     /**
      * Create a thread that resumes an existing session. Automatically restores
@@ -831,7 +1060,6 @@ declare class Agent {
      * @param timeoutMs Per-check timeout in milliseconds (default 10 000).
      */
     diagnose(timeoutMs?: number): Promise<DiagnoseResult>;
-    private get sandboxIndexPath();
     private loadSandboxId;
     private storeSandboxId;
     /**
@@ -840,4 +1068,4 @@ declare class Agent {
     close(): Promise<void>;
 }
 
-export { createAutoCompactConfig as $, Agent as A, type BudgetState as B, type ContextFile as C, DEFAULT_MODELS as D, type RunCallbacks as E, type RunResult as F, SUPPORTED_PROVIDERS as G, type SnipConfig as H, type SnipResult as I, Thread as J, type ThreadOptions as K, type ToolResultBudgetConfig as L, type MicrocompactConfig as M, type ToolResultBudgetResult as N, type ContentReplacementRecord as O, type ProjectContextConfig as P, type ToolResultSpillResult as Q, type RetryConfig as R, type SkillDefinition as S, type ThreadConfig as T, type ToolResultStorageConfig as U, type TracingConfig as V, type WebSearchConfig as W, type WebSearchResult as X, applyPersistedReplacements as Y, applySnipRemovals as Z, canAutoCompact as _, SessionStorage as a, createAutoCompactTracking as a0, createBudgetState as a1, createContentReplacementState as a2, createWebSearchTool as a3, detectProvider as a4, enforceToolResultBudget as a5, enforceToolResultStorageBudget as a6, microcompactMessages as a7, persistToolResult as a8, projectSnippedView as a9, reconstructContentReplacementState as aa, recordAutoCompactFailure as ab, recordAutoCompactSuccess as ac, resolveProvider as ad, shouldAutoCompact as ae, snipMessagesByUuids as af, tryReactiveCompact as ag, webSearchToolPlaceholder as ah, type ContextScope as b, type RetryContext as c, type RetryEngineOptions as d, type Span as e, type SpanAttributeValue as f, SpanStatusCode as g, type Tracer as h, type SpanOptions as i, type StoredCostState as j, type AgentOptions as k, type AutoCompactConfig as l, type AutoCompactTrackingState as m, CLEARED_PLACEHOLDER as n, COMPACTABLE_TOOLS as o, type ContentReplacementState as p, CostTracker as q, DEFAULT_RETRY_CONFIG as r, type DiagnoseCheckResult as s, type DiagnoseResult as t, type MicrocompactResult as u, type ProviderName as v, type ReactiveCompactConfig as w, type ReactiveCompactResult as x, type ResolveProviderOptions as y, type RetryEvent as z };
+export { type TracingConfig as $, type AgentOptions as A, type BudgetState as B, type CacheControlConfig as C, DEFAULT_AUTO_TITLE_MAX_INPUT_CHARS as D, type ProviderName as E, type ReactiveCompactConfig as F, type GenerateAutoTitleOptions as G, type ReactiveCompactResult as H, type ResolveProviderOptions as I, type RetryEvent as J, type RunCallbacks as K, type RunResult as L, type MicrocompactConfig as M, SUPPORTED_PROVIDERS as N, type SnipConfig as O, type ProjectContextConfig as P, type SnipResult as Q, type RetryConfig as R, type SkillDefinition as S, type ThreadConfig as T, Thread as U, type ThreadOptions as V, type ToolResultBudgetConfig as W, type ToolResultBudgetResult as X, type ContentReplacementRecord as Y, type ToolResultSpillResult as Z, type ToolResultStorageConfig as _, Agent as a, type WebSearchConfig as a0, type WebSearchResult as a1, applyPersistedReplacements as a2, applySnipRemovals as a3, canAutoCompact as a4, createAutoCompactConfig as a5, createAutoCompactTracking as a6, createBudgetState as a7, createContentReplacementState as a8, createWebSearchTool as a9, detectProvider as aa, enforceToolResultBudget as ab, enforceToolResultStorageBudget as ac, extractTitleFromResponse as ad, extractTitleSeedText as ae, generateAutoTitle as af, getMessageCacheBreakpointIndex as ag, microcompactMessages as ah, normalizeTitle as ai, persistToolResult as aj, projectSnippedView as ak, reconstructContentReplacementState as al, recordAutoCompactFailure as am, recordAutoCompactSuccess as an, resolveProvider as ao, shouldAutoCompact as ap, snipMessagesByUuids as aq, sortToolDefinitionsForCache as ar, tryReactiveCompact as as, webSearchToolPlaceholder as at, type AutoTitleConfig as b, SessionStorage as c, type ContextFile as d, type ContextScope as e, type RetryContext as f, type RetryEngineOptions as g, type Span as h, type SpanAttributeValue as i, SpanStatusCode as j, type Tracer as k, type SpanOptions as l, type StoredCostState as m, type AutoCompactConfig as n, type AutoCompactTrackingState as o, CLEARED_PLACEHOLDER as p, COMPACTABLE_TOOLS as q, type CacheScope as r, type ContentReplacementState as s, CostTracker as t, DEFAULT_AUTO_TITLE_SYSTEM_PROMPT as u, DEFAULT_MODELS as v, DEFAULT_RETRY_CONFIG as w, type DiagnoseCheckResult as x, type DiagnoseResult as y, type MicrocompactResult as z };