import { Schema } from "effect";import { TrimmedNonEmptyString } from "./baseSchemas";import type { ProviderKind } from "./orchestration"; export const CODEX_REASONING_EFFORT_OPTIONS = ["xhigh", "high", "medium", "low"] as const;export type CodexReasoningEffort = (typeof CODEX_REASONING_EFFORT_OPTIONS)[number];export const CLAUDE_CODE_EFFORT_OPTIONS = ["low", "medium", "high", "max", "ultrathink"] as const;export type ClaudeCodeEffort = (typeof CLAUDE_CODE_EFFORT_OPTIONS)[number];export type ProviderReasoningEffort = CodexReasoningEffort | ClaudeCodeEffort; export const CodexModelOptions = Schema.Struct({  reasoningEffort: Schema.optional(Schema.Literals(CODEX_REASONING_EFFORT_OPTIONS)),  fastMode: Schema.optional(Schema.Boolean),});export type CodexModelOptions = typeof CodexModelOptions.Type; export const ClaudeModelOptions = Schema.Struct({  thinking: Schema.optional(Schema.Boolean),  effort: Schema.optional(Schema.Literals(CLAUDE_CODE_EFFORT_OPTIONS)),  fastMode: Schema.optional(Schema.Boolean),  contextWindow: Schema.optional(Schema.String),});export type ClaudeModelOptions = typeof ClaudeModelOptions.Type; export const ProviderModelOptions = Schema.Struct({  codex: Schema.optional(CodexModelOptions),  claudeAgent: Schema.optional(ClaudeModelOptions),});export type ProviderModelOptions = typeof ProviderModelOptions.Type; export const EffortOption = Schema.Struct({  value: TrimmedNonEmptyString,  label: TrimmedNonEmptyString,  isDefault: Schema.optional(Schema.Boolean),});export type EffortOption = typeof EffortOption.Type; export const ContextWindowOption = Schema.Struct({  value: TrimmedNonEmptyString,  label: TrimmedNonEmptyString,  isDefault: Schema.optional(Schema.Boolean),});export type ContextWindowOption = typeof ContextWindowOption.Type; export const ModelCapabilities = Schema.Struct({  reasoningEffortLevels: Schema.Array(EffortOption),  supportsFastMode: Schema.Boolean,  supportsThinkingToggle: Schema.Boolean,  contextWindowOptions: Schema.Array(ContextWindowOption),  promptInjectedEffortLevels: Schema.Array(TrimmedNonEmptyString),});export type ModelCapabilities = typeof ModelCapabilities.Type; export const DEFAULT_MODEL_BY_PROVIDER: Record<ProviderKind, string> = {  codex: "gpt-5.4",  claudeAgent: "claude-sonnet-4-6",}; export const DEFAULT_MODEL = DEFAULT_MODEL_BY_PROVIDER.codex; /** Per-provider text generation model defaults. */export const DEFAULT_GIT_TEXT_GENERATION_MODEL_BY_PROVIDER: Record<ProviderKind, string> = {  codex: "gpt-5.4-mini",  claudeAgent: "claude-haiku-4-5",}; export const MODEL_SLUG_ALIASES_BY_PROVIDER: Record<ProviderKind, Record<string, string>> = {  codex: {    "gpt-5-codex": "gpt-5.4",    "5.4": "gpt-5.4",    "5.3": "gpt-5.3-codex",    "gpt-5.3": "gpt-5.3-codex",    "5.3-spark": "gpt-5.3-codex-spark",    "gpt-5.3-spark": "gpt-5.3-codex-spark",  },  claudeAgent: {    opus: "claude-opus-4-6",    "opus-4.6": "claude-opus-4-6",    "claude-opus-4.6": "claude-opus-4-6",    "claude-opus-4-6-20251117": "claude-opus-4-6",    sonnet: "claude-sonnet-4-6",    "sonnet-4.6": "claude-sonnet-4-6",    "claude-sonnet-4.6": "claude-sonnet-4-6",    "claude-sonnet-4-6-20251117": "claude-sonnet-4-6",    haiku: "claude-haiku-4-5",    "haiku-4.5": "claude-haiku-4-5",    "claude-haiku-4.5": "claude-haiku-4-5",    "claude-haiku-4-5-20251001": "claude-haiku-4-5",  },}; // ── Provider display names ──────────────────────────────────────────── export const PROVIDER_DISPLAY_NAMES: Record<ProviderKind, string> = {  codex: "Codex",  claudeAgent: "Claude",};