request-reconstruction.spec.ts 29 KB

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