compact-basic.spec.ts 65 KB

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