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

175 lines
6.6 KiB
TypeScript

import { describe, it, before } from "node:test";
import assert from "node:assert/strict";
import {
BENCHMARK_CORPUS,
engineToCompressFn,
benchmarkEngines,
compareReports,
runBenchmarkGate,
} from "../../../open-sse/services/compression/harness/benchmark.ts";
// ── RED/GREEN proof: all assertions here must hold once benchmark.ts exists ──
describe("benchmark — engineToCompressFn adapter", () => {
it("returns a function for a known engine id", () => {
const fn = engineToCompressFn("rtk");
assert.equal(typeof fn, "function");
});
it("compressFn returns a string for any text input", async () => {
const fn = engineToCompressFn("rtk");
const noisy =
"Lorem ipsum dolor sit amet, consectetur adipiscing elit.\n".repeat(10) +
"Unnecessary filler words that add no value whatsoever indeed actually.";
const out = await fn(noisy);
assert.equal(typeof out, "string");
});
it("compressFn output is shorter or equal for clearly compressible prose", async () => {
// A highly redundant input that caveman rules should shorten
const fn = engineToCompressFn("caveman");
const repetitive =
"This is a very redundant message. This is a very redundant message.\n".repeat(8);
const out = await fn(repetitive);
// The adapter must return a string and it must not be longer than the input
assert.ok(
out.length <= repetitive.length,
`expected shorter output, got ${out.length} vs ${repetitive.length}`
);
});
});
describe("benchmark — benchmarkEngines", () => {
let reports: Awaited<ReturnType<typeof benchmarkEngines>>;
before(async () => {
reports = await benchmarkEngines(BENCHMARK_CORPUS, ["rtk", "caveman", "headroom"]);
});
it("returns one report per requested engine", () => {
assert.deepEqual(Object.keys(reports).sort(), ["caveman", "headroom", "rtk"]);
});
it("each report has a valid meanSavingsPercent (a number)", () => {
for (const [engineId, report] of Object.entries(reports)) {
assert.equal(
typeof report.meanSavingsPercent,
"number",
`${engineId}: meanSavingsPercent must be a number`
);
}
});
it("each report has meanRetention in [0, 1]", () => {
for (const [engineId, report] of Object.entries(reports)) {
assert.ok(
report.meanRetention >= 0 && report.meanRetention <= 1,
`${engineId}: meanRetention ${report.meanRetention} must be in [0,1]`
);
}
});
it("each report has results for every corpus item", () => {
for (const [engineId, report] of Object.entries(reports)) {
assert.equal(
report.results.length,
BENCHMARK_CORPUS.length,
`${engineId}: expected ${BENCHMARK_CORPUS.length} result(s), got ${report.results.length}`
);
}
});
});
describe("benchmark — compareReports", () => {
it("returns one summary row per engine", async () => {
const reports = await benchmarkEngines(BENCHMARK_CORPUS, ["rtk", "caveman"]);
const summary = compareReports(reports);
assert.equal(summary.length, 2);
for (const row of summary) {
assert.ok("engine" in row);
assert.ok("meanSavingsPercent" in row);
assert.ok("meanRetention" in row);
assert.ok("totalCompressedTokens" in row);
}
});
it("is sorted by meanSavingsPercent descending (best saver first)", async () => {
const reports = await benchmarkEngines(BENCHMARK_CORPUS, ["rtk", "caveman"]);
const summary = compareReports(reports);
for (let i = 1; i < summary.length; i++) {
assert.ok(
summary[i - 1].meanSavingsPercent >= summary[i].meanSavingsPercent,
`row ${i - 1} savings ${summary[i - 1].meanSavingsPercent} should be >= row ${i} savings ${summary[i].meanSavingsPercent}`
);
}
});
});
describe("benchmark — runBenchmarkGate (N4)", () => {
it("passes when baselines match current costs", async () => {
const reports = await benchmarkEngines(BENCHMARK_CORPUS, ["rtk"]);
// Baseline = exact current tokensPerTask → must pass
const rtkReport = reports["rtk"];
const baselines: Record<string, { tasks: Record<string, number> }> = {};
const taskTotals: Record<string, { sum: number; count: number }> = {};
for (const r of rtkReport.results) {
const t = taskTotals[r.task] ?? { sum: 0, count: 0 };
t.sum += r.compressedTokens;
t.count += 1;
taskTotals[r.task] = t;
}
baselines["rtk"] = {
tasks: Object.fromEntries(
Object.entries(taskTotals).map(([k, v]) => [k, Math.round(v.sum / v.count)])
),
};
const gateResults = runBenchmarkGate(reports, baselines);
const rtkGate = gateResults.find((g) => g.engine === "rtk");
assert.ok(rtkGate, "rtk gate result missing");
assert.equal(rtkGate.gate.passed, true, "gate should pass when baseline matches current");
});
it("fails (regression) when baseline is tighter than actual cost", async () => {
const reports = await benchmarkEngines(BENCHMARK_CORPUS, ["rtk"]);
// Set an impossibly tight baseline (1 token per task) → regression guaranteed
const impossibleBaselines: Record<string, { tasks: Record<string, number> }> = {
rtk: { tasks: { prose: 1, "tool-output": 1, json: 1 } },
};
const gateResults = runBenchmarkGate(reports, impossibleBaselines);
const rtkGate = gateResults.find((g) => g.engine === "rtk");
assert.ok(rtkGate, "rtk gate result missing");
assert.equal(rtkGate.gate.passed, false, "gate should fail when baseline is impossibly tight");
assert.ok(rtkGate.gate.regressions.length > 0, "regressions array must be non-empty");
});
});
describe("benchmark — reproducibility", () => {
it("two runs on the same corpus yield identical meanSavingsPercent", async () => {
const engines = ["rtk", "caveman"];
// Run the two passes SEQUENTIALLY: this asserts determinism (same input → same
// output), not concurrency-safety. Running them in parallel (Promise.all) shares the
// engine singletons across both passes and races their internal state under load.
const r1 = await benchmarkEngines(BENCHMARK_CORPUS, engines);
const r2 = await benchmarkEngines(BENCHMARK_CORPUS, engines);
for (const id of engines) {
assert.equal(
r1[id].meanSavingsPercent,
r2[id].meanSavingsPercent,
`${id}: non-deterministic meanSavingsPercent`
);
assert.equal(
r1[id].meanRetention,
r2[id].meanRetention,
`${id}: non-deterministic meanRetention`
);
assert.equal(
r1[id].totalCompressedTokens,
r2[id].totalCompressedTokens,
`${id}: non-deterministic totalCompressedTokens`
);
}
});
});