request-reconstruction.spec.ts 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706
  1. /**
  2. * Loop-level reconstructability: every request the loop sends is a pure function of the
  3. * session log — messages derive at the step/start boundary and the header is the latest
  4. * request/header snapshot. Each request extends its predecessor unless a logged compaction
  5. * replacement or header change explains the difference.
  6. */
  7. import { describe, expect, it } from 'vitest'
  8. import { Context } from '@deepseek-ai/cordis'
  9. import LlmRuntime, { createUserMessage, LlmError, ReasoningEffortId } from '@deepseek-ai/dsh-llm'
  10. import type { GenerateOptions, LlmModelReasoningInfo, LlmResolvedModelInfo, StreamChunk } from '@deepseek-ai/dsh-llm'
  11. import SessionStore, { Session, SessionId, foldRequestHeader } from '@deepseek-ai/dsh-session'
  12. import SystemPrompt from '@deepseek-ai/dsh-system-prompt'
  13. import ToolRuntime, { defineContentToolFixture } from '@deepseek-ai/dsh-tools'
  14. import AgentRegistry, { type Agent } from '@deepseek-ai/dsh-agent'
  15. import AgentLoop from '@deepseek-ai/dsh-agent-loop'
  16. import { MockAdapter, textResponse, toolCallResponse } from './mock-adapter.ts'
  17. async function harness(adapter: MockAdapter, persona = 'stable base') {
  18. return harnessRoutes([['mock', adapter]], persona)
  19. }
  20. async function harnessRoutes(
  21. adapters: readonly (readonly [provider: string, adapter: MockAdapter])[],
  22. persona = 'stable base',
  23. ) {
  24. const ctx = new Context()
  25. await ctx.plugin(LlmRuntime)
  26. await ctx.plugin(SessionStore)
  27. await ctx.plugin(SystemPrompt, { persona })
  28. await ctx.plugin(ToolRuntime)
  29. await ctx.plugin(AgentRegistry)
  30. await ctx.plugin(AgentLoop, { agents: [] })
  31. for (const [provider, adapter] of adapters) ctx.llm.registerAdapter([provider], adapter)
  32. return ctx
  33. }
  34. function waitForIdle(ctx: Context, agent: Agent): Promise<void> {
  35. return new Promise((resolve) => {
  36. const dispose = ctx.on('agent/status', ({ agent: subject, status }) => {
  37. if (subject === agent && status === 'idle') {
  38. dispose()
  39. resolve()
  40. }
  41. })
  42. })
  43. }
  44. function send(agent: Agent, text: string) {
  45. agent.followup(createUserMessage({ content: [{ type: 'text', text }], source: { kind: 'user' } }))
  46. }
  47. /** Assert `previous` is a strict value-prefix of `current`. */
  48. function expectPrefixExtension(previous: GenerateOptions, current: GenerateOptions) {
  49. expect(current.messages.length).toBeGreaterThan(previous.messages.length)
  50. expect(current.messages.slice(0, previous.messages.length)).toEqual([...previous.messages])
  51. expect(current.system).toEqual(previous.system)
  52. expect(current.tools).toEqual(previous.tools)
  53. }
  54. function registerEcho(ctx: Context) {
  55. ctx.tools.register(defineContentToolFixture({
  56. name: 'echo',
  57. description: 'echo back',
  58. parameters: { text: { type: 'string' } },
  59. async execute(args) {
  60. return [{ type: 'text', text: `echo: ${String(args.text)}` }]
  61. },
  62. }))
  63. }
  64. describe('request stability across the loop', () => {
  65. it('each step request within a turn append-extends the previous, frozen end to end', async () => {
  66. const adapter = new MockAdapter([
  67. toolCallResponse('c1', 'echo', { text: 'one' }, 'first'),
  68. toolCallResponse('c2', 'echo', { text: 'two' }, 'second'),
  69. textResponse('done'),
  70. ])
  71. const ctx = await harness(adapter)
  72. registerEcho(ctx)
  73. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  74. send(agent, 'go')
  75. await waitForIdle(ctx, agent)
  76. expect(adapter.requests).toHaveLength(3)
  77. expectPrefixExtension(adapter.requests[0]!, adapter.requests[1]!)
  78. expectPrefixExtension(adapter.requests[1]!, adapter.requests[2]!)
  79. for (const request of adapter.requests) {
  80. expect(Object.isFrozen(request)).toBe(true)
  81. expect(Object.isFrozen(request.messages)).toBe(true)
  82. }
  83. // One anchoring header snapshot; no further header events (nothing changed).
  84. const headerEvents = agent.session.events.filter(e => e.type === 'request/header')
  85. expect(headerEvents).toHaveLength(1)
  86. expect(headerEvents[0]?.type === 'request/header' && headerEvents[0].data.reason).toBe('initial')
  87. })
  88. it('a later turn append-extends the previous turn (one conversation, one log)', async () => {
  89. const adapter = new MockAdapter([textResponse('one'), textResponse('two')])
  90. const ctx = await harness(adapter)
  91. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  92. send(agent, 'first')
  93. await waitForIdle(ctx, agent)
  94. send(agent, 'second')
  95. await waitForIdle(ctx, agent)
  96. expect(adapter.requests).toHaveLength(2)
  97. expectPrefixExtension(adapter.requests[0]!, adapter.requests[1]!)
  98. })
  99. it('logs adapter defaults, supports per-turn effort changes, and restores the effective value', async () => {
  100. const reasoning = {
  101. efforts: [
  102. { id: ReasoningEffortId('high'), name: 'High' },
  103. { id: ReasoningEffortId('max'), name: 'Max' },
  104. ],
  105. defaultEffort: ReasoningEffortId('high'),
  106. }
  107. const adapter = new MockAdapter([textResponse('one'), textResponse('two')], reasoning)
  108. const ctx = await harness(adapter)
  109. const agent = ctx.agentLoop.create(SessionId('effort'), { provider: 'mock', model: 'mock' })
  110. ctx.on('agent/request', async ({ turn }, next) => {
  111. const config = await next()
  112. return turn === 2 ? { ...config, reasoningEffort: ReasoningEffortId('max') } : config
  113. })
  114. send(agent, 'first')
  115. await waitForIdle(ctx, agent)
  116. send(agent, 'second')
  117. await waitForIdle(ctx, agent)
  118. expect(adapter.requests.map(request => request.reasoningEffort)).toEqual([
  119. ReasoningEffortId('high'),
  120. ReasoningEffortId('max'),
  121. ])
  122. const headers = agent.session.events.filter(event => event.type === 'request/header')
  123. expect(headers.map(event => event.data.header.config.reasoningEffort)).toEqual([
  124. ReasoningEffortId('high'),
  125. ReasoningEffortId('max'),
  126. ])
  127. expect(headers.map(event => event.data.header.adapterDefaults)).toEqual([
  128. { reasoningEffort: true },
  129. undefined,
  130. ])
  131. expect(headers.map(event => event.data.reason)).toEqual(['initial', 'change'])
  132. for (const [model, effort] of [
  133. ['mock', ReasoningEffortId('max')],
  134. ['replacement', ReasoningEffortId('high')],
  135. ] as const) {
  136. const resumedAdapter = new MockAdapter([textResponse('resumed')], reasoning)
  137. const resumedCtx = await harness(resumedAdapter)
  138. const resumedHandle = await resumedCtx.agents.create({
  139. sessionId: SessionId(`effort-${model}`),
  140. seed: structuredClone(agent.session.events),
  141. agentOptions: { provider: 'mock', model },
  142. })
  143. send(resumedHandle.agent, 'resumed')
  144. await waitForIdle(resumedCtx, resumedHandle.agent)
  145. expect(resumedAdapter.requests[0]?.model).toBe(model)
  146. expect(resumedAdapter.requests[0]?.reasoningEffort).toBe(effort)
  147. const resumedHeaders = resumedHandle.agent.session.events.filter(event => event.type === 'request/header')
  148. expect(resumedHeaders.at(-1)?.data.header.config.reasoningEffort).toBe(effort)
  149. expect(resumedHeaders.at(-1)?.data.reason).toBe('resume')
  150. }
  151. })
  152. it('logs an adapter-owned maxTokens default before dispatch', async () => {
  153. const adapter = new MockAdapter([textResponse('bounded')], undefined, 256_000)
  154. const ctx = await harness(adapter)
  155. const agent = ctx.agentLoop.create(SessionId('adapter-max-tokens'), {
  156. provider: 'mock',
  157. model: 'mock',
  158. })
  159. send(agent, 'use the adapter output limit')
  160. await waitForIdle(ctx, agent)
  161. expect(adapter.requests[0]?.maxTokens).toBe(256_000)
  162. const header = agent.session.events.find(event => event.type === 'request/header')
  163. expect(header?.type === 'request/header' && header.data.header.config.maxTokens).toBe(256_000)
  164. expect(header?.type === 'request/header' && header.data.header.adapterDefaults)
  165. .toEqual({ maxTokens: true })
  166. })
  167. it('rematerializes the selected adapter maxTokens default after a provider switch', async () => {
  168. const deepseek = new MockAdapter([textResponse('deepseek')], undefined, 256_000)
  169. const other = new MockAdapter([textResponse('other')], undefined, 8_192)
  170. const ctx = await harnessRoutes([
  171. ['deepseek', deepseek],
  172. ['other', other],
  173. ])
  174. const agent = ctx.agentLoop.create(SessionId('adapter-max-tokens-switch'), {
  175. provider: 'deepseek',
  176. model: 'deepseek-model',
  177. })
  178. ctx.on('agent/request', async ({ turn }, next) => {
  179. const config = await next()
  180. return turn === 2
  181. ? { ...config, provider: 'other', model: 'other-model' }
  182. : config
  183. })
  184. send(agent, 'first')
  185. await waitForIdle(ctx, agent)
  186. send(agent, 'second')
  187. await waitForIdle(ctx, agent)
  188. expect(deepseek.requests[0]?.maxTokens).toBe(256_000)
  189. expect(other.requests[0]?.maxTokens).toBe(8_192)
  190. const headers = agent.session.events.filter(event => event.type === 'request/header')
  191. expect(headers.map(event => event.data.header.config.maxTokens)).toEqual([256_000, 8_192])
  192. expect(headers.map(event => event.data.header.adapterDefaults)).toEqual([
  193. { maxTokens: true },
  194. { maxTokens: true },
  195. ])
  196. })
  197. it('preserves an explicit agent maxTokens cap across a provider switch', async () => {
  198. const deepseek = new MockAdapter([textResponse('deepseek')], undefined, 256_000)
  199. const other = new MockAdapter([textResponse('other')], undefined, 8_192)
  200. const ctx = await harnessRoutes([
  201. ['deepseek', deepseek],
  202. ['other', other],
  203. ])
  204. const agent = ctx.agentLoop.create(SessionId('explicit-max-tokens-switch'), {
  205. provider: 'deepseek',
  206. model: 'deepseek-model',
  207. maxTokens: 4_096,
  208. })
  209. ctx.on('agent/request', async ({ turn }, next) => {
  210. const config = await next()
  211. return turn === 2
  212. ? { ...config, provider: 'other', model: 'other-model' }
  213. : config
  214. })
  215. send(agent, 'first')
  216. await waitForIdle(ctx, agent)
  217. send(agent, 'second')
  218. await waitForIdle(ctx, agent)
  219. expect(deepseek.requests[0]?.maxTokens).toBe(4_096)
  220. expect(other.requests[0]?.maxTokens).toBe(4_096)
  221. const headers = agent.session.events.filter(event => event.type === 'request/header')
  222. expect(headers.map(event => event.data.header.config.maxTokens)).toEqual([4_096, 4_096])
  223. expect(headers.map(event => event.data.header.adapterDefaults)).toEqual([undefined, undefined])
  224. })
  225. it('keeps exact-model resolution, request logging, and dispatch on one adapter registration', async () => {
  226. const ctx = new Context()
  227. await ctx.plugin(LlmRuntime)
  228. await ctx.plugin(SessionStore)
  229. await ctx.plugin(SystemPrompt, { persona: 'stable base' })
  230. await ctx.plugin(ToolRuntime)
  231. await ctx.plugin(AgentRegistry)
  232. await ctx.plugin(AgentLoop, { agents: [] })
  233. const started = Promise.withResolvers<undefined>()
  234. const reasoning = Promise.withResolvers<LlmModelReasoningInfo>()
  235. const first = new class extends MockAdapter {
  236. override async resolveModel(
  237. provider: string,
  238. model: string,
  239. _signal?: AbortSignal,
  240. ): Promise<LlmResolvedModelInfo> {
  241. started.resolve(undefined)
  242. return {
  243. provider,
  244. id: model,
  245. name: model,
  246. reasoning: await reasoning.promise,
  247. }
  248. }
  249. }([textResponse('first')])
  250. const second = new MockAdapter([textResponse('second')], {
  251. efforts: [{ id: ReasoningEffortId('max'), name: 'Max' }],
  252. defaultEffort: ReasoningEffortId('max'),
  253. })
  254. const disposeFirst = ctx.llm.registerAdapter(['mock'], first)
  255. const agent = ctx.agentLoop.create(SessionId('effort-hmr'), { provider: 'mock', model: 'mock' })
  256. send(agent, 'go')
  257. await started.promise
  258. disposeFirst()
  259. ctx.llm.registerAdapter(['mock'], second)
  260. reasoning.resolve({
  261. efforts: [{ id: ReasoningEffortId('high'), name: 'High' }],
  262. defaultEffort: ReasoningEffortId('high'),
  263. })
  264. await waitForIdle(ctx, agent)
  265. expect(first.requests.map(request => request.reasoningEffort)).toEqual([
  266. ReasoningEffortId('high'),
  267. ])
  268. expect(second.requests).toHaveLength(0)
  269. const headers = agent.session.events.filter(event => event.type === 'request/header')
  270. expect(headers.at(-1)?.data.header.config.reasoningEffort).toBe(ReasoningEffortId('high'))
  271. })
  272. it('aborts a blocked reasoning lookup before quiescent disposal completes', async () => {
  273. const started = Promise.withResolvers<AbortSignal>()
  274. const adapter = new class extends MockAdapter {
  275. override resolveModel(
  276. _provider: string,
  277. _model: string,
  278. signal?: AbortSignal,
  279. ): Promise<never> {
  280. if (signal === undefined) return Promise.reject(new Error('missing reasoning signal'))
  281. started.resolve(signal)
  282. return new Promise((_resolve, reject) => {
  283. if (signal.aborted) {
  284. reject(signal.reason instanceof Error ? signal.reason : new Error('reasoning aborted'))
  285. return
  286. }
  287. signal.addEventListener('abort', () => {
  288. reject(signal.reason instanceof Error ? signal.reason : new Error('reasoning aborted'))
  289. }, { once: true })
  290. })
  291. }
  292. }([])
  293. const ctx = await harness(adapter)
  294. const handle = await ctx.agents.create({
  295. sessionId: SessionId('reasoning-dispose'),
  296. agentOptions: { provider: 'mock', model: 'mock' },
  297. })
  298. send(handle.agent, 'go')
  299. const signal = await started.promise
  300. await handle.dispose()
  301. expect(signal.aborted).toBe(true)
  302. expect(handle.agent.status).toBe('idle')
  303. expect(adapter.requests).toHaveLength(0)
  304. expect(handle.agent.session.events.some(event => event.type === 'request/header')).toBe(false)
  305. })
  306. it.each(['plain error', 'LLM error'] as const)(
  307. 'does not swallow a %s from exact-model resolution',
  308. async (kind) => {
  309. const failure = kind === 'plain error'
  310. ? new Error('reasoning metadata failed')
  311. : new LlmError('unsupported effort', 'UNSUPPORTED_REASONING_EFFORT')
  312. const adapter = new class extends MockAdapter {
  313. override resolveModel(): Promise<never> {
  314. return Promise.reject(failure)
  315. }
  316. }([])
  317. const ctx = await harness(adapter)
  318. const agent = ctx.agentLoop.create(SessionId(`reasoning-${kind}`), {
  319. provider: 'mock',
  320. model: 'mock',
  321. })
  322. send(agent, 'go')
  323. await waitForIdle(ctx, agent)
  324. expect(agent.session.events.findLast(event => event.type === 'turn/end')).toMatchObject({
  325. data: {
  326. reason: failure instanceof LlmError
  327. ? { kind: 'error', error: failure.failure }
  328. : { kind: 'error', error: { message: failure.message, code: 'UNKNOWN' } },
  329. },
  330. })
  331. expect(adapter.requests).toHaveLength(0)
  332. },
  333. )
  334. it('lets a short-circuiting llm/stream listener own an unregistered route', async () => {
  335. const ctx = new Context()
  336. await ctx.plugin(LlmRuntime)
  337. await ctx.plugin(SessionStore)
  338. await ctx.plugin(SystemPrompt, { persona: 'stable base' })
  339. await ctx.plugin(ToolRuntime)
  340. await ctx.plugin(AgentRegistry)
  341. await ctx.plugin(AgentLoop, { agents: [] })
  342. let observed: GenerateOptions | undefined
  343. ctx.on('llm/stream', (options) => {
  344. observed = options
  345. return (async function* () {
  346. yield* textResponse('owned')
  347. })()
  348. })
  349. const agent = ctx.agentLoop.create(SessionId('listener-owned'), {
  350. provider: 'listener',
  351. model: 'virtual',
  352. })
  353. send(agent, 'go')
  354. await waitForIdle(ctx, agent)
  355. expect(observed).toMatchObject({ provider: 'listener', model: 'virtual' })
  356. expect(agent.session.requestHeader()?.config).toEqual({
  357. provider: 'listener',
  358. model: 'virtual',
  359. })
  360. expect(agent.session.deriveMessages().at(-1)?.content).toContainEqual({
  361. type: 'text',
  362. text: 'owned',
  363. })
  364. })
  365. it('a compaction replace rewrites the resend, and the log explains it', async () => {
  366. const adapter = new MockAdapter([textResponse('one'), textResponse('two')])
  367. const ctx = await harness(adapter)
  368. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  369. send(agent, 'first')
  370. await waitForIdle(ctx, agent)
  371. const nodes = agent.session.surface.nodes
  372. agent.session.append('user/message', createUserMessage({
  373. content: [{ type: 'text', text: '[summary of turn 1]' }],
  374. source: { kind: 'plugin', plugin: 'test-compact' },
  375. }), {
  376. surfaceOp: { op: 'replace', start: nodes[0]!, end: nodes[1]! },
  377. sourceEventSeqs: [nodes[0]!, nodes[1]!],
  378. })
  379. send(agent, 'second')
  380. await waitForIdle(ctx, agent)
  381. const second = adapter.requests[1]!
  382. // The rewritten history: summary replaces turn 1's user+assistant pair.
  383. expect(second.messages[0]!.content.some(b => b.type === 'text' && b.text.includes('[summary of turn 1]'))).toBe(true)
  384. // No header event beyond the anchor: the replace is itself in the log.
  385. expect(agent.session.events.filter(e => e.type === 'request/header')).toHaveLength(1)
  386. })
  387. it('a real system-prompt change is a full changed-header snapshot; a stable prompt logs nothing', async () => {
  388. const adapter = new MockAdapter([textResponse('one'), textResponse('two'), textResponse('three')])
  389. const ctx = await harness(adapter)
  390. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  391. send(agent, 'first')
  392. await waitForIdle(ctx, agent)
  393. send(agent, 'second')
  394. await waitForIdle(ctx, agent)
  395. // Identical assembly re-rendered per step is NOT a change.
  396. expect(agent.session.events.filter(e => e.type === 'request/header')).toHaveLength(1)
  397. ctx.systemPrompt.section({ name: 'extra', order: 2, text: 'new guidance' })
  398. send(agent, 'third')
  399. await waitForIdle(ctx, agent)
  400. const snapshots = agent.session.events.filter(e => e.type === 'request/header')
  401. expect(snapshots).toHaveLength(2)
  402. expect(snapshots[1]?.data.reason).toBe('change')
  403. expect(adapter.requests[2]!.system).toContain('new guidance')
  404. // History is preserved across the change — only the header moved.
  405. expect(adapter.requests[2]!.messages.length).toBeGreaterThan(adapter.requests[1]!.messages.length)
  406. })
  407. it('an inject() during the agent/request waterfall joins the NEXT request (the step/start boundary)', async () => {
  408. const adapter = new MockAdapter([textResponse('one'), textResponse('two')])
  409. const ctx = await harness(adapter)
  410. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  411. let injected = false
  412. ctx.on('agent/request', async (_payload, next) => {
  413. if (!injected) {
  414. injected = true
  415. agent.inject(createUserMessage({ content: [{ type: 'text', text: '[late context]' }], source: { kind: 'plugin', plugin: 'test' } }))
  416. }
  417. return next()
  418. })
  419. send(agent, 'first')
  420. await waitForIdle(ctx, agent)
  421. const first = adapter.requests[0]!
  422. // The inject landed in the log after the boundary: not in THIS request…
  423. expect(first.messages.some(m => m.content.some(b => b.type === 'text' && b.text.includes('[late context]')))).toBe(false)
  424. expect(agent.session.events.some(e => e.type === 'user/message' && e.data.source.kind === 'plugin')).toBe(true)
  425. send(agent, 'second')
  426. await waitForIdle(ctx, agent)
  427. // …but in the next one, at its logged position.
  428. const second = adapter.requests[1]!
  429. expect(second.messages.some(m => m.content.some(b => b.type === 'text' && b.text.includes('[late context]')))).toBe(true)
  430. })
  431. it('a mutation attempt on the frozen request content throws into the step (loud, not silent)', async () => {
  432. const adapter = new MockAdapter([textResponse('one')])
  433. const ctx = await harness(adapter)
  434. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  435. ctx.on('llm/stream', (options, next) => {
  436. // The historical failure mode this design kills: a listener rewriting
  437. // request content in place. The freeze turns it into a loud error.
  438. options.messages.push(createUserMessage({
  439. content: [{ type: 'text', text: 'sneaky' }],
  440. source: { kind: 'plugin', plugin: 'test' },
  441. }))
  442. return next()
  443. })
  444. send(agent, 'go')
  445. await waitForIdle(ctx, agent)
  446. const turnEnd = agent.session.events.findLast(event => event.type === 'turn/end')
  447. expect(turnEnd).toMatchObject({ data: { reason: { kind: 'error' } } })
  448. if (turnEnd?.type !== 'turn/end' || turnEnd.data.reason.kind !== 'error') throw new Error()
  449. expect(turnEnd.data.reason.error.message).toMatch(/not extensible|frozen|read only|readonly/i)
  450. })
  451. it('a fresh loop instance over a seeded log anchors with a resume snapshot and stays cache-aligned', async () => {
  452. const adapter = new MockAdapter([textResponse('one')])
  453. const ctx = await harness(adapter)
  454. const agent = ctx.agentLoop.create(SessionId('gen1'), { provider: 'mock', model: 'mock' })
  455. send(agent, 'first')
  456. await waitForIdle(ctx, agent)
  457. // Second generation: a new agent whose session is seeded with the first
  458. // one's full log (the resume/fork path).
  459. const adapter2 = new MockAdapter([textResponse('two')])
  460. const ctx2 = await harness(adapter2)
  461. const handle = await ctx2.agents.create({
  462. sessionId: SessionId('gen2-session'),
  463. seed: [...agent.session.events],
  464. agentOptions: { provider: 'mock', model: 'mock' },
  465. })
  466. const agent2 = handle.agent
  467. send(agent2, 'second')
  468. await waitForIdle(ctx2, agent2)
  469. const snapshots = agent2.session.events.filter(e => e.type === 'request/header')
  470. expect(snapshots).toHaveLength(2)
  471. expect(snapshots[1]?.data.reason).toBe('resume')
  472. // Identical header across the restart: byte-identical continuation.
  473. expect(adapter2.requests[0]!.system).toEqual(adapter.requests[0]!.system)
  474. expectPrefixExtension(adapter.requests[0]!, adapter2.requests[0]!)
  475. })
  476. it('a delegating listener cannot mutate the seed through next() — the fold stays log-true', async () => {
  477. const adapter = new MockAdapter([textResponse('one'), textResponse('two')])
  478. const ctx = await harness(adapter)
  479. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  480. ctx.on('agent/request', async (_payload, next) => {
  481. const config = await next()
  482. // next() resolves the SAME frozen seed — in-place shaping after
  483. // delegation is unrepresentable, so a "mutate what next() returned"
  484. // listener cannot desync the log from the request (nor reach the
  485. // session's cached header fold, which is deep-cloned away and itself
  486. // frozen).
  487. expect(Object.isFrozen(config)).toBe(true)
  488. expect(() => { (config as { temperature?: number }).temperature = 0.9 }).toThrow(TypeError)
  489. return config
  490. })
  491. send(agent, 'first')
  492. await waitForIdle(ctx, agent)
  493. send(agent, 'second')
  494. await waitForIdle(ctx, agent)
  495. // No changed snapshot was logged (nothing really changed), and the session's own
  496. // fold is immutable state.
  497. expect(agent.session.events.filter(e => e.type === 'request/header')).toHaveLength(1)
  498. expect(Object.isFrozen(agent.session.requestHeader())).toBe(true)
  499. expect(adapter.requests[1]!.temperature).toBeUndefined()
  500. })
  501. it('THEOREM: every request rebuilds byte-equal from the session log alone', async () => {
  502. const adapter = new MockAdapter([
  503. toolCallResponse('c1', 'echo', { text: 'one' }, 'calling'),
  504. textResponse('done'),
  505. textResponse('after change'),
  506. ])
  507. const ctx = await harness(adapter)
  508. registerEcho(ctx)
  509. const agent = ctx.agentLoop.create(SessionId('a1'), { provider: 'mock', model: 'mock' })
  510. send(agent, 'go')
  511. await waitForIdle(ctx, agent)
  512. ctx.systemPrompt.section({ name: 'extra', order: 2, text: 'now with guidance' })
  513. ctx.on('agent/request', async (_payload, next) => ({
  514. ...await next(), temperature: 0.5, maxTokens: 99, stop: ['<END>'],
  515. }))
  516. send(agent, 'again')
  517. await waitForIdle(ctx, agent)
  518. expect(adapter.requests).toHaveLength(3)
  519. const events = agent.session.events
  520. const stepStarts = events.filter(e => e.type === 'step/start')
  521. expect(stepStarts).toHaveLength(3)
  522. adapter.requests.forEach((request, index) => {
  523. const stepStart = stepStarts[index]!
  524. const firstChunk = events.find(e =>
  525. e.type === 'assistant/chunk'
  526. && e.data.turn === stepStart.data.turn
  527. && e.data.step === stepStart.data.step,
  528. )!
  529. // Messages: the entered batch is logged after step/start, so rebuild the
  530. // complete dispatch prefix through a completely fresh Session.
  531. const rebuilt = Session.create(SessionId(`rebuild-${index}`), structuredClone(events.slice(0, firstChunk.seq)))
  532. expect(structuredClone(request.messages)).toEqual(rebuilt.deriveMessages())
  533. // Header: the latest request/header snapshot up to this step's dispatch
  534. // (its header event sits between step/start and the first chunk).
  535. const header = foldRequestHeader(events.slice(0, firstChunk.seq))!
  536. expect(request.model).toBe(header.config.model)
  537. expect(request.reasoningEffort).toBe(header.config.reasoningEffort)
  538. expect(request.system).toEqual(header.system)
  539. expect(structuredClone(request.tools ?? [])).toEqual(structuredClone(header.tools ?? []))
  540. expect(request.temperature).toBe(header.config.temperature)
  541. expect(request.maxTokens).toBe(header.config.maxTokens)
  542. expect(request.stop).toEqual(header.config.stop)
  543. })
  544. })
  545. })
  546. describe('request/context capacity records', () => {
  547. /** Adapter advertising a per-model capacity, keyed by model id. */
  548. function capacityAdapter(windows: Record<string, number>, script: StreamChunk[][]): MockAdapter {
  549. return new class extends MockAdapter {
  550. override resolveModel(provider: string, model: string): Promise<LlmResolvedModelInfo> {
  551. const contextWindow = windows[model]
  552. return Promise.resolve({
  553. provider,
  554. id: model,
  555. name: model,
  556. ...contextWindow === undefined ? {} : { context: { contextWindow } },
  557. })
  558. }
  559. }(script)
  560. }
  561. it('records capacity once and skips it while the route is unchanged', async () => {
  562. const adapter = capacityAdapter({ mock: 128_000 }, [textResponse('a'), textResponse('b')])
  563. const ctx = await harness(adapter)
  564. const agent = ctx.agentLoop.create(SessionId('capacity-dedup'), { provider: 'mock', model: 'mock' })
  565. send(agent, 'first')
  566. await waitForIdle(ctx, agent)
  567. send(agent, 'second')
  568. await waitForIdle(ctx, agent)
  569. const records = agent.session.events.filter(event => event.type === 'request/context')
  570. expect(records).toHaveLength(1)
  571. expect(records[0]?.data).toEqual({ provider: 'mock', model: 'mock', contextWindow: 128_000 })
  572. // Log-only: not a SurfaceEventType, so it can never reach a model request
  573. // (the type system rejects a surfaceOp here; the session invariant also
  574. // requires the record to sit inside its open turn).
  575. expect(agent.session.surface.nodes).not.toContain(records[0]?.seq)
  576. })
  577. it('records a second capacity when the route changes mid-session', async () => {
  578. const adapter = capacityAdapter(
  579. { small: 64_000, large: 256_000 },
  580. [textResponse('a'), textResponse('b')],
  581. )
  582. const ctx = await harness(adapter)
  583. const agent = ctx.agentLoop.create(SessionId('capacity-switch'), { provider: 'mock', model: 'small' })
  584. send(agent, 'first')
  585. await waitForIdle(ctx, agent)
  586. ctx.on('agent/request', ({ agent: subject }, next) => subject === agent
  587. ? Promise.resolve({ provider: 'mock', model: 'large' })
  588. : next())
  589. send(agent, 'second')
  590. await waitForIdle(ctx, agent)
  591. expect(agent.session.events
  592. .filter(event => event.type === 'request/context')
  593. .map(event => event.data.contextWindow)).toEqual([64_000, 256_000])
  594. })
  595. it('records and deduplicates a route whose adapter advertises no capacity', async () => {
  596. const ctx = await harness(new MockAdapter([textResponse('a'), textResponse('b')]))
  597. const agent = ctx.agentLoop.create(SessionId('capacity-absent'), { provider: 'mock', model: 'mock' })
  598. send(agent, 'first')
  599. await waitForIdle(ctx, agent)
  600. send(agent, 'second')
  601. await waitForIdle(ctx, agent)
  602. expect(agent.session.events
  603. .filter(event => event.type === 'request/context')
  604. .map(event => event.data)).toEqual([{ provider: 'mock', model: 'mock' }])
  605. })
  606. it('clears a previous capacity when the next route advertises none', async () => {
  607. const adapter = capacityAdapter({ known: 64_000 }, [textResponse('a'), textResponse('b')])
  608. const ctx = await harness(adapter)
  609. const agent = ctx.agentLoop.create(SessionId('capacity-clear'), { provider: 'mock', model: 'known' })
  610. let model = 'known'
  611. ctx.on('agent/request', ({ agent: subject }, next) => subject === agent
  612. ? Promise.resolve({ provider: 'mock', model })
  613. : next())
  614. send(agent, 'first')
  615. await waitForIdle(ctx, agent)
  616. model = 'unknown'
  617. send(agent, 'second')
  618. await waitForIdle(ctx, agent)
  619. expect(agent.session.events
  620. .filter(event => event.type === 'request/context')
  621. .map(event => event.data)).toEqual([
  622. { provider: 'mock', model: 'known', contextWindow: 64_000 },
  623. { provider: 'mock', model: 'unknown' },
  624. ])
  625. })
  626. })