deepclause-sdk 0.0.89 → 0.1.1

package/dist/repl/backend.js

@@ -0,0 +1,415 @@
+/**
+ * Backend resolution for the REPL (M5).
+ *
+ * `env` uses the SDK's provider/API-key backend (unchanged). `pi` reuses pi's
+ * own model registry and credential store so the REPL runs against the model
+ * configured in pi, without asking for API keys or writing provider env vars.
+ *
+ * The pi packages are optional peers and loaded with a dynamic import only when
+ * the pi backend is selected.
+ */
+import * as path from 'path';
+export const THINKING_LEVELS = ['off', 'minimal', 'low', 'medium', 'high', 'xhigh', 'max'];
+/** Levels a model accepts: reasoning models expose all but explicitly-unsupported ones. */
+export function supportedThinkingLevels(model) {
+    if (!model.reasoning) {
+        return ['off'];
+    }
+    return THINKING_LEVELS.filter((level) => model.thinkingLevelMap?.[level] !== null);
+}
+/**
+ * Validate a requested thinking level against the model. Returns the level to
+ * pass through (or `undefined` for the provider default) plus a warning when a
+ * request had to be dropped.
+ */
+export function resolveThinkingLevel(model, requested) {
+    const supported = supportedThinkingLevels(model);
+    if (!requested) {
+        return { level: undefined, supported };
+    }
+    if (THINKING_LEVELS.includes(requested) && supported.includes(requested)) {
+        return { level: requested, supported };
+    }
+    return {
+        level: undefined,
+        supported,
+        warning: `thinking level '${requested}' is not supported by ${model.provider}/${model.id}; using the provider default`,
+    };
+}
+/** Resolve pi's agent dir, models.json, and auth.json paths. */
+export function resolvePiPaths(config, defaults) {
+    const agentDir = config.agentDir ?? defaults.agentDir;
+    return {
+        agentDir,
+        modelsPath: config.modelsPath ?? path.join(agentDir, 'models.json'),
+        authPath: config.authPath ?? path.join(agentDir, 'auth.json'),
+        model: config.model,
+    };
+}
+function modelLabel(model) {
+    return `${model.provider}/${model.id}`;
+}
+/** Find a pi model by provider+id (registry `find` when present, else the catalog). */
+function findPiModel(registry, target) {
+    const found = registry.find?.(target.provider, target.id);
+    if (found) {
+        return found;
+    }
+    return registry.getAvailable().find((model) => model.provider === target.provider && model.id === target.id);
+}
+/** Select the pi model to use, honoring an explicit provider/model request. */
+export function selectPiModel(registry, requested) {
+    const available = registry.getAvailable();
+    if (available.length === 0) {
+        throw new Error('pi has no configured models; run pi or `deepclause set-backend env`');
+    }
+    if (requested) {
+        const normalized = requested.replace(':', '/');
+        const [provider, ...rest] = normalized.split('/');
+        const modelId = rest.join('/');
+        if (modelId && registry.find) {
+            const found = registry.find(provider, modelId);
+            if (found)
+                return found;
+        }
+        const byId = available.find((model) => model.id === requested || modelLabel(model) === requested);
+        if (byId)
+            return byId;
+        throw new Error(`pi model not found: ${requested}`);
+    }
+    return available[0];
+}
+function emptyUsage() {
+    return { input: 0, output: 0, totalTokens: 0, cacheRead: 0, cacheWrite: 0, reasoning: 0 };
+}
+function toPiMessages(messages, model) {
+    return messages
+        .filter((message) => message.role !== 'system')
+        .map((message) => {
+        if (message.role === 'assistant' && message.providerData) {
+            return message.providerData;
+        }
+        if (message.role === 'user') {
+            // Attach resolved media as pi image content blocks alongside the text.
+            const content = message.media && message.media.length > 0
+                ? [
+                    ...(message.content ? [{ type: 'text', text: message.content }] : []),
+                    ...message.media.map((media) => ({
+                        type: 'image',
+                        data: media.data,
+                        mimeType: media.mimeType,
+                    })),
+                ]
+                : message.content;
+            return { role: 'user', content, timestamp: Date.now() };
+        }
+        if (message.role === 'tool') {
+            return {
+                role: 'toolResult',
+                toolCallId: message.toolCallId ?? 'unknown',
+                toolName: message.toolName ?? 'unknown',
+                content: [{ type: 'text', text: message.content }],
+                isError: false,
+                timestamp: Date.now(),
+            };
+        }
+        return {
+            role: 'assistant',
+            content: [
+                ...(message.content ? [{ type: 'text', text: message.content }] : []),
+                ...(message.toolCalls ?? []).map((call) => ({
+                    type: 'toolCall',
+                    id: call.id,
+                    name: call.name,
+                    arguments: call.arguments,
+                })),
+            ],
+            api: model.api,
+            provider: model.provider,
+            model: model.id,
+            usage: emptyUsage(),
+            stopReason: message.toolCalls?.length ? 'toolUse' : 'stop',
+            timestamp: Date.now(),
+        };
+    });
+}
+/**
+ * Wrap a pi registry + model as an SDK `LLMBackend`. Reused by the extension
+ * embedding, which passes its live registry.
+ *
+ * `thinkingLevel` is forwarded to the provider only for reasoning models and
+ * non-`off` levels, so provider defaults are preserved for every other model.
+ */
+export function createPiAdapter(registry, model, maxTokens = 65536, thinkingLevel) {
+    if (!registry.hasConfiguredAuth(model)) {
+        throw new Error(`pi has no configured authentication for ${modelLabel(model)}`);
+    }
+    const baseResolved = resolveThinkingLevel(model, thinkingLevel);
+    // Per-call model overrides from `with_model/2`, resolved lazily and cached.
+    const scoped = new Map();
+    const resolveScoped = (target) => {
+        const key = `${target.provider}/${target.id}`;
+        const cached = scoped.get(key);
+        if (cached) {
+            return cached;
+        }
+        const found = findPiModel(registry, target);
+        if (!found) {
+            throw new Error(`pi model not found: ${key}`);
+        }
+        if (!registry.hasConfiguredAuth(found)) {
+            throw new Error(`pi has no configured authentication for ${key}`);
+        }
+        const entry = { model: found, resolved: resolveThinkingLevel(found, target.reasoningLevel) };
+        scoped.set(key, entry);
+        return entry;
+    };
+    const completeWith = async (activeModel, activeResolved, defaultMaxTokens, request) => {
+        const systemPrompt = request.messages
+            .filter((message) => message.role === 'system')
+            .map((message) => message.content)
+            .join('\n\n');
+        const context = {
+            systemPrompt: systemPrompt || undefined,
+            messages: toPiMessages(request.messages, activeModel),
+            tools: request.tools?.map((tool) => ({
+                name: tool.name,
+                description: tool.description,
+                parameters: tool.parameters,
+            })),
+        };
+        const options = {
+            signal: request.signal,
+            maxTokens: request.maxTokens ?? defaultMaxTokens,
+            cacheRetention: 'none',
+        };
+        // Model defaults the caller's temperature only when a scope explicitly set
+        // one (pi itself never forwards an ambient temperature, and some models —
+        // e.g. github-copilot — reject the parameter). `compat.supportsTemperature`
+        // opts a model out when pi knows it rejects it.
+        const scopedTemperature = request.target?.temperature;
+        if (typeof scopedTemperature === 'number'
+            && activeModel.compat?.supportsTemperature !== false) {
+            options.temperature = scopedTemperature;
+        }
+        if (activeModel.reasoning && activeResolved.level && activeResolved.level !== 'off') {
+            // pi's `SimpleStreamOptions` enables thinking with `reasoning` (a
+            // ThinkingLevel), not `thinkingLevel`.
+            options.reasoning = activeResolved.level;
+        }
+        let response;
+        if (registry.streamSimple) {
+            // Stream text/thinking deltas as they arrive; the final message carries
+            // the full text, tool calls, and usage.
+            const stream = registry.streamSimple(activeModel, context, options);
+            for await (const event of stream) {
+                if (event.type === 'text_delta') {
+                    if (event.delta)
+                        request.onText?.(event.delta);
+                }
+                else if (event.type === 'thinking_delta') {
+                    if (event.delta)
+                        request.onReasoning?.(event.delta);
+                }
+            }
+            response = await stream.result();
+        }
+        else {
+            response = await registry.complete(activeModel, context, options);
+            const streamedText = response.content
+                .filter((content) => content.type === 'text')
+                .map((content) => content.text)
+                .join('');
+            if (streamedText)
+                request.onText?.(streamedText);
+        }
+        if (response.stopReason === 'error' || response.stopReason === 'aborted') {
+            throw new Error(response.errorMessage || `pi model request ${response.stopReason}`);
+        }
+        const text = response.content
+            .filter((content) => content.type === 'text')
+            .map((content) => content.text)
+            .join('');
+        return {
+            text,
+            toolCalls: response.content
+                .filter((content) => content.type === 'toolCall')
+                .map((call) => ({ id: call.id, name: call.name, arguments: call.arguments })),
+            usage: {
+                inputTokens: response.usage.input,
+                outputTokens: response.usage.output,
+                totalTokens: response.usage.totalTokens,
+                cacheReadTokens: response.usage.cacheRead || undefined,
+                cacheWriteTokens: response.usage.cacheWrite || undefined,
+                reasoningTokens: response.usage.reasoning || undefined,
+            },
+            finishReason: response.stopReason === 'toolUse'
+                ? 'tool_use'
+                : response.stopReason === 'length'
+                    ? 'length'
+                    : 'stop',
+            providerData: response,
+        };
+    };
+    const backend = {
+        async complete(request) {
+            if (request.target && (request.target.provider !== model.provider || request.target.id !== model.id)) {
+                const entry = resolveScoped(request.target);
+                return completeWith(entry.model, entry.resolved, request.target.maxTokens ?? maxTokens, request);
+            }
+            return completeWith(model, baseResolved, maxTokens, request);
+        },
+    };
+    return {
+        backend,
+        registry,
+        modelId: modelLabel(model),
+        provider: model.provider,
+        contextWindow: model.contextWindow,
+        maxTokens,
+        reasoning: Boolean(model.reasoning),
+        thinkingLevel: baseResolved.level,
+        supportedThinkingLevels: baseResolved.supported,
+        warning: baseResolved.warning,
+    };
+}
+const PI_PACKAGE_NAME = '@earendil-works/pi-coding-agent';
+/**
+ * Import the pi coding agent. It is a regular dependency of this SDK, so the
+ * bare specifier always resolves; a globally installed `pi` is deliberately
+ * not consulted, which keeps the version deterministic.
+ */
+async function importPiModule() {
+    try {
+        return (await import(PI_PACKAGE_NAME));
+    }
+    catch {
+        throw new Error(`Backend 'pi' requires ${PI_PACKAGE_NAME} (a dependency of this SDK). `
+            + 'Reinstall dependencies, or run `deepclause set-backend env` to use the SDK provider/API-key backend.');
+    }
+}
+/** Build the catalog `PiModelInfo` (with reasoning levels) from a raw model. */
+export function toPiModelInfo(model) {
+    return {
+        provider: model.provider,
+        id: model.id,
+        name: model.name ?? model.id,
+        reasoning: Boolean(model.reasoning),
+        contextWindow: model.contextWindow,
+        maxTokens: model.maxTokens,
+        supportedThinkingLevels: supportedThinkingLevels(model),
+    };
+}
+/** List providers from a pi runtime with auth capability/status. */
+export function listPiProviders(runtime) {
+    return runtime.getProviders().map((provider) => {
+        const status = runtime.getProviderAuthStatus(provider.id);
+        return {
+            id: provider.id,
+            name: provider.name ?? provider.id,
+            apiKey: Boolean(provider.auth?.apiKey),
+            oauth: Boolean(provider.auth?.oauth),
+            configured: status?.configured ?? runtime.hasConfiguredAuth(provider.id),
+            source: status?.source,
+            label: status?.label,
+        };
+    });
+}
+/** List chat models from a pi runtime, optionally filtered by provider. */
+export function listPiModels(runtime, providerId) {
+    return runtime.getModels(providerId).map((model) => toPiModelInfo(model));
+}
+/** Whether the pi dependency resolves (it is a required dependency of the SDK). */
+export function isPiPackageAvailable() {
+    try {
+        const resolve = import.meta.resolve;
+        return typeof resolve === 'function' && Boolean(resolve(PI_PACKAGE_NAME));
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Open a pi runtime using an existing install's credential store and model
+ * catalog. This is the setup entry point used by `set-backend pi`; it does not
+ * require the pi CLI or a pre-existing pi session.
+ */
+export async function openPiRuntime(options = {}) {
+    const pi = await importPiModule();
+    const paths = resolvePiPaths(options, { agentDir: pi.getAgentDir() });
+    const runtime = (await pi.ModelRuntime.create({
+        authPath: paths.authPath,
+        modelsPath: paths.modelsPath,
+        allowModelNetwork: false,
+    }));
+    const registry = options.modelRegistry ?? new pi.ModelRegistry(runtime);
+    return {
+        registry,
+        runtime,
+        listProviders: () => listPiProviders(runtime),
+        listModels: (providerId) => listPiModels(runtime, providerId),
+        hasAuth: (providerId) => runtime.hasConfiguredAuth(providerId),
+        isUsingOAuth: (providerId) => runtime.isUsingOAuth(providerId),
+        listCredentials: async () => (await runtime.listCredentials()) ?? [],
+        login: async (providerId, interaction, type) => {
+            const authType = type ?? 'api_key';
+            await runtime.login(providerId, authType, interaction, {});
+        },
+        logout: async (providerId) => {
+            await runtime.logout(providerId);
+        },
+    };
+}
+/**
+ * Build an `LLMBackend` from pi's credential store. Throws a clear error when
+ * the pi packages are not installed.
+ */
+export async function createPiBackend(options = {}) {
+    let registry = options.modelRegistry;
+    let requested = options.model;
+    if (!registry) {
+        const pi = await importPiModule();
+        const paths = resolvePiPaths(options, { agentDir: pi.getAgentDir() });
+        requested = requested ?? paths.model;
+        const runtime = await pi.ModelRuntime.create({
+            authPath: paths.authPath,
+            modelsPath: paths.modelsPath,
+            allowModelNetwork: false,
+        });
+        registry = new pi.ModelRegistry(runtime);
+    }
+    const model = selectPiModel(registry, requested);
+    return createPiAdapter(registry, model, options.maxTokens, options.thinkingLevel);
+}
+/**
+ * Resolve the shared pi/env model backend used by both `deepclause run` and the
+ * REPL. `pi` (the default) returns an injected `LLMBackend`; `env` returns the
+ * provider/model so the runner builds the SDK provider backend.
+ */
+export async function resolveLlmBackend(options = {}) {
+    const kind = options.kind ?? 'pi';
+    if (kind === 'pi') {
+        const pi = await createPiBackend({
+            agentDir: options.agentDir,
+            modelsPath: options.modelsPath ?? undefined,
+            authPath: options.authPath ?? undefined,
+            model: options.model,
+            maxTokens: options.maxTokens,
+            thinkingLevel: options.thinkingLevel,
+        });
+        return {
+            kind: 'pi',
+            llmBackend: pi.backend,
+            registry: pi.registry,
+            provider: pi.provider,
+            model: pi.modelId.split('/').slice(1).join('/') || pi.modelId,
+            modelId: pi.modelId,
+            contextWindow: pi.contextWindow,
+            reasoning: pi.reasoning,
+            thinkingLevel: pi.thinkingLevel,
+        };
+    }
+    const model = options.model ?? 'gpt-4o';
+    return { kind: 'env', provider: options.provider ?? 'openai', model, modelId: model };
+}
+//# sourceMappingURL=backend.js.map

package/dist/repl/backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend.js","sourceRoot":"","sources":["../../src/repl/backend.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAmD7B,MAAM,CAAC,MAAM,eAAe,GAA6B,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAErH,2FAA2F;AAC3F,MAAM,UAAU,uBAAuB,CAAC,KAAkB;IACxD,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAkB,EAClB,SAAkB;IAElB,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;IACD,IAAK,eAAqC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAA0B,CAAC,EAAE,CAAC;QACjH,OAAO,EAAE,KAAK,EAAE,SAA0B,EAAE,SAAS,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO;QACL,KAAK,EAAE,SAAS;QAChB,SAAS;QACT,OAAO,EAAE,mBAAmB,SAAS,yBAAyB,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,8BAA8B;KACvH,CAAC;AACJ,CAAC;AA2CD,gEAAgE;AAChE,MAAM,UAAU,cAAc,CAC5B,MAAuB,EACvB,QAA8B;IAE9B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC;IACtD,OAAO;QACL,QAAQ;QACR,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC;QACnE,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC7D,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAkB;IACpC,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;AACzC,CAAC;AAED,uFAAuF;AACvF,SAAS,WAAW,CAAC,QAAwB,EAAE,MAAqB;IAClE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAC1D,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC;AAC/G,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,QAAwB,EAAE,SAAkB;IACxE,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC;IAC1C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC/C,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC;QAClG,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,uBAAuB,SAAS,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,UAAU;IACjB,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,YAAY,CAAC,QAA6B,EAAE,KAAkB;IACrE,OAAO,QAAQ;SACZ,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;SAC9C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzD,OAAO,OAAO,CAAC,YAAY,CAAC;QAC9B,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,uEAAuE;YACvE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBACvD,CAAC,CAAC;oBACE,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBAC/B,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;qBACzB,CAAC,CAAC;iBACJ;gBACH,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QAC1D,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS;gBAC3C,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,SAAS;gBACvC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;gBAClD,OAAO,EAAE,KAAK;gBACd,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE;gBACP,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrE,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC1C,IAAI,EAAE,UAAU;oBAChB,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,SAAS,EAAE,IAAI,CAAC,SAAS;iBAC1B,CAAC,CAAC;aACJ;YACD,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,KAAK,CAAC,EAAE;YACf,KAAK,EAAE,UAAU,EAAE;YACnB,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YAC1D,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAwB,EACxB,KAAkB,EAClB,SAAS,GAAG,KAAK,EACjB,aAAsB;IAatB,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,2CAA2C,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAEhE,4EAA4E;IAC5E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqF,CAAC;IAC5G,MAAM,aAAa,GAAG,CAAC,MAAqB,EAA6E,EAAE;QACzH,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,2CAA2C,GAAG,EAAE,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7F,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,KAAK,EACxB,WAAwB,EACxB,cAAuD,EACvD,gBAAwB,EACxB,OAA0B,EACG,EAAE;QAC7B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ;aAClC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC9C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;aACjC,IAAI,CAAC,MAAM,CAAC,CAAC;QAEhB,MAAM,OAAO,GAAwB;YACnC,YAAY,EAAE,YAAY,IAAI,SAAS;YACvC,QAAQ,EAAE,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC;YACrD,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACnC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CAAC;SACJ,CAAC;QACF,MAAM,OAAO,GAA4B;YACvC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,gBAAgB;YAChD,cAAc,EAAE,MAAM;SACvB,CAAC;QACF,2EAA2E;QAC3E,0EAA0E;QAC1E,4EAA4E;QAC5E,gDAAgD;QAChD,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC;QACtD,IACE,OAAO,iBAAiB,KAAK,QAAQ;eAClC,WAAW,CAAC,MAAM,EAAE,mBAAmB,KAAK,KAAK,EACpD,CAAC;YACD,OAAO,CAAC,WAAW,GAAG,iBAAiB,CAAC;QAC1C,CAAC;QACD,IAAI,WAAW,CAAC,SAAS,IAAI,cAAc,CAAC,KAAK,IAAI,cAAc,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YACpF,kEAAkE;YAClE,uCAAuC;YACvC,OAAO,CAAC,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC;QAC3C,CAAC;QAED,IAAI,QAA4B,CAAC;QACjC,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;YAC1B,wEAAwE;YACxE,wCAAwC;YACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACpE,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBACjC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAChC,IAAI,KAAK,CAAC,KAAK;wBAAE,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACjD,CAAC;qBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAC3C,IAAI,KAAK,CAAC,KAAK;wBAAE,OAAO,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC;YACD,QAAQ,GAAG,MAAM,MAAM,CAAC,MAAM,EAAE,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAClE,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO;iBAClC,MAAM,CAAC,CAAC,OAAO,EAA6C,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC;iBACvF,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;iBAC9B,IAAI,CAAC,EAAE,CAAC,CAAC;YACZ,IAAI,YAAY;gBAAE,OAAO,CAAC,MAAM,EAAE,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,QAAQ,CAAC,UAAU,KAAK,OAAO,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,IAAI,oBAAoB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;QACtF,CAAC;QAED,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO;aAC1B,MAAM,CAAC,CAAC,OAAO,EAA6C,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC;aACvF,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;aAC9B,IAAI,CAAC,EAAE,CAAC,CAAC;QAEZ,OAAO;YACL,IAAI;YACJ,SAAS,EAAE,QAAQ,CAAC,OAAO;iBACxB,MAAM,CAAC,CAAC,OAAO,EAAiG,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC;iBAC/I,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;YAC/E,KAAK,EAAE;gBACL,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK;gBACjC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM;gBACnC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;gBACvC,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,IAAI,SAAS;gBACtD,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,IAAI,SAAS;gBACxD,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,IAAI,SAAS;aACvD;YACD,YAAY,EAAE,QAAQ,CAAC,UAAU,KAAK,SAAS;gBAC7C,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ;oBAChC,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,MAAM;YACZ,YAAY,EAAE,QAAQ;SACvB,CAAC;IACN,CAAC,CAAC;IAEF,MAAM,OAAO,GAAe;QAC1B,KAAK,CAAC,QAAQ,CAAC,OAA0B;YACvC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrG,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC5C,OAAO,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,SAAS,EAAE,OAAO,CAAC,CAAC;YACnG,CAAC;YACD,OAAO,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;KACF,CAAC;IAEF,OAAO;QACL,OAAO;QACP,QAAQ;QACR,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,SAAS;QACT,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;QACnC,aAAa,EAAE,YAAY,CAAC,KAAK;QACjC,uBAAuB,EAAE,YAAY,CAAC,SAAS;QAC/C,OAAO,EAAE,YAAY,CAAC,OAAO;KAC9B,CAAC;AACJ,CAAC;AAUD,MAAM,eAAe,GAAG,iCAAiC,CAAC;AAE1D;;;;GAIG;AACH,KAAK,UAAU,cAAc;IAC3B,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,MAAM,CAAC,eAAe,CAAC,CAAwB,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,yBAAyB,eAAe,+BAA+B;cACrE,sGAAsG,CACzG,CAAC;IACJ,CAAC;AACH,CAAC;AAuDD,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,KAAsC;IAClE,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE;QAC5B,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;QACnC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,uBAAuB,EAAE,uBAAuB,CAAC,KAAK,CAAC;KACxD,CAAC;AACJ,CAAC;AA0BD,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,OAAsB;IACpD,OAAO,OAAO,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1D,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE;YAClC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxE,MAAM,EAAE,MAAM,EAAE,MAAM;YACtB,KAAK,EAAE,MAAM,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,OAAsB,EAAE,UAAmB;IACtE,OAAO,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAwC,CAAC,CAAC,CAAC;AAC/G,CAAC;AAeD,mFAAmF;AACnF,MAAM,UAAU,oBAAoB;IAClC,IAAI,CAAC;QACH,MAAM,OAAO,GAAI,MAAM,CAAC,IAA+D,CAAC,OAAO,CAAC;QAChG,OAAO,OAAO,OAAO,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,UAAkC,EAAE;IAEpC,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAC5C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,iBAAiB,EAAE,KAAK;KACzB,CAAC,CAA6B,CAAC;IAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,IAAI,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAExE,OAAO;QACL,QAAQ;QACR,OAAO;QACP,aAAa,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC7C,UAAU,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC;QAC7D,OAAO,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC;QAC9D,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC;QAC9D,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,OAAO,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE;QACpE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE;YAC7C,MAAM,QAAQ,GAAG,IAAI,IAAI,SAAS,CAAC;YACnC,MAAM,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE;YAC3B,MAAM,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC;AAkBD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,UAAkC,EAAE;IACxE,IAAI,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC;IACrC,IAAI,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;IAE9B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACtE,SAAS,GAAG,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAC3C,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,iBAAiB,EAAE,KAAK;SACzB,CAAC,CAAC;QACH,QAAQ,GAAG,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACjD,OAAO,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;AACpF,CAAC;AA8BD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,UAAiC,EAAE;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC;IAClC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC;YAC/B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS;YAC3C,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,SAAS;YACvC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,EAAE,CAAC,OAAO;YACtB,QAAQ,EAAE,EAAE,CAAC,QAAQ;YACrB,QAAQ,EAAE,EAAE,CAAC,QAAQ;YACrB,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO;YAC7D,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,aAAa,EAAE,EAAE,CAAC,aAAa;YAC/B,SAAS,EAAE,EAAE,CAAC,SAAS;YACvB,aAAa,EAAE,EAAE,CAAC,aAAa;SAChC,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACxF,CAAC"}

package/dist/repl/compaction.d.ts

@@ -0,0 +1,122 @@
+/**
+ * TypeScript context compaction for the REPL (and, later, the one-shot runner).
+ *
+ * This ports pi's compaction algorithm (`core/compaction/compaction.ts`) to the
+ * SDK's `MemoryMessage[]` model. It intentionally shares pi's shapes:
+ *
+ *  - chars/4 token estimation (`estimateMemoryTokens`);
+ *  - `shouldCompact` threshold semantics (`contextWindow - reserveTokens`);
+ *  - the cut-point search that keeps a recent tail;
+ *  - the structured summarization prompts (Goal / Constraints / Progress /
+ *    Decisions / Next Steps / Critical Context).
+ *
+ * Unlike pi's version it does not use `SessionEntry`/`AgentMessage` trees: the
+ * REPL stores memory as `message{role, content}` Prolog terms, mapped to
+ * `MemoryMessage[]` on the host. The summarization call goes through the active
+ * `LLMBackend`, so it reuses pi's model, credentials, streaming, and cancellation.
+ */
+import type { LLMBackend, LLMUsage, MemoryMessage } from '../types.js';
+import { DEFAULT_COMPACTION_SETTINGS } from '@earendil-works/pi-coding-agent';
+/**
+ * pi's compaction settings (same shape as its `core/compaction` settings).
+ * `DEFAULT_COMPACTION_SETTINGS` and the threshold come straight from pi; only
+ * the cut/summarization below is the SDK's port.
+ */
+export interface CompactionSettings {
+    enabled: boolean;
+    reserveTokens: number;
+    keepRecentTokens: number;
+}
+export { DEFAULT_COMPACTION_SETTINGS };
+/** Leading marker of a compacted checkpoint message. */
+export declare const SUMMARY_PREFIX = "[Context summary]";
+/** Conservative chars/4 estimate for one message. */
+export declare function estimateMessageTokens(message: MemoryMessage): number;
+/** Conservative chars/4 estimate for a message list. */
+export declare function estimateMemoryTokens(messages: MemoryMessage[]): number;
+/** Total context tokens from a usage record, preferring the provider total. */
+export declare function calculateContextTokens(usage: LLMUsage): number;
+/** Whether the context has grown past `contextWindow - reserveTokens`. */
+export declare function shouldCompact(contextTokens: number, contextWindow: number, settings?: CompactionSettings): boolean;
+export interface CompactionCut {
+    /** Index of the first message to keep. `0` means "nothing to summarize". */
+    cutIndex: number;
+    /** Messages to hand to the summarizer. */
+    messagesToSummarize: MemoryMessage[];
+    /** Messages retained verbatim. */
+    keptMessages: MemoryMessage[];
+}
+/**
+ * Walk from the newest message backwards, accumulating estimated tokens, until
+ * `keepRecentTokens` is reached. The cut is then moved back to the nearest
+ * `user` boundary so an assistant turn is never separated from its prompt.
+ *
+ * System messages are never summarized (they carry the checkpoint and the
+ * runtime contract) and are excluded from the accumulated size, matching the
+ * intent of pi's "never cut the current system prompt" rule.
+ */
+export declare function findCompactionCut(messages: MemoryMessage[], keepRecentTokens?: number): CompactionCut;
+/** The most recent compacted checkpoint, if the memory already contains one. */
+export declare function findExistingSummary(messages: MemoryMessage[]): string | undefined;
+/** Wrap a summary as the checkpoint message prepended to compacted memory. */
+export declare function buildSummaryMessage(summary: string): MemoryMessage;
+/** Ported verbatim from pi's `SUMMARIZATION_SYSTEM_PROMPT`. */
+export declare const SUMMARIZATION_SYSTEM_PROMPT = "You are a context summarization assistant. Your task is to read a conversation between a user and an AI assistant, then produce a structured summary following the exact format specified.\n\nDo NOT continue the conversation. Do NOT respond to any questions in the conversation. ONLY output the structured summary.";
+/** Serialize a conversation to text so the model summarizes instead of continuing. */
+export declare function serializeMemoryConversation(messages: MemoryMessage[]): string;
+/** Build the user-side summarization prompt, wrapping the conversation in tags. */
+export declare function buildSummarizationPrompt(messages: MemoryMessage[], previousSummary?: string, customInstructions?: string): string;
+export interface GenerateMemorySummaryParams {
+    /** Messages to summarize (already cut). System messages are ignored. */
+    messages: MemoryMessage[];
+    previousSummary?: string;
+    backend: LLMBackend;
+    model: string;
+    reserveTokens?: number;
+    signal?: AbortSignal;
+    customInstructions?: string;
+}
+/** Generate a structured summary of `messages` through the active backend. */
+export declare function generateMemorySummary(params: GenerateMemorySummaryParams): Promise<{
+    summary: string;
+    usage?: LLMUsage;
+}>;
+export interface CompactMemoryParams {
+    messages: MemoryMessage[];
+    backend: LLMBackend;
+    model: string;
+    contextWindow?: number;
+    settings?: CompactionSettings;
+    signal?: AbortSignal;
+    customInstructions?: string;
+    /** Compact even when the context is below the threshold (manual `compact.`). */
+    force?: boolean;
+}
+export type CompactMemoryReason = 'applied' | 'disabled' | 'below-threshold' | 'nothing-to-summarize' | 'empty-summary' | 'no-reduction' | 'failed';
+export interface CompactMemoryResult {
+    applied: boolean;
+    reason: CompactMemoryReason;
+    messages: MemoryMessage[];
+    summary?: string;
+    tokensBefore: number;
+    tokensAfter: number;
+    usage?: LLMUsage;
+    error?: string;
+}
+/**
+ * Compact `messages` if needed (or `force`d). Returns the rewritten list: the
+ * preserved system messages, the new checkpoint, then the recent tail.
+ */
+export declare function compactMemory(params: CompactMemoryParams): Promise<CompactMemoryResult>;
+export interface MemoryCompactionEvent {
+    scope: 'loop' | 'session';
+    trigger: 'before_model_call' | 'before_user_message';
+    action: 'applied' | 'skipped' | 'failed';
+    beforeTokens: number;
+    afterTokens: number;
+    error?: string;
+    usage?: LLMUsage;
+}
+/** Turn a `CompactMemoryResult` into the fields consumed by a `memory_compaction` event. */
+export declare function toCompactionEvent(scope: MemoryCompactionEvent['scope'], trigger: MemoryCompactionEvent['trigger'], result: CompactMemoryResult): MemoryCompactionEvent;
+//# sourceMappingURL=compaction.d.ts.map

package/dist/repl/compaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../../src/repl/compaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EACL,2BAA2B,EAE5B,MAAM,iCAAiC,CAAC;AAMzC;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAEvC,wDAAwD;AACxD,eAAO,MAAM,cAAc,sBAAsB,CAAC;AASlD,qDAAqD;AACrD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAEpE;AAED,wDAAwD;AACxD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,CAEtE;AAED,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,CAE9D;AAED,0EAA0E;AAC1E,wBAAgB,aAAa,CAC3B,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,MAAM,EACrB,QAAQ,GAAE,kBAAgD,GACzD,OAAO,CAMT;AAMD,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,CAAC;IACjB,0CAA0C;IAC1C,mBAAmB,EAAE,aAAa,EAAE,CAAC;IACrC,kCAAkC;IAClC,YAAY,EAAE,aAAa,EAAE,CAAC;CAC/B;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,aAAa,EAAE,EACzB,gBAAgB,GAAE,MAAqD,GACtE,aAAa,CAkCf;AAMD,gFAAgF;AAChF,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,GAAG,SAAS,CAQjF;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa,CAElE;AAMD,+DAA+D;AAC/D,eAAO,MAAM,2BAA2B,6TAEmF,CAAC;AA8E5H,sFAAsF;AACtF,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,CAW7E;AAED,mFAAmF;AACnF,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,aAAa,EAAE,EACzB,eAAe,CAAC,EAAE,MAAM,EACxB,kBAAkB,CAAC,EAAE,MAAM,GAC1B,MAAM,CAaR;AAMD,MAAM,WAAW,2BAA2B;IAC1C,wEAAwE;IACxE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,UAAU,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,8EAA8E;AAC9E,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,2BAA2B,GAClC,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;CAAE,CAAC,CA0BhD;AAMD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,OAAO,EAAE,UAAU,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,gFAAgF;IAChF,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,mBAAmB,GAC3B,SAAS,GACT,UAAU,GACV,iBAAiB,GACjB,sBAAsB,GACtB,eAAe,GACf,cAAc,GACd,QAAQ,CAAC;AAEb,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,mBAAmB,CAAC;IAC5B,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;GAGG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAmE7F;AAMD,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,EAAE,mBAAmB,GAAG,qBAAqB,CAAC;IACrD,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;IACzC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,QAAQ,CAAC;CAClB;AAED,4FAA4F;AAC5F,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC,EACrC,OAAO,EAAE,qBAAqB,CAAC,SAAS,CAAC,EACzC,MAAM,EAAE,mBAAmB,GAC1B,qBAAqB,CAevB"}