| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788 |
- import { afterEach, describe, expect, mock, test } from "bun:test"
- import { APICallError } from "ai"
- import { Cause, Deferred, Effect, Exit, Fiber, Layer, Schema } from "effect"
- import * as Stream from "effect/Stream"
- import { Bus } from "../../src/bus"
- import { Config } from "@/config/config"
- import { Image } from "@/image/image"
- import { Agent } from "../../src/agent/agent"
- import { LLM } from "../../src/session/llm"
- import { SessionCompaction } from "../../src/session/compaction"
- import { Token } from "@/util/token"
- import * as Log from "@opencode-ai/core/util/log"
- import { Permission } from "../../src/permission"
- import { Plugin } from "../../src/plugin"
- import { provideTmpdirInstance, TestInstance } from "../fixture/fixture"
- import { Session as SessionNs } from "@/session/session"
- import { MessageV2 } from "../../src/session/message-v2"
- import { MessageID, PartID, SessionID } from "../../src/session/schema"
- import { SessionStatus } from "../../src/session/status"
- import { SessionSummary } from "../../src/session/summary"
- import { SessionV2 } from "../../src/v2/session"
- import { ModelID, ProviderID } from "../../src/provider/schema"
- import type { Provider } from "@/provider/provider"
- import * as SessionProcessorModule from "../../src/session/processor"
- import { Snapshot } from "../../src/snapshot"
- import { ProviderTest } from "../fake/provider"
- import { testEffect } from "../lib/effect"
- import { CrossSpawnSpawner } from "@opencode-ai/core/cross-spawn-spawner"
- import { TestConfig } from "../fixture/config"
- import { SyncEvent } from "@/sync"
- import { RuntimeFlags } from "@/effect/runtime-flags"
- import { EventV2Bridge } from "@/event-v2-bridge"
- import { LLMEvent, Usage } from "@opencode-ai/llm"
- void Log.init({ print: false })
- const summary = Layer.succeed(
- SessionSummary.Service,
- SessionSummary.Service.of({
- summarize: () => Effect.void,
- diff: () => Effect.succeed([]),
- computeDiff: () => Effect.succeed([]),
- }),
- )
- const ref = {
- providerID: ProviderID.make("test"),
- modelID: ModelID.make("test-model"),
- }
- const usage = (input: ConstructorParameters<typeof Usage>[0]) => new Usage(input)
- const basicUsage = () => usage({ inputTokens: 1, outputTokens: 1, totalTokens: 2 })
- afterEach(() => {
- mock.restore()
- })
- function createModel(opts: {
- context: number
- output: number
- input?: number
- cost?: Provider.Model["cost"]
- npm?: string
- }): Provider.Model {
- return {
- id: "test-model",
- providerID: "test",
- name: "Test",
- limit: {
- context: opts.context,
- input: opts.input,
- output: opts.output,
- },
- cost: opts.cost ?? { input: 0, output: 0, cache: { read: 0, write: 0 } },
- capabilities: {
- toolcall: true,
- attachment: false,
- reasoning: false,
- temperature: true,
- input: { text: true, image: false, audio: false, video: false },
- output: { text: true, image: false, audio: false, video: false },
- },
- api: { npm: opts.npm ?? "@ai-sdk/anthropic" },
- options: {},
- } as Provider.Model
- }
- const wide = () => ProviderTest.fake({ model: createModel({ context: 100_000, output: 32_000 }) })
- function createUserMessage(sessionID: SessionID, text: string) {
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const msg = yield* ssn.updateMessage({
- id: MessageID.ascending(),
- role: "user",
- sessionID,
- agent: "build",
- model: ref,
- time: { created: Date.now() },
- })
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: msg.id,
- sessionID,
- type: "text",
- text,
- })
- return msg
- })
- }
- function createAssistantMessage(sessionID: SessionID, parentID: MessageID, root: string) {
- return SessionNs.Service.use((ssn) =>
- ssn.updateMessage({
- id: MessageID.ascending(),
- role: "assistant",
- sessionID,
- mode: "build",
- agent: "build",
- path: { cwd: root, root },
- cost: 0,
- tokens: {
- output: 0,
- input: 0,
- reasoning: 0,
- cache: { read: 0, write: 0 },
- },
- modelID: ref.modelID,
- providerID: ref.providerID,
- parentID,
- time: { created: Date.now() },
- finish: "end_turn",
- }),
- )
- }
- function createSummaryAssistantMessage(sessionID: SessionID, parentID: MessageID, root: string, text: string) {
- return SessionNs.Service.use((ssn) =>
- Effect.gen(function* () {
- const msg = yield* ssn.updateMessage({
- id: MessageID.ascending(),
- role: "assistant",
- sessionID,
- mode: "compaction",
- agent: "compaction",
- path: { cwd: root, root },
- cost: 0,
- tokens: {
- output: 0,
- input: 0,
- reasoning: 0,
- cache: { read: 0, write: 0 },
- },
- modelID: ref.modelID,
- providerID: ref.providerID,
- parentID,
- summary: true,
- time: { created: Date.now() },
- finish: "end_turn",
- })
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: msg.id,
- sessionID,
- type: "text",
- text,
- })
- return msg
- }),
- )
- }
- function createCompactionMarker(sessionID: SessionID) {
- return SessionNs.Service.use((ssn) =>
- Effect.gen(function* () {
- const msg = yield* ssn.updateMessage({
- id: MessageID.ascending(),
- role: "user",
- model: ref,
- sessionID,
- agent: "build",
- time: { created: Date.now() },
- })
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: msg.id,
- sessionID: msg.sessionID,
- type: "compaction",
- auto: false,
- })
- }),
- )
- }
- function fake(
- input: Parameters<SessionProcessorModule.SessionProcessor.Interface["create"]>[0],
- result: "continue" | "compact",
- ) {
- const msg = input.assistantMessage
- return {
- get message() {
- return msg
- },
- updateToolCall: Effect.fn("TestSessionProcessor.updateToolCall")(() => Effect.succeed(undefined)),
- completeToolCall: Effect.fn("TestSessionProcessor.completeToolCall")(() => Effect.void),
- process: Effect.fn("TestSessionProcessor.process")(() => Effect.succeed(result)),
- } satisfies SessionProcessorModule.SessionProcessor.Handle
- }
- function layer(result: "continue" | "compact") {
- return Layer.succeed(
- SessionProcessorModule.SessionProcessor.Service,
- SessionProcessorModule.SessionProcessor.Service.of({
- create: Effect.fn("TestSessionProcessor.create")((input) => Effect.succeed(fake(input, result))),
- }),
- )
- }
- function cfg(compaction?: Config.Info["compaction"]) {
- const base = Schema.decodeUnknownSync(Config.Info)({}) as Config.Info
- return TestConfig.layer({
- get: () => Effect.succeed({ ...base, compaction }),
- })
- }
- const deps = Layer.mergeAll(
- wide().layer,
- layer("continue"),
- Agent.defaultLayer,
- Plugin.defaultLayer,
- Bus.layer,
- Config.defaultLayer,
- SyncEvent.defaultLayer,
- RuntimeFlags.layer({ experimentalEventSystem: true }),
- EventV2Bridge.defaultLayer,
- )
- const env = Layer.mergeAll(
- SessionNs.defaultLayer,
- CrossSpawnSpawner.defaultLayer,
- SessionCompaction.layer.pipe(Layer.provide(SessionNs.defaultLayer), Layer.provideMerge(deps)),
- )
- const it = testEffect(env)
- const compactionEnv = Layer.mergeAll(SessionNs.defaultLayer, CrossSpawnSpawner.defaultLayer)
- const itCompaction = testEffect(compactionEnv)
- type CompactionProcessOptions = {
- result?: "continue" | "compact"
- llm?: Layer.Layer<LLM.Service>
- plugin?: Layer.Layer<Plugin.Service>
- provider?: ReturnType<typeof ProviderTest.fake>
- config?: Layer.Layer<Config.Service>
- }
- function withCompaction(options?: CompactionProcessOptions) {
- return Effect.provide(compactionProcessLayer(options))
- }
- function compactionProcessLayer(options?: CompactionProcessOptions) {
- const bus = Bus.layer
- const status = SessionStatus.layer.pipe(Layer.provide(bus))
- const processor = options?.llm
- ? SessionProcessorModule.SessionProcessor.layer.pipe(
- Layer.provide(summary),
- Layer.provide(Image.defaultLayer),
- Layer.provide(RuntimeFlags.layer({ experimentalEventSystem: true })),
- Layer.provide(status),
- )
- : layer(options?.result ?? "continue")
- return Layer.mergeAll(SessionCompaction.layer.pipe(Layer.provide(processor)), processor, bus, status).pipe(
- Layer.provide(SessionNs.defaultLayer),
- Layer.provide((options?.provider ?? wide()).layer),
- Layer.provide(Snapshot.defaultLayer),
- Layer.provide(options?.llm ?? LLM.defaultLayer),
- Layer.provide(Permission.defaultLayer),
- Layer.provide(Agent.defaultLayer),
- Layer.provide(options?.plugin ?? Plugin.defaultLayer),
- Layer.provide(status),
- Layer.provide(bus),
- Layer.provide(options?.config ?? Config.defaultLayer),
- Layer.provide(SyncEvent.defaultLayer),
- Layer.provide(RuntimeFlags.layer({ experimentalEventSystem: true })),
- Layer.provide(EventV2Bridge.defaultLayer),
- )
- }
- function createSummaryCompaction(sessionID: SessionID) {
- return SessionCompaction.use.create({ sessionID, agent: "build", model: ref, auto: false })
- }
- function readCompactionPart(sessionID: SessionID) {
- return SessionNs.use
- .messages({ sessionID })
- .pipe(
- Effect.map((messages) =>
- messages.at(-2)?.parts.find((item): item is MessageV2.CompactionPart => item.type === "compaction"),
- ),
- )
- }
- function llm() {
- const queue: Array<
- Stream.Stream<LLMEvent, unknown> | ((input: LLM.StreamInput) => Stream.Stream<LLMEvent, unknown>)
- > = []
- return {
- push(stream: Stream.Stream<LLMEvent, unknown> | ((input: LLM.StreamInput) => Stream.Stream<LLMEvent, unknown>)) {
- queue.push(stream)
- },
- layer: Layer.succeed(
- LLM.Service,
- LLM.Service.of({
- stream: (input) => {
- const item = queue.shift() ?? Stream.empty
- const stream = typeof item === "function" ? item(input) : item
- return stream.pipe(Stream.mapEffect((event) => Effect.succeed(event)))
- },
- }),
- ),
- }
- }
- function reply(
- text: string,
- capture?: (input: LLM.StreamInput) => void,
- ): (input: LLM.StreamInput) => Stream.Stream<LLMEvent, unknown> {
- return (input) => {
- capture?.(input)
- return Stream.make(
- LLMEvent.textStart({ id: "txt-0" }),
- LLMEvent.textDelta({ id: "txt-0", text }),
- LLMEvent.textEnd({ id: "txt-0" }),
- LLMEvent.stepFinish({
- index: 0,
- reason: "stop",
- usage: basicUsage(),
- }),
- LLMEvent.finish({
- reason: "stop",
- usage: basicUsage(),
- }),
- )
- }
- }
- function plugin(ready: Deferred.Deferred<void>) {
- return Layer.mock(Plugin.Service)({
- trigger: <Name extends string, Input, Output>(name: Name, _input: Input, output: Output) => {
- if (name !== "experimental.session.compacting") return Effect.succeed(output)
- return Effect.sync(() => Deferred.doneUnsafe(ready, Effect.void)).pipe(
- Effect.andThen(Effect.never),
- Effect.as(output),
- )
- },
- list: () => Effect.succeed([]),
- init: () => Effect.void,
- })
- }
- function autocontinue(enabled: boolean) {
- return Layer.mock(Plugin.Service)({
- trigger: <Name extends string, Input, Output>(name: Name, _input: Input, output: Output) => {
- if (name !== "experimental.compaction.autocontinue") return Effect.succeed(output)
- return Effect.sync(() => {
- ;(output as { enabled: boolean }).enabled = enabled
- return output
- })
- },
- list: () => Effect.succeed([]),
- init: () => Effect.void,
- })
- }
- describe("session.compaction.isOverflow", () => {
- it.live(
- "returns true when token count exceeds usable context",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 100_000, output: 32_000 })
- const tokens = { input: 75_000, output: 5_000, reasoning: 0, cache: { read: 0, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(true)
- }),
- ),
- )
- it.live(
- "returns false when token count within usable context",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 200_000, output: 32_000 })
- const tokens = { input: 100_000, output: 10_000, reasoning: 0, cache: { read: 0, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(false)
- }),
- ),
- )
- it.live(
- "includes cache.read in token count",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 100_000, output: 32_000 })
- const tokens = { input: 60_000, output: 10_000, reasoning: 0, cache: { read: 10_000, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(true)
- }),
- ),
- )
- it.live(
- "respects input limit for input caps",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 400_000, input: 272_000, output: 128_000 })
- const tokens = { input: 271_000, output: 1_000, reasoning: 0, cache: { read: 2_000, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(true)
- }),
- ),
- )
- it.live(
- "returns false when input/output are within input caps",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 400_000, input: 272_000, output: 128_000 })
- const tokens = { input: 200_000, output: 20_000, reasoning: 0, cache: { read: 10_000, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(false)
- }),
- ),
- )
- it.live(
- "returns false when output within limit with input caps",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 200_000, input: 120_000, output: 10_000 })
- const tokens = { input: 50_000, output: 9_999, reasoning: 0, cache: { read: 0, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(false)
- }),
- ),
- )
- // ─── Bug reproduction tests ───────────────────────────────────────────
- // These tests demonstrate that when limit.input is set, isOverflow()
- // does not subtract any headroom for the next model response. This means
- // compaction only triggers AFTER we've already consumed the full input
- // budget, leaving zero room for the next API call's output tokens.
- //
- // Compare: without limit.input, usable = context - output (reserves space).
- // With limit.input, usable = limit.input (reserves nothing).
- //
- // Related issues: #10634, #8089, #11086, #12621
- // Open PRs: #6875, #12924
- it.live(
- "BUG: no headroom when limit.input is set — compaction should trigger near boundary but does not",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- // Simulate Claude with prompt caching: input limit = 200K, output limit = 32K
- const model = createModel({ context: 200_000, input: 200_000, output: 32_000 })
- // We've used 198K tokens total. Only 2K under the input limit.
- // On the next turn, the full conversation (198K) becomes input,
- // plus the model needs room to generate output — this WILL overflow.
- const tokens = { input: 180_000, output: 15_000, reasoning: 0, cache: { read: 3_000, write: 0 } }
- // count = 180K + 3K + 15K = 198K
- // usable = limit.input = 200K (no output subtracted!)
- // 198K > 200K = false → no compaction triggered
- // WITHOUT limit.input: usable = 200K - 32K = 168K, and 198K > 168K = true ✓
- // WITH limit.input: usable = 200K, and 198K > 200K = false ✗
- // With 198K used and only 2K headroom, the next turn will overflow.
- // Compaction MUST trigger here.
- expect(yield* compact.isOverflow({ tokens, model })).toBe(true)
- }),
- ),
- )
- it.live(
- "BUG: without limit.input, same token count correctly triggers compaction",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- // Same model but without limit.input — uses context - output instead
- const model = createModel({ context: 200_000, output: 32_000 })
- // Same token usage as above
- const tokens = { input: 180_000, output: 15_000, reasoning: 0, cache: { read: 3_000, write: 0 } }
- // count = 198K
- // usable = context - output = 200K - 32K = 168K
- // 198K > 168K = true → compaction correctly triggered
- const result = yield* compact.isOverflow({ tokens, model })
- expect(result).toBe(true) // ← Correct: headroom is reserved
- }),
- ),
- )
- it.live(
- "BUG: asymmetry — limit.input model allows 30K more usage before compaction than equivalent model without it",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- // Two models with identical context/output limits, differing only in limit.input
- const withInputLimit = createModel({ context: 200_000, input: 200_000, output: 32_000 })
- const withoutInputLimit = createModel({ context: 200_000, output: 32_000 })
- // 170K total tokens — well above context-output (168K) but below input limit (200K)
- const tokens = { input: 166_000, output: 10_000, reasoning: 0, cache: { read: 5_000, write: 0 } }
- const withLimit = yield* compact.isOverflow({ tokens, model: withInputLimit })
- const withoutLimit = yield* compact.isOverflow({ tokens, model: withoutInputLimit })
- // Both models have identical real capacity — they should agree:
- expect(withLimit).toBe(true) // should compact (170K leaves no room for 32K output)
- expect(withoutLimit).toBe(true) // correctly compacts (170K > 168K)
- }),
- ),
- )
- it.live(
- "returns false when model context limit is 0",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 0, output: 32_000 })
- const tokens = { input: 100_000, output: 10_000, reasoning: 0, cache: { read: 0, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(false)
- }),
- ),
- )
- it.live(
- "returns false when compaction.auto is disabled",
- provideTmpdirInstance(
- () =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const model = createModel({ context: 100_000, output: 32_000 })
- const tokens = { input: 75_000, output: 5_000, reasoning: 0, cache: { read: 0, write: 0 } }
- expect(yield* compact.isOverflow({ tokens, model })).toBe(false)
- }),
- {
- config: {
- compaction: { auto: false },
- },
- },
- ),
- )
- })
- describe("session.compaction.create", () => {
- it.live(
- "creates a compaction user message and part",
- provideTmpdirInstance(() =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const ssn = yield* SessionNs.Service
- const info = yield* ssn.create({})
- yield* compact.create({
- sessionID: info.id,
- agent: "build",
- model: ref,
- auto: true,
- overflow: true,
- })
- const msgs = yield* ssn.messages({ sessionID: info.id })
- expect(msgs).toHaveLength(1)
- expect(msgs[0].info.role).toBe("user")
- expect(msgs[0].parts).toHaveLength(1)
- expect(msgs[0].parts[0]).toMatchObject({
- type: "compaction",
- auto: true,
- overflow: true,
- })
- const v2 = yield* SessionV2.Service.use((svc) => svc.messages({ sessionID: info.id })).pipe(
- Effect.provide(SessionV2.defaultLayer),
- )
- expect(v2.at(-1)).toMatchObject({
- type: "compaction",
- reason: "auto",
- summary: "",
- })
- }),
- ),
- )
- })
- describe("session.compaction.prune", () => {
- it.live(
- "compacts old completed tool output",
- provideTmpdirInstance(
- (dir) =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const ssn = yield* SessionNs.Service
- const info = yield* ssn.create({})
- const a = yield* ssn.updateMessage({
- id: MessageID.ascending(),
- role: "user",
- sessionID: info.id,
- agent: "build",
- model: ref,
- time: { created: Date.now() },
- })
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: a.id,
- sessionID: info.id,
- type: "text",
- text: "first",
- })
- const b: MessageV2.Assistant = {
- id: MessageID.ascending(),
- role: "assistant",
- sessionID: info.id,
- mode: "build",
- agent: "build",
- path: { cwd: dir, root: dir },
- cost: 0,
- tokens: {
- output: 0,
- input: 0,
- reasoning: 0,
- cache: { read: 0, write: 0 },
- },
- modelID: ref.modelID,
- providerID: ref.providerID,
- parentID: a.id,
- time: { created: Date.now() },
- finish: "end_turn",
- }
- yield* ssn.updateMessage(b)
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: b.id,
- sessionID: info.id,
- type: "tool",
- callID: crypto.randomUUID(),
- tool: "bash",
- state: {
- status: "completed",
- input: {},
- output: "x".repeat(200_000),
- title: "done",
- metadata: {},
- time: { start: Date.now(), end: Date.now() },
- },
- })
- for (const text of ["second", "third"]) {
- const msg = yield* ssn.updateMessage({
- id: MessageID.ascending(),
- role: "user",
- sessionID: info.id,
- agent: "build",
- model: ref,
- time: { created: Date.now() },
- })
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: msg.id,
- sessionID: info.id,
- type: "text",
- text,
- })
- }
- yield* compact.prune({ sessionID: info.id })
- const msgs = yield* ssn.messages({ sessionID: info.id })
- const part = msgs.flatMap((msg) => msg.parts).find((part) => part.type === "tool")
- expect(part?.type).toBe("tool")
- expect(part?.state.status).toBe("completed")
- if (part?.type === "tool" && part.state.status === "completed") {
- expect(part.state.time.compacted).toBeNumber()
- }
- }),
- {
- config: {
- compaction: { prune: true },
- },
- },
- ),
- )
- it.live(
- "skips protected skill tool output",
- provideTmpdirInstance((dir) =>
- Effect.gen(function* () {
- const compact = yield* SessionCompaction.Service
- const ssn = yield* SessionNs.Service
- const info = yield* ssn.create({})
- const a = yield* ssn.updateMessage({
- id: MessageID.ascending(),
- role: "user",
- sessionID: info.id,
- agent: "build",
- model: ref,
- time: { created: Date.now() },
- })
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: a.id,
- sessionID: info.id,
- type: "text",
- text: "first",
- })
- const b: MessageV2.Assistant = {
- id: MessageID.ascending(),
- role: "assistant",
- sessionID: info.id,
- mode: "build",
- agent: "build",
- path: { cwd: dir, root: dir },
- cost: 0,
- tokens: {
- output: 0,
- input: 0,
- reasoning: 0,
- cache: { read: 0, write: 0 },
- },
- modelID: ref.modelID,
- providerID: ref.providerID,
- parentID: a.id,
- time: { created: Date.now() },
- finish: "end_turn",
- }
- yield* ssn.updateMessage(b)
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: b.id,
- sessionID: info.id,
- type: "tool",
- callID: crypto.randomUUID(),
- tool: "skill",
- state: {
- status: "completed",
- input: {},
- output: "x".repeat(200_000),
- title: "done",
- metadata: {},
- time: { start: Date.now(), end: Date.now() },
- },
- })
- for (const text of ["second", "third"]) {
- const msg = yield* ssn.updateMessage({
- id: MessageID.ascending(),
- role: "user",
- sessionID: info.id,
- agent: "build",
- model: ref,
- time: { created: Date.now() },
- })
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: msg.id,
- sessionID: info.id,
- type: "text",
- text,
- })
- }
- yield* compact.prune({ sessionID: info.id })
- const msgs = yield* ssn.messages({ sessionID: info.id })
- const part = msgs.flatMap((msg) => msg.parts).find((part) => part.type === "tool")
- expect(part?.type).toBe("tool")
- if (part?.type === "tool" && part.state.status === "completed") {
- expect(part.state.time.compacted).toBeUndefined()
- }
- }),
- ),
- )
- })
- describe("session.compaction.process", () => {
- it.instance(
- "throws when parent is not a user message",
- Effect.gen(function* () {
- const test = yield* TestInstance
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const reply = yield* createAssistantMessage(session.id, msg.id, test.directory)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const exit = yield* Effect.exit(
- SessionCompaction.use.process({
- parentID: reply.id,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- }),
- )
- expect(Exit.isFailure(exit)).toBe(true)
- if (Exit.isFailure(exit)) {
- const error = Cause.squash(exit.cause)
- expect(error).toBeInstanceOf(Error)
- if (error instanceof Error) {
- expect(error.message).toContain(`Compaction parent must be a user message: ${reply.id}`)
- }
- }
- }),
- )
- it.instance(
- "publishes compacted event on continue",
- Effect.gen(function* () {
- const bus = yield* Bus.Service
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const done = yield* Deferred.make<void, Error>()
- let seen = false
- const unsub = yield* bus.subscribeCallback(SessionCompaction.Event.Compacted, (evt) => {
- if (evt.properties.sessionID !== session.id) return
- seen = true
- Deferred.doneUnsafe(done, Effect.void)
- })
- yield* Effect.addFinalizer(() => Effect.sync(unsub))
- const result = yield* SessionCompaction.use.process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- yield* Deferred.await(done).pipe(Effect.timeout("500 millis"))
- expect(result).toBe("continue")
- expect(seen).toBe(true)
- }),
- )
- itCompaction.instance(
- "marks summary message as errored on compact result",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const result = yield* SessionCompaction.use.process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- const summary = (yield* ssn.messages({ sessionID: session.id })).find(
- (msg) => msg.info.role === "assistant" && msg.info.summary,
- )
- expect(result).toBe("stop")
- expect(summary?.info.role).toBe("assistant")
- if (summary?.info.role === "assistant") {
- expect(summary.info.finish).toBe("error")
- expect(JSON.stringify(summary.info.error)).toContain("Session too large to compact")
- }
- }).pipe(withCompaction({ result: "compact" })),
- )
- it.instance(
- "adds synthetic continue prompt when auto is enabled",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const result = yield* SessionCompaction.use.process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: true,
- })
- const all = yield* ssn.messages({ sessionID: session.id })
- const last = all.at(-1)
- expect(result).toBe("continue")
- expect(last?.info.role).toBe("user")
- expect(last?.parts[0]).toMatchObject({
- type: "text",
- synthetic: true,
- metadata: { compaction_continue: true },
- })
- if (last?.parts[0]?.type === "text") {
- expect(last.parts[0].text).toContain("Continue if you have next steps")
- }
- }),
- )
- itCompaction.instance(
- "persists tail_start_id for retained recent turns",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "first")
- const keep = yield* createUserMessage(session.id, "second")
- yield* createUserMessage(session.id, "third")
- yield* createSummaryCompaction(session.id)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({
- parentID: parent!,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- const part = yield* readCompactionPart(session.id)
- expect(part?.type).toBe("compaction")
- expect(part?.tail_start_id).toBe(keep.id)
- }).pipe(withCompaction({ config: cfg({ tail_turns: 2, preserve_recent_tokens: 10_000 }) })),
- )
- itCompaction.instance(
- "shrinks retained tail to fit preserve token budget",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "first")
- yield* createUserMessage(session.id, "x".repeat(2_000))
- const keep = yield* createUserMessage(session.id, "tiny")
- yield* createSummaryCompaction(session.id)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({
- parentID: parent!,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- const part = yield* readCompactionPart(session.id)
- expect(part?.type).toBe("compaction")
- expect(part?.tail_start_id).toBe(keep.id)
- }).pipe(withCompaction({ config: cfg({ tail_turns: 2, preserve_recent_tokens: 100 }) })),
- )
- itCompaction.instance(
- "falls back to full summary when even one recent turn exceeds preserve token budget",
- () => {
- const stub = llm()
- let captured = ""
- stub.push(reply("summary", (input) => (captured = JSON.stringify(input.messages))))
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "first")
- yield* createUserMessage(session.id, "y".repeat(2_000))
- yield* createSummaryCompaction(session.id)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- const part = yield* readCompactionPart(session.id)
- expect(part?.type).toBe("compaction")
- expect(part?.tail_start_id).toBeUndefined()
- expect(captured).toContain("yyyy")
- }).pipe(withCompaction({ llm: stub.layer, config: cfg({ tail_turns: 1, preserve_recent_tokens: 20 }) }))
- },
- { git: true },
- )
- itCompaction.instance(
- "falls back to full summary when retained tail media exceeds preserve token budget",
- () => {
- const stub = llm()
- let captured = ""
- stub.push(reply("summary", (input) => (captured = JSON.stringify(input.messages))))
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "older")
- const recent = yield* createUserMessage(session.id, "recent image turn")
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: recent.id,
- sessionID: session.id,
- type: "file",
- mime: "image/png",
- filename: "big.png",
- url: `data:image/png;base64,${"a".repeat(4_000)}`,
- })
- yield* createSummaryCompaction(session.id)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- const part = yield* readCompactionPart(session.id)
- expect(part?.type).toBe("compaction")
- expect(part?.tail_start_id).toBeUndefined()
- expect(captured).toContain("recent image turn")
- expect(captured).toContain("Attached image/png: big.png")
- }).pipe(withCompaction({ llm: stub.layer, config: cfg({ tail_turns: 1, preserve_recent_tokens: 100 }) }))
- },
- { git: true },
- )
- itCompaction.instance(
- "retains a split turn suffix when a later message fits the preserve token budget",
- () => {
- const stub = llm()
- let captured = ""
- stub.push(reply("summary", (input) => (captured = JSON.stringify(input.messages))))
- return Effect.gen(function* () {
- const test = yield* TestInstance
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "older")
- const recent = yield* createUserMessage(session.id, "recent turn")
- const large = yield* createAssistantMessage(session.id, recent.id, test.directory)
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: large.id,
- sessionID: session.id,
- type: "text",
- text: "z".repeat(2_000),
- })
- const keep = yield* createAssistantMessage(session.id, recent.id, test.directory)
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: keep.id,
- sessionID: session.id,
- type: "text",
- text: "keep tail",
- })
- yield* createSummaryCompaction(session.id)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- const part = yield* readCompactionPart(session.id)
- expect(part?.type).toBe("compaction")
- expect(part?.tail_start_id).toBe(keep.id)
- expect(captured).toContain("zzzz")
- expect(captured).not.toContain("keep tail")
- const filtered = MessageV2.filterCompacted(MessageV2.stream(session.id))
- expect(filtered.map((msg) => msg.info.id).slice(0, 3)).toEqual([parent!, expect.any(String), keep.id])
- expect(filtered[1]?.info.role).toBe("assistant")
- expect(filtered[1]?.info.role === "assistant" ? filtered[1].info.summary : false).toBe(true)
- expect(filtered.map((msg) => msg.info.id)).not.toContain(large.id)
- }).pipe(withCompaction({ llm: stub.layer, config: cfg({ tail_turns: 1, preserve_recent_tokens: 100 }) }))
- },
- { git: true },
- )
- itCompaction.instance(
- "allows plugins to disable synthetic continue prompt",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const result = yield* SessionCompaction.use.process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: true,
- })
- const all = yield* ssn.messages({ sessionID: session.id })
- const last = all.at(-1)
- expect(result).toBe("continue")
- expect(last?.info.role).toBe("assistant")
- expect(
- all.some(
- (msg) =>
- msg.info.role === "user" &&
- msg.parts.some(
- (part) => part.type === "text" && part.synthetic && part.text.includes("Continue if you have next steps"),
- ),
- ),
- ).toBe(false)
- }).pipe(withCompaction({ plugin: autocontinue(false) })),
- )
- it.instance(
- "replays the prior user turn on overflow when earlier context exists",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "root")
- const replay = yield* createUserMessage(session.id, "image")
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: replay.id,
- sessionID: session.id,
- type: "file",
- mime: "image/png",
- filename: "cat.png",
- url: "https://example.com/cat.png",
- })
- const msg = yield* createUserMessage(session.id, "current")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const result = yield* SessionCompaction.use.process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: true,
- overflow: true,
- })
- const last = (yield* ssn.messages({ sessionID: session.id })).at(-1)
- expect(result).toBe("continue")
- expect(last?.info.role).toBe("user")
- expect(last?.parts.some((part) => part.type === "file")).toBe(false)
- expect(
- last?.parts.some((part) => part.type === "text" && part.text.includes("Attached image/png: cat.png")),
- ).toBe(true)
- }),
- )
- it.instance(
- "falls back to overflow guidance when no replayable turn exists",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "earlier")
- const msg = yield* createUserMessage(session.id, "current")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const result = yield* SessionCompaction.use.process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: true,
- overflow: true,
- })
- const last = (yield* ssn.messages({ sessionID: session.id })).at(-1)
- expect(result).toBe("continue")
- expect(last?.info.role).toBe("user")
- if (last?.parts[0]?.type === "text") {
- expect(last.parts[0].text).toContain("previous request exceeded the provider's size limit")
- }
- }),
- )
- itCompaction.instance(
- "stops quickly when aborted during retry backoff",
- () => {
- const stub = llm()
- stub.push(
- Stream.fromAsyncIterable(
- {
- async *[Symbol.asyncIterator]() {
- yield LLMEvent.stepStart({ index: 0 })
- throw new APICallError({
- message: "boom",
- url: "https://example.com/v1/chat/completions",
- requestBodyValues: {},
- statusCode: 503,
- responseHeaders: { "retry-after-ms": "10000" },
- responseBody: '{"error":"boom"}',
- isRetryable: true,
- })
- },
- },
- (err) => err,
- ),
- )
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const bus = yield* Bus.Service
- const ready = yield* Deferred.make<void>()
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const off = yield* bus.subscribeCallback(SessionStatus.Event.Status, (evt) => {
- if (evt.properties.sessionID !== session.id) return
- if (evt.properties.status.type !== "retry") return
- Deferred.doneUnsafe(ready, Effect.void)
- })
- yield* Effect.addFinalizer(() => Effect.sync(off))
- const fiber = yield* SessionCompaction.use
- .process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- .pipe(Effect.forkChild)
- yield* Deferred.await(ready).pipe(Effect.timeout("1 second"))
- const start = Date.now()
- yield* Fiber.interrupt(fiber)
- const exit = yield* Fiber.await(fiber).pipe(Effect.timeout("250 millis"))
- expect(Exit.isFailure(exit)).toBe(true)
- if (Exit.isFailure(exit)) {
- expect(Cause.hasInterrupts(exit.cause)).toBe(true)
- expect(Date.now() - start).toBeLessThan(250)
- }
- }).pipe(withCompaction({ llm: stub.layer }))
- },
- { git: true },
- )
- itCompaction.instance(
- "does not leave a summary assistant when aborted before processor setup",
- () =>
- Effect.gen(function* () {
- const ready = yield* Deferred.make<void>()
- return yield* Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const fiber = yield* SessionCompaction.use
- .process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- .pipe(Effect.forkChild)
- yield* Deferred.await(ready).pipe(Effect.timeout("1 second"))
- yield* Fiber.interrupt(fiber)
- const exit = yield* Fiber.await(fiber).pipe(Effect.timeout("250 millis"))
- const all = yield* ssn.messages({ sessionID: session.id })
- expect(Exit.isFailure(exit)).toBe(true)
- if (Exit.isFailure(exit)) expect(Cause.hasInterrupts(exit.cause)).toBe(true)
- expect(all.some((msg) => msg.info.role === "assistant" && msg.info.summary)).toBe(false)
- }).pipe(withCompaction({ plugin: plugin(ready) }))
- }),
- { git: true },
- )
- itCompaction.instance(
- "silently drops reasoning-delta arriving without prior reasoning-start",
- () => {
- // Regression: PR initially auto-created a reasoning Part for orphan deltas (no preceding
- // reasoning-start). Reverted to match dev — drop silently. Pinned here so any future
- // change to processor.ts reasoning-delta handling triggers this test.
- const stub = llm()
- stub.push(
- Stream.make(
- LLMEvent.reasoningDelta({ id: "orphan-1", text: "stray reasoning" }),
- LLMEvent.textStart({ id: "txt-0" }),
- LLMEvent.textDelta({ id: "txt-0", text: "summary" }),
- LLMEvent.textEnd({ id: "txt-0" }),
- LLMEvent.stepFinish({ index: 0, reason: "stop", usage: basicUsage() }),
- LLMEvent.finish({ reason: "stop", usage: basicUsage() }),
- ),
- )
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- yield* SessionCompaction.use.process({
- parentID: msg.id,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- const summary = (yield* ssn.messages({ sessionID: session.id })).find(
- (item) => item.info.role === "assistant" && item.info.summary,
- )
- expect(summary?.parts.some((part) => part.type === "reasoning")).toBe(false)
- // Sanity: the text part still got through.
- expect(summary?.parts.some((part) => part.type === "text" && part.text === "summary")).toBe(true)
- }).pipe(withCompaction({ llm: stub.layer }))
- },
- { git: true },
- )
- itCompaction.instance(
- "does not allow tool calls while generating the summary",
- () => {
- const stub = llm()
- stub.push(
- Stream.make(
- LLMEvent.toolCall({ id: "call-1", name: "_noop", input: {} }),
- LLMEvent.stepFinish({
- index: 0,
- reason: "tool-calls",
- usage: basicUsage(),
- }),
- LLMEvent.finish({
- reason: "tool-calls",
- usage: basicUsage(),
- }),
- ),
- )
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const msg = yield* createUserMessage(session.id, "hello")
- const msgs = yield* ssn.messages({ sessionID: session.id })
- yield* SessionCompaction.use.process({ parentID: msg.id, messages: msgs, sessionID: session.id, auto: false })
- const summary = (yield* ssn.messages({ sessionID: session.id })).find(
- (item) => item.info.role === "assistant" && item.info.summary,
- )
- expect(summary?.info.role).toBe("assistant")
- expect(summary?.parts.some((part) => part.type === "tool")).toBe(false)
- }).pipe(withCompaction({ llm: stub.layer }))
- },
- { git: true },
- )
- itCompaction.instance(
- "summarizes only the head while keeping recent tail out of summary input",
- () => {
- const stub = llm()
- let captured = ""
- stub.push(
- reply("summary", (input) => {
- captured = JSON.stringify(input.messages)
- }),
- )
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "older context")
- yield* createUserMessage(session.id, "keep this turn")
- yield* createUserMessage(session.id, "and this one too")
- yield* createCompactionMarker(session.id)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({
- parentID: parent!,
- messages: msgs,
- sessionID: session.id,
- auto: false,
- })
- expect(captured).toContain("older context")
- expect(captured).not.toContain("keep this turn")
- expect(captured).not.toContain("and this one too")
- expect(captured).not.toContain("What did we do so far?")
- }).pipe(withCompaction({ llm: stub.layer }))
- },
- { git: true },
- )
- itCompaction.instance(
- "anchors repeated compactions with the previous summary",
- () => {
- const stub = llm()
- let captured = ""
- stub.push(reply("summary one"))
- stub.push(
- reply("summary two", (input) => {
- captured = JSON.stringify(input.messages)
- }),
- )
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "older context")
- yield* createUserMessage(session.id, "keep this turn")
- yield* createCompactionMarker(session.id)
- let msgs = yield* ssn.messages({ sessionID: session.id })
- let parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- yield* createUserMessage(session.id, "latest turn")
- yield* createCompactionMarker(session.id)
- msgs = MessageV2.filterCompacted(MessageV2.stream(session.id))
- parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- expect(captured).toContain("<previous-summary>")
- expect(captured).toContain("summary one")
- expect(captured.match(/summary one/g)?.length).toBe(1)
- expect(captured).toContain("## Constraints & Preferences")
- expect(captured).toContain("## Progress")
- }).pipe(withCompaction({ llm: stub.layer }))
- },
- { git: true },
- )
- itCompaction.instance("keeps recent pre-compaction turns across repeated compactions", () => {
- const stub = llm()
- stub.push(reply("summary one"))
- stub.push(reply("summary two"))
- return Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const session = yield* ssn.create({})
- const u1 = yield* createUserMessage(session.id, "one")
- const u2 = yield* createUserMessage(session.id, "two")
- const u3 = yield* createUserMessage(session.id, "three")
- yield* createCompactionMarker(session.id)
- let msgs = yield* ssn.messages({ sessionID: session.id })
- let parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- const u4 = yield* createUserMessage(session.id, "four")
- yield* createCompactionMarker(session.id)
- msgs = MessageV2.filterCompacted(MessageV2.stream(session.id))
- parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- const filtered = MessageV2.filterCompacted(MessageV2.stream(session.id))
- const ids = filtered.map((msg) => msg.info.id)
- expect(ids).not.toContain(u1.id)
- expect(ids).not.toContain(u2.id)
- expect(ids).toContain(u3.id)
- expect(ids).toContain(u4.id)
- expect(filtered.some((msg) => msg.info.role === "assistant" && msg.info.summary)).toBe(true)
- expect(
- filtered.some((msg) => msg.info.role === "user" && msg.parts.some((part) => part.type === "compaction")),
- ).toBe(true)
- }).pipe(withCompaction({ llm: stub.layer, config: cfg({ tail_turns: 2, preserve_recent_tokens: 10_000 }) }))
- })
- itCompaction.instance(
- "ignores previous summaries when sizing the retained tail",
- Effect.gen(function* () {
- const ssn = yield* SessionNs.Service
- const test = yield* TestInstance
- const session = yield* ssn.create({})
- yield* createUserMessage(session.id, "older")
- const keep = yield* createUserMessage(session.id, "keep this turn")
- const keepReply = yield* createAssistantMessage(session.id, keep.id, test.directory)
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: keepReply.id,
- sessionID: session.id,
- type: "text",
- text: "keep reply",
- })
- yield* createCompactionMarker(session.id)
- const firstCompaction = (yield* ssn.messages({ sessionID: session.id })).at(-1)?.info.id
- expect(firstCompaction).toBeTruthy()
- yield* createSummaryAssistantMessage(session.id, firstCompaction!, test.directory, "summary ".repeat(800))
- const recent = yield* createUserMessage(session.id, "recent turn")
- const recentReply = yield* createAssistantMessage(session.id, recent.id, test.directory)
- yield* ssn.updatePart({
- id: PartID.ascending(),
- messageID: recentReply.id,
- sessionID: session.id,
- type: "text",
- text: "recent reply",
- })
- yield* createCompactionMarker(session.id)
- const msgs = yield* ssn.messages({ sessionID: session.id })
- const parent = msgs.at(-1)?.info.id
- expect(parent).toBeTruthy()
- yield* SessionCompaction.use.process({ parentID: parent!, messages: msgs, sessionID: session.id, auto: false })
- const part = yield* readCompactionPart(session.id)
- expect(part?.type).toBe("compaction")
- expect(part?.tail_start_id).toBe(keep.id)
- }).pipe(withCompaction({ config: cfg({ tail_turns: 2, preserve_recent_tokens: 500 }) })),
- )
- })
- describe("util.token.estimate", () => {
- test("estimates tokens from text (4 chars per token)", () => {
- const text = "x".repeat(4000)
- expect(Token.estimate(text)).toBe(1000)
- })
- test("estimates tokens from larger text", () => {
- const text = "y".repeat(20_000)
- expect(Token.estimate(text)).toBe(5000)
- })
- test("returns 0 for empty string", () => {
- expect(Token.estimate("")).toBe(0)
- })
- })
- describe("SessionNs.getUsage", () => {
- test("normalizes standard usage to token format", () => {
- const model = createModel({ context: 100_000, output: 32_000 })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 1000, outputTokens: 500, totalTokens: 1500 }),
- })
- expect(result.tokens.input).toBe(1000)
- expect(result.tokens.output).toBe(500)
- expect(result.tokens.reasoning).toBe(0)
- expect(result.tokens.cache.read).toBe(0)
- expect(result.tokens.cache.write).toBe(0)
- })
- test("extracts cached tokens to cache.read", () => {
- const model = createModel({ context: 100_000, output: 32_000 })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 1000, outputTokens: 500, totalTokens: 1500, cacheReadInputTokens: 200 }),
- })
- expect(result.tokens.input).toBe(800)
- expect(result.tokens.cache.read).toBe(200)
- })
- test("handles anthropic cache write metadata", () => {
- const model = createModel({ context: 100_000, output: 32_000 })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 1000, outputTokens: 500, totalTokens: 1500 }),
- metadata: {
- anthropic: {
- cacheCreationInputTokens: 300,
- },
- },
- })
- expect(result.tokens.cache.write).toBe(300)
- })
- test("subtracts cached tokens for anthropic provider", () => {
- const model = createModel({ context: 100_000, output: 32_000 })
- // AI SDK v6 normalizes inputTokens to include cached tokens for all providers
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 1000, outputTokens: 500, totalTokens: 1500, cacheReadInputTokens: 200 }),
- metadata: {
- anthropic: {},
- },
- })
- expect(result.tokens.input).toBe(800)
- expect(result.tokens.cache.read).toBe(200)
- })
- test("separates reasoning tokens from output tokens", () => {
- const model = createModel({ context: 100_000, output: 32_000 })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 1000, outputTokens: 500, reasoningTokens: 100, totalTokens: 1500 }),
- })
- expect(result.tokens.input).toBe(1000)
- expect(result.tokens.output).toBe(400)
- expect(result.tokens.reasoning).toBe(100)
- expect(result.tokens.total).toBe(1500)
- })
- test("does not double count reasoning tokens in cost", () => {
- const model = createModel({
- context: 100_000,
- output: 32_000,
- cost: {
- input: 0,
- output: 15,
- cache: { read: 0, write: 0 },
- },
- })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 0, outputTokens: 1_000_000, reasoningTokens: 250_000, totalTokens: 1_000_000 }),
- })
- expect(result.tokens.output).toBe(750_000)
- expect(result.tokens.reasoning).toBe(250_000)
- expect(result.cost).toBe(15)
- })
- test("handles undefined optional values gracefully", () => {
- const model = createModel({ context: 100_000, output: 32_000 })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 0, outputTokens: 0, totalTokens: 0 }),
- })
- expect(result.tokens.input).toBe(0)
- expect(result.tokens.output).toBe(0)
- expect(result.tokens.reasoning).toBe(0)
- expect(result.tokens.cache.read).toBe(0)
- expect(result.tokens.cache.write).toBe(0)
- expect(Number.isNaN(result.cost)).toBe(false)
- })
- test("calculates cost correctly", () => {
- const model = createModel({
- context: 100_000,
- output: 32_000,
- cost: {
- input: 3,
- output: 15,
- cache: { read: 0.3, write: 3.75 },
- },
- })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 1_000_000, outputTokens: 100_000, totalTokens: 1_100_000 }),
- })
- expect(result.cost).toBe(3 + 1.5)
- })
- test("uses matching context cost tier before over-200k fallback", () => {
- const model = createModel({
- context: 1_000_000,
- output: 32_000,
- cost: {
- input: 1,
- output: 2,
- cache: { read: 0.1, write: 0.5 },
- tiers: [
- {
- input: 3,
- output: 4,
- cache: { read: 0.3, write: 1.5 },
- tier: { type: "context", size: 200_000 },
- },
- {
- input: 5,
- output: 6,
- cache: { read: 0.5, write: 2.5 },
- tier: { type: "context", size: 500_000 },
- },
- ],
- experimentalOver200K: {
- input: 100,
- output: 100,
- cache: { read: 100, write: 100 },
- },
- },
- })
- const result = SessionNs.getUsage({
- model,
- usage: usage({
- inputTokens: 650_000,
- outputTokens: 100_000,
- totalTokens: 750_000,
- cacheReadInputTokens: 100_000,
- }),
- })
- expect(result.tokens.input).toBe(550_000)
- expect(result.cost).toBe(2.75 + 0.6 + 0.05)
- })
- test("falls back to over-200k pricing when no cost tier matches", () => {
- const model = createModel({
- context: 1_000_000,
- output: 32_000,
- cost: {
- input: 1,
- output: 2,
- cache: { read: 0.1, write: 0.5 },
- tiers: [
- {
- input: 5,
- output: 6,
- cache: { read: 0.5, write: 2.5 },
- tier: { type: "context", size: 500_000 },
- },
- ],
- experimentalOver200K: {
- input: 3,
- output: 4,
- cache: { read: 0.3, write: 1.5 },
- },
- },
- })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 300_000, outputTokens: 100_000, totalTokens: 400_000 }),
- })
- expect(result.cost).toBe(0.9 + 0.4)
- })
- test.each(["@ai-sdk/anthropic", "@ai-sdk/amazon-bedrock", "@ai-sdk/google-vertex/anthropic"])(
- "computes total from components for %s models",
- (npm) => {
- const model = createModel({ context: 100_000, output: 32_000, npm })
- // AI SDK v6: inputTokens includes cached tokens for all providers
- const item = usage({
- inputTokens: 1000,
- outputTokens: 500,
- totalTokens: 1500,
- cacheReadInputTokens: 200,
- })
- if (npm === "@ai-sdk/amazon-bedrock") {
- const result = SessionNs.getUsage({
- model,
- usage: item,
- metadata: {
- bedrock: {
- usage: {
- cacheWriteInputTokens: 300,
- },
- },
- },
- })
- // inputTokens (1000) includes cache, so adjusted = 1000 - 200 - 300 = 500
- expect(result.tokens.input).toBe(500)
- expect(result.tokens.cache.read).toBe(200)
- expect(result.tokens.cache.write).toBe(300)
- // total = adjusted (500) + output (500) + cacheRead (200) + cacheWrite (300)
- expect(result.tokens.total).toBe(1500)
- return
- }
- const result = SessionNs.getUsage({
- model,
- usage: item,
- metadata: {
- anthropic: {
- cacheCreationInputTokens: 300,
- },
- },
- })
- // inputTokens (1000) includes cache, so adjusted = 1000 - 200 - 300 = 500
- expect(result.tokens.input).toBe(500)
- expect(result.tokens.cache.read).toBe(200)
- expect(result.tokens.cache.write).toBe(300)
- // total = adjusted (500) + output (500) + cacheRead (200) + cacheWrite (300)
- expect(result.tokens.total).toBe(1500)
- },
- )
- test("extracts cache write tokens from vertex metadata key", () => {
- const model = createModel({ context: 100_000, output: 32_000, npm: "@ai-sdk/google-vertex/anthropic" })
- const result = SessionNs.getUsage({
- model,
- usage: usage({ inputTokens: 1000, outputTokens: 500, totalTokens: 1500, cacheReadInputTokens: 200 }),
- metadata: {
- vertex: {
- cacheCreationInputTokens: 300,
- },
- },
- })
- expect(result.tokens.input).toBe(500)
- expect(result.tokens.cache.read).toBe(200)
- expect(result.tokens.cache.write).toBe(300)
- })
- })
|