Files
2026-07-13 13:39:12 +08:00

322 lines
12 KiB
TypeScript

import { pruneByScore } from "./ultraHeuristic.ts";
import { extractPreservedBlocks } from "./preservation.ts";
import { DEFAULT_ULTRA_CONFIG } from "./types.ts";
import type { UltraConfig, CompressionStats, CompressionMode } from "./types.ts";
import { extractTextContent, mapTextContent, type ChatMessageLike } from "./messageContent.ts";
import {
slmAvailable,
runLlmlinguaUltra,
prewarmLlmlinguaUltra,
} from "./engines/llmlingua/ultraEntry.ts";
const COMPRESSED_PREFIX = "[COMPRESSED:";
/**
* Async sibling of `mapTextContent`: applies an async transform to each text part
* of a message's content (string content → single call; array content → each
* `{type:"text"}` part). Non-text parts and structure are preserved exactly.
*/
async function mapTextContentAsync(
msg: Message,
fn: (text: string) => Promise<string>
): Promise<Message> {
if (typeof msg.content === "string") {
return { ...msg, content: await fn(msg.content) };
}
if (Array.isArray(msg.content)) {
const next: unknown[] = [];
for (const part of msg.content) {
const p = part as Record<string, unknown>;
if (p && p["type"] === "text" && typeof p["text"] === "string") {
next.push({ ...p, text: await fn(p["text"] as string) });
} else {
next.push(part);
}
}
return { ...msg, content: next };
}
return msg;
}
/**
* Prune PROSE only. Fenced code, inline code, URLs, CONST_CASE, versions, etc. are
* tombstoned by `extractPreservedBlocks` and re-stitched verbatim, so the heuristic
* NEVER mangles structured content (mirrors caveman.ts / llmlingua/index.ts).
*
* Without this, `pruneByScore` tokenizes the whole text and drops low-score tokens
* (`b)`, `{`, `+`, …) inside code blocks, corrupting them while leaving the fence
* markers intact — output that looks like valid code but isn't (B-ULTRA-CODE).
*/
function pruneProseOnly(text: string, rate: number, minScore: number): string {
const { text: withPlaceholders, blocks } = extractPreservedBlocks(text);
if (blocks.length === 0) return pruneByScore(text, rate, minScore);
const placeholderToContent = new Map(blocks.map((b) => [b.placeholder, b.content]));
const escaped = blocks.map((b) => b.placeholder.replace(/[.*+?^${}()|[\]\\]/g, "\\$&"));
const splitRe = new RegExp(`(${escaped.join("|")})`, "g");
return withPlaceholders
.split(splitRe)
.map((part) => {
if (!part) return "";
const preserved = placeholderToContent.get(part);
if (preserved !== undefined) return preserved; // verbatim — never pruned
return pruneByScore(part, rate, minScore); // prose only
})
.join("");
}
/**
* Compress one prose string with the SLM, preserving code/math/URLs verbatim.
* Reuses `extractPreservedBlocks` (same tombstoning as `pruneProseOnly`), sends
* ONLY prose to the worker backend, and re-stitches preserved blocks unchanged.
* Any backend failure (throw / no-op) falls back to the Tier-A heuristic for that
* segment, so the SLM NEVER touches structured content and NEVER fails the segment.
*/
/**
* One compressed prose segment plus whether the SLM (not the heuristic fallback)
* genuinely produced it. `usedSlm` is what the resolver records the tier from — it
* must reflect "Tier-B ran", NOT merely "the text changed" (a heuristic-fallback
* also shrinks the text, so deriving the tier from text inequality would mislabel
* a fallback as "slm").
*/
interface ProseSlmResult {
text: string;
usedSlm: boolean;
}
async function compressProseSlm(text: string, cfg: UltraConfig): Promise<ProseSlmResult> {
const { text: withPlaceholders, blocks } = extractPreservedBlocks(text);
if (blocks.length === 0) {
return slmOrHeuristic(text, cfg);
}
const placeholderToContent = new Map(blocks.map((b) => [b.placeholder, b.content]));
const escaped = blocks.map((b) => b.placeholder.replace(/[.*+?^${}()|[\]\\]/g, "\\$&"));
const splitRe = new RegExp(`(${escaped.join("|")})`, "g");
const parts = withPlaceholders.split(splitRe);
const out: string[] = [];
let usedSlm = false;
for (const part of parts) {
if (!part) {
out.push("");
continue;
}
const preserved = placeholderToContent.get(part);
if (preserved !== undefined) {
out.push(preserved); // verbatim — never sent to the model
} else {
const seg = await slmOrHeuristic(part, cfg);
out.push(seg.text);
if (seg.usedSlm) usedSlm = true;
}
}
return { text: out.join(""), usedSlm };
}
/**
* Run the SLM on a prose segment; on throw/no-op, fall back to the Tier-A pruner for it.
* `usedSlm` is true ONLY when the SLM backend itself produced the output.
*/
async function slmOrHeuristic(prose: string, cfg: UltraConfig): Promise<ProseSlmResult> {
try {
const text = await runLlmlinguaUltra(prose, {
model: cfg.modelPath ? undefined : undefined,
compressionRate: cfg.compressionRate,
modelPath: cfg.modelPath,
});
return { text, usedSlm: true };
} catch {
return { text: pruneByScore(prose, cfg.compressionRate, cfg.minScoreThreshold), usedSlm: false };
}
}
export interface UltraCompressResult {
messages: Array<{ role: string; content?: string | unknown[]; [key: string]: unknown }>;
stats: CompressionStats;
}
type Message = ChatMessageLike;
/** Tier the ultra resolver records on the stats. */
export type UltraTier = "slm" | "heuristic-fallback" | "heuristic";
/**
* Tier-A heuristic ultra (PURE, SYNCHRONOUS). Identical to the pre-B behaviour.
* Used directly by the stacked sync engine (`cavemanAdapter`) and as the fallback
* tier inside `ultraCompress`. `tier` lets the async resolver tag the resolved
* tier as either "heuristic" (chosen directly) or "heuristic-fallback" (SLM failed).
*/
export function ultraCompressHeuristic(
messages: Message[],
config: Partial<UltraConfig> = {},
tier: UltraTier = "heuristic"
): UltraCompressResult {
const start = Date.now();
const effectiveConfig: UltraConfig = {
...DEFAULT_ULTRA_CONFIG,
...config,
};
const { compressionRate, minScoreThreshold, maxTokensPerMessage } = effectiveConfig;
let originalChars = 0;
let compressedChars = 0;
const compressed = messages.map((msg) => {
if (effectiveConfig.preserveSystemPrompt !== false && msg.role === "system") return msg;
const text = extractTextContent(msg.content);
if (!text) return msg;
if (text.startsWith(COMPRESSED_PREFIX)) return msg;
if (maxTokensPerMessage > 0 && Math.ceil(text.length / 4) <= maxTokensPerMessage) {
return msg;
}
let messageOriginalChars = 0;
let messageCompressedChars = 0;
const next = mapTextContent(msg, (textPart) => {
if (!textPart || textPart.startsWith(COMPRESSED_PREFIX)) return textPart;
messageOriginalChars += textPart.length;
const pruned = pruneProseOnly(textPart, compressionRate, minScoreThreshold);
messageCompressedChars += pruned.length;
return pruned;
}) as Message;
originalChars += messageOriginalChars;
compressedChars += messageCompressedChars;
return next;
});
const originalTokens = Math.ceil(originalChars / 4);
const compressedTokens = Math.ceil(compressedChars / 4);
const savingsPercent =
originalTokens > 0
? Math.round(((originalTokens - compressedTokens) / originalTokens) * 100 * 10) / 10
: 0;
const stats: CompressionStats = {
originalTokens,
compressedTokens,
savingsPercent,
techniquesUsed: ["ultra-heuristic-pruning"],
mode: "ultra" as CompressionMode,
timestamp: Date.now(),
durationMs: Date.now() - start,
ultraTier: tier,
};
return { messages: compressed, stats };
}
/**
* Ultra compression with the two-tier resolver (Phase 4, Sub-project B).
*
* - `ultraEngine: "slm"` AND `slmAvailable()` → route prose through the SLM worker
* backend (Tier-B). On timeout / worker error / load failure / no-op → fall back
* to the Tier-A heuristic for THIS request and record "heuristic-fallback".
* - otherwise → Tier-A heuristic ("heuristic").
*
* The structure-preservation wrapper (`extractPreservedBlocks` / re-stitch, inside
* `pruneProseOnly` for Tier-A and `splitProseAndPreserved` inside the worker engine
* path for Tier-B) wraps BOTH tiers, so code/math/URLs stay verbatim regardless.
* A request is NEVER failed or left uncompressed because the SLM was unavailable.
*/
export async function ultraCompress(
messages: Message[],
config: Partial<UltraConfig> & { ultraEngine?: "heuristic" | "slm" } = {}
): Promise<UltraCompressResult> {
if (config.ultraEngine !== "slm" || !slmAvailable()) {
return ultraCompressHeuristic(messages, config, "heuristic");
}
const start = Date.now();
const effectiveConfig: UltraConfig = { ...DEFAULT_ULTRA_CONFIG, ...config };
const { maxTokensPerMessage } = effectiveConfig;
let originalChars = 0;
let compressedChars = 0;
let anySlm = false;
try {
const compressed: Message[] = [];
for (const msg of messages) {
if (effectiveConfig.preserveSystemPrompt !== false && msg.role === "system") {
compressed.push(msg);
continue;
}
const text = extractTextContent(msg.content);
if (!text || text.startsWith(COMPRESSED_PREFIX)) {
compressed.push(msg);
continue;
}
if (maxTokensPerMessage > 0 && Math.ceil(text.length / 4) <= maxTokensPerMessage) {
compressed.push(msg);
continue;
}
let messageOriginalChars = 0;
let messageCompressedChars = 0;
const next = (await mapTextContentAsync(msg, async (textPart) => {
if (!textPart || textPart.startsWith(COMPRESSED_PREFIX)) return textPart;
messageOriginalChars += textPart.length;
const { text: out, usedSlm } = await compressProseSlm(textPart, effectiveConfig);
if (usedSlm) anySlm = true;
messageCompressedChars += out.length;
return out;
})) as Message;
originalChars += messageOriginalChars;
compressedChars += messageCompressedChars;
compressed.push(next);
}
const originalTokens = Math.ceil(originalChars / 4);
const compressedTokens = Math.ceil(compressedChars / 4);
const savingsPercent =
originalTokens > 0
? Math.round(((originalTokens - compressedTokens) / originalTokens) * 100 * 10) / 10
: 0;
const stats: CompressionStats = {
originalTokens,
compressedTokens,
savingsPercent,
techniquesUsed: anySlm ? ["ultra-slm"] : ["ultra-heuristic-pruning"],
mode: "ultra" as CompressionMode,
timestamp: Date.now(),
durationMs: Date.now() - start,
ultraTier: anySlm ? "slm" : "heuristic-fallback",
};
return { messages: compressed, stats };
} catch {
// Any unexpected error in the SLM path → whole-request fail-open to Tier-A.
return ultraCompressHeuristic(messages, config, "heuristic-fallback");
}
}
/**
* Pure decision: should the ultra SLM model be pre-warmed for this config?
* True only when the SLM tier is selected AND pre-warm is enabled. The CALLER
* decides timing (enable-transition or cold-start) and fires `prewarmLlmlinguaUltra`
* best-effort; this helper stays clock-free / side-effect-free.
*/
export function shouldPrewarmUltraSlm(config: {
ultraEngine?: "heuristic" | "slm";
ultraSlmPrewarm?: boolean;
}): boolean {
return config.ultraEngine === "slm" && config.ultraSlmPrewarm === true;
}
/**
* Best-effort: when the resolved config selects the SLM tier WITH pre-warm,
* trigger a single warm call. Awaitable for tests; call sites fire-and-forget
* (`void maybePrewarmUltraSlmOnConfig(cfg)`). Never throws.
*/
export async function maybePrewarmUltraSlmOnConfig(config: {
ultraEngine?: "heuristic" | "slm";
ultraSlmPrewarm?: boolean;
}): Promise<void> {
if (!shouldPrewarmUltraSlm(config)) return;
try {
await prewarmLlmlinguaUltra();
} catch {
// best-effort
}
}