compact-basic.spec.ts 66 KB

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