compact-basic.spec.ts 66 KB

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