loop.spec.ts 41 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958
  1. import { describe, expect, it } from 'vitest'
  2. import { Context } from 'cordis'
  3. import LlmService, { CallId, StreamChunk } from '@deepseek-ai/dsh-llm'
  4. import SessionStore, { SessionId, TurnEndReason } from '@deepseek-ai/dsh-session'
  5. import SystemPrompt from '@deepseek-ai/dsh-system-prompt'
  6. import ToolRegistry, { defineTool } from '@deepseek-ai/dsh-tools'
  7. import AgentRegistry, { AgentId } from '@deepseek-ai/dsh-agent'
  8. import AgentLoop, { ReactLoopAgent } from '@deepseek-ai/dsh-agent-loop'
  9. import { MockAdapter, maxTokensResponse, textResponse, toolCallResponse } from './mock-adapter.ts'
  10. async function harness(adapter: MockAdapter, persona = '') {
  11. const ctx = new Context()
  12. await ctx.plugin(LlmService)
  13. await ctx.plugin(SessionStore)
  14. await ctx.plugin(SystemPrompt, { persona })
  15. await ctx.plugin(ToolRegistry)
  16. await ctx.plugin(AgentRegistry)
  17. await ctx.plugin(AgentLoop, { agents: [] })
  18. ctx.llm.registerAdapter(['mock'], adapter)
  19. return ctx
  20. }
  21. /**
  22. * Wait for the agent's NEXT transition to idle. Always event-based: callers
  23. * invoke this right after send(), when the loop hasn't woken yet (status is
  24. * still 'idle' synchronously), so polling the current status would lie.
  25. */
  26. function waitForIdle(ctx: Context, agent: ReactLoopAgent): Promise<void> {
  27. return new Promise((resolve) => {
  28. const dispose = ctx.on('agent/status', (subject, status) => {
  29. if (subject === agent && status === 'idle') {
  30. dispose()
  31. resolve()
  32. }
  33. })
  34. })
  35. }
  36. function send(agent: ReactLoopAgent, text: string) {
  37. agent.send([{ type: 'text', text }])
  38. }
  39. describe('agent loop', () => {
  40. it('runs a simple turn: queued message → model → idle, with ordered events', async () => {
  41. const adapter = new MockAdapter([textResponse('hello there')])
  42. const ctx = await harness(adapter)
  43. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  44. // All boundaries — turn and step — are durable session events on the
  45. // session/event feed (no agent/* mirror). Record them in fire order to
  46. // assert the full boundary nesting.
  47. const order: string[] = []
  48. ctx.on('session/event', (_session, event) => {
  49. if (event.type === 'turn/start' || event.type === 'step/start' || event.type === 'step/end' || event.type === 'turn/end') {
  50. order.push(event.type)
  51. }
  52. })
  53. send(agent, 'hi')
  54. await waitForIdle(ctx, agent)
  55. expect(order).toEqual(['turn/start', 'step/start', 'step/end', 'turn/end'])
  56. const types = agent.session.events.map(e => e.type)
  57. // turn/start opens the turn, THEN the queued user message is recorded inside
  58. // it (every event is turn-enclosed), then the assembled message (carrying the
  59. // step's usage).
  60. expect(types[0]).toBe('turn/start')
  61. expect(types[1]).toBe('user/message')
  62. expect(types).toContain('assistant/message')
  63. const assistantMessage = agent.session.events.find(e => e.type === 'assistant/message')
  64. expect(assistantMessage?.type === 'assistant/message' && assistantMessage.data.usage).toEqual({ inputTokens: 10, outputTokens: 'hello there'.length })
  65. expect(types.at(-1)).toBe('turn/end')
  66. // derived history: user + assistant
  67. const messages = agent.session.deriveMessages()
  68. expect(messages.map(m => m.role)).toEqual(['user', 'assistant'])
  69. expect(messages[1]!.content).toEqual([{ type: 'text', text: 'hello there' }])
  70. })
  71. it('round-trips tool calls: model requests tool → executes → result in next request', async () => {
  72. const adapter = new MockAdapter([
  73. toolCallResponse('c1', 'echo', { text: 'ping' }, 'calling echo'),
  74. textResponse('done'),
  75. ])
  76. const ctx = await harness(adapter)
  77. ctx.tools.register(defineTool({
  78. name: 'echo',
  79. description: 'echo back',
  80. parameters: { text: { type: 'string' } },
  81. async execute(args) {
  82. return [{ type: 'text', text: `echo: ${args.text}` }]
  83. },
  84. }))
  85. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  86. send(agent, 'use the tool')
  87. await waitForIdle(ctx, agent)
  88. // two model calls happened (tool-call step, then final step)
  89. expect(adapter.requests).toHaveLength(2)
  90. // the second request's derived history contains the tool result
  91. const secondMessages = adapter.requests[1]!.messages
  92. const toolResultMessage = secondMessages.find(m =>
  93. m.content.some(b => b.type === 'tool-result'))
  94. expect(toolResultMessage).toBeDefined()
  95. const block = toolResultMessage!.content.find(b => b.type === 'tool-result')!
  96. expect(block).toMatchObject({ toolCallId: 'c1', isError: false })
  97. expect((block).content).toEqual([{ type: 'text', text: 'echo: ping' }])
  98. // session log records call + result
  99. const types = agent.session.events.map(e => e.type)
  100. expect(types).toContain('tool/call')
  101. expect(types).toContain('tool/result')
  102. })
  103. it('threads a tool-attached meta (execute object return) onto the tool/result event', async () => {
  104. const adapter = new MockAdapter([
  105. toolCallResponse('c1', 'writer', { path: 'a.txt' }, 'writing'),
  106. textResponse('done'),
  107. ])
  108. const ctx = await harness(adapter)
  109. // A tool that returns the { content, meta } object form: the loop must
  110. // persist `meta` on the tool/result event so a UI reproduces the card on replay.
  111. ctx.tools.register(defineTool({
  112. name: 'writer',
  113. description: 'writes a file',
  114. parameters: { path: { type: 'string' } },
  115. async execute() {
  116. return { content: [{ type: 'text', text: 'ok' }], meta: { diffs: [{ path: 'a.txt', oldText: null, newText: 'x' }] } }
  117. },
  118. }))
  119. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  120. send(agent, 'use the tool')
  121. await waitForIdle(ctx, agent)
  122. const toolResult = agent.session.events.find(e => e.type === 'tool/result')
  123. expect(toolResult?.type === 'tool/result' && toolResult.data.meta)
  124. .toEqual({ diffs: [{ path: 'a.txt', oldText: null, newText: 'x' }] })
  125. })
  126. it('renders harness identity, then the persona, then tool guidance — with {{variables}} resolved', async () => {
  127. const adapter = new MockAdapter([textResponse('ok')])
  128. // The persona is a TEMPLATE: {{model}} is the loop-registered variable
  129. // projecting this agent's configured model, so the model knows its own name.
  130. const ctx = await harness(adapter, 'You are a test agent on {{model}}.')
  131. ctx.systemPrompt.section({ name: 'tool:noop', order: 100, text: 'Use the noop tool wisely.' })
  132. ctx.tools.register(defineTool({
  133. name: 'noop',
  134. description: 'does nothing',
  135. parameters: {},
  136. async execute() {
  137. return []
  138. },
  139. }))
  140. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  141. send(agent, 'hi')
  142. await waitForIdle(ctx, agent)
  143. const request = adapter.requests[0]
  144. expect(request!.system).toBe('You are an AI agent powered by the DeepSeek Harness SDK.\n\nYou are a test agent on mock.\n\nUse the noop tool wisely.')
  145. expect(request!.tools?.map(t => t.name)).toEqual(['noop'])
  146. })
  147. it('resolves {{cwd}} from the agent session workspace (factory create with meta.cwd)', async () => {
  148. const adapter = new MockAdapter([textResponse('ok')])
  149. const ctx = await harness(adapter, 'Working in {{cwd}}.')
  150. const handle = ctx.agents.create({
  151. agentId: AgentId('a-cwd'),
  152. sessionId: SessionId('s-cwd'),
  153. meta: { cwd: '/work/space' },
  154. agentOptions: { model: 'mock' },
  155. })
  156. const agent = handle.agent as ReactLoopAgent
  157. send(agent, 'hi')
  158. await waitForIdle(ctx, agent)
  159. expect(adapter.requests[0]!.system).toBe('You are an AI agent powered by the DeepSeek Harness SDK.\n\nWorking in /work/space.')
  160. })
  161. it('contains a strict-variable render failure: the turn errors, the loop keeps serving turns', async () => {
  162. // A persona claiming {{cwd}} on a session with NO cwd is a deployment
  163. // authoring error — renderPrompt throws, the turn ends with an error, and
  164. // the same agent must then RUN a later turn to completion (not merely
  165. // report idle status): a rescue listener supplies the variable and the
  166. // follow-up prompt reaches the model.
  167. const adapter = new MockAdapter([textResponse('ok after rescue')])
  168. const ctx = await harness(adapter, 'In {{cwd}}.')
  169. const errors: Error[] = []
  170. ctx.on('agent/error', (_agent, _turn, _step, error) => void errors.push(error))
  171. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  172. send(agent, 'hi')
  173. await waitForIdle(ctx, agent)
  174. expect(adapter.requests).toHaveLength(0) // the request was never sent
  175. expect(errors.some(e => e.message.includes('no value for this assembly'))).toBe(true)
  176. const turnEnd = agent.session.events.find(e => e.type === 'turn/end')
  177. expect(turnEnd?.type === 'turn/end' && turnEnd.data.reason.kind).toBe('error')
  178. // The loop survived: a waterfall listener rescues {{cwd}} and the SAME
  179. // agent completes a real model turn.
  180. ctx.on('system-prompt/assemble', async (assembly, _context, next) => {
  181. assembly.variables['cwd'] = '/rescued'
  182. return next()
  183. })
  184. send(agent, 'again')
  185. await waitForIdle(ctx, agent)
  186. expect(adapter.requests).toHaveLength(1)
  187. expect(adapter.requests[0]!.system).toBe('You are an AI agent powered by the DeepSeek Harness SDK.\n\nIn /rescued.')
  188. const turnEnds = agent.session.events.filter(e => e.type === 'turn/end')
  189. expect(turnEnds).toHaveLength(2)
  190. expect(turnEnds[1]?.type === 'turn/end' && turnEnds[1].data.reason.kind).toBe('completed')
  191. })
  192. it('supports the model-via-agent/request path with a {{model}} persona: the supplier states it via the assemble waterfall', async () => {
  193. // AgentOptions.model unset: the model arrives in the agent/request
  194. // waterfall (the loop's documented fallback — see runStep's no-model
  195. // error). {{model}} renders BEFORE that waterfall, so the SAME plugin
  196. // states the fact early on system-prompt/assemble — the owner of a
  197. // late-bound fact owns stating it wherever it is claimed.
  198. const adapter = new MockAdapter([textResponse('ok')])
  199. const ctx = await harness(adapter, 'You run on {{model}}.')
  200. ctx.on('system-prompt/assemble', async (assembly, _context, next) => {
  201. assembly.variables['model'] = 'mock'
  202. return next()
  203. })
  204. ctx.on('agent/request', async (_agent, _turn, _step, config, _next) => {
  205. return { ...config, model: 'mock' }
  206. })
  207. const agent = ctx.agentLoop.create(AgentId('a-late-model'), {})
  208. send(agent, 'hi')
  209. await waitForIdle(ctx, agent)
  210. expect(adapter.requests).toHaveLength(1)
  211. expect(adapter.requests[0]!.model).toBe('mock')
  212. expect(adapter.requests[0]!.system).toBe('You are an AI agent powered by the DeepSeek Harness SDK.\n\nYou run on mock.')
  213. })
  214. it('omits the system field when a system-prompt/assemble veto empties the assembly', async () => {
  215. // The documented escape valve: a deployment that must drop the harness
  216. // openers short-circuits the assemble waterfall; the request then carries
  217. // NO system field at all (not an empty string).
  218. const adapter = new MockAdapter([textResponse('ok')])
  219. const ctx = await harness(adapter)
  220. ctx.on('system-prompt/assemble', async () => ({ sections: [], tools: [], variables: {} }))
  221. const agent = ctx.agentLoop.create(AgentId('a-no-system'), { model: 'mock' })
  222. send(agent, 'hi')
  223. await waitForIdle(ctx, agent)
  224. expect(adapter.requests).toHaveLength(1)
  225. expect('system' in adapter.requests[0]!).toBe(false)
  226. })
  227. it('records raw chunks for replay as assistant/chunk session events', async () => {
  228. const adapter = new MockAdapter([textResponse('abc')])
  229. const ctx = await harness(adapter)
  230. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  231. send(agent, 'hi')
  232. await waitForIdle(ctx, agent)
  233. const chunkEvents = agent.session.events.filter(e => e.type === 'assistant/chunk')
  234. // textResponse('abc') = block-start + 3 deltas + block-end + usage + finish = 7
  235. expect(chunkEvents).toHaveLength(7)
  236. // replay: chunk events alone re-assemble to the recorded assistant message
  237. const deltaText = chunkEvents
  238. .flatMap(e => e.type === 'assistant/chunk' ? [e.data.chunk] : [])
  239. .filter((c: StreamChunk): c is Extract<StreamChunk, { type: 'text-delta' }> => c.type === 'text-delta')
  240. .map(c => c.text)
  241. .join('')
  242. expect(deltaText).toBe('abc')
  243. })
  244. it('injects steering between steps and continues the turn', async () => {
  245. const adapter = new MockAdapter([
  246. toolCallResponse('c1', 'slow', {}),
  247. textResponse('addressed the steering'),
  248. ])
  249. const ctx = await harness(adapter)
  250. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  251. ctx.tools.register(defineTool({
  252. name: 'slow',
  253. description: '',
  254. parameters: {},
  255. async execute() {
  256. // steer while the turn is running (during tool execution)
  257. agent.steer([{ type: 'text', text: 'change of plans' }])
  258. return [{ type: 'text', text: 'tool done' }]
  259. },
  260. }))
  261. send(agent, 'start')
  262. await waitForIdle(ctx, agent)
  263. const types = agent.session.events.map(e => e.type)
  264. expect(types).toContain('steering/message')
  265. // steering recorded before the second step's request derived its history
  266. const steeringSeq = agent.session.events.find(e => e.type === 'steering/message')!.seq
  267. const secondStepStart = agent.session.events.filter(e => e.type === 'step/start')[1]
  268. expect(secondStepStart).toBeDefined()
  269. expect(steeringSeq).toBeLessThan(secondStepStart!.seq)
  270. // the second model request saw the steering content
  271. const secondRequest = adapter.requests[1]
  272. const flat = JSON.stringify(secondRequest!.messages)
  273. expect(flat).toContain('change of plans')
  274. })
  275. it('steering while idle behaves like send (starts a turn)', async () => {
  276. const adapter = new MockAdapter([textResponse('ok')])
  277. const ctx = await harness(adapter)
  278. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  279. agent.steer([{ type: 'text', text: 'hello' }])
  280. await waitForIdle(ctx, agent)
  281. expect(agent.session.events.some(e => e.type === 'user/message')).toBe(true)
  282. })
  283. it('inject() while idle wraps context in a one-shot turn, visible to the next request', async () => {
  284. const adapter = new MockAdapter([textResponse('ok')])
  285. const ctx = await harness(adapter)
  286. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  287. agent.inject([{ type: 'text', text: 'file changed: a.ts' }], { source: { kind: 'plugin', plugin: 'watcher' } })
  288. // The idle inject records a self-contained turn (turn/start → context/message
  289. // → turn/end) so the event stays turn-enclosed, but does NOT run the model.
  290. await new Promise(r => setTimeout(r, 20))
  291. expect(agent.status).toBe('idle')
  292. expect(adapter.requests).toHaveLength(0)
  293. const injectedTurn = agent.session.events.filter(e => e.type === 'turn/start')
  294. expect(injectedTurn).toHaveLength(1)
  295. const it0 = injectedTurn[0]!
  296. expect(it0.type === 'turn/start' && it0.data.trigger.kind).toBe('injection')
  297. expect(agent.session.events.at(-1)!.type).toBe('turn/end') // turn-enclosed
  298. send(agent, 'go')
  299. await waitForIdle(ctx, agent)
  300. const flat = JSON.stringify(adapter.requests[0]!.messages)
  301. expect(flat).toContain('file changed: a.ts')
  302. expect(flat).toContain('<context source=\\"plugin\\">')
  303. })
  304. it('inject() while running appends into the open turn (no extra synthetic turn)', async () => {
  305. const adapter = new MockAdapter([
  306. toolCallResponse('c1', 'noticer', {}, 'calling'),
  307. textResponse('done'),
  308. ])
  309. const ctx = await harness(adapter)
  310. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  311. // A tool that injects mid-execution: at this point the agent is running, so
  312. // inject must append the context/message into the ALREADY-open turn rather
  313. // than wrap it in its own one-shot turn.
  314. ctx.tools.register(defineTool({
  315. name: 'noticer',
  316. description: 'injects a notice',
  317. parameters: {},
  318. async execute() {
  319. agent.inject([{ type: 'text', text: 'mid-turn notice' }], { source: { kind: 'plugin', plugin: 'x' } })
  320. return [{ type: 'text', text: 'ok' }]
  321. },
  322. }))
  323. send(agent, 'go')
  324. await waitForIdle(ctx, agent)
  325. // Exactly ONE turn ran (no synthetic injection turn), and the mid-turn
  326. // context/message sits inside it.
  327. const turnStarts = agent.session.events.filter(e => e.type === 'turn/start')
  328. expect(turnStarts).toHaveLength(1)
  329. const ts0 = turnStarts[0]!
  330. expect(ts0.type === 'turn/start' && ts0.data.trigger.kind).toBe('message')
  331. expect(agent.session.events.some(e => e.type === 'context/message')).toBe(true)
  332. })
  333. it('agent/turn-continuation can force-continue (/loop pattern) and force-stop', async () => {
  334. // force-continue: model never calls tools, but a plugin forces 3 steps
  335. const adapter = new MockAdapter([
  336. textResponse('step 1'),
  337. textResponse('step 2'),
  338. textResponse('step 3'),
  339. ])
  340. const ctx = await harness(adapter)
  341. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  342. let steps = 0
  343. ctx.on('session/event', (_session, event) => { if (event.type === 'step/end') steps++ })
  344. ctx.on('agent/turn-continuation', async (_agent, _turn, _defaultDecision, next) => {
  345. if (steps < 3) return { action: 'continue' as const }
  346. return next()
  347. })
  348. send(agent, 'go')
  349. await waitForIdle(ctx, agent)
  350. expect(steps).toBe(3)
  351. expect(adapter.requests).toHaveLength(3)
  352. })
  353. it('agent/turn-continuation can veto continuation despite tool calls (budget-guard pattern)', async () => {
  354. const adapter = new MockAdapter([toolCallResponse('c1', 'echo', { text: 'x' })])
  355. const ctx = await harness(adapter)
  356. ctx.tools.register(defineTool({
  357. name: 'echo',
  358. description: '',
  359. parameters: { text: { type: 'string' } },
  360. async execute(args) {
  361. return [{ type: 'text', text: String(args.text) }]
  362. },
  363. }))
  364. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  365. ctx.on('agent/turn-continuation', async () => ({ action: 'stop' }) as const)
  366. send(agent, 'go')
  367. await waitForIdle(ctx, agent)
  368. // only one model call despite the tool call requesting a follow-up
  369. expect(adapter.requests).toHaveLength(1)
  370. // tool still executed before the decision
  371. expect(agent.session.events.some(e => e.type === 'tool/result')).toBe(true)
  372. })
  373. it('agent/request waterfall switches models by returning a replacement config; the switch is logged', async () => {
  374. const adapter = new MockAdapter([textResponse('ok')])
  375. const ctx = await harness(adapter)
  376. ctx.llm.registerAdapter(['other-model'], adapter)
  377. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  378. ctx.on('agent/request', async (_agent, _turn, _step, config, _next) => {
  379. // The seed is frozen — config is not a mutable per-call knob; a switch
  380. // is proposed by returning a replacement, and the loop logs it.
  381. expect(Object.isFrozen(config)).toBe(true)
  382. expect(() => { (config as { model: string }).model = 'other-model' }).toThrow(TypeError)
  383. return { ...config, model: 'other-model' }
  384. })
  385. send(agent, 'hi')
  386. await waitForIdle(ctx, agent)
  387. expect(adapter.requests[0]!.model).toBe('other-model')
  388. // The header event records what the request ACTUALLY used — the switch is
  389. // a reconstructable fact, not silent drift.
  390. const headerEvent = agent.session.events.find(e => e.type === 'request/header')
  391. expect(headerEvent?.type === 'request/header' && headerEvent.data.header.config.model).toBe('other-model')
  392. })
  393. it('agent/pre-step fires once per step before the step is opened', async () => {
  394. // Two steps (a tool call, then a final text turn) → two model calls → two
  395. // pre-step fires, each carrying the assembled full system prompt, BEFORE
  396. // the step is opened and its request is derived (the request the adapter
  397. // sees reflects any surface state at fire time).
  398. const adapter = new MockAdapter([
  399. toolCallResponse('c1', 'echo', {}, 'calling echo'),
  400. textResponse('done'),
  401. ])
  402. const ctx = await harness(adapter)
  403. ctx.tools.register(defineTool({
  404. name: 'echo', description: 'echo', parameters: {},
  405. async execute() { return [{ type: 'text', text: 'echoed' }] },
  406. }))
  407. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  408. const fires: { turn: number; step: number; fullSystemPrompt: string }[] = []
  409. ctx.on('agent/pre-step', (subject, turn, step, fullSystemPrompt) => {
  410. if (subject === agent) fires.push({ turn, step, fullSystemPrompt })
  411. })
  412. send(agent, 'go')
  413. await waitForIdle(ctx, agent)
  414. // One fire per step, in order, each with the assembled system prompt
  415. // (here just the loop's own harness-identity section — no persona set).
  416. const HARNESS = 'You are an AI agent powered by the DeepSeek Harness SDK.'
  417. expect(fires).toEqual([
  418. { turn: 1, step: 1, fullSystemPrompt: HARNESS },
  419. { turn: 1, step: 2, fullSystemPrompt: HARNESS },
  420. ])
  421. })
  422. it('agent/pre-step fires BEFORE the step it precedes opens (events land outside the step)', async () => {
  423. // A listener appending a surface node in pre-step lands it BEFORE step/start
  424. // in the log — proving the seam fires outside the step. The node is still in
  425. // the derived request for that step (derive happens after step/start).
  426. const adapter = new MockAdapter([textResponse('ok')])
  427. const ctx = await harness(adapter)
  428. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  429. let injected = false
  430. ctx.on('agent/pre-step', (subject) => {
  431. if (subject === agent && !injected) {
  432. injected = true
  433. subject.session.append('context/message', {
  434. content: [{ type: 'text', text: 'INJECTED-IN-PRE-STEP' }],
  435. source: { kind: 'plugin', plugin: 'test' },
  436. }, { surfaceOp: 'append' })
  437. }
  438. })
  439. send(agent, 'go')
  440. await waitForIdle(ctx, agent)
  441. // The adapter's request includes the node injected during pre-step (derive
  442. // reflects it).
  443. const text = JSON.stringify(adapter.requests[0]!.messages)
  444. expect(text).toContain('INJECTED-IN-PRE-STEP')
  445. // And the injected event sits BEFORE the first step/start in the log —
  446. // the seam fired outside the step.
  447. const events = agent.session.events
  448. const injectedSeq = events.find(e => e.type === 'context/message')!.seq
  449. const firstStepStartSeq = events.find(e => e.type === 'step/start')!.seq
  450. expect(injectedSeq).toBeLessThan(firstStepStartSeq)
  451. })
  452. it('a throwing agent/pre-step listener ends the turn (error), not the loop', async () => {
  453. // The seam fires before step/start, so a throw escapes to runTurn's outer
  454. // catch: the not-yet-open step closes as a no-op, the failure surfaces via
  455. // agent/error, and the turn ends `error` (recorded on the durable turn/end).
  456. // The loop survives and a follow-up prompt still runs.
  457. const adapter = new MockAdapter([textResponse('second turn ok')])
  458. const ctx = await harness(adapter)
  459. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  460. let throwOnce = true
  461. ctx.on('agent/pre-step', () => {
  462. if (throwOnce) { throwOnce = false; throw new Error('boom in pre-step') }
  463. })
  464. const errors: Error[] = []
  465. ctx.on('agent/error', (_a, _t, _s, error) => void errors.push(error))
  466. send(agent, 'first')
  467. await waitForIdle(ctx, agent)
  468. // The first turn failed at step 1 (no model call happened), surfaced via
  469. // agent/error, with the durable failure on turn/end.reason.
  470. expect(errors).toHaveLength(1)
  471. expect(errors[0]!.message).toContain('boom in pre-step')
  472. expect(adapter.requests.length).toBe(0)
  473. const firstTurnEnd = agent.session.events.find(e => e.type === 'turn/end')
  474. expect(firstTurnEnd?.type === 'turn/end' && firstTurnEnd.data.reason).toMatchObject({ kind: 'error', step: 1 })
  475. // The step opened-and-closed count stays balanced even though it never ran.
  476. const types = agent.session.events.map(e => e.type)
  477. expect(types.filter(t => t === 'step/start').length).toBe(types.filter(t => t === 'step/end').length)
  478. // The loop survived: a second prompt runs a normal completed turn.
  479. send(agent, 'second')
  480. await waitForIdle(ctx, agent)
  481. expect(adapter.requests.length).toBe(1)
  482. const lastTurnEnd = agent.session.events.findLast(e => e.type === 'turn/end')
  483. expect(lastTurnEnd?.type === 'turn/end' && lastTurnEnd.data.reason).toEqual({ kind: 'completed' })
  484. })
  485. it('cancel() mid-stream ends the turn with reason aborted', async () => {
  486. const adapter = new MockAdapter(['hang'])
  487. const ctx = await harness(adapter)
  488. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  489. const reasons: TurnEndReason[] = []
  490. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  491. send(agent, 'go')
  492. // wait until the stream is hanging, then cancel
  493. await new Promise(r => setTimeout(r, 30))
  494. expect(agent.status).toBe('running')
  495. agent.cancel('user interrupt')
  496. await waitForIdle(ctx, agent)
  497. expect(reasons).toEqual([{ kind: 'aborted', reason: 'user interrupt' }])
  498. })
  499. it('surfaces max-tokens as the turn-end reason when the last step is cut off', async () => {
  500. // A single step that ends with a max-tokens finish (no tool calls): the
  501. // turn stops by default and ends max-tokens, not completed.
  502. const adapter = new MockAdapter([maxTokensResponse('truncat')])
  503. const ctx = await harness(adapter)
  504. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  505. const reasons: TurnEndReason[] = []
  506. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  507. send(agent, 'go')
  508. await waitForIdle(ctx, agent)
  509. expect(adapter.requests).toHaveLength(1)
  510. expect(reasons).toEqual([{ kind: 'max-tokens' }])
  511. // and the reason is recorded in the log's turn/end event
  512. const turnEnd = agent.session.events.findLast(e => e.type === 'turn/end')
  513. expect(turnEnd!.data.reason).toEqual({ kind: 'max-tokens' })
  514. })
  515. it('a max-tokens step earlier in a turn still surfaces as max-tokens after a later completed step', async () => {
  516. // Step 1 is cut off (max-tokens, no tool calls → would stop by default), so
  517. // continuation must be FORCED to reach step 2 which finishes normally
  518. // (stop). The rule "any max-tokens step surfaces as max-tokens" means the
  519. // turn ends max-tokens even though the LAST step completed cleanly.
  520. const adapter = new MockAdapter([
  521. maxTokensResponse('first half'),
  522. textResponse('second half'),
  523. ])
  524. const ctx = await harness(adapter)
  525. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  526. let steps = 0
  527. ctx.on('session/event', (_session, event) => { if (event.type === 'step/end') steps++ })
  528. // Force exactly one continuation (step 1 → step 2), then defer to default
  529. // (step 2 is a plain stop with no tool calls → stops).
  530. ctx.on('agent/turn-continuation', async (_agent, _turn, _defaultDecision, next) => {
  531. if (steps < 2) return { action: 'continue' as const }
  532. return next()
  533. })
  534. const reasons: TurnEndReason[] = []
  535. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  536. send(agent, 'go')
  537. await waitForIdle(ctx, agent)
  538. expect(steps).toBe(2)
  539. expect(adapter.requests).toHaveLength(2)
  540. expect(adapter.requests[1]!.messages).toEqual([
  541. { role: 'user', content: [{ type: 'text', text: 'go' }] },
  542. { role: 'assistant', content: [{ type: 'text', text: 'first half' }] },
  543. ])
  544. expect(reasons).toEqual([{ kind: 'max-tokens' }])
  545. })
  546. it('a completed step after no max-tokens keeps the turn completed (max-tokens does not leak across turns)', async () => {
  547. // Two consecutive turns: turn 1 is cut off (max-tokens), turn 2 is a clean
  548. // stop. The per-turn reason must be independent — turn 2 ends completed.
  549. const adapter = new MockAdapter([maxTokensResponse('cut'), textResponse('clean')])
  550. const ctx = await harness(adapter)
  551. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  552. const reasons: TurnEndReason[] = []
  553. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  554. send(agent, 'first')
  555. await waitForIdle(ctx, agent)
  556. send(agent, 'second')
  557. await waitForIdle(ctx, agent)
  558. expect(reasons).toEqual([{ kind: 'max-tokens' }, { kind: 'completed' }])
  559. })
  560. it('does not dispatch tool calls from a max-tokens-truncated step', async () => {
  561. const callId = CallId('c1')
  562. const adapter = new MockAdapter([[
  563. { type: 'block-start', index: 0, blockType: 'tool-call' },
  564. { type: 'tool-call-delta', index: 0, id: callId, name: 'echo', argumentsDelta: '{"text":"x"}' },
  565. { type: 'block-end', index: 0, block: { type: 'tool-call', id: callId, name: 'echo', arguments: '{"text":"x"}' } },
  566. { type: 'usage', usage: { inputTokens: 10, outputTokens: 5 } },
  567. { type: 'finish', reason: { kind: 'max-tokens' } },
  568. ]])
  569. const ctx = await harness(adapter)
  570. let executions = 0
  571. ctx.tools.register(defineTool({
  572. name: 'echo',
  573. description: '',
  574. parameters: { text: { type: 'string' } },
  575. async execute() {
  576. executions += 1
  577. return [{ type: 'text', text: 'should not run' }]
  578. },
  579. }))
  580. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  581. const reasons: TurnEndReason[] = []
  582. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  583. send(agent, 'go')
  584. await waitForIdle(ctx, agent)
  585. expect(executions).toBe(0)
  586. expect(agent.session.events.some(e => e.type === 'tool/call')).toBe(false)
  587. expect(agent.session.deriveMessages()).toEqual([{ role: 'user', content: [{ type: 'text', text: 'go' }] }])
  588. expect(reasons).toEqual([{ kind: 'max-tokens' }])
  589. // No-data-loss: a max-tokens step whose only content was a dropped tool call
  590. // has EMPTY assistant content, but its usage must still be represented. It
  591. // rides on an (empty-content) assistant/message — there is no standalone
  592. // usage event — and that empty message is skipped by deriveMessages(), so
  593. // the derived history above is NOT corrupted by a spurious assistant turn.
  594. const assistantMessage = agent.session.events.find(e => e.type === 'assistant/message')
  595. expect(assistantMessage?.type === 'assistant/message' && assistantMessage.data).toEqual({
  596. turn: 1, step: 1, content: [], usage: { inputTokens: 10, outputTokens: 5 },
  597. })
  598. })
  599. it('appends no assistant/message for a max-tokens step with empty content and no usage', async () => {
  600. // A max-tokens step truncated to a dropped tool call AND with no usage chunk
  601. // has nothing to record: empty content and no accounting → no assistant/message
  602. // (the empty-content host exists only to carry usage). The turn still ends
  603. // max-tokens.
  604. const callId = CallId('c1')
  605. const adapter = new MockAdapter([[
  606. { type: 'block-start', index: 0, blockType: 'tool-call' },
  607. { type: 'tool-call-delta', index: 0, id: callId, name: 'echo', argumentsDelta: '{"text":"x"}' },
  608. { type: 'block-end', index: 0, block: { type: 'tool-call', id: callId, name: 'echo', arguments: '{"text":"x"}' } },
  609. { type: 'finish', reason: { kind: 'max-tokens' } },
  610. ]])
  611. const ctx = await harness(adapter)
  612. ctx.tools.register(defineTool({
  613. name: 'echo',
  614. description: '',
  615. parameters: { text: { type: 'string' } },
  616. async execute() { return [{ type: 'text', text: 'should not run' }] },
  617. }))
  618. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  619. const reasons: TurnEndReason[] = []
  620. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  621. send(agent, 'go')
  622. await waitForIdle(ctx, agent)
  623. expect(reasons).toEqual([{ kind: 'max-tokens' }])
  624. expect(agent.session.events.some(e => e.type === 'assistant/message')).toBe(false)
  625. expect(agent.session.deriveMessages()).toEqual([{ role: 'user', content: [{ type: 'text', text: 'go' }] }])
  626. })
  627. it('appends no assistant/message for a normal stop finish with empty content and no usage', async () => {
  628. // A clean `stop` finish that streamed nothing assembled (no blocks) and
  629. // carried no usage chunk has nothing to record: the content-or-usage guard
  630. // on the normal step path suppresses a pure trace-only empty assistant/message.
  631. const adapter = new MockAdapter([[{ type: 'finish', reason: { kind: 'stop' } }]])
  632. const ctx = await harness(adapter)
  633. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  634. const reasons: TurnEndReason[] = []
  635. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  636. send(agent, 'go')
  637. await waitForIdle(ctx, agent)
  638. expect(reasons).toEqual([{ kind: 'completed' }])
  639. expect(agent.session.events.some(e => e.type === 'assistant/message')).toBe(false)
  640. expect(agent.session.deriveMessages()).toEqual([{ role: 'user', content: [{ type: 'text', text: 'go' }] }])
  641. })
  642. it('keeps safe max-tokens assistant content while dropping truncated tool calls', async () => {
  643. const callId = CallId('c1')
  644. const adapter = new MockAdapter([[
  645. { type: 'block-start', index: 0, blockType: 'text' },
  646. { type: 'text-delta', index: 0, text: 'partial text' },
  647. { type: 'block-end', index: 0, block: { type: 'text', text: 'partial text' } },
  648. { type: 'block-start', index: 1, blockType: 'tool-call' },
  649. { type: 'tool-call-delta', index: 1, id: callId, name: 'echo', argumentsDelta: '{"text"' },
  650. { type: 'finish', reason: { kind: 'max-tokens' } },
  651. ]])
  652. const ctx = await harness(adapter)
  653. let stepResults = 0
  654. ctx.on('agent/step-result', async (_agent, _turn, _step, message, next) => {
  655. stepResults += 1
  656. expect(message.content).toEqual([{ type: 'text', text: 'partial text' }])
  657. return next()
  658. })
  659. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  660. send(agent, 'go')
  661. await waitForIdle(ctx, agent)
  662. expect(stepResults).toBe(1)
  663. expect(agent.session.events.some(e => e.type === 'tool/call')).toBe(false)
  664. expect(agent.session.deriveMessages()).toEqual([
  665. { role: 'user', content: [{ type: 'text', text: 'go' }] },
  666. { role: 'assistant', content: [{ type: 'text', text: 'partial text' }] },
  667. ])
  668. })
  669. it('stops the turn when a step/end session-event listener failure has recorded an error', async () => {
  670. const adapter = new MockAdapter([
  671. toolCallResponse('c1', 'echo', { text: 'x' }),
  672. textResponse('should not run'),
  673. ])
  674. const ctx = await harness(adapter)
  675. ctx.tools.register(defineTool({
  676. name: 'echo',
  677. description: '',
  678. parameters: { text: { type: 'string' } },
  679. async execute(args) {
  680. return [{ type: 'text', text: String(args.text) }]
  681. },
  682. }))
  683. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  684. let threw = false
  685. // A throwing step/end session-event listener is the surviving boundary-listener
  686. // failure path (step boundaries have no agent/* mirror): closeStep contains it
  687. // and surfaces it as a turn error rather than stranding the turn open.
  688. ctx.on('session/event', (_session, event) => {
  689. if (event.type === 'step/end' && !threw) { threw = true; throw new Error('bad step/end listener') }
  690. })
  691. send(agent, 'go')
  692. await waitForIdle(ctx, agent)
  693. expect(adapter.requests).toHaveLength(1)
  694. const turnEnd = agent.session.events.findLast(e => e.type === 'turn/end')
  695. expect(turnEnd?.type === 'turn/end' && turnEnd.data.reason.kind).toBe('error')
  696. })
  697. it('chains queued messages into consecutive turns', async () => {
  698. const adapter = new MockAdapter([textResponse('first'), textResponse('second')])
  699. const ctx = await harness(adapter)
  700. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  701. const turns: number[] = []
  702. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/start') turns.push(event.data.turn) })
  703. // queue two messages while idle — first starts turn 1 immediately;
  704. // queue the second during turn 1 when the first assistant chunk streams
  705. let queued = false
  706. ctx.on('session/event', (_s, event) => {
  707. if (event.type === 'assistant/chunk' && !queued) {
  708. queued = true
  709. send(agent, 'second message')
  710. }
  711. })
  712. send(agent, 'first message')
  713. await waitForIdle(ctx, agent)
  714. expect(turns).toEqual([1, 2])
  715. expect(adapter.requests).toHaveLength(2)
  716. })
  717. it('awaits session/flush at turn end (persistence checkpoint)', async () => {
  718. const adapter = new MockAdapter([textResponse('ok')])
  719. const ctx = await harness(adapter)
  720. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  721. let flushed = 0
  722. let flushedBeforeIdle = false
  723. ctx.on('session/flush', async (session) => {
  724. await new Promise(r => setTimeout(r, 10))
  725. flushed++
  726. flushedBeforeIdle = agent.status !== 'idle'
  727. void session
  728. })
  729. send(agent, 'hi')
  730. await waitForIdle(ctx, agent)
  731. expect(flushed).toBe(1)
  732. expect(flushedBeforeIdle).toBe(true)
  733. })
  734. it('errors from the model surface as agent/error and end the turn', async () => {
  735. const adapter = new MockAdapter([]) // script exhausted → throws
  736. const ctx = await harness(adapter)
  737. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  738. const errors: Error[] = []
  739. const reasons: TurnEndReason[] = []
  740. ctx.on('agent/error', (_agent, _turn, _step, error) => void errors.push(error))
  741. ctx.on('session/event', (_s, event) => { if (event.type === 'turn/end') reasons.push(event.data.reason) })
  742. send(agent, 'hi')
  743. await waitForIdle(ctx, agent)
  744. expect(errors).toHaveLength(1)
  745. expect(errors[0]!.message).toContain('script exhausted')
  746. expect(reasons[0]).toMatchObject({ kind: 'error' })
  747. // The durable failure lives entirely on turn/end.reason (with the failing
  748. // step), not a standalone error event.
  749. const turnEnd = agent.session.events.find(e => e.type === 'turn/end')
  750. expect(turnEnd?.type === 'turn/end' && turnEnd.data.reason).toMatchObject({ kind: 'error', step: 1 })
  751. })
  752. it('disposing the loop fiber mid-turn stops the loop (HMR safety)', async () => {
  753. const adapter = new MockAdapter(['hang'])
  754. const ctx = await harness(adapter)
  755. let agent!: ReactLoopAgent
  756. const fiber = await ctx.plugin(Object.assign((inner: Context) => {
  757. agent = inner.agentLoop.create(AgentId('scoped'), { model: 'mock' })
  758. }, { inject: ['agentLoop'] }))
  759. expect(ctx.agents.get(AgentId('scoped'))).toBe(agent)
  760. send(agent, 'go')
  761. await new Promise(r => setTimeout(r, 30))
  762. expect(agent.status).toBe('running')
  763. await fiber.dispose()
  764. await agent.done
  765. expect(agent.status).toBe('disposed')
  766. expect(ctx.agents.get(AgentId('scoped'))).toBeUndefined()
  767. expect(() => { send(agent, 'too late') }).toThrow('disposed')
  768. })
  769. it('creates agents from config on startup', async () => {
  770. const adapter = new MockAdapter([textResponse('from config')])
  771. const ctx = new Context()
  772. await ctx.plugin(LlmService)
  773. await ctx.plugin(SessionStore)
  774. await ctx.plugin(SystemPrompt)
  775. await ctx.plugin(ToolRegistry)
  776. await ctx.plugin(AgentRegistry)
  777. await ctx.plugin(AgentLoop, {
  778. agents: [{ id: AgentId('config-agent'), model: 'mock' }],
  779. })
  780. ctx.llm.registerAdapter(['mock'], adapter)
  781. const agent = ctx.agents.get(AgentId('config-agent'))! as ReactLoopAgent
  782. expect(agent).toBeDefined()
  783. expect(agent.id).toBe('config-agent')
  784. expect(agent.options.model).toBe('mock')
  785. // the agent is alive: send triggers a turn
  786. send(agent, 'hi')
  787. await waitForIdle(ctx, agent)
  788. expect(adapter.requests).toHaveLength(1)
  789. })
  790. it('attaches config agent cwd to the fresh session header', async () => {
  791. const ctx = new Context()
  792. await ctx.plugin(LlmService)
  793. await ctx.plugin(SessionStore)
  794. await ctx.plugin(SystemPrompt)
  795. await ctx.plugin(ToolRegistry)
  796. await ctx.plugin(AgentRegistry)
  797. await ctx.plugin(AgentLoop, {
  798. agents: [{ id: AgentId('config-agent'), model: 'mock', cwd: '/work/project' }],
  799. })
  800. const agent = ctx.agents.get(AgentId('config-agent'))! as ReactLoopAgent
  801. expect(agent.session.header.cwd).toBe('/work/project')
  802. })
  803. it('replays a session log into an identical derived history', async () => {
  804. const adapter = new MockAdapter([
  805. toolCallResponse('c1', 'echo', { text: 'x' }),
  806. textResponse('done'),
  807. ])
  808. const ctx = await harness(adapter)
  809. ctx.tools.register(defineTool({
  810. name: 'echo',
  811. description: '',
  812. parameters: { text: { type: 'string' } },
  813. async execute(args) {
  814. return [{ type: 'text', text: String(args.text) }]
  815. },
  816. }))
  817. const agent = ctx.agentLoop.create(AgentId('a1'), { model: 'mock' })
  818. send(agent, 'run')
  819. await waitForIdle(ctx, agent)
  820. const replayed = ctx.sessions.create(SessionId('replayed'), { seed: [...agent.session.events] })
  821. expect(replayed.deriveMessages()).toEqual(agent.session.deriveMessages())
  822. // event-by-event identity of types
  823. expect(replayed.events.map(e => e.type)).toEqual(
  824. agent.session.events.map(e => e.type))
  825. })
  826. })