@ashlr/hub 3.8.0 → 3.9.0

package/dist/core/verse/model-windows.js

@@ -0,0 +1,616 @@
+/**
+ * core/verse/model-windows.ts — the per-model context budgets every seat is
+ * built from (Verse 3.9, owner U4). docs/VERSE-CONTEXT.md §1 is the prose
+ * authority; every number below was read from a CLI or a seat's own catalog on
+ * 2026-09-23, never recalled.
+ *
+ * WHY THIS MODULE EXISTS. Until 3.9 every model option carried one number, and
+ * for six of the eight Claude models it was wrong: they all inherited the
+ * CLI's 200k "unknown model" fallback while the CLI itself ran them at 1M.
+ * Codex showed its RAW 272k window while the CLI measures against 95% of it,
+ * and Grok showed 256k against a 500k window. So the meter under- or
+ * over-read on every native engine. This module is the single place a seat's
+ * model list — windows, compaction points, expansive budgets and the binary
+ * each model needs — is assembled, and it does the arithmetic ONLY through
+ * `context-math.ts`, so "compacts at 367k" can never mean two numbers.
+ *
+ * SOURCES, in the order a seat prefers them:
+ *
+ *  Claude — the CLI's EMBEDDED catalog (`windowSource: 'cli-catalog'`). There
+ *    is no per-seat file to read: the served catalog cache carries no windows
+ *    (`max_input_tokens` absent on every row), so the binary is the authority.
+ *    The table below is transcribed from the 2.1.257 and 2.1.280 binaries.
+ *  Codex  — the seat's OWN `native-state/models_cache.json`
+ *    (`provider-catalog`). Catalogs differ per ACCOUNT (codex-b lacks the
+ *    daybreak slug the global cache has) and per BINARY, so the unpinned
+ *    `~/.codex` cache is never consulted. No catalog yet → a documented list.
+ *  Grok   — the seat's OWN `native-state/models_cache.json`, whose `.models`
+ *    is a dict of `{info, api_key, env_key, api_base_url}`. ONLY `.info` is
+ *    ever read: `api_key` is a credential slot and must not be touched, copied
+ *    or returned, even though it is null today.
+ *
+ * Runtime readings (claude/grok `result.modelUsage`, codex rollouts) override
+ * all of this per turn — see the session engine. These are the STARTING
+ * budgets and the picker's promises, not the last word.
+ *
+ * Nothing here throws, spends, or reaches the network. File reads are
+ * size-capped, symlink-refusing and cached by path + mtime + size.
+ */
+import { closeSync, constants as fsConstants, fstatSync, openSync, readdirSync, readSync, statSync } from 'node:fs';
+import { homedir } from 'node:os';
+import { basename, dirname, join } from 'node:path';
+import { CLAUDE_STANDARD_AUTOCOMPACT_WINDOW, canonicalModelId, claudeAutoCompactAt, codexAutoCompactAt, codexEffectiveWindow, grokAutoCompactAt, } from './context-math.js';
+import { VERSE_DEFAULT_CONTEXT_WINDOWS, } from './types.js';
+// ---------------------------------------------------------------------------
+// Claude — transcribed from the CLI's embedded catalog
+// ---------------------------------------------------------------------------
+/**
+ * Every Claude model a seat offers, in picker order (first runnable = default).
+ *
+ * Transcribed from the embedded catalog of Claude Code 2.1.257 and 2.1.280
+ * (`context.window`, `context.native_1m`, `max_output_tokens.default`):
+ *
+ *  - `native1m` is the catalog's own `native_1m` flag: the CLI runs these at
+ *    1M with no `[1m]` suffix on a first-party seat. Never append `[1m]` to a
+ *    200k model — the CLI would then CLAIM 1M for a model that has 200k.
+ *  - `maxOutputTokens` is the catalog DEFAULT, not the upper bound: it is the
+ *    number Claude Code reserves from (capped at 20k) when it computes the
+ *    compaction point, which is all Verse uses it for.
+ *  - `minCliVersion` is set only where a binary genuinely lacks the id.
+ *    `claude-opus-5-5` is absent from 2.1.257 (0 occurrences) and present in
+ *    2.1.280, and the served catalog cache says `min_claude_code_version:
+ *    "2.1.280"`. An older binary does not reject it — its id normaliser falls
+ *    back to `includes('claude-opus-5')` and silently runs Opus 5 — which is
+ *    why a too-old seat lists it as UNAVAILABLE instead of offering it.
+ *
+ * The dotted `claude-opus-5.5` Verse once shipped is an ALIAS (context-math
+ * `VERSE_MODEL_ID_ALIASES`): on every binary it resolves to Opus 5. It is
+ * never offered; old records keep it and adapters send the canonical id.
+ *
+ * `claude-mythos-5` / `-5-1` are in the catalog too but are deliberately not
+ * offered: whether a subscription seat may use them is unverified, and a
+ * picker entry is a promise.
+ */
+export const VERSE_CLAUDE_MODEL_SPECS = [
+    { id: 'claude-fable-5-1', label: 'Claude Fable 5.1', contextWindow: 1_000_000, maxOutputTokens: 64_000, minCliVersion: null, native1m: true },
+    { id: 'claude-opus-5-5', label: 'Claude Opus 5.5', contextWindow: 1_000_000, maxOutputTokens: 128_000, minCliVersion: '2.1.280', native1m: true },
+    { id: 'claude-fable-5', label: 'Claude Fable 5', contextWindow: 1_000_000, maxOutputTokens: 64_000, minCliVersion: null, native1m: true },
+    { id: 'claude-opus-5', label: 'Claude Opus 5', contextWindow: 1_000_000, maxOutputTokens: 64_000, minCliVersion: null, native1m: true },
+    { id: 'claude-opus-4-8', label: 'Claude Opus 4.8', contextWindow: 1_000_000, maxOutputTokens: 64_000, minCliVersion: null, native1m: true },
+    // 200k and NOT native_1m: no expansive mode, no --autocompact flag.
+    { id: 'claude-opus-4-5', label: 'Claude Opus 4.5', contextWindow: 200_000, maxOutputTokens: 32_000, minCliVersion: null, native1m: false },
+    { id: 'claude-sonnet-5', label: 'Claude Sonnet 5', contextWindow: 1_000_000, maxOutputTokens: 64_000, minCliVersion: null, native1m: true },
+    { id: 'claude-haiku-4-5-20251001', label: 'Claude Haiku 4.5', contextWindow: 200_000, maxOutputTokens: 32_000, minCliVersion: null, native1m: false },
+];
+/**
+ * The spec for a model id, after alias canonicalisation — so an old session
+ * stored as `claude-opus-5.5` finds Opus 5.5's budget. A trailing `[1m]`
+ * (which the CLI strips from native-1M ids anyway) is tolerated. Null for an
+ * id this table does not know: the caller falls back to the seat, then to
+ * `VERSE_DEFAULT_CONTEXT_WINDOWS.claude` — never to a guess.
+ */
+export function claudeSpecFor(modelId) {
+    if (typeof modelId !== 'string' || modelId.length === 0)
+        return null;
+    const canonical = canonicalModelId(modelId.trim());
+    const bare = canonical.replace(/\[1m\]$/i, '');
+    return VERSE_CLAUDE_MODEL_SPECS.find((spec) => spec.id === canonical || spec.id === bare) ?? null;
+}
+/** "Claude Opus 5.5" → "Opus 5.5" — how the CLI and the seat notes name a model. */
+function shortClaudeLabel(label) {
+    return label.replace(/^Claude\s+/, '');
+}
+/**
+ * One Claude spec as a model option on a seat pinned to `cliVersion`.
+ *
+ * Standard budget: 1M-native models run at `--autocompact 400000` (compaction
+ * at 367k); 200k models compact natively (167k). Expansive exists only for
+ * 1M-native models: the CLI's `auto` window, compacting at 967k — the
+ * `pre_tokens` observed on real compactions.
+ */
+function claudeOption(spec, cliVersion) {
+    const window = spec.contextWindow;
+    const expansive = spec.native1m
+        ? { contextWindow: window, autoCompactAt: claudeAutoCompactAt(window, spec.maxOutputTokens, null) }
+        : null;
+    const standardCap = spec.native1m && window > CLAUDE_STANDARD_AUTOCOMPACT_WINDOW
+        ? CLAUDE_STANDARD_AUTOCOMPACT_WINDOW
+        : null;
+    const tooOld = spec.minCliVersion !== null
+        && cliVersion !== null
+        && compareCliVersions(cliVersion, spec.minCliVersion) < 0;
+    return {
+        id: spec.id,
+        label: spec.label,
+        contextWindow: window,
+        autoCompactAt: claudeAutoCompactAt(window, spec.maxOutputTokens, standardCap),
+        ...(expansive ? { expansive } : {}),
+        maxOutputTokens: spec.maxOutputTokens,
+        windowSource: 'cli-catalog',
+        minCliVersion: spec.minCliVersion,
+        unavailableReason: tooOld
+            ? `needs Claude Code ${spec.minCliVersion}; this seat runs ${cliVersion}`
+            : null,
+    };
+}
+/**
+ * The Claude model list for a seat pinned to `cliVersion`.
+ *
+ * `cliVersion === null` means UNKNOWN, and unknown is not "too old": no model
+ * is marked unavailable on a guess (the seat carries a note instead). Order is
+ * the table's; callers put runnable models first.
+ */
+export function claudeModelOptions(cliVersion) {
+    return VERSE_CLAUDE_MODEL_SPECS.map((spec) => claudeOption(spec, cliVersion));
+}
+/** Specs a binary of `cliVersion` is too old for (empty when the version is unknown). */
+export function claudeModelsNeedingNewerCli(cliVersion) {
+    if (cliVersion === null)
+        return [];
+    return VERSE_CLAUDE_MODEL_SPECS.filter((spec) => spec.minCliVersion !== null && compareCliVersions(cliVersion, spec.minCliVersion) < 0);
+}
+/** Labels for a note: "Opus 5.5", "Opus 5.5 and Fable 6", "A, B and C". */
+export function joinClaudeLabels(specs) {
+    const labels = specs.map((s) => shortClaudeLabel(s.label));
+    if (labels.length <= 1)
+        return labels[0] ?? '';
+    return `${labels.slice(0, -1).join(', ')} and ${labels[labels.length - 1]}`;
+}
+// ---------------------------------------------------------------------------
+// CLI versions
+// ---------------------------------------------------------------------------
+const VERSION_RE = /(\d+)\.(\d+)\.(\d+)(?:-([0-9A-Za-z.]+))?/;
+/**
+ * Compare two CLI versions: negative when `a` is older, 0 when equal, positive
+ * when newer. Numeric per segment (2.1.280 > 2.1.257 > 2.1.99), and a
+ * pre-release sorts before its release (0.155.0-alpha.9 < 0.155.0). Strings
+ * with no `x.y.z` in them compare equal to each other and older than any real
+ * version — an unparseable version is never allowed to unlock a model.
+ */
+export function compareCliVersions(a, b) {
+    const pa = VERSION_RE.exec(a);
+    const pb = VERSION_RE.exec(b);
+    if (!pa || !pb)
+        return (pa ? 1 : 0) - (pb ? 1 : 0);
+    for (let i = 1; i <= 3; i += 1) {
+        const d = Number(pa[i]) - Number(pb[i]);
+        if (d !== 0)
+            return d < 0 ? -1 : 1;
+    }
+    const preA = pa[4] ?? null;
+    const preB = pb[4] ?? null;
+    if (preA === preB)
+        return 0;
+    if (preA === null)
+        return 1;
+    if (preB === null)
+        return -1;
+    return preA.localeCompare(preB, 'en', { numeric: true }) < 0 ? -1 : 1;
+}
+const MAX_PACKAGE_JSON_BYTES = 64 * 1024;
+/**
+ * The version of the CLI a native profile is pinned to, from the executable
+ * path its launcher execs. Never runs the binary (that would be a process
+ * spawn on the discovery path, and some CLIs phone home on `--version`).
+ *
+ *  - Claude Code installs each version as a file NAMED by it:
+ *    `~/.local/share/claude/versions/2.1.257` → `2.1.257`.
+ *  - Grok's downloads embed it: `grok-0.2.118-macos-aarch64` → `0.2.118`.
+ *  - The npm codex wrapper is `…/@openai/codex/bin/codex.js`; its version is
+ *    the package's own `package.json`, read with a size cap.
+ *
+ * Anything else (e.g. the codex binary inside ChatGPT.app) is null: unknown,
+ * which is reported as unknown rather than guessed from a neighbour.
+ */
+export function cliVersionFromExecutable(executablePath) {
+    if (typeof executablePath !== 'string' || executablePath.length === 0)
+        return null;
+    const name = basename(executablePath);
+    // Only the X.Y.Z core from a file name: `grok-0.2.118-macos-aarch64` has a
+    // platform suffix that is not a pre-release tag.
+    const fromName = /(?:^|[^0-9.])(\d+\.\d+\.\d+)(?=$|[^0-9.])/.exec(`-${name}`);
+    if (fromName)
+        return fromName[1];
+    if (name === 'codex.js' || name === 'codex') {
+        const pkg = readCappedJson(join(dirname(dirname(executablePath)), 'package.json'), MAX_PACKAGE_JSON_BYTES);
+        if (isRecord(pkg) && typeof pkg['version'] === 'string' && VERSION_RE.test(pkg['version'])
+            && (pkg['name'] === undefined || pkg['name'] === '@openai/codex')) {
+            return pkg['version'].slice(0, 64);
+        }
+    }
+    return null;
+}
+/** Where Claude Code's installer keeps one file per installed version. */
+export function defaultClaudeVersionsRoot(home = homedir()) {
+    return join(home, '.local', 'share', 'claude', 'versions');
+}
+/**
+ * The newest Claude Code version installed on this machine, or null. Only
+ * regular files named exactly `x.y.z` count — the installer's lock and
+ * partial-download files are skipped.
+ */
+export function newestInstalledClaudeVersion(root = defaultClaudeVersionsRoot()) {
+    let entries;
+    try {
+        entries = readdirSync(root);
+    }
+    catch {
+        return null;
+    }
+    let best = null;
+    for (const name of entries.slice(0, 256)) {
+        if (!/^\d+\.\d+\.\d+$/.test(name))
+            continue;
+        try {
+            if (!statSync(join(root, name)).isFile())
+                continue;
+        }
+        catch {
+            continue;
+        }
+        if (best === null || compareCliVersions(name, best) > 0)
+            best = name;
+    }
+    return best;
+}
+// ---------------------------------------------------------------------------
+// Bounded, cached file reads
+// ---------------------------------------------------------------------------
+/** Every catalog read is capped here — codex's is ~350 KB today. */
+export const VERSE_CATALOG_MAX_BYTES = 512 * 1024;
+const MAX_CACHE_ENTRIES = 64;
+const fileCache = new Map();
+/** Test seam: forget every cached catalog read. */
+export function resetModelWindowCaches() {
+    fileCache.clear();
+}
+function isRecord(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+/**
+ * Read and parse a JSON file WITHOUT following a symlink at its final
+ * component, refusing anything that is not a regular file or is over
+ * `maxBytes`, and parsing it through `parse` exactly once per (path, mtime,
+ * size). The cached value is the PARSED result, so a 350 KB catalog is not
+ * re-parsed on every seat poll. Returns null on any failure.
+ */
+function readCachedFile(path, maxBytes, kind, parse) {
+    let fd = null;
+    try {
+        const noFollow = typeof fsConstants.O_NOFOLLOW === 'number' ? fsConstants.O_NOFOLLOW : 0;
+        fd = openSync(path, fsConstants.O_RDONLY | noFollow);
+        const st = fstatSync(fd);
+        if (!st.isFile() || st.size <= 0 || st.size > maxBytes)
+            return null;
+        const key = `${kind}\u0000${path}`;
+        const cached = fileCache.get(key);
+        if (cached && cached.mtimeMs === st.mtimeMs && cached.size === st.size)
+            return cached.value;
+        const buf = Buffer.alloc(st.size);
+        let read = 0;
+        while (read < st.size) {
+            const n = readSync(fd, buf, read, st.size - read, read);
+            if (n <= 0)
+                break;
+            read += n;
+        }
+        let raw;
+        try {
+            raw = JSON.parse(buf.subarray(0, read).toString('utf8'));
+        }
+        catch {
+            raw = undefined;
+        }
+        const value = raw === undefined ? null : parse(raw);
+        if (fileCache.size >= MAX_CACHE_ENTRIES)
+            fileCache.clear();
+        fileCache.set(key, { mtimeMs: st.mtimeMs, size: st.size, value });
+        return value;
+    }
+    catch {
+        return null;
+    }
+    finally {
+        if (fd !== null) {
+            try {
+                closeSync(fd);
+            }
+            catch { /* already closed */ }
+        }
+    }
+}
+function readCappedJson(path, maxBytes) {
+    return readCachedFile(path, maxBytes, 'json', (raw) => raw);
+}
+function positiveInt(value) {
+    return typeof value === 'number' && Number.isFinite(value) && value > 0 ? Math.floor(value) : null;
+}
+function percentOrNull(value) {
+    const n = positiveInt(value);
+    return n !== null && n <= 100 ? n : null;
+}
+/**
+ * A model id that is safe to put on an argv as `--model <id>`: what every
+ * provider id looks like, and nothing that could read as a flag or carry
+ * whitespace. A catalog row with anything else is skipped, not sanitised.
+ */
+const MODEL_ID_RE = /^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$/;
+function labelOrNull(value) {
+    if (typeof value !== 'string')
+        return null;
+    const trimmed = value.replace(/\s+/g, ' ').trim();
+    return trimmed.length > 0 && trimmed.length <= 80 ? trimmed : null;
+}
+function parseCodexCatalog(raw) {
+    if (!isRecord(raw) || !Array.isArray(raw['models']))
+        return null;
+    const out = [];
+    const seen = new Set();
+    for (const row of raw['models'].slice(0, 256)) {
+        if (!isRecord(row))
+            continue;
+        const slug = row['slug'];
+        if (typeof slug !== 'string' || !MODEL_ID_RE.test(slug) || seen.has(slug))
+            continue;
+        const contextWindow = positiveInt(row['context_window']);
+        if (contextWindow === null)
+            continue;
+        seen.add(slug);
+        out.push({
+            slug,
+            displayName: labelOrNull(row['display_name']),
+            visibility: typeof row['visibility'] === 'string' ? row['visibility'] : null,
+            contextWindow,
+            maxContextWindow: positiveInt(row['max_context_window']),
+            effectiveContextWindowPercent: percentOrNull(row['effective_context_window_percent']),
+            autoCompactTokenLimit: positiveInt(row['auto_compact_token_limit']),
+            priority: typeof row['priority'] === 'number' && Number.isFinite(row['priority']) ? row['priority'] : null,
+        });
+    }
+    return out.length > 0 ? out : null;
+}
+/**
+ * The seat's own codex catalog, or null when it has none yet (a seat that has
+ * never run a turn has not fetched one) or it is unreadable. `nativeStatePath`
+ * is the seat profile's `CODEX_HOME` — NEVER the unpinned `~/.codex`, whose
+ * catalog belongs to a different account and binary.
+ */
+export function readCodexCatalog(nativeStatePath) {
+    if (typeof nativeStatePath !== 'string' || nativeStatePath.length === 0)
+        return null;
+    return readCachedFile(join(nativeStatePath, 'models_cache.json'), VERSE_CATALOG_MAX_BYTES, 'codex', parseCodexCatalog);
+}
+/**
+ * The documented list a codex seat offers before its first turn fetches a
+ * catalog: the slugs every current codex catalog carries, with the windows
+ * those catalogs report (272k raw, 872k max, 95% effective; gpt-5.5 has no
+ * larger window). Hidden slugs (`gpt-reserve`, `codex-auto-review`) are not
+ * here — they are not offered even when a catalog lists them.
+ */
+const CODEX_DOCUMENTED_MODELS = [
+    ['gpt-6-astra', 'GPT-6 Astra', 872_000],
+    ['gpt-6-sol', 'GPT-6 Sol', 872_000],
+    ['gpt-6-luna', 'GPT-6 Luna', 872_000],
+    ['gpt-5.6-sol', 'GPT-5.6 Sol', 872_000],
+    ['gpt-5.6-terra', 'GPT-5.6 Terra', 872_000],
+    ['gpt-5.6-luna', 'GPT-5.6 Luna', 872_000],
+    ['gpt-5.5', 'GPT-5.5', 272_000],
+].map(([slug, displayName, max]) => ({
+    slug: slug,
+    displayName: displayName,
+    visibility: 'list',
+    contextWindow: 272_000,
+    maxContextWindow: max,
+    effectiveContextWindowPercent: 95,
+    autoCompactTokenLimit: null,
+    priority: null,
+}));
+function codexOption(entry, source) {
+    const pct = entry.effectiveContextWindowPercent;
+    const max = entry.maxContextWindow;
+    // Expansive only where the catalog offers a genuinely larger window. The
+    // adapter must pass BOTH `-c model_context_window=<providerWindow>` and
+    // `-c model_auto_compact_token_limit=<autoCompactAt>`: raising only the
+    // window breaks codex's auto-compaction (openai/codex#16068).
+    const expansive = max !== null && max > entry.contextWindow
+        ? { contextWindow: codexEffectiveWindow(max, pct), autoCompactAt: codexAutoCompactAt(max), providerWindow: max }
+        : null;
+    return {
+        id: entry.slug,
+        label: entry.displayName ?? entry.slug,
+        // The EFFECTIVE window: what codex's own rollouts report as
+        // `model_context_window` (258_400 for every 272k model).
+        contextWindow: codexEffectiveWindow(entry.contextWindow, pct),
+        autoCompactAt: entry.autoCompactTokenLimit ?? codexAutoCompactAt(entry.contextWindow),
+        ...(expansive ? { expansive } : {}),
+        windowSource: source,
+        minCliVersion: null,
+        unavailableReason: null,
+    };
+}
+/** Catalog order is the provider's priority; ties and unranked rows keep file order. */
+function byPriority(entries) {
+    return entries
+        .map((entry, index) => ({ entry, index }))
+        .sort((a, b) => {
+        const pa = a.entry.priority ?? Number.POSITIVE_INFINITY;
+        const pb = b.entry.priority ?? Number.POSITIVE_INFINITY;
+        return pa === pb ? a.index - b.index : pa - pb;
+    })
+        .map(({ entry }) => entry);
+}
+/**
+ * A codex seat's model list: every VISIBLE slug in its own catalog, in the
+ * provider's priority order, or the documented list (`windowSource:
+ * 'documented'`) when the seat has not fetched a catalog yet.
+ */
+export function codexModelOptions(catalog) {
+    const visible = (catalog ?? []).filter((entry) => entry.visibility !== 'hide');
+    if (visible.length === 0)
+        return CODEX_DOCUMENTED_MODELS.map((entry) => codexOption(entry, 'documented'));
+    return byPriority(visible).map((entry) => codexOption(entry, 'provider-catalog'));
+}
+function parseGrokCatalog(raw) {
+    if (!isRecord(raw) || !isRecord(raw['models']))
+        return null;
+    const out = [];
+    const seen = new Set();
+    for (const [key, entry] of Object.entries(raw['models']).slice(0, 256)) {
+        if (!isRecord(entry))
+            continue;
+        // `.info` ONLY. The sibling `api_key` / `env_key` slots are credential
+        // material and are never read, copied or compared — not even for null.
+        const info = entry['info'];
+        if (!isRecord(info))
+            continue;
+        const idRaw = typeof info['id'] === 'string' ? info['id'] : key;
+        if (!MODEL_ID_RE.test(idRaw) || seen.has(idRaw))
+            continue;
+        seen.add(idRaw);
+        out.push({
+            id: idRaw,
+            name: labelOrNull(info['name']),
+            contextWindow: positiveInt(info['context_window']),
+            autoCompactThresholdPercent: percentOrNull(info['auto_compact_threshold_percent']),
+            maxCompletionTokens: positiveInt(info['max_completion_tokens']),
+            hidden: info['hidden'] === true,
+            supportedInApi: info['supported_in_api'] !== false,
+        });
+    }
+    return out.length > 0 ? out : null;
+}
+/**
+ * The seat's own grok catalog (`<GROK_HOME>/models_cache.json`), or null. The
+ * unpinned `~/.grok` cache is stale on this machine (fetched weeks earlier,
+ * two models) and is never consulted.
+ */
+export function readGrokCatalog(nativeStatePath) {
+    if (typeof nativeStatePath !== 'string' || nativeStatePath.length === 0)
+        return null;
+    return readCachedFile(join(nativeStatePath, 'models_cache.json'), VERSE_CATALOG_MAX_BYTES, 'grok', parseGrokCatalog);
+}
+/** Grok 0.2.118's catalog, for a seat that has none yet. Names are the catalog's. */
+const GROK_DOCUMENTED_MODELS = [
+    ['grok-4.7', 'Grok 4.7'],
+    ['grok-4.7-build-fast', 'Grok 4.7 Fast'],
+    ['grok-4.6', 'Grok 4.6'],
+    ['grok-4.5', 'Grok 4.5'],
+].map(([id, name]) => ({
+    id: id,
+    name: name,
+    contextWindow: 500_000,
+    autoCompactThresholdPercent: 80,
+    maxCompletionTokens: null,
+    hidden: false,
+    supportedInApi: true,
+}));
+function grokOption(entry, source) {
+    const window = entry.contextWindow ?? VERSE_DEFAULT_CONTEXT_WINDOWS['grok'] ?? 500_000;
+    return {
+        id: entry.id,
+        label: entry.name ?? entry.id,
+        contextWindow: window,
+        autoCompactAt: grokAutoCompactAt(window, entry.autoCompactThresholdPercent),
+        ...(entry.maxCompletionTokens !== null ? { maxOutputTokens: entry.maxCompletionTokens } : {}),
+        // A row without a window got the named default, and says so.
+        windowSource: entry.contextWindow === null ? 'fallback' : source,
+        minCliVersion: null,
+        unavailableReason: null,
+    };
+}
+/**
+ * A grok seat's model list: every entry that is not hidden and not flagged
+ * unsupported, in the catalog's own order (JSON object order is preserved and
+ * is the CLI's), or the documented list when the seat has no catalog. Grok has
+ * no expansive mode: its CLI cannot be told a larger budget per invocation.
+ */
+export function grokModelOptions(catalog) {
+    const offered = (catalog ?? []).filter((entry) => !entry.hidden && entry.supportedInApi);
+    if (offered.length === 0)
+        return GROK_DOCUMENTED_MODELS.map((entry) => grokOption(entry, 'documented'));
+    return offered.map((entry) => grokOption(entry, 'provider-catalog'));
+}
+// ---------------------------------------------------------------------------
+// Local
+// ---------------------------------------------------------------------------
+/**
+ * A local (Ollama / llama-server) model option. Local turns run the Claude
+ * Code binary with `CLAUDE_CODE_MAX_CONTEXT_TOKENS=<window>`, so they compact
+ * by the Claude formula over the window Verse resolved; max output is unknown
+ * for a non-Claude id, which the formula treats as the 20k reserve cap. No
+ * expansive mode: the window IS the runtime's allocation.
+ */
+export function localModelOption(tag, label, window, source) {
+    // Below ~33k the formula reaches zero: the 20k reply reserve plus the 13k
+    // buffer swallow the whole window, so there is no meaningful point at which
+    // the CLI "will compact". Null (unknown) says that; a 0 would draw a tick at
+    // the left edge of the meter and claim every turn is past compaction.
+    const compactAt = claudeAutoCompactAt(window, null, null);
+    return {
+        id: tag,
+        label,
+        contextWindow: window,
+        autoCompactAt: compactAt > 0 ? compactAt : null,
+        windowSource: source,
+    };
+}
+// ---------------------------------------------------------------------------
+// Launch snapshots written before 3.9
+// ---------------------------------------------------------------------------
+/** Whether an option was built by the V3.9 catalog (it states its budgets), rather than read from an older launch snapshot. */
+function hasCatalogBudgets(option) {
+    return option.autoCompactAt !== undefined || option.expansive !== undefined || option.windowSource !== undefined;
+}
+/** The documented V3.9 option for a model id on an engine, or null when this module has none. */
+function documentedOption(engine, model) {
+    const wanted = canonicalModelId(model);
+    switch (engine) {
+        case 'claude': {
+            const spec = claudeSpecFor(model);
+            return spec ? claudeOption(spec, null) : null;
+        }
+        case 'codex':
+            return codexModelOptions(null).find((m) => canonicalModelId(m.id) === wanted) ?? null;
+        case 'grok':
+            return grokModelOptions(null).find((m) => canonicalModelId(m.id) === wanted) ?? null;
+        default:
+            // Local windows are the runtime's allocation at discovery time, not a
+            // property of the tag; there is nothing documented to fall back to (the
+            // engine refreshes them from live discovery instead — `refreshLocalWindow`).
+            return null;
+    }
+}
+/**
+ * The option whose budgets govern a session, given the option its PINNED
+ * launch snapshot lists (`snapshot`, null when the snapshot no longer lists
+ * the model).
+ *
+ * Normally the snapshot's own option. The exception is a snapshot written
+ * before 3.9: its options carry one flat window and no budgets (claude: the
+ * CLI's 200k fallback for every model; codex: the RAW 272k window, which the
+ * CLI measures against 95% of; grok: the 500k default), so it can state
+ * neither a compaction point nor an expansive budget. For those, the model's
+ * DOCUMENTED option from this module supplies the budgets — the same builders
+ * the live seat lists are made from, so the web UI (which reads the live seat)
+ * and the engine and adapters (which read the snapshot) can never disagree
+ * about whether a mode exists or what it costs. The snapshot keeps its identity
+ * (id, label); only budgets are borrowed.
+ *
+ * ONE helper, used by the engine (`effectiveModelOption`) and by every adapter
+ * that turns a budget into CLI flags (claude `--autocompact`, codex
+ * `-c model_context_window`), because two copies of this rule would drift and
+ * the flag the CLI is given must be the budget the meter shows.
+ *
+ * A model this module does not know keeps its snapshot option (and, lacking an
+ * expansive budget, gets no expansive mode — absent, never faked). Local is
+ * never substituted.
+ */
+export function legacyModelOptionFallback(engine, model, snapshot) {
+    if (snapshot && hasCatalogBudgets(snapshot))
+        return snapshot;
+    const known = documentedOption(engine, snapshot?.id ?? model);
+    if (!known)
+        return snapshot;
+    return { ...known, id: snapshot?.id ?? model, label: snapshot?.label ?? known.label, unavailableReason: null };
+}
+//# sourceMappingURL=model-windows.js.map

package/dist/core/verse/model-windows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-windows.js","sourceRoot":"","sources":["../../../src/core/verse/model-windows.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,SAAS,EAAE,SAAS,IAAI,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACpH,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEpD,OAAO,EACL,kCAAkC,EAClC,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,6BAA6B,GAK9B,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAO/B;IACJ,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC7I,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE;IACjJ,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE;IACzI,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE;IACvI,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC3I,oEAAoE;IACpE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC1I,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC3I,EAAE,EAAE,EAAE,2BAA2B,EAAE,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;CACtJ,CAAC;AAIF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC;AACpG,CAAC;AAED,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CAAC,IAAqB,EAAE,UAAyB;IACpE,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC;IAClC,MAAM,SAAS,GAA8B,IAAI,CAAC,QAAQ;QACxD,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE;QACnG,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,IAAI,MAAM,GAAG,kCAAkC;QAC9E,CAAC,CAAC,kCAAkC;QACpC,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,KAAK,IAAI;WACrC,UAAU,KAAK,IAAI;WACnB,kBAAkB,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAC5D,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,aAAa,EAAE,MAAM;QACrB,aAAa,EAAE,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,WAAW,CAAC;QAC7E,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,YAAY,EAAE,aAAa;QAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,iBAAiB,EAAE,MAAM;YACvB,CAAC,CAAC,qBAAqB,IAAI,CAAC,aAAa,oBAAoB,UAAU,EAAE;YACzE,CAAC,CAAC,IAAI;KACT,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAyB;IAC1D,OAAO,wBAAwB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,2BAA2B,CAAC,UAAyB;IACnE,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACnC,OAAO,wBAAwB,CAAC,MAAM,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,IAAI,IAAI,kBAAkB,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAChG,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,KAAiC;IAChE,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,MAAM,UAAU,GAAG,0CAA0C,CAAC;AAE9D;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAS,EAAE,CAAS;IACrD,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC3B,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC3B,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAC5B,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAC5B,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC,CAAC;IAC7B,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,sBAAsB,GAAG,EAAE,GAAG,IAAI,CAAC;AAEzC;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CAAC,cAAsB;IAC7D,IAAI,OAAO,cAAc,KAAK,QAAQ,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC;IACtC,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,QAAQ,GAAG,2CAA2C,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC9E,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;IAClC,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,sBAAsB,CAAC,CAAC;QAC3G,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;eACrF,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,eAAe,CAAC,EAAE,CAAC;YACpE,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,yBAAyB,CAAC,OAAe,OAAO,EAAE;IAChE,OAAO,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC7D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAAC,OAAe,yBAAyB,EAAE;IACrF,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE;gBAAE,SAAS;QACrD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,oEAAoE;AACpE,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,GAAG,IAAI,CAAC;AAClD,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAQ7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;AAEhD,mDAAmD;AACnD,MAAM,UAAU,sBAAsB;IACpC,SAAS,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CAAI,IAAY,EAAE,QAAgB,EAAE,IAAY,EAAE,KAAiC;IACxG,IAAI,EAAE,GAAkB,IAAI,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,OAAO,WAAW,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC;QACrD,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,QAAQ;YAAE,OAAO,IAAI,CAAC;QACpE,MAAM,GAAG,GAAG,GAAG,IAAI,SAAS,IAAI,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,EAAE,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;YAAE,OAAO,MAAM,CAAC,KAAiB,CAAC;QACxG,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,OAAO,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC;gBAAE,MAAM;YAClB,IAAI,IAAI,CAAC,CAAC;QACZ,CAAC;QACD,IAAI,GAAY,CAAC;QACjB,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY,CAAC;QACtE,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,GAAG,SAAS,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,SAAS,CAAC,IAAI,IAAI,iBAAiB;YAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QAC3D,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,CAAC;gBAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,oBAAoB,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,QAAgB;IACpD,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrG,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED;;;;GAIG;AACH,MAAM,WAAW,GAAG,sCAAsC,CAAC;AAE3D,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC;AAuBD,SAAS,iBAAiB,CAAC,GAAY;IACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACpF,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACzD,IAAI,aAAa,KAAK,IAAI;YAAE,SAAS;QACrC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,GAAG,CAAC,IAAI,CAAC;YACP,IAAI;YACJ,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC7C,UAAU,EAAE,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;YAC5E,aAAa;YACb,gBAAgB,EAAE,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YACxD,6BAA6B,EAAE,aAAa,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;YACrF,qBAAqB,EAAE,WAAW,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;YACnE,QAAQ,EAAE,OAAO,GAAG,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;SAC3G,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACrC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,eAAuB;IACtD,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,cAAc,CAAC,IAAI,CAAC,eAAe,EAAE,mBAAmB,CAAC,EAAE,uBAAuB,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC;AACzH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,uBAAuB,GAAiC;IAC5D,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC;IACvC,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC;IACnC,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC;IACrC,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC;IACvC,CAAC,eAAe,EAAE,eAAe,EAAE,OAAO,CAAC;IAC3C,CAAC,cAAc,EAAE,cAAc,EAAE,OAAO,CAAC;IACzC,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC;CAChC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACnC,IAAI,EAAE,IAAc;IACpB,WAAW,EAAE,WAAqB;IAClC,UAAU,EAAE,MAAM;IAClB,aAAa,EAAE,OAAO;IACtB,gBAAgB,EAAE,GAAa;IAC/B,6BAA6B,EAAE,EAAE;IACjC,qBAAqB,EAAE,IAAI;IAC3B,QAAQ,EAAE,IAAI;CACf,CAAC,CAAC,CAAC;AAEJ,SAAS,WAAW,CAAC,KAAwB,EAAE,MAAyB;IACtE,MAAM,GAAG,GAAG,KAAK,CAAC,6BAA6B,CAAC;IAChD,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC;IACnC,yEAAyE;IACzE,wEAAwE;IACxE,wEAAwE;IACxE,8DAA8D;IAC9D,MAAM,SAAS,GAA8B,GAAG,KAAK,IAAI,IAAI,GAAG,GAAG,KAAK,CAAC,aAAa;QACpF,CAAC,CAAC,EAAE,aAAa,EAAE,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE;QAChH,CAAC,CAAC,IAAI,CAAC;IACT,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,IAAI;QACd,KAAK,EAAE,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI;QACtC,4DAA4D;QAC5D,yDAAyD;QACzD,aAAa,EAAE,oBAAoB,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,CAAC;QAC7D,aAAa,EAAE,KAAK,CAAC,qBAAqB,IAAI,kBAAkB,CAAC,KAAK,CAAC,aAAa,CAAC;QACrF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,YAAY,EAAE,MAAM;QACpB,aAAa,EAAE,IAAI;QACnB,iBAAiB,EAAE,IAAI;KACxB,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAS,UAAU,CAAC,OAAqC;IACvD,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;QACxD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;QACxD,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;IACjD,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAmC;IACnE,MAAM,OAAO,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC;IAC/E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,uBAAuB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1G,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC;AACpF,CAAC;AAiBD,SAAS,gBAAgB,CAAC,GAAY;IACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAC/B,uEAAuE;QACvE,uEAAuE;QACvE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9B,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC1D,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/B,aAAa,EAAE,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAClD,2BAA2B,EAAE,aAAa,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAClF,mBAAmB,EAAE,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAC/D,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI;YAC/B,cAAc,EAAE,IAAI,CAAC,kBAAkB,CAAC,KAAK,KAAK;SACnD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,eAAuB;IACrD,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,cAAc,CAAC,IAAI,CAAC,eAAe,EAAE,mBAAmB,CAAC,EAAE,uBAAuB,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;AACvH,CAAC;AAED,qFAAqF;AACrF,MAAM,sBAAsB,GAAgC;IAC1D,CAAC,UAAU,EAAE,UAAU,CAAC;IACxB,CAAC,qBAAqB,EAAE,eAAe,CAAC;IACxC,CAAC,UAAU,EAAE,UAAU,CAAC;IACxB,CAAC,UAAU,EAAE,UAAU,CAAC;CACzB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACrB,EAAE,EAAE,EAAY;IAChB,IAAI,EAAE,IAAc;IACpB,aAAa,EAAE,OAAO;IACtB,2BAA2B,EAAE,EAAE;IAC/B,mBAAmB,EAAE,IAAI;IACzB,MAAM,EAAE,KAAK;IACb,cAAc,EAAE,IAAI;CACrB,CAAC,CAAC,CAAC;AAEJ,SAAS,UAAU,CAAC,KAAuB,EAAE,MAAyB;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,IAAI,6BAA6B,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC;IACvF,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE;QAC7B,aAAa,EAAE,MAAM;QACrB,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,2BAA2B,CAAC;QAC3E,GAAG,CAAC,KAAK,CAAC,mBAAmB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,6DAA6D;QAC7D,YAAY,EAAE,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM;QAChE,aAAa,EAAE,IAAI;QACnB,iBAAiB,EAAE,IAAI;KACxB,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAkC;IACjE,MAAM,OAAO,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;IACzF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,sBAAsB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;IACxG,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW,EAAE,KAAa,EAAE,MAAc,EAAE,MAAyB;IACpG,0EAA0E;IAC1E,4EAA4E;IAC5E,6EAA6E;IAC7E,sEAAsE;IACtE,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1D,OAAO;QACL,EAAE,EAAE,GAAG;QACP,KAAK;QACL,aAAa,EAAE,MAAM;QACrB,aAAa,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;QAC/C,YAAY,EAAE,MAAM;KACrB,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E;AAE9E,+HAA+H;AAC/H,SAAS,iBAAiB,CAAC,MAAwB;IACjD,OAAO,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC;AACnH,CAAC;AAED,iGAAiG;AACjG,SAAS,gBAAgB,CAAC,MAAmB,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACvC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YAClC,OAAO,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;QACxF,KAAK,MAAM;YACT,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;QACvF;YACE,sEAAsE;YACtE,wEAAwE;YACxE,6EAA6E;YAC7E,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAmB,EACnB,KAAa,EACb,QAAiC;IAEjC,IAAI,QAAQ,IAAI,iBAAiB,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7D,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,IAAI,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK;QAAE,OAAO,QAAQ,CAAC;IAC5B,OAAO,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;AACjH,CAAC"}