compaction-basic.spec.ts 76 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042
  1. import { describe, expect, expectTypeOf, it, vi } from 'vitest'
  2. import { Context } from '@deepseek-ai/cordis'
  3. import { AttachmentId } from '@deepseek-ai/dsh-attachment'
  4. import BasicCompactionEngine from '@deepseek-ai/dsh-compaction-basic'
  5. import type { BasicCompactionConfig } from '@deepseek-ai/dsh-compaction-basic'
  6. import { selectCompactableRange } from '@deepseek-ai/dsh-compaction-basic/src/region.ts'
  7. import { frameSummary } from '@deepseek-ai/dsh-compaction-basic/src/summarizer.ts'
  8. import type { SummarizationInput, SummaryResult } from '@deepseek-ai/dsh-compaction-basic/src/summarizer.ts'
  9. import { CompactionId, toolPairingBalancedAfter, toolPairingBalancedBefore } from '@deepseek-ai/dsh-compaction'
  10. import {
  11. resolveCompactSpec,
  12. resolveConfig,
  13. resolveTargetPolicy,
  14. } from '@deepseek-ai/dsh-compaction-basic/src/config.ts'
  15. import type { CompactionResult } from '@deepseek-ai/dsh-compaction'
  16. import LlmRuntime, { createUserMessage, ToolCallId, CONTEXT_WINDOW_EXCEEDED_CODE, createToolResultMessage, LlmAdapter , createMessage } from '@deepseek-ai/dsh-llm'
  17. import type {
  18. ContentBlock,
  19. GenerateOptions,
  20. LlmFailure,
  21. LlmResolvedModelInfo,
  22. Message,
  23. StreamChunk,
  24. TokenUsage,
  25. } from '@deepseek-ai/dsh-llm'
  26. import SessionStore, { Session, SessionId, SessionSeq } from '@deepseek-ai/dsh-session'
  27. import SessionProjectionRegistry from '@deepseek-ai/dsh-session-projection'
  28. import TokenMeter from '@deepseek-ai/dsh-token-meter'
  29. import { agentEvents, type Agent, type RequestErrorAction } from '@deepseek-ai/dsh-agent'
  30. import ToolResultPruner from '@deepseek-ai/dsh-compaction-tool-result-pruner'
  31. const SIGNAL = new AbortController().signal
  32. const MODEL = 'test-model'
  33. class ContextAdapter extends LlmAdapter {
  34. constructor(private readonly contextWindow: number) {
  35. super()
  36. }
  37. override resolveModel(provider: string, model: string): Promise<LlmResolvedModelInfo> {
  38. return Promise.resolve({
  39. provider,
  40. id: model,
  41. name: model,
  42. context: { contextWindow: this.contextWindow },
  43. })
  44. }
  45. override async * stream(): AsyncIterable<StreamChunk> {
  46. yield { type: 'finish', reason: { kind: 'stop' } }
  47. }
  48. }
  49. class RoutedContextAdapter extends LlmAdapter {
  50. constructor(private readonly windows: Readonly<Record<string, number>>) {
  51. super()
  52. }
  53. override resolveModel(provider: string, model: string): Promise<LlmResolvedModelInfo> {
  54. const contextWindow = this.windows[provider]
  55. return Promise.resolve({
  56. provider,
  57. id: model,
  58. name: model,
  59. ...contextWindow === undefined ? {} : { context: { contextWindow } },
  60. })
  61. }
  62. override async * stream(): AsyncIterable<StreamChunk> {
  63. yield { type: 'finish', reason: { kind: 'stop' } }
  64. }
  65. }
  66. function createContext(contextWindow = 1_000): Context {
  67. const ctx = new Context()
  68. void new LlmRuntime(ctx)
  69. // The registry is a required injection of TokenMeter (its three
  70. // projection units register in the constructor); mount it synchronously.
  71. new SessionProjectionRegistry(ctx)
  72. void new TokenMeter(ctx)
  73. ctx.llm.registerAdapter([MODEL, 'actual', 'unlisted-provider'], new ContextAdapter(contextWindow))
  74. return ctx
  75. }
  76. function agent(session: Session, model?: string): Agent {
  77. return {
  78. session,
  79. options: model === undefined ? {} : { provider: model, model },
  80. } as Agent
  81. }
  82. /** Flatten every text fragment the summarizer received, recursing tool-result blocks. */
  83. function summarizedText(input: SummarizationInput): string {
  84. const collect = (blocks: readonly ContentBlock[]): string =>
  85. blocks.map(block =>
  86. block.type === 'text' ? block.text
  87. : block.type === 'tool-result' ? collect(block.content)
  88. : '').join('\n')
  89. return input.messages.map(message => collect(message.content)).join('\n')
  90. }
  91. /** A minimal replayed prefix carrying one user message of the given text. */
  92. function promptInput(text: string): SummarizationInput {
  93. return { messages: [createUserMessage({
  94. content: [{ type: 'text', text }],
  95. source: { kind: 'plugin', plugin: 'test' },
  96. })] }
  97. }
  98. /** Closed two-message turns followed by one open turn for durable compaction events. */
  99. function conversation(turns = 4, text = 'fixture '.repeat(40).trim()): Session {
  100. const session = Session.create(SessionId(`conversation-${turns}`))
  101. for (let turn = 1; turn <= turns; turn += 1) {
  102. session.append('turn/start', { turn })
  103. session.append('user/message', createUserMessage({
  104. content: [{ type: 'text', text: `${text} user ${turn}` }],
  105. source: { kind: 'user' },
  106. }), { surfaceOp: 'append' })
  107. session.append('step/start', { turn, step: 1 })
  108. if (turn === 1) {
  109. session.append('request/header', {
  110. header: { config: { provider: MODEL, model: MODEL } },
  111. reason: 'initial',
  112. })
  113. }
  114. session.append('assistant/message', {
  115. stream: [],
  116. turn,
  117. step: 1,
  118. message: createMessage({
  119. role: 'assistant',
  120. content: [{ type: 'text', text: `${text} assistant ${turn}` }],
  121. source: {
  122. kind: 'model',
  123. ...{ provider: MODEL, model: MODEL },
  124. },
  125. }),
  126. }, { surfaceOp: 'append' })
  127. session.append('step/end', { turn, step: 1 })
  128. session.append('turn/end', { turn, reason: { kind: 'completed' } })
  129. }
  130. session.append('turn/start', {
  131. turn: turns + 1,
  132. })
  133. return session
  134. }
  135. function toolConversation(): Session {
  136. const session = Session.create(SessionId('tools'))
  137. for (let turn = 1; turn <= 3; turn += 1) {
  138. const callId = ToolCallId(`call-${turn}`)
  139. session.append('turn/start', { turn })
  140. session.append('user/message', createUserMessage({
  141. content: [{ type: 'text', text: `request ${turn} `.repeat(300) }],
  142. source: { kind: 'user' },
  143. }), { surfaceOp: 'append' })
  144. session.append('step/start', { turn, step: 1 })
  145. if (turn === 1) {
  146. session.append('request/header', {
  147. header: { config: { provider: MODEL, model: MODEL } },
  148. reason: 'initial',
  149. })
  150. }
  151. session.append('assistant/message', {
  152. stream: [],
  153. turn,
  154. step: 1,
  155. message: createMessage({
  156. role: 'assistant',
  157. content: [
  158. { type: 'text', text: `calling ${turn} `.repeat(300) },
  159. { type: 'tool-call', id: callId, name: 'read', arguments: '{}' },
  160. ],
  161. source: {
  162. kind: 'model',
  163. ...{ provider: MODEL, model: MODEL },
  164. },
  165. }),
  166. }, { surfaceOp: 'append' })
  167. session.append('tool/call', { turn, step: 1, callId, name: 'read', arguments: '{}' })
  168. session.append('tool/result', {
  169. turn,
  170. step: 1,
  171. message: createToolResultMessage({
  172. callId,
  173. content: [{ type: 'text', text: `result ${turn} `.repeat(300) }],
  174. isError: false,
  175. }),
  176. }, { surfaceOp: 'append' })
  177. session.append('step/end', { turn, step: 1 })
  178. session.append('turn/end', { turn, reason: { kind: 'completed' } })
  179. }
  180. session.append('turn/start', { turn: 4 })
  181. return session
  182. }
  183. /** One closed routed tool step followed by an open turn for rewrite events. */
  184. function oversizedToolResult(chars = 3_000, withCompactablePrompt = false): Session {
  185. const session = Session.create(SessionId(`oversized-tool-${chars}`))
  186. const callId = ToolCallId('oversized')
  187. session.append('turn/start', { turn: 1 })
  188. if (withCompactablePrompt) {
  189. session.append('user/message', createUserMessage({
  190. content: [{ type: 'text', text: 'older history '.repeat(200) }],
  191. source: { kind: 'user' },
  192. }), { surfaceOp: 'append' })
  193. }
  194. session.append('step/start', { turn: 1, step: 1 })
  195. session.append('request/header', {
  196. header: { config: { provider: MODEL, model: MODEL } },
  197. reason: 'initial',
  198. })
  199. session.append('assistant/message', {
  200. stream: [],
  201. turn: 1,
  202. step: 1,
  203. message: createMessage({
  204. role: 'assistant',
  205. content: [{ type: 'tool-call', id: callId, name: 'bash', arguments: '{}' }],
  206. source: {
  207. kind: 'model',
  208. ...{ provider: MODEL, model: MODEL },
  209. },
  210. }),
  211. }, { surfaceOp: 'append' })
  212. session.append('tool/call', { turn: 1, step: 1, callId, name: 'bash', arguments: '{}' })
  213. session.append('tool/result', {
  214. turn: 1,
  215. step: 1,
  216. message: createToolResultMessage({
  217. callId,
  218. content: [{ type: 'text', text: 'X'.repeat(chars) }],
  219. isError: false,
  220. }),
  221. meta: { presentation: 'preserved' },
  222. }, { surfaceOp: 'append' })
  223. session.append('step/end', { turn: 1, step: 1 })
  224. session.append('turn/end', { turn: 1, reason: { kind: 'completed' } })
  225. session.append('turn/start', { turn: 2 })
  226. return session
  227. }
  228. class TestCompactionEngine extends BasicCompactionEngine {
  229. summary: ContentBlock[] = [{ type: 'text', text: 'small checkpoint' }]
  230. rawOutput: ContentBlock[] | undefined
  231. usage: TokenUsage | undefined
  232. summaryProvider = 'summary-provider'
  233. summaryModel = 'summary-model'
  234. error: unknown
  235. mutateDuringSummary: (() => void) | undefined
  236. calls: Array<{ input: SummarizationInput; signal: AbortSignal | undefined }> = []
  237. override async summarize(
  238. input: SummarizationInput,
  239. _agent: Agent,
  240. signal?: AbortSignal,
  241. ): Promise<{
  242. summary: ContentBlock[]
  243. rawOutput?: ContentBlock[]
  244. provider: string
  245. model: string
  246. maxTokens?: number
  247. usage?: TokenUsage
  248. }> {
  249. this.calls.push({ input, signal })
  250. this.mutateDuringSummary?.()
  251. if (this.error !== undefined) throw this.error
  252. return {
  253. summary: this.summary,
  254. ...this.rawOutput === undefined ? {} : { rawOutput: this.rawOutput },
  255. provider: this.summaryProvider,
  256. model: this.summaryModel,
  257. maxTokens: 123,
  258. ...this.usage === undefined ? {} : { usage: this.usage },
  259. }
  260. }
  261. }
  262. function service(
  263. config: BasicCompactionConfig = { auto: false },
  264. ctx = createContext(),
  265. ): TestCompactionEngine {
  266. return new TestCompactionEngine(ctx, config)
  267. }
  268. async function compactIfNeeded(
  269. compact: BasicCompactionEngine,
  270. session: Session,
  271. trigger: 'pressure' | 'context-overflow' = 'pressure',
  272. model: string | undefined = MODEL,
  273. ): Promise<CompactionResult | null> {
  274. return compact.compactIfNeeded(agent(session, model), trigger, SIGNAL)
  275. }
  276. describe('compact configuration and defaults', () => {
  277. it('uses low-friction service-wide defaults', () => {
  278. const resolved = resolveConfig({})
  279. expect(resolved).toEqual({
  280. thresholdRatio: 0.8,
  281. retainRatio: 0.16,
  282. summarizationProvider: '',
  283. summarizationModel: '',
  284. maxTokens: 8192,
  285. compactionRetries: 1,
  286. maxOverflowRetries: 1,
  287. modelPolicies: [],
  288. auto: true,
  289. })
  290. expect(Object.isFrozen(resolved)).toBe(true)
  291. })
  292. it('resolves threshold and retention overrides independently', () => {
  293. const thresholdOnly = resolveConfig({
  294. thresholdRatio: 0.5,
  295. })
  296. expect(thresholdOnly).toMatchObject({
  297. thresholdRatio: 0.5,
  298. retainRatio: 0.16,
  299. })
  300. const retentionOnly = resolveConfig({
  301. retainTokens: 70,
  302. })
  303. expect(retentionOnly).toMatchObject({
  304. thresholdRatio: 0.8,
  305. retainTokens: 70,
  306. })
  307. expect(retentionOnly).not.toHaveProperty('retainRatio')
  308. })
  309. it('merges exact provider/model policy overrides and scales ratios per model', () => {
  310. const config = resolveConfig({
  311. thresholdRatio: 0.8,
  312. retainRatio: 0.1,
  313. modelPolicies: [{
  314. provider: 'small-provider',
  315. model: 'shared-id',
  316. thresholdRatio: 0.5,
  317. retainTokens: 120,
  318. }],
  319. })
  320. const small = resolveTargetPolicy(config, {
  321. provider: 'small-provider',
  322. model: 'shared-id',
  323. })
  324. const otherProvider = resolveTargetPolicy(config, {
  325. provider: 'large-provider',
  326. model: 'shared-id',
  327. })
  328. expect(resolveCompactSpec(small, 1_000)).toMatchObject({
  329. thresholdTokens: 500,
  330. retainTokens: 120,
  331. })
  332. expect(resolveCompactSpec(otherProvider, 2_000)).toMatchObject({
  333. thresholdTokens: 1_600,
  334. retainTokens: 200,
  335. })
  336. const ratioOverride = resolveTargetPolicy(resolveConfig({
  337. retainTokens: 200,
  338. modelPolicies: [{
  339. provider: 'ratio-provider',
  340. model: 'ratio-model',
  341. thresholdRatio: 0.6,
  342. retainRatio: 0.2,
  343. summarizationProvider: 'summary-provider',
  344. summarizationModel: 'summary-model',
  345. maxTokens: 512,
  346. compactionRetries: 2,
  347. maxOverflowRetries: 3,
  348. }],
  349. }), { provider: 'ratio-provider', model: 'ratio-model' })
  350. expect(resolveCompactSpec(ratioOverride, 2_000)).toMatchObject({
  351. thresholdTokens: 1_200,
  352. retainTokens: 400,
  353. summarizationProvider: 'summary-provider',
  354. summarizationModel: 'summary-model',
  355. maxTokens: 512,
  356. compactionRetries: 2,
  357. maxOverflowRetries: 3,
  358. })
  359. })
  360. it('inherits, clears, and replaces the summarization target as a pair', () => {
  361. const config = resolveConfig({
  362. summarizationProvider: 'default-provider',
  363. summarizationModel: 'default-model',
  364. modelPolicies: [
  365. { provider: 'inherit-provider', model: MODEL },
  366. {
  367. provider: 'clear-provider',
  368. model: MODEL,
  369. summarizationProvider: '',
  370. summarizationModel: '',
  371. },
  372. {
  373. provider: 'replace-provider',
  374. model: MODEL,
  375. summarizationProvider: 'replacement-provider',
  376. summarizationModel: 'replacement-model',
  377. },
  378. ],
  379. })
  380. expect(resolveTargetPolicy(config, { provider: 'inherit-provider', model: MODEL }))
  381. .toMatchObject({
  382. summarizationProvider: 'default-provider',
  383. summarizationModel: 'default-model',
  384. })
  385. expect(resolveTargetPolicy(config, { provider: 'clear-provider', model: MODEL }))
  386. .toMatchObject({ summarizationProvider: '', summarizationModel: '' })
  387. expect(resolveTargetPolicy(config, { provider: 'replace-provider', model: MODEL }))
  388. .toMatchObject({
  389. summarizationProvider: 'replacement-provider',
  390. summarizationModel: 'replacement-model',
  391. })
  392. })
  393. it('validates common values and pressure-policy invariants', () => {
  394. const bad = [
  395. [{ maxTokens: 0 }, /maxTokens/],
  396. [{ compactionRetries: -1 }, /compactionRetries/],
  397. [{ maxOverflowRetries: -1 }, /maxOverflowRetries/],
  398. [{ auto: 'yes' }, /auto must be a boolean/],
  399. [{ summarizationProvider: 1 }, /summarizationProvider must be a string/],
  400. [{ summarizationModel: 1 }, /summarizationModel must be a string/],
  401. [{ summarizationProvider: MODEL }, /must be set together/],
  402. [{ summarizationModel: MODEL }, /must be set together/],
  403. [{ summarizationProvider: '' }, /must be set together/],
  404. [{ summarizationModel: '' }, /must be set together/],
  405. [{ thresholdRatio: 0 }, /number in \(0, 1\]/],
  406. [{ thresholdRatio: 1.1 }, /number in \(0, 1\]/],
  407. [{ retainRatio: 0.9 }, /retainRatio \(0.9\) must be less than the resolved thresholdRatio \(0.8\)/],
  408. [{ thresholdRatio: 0.1 }, /retainRatio \(0.16\) must be less than the resolved thresholdRatio \(0.1\)/],
  409. [{ retainTokens: -1 }, /non-negative integer/],
  410. [{ retainRatio: 0.2, retainTokens: 100 }, /mutually exclusive/],
  411. [{ modelPolicies: {} }, /modelPolicies must be an array/],
  412. [{ modelPolicies: [1] }, /modelPolicies\[0\] must be an object/],
  413. [{ modelPolicies: [null] }, /modelPolicies\[0\] must be an object/],
  414. [{ modelPolicies: [[]] }, /modelPolicies\[0\] must be an object/],
  415. [{ modelPolicies: [{ provider: 1, model: MODEL }] }, /provider must be a non-empty string/],
  416. [{ modelPolicies: [{ provider: '', model: MODEL }] }, /provider must be a non-empty string/],
  417. [{ modelPolicies: [{ provider: MODEL, model: 1 }] }, /model must be a non-empty string/],
  418. [{ modelPolicies: [{ provider: MODEL, model: '' }] }, /model must be a non-empty string/],
  419. [{ modelPolicies: [{ provider: MODEL, model: MODEL, summarizationProvider: 1 }] }, /summarizationProvider must be a string/],
  420. [{
  421. summarizationProvider: 'default-provider',
  422. summarizationModel: 'default-model',
  423. modelPolicies: [{ provider: MODEL, model: MODEL, summarizationModel: '' }],
  424. }, /modelPolicies\[0\].*must be set together/],
  425. [{
  426. summarizationProvider: 'default-provider',
  427. summarizationModel: 'default-model',
  428. modelPolicies: [{ provider: MODEL, model: MODEL, summarizationProvider: '' }],
  429. }, /modelPolicies\[0\].*must be set together/],
  430. [{ modelPolicies: [{ provider: MODEL, model: MODEL, retainRatio: 0.2, retainTokens: 100 }] }, /mutually exclusive/],
  431. [
  432. { modelPolicies: [{ provider: MODEL, model: MODEL, thresholdRatio: 0.1 }] },
  433. /modelPolicies\[0\]: retainRatio \(0.16\).*thresholdRatio \(0.1\)/,
  434. ],
  435. [
  436. { modelPolicies: [{ provider: MODEL, model: MODEL, retainRatio: 0.9 }] },
  437. /modelPolicies\[0\]: retainRatio \(0.9\).*thresholdRatio \(0.8\)/,
  438. ],
  439. [{ modelPolicies: [{ provider: MODEL, model: MODEL }, { provider: MODEL, model: MODEL }] }, /duplicate model policy/],
  440. [{ models: { [MODEL]: { retainTokens: 10 } } }, /BasicCompactionConfig: unknown key "models"/],
  441. [{ thresholdRato: 0.5 }, /BasicCompactionConfig: unknown key "thresholdRato"/],
  442. ] as Array<[unknown, RegExp]>
  443. for (const [config, pattern] of bad) {
  444. expect(() => resolveConfig(config as BasicCompactionConfig)).toThrow(pattern)
  445. }
  446. const invalidPressure = resolveTargetPolicy(resolveConfig({
  447. thresholdRatio: 0.5,
  448. retainTokens: 500,
  449. }), { provider: MODEL, model: MODEL })
  450. expect(() => resolveCompactSpec(invalidPressure, 1_000)).toThrow(/less than threshold/)
  451. expect(() => resolveCompactSpec(invalidPressure, 1.5)).toThrow(/positive integer/)
  452. expect(() => resolveCompactSpec(invalidPressure, 0)).toThrow(/positive integer/)
  453. })
  454. })
  455. describe('pressure measurement and retention', () => {
  456. const compactConfig: BasicCompactionConfig = {
  457. auto: false,
  458. thresholdRatio: 0.5,
  459. retainTokens: 180,
  460. }
  461. it('skips when no durable routed model exists instead of using AgentOptions fallback', async () => {
  462. const compact = service(compactConfig)
  463. const session = Session.create(SessionId('headerless'))
  464. session.append('turn/start', { turn: 1 })
  465. await expect(compact.compactIfNeeded(agent(session, MODEL), 'pressure', SIGNAL))
  466. .resolves.toBeNull()
  467. expect(compact.calls).toHaveLength(0)
  468. })
  469. it('meters an unlisted model when its provider adapter supplies context metadata', async () => {
  470. const compact = service(compactConfig)
  471. const session = conversation()
  472. session.append('request/header', {
  473. header: { config: { provider: 'unlisted-provider', model: 'unlisted-model' } },
  474. reason: 'resume',
  475. })
  476. await expect(compactIfNeeded(compact, session))
  477. .resolves.not.toBeNull()
  478. })
  479. it('forwards turn cancellation to proactive model metadata resolution', async () => {
  480. const ctx = createContext()
  481. const resolveModelInfo = vi.spyOn(ctx.llm, 'resolveModelInfo')
  482. const compact = service(compactConfig, ctx)
  483. const session = conversation()
  484. const signal = new AbortController().signal
  485. await expect(compact.compactIfNeeded(agent(session, MODEL), 'pressure', signal))
  486. .resolves.not.toBeNull()
  487. expect(resolveModelInfo).toHaveBeenCalledWith(MODEL, MODEL, signal)
  488. })
  489. it('re-resolves capacity after a same-model-id provider switch in one session', async () => {
  490. const ctx = new Context()
  491. void new LlmRuntime(ctx)
  492. new SessionProjectionRegistry(ctx)
  493. void new TokenMeter(ctx)
  494. ctx.llm.registerAdapter(['large', 'small'], new RoutedContextAdapter({
  495. large: 10_000,
  496. small: 1_000,
  497. }))
  498. const compact = service({
  499. auto: false,
  500. thresholdRatio: 0.5,
  501. retainRatio: 0.1,
  502. }, ctx)
  503. const session = conversation(4)
  504. session.append('request/header', {
  505. header: { config: { provider: 'large', model: 'shared-id' } },
  506. reason: 'resume',
  507. })
  508. await expect(compactIfNeeded(compact, session)).resolves.toBeNull()
  509. session.append('request/header', {
  510. header: { config: { provider: 'small', model: 'shared-id' } },
  511. reason: 'change',
  512. })
  513. await expect(compactIfNeeded(compact, session)).resolves.not.toBeNull()
  514. })
  515. it('requires capacity only for proactive pressure, not provider-confirmed overflow', async () => {
  516. const ctx = new Context()
  517. void new LlmRuntime(ctx)
  518. new SessionProjectionRegistry(ctx)
  519. void new TokenMeter(ctx)
  520. ctx.llm.registerAdapter(['unknown-context'], new ContextAdapter(1_000))
  521. vi.spyOn(ctx.llm, 'resolveModelInfo').mockImplementation((provider, model) => Promise.resolve({
  522. provider,
  523. id: model,
  524. name: model,
  525. }))
  526. const compact = service(compactConfig, ctx)
  527. const session = conversation(4)
  528. session.append('request/header', {
  529. header: { config: { provider: 'unknown-context', model: 'model' } },
  530. reason: 'resume',
  531. })
  532. await expect(compactIfNeeded(compact, session, 'pressure'))
  533. .rejects.toThrow(/no context capacity for unknown-context\/model/)
  534. await expect(compactIfNeeded(compact, session, 'context-overflow'))
  535. .resolves.not.toBeNull()
  536. })
  537. it('declines forced overflow when the whole surface is one indivisible tool pair', async () => {
  538. const compact = service(compactConfig)
  539. const session = Session.create(SessionId('single-tool-pair'))
  540. const callId = ToolCallId('single-call')
  541. session.append('turn/start', { turn: 1 })
  542. session.append('step/start', { turn: 1, step: 1 })
  543. session.append('request/header', {
  544. header: { config: { provider: MODEL, model: MODEL } },
  545. reason: 'initial',
  546. })
  547. session.append('assistant/message', {
  548. stream: [],
  549. turn: 1,
  550. step: 1,
  551. message: createMessage({
  552. role: 'assistant',
  553. content: [{ type: 'tool-call', id: callId, name: 'read', arguments: '{}' }],
  554. source: {
  555. kind: 'model',
  556. ...{ provider: MODEL, model: MODEL },
  557. },
  558. }),
  559. }, { surfaceOp: 'append' })
  560. session.append('tool/call', { turn: 1, step: 1, callId, name: 'read', arguments: '{}' })
  561. session.append('tool/result', {
  562. turn: 1,
  563. step: 1,
  564. message: createToolResultMessage({
  565. callId,
  566. content: [{ type: 'text', text: 'result' }],
  567. isError: false,
  568. }),
  569. }, { surfaceOp: 'append' })
  570. session.append('step/end', { turn: 1, step: 1 })
  571. const generation = session.surface.replaceGeneration
  572. await expect(compactIfNeeded(compact, session, 'context-overflow')).resolves.toBeNull()
  573. expect(session.surface.replaceGeneration).toBe(generation)
  574. expect(session.snapshotEvents().some(event => event.type === 'compaction/start')).toBe(false)
  575. })
  576. it('does nothing below threshold and compacts a priced head above threshold', async () => {
  577. const compact = service(compactConfig)
  578. expect(await compactIfNeeded(compact, conversation(2))).toBeNull()
  579. const session = conversation(4)
  580. const result = await compactIfNeeded(compact, session)
  581. expect(result).not.toBeNull()
  582. expect(result?.shadowedSeqs.length).toBeGreaterThan(2)
  583. expect(session.surface.nodes.length).toBeLessThan(8)
  584. })
  585. it('counts the durable routed request envelope without putting it on the surface', async () => {
  586. const compact = service({
  587. auto: false,
  588. thresholdRatio: 0.9,
  589. retainTokens: 50,
  590. })
  591. const session = conversation(2, 'x'.repeat(600))
  592. expect(await compactIfNeeded(compact, session)).toBeNull()
  593. session.append('request/header', {
  594. header: {
  595. config: { provider: MODEL, model: MODEL },
  596. system: 's'.repeat(2_000),
  597. },
  598. reason: 'resume',
  599. })
  600. const result = await compactIfNeeded(compact, session)
  601. expect(result).not.toBeNull()
  602. })
  603. it('uses the latest logged request envelope without an AgentOptions override', async () => {
  604. const ctx = createContext()
  605. const compact = service({
  606. auto: false,
  607. thresholdRatio: 0.5,
  608. retainTokens: 180,
  609. }, ctx)
  610. const session = conversation(4)
  611. session.append('request/header', {
  612. header: { config: { provider: 'actual', model: 'actual' } },
  613. reason: 'initial',
  614. })
  615. const measure = vi.spyOn(ctx.tokenMeter, 'measure')
  616. const result = await compactIfNeeded(compact, session, 'pressure', 'fallback')
  617. expect(result).not.toBeNull()
  618. expect(session.requestHeader()?.config.model).toBe('actual')
  619. expect(measure.mock.calls[0]).toEqual([session])
  620. })
  621. it('declines when envelope pressure is high but the surface has no compactable range', async () => {
  622. const compact = service(compactConfig)
  623. const empty = Session.create(SessionId('empty'))
  624. empty.append('turn/start', { turn: 1 })
  625. empty.append('request/header', {
  626. header: { config: { provider: MODEL, model: MODEL }, system: 'x'.repeat(100_000) },
  627. reason: 'initial',
  628. })
  629. expect(await compactIfNeeded(compact, empty)).toBeNull()
  630. const retained = conversation(1)
  631. retained.append('request/header', {
  632. header: { config: { provider: MODEL, model: MODEL }, system: 'x'.repeat(100_000) },
  633. reason: 'resume',
  634. })
  635. expect(await compactIfNeeded(compact, retained)).toBeNull()
  636. })
  637. it('uses one unified measurement for each pressure-and-retention decision', async () => {
  638. const ctx = createContext()
  639. const compact = service(compactConfig, ctx)
  640. const measure = vi.spyOn(ctx.tokenMeter, 'measure')
  641. const stop = new Error('stop after first decision')
  642. vi.spyOn(compact, 'compactRegion').mockRejectedValueOnce(stop)
  643. await expect(compactIfNeeded(compact, conversation(4))).rejects.toBe(stop)
  644. expect(measure).toHaveBeenCalledTimes(1)
  645. })
  646. it('bounds retries when a shrinking checkpoint remains above threshold', async () => {
  647. const compact = service({
  648. auto: false,
  649. compactionRetries: 0,
  650. thresholdRatio: 0.3,
  651. retainTokens: 180,
  652. })
  653. compact.summary = Array.from({ length: 7 }, (_, index) => ({
  654. type: 'text',
  655. text: `summary ${index}`,
  656. }))
  657. await expect(compactIfNeeded(compact, conversation(4)))
  658. .rejects.toThrow(/still above threshold after 1 compaction attempts/)
  659. })
  660. it('rounds a retention cut head-ward to preserve tool-call/result pairing', async () => {
  661. const compact = service({
  662. auto: false,
  663. thresholdRatio: 0.8,
  664. retainTokens: 80,
  665. }, createContext(4_000))
  666. const session = toolConversation()
  667. const result = await compactIfNeeded(compact, session)
  668. expect(result).not.toBeNull()
  669. const messages = session.deriveMessages()
  670. const calls = new Set<string>()
  671. for (const message of messages) {
  672. for (const block of message.content) {
  673. if (block.type === 'tool-call') calls.add(block.id)
  674. if (block.type === 'tool-result') expect(calls.has(block.toolCallId)).toBe(true)
  675. }
  676. }
  677. })
  678. it('rejects a priced surface that is not the current positional surface', () => {
  679. const ctx = createContext()
  680. const session = conversation(2)
  681. const priced = ctx.tokenMeter.measure(session)
  682. expect(() => selectCompactableRange(session, {
  683. ...priced,
  684. nodes: priced.nodes.slice(1),
  685. }, 1)).toThrow(/does not match/)
  686. })
  687. it('declines when rounding a cut would consume the only tool pair', () => {
  688. const ctx = createContext()
  689. const session = Session.create(SessionId('one-tool-pair'))
  690. const callId = ToolCallId('only')
  691. session.append('turn/start', { turn: 1 })
  692. session.append('step/start', { turn: 1, step: 1 })
  693. session.append('assistant/message', {
  694. stream: [],
  695. turn: 1,
  696. step: 1,
  697. message: createMessage({
  698. role: 'assistant',
  699. content: [{ type: 'tool-call', id: callId, name: 'read', arguments: '{}' }],
  700. source: {
  701. kind: 'model',
  702. ...{ provider: MODEL, model: MODEL },
  703. },
  704. }),
  705. }, { surfaceOp: 'append' })
  706. session.append('tool/call', { turn: 1, step: 1, callId, name: 'read', arguments: '{}' })
  707. session.append('tool/result', {
  708. turn: 1,
  709. step: 1,
  710. message: createToolResultMessage({
  711. callId,
  712. content: [{ type: 'text', text: 'result' }],
  713. isError: false,
  714. }),
  715. }, { surfaceOp: 'append' })
  716. session.append('step/end', { turn: 1, step: 1 })
  717. const priced = ctx.tokenMeter.measure(session)
  718. expect(selectCompactableRange(session, priced, 1)).toBeNull()
  719. })
  720. })
  721. describe('optional model-free tool-result pruning', () => {
  722. const pruneConfig = { thresholdChars: 100, headChars: 20, tailChars: 10 }
  723. it('does not prune a below-pressure session opportunistically', async () => {
  724. const ctx = createContext(10_000)
  725. const prune = new ToolResultPruner(ctx, pruneConfig)
  726. const compact = new TestCompactionEngine(ctx, {
  727. auto: false,
  728. thresholdRatio: 0.8,
  729. retainTokens: 100,
  730. })
  731. const session = oversizedToolResult()
  732. const pruneSession = vi.spyOn(prune, 'pruneSession')
  733. expect(await compactIfNeeded(compact, session)).toBeNull()
  734. expect(pruneSession).not.toHaveBeenCalled()
  735. expect(compact.calls).toHaveLength(0)
  736. expect(session.surface.replaceGeneration).toBe(0)
  737. })
  738. it('skips LLM summarization when pruning alone clears pressure', async () => {
  739. const ctx = createContext(1_000)
  740. void new ToolResultPruner(ctx, pruneConfig)
  741. const compact = new TestCompactionEngine(ctx, {
  742. auto: false,
  743. thresholdRatio: 0.5,
  744. retainTokens: 50,
  745. })
  746. const session = oversizedToolResult()
  747. expect(ctx.tokenMeter.measure(session).totalTokens).toBeGreaterThanOrEqual(500)
  748. expect(await compactIfNeeded(compact, session)).toBeNull()
  749. expect(ctx.tokenMeter.measure(session).totalTokens).toBeLessThan(500)
  750. expect(compact.calls).toHaveLength(0)
  751. expect(session.surface.replaceGeneration).toBe(1)
  752. })
  753. it('summarizes the pruned surface when pruning is insufficient', async () => {
  754. const ctx = createContext(2_000)
  755. void new ToolResultPruner(ctx, pruneConfig)
  756. const compact = new TestCompactionEngine(ctx, {
  757. auto: false,
  758. thresholdRatio: 0.5,
  759. retainTokens: 50,
  760. })
  761. const session = toolConversation()
  762. expect(await compactIfNeeded(compact, session)).not.toBeNull()
  763. expect(compact.calls).toHaveLength(1)
  764. expect(summarizedText(compact.calls[0]!.input)).toContain('tool result middle pruned')
  765. expect(summarizedText(compact.calls[0]!.input)).not.toContain('result 1 '.repeat(300))
  766. })
  767. it('retains the original compaction-basic behavior without the optional plugin', async () => {
  768. const ctx = createContext(2_000)
  769. const compact = new TestCompactionEngine(ctx, {
  770. auto: false,
  771. thresholdRatio: 0.5,
  772. retainTokens: 50,
  773. })
  774. const session = oversizedToolResult(3_000, true)
  775. expect(await compactIfNeeded(compact, session)).not.toBeNull()
  776. expect(compact.calls).toHaveLength(1)
  777. const original = session.snapshotEvents().find(event => event.type === 'tool/result')
  778. expect(original?.type === 'tool/result' && original.data.message.content[0].content[0])
  779. .toEqual({ type: 'text', text: 'X'.repeat(3_000) })
  780. expect(session.snapshotEvents().filter(event =>
  781. event.type === 'tool/result' && event.surfaceOp !== 'append')).toHaveLength(0)
  782. })
  783. })
  784. describe('compaction region transaction', () => {
  785. it('lands a framed, replayable checkpoint with exact source seqs and token price', async () => {
  786. const compact = service()
  787. compact.rawOutput = [
  788. { type: 'reasoning', text: 'private compact thought' },
  789. ...compact.summary,
  790. ]
  791. compact.usage = { inputTokens: 40, outputTokens: 5 }
  792. const session = conversation(3)
  793. const before = [...session.surface.nodes]
  794. const result = await compact.compactRegion(
  795. before[0]!,
  796. before[3]!,
  797. agent(session, MODEL),
  798. SIGNAL,
  799. )
  800. expect(result.shadowedSeqs).toEqual(before.slice(0, 4))
  801. expect(result.shadowedTokenCount).toBeGreaterThan(0)
  802. expect(compact.calls[0]).toMatchObject({ signal: SIGNAL })
  803. expect(summarizedText(compact.calls[0]!.input)).toContain('fixture user 1')
  804. const summary = session.snapshotEvents().findLast(event => event.type === 'compaction/summary')
  805. expect(summary?.data).toMatchObject({
  806. shadowedSeqs: result.shadowedSeqs,
  807. shadowedTokenCount: result.shadowedTokenCount,
  808. provider: 'summary-provider',
  809. model: 'summary-model',
  810. maxTokens: 123,
  811. rawOutput: compact.rawOutput,
  812. usage: compact.usage,
  813. })
  814. expect(summary?.data).not.toHaveProperty('llmStreamCall')
  815. const head = session.deriveMessages()[0]!
  816. expect(head.content[0]?.type).toBe('text')
  817. expect(head.content[0]?.type === 'text' ? head.content[0].text : '').toContain('<compacted-summary>')
  818. expect(head.content.at(-1)).toEqual({ type: 'text', text: '</compacted-summary>' })
  819. const replay = Session.create(SessionId('replay'), session.snapshotEvents())
  820. expect(replay.deriveMessages()).toEqual(session.deriveMessages())
  821. })
  822. it('replays the latest routed header so the summarizer reuses the cache', async () => {
  823. const compact = service()
  824. const session = conversation(3)
  825. const tools = [{ name: 'do_thing', description: 'd', parameters: { type: 'object' } }]
  826. session.append('request/header', {
  827. header: { config: { provider: MODEL, model: MODEL }, system: 'CONVERSATION SYSTEM', tools },
  828. reason: 'resume',
  829. })
  830. const nodes = session.surface.nodes
  831. await compact.compactRegion(nodes[0]!, nodes[1]!, agent(session, MODEL), SIGNAL)
  832. const { input } = compact.calls[0]!
  833. expect(input.system).toBe('CONVERSATION SYSTEM')
  834. expect(input.tools).toEqual(tools)
  835. expect(summarizedText(input)).toContain('fixture user 1')
  836. })
  837. it.each([
  838. ['start missing', 9_001, undefined, /start seq 9001 not found/],
  839. ['end missing', undefined, 9_002, /end seq 9002 not found/],
  840. ])('rejects %s', async (_label, startOverride, endOverride, pattern) => {
  841. const compact = service()
  842. const session = conversation(2)
  843. const nodes = session.surface.nodes
  844. await expect(compact.compactRegion(
  845. startOverride === undefined ? nodes[0]! : SessionSeq(startOverride),
  846. endOverride === undefined ? nodes[1]! : SessionSeq(endOverride),
  847. agent(session, MODEL),
  848. )).rejects.toThrow(pattern)
  849. })
  850. it('rejects reversed and tool-unbalanced positional boundaries', async () => {
  851. const compact = service()
  852. const plain = conversation(2)
  853. const nodes = plain.surface.nodes
  854. await expect(compact.compactRegion(
  855. nodes[2]!,
  856. nodes[1]!,
  857. agent(plain, MODEL),
  858. )).rejects.toThrow(/is after end/)
  859. const tools = toolConversation()
  860. const toolNodes = tools.surface.nodes
  861. await expect(compact.compactRegion(
  862. toolNodes[2]!,
  863. toolNodes[4]!,
  864. agent(tools, MODEL),
  865. )).rejects.toThrow(/start seq .* not a balanced boundary/)
  866. await expect(compact.compactRegion(
  867. toolNodes[0]!,
  868. toolNodes[1]!,
  869. agent(tools, MODEL),
  870. )).rejects.toThrow(/end seq .* not a balanced boundary/)
  871. })
  872. it('requires an open turn and an idle compaction bracket', async () => {
  873. const compact = service()
  874. const closed = conversation(1)
  875. closed.append('turn/end', { turn: 2, reason: { kind: 'completed' } })
  876. const nodes = closed.surface.nodes
  877. await expect(compact.compactRegion(
  878. nodes[0]!,
  879. nodes[1]!,
  880. agent(closed, MODEL),
  881. )).rejects.toThrow(/no open turn/)
  882. const locked = conversation(1)
  883. locked.append('compaction/start', {
  884. compactionId: CompactionId('locked-compaction'),
  885. turn: 2,
  886. })
  887. const lockedNodes = locked.surface.nodes
  888. await expect(compact.compactRegion(
  889. lockedNodes[0]!,
  890. lockedNodes[1]!,
  891. agent(locked, MODEL),
  892. )).rejects.toThrow(/already in progress/)
  893. })
  894. it('rejects a session with no turn boundary at all', async () => {
  895. const compact = service()
  896. const session = Session.create(SessionId('turnless'))
  897. session.append('user/message', createUserMessage({
  898. content: [{ type: 'text', text: 'orphan' }],
  899. source: { kind: 'user' },
  900. }), { surfaceOp: 'append' })
  901. const node = session.surface.nodes[0]!
  902. await expect(compact.compactRegion(
  903. node,
  904. node,
  905. agent(session, MODEL),
  906. )).rejects.toThrow(/no open turn/)
  907. })
  908. it('rejects a meter snapshot that changed before summarization began', async () => {
  909. const ctx = createContext()
  910. const meter = ctx.tokenMeter
  911. const original = meter.measure.bind(meter)
  912. vi.spyOn(meter, 'measure').mockImplementationOnce((session) => {
  913. const measurement = original(session)
  914. return { ...measurement, nodes: measurement.nodes.slice(1) }
  915. })
  916. const compact = service({ auto: false }, ctx)
  917. const session = conversation(2)
  918. const nodes = session.surface.nodes
  919. await expect(compact.compactRegion(
  920. nodes[0]!,
  921. nodes[2]!,
  922. agent(session, MODEL),
  923. )).rejects.toThrow(/selected surface changed/)
  924. })
  925. it('records summarizer failures without mutating the surface', async () => {
  926. const compact = service()
  927. compact.error = new Error('summary unavailable')
  928. const session = conversation(2)
  929. const before = session.surface.nodes
  930. await expect(compact.compactRegion(
  931. before[0]!,
  932. before[2]!,
  933. agent(session, MODEL),
  934. )).rejects.toThrow('summary unavailable')
  935. expect(session.surface.nodes).toEqual(before)
  936. expect(session.snapshotEvents().findLast(event => event.type === 'compaction/end')?.data)
  937. .toMatchObject({ error: 'summary unavailable' })
  938. })
  939. it('stringifies non-Error failures in the durable end bracket', async () => {
  940. const compact = service()
  941. compact.error = 'plain failure'
  942. const session = conversation(2)
  943. const nodes = session.surface.nodes
  944. await expect(compact.compactRegion(
  945. nodes[0]!,
  946. nodes[2]!,
  947. agent(session, MODEL),
  948. )).rejects.toBe('plain failure')
  949. expect(session.snapshotEvents().findLast(event => event.type === 'compaction/end')?.data)
  950. .toMatchObject({ error: 'plain failure' })
  951. })
  952. it('tolerates concurrent log-only appends while the selected surface is stable', async () => {
  953. const compact = service()
  954. const session = conversation(2)
  955. compact.mutateDuringSummary = () => {
  956. session.append('request/header', {
  957. header: { config: { provider: MODEL, model: MODEL } },
  958. reason: 'change',
  959. })
  960. }
  961. const nodes = session.surface.nodes
  962. await expect(compact.compactRegion(
  963. nodes[0]!,
  964. nodes[2]!,
  965. agent(session, MODEL),
  966. )).resolves.toMatchObject({ shadowedSeqs: nodes.slice(0, 3) })
  967. expect(session.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(true)
  968. })
  969. it('rejects concurrent surface appends before committing the replacement', async () => {
  970. const compact = service()
  971. const session = conversation(2)
  972. compact.mutateDuringSummary = () => {
  973. session.append('user/message', createUserMessage({
  974. content: [{ type: 'text', text: 'concurrent surface mutation' }],
  975. source: { kind: 'plugin', plugin: 'test' },
  976. }), { surfaceOp: 'append' })
  977. }
  978. const nodes = session.surface.nodes
  979. await expect(compact.compactRegion(
  980. nodes[0]!,
  981. nodes[2]!,
  982. agent(session, MODEL),
  983. )).rejects.toThrow(/session surface changed/)
  984. expect(session.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(false)
  985. })
  986. it('rejects a non-shrinking framed summary under the conversation meter', async () => {
  987. const compact = service()
  988. compact.summary = Array.from({ length: 100 }, (_, index) => ({
  989. type: 'text',
  990. text: `verbose ${index}`,
  991. }))
  992. const session = conversation(2)
  993. const nodes = session.surface.nodes
  994. await expect(compact.compactRegion(
  995. nodes[0]!,
  996. nodes[2]!,
  997. agent(session, MODEL),
  998. )).rejects.toThrow(/summary is not smaller/)
  999. expect(session.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(false)
  1000. })
  1001. it('lets a model-independent custom summarizer compact without a conversation model', async () => {
  1002. const compact = service()
  1003. const session = Session.create(SessionId('model-less-region'))
  1004. session.append('turn/start', { turn: 1 })
  1005. session.append('user/message', createUserMessage({
  1006. content: [{ type: 'text', text: 'history '.repeat(100) }],
  1007. source: { kind: 'user' },
  1008. }), { surfaceOp: 'append' })
  1009. session.append('step/start', { turn: 1, step: 1 })
  1010. session.append('assistant/message', {
  1011. stream: [],
  1012. turn: 1,
  1013. step: 1,
  1014. message: createMessage({
  1015. role: 'assistant',
  1016. content: [{ type: 'text', text: 'answer '.repeat(100) }],
  1017. source: {
  1018. kind: 'model',
  1019. ...{ provider: 'historical', model: 'historical' },
  1020. },
  1021. }),
  1022. }, { surfaceOp: 'append' })
  1023. session.append('step/end', { turn: 1, step: 1 })
  1024. const nodes = session.surface.nodes
  1025. await expect(compact.compactRegion(
  1026. nodes[0]!,
  1027. nodes[1]!,
  1028. agent(session),
  1029. )).resolves.toMatchObject({ shadowedSeqs: [nodes[0]!, nodes[1]!] })
  1030. })
  1031. })
  1032. class ScriptedAdapter extends LlmAdapter {
  1033. lastOptions: GenerateOptions | undefined
  1034. usage: TokenUsage | undefined
  1035. constructor(
  1036. private readonly blocks: readonly ContentBlock[],
  1037. private readonly finish: (StreamChunk & { type: 'finish' })['reason'] = { kind: 'stop' },
  1038. ) {
  1039. super()
  1040. }
  1041. override async * stream(options: GenerateOptions): AsyncIterable<StreamChunk> {
  1042. this.lastOptions = options
  1043. for (const [index, block] of this.blocks.entries()) {
  1044. yield { type: 'block-start', index, blockType: block.type }
  1045. if (block.type === 'text') {
  1046. yield { type: 'text-delta', index, text: block.text }
  1047. } else if (block.type === 'reasoning') {
  1048. yield { type: 'reasoning-delta', index, text: block.text }
  1049. } else {
  1050. yield { type: 'block-end', index, block }
  1051. }
  1052. }
  1053. if (this.usage !== undefined) yield { type: 'usage', usage: this.usage }
  1054. yield { type: 'finish', reason: this.finish }
  1055. }
  1056. }
  1057. class ExposedCompactionEngine extends BasicCompactionEngine {
  1058. runSummarize(
  1059. input: SummarizationInput,
  1060. owner: Agent,
  1061. signal?: AbortSignal,
  1062. ): Promise<{
  1063. summary: ContentBlock[]
  1064. rawOutput?: ContentBlock[]
  1065. provider: string
  1066. model: string
  1067. maxTokens?: number
  1068. usage?: TokenUsage
  1069. }> {
  1070. return this.summarize(input, owner, signal)
  1071. }
  1072. }
  1073. async function summarizerHarness(
  1074. blocks: readonly ContentBlock[],
  1075. finish?: (StreamChunk & { type: 'finish' })['reason'],
  1076. model = MODEL,
  1077. config: BasicCompactionConfig = { auto: false },
  1078. ): Promise<{ ctx: Context; adapter: ScriptedAdapter; compact: ExposedCompactionEngine }> {
  1079. const ctx = new Context()
  1080. await ctx.plugin(LlmRuntime)
  1081. await ctx.plugin(SessionProjectionRegistry)
  1082. void new TokenMeter(ctx)
  1083. const adapter = new ScriptedAdapter(blocks, finish)
  1084. ctx.llm.registerAdapter([model], adapter)
  1085. const compact = new ExposedCompactionEngine(ctx, config)
  1086. return { ctx, adapter, compact }
  1087. }
  1088. describe('default one-shot summarizer', () => {
  1089. it('requires complete raw output when a subclass marks one local LLM stream call', () => {
  1090. expectTypeOf<{
  1091. summary: ContentBlock[]
  1092. llmStreamCall: true
  1093. provider: string
  1094. model: string
  1095. }>().not.toExtend<SummaryResult>()
  1096. })
  1097. it('uses configured model/default cap, forwards cancellation, and keeps only safe text', async () => {
  1098. const { adapter, compact } = await summarizerHarness([
  1099. { type: 'reasoning', text: 'private' },
  1100. { type: 'text', text: 'public summary' },
  1101. { type: 'tool-call', id: ToolCallId('unexpected'), name: 'x', arguments: '{}' },
  1102. ], undefined, MODEL, {
  1103. auto: false,
  1104. summarizationProvider: MODEL,
  1105. summarizationModel: MODEL,
  1106. maxTokens: 321,
  1107. })
  1108. const session = conversation(1)
  1109. adapter.usage = { inputTokens: 12, outputTokens: 3 }
  1110. const output = await compact.runSummarize(promptInput('transcript'), agent(session, 'fallback'), SIGNAL)
  1111. expect(output).toEqual({
  1112. summary: [{ type: 'text', text: 'public summary' }],
  1113. rawOutput: [
  1114. { type: 'reasoning', text: 'private' },
  1115. { type: 'text', text: 'public summary' },
  1116. { type: 'tool-call', id: ToolCallId('unexpected'), name: 'x', arguments: '{}' },
  1117. ],
  1118. llmStreamCall: true,
  1119. provider: MODEL,
  1120. model: MODEL,
  1121. maxTokens: 321,
  1122. usage: adapter.usage,
  1123. })
  1124. expect(adapter.lastOptions).toMatchObject({
  1125. provider: MODEL,
  1126. model: MODEL,
  1127. maxTokens: 321,
  1128. signal: SIGNAL,
  1129. sessionId: session.id,
  1130. purpose: 'compaction',
  1131. })
  1132. const instruction = adapter.lastOptions?.messages.at(-1)?.content[0]
  1133. expect(instruction?.type === 'text' ? instruction.text : '').toContain('## Primary Request and Intent')
  1134. })
  1135. it('replays the conversation prefix and appends the instruction as the final message', async () => {
  1136. const { adapter, compact } = await summarizerHarness([{ type: 'text', text: 'summary' }])
  1137. const tools = [{ name: 'do_thing', description: 'd', parameters: { type: 'object' } }]
  1138. const prefix: Message = createUserMessage({
  1139. content: [
  1140. { type: 'text', text: 'earlier turn' },
  1141. {
  1142. type: 'image',
  1143. attachment: {
  1144. attachmentId: AttachmentId(`sha256:${'a'.repeat(64)}`),
  1145. mediaType: 'image/png',
  1146. bytes: 1,
  1147. width: 1,
  1148. height: 1,
  1149. },
  1150. },
  1151. ],
  1152. source: { kind: 'plugin', plugin: 'test' },
  1153. })
  1154. await compact.runSummarize({
  1155. system: 'REPLAYED SYSTEM',
  1156. tools,
  1157. messages: [prefix],
  1158. }, agent(conversation(1), MODEL))
  1159. expect(adapter.lastOptions?.system).toBe('REPLAYED SYSTEM')
  1160. expect(adapter.lastOptions?.tools).toEqual(tools)
  1161. const messages = adapter.lastOptions?.messages ?? []
  1162. expect(messages[0]).toEqual(prefix)
  1163. const last = messages.at(-1)?.content[0]
  1164. const lastText = last?.type === 'text' ? last.text : ''
  1165. expect(lastText).toContain('Write concise English engineering prose.')
  1166. expect(lastText).toContain('numeric values, function signatures, and syntax fragments.')
  1167. expect(lastText).toContain('## Primary Request and Intent')
  1168. })
  1169. it('applies the routed model policy without changing the replayed prefix', async () => {
  1170. const { ctx, compact } = await summarizerHarness(
  1171. [{ type: 'text', text: 'unused default summary' }],
  1172. undefined,
  1173. MODEL,
  1174. {
  1175. auto: false,
  1176. maxTokens: 111,
  1177. modelPolicies: [{
  1178. provider: MODEL,
  1179. model: MODEL,
  1180. summarizationProvider: 'policy-summary',
  1181. summarizationModel: 'policy-summary',
  1182. maxTokens: 222,
  1183. }],
  1184. },
  1185. )
  1186. const policyAdapter = new ScriptedAdapter([{ type: 'text', text: 'policy summary' }])
  1187. ctx.llm.registerAdapter(['policy-summary'], policyAdapter)
  1188. const prefix: Message = createUserMessage({
  1189. content: [{ type: 'text', text: 'warm prefix' }],
  1190. source: { kind: 'plugin', plugin: 'test' },
  1191. })
  1192. const output = await compact.runSummarize({
  1193. system: 'WARM SYSTEM',
  1194. messages: [prefix],
  1195. }, agent(conversation(1), 'fallback'))
  1196. expect(output).toMatchObject({
  1197. provider: 'policy-summary',
  1198. model: 'policy-summary',
  1199. maxTokens: 222,
  1200. })
  1201. expect(policyAdapter.lastOptions).toMatchObject({
  1202. provider: 'policy-summary',
  1203. model: 'policy-summary',
  1204. maxTokens: 222,
  1205. system: 'WARM SYSTEM',
  1206. })
  1207. expect(policyAdapter.lastOptions?.messages[0]).toEqual(prefix)
  1208. })
  1209. it('resolves the latest routed provider/model before the AgentOptions pair', async () => {
  1210. const { adapter, compact } = await summarizerHarness([{ type: 'text', text: 'summary' }], undefined, 'routed')
  1211. const session = conversation(1)
  1212. session.append('request/header', {
  1213. header: { config: { provider: 'routed', model: 'routed' } },
  1214. reason: 'initial',
  1215. })
  1216. const output = await compact.runSummarize(promptInput('history'), agent(session, 'fallback'))
  1217. expect(output.provider).toBe('routed')
  1218. expect(output.model).toBe('routed')
  1219. expect(adapter.lastOptions?.provider).toBe('routed')
  1220. expect(adapter.lastOptions?.model).toBe('routed')
  1221. })
  1222. it('records the model actually dispatched after one-shot stream routing', async () => {
  1223. const { ctx, compact } = await summarizerHarness([{ type: 'text', text: 'unused' }])
  1224. const routedAdapter = new ScriptedAdapter([{ type: 'text', text: 'routed summary' }])
  1225. ctx.llm.registerAdapter(['routed-summary-provider'], routedAdapter)
  1226. ctx.on('llm/stream', (options, next) => {
  1227. options.provider = 'routed-summary-provider'
  1228. options.model = 'routed-summary-model'
  1229. return next()
  1230. })
  1231. const session = conversation(3, 'large history '.repeat(500))
  1232. const nodes = session.surface.nodes
  1233. await compact.compactRegion(nodes[0]!, nodes[3]!, agent(session, MODEL), SIGNAL)
  1234. expect(session.snapshotEvents().findLast(event => event.type === 'compaction/summary')?.data).toMatchObject({
  1235. summary: [{ type: 'text', text: 'routed summary' }],
  1236. llmStreamCall: true,
  1237. provider: 'routed-summary-provider',
  1238. model: 'routed-summary-model',
  1239. })
  1240. expect(routedAdapter.lastOptions?.provider).toBe('routed-summary-provider')
  1241. expect(routedAdapter.lastOptions?.model).toBe('routed-summary-model')
  1242. })
  1243. it('fails clearly when no complete summarization target can be resolved', async () => {
  1244. const ctx = new Context()
  1245. await ctx.plugin(LlmRuntime)
  1246. await ctx.plugin(SessionProjectionRegistry)
  1247. void new TokenMeter(ctx)
  1248. const compact = new ExposedCompactionEngine(ctx, { auto: false })
  1249. await expect(compact.runSummarize(promptInput('history'), agent(Session.create(SessionId('model-less')))))
  1250. .rejects.toThrow(/no provider\/model available for summarization/)
  1251. })
  1252. it('uses a complete AgentOptions target when no durable route exists', async () => {
  1253. const { adapter, compact } = await summarizerHarness([{ type: 'text', text: 'summary' }])
  1254. const session = Session.create(SessionId('headerless-summary'))
  1255. await expect(compact.runSummarize(promptInput('history'), agent(session, MODEL))).resolves.toMatchObject({
  1256. provider: MODEL,
  1257. model: MODEL,
  1258. })
  1259. expect(adapter.lastOptions).toMatchObject({ provider: MODEL, model: MODEL })
  1260. })
  1261. it.each([
  1262. { provider: '', model: MODEL },
  1263. { provider: MODEL },
  1264. { provider: MODEL, model: '' },
  1265. ])('rejects incomplete AgentOptions target %#', async (options) => {
  1266. const { compact } = await summarizerHarness([{ type: 'text', text: 'unused' }])
  1267. const owner = {
  1268. session: Session.create(SessionId(`incomplete-${String(options.model)}`)),
  1269. options,
  1270. } as Agent
  1271. await expect(compact.runSummarize(promptInput('history'), owner))
  1272. .rejects.toThrow(/no provider\/model available for summarization/)
  1273. })
  1274. it.each([
  1275. [{ kind: 'error', failure: { message: 'provider failed', code: 'PROVIDER' } }, 'PROVIDER', /provider failed/],
  1276. [{ kind: 'error', failure: { message: 'opaque', code: 'UNKNOWN' } }, 'UNKNOWN', /opaque/],
  1277. [{ kind: 'aborted', failure: { message: 'summarization aborted', code: 'ABORTED' } }, 'ABORTED', /aborted/],
  1278. [{ kind: 'max-tokens' }, 'MAX_TOKENS', /token cap/],
  1279. ] as Array<[(StreamChunk & { type: 'finish' })['reason'], string | undefined, RegExp]>) (
  1280. 'rejects terminal finish %#',
  1281. async (finish, code, pattern) => {
  1282. const { compact } = await summarizerHarness([], finish)
  1283. let thrown: unknown
  1284. try {
  1285. await compact.runSummarize(promptInput('history'), agent(conversation(1), MODEL))
  1286. } catch (error: unknown) {
  1287. thrown = error
  1288. }
  1289. expect(thrown).toBeInstanceOf(Error)
  1290. expect((thrown as Error).message).toMatch(pattern)
  1291. expect((thrown as Error & { code?: string }).code).toBe(code)
  1292. },
  1293. )
  1294. it('rejects empty or reasoning-only successful output', async () => {
  1295. const { compact } = await summarizerHarness([{ type: 'reasoning', text: 'private' }])
  1296. await expect(compact.runSummarize(promptInput('history'), agent(conversation(1), MODEL)))
  1297. .rejects.toThrow(/no text summary content/)
  1298. })
  1299. it('rejects image summary output instead of silently dropping it', async () => {
  1300. const { compact } = await summarizerHarness([
  1301. {
  1302. type: 'image',
  1303. attachment: {
  1304. attachmentId: AttachmentId(`sha256:${'b'.repeat(64)}`),
  1305. mediaType: 'image/png',
  1306. bytes: 1,
  1307. width: 1,
  1308. height: 1,
  1309. },
  1310. },
  1311. { type: 'text', text: 'partial summary' },
  1312. ])
  1313. await expect(compact.runSummarize(promptInput('history'), agent(conversation(1), MODEL)))
  1314. .rejects.toMatchObject({ code: 'UNSUPPORTED_CONTENT' })
  1315. })
  1316. it('rejects image summary output nested in a tool result', async () => {
  1317. const { compact } = await summarizerHarness([{
  1318. type: 'tool-result',
  1319. toolCallId: ToolCallId('summary-tool'),
  1320. content: [{
  1321. type: 'image',
  1322. attachment: {
  1323. attachmentId: AttachmentId(`sha256:${'c'.repeat(64)}`),
  1324. mediaType: 'image/png',
  1325. bytes: 1,
  1326. width: 1,
  1327. height: 1,
  1328. },
  1329. }],
  1330. }])
  1331. await expect(compact.runSummarize(promptInput('history'), agent(conversation(1), MODEL)))
  1332. .rejects.toMatchObject({ code: 'UNSUPPORTED_CONTENT' })
  1333. })
  1334. })
  1335. describe('automatic listener and loader composition', () => {
  1336. function preStep(ctx: Context, owner: Agent, signal = SIGNAL) {
  1337. return agentEvents(ctx, owner).waterfall(
  1338. 'agent/pre-step', { messages: [], turn: 1, step: 1, signal },
  1339. () => Promise.resolve({ kind: 'enter' as const, messages: [] }),
  1340. )
  1341. }
  1342. function recover(
  1343. ctx: Context,
  1344. owner: Agent,
  1345. error: Error & { code?: string },
  1346. signal = SIGNAL,
  1347. next: () => Promise<RequestErrorAction> = () => Promise.resolve(undefined),
  1348. ): Promise<boolean> {
  1349. const failure: LlmFailure = { message: error.message, code: error.code ?? 'UNKNOWN' }
  1350. const turn = owner.session.snapshotEvents().findLast(event => event.type === 'turn/start')?.data.turn ?? 1
  1351. return agentEvents(ctx, owner).waterfall(
  1352. 'agent/request-error',
  1353. { turn, step: 1, provider: 'test', failure, retryPolicy: undefined, signal },
  1354. next,
  1355. ).then(action => action?.kind === 'retry')
  1356. }
  1357. function overflow(message = 'provider overflow'): Error & { code: string } {
  1358. return Object.assign(new Error(message), { code: CONTEXT_WINDOW_EXCEEDED_CODE })
  1359. }
  1360. it('compacts before a step above threshold using the durable routed model and remains idle below it', async () => {
  1361. const ctx = createContext()
  1362. const compact = new TestCompactionEngine(ctx, {
  1363. thresholdRatio: 0.5,
  1364. retainTokens: 180,
  1365. })
  1366. const pressured = conversation(4)
  1367. await preStep(ctx, agent(pressured, 'unconfigured-agent-fallback'))
  1368. expect(pressured.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(true)
  1369. const small = conversation(1)
  1370. await preStep(ctx, agent(small, MODEL))
  1371. expect(small.snapshotEvents().some(event => event.type === 'compaction/start')).toBe(false)
  1372. expect(compact.calls).toHaveLength(1)
  1373. })
  1374. it('skips pre-step pressure when the step signal is already aborted', async () => {
  1375. const ctx = createContext()
  1376. const compact = new TestCompactionEngine(ctx, {
  1377. thresholdRatio: 0.5,
  1378. retainTokens: 180,
  1379. })
  1380. const pressured = conversation(4)
  1381. const compactIfNeeded = vi.spyOn(compact, 'compactIfNeeded')
  1382. await expect(preStep(ctx, agent(pressured, MODEL), AbortSignal.abort('step aborted')))
  1383. .resolves.toEqual({ kind: 'enter', messages: [] })
  1384. expect(compactIfNeeded).not.toHaveBeenCalled()
  1385. expect(pressured.snapshotEvents().some(event => event.type === 'compaction/start')).toBe(false)
  1386. })
  1387. it('warns and continues after operational failures, including non-Errors', async () => {
  1388. const ctx = createContext()
  1389. const warnings: string[] = []
  1390. ctx.logger.warn = ((message: string) => void warnings.push(message)) as typeof ctx.logger.warn
  1391. const compact = new TestCompactionEngine(ctx, {
  1392. thresholdRatio: 0.5,
  1393. retainTokens: 180,
  1394. })
  1395. compact.error = 'temporary failure'
  1396. const session = conversation(4)
  1397. await expect(preStep(ctx, agent(session, MODEL))).resolves.toEqual({ kind: 'enter', messages: [] })
  1398. expect(warnings).toContainEqual(expect.stringContaining('temporary failure'))
  1399. expect(session.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(false)
  1400. })
  1401. it('warns once per routed target when proactive pressure has no context metadata', async () => {
  1402. const ctx = createContext()
  1403. const warnings: string[] = []
  1404. ctx.logger.warn = ((message: string) => void warnings.push(message)) as typeof ctx.logger.warn
  1405. vi.spyOn(ctx.llm, 'resolveModelInfo').mockImplementation((provider, model) => Promise.resolve({
  1406. provider,
  1407. id: model,
  1408. name: model,
  1409. }))
  1410. void new TestCompactionEngine(ctx, {
  1411. thresholdRatio: 0.5,
  1412. retainTokens: 180,
  1413. })
  1414. const session = conversation(4)
  1415. await preStep(ctx, agent(session, MODEL))
  1416. await preStep(ctx, agent(session, MODEL))
  1417. expect(warnings).toEqual([
  1418. expect.stringContaining(`no context capacity for ${MODEL}/${MODEL}`),
  1419. ])
  1420. })
  1421. it('warns once per routed target when absolute retention exceeds its resolved threshold', async () => {
  1422. const ctx = createContext()
  1423. const warnings: string[] = []
  1424. ctx.logger.warn = ((message: string) => void warnings.push(message)) as typeof ctx.logger.warn
  1425. void new TestCompactionEngine(ctx, {
  1426. thresholdRatio: 0.5,
  1427. retainTokens: 500,
  1428. })
  1429. const session = conversation(4)
  1430. await preStep(ctx, agent(session, MODEL))
  1431. await preStep(ctx, agent(session, MODEL))
  1432. expect(warnings).toEqual([
  1433. expect.stringContaining('retainTokens (500) must be less than threshold tokens 500'),
  1434. ])
  1435. })
  1436. it('force-compacts below normal pressure for canonical overflow and retries only after replacement', async () => {
  1437. const ctx = createContext(10_000)
  1438. void new TestCompactionEngine(ctx, {
  1439. thresholdRatio: 1,
  1440. retainTokens: 900,
  1441. })
  1442. const session = conversation(3)
  1443. const beforeGeneration = session.surface.replaceGeneration
  1444. const retainedSeq = session.surface.nodes.at(-1)!
  1445. const threshold = 10_000
  1446. expect(ctx.tokenMeter.measure(session).totalTokens).toBeLessThan(threshold)
  1447. const decision = await recover(ctx, agent(session, 'unconfigured-agent-fallback'), overflow())
  1448. expect(decision).toBe(true)
  1449. expect(session.surface.replaceGeneration).toBe(beforeGeneration + 1)
  1450. expect(session.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(true)
  1451. expect(session.surface.nodes).toContain(retainedSeq)
  1452. })
  1453. it('authorizes overflow retry when pruning alone advances an indivisible surface', async () => {
  1454. const ctx = createContext(10_000)
  1455. void new ToolResultPruner(ctx, {
  1456. thresholdChars: 100,
  1457. headChars: 20,
  1458. tailChars: 10,
  1459. })
  1460. const compact = new TestCompactionEngine(ctx, {
  1461. thresholdRatio: 1,
  1462. retainTokens: 900,
  1463. })
  1464. const session = oversizedToolResult()
  1465. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(true)
  1466. expect(session.surface.replaceGeneration).toBe(1)
  1467. expect(session.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(false)
  1468. expect(compact.calls).toHaveLength(0)
  1469. })
  1470. it('continues overflow recovery with summarization on the pruned surface', async () => {
  1471. const ctx = createContext(10_000)
  1472. void new ToolResultPruner(ctx, {
  1473. thresholdChars: 100,
  1474. headChars: 20,
  1475. tailChars: 10,
  1476. })
  1477. const compact = new TestCompactionEngine(ctx, {
  1478. thresholdRatio: 1,
  1479. retainTokens: 900,
  1480. })
  1481. const session = toolConversation()
  1482. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(true)
  1483. expect(session.snapshotEvents().some(event => event.type === 'compaction/summary')).toBe(true)
  1484. expect(compact.calls).toHaveLength(1)
  1485. expect(summarizedText(compact.calls[0]!.input)).toContain('tool result middle pruned')
  1486. })
  1487. it('retries from a durable prune when later overflow summarization throws', async () => {
  1488. const ctx = createContext(10_000)
  1489. const warnings: string[] = []
  1490. ctx.logger.warn = ((message: string) => void warnings.push(message)) as typeof ctx.logger.warn
  1491. void new ToolResultPruner(ctx, {
  1492. thresholdChars: 100,
  1493. headChars: 20,
  1494. tailChars: 10,
  1495. })
  1496. const compact = new TestCompactionEngine(ctx, {
  1497. thresholdRatio: 1,
  1498. retainTokens: 900,
  1499. })
  1500. compact.error = new Error('summary unavailable after prune')
  1501. const session = oversizedToolResult(3_000, true)
  1502. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(true)
  1503. expect(session.surface.replaceGeneration).toBe(1)
  1504. expect(session.snapshotEvents().filter(event => event.type === 'tool/result')).toHaveLength(2)
  1505. expect(session.snapshotEvents().findLast(event => event.type === 'compaction/end')?.data)
  1506. .toMatchObject({ error: 'summary unavailable after prune' })
  1507. expect(warnings).toContainEqual(expect.stringContaining('retrying from the replacement surface'))
  1508. })
  1509. it('lets cancellation win when summary throws after a durable prune', async () => {
  1510. const ctx = createContext(10_000)
  1511. const controller = new AbortController()
  1512. void new ToolResultPruner(ctx, {
  1513. thresholdChars: 100,
  1514. headChars: 20,
  1515. tailChars: 10,
  1516. })
  1517. const compact = new TestCompactionEngine(ctx, {
  1518. thresholdRatio: 1,
  1519. retainTokens: 900,
  1520. })
  1521. compact.mutateDuringSummary = () => { controller.abort('cancelled during summary') }
  1522. compact.error = new Error('summary cancelled after prune')
  1523. const session = oversizedToolResult(3_000, true)
  1524. expect(await recover(ctx, agent(session, MODEL), overflow(), controller.signal)).toBe(false)
  1525. expect(session.surface.replaceGeneration).toBe(1)
  1526. })
  1527. it('preserves the newest whole tool-call/result pair during forced overflow compaction', async () => {
  1528. const ctx = createContext()
  1529. void new TestCompactionEngine(ctx, {
  1530. thresholdRatio: 1,
  1531. retainTokens: 90,
  1532. })
  1533. const session = toolConversation()
  1534. const newestAssistant = session.surface.nodes.at(-2)!
  1535. const newestResult = session.surface.nodes.at(-1)!
  1536. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(true)
  1537. const currentAssistant = session.surface.nodes.find(node => node === newestAssistant)
  1538. const currentResult = session.surface.nodes.find(node => node === newestResult)
  1539. expect(currentAssistant).toBeDefined()
  1540. expect(currentResult).toBeDefined()
  1541. expect(toolPairingBalancedBefore(session, currentAssistant!)).toBe(true)
  1542. expect(toolPairingBalancedAfter(session, currentResult!)).toBe(true)
  1543. })
  1544. it('does not retry when a backend reports success without replacing the surface', async () => {
  1545. const ctx = createContext()
  1546. const compact = new TestCompactionEngine(ctx)
  1547. const session = conversation(2)
  1548. const fakeResult: CompactionResult = {
  1549. compactionId: CompactionId('fake-compaction'),
  1550. startSeq: SessionSeq(1),
  1551. summarySeq: SessionSeq(2),
  1552. endSeq: SessionSeq(3),
  1553. summary: [{ type: 'text', text: 'fake' }],
  1554. shadowedRange: { start: SessionSeq(1), end: SessionSeq(2) },
  1555. shadowedSeqs: [SessionSeq(1), SessionSeq(2)],
  1556. shadowedTokenCount: 10,
  1557. }
  1558. vi.spyOn(compact, 'compactIfNeeded').mockResolvedValue(fakeResult)
  1559. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(false)
  1560. expect(session.surface.replaceGeneration).toBe(0)
  1561. })
  1562. it('delegates downstream exactly once when no replacement is available', async () => {
  1563. const ctx = createContext()
  1564. const compact = new TestCompactionEngine(ctx)
  1565. vi.spyOn(compact, 'compactIfNeeded').mockResolvedValue(null)
  1566. const downstream = new Error('downstream recovery failed')
  1567. let calls = 0
  1568. await expect(recover(
  1569. ctx,
  1570. agent(conversation(2), MODEL),
  1571. overflow(),
  1572. SIGNAL,
  1573. () => {
  1574. calls += 1
  1575. return Promise.reject(downstream)
  1576. },
  1577. )).rejects.toBe(downstream)
  1578. expect(calls).toBe(1)
  1579. })
  1580. it('preserves the original provider error when recovery throws', async () => {
  1581. const ctx = createContext()
  1582. const warnings: string[] = []
  1583. ctx.logger.warn = ((message: string) => void warnings.push(message)) as typeof ctx.logger.warn
  1584. const compact = new TestCompactionEngine(ctx)
  1585. compact.error = new Error('summary unavailable')
  1586. const original = overflow('original provider overflow')
  1587. expect(await recover(ctx, agent(conversation(3), MODEL), original)).toBe(false)
  1588. expect(original).toMatchObject({
  1589. message: 'original provider overflow',
  1590. code: CONTEXT_WINDOW_EXCEEDED_CODE,
  1591. })
  1592. expect(warnings).toContainEqual(expect.stringContaining('preserving the original request error'))
  1593. })
  1594. it('delegates once when overflow recovery throws a non-Error value', async () => {
  1595. const ctx = createContext()
  1596. const warnings: string[] = []
  1597. ctx.logger.warn = ((message: string) => void warnings.push(message)) as typeof ctx.logger.warn
  1598. const compact = new TestCompactionEngine(ctx)
  1599. compact.error = 'non-error recovery failure'
  1600. const session = conversation(3)
  1601. const generation = session.surface.replaceGeneration
  1602. const original = overflow('original provider failure')
  1603. let delegations = 0
  1604. const decision = await recover(ctx, agent(session, MODEL), original, SIGNAL, () => {
  1605. delegations += 1
  1606. return Promise.resolve(undefined)
  1607. })
  1608. expect(decision).toBe(false)
  1609. expect(delegations).toBe(1)
  1610. expect(session.surface.replaceGeneration).toBe(generation)
  1611. expect(original).toMatchObject({
  1612. message: 'original provider failure',
  1613. code: CONTEXT_WINDOW_EXCEEDED_CODE,
  1614. })
  1615. expect(warnings).toContainEqual(expect.stringContaining('non-error recovery failure'))
  1616. })
  1617. it('recovers an overflow for an unlisted routed model', async () => {
  1618. const ctx = createContext()
  1619. void new TestCompactionEngine(ctx)
  1620. const session = conversation(2)
  1621. session.append('request/header', {
  1622. header: { config: { provider: 'unknown-routed-provider', model: 'unknown-routed-model' } },
  1623. reason: 'resume',
  1624. })
  1625. expect(await recover(ctx, agent(session, MODEL), overflow('unlisted-model overflow')))
  1626. .toBe(true)
  1627. })
  1628. it('delegates canonical overflow when no durable routed target exists', async () => {
  1629. const ctx = createContext()
  1630. void new TestCompactionEngine(ctx)
  1631. const session = Session.create(SessionId('headerless-overflow'))
  1632. session.append('turn/start', {
  1633. turn: 1,
  1634. })
  1635. await expect(recover(ctx, agent(session, MODEL), overflow())).resolves.toBe(false)
  1636. })
  1637. it('honors retry caps and ignores non-context failures', async () => {
  1638. const ctx = createContext()
  1639. const compact = new TestCompactionEngine(ctx, { maxOverflowRetries: 1 })
  1640. const compactSpy = vi.spyOn(compact, 'compactIfNeeded')
  1641. const owner = agent(conversation(3), MODEL)
  1642. expect(await recover(ctx, owner, Object.assign(new Error('rate limit'), { code: 'RATE_LIMIT' })))
  1643. .toBe(false)
  1644. expect(await recover(ctx, owner, overflow())).toBe(true)
  1645. compactSpy.mockClear()
  1646. expect(await recover(ctx, owner, overflow())).toBe(false)
  1647. expect(compactSpy).not.toHaveBeenCalled()
  1648. })
  1649. it('applies the routed model override to the overflow retry cap', async () => {
  1650. const ctx = createContext()
  1651. const compact = new TestCompactionEngine(ctx, {
  1652. maxOverflowRetries: 2,
  1653. modelPolicies: [{
  1654. provider: MODEL,
  1655. model: MODEL,
  1656. maxOverflowRetries: 1,
  1657. }],
  1658. })
  1659. const compactSpy = vi.spyOn(compact, 'compactIfNeeded')
  1660. const owner = agent(conversation(3), MODEL)
  1661. expect(await recover(ctx, owner, overflow())).toBe(true)
  1662. compactSpy.mockClear()
  1663. expect(await recover(ctx, owner, overflow())).toBe(false)
  1664. expect(compactSpy).not.toHaveBeenCalled()
  1665. })
  1666. it('does not retry when cancellation lands during an awaited compaction', async () => {
  1667. const ctx = createContext()
  1668. const compact = new TestCompactionEngine(ctx)
  1669. const controller = new AbortController()
  1670. compact.mutateDuringSummary = () => { controller.abort('cancelled during summary') }
  1671. const session = conversation(3)
  1672. const generation = session.surface.replaceGeneration
  1673. expect(await recover(ctx, agent(session, MODEL), overflow(), controller.signal)).toBe(false)
  1674. expect(session.surface.replaceGeneration).toBe(generation + 1)
  1675. })
  1676. it('maxOverflowRetries:0 disables recovery without disabling post-step pressure', async () => {
  1677. const ctx = createContext()
  1678. void new TestCompactionEngine(ctx, {
  1679. maxOverflowRetries: 0,
  1680. thresholdRatio: 0.5,
  1681. retainTokens: 180,
  1682. })
  1683. const session = conversation(4)
  1684. await preStep(ctx, agent(session, MODEL))
  1685. const summaries = session.snapshotEvents().filter(event => event.type === 'compaction/summary').length
  1686. expect(summaries).toBe(1)
  1687. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(false)
  1688. expect(session.snapshotEvents().filter(event => event.type === 'compaction/summary')).toHaveLength(summaries)
  1689. })
  1690. it('auto:false installs neither automatic listener', async () => {
  1691. const ctx = createContext()
  1692. void new TestCompactionEngine(ctx, {
  1693. auto: false,
  1694. thresholdRatio: 0.5,
  1695. retainTokens: 180,
  1696. })
  1697. const session = conversation(4)
  1698. await preStep(ctx, agent(session, MODEL))
  1699. expect(session.snapshotEvents().some(event => event.type === 'compaction/start')).toBe(false)
  1700. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(false)
  1701. })
  1702. it('loads and disposes the real zero-config service stack', async () => {
  1703. const ctx = new Context()
  1704. await ctx.plugin(LlmRuntime)
  1705. await ctx.plugin(SessionStore)
  1706. await ctx.plugin(SessionProjectionRegistry)
  1707. const meterFiber = await ctx.plugin(TokenMeter)
  1708. const compactFiber = await ctx.plugin(BasicCompactionEngine, { auto: false })
  1709. expect(ctx.get('compaction')).toBeInstanceOf(BasicCompactionEngine)
  1710. await compactFiber.dispose()
  1711. expect(ctx.get('compaction')).toBeUndefined()
  1712. await meterFiber.dispose()
  1713. expect(ctx.get('tokenMeter')).toBeUndefined()
  1714. })
  1715. it('removes its automatic listener with the plugin fiber', async () => {
  1716. const ctx = new Context()
  1717. await ctx.plugin(LlmRuntime)
  1718. await ctx.plugin(SessionProjectionRegistry)
  1719. await ctx.plugin(TokenMeter)
  1720. const fiber = await ctx.plugin(TestCompactionEngine, {
  1721. thresholdRatio: 0.5,
  1722. retainTokens: 180,
  1723. })
  1724. await fiber.dispose()
  1725. const session = conversation(4)
  1726. await preStep(ctx, agent(session, MODEL))
  1727. expect(session.snapshotEvents().some(event => event.type === 'compaction/start')).toBe(false)
  1728. expect(await recover(ctx, agent(session, MODEL), overflow())).toBe(false)
  1729. })
  1730. })
  1731. describe('route-priced image pressure', () => {
  1732. const IMAGE_VISUAL_TOKENS = 300
  1733. const IMAGE_HANDLE_TEXT = 'request preview'
  1734. class PricedContextAdapter extends ContextAdapter {
  1735. override imageRequestPricing(): { priceImages: (images: readonly unknown[]) => Array<{ visualTokens: number; text: string }> } {
  1736. return {
  1737. priceImages: images => images.map(() => ({
  1738. visualTokens: IMAGE_VISUAL_TOKENS,
  1739. text: IMAGE_HANDLE_TEXT,
  1740. })),
  1741. }
  1742. }
  1743. }
  1744. function pricedContext(contextWindow = 1_000): Context {
  1745. const ctx = new Context()
  1746. void new LlmRuntime(ctx)
  1747. new SessionProjectionRegistry(ctx)
  1748. void new TokenMeter(ctx)
  1749. ctx.llm.registerAdapter([MODEL], new PricedContextAdapter(contextWindow))
  1750. return ctx
  1751. }
  1752. /** Closed short-text turns whose user messages each carry one image. */
  1753. function imageConversation(turns = 4): Session {
  1754. const session = Session.create(SessionId(`image-dense-${turns}`))
  1755. for (let turn = 1; turn <= turns; turn += 1) {
  1756. session.append('turn/start', { turn })
  1757. session.append('user/message', createUserMessage({
  1758. content: [
  1759. { type: 'text', text: `image turn ${turn}` },
  1760. {
  1761. type: 'image',
  1762. attachment: {
  1763. attachmentId: AttachmentId(`sha256:${String(turn).repeat(8)}`),
  1764. mediaType: 'image/png',
  1765. bytes: 2048,
  1766. width: 800,
  1767. height: 800,
  1768. name: `shot-${turn}`,
  1769. },
  1770. },
  1771. ],
  1772. source: { kind: 'user' },
  1773. }), { surfaceOp: 'append' })
  1774. session.append('step/start', { turn, step: 1 })
  1775. if (turn === 1) {
  1776. session.append('request/header', {
  1777. header: { config: { provider: MODEL, model: MODEL } },
  1778. reason: 'initial',
  1779. })
  1780. }
  1781. session.append('assistant/message', {
  1782. stream: [],
  1783. turn,
  1784. step: 1,
  1785. message: createMessage({
  1786. role: 'assistant',
  1787. content: [{ type: 'text', text: `ok ${turn}` }],
  1788. source: {
  1789. kind: 'model',
  1790. ...{ provider: MODEL, model: MODEL },
  1791. },
  1792. }),
  1793. }, { surfaceOp: 'append' })
  1794. session.append('step/end', { turn, step: 1 })
  1795. session.append('turn/end', { turn, reason: { kind: 'completed' } })
  1796. }
  1797. session.append('turn/start', { turn: turns + 1 })
  1798. return session
  1799. }
  1800. it('selects an image-dense range only when the routed price counts visual tokens', () => {
  1801. const session = imageConversation()
  1802. const routed = pricedContext().tokenMeter.measure(session)
  1803. const neutral = createContext().tokenMeter.measure(session)
  1804. expect(routed.surfaceTokens).toBeGreaterThan(neutral.surfaceTokens + 4 * IMAGE_VISUAL_TOKENS - 200)
  1805. expect(routed.nodes.map(node => node.seq)).toEqual(neutral.nodes.map(node => node.seq))
  1806. expect(routed.nodes.map(node => node.heuristicTokens)).toEqual(neutral.nodes.map(node => node.tokens))
  1807. // The same verbatim tail budget retains almost everything under the
  1808. // neutral heuristic but forces a cut once visual tokens are counted.
  1809. expect(selectCompactableRange(session, neutral, 350)).toBeNull()
  1810. const range = selectCompactableRange(session, routed, 350)
  1811. expect(range).not.toBeNull()
  1812. })
  1813. it('accepts a summary larger than the span heuristic when the route price shrinks', async () => {
  1814. // A single short image message prices below a framed summary under the
  1815. // fixed heuristic but far above it under the route: the shrink comparison
  1816. // must ask whether the replacement lowers route pressure.
  1817. const ctx = pricedContext(1_000)
  1818. const session = imageConversation(1)
  1819. const before = ctx.tokenMeter.measure(session)
  1820. const imageNode = before.nodes[0]!
  1821. const compact = new TestCompactionEngine(ctx, { auto: false })
  1822. compact.summary = [{
  1823. type: 'text',
  1824. text: 'summary text sized between the heuristic and route prices of the shadowed image message, '
  1825. + 'long enough that the fixed heuristic alone would reject it as not smaller '
  1826. + 'while the route-priced comparison accepts the pressure reduction.',
  1827. }]
  1828. const framed = ctx.tokenMeter.estimateMessage(createUserMessage({
  1829. content: frameSummary(compact.summary),
  1830. source: { kind: 'plugin', plugin: 'test' },
  1831. }))
  1832. expect(framed).toBeGreaterThan(imageNode.heuristicTokens)
  1833. expect(framed).toBeLessThan(imageNode.tokens)
  1834. const result = await compact.compactRegion(imageNode.seq, imageNode.seq, agent(session), SIGNAL)
  1835. expect(result.shadowedSeqs).toEqual([imageNode.seq])
  1836. expect(result.shadowedTokenCount).toBe(imageNode.heuristicTokens)
  1837. })
  1838. it('triggers pressure compaction from routed visual tokens and logs heuristic shadow prices', async () => {
  1839. const ctx = pricedContext(1_000)
  1840. const session = imageConversation()
  1841. const before = ctx.tokenMeter.measure(session)
  1842. const compact = new TestCompactionEngine(ctx, {
  1843. auto: false,
  1844. thresholdRatio: 0.8,
  1845. retainTokens: 350,
  1846. })
  1847. // The same history stays below the 800-token threshold without pricing.
  1848. const neutralResult = await compactIfNeeded(service({
  1849. auto: false,
  1850. thresholdRatio: 0.8,
  1851. retainTokens: 350,
  1852. }), session)
  1853. expect(neutralResult).toBeNull()
  1854. const result = await compact.compactIfNeeded(agent(session), 'pressure', SIGNAL)
  1855. expect(result).not.toBeNull()
  1856. const summaryEvent = session.snapshotEvents().find(event => event.type === 'compaction/summary')
  1857. expect(summaryEvent).toBeDefined()
  1858. const shadowedHeuristic = before.nodes
  1859. .filter(node => result?.shadowedSeqs.includes(node.seq))
  1860. .reduce((total, node) => total + node.heuristicTokens, 0)
  1861. expect(summaryEvent?.data.shadowedTokenCount).toBe(shadowedHeuristic)
  1862. })
  1863. })