session-runner.test.ts 129 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546
  1. import { describe, expect } from "bun:test"
  2. import {
  3. LLMClient,
  4. LLMError,
  5. LLMEvent,
  6. Model,
  7. TransportReason,
  8. InvalidRequestReason,
  9. type LLMClientShape,
  10. type LLMRequest,
  11. } from "@opencode-ai/llm"
  12. import * as OpenAIChat from "@opencode-ai/llm/protocols/openai-chat"
  13. import { Database } from "@opencode-ai/core/database/database"
  14. import { EventV2 } from "@opencode-ai/core/event"
  15. import { PermissionV2 } from "@opencode-ai/core/permission"
  16. import { EventTable } from "@opencode-ai/core/event/sql"
  17. import { Project } from "@opencode-ai/core/project"
  18. import { ProjectTable } from "@opencode-ai/core/project/sql"
  19. import { QuestionV2 } from "@opencode-ai/core/question"
  20. import { AbsolutePath } from "@opencode-ai/core/schema"
  21. import { SessionV2 } from "@opencode-ai/core/session"
  22. import { ContextSnapshotDecodeError } from "@opencode-ai/core/session/error"
  23. import { SessionEvent } from "@opencode-ai/core/session/event"
  24. import { SessionInput } from "@opencode-ai/core/session/input"
  25. import { SessionMessage } from "@opencode-ai/core/session/message"
  26. import { Prompt } from "@opencode-ai/core/session/prompt"
  27. import { SessionProjector } from "@opencode-ai/core/session/projector"
  28. import { SessionExecution } from "@opencode-ai/core/session/execution"
  29. import { SessionContextEpoch } from "@opencode-ai/core/session/context-epoch"
  30. import { SessionRunCoordinator } from "@opencode-ai/core/session/run-coordinator"
  31. import { SessionRunner } from "@opencode-ai/core/session/runner"
  32. import * as SessionRunnerLLM from "@opencode-ai/core/session/runner/llm"
  33. import { SessionRunnerModel } from "@opencode-ai/core/session/runner/model"
  34. import { ToolRegistry } from "@opencode-ai/core/tool/registry"
  35. import { ToolOutputStore } from "@opencode-ai/core/tool-output-store"
  36. import { ApplicationTools } from "@opencode-ai/core/tool/application-tools"
  37. import { AgentV2 } from "@opencode-ai/core/agent"
  38. import { Config } from "@opencode-ai/core/config"
  39. import { ConfigCompaction } from "@opencode-ai/core/config/compaction"
  40. import { Tool } from "@opencode-ai/core/tool/tool"
  41. import {
  42. SessionContextEpochTable,
  43. SessionInputTable,
  44. SessionMessageTable,
  45. SessionTable,
  46. } from "@opencode-ai/core/session/sql"
  47. import { SessionStore } from "@opencode-ai/core/session/store"
  48. import { SystemContext } from "@opencode-ai/core/system-context"
  49. import { SystemContextRegistry } from "@opencode-ai/core/system-context/registry"
  50. import { SkillGuidance } from "@opencode-ai/core/skill/guidance"
  51. import { ReferenceGuidance } from "@opencode-ai/core/reference/guidance"
  52. import { ModelV2 } from "@opencode-ai/core/model"
  53. import { Location } from "@opencode-ai/core/location"
  54. import { ProviderV2 } from "@opencode-ai/core/provider"
  55. import { Cause, DateTime, Deferred, Effect, Exit, Fiber, Layer, Schema, Stream } from "effect"
  56. import { asc, eq } from "drizzle-orm"
  57. import { testEffect } from "./lib/effect"
  58. const database = Database.layerFromPath(":memory:")
  59. const events = EventV2.layer.pipe(Layer.provide(database))
  60. const questions = QuestionV2.layer.pipe(Layer.provide(events))
  61. const projector = SessionProjector.layer.pipe(Layer.provide(events), Layer.provide(database))
  62. const store = SessionStore.layer.pipe(Layer.provide(database))
  63. const requests: LLMRequest[] = []
  64. let response: LLMEvent[] = []
  65. let responses: LLMEvent[][] | undefined
  66. let responseStream: Stream.Stream<LLMEvent, LLMError> | undefined
  67. let streamGate: Deferred.Deferred<void> | undefined
  68. let streamStarted: Deferred.Deferred<void> | undefined
  69. let streamFailure: LLMError | undefined
  70. let toolExecutionGate: Deferred.Deferred<void> | undefined
  71. let toolExecutionsStarted: Deferred.Deferred<void> | undefined
  72. let toolExecutionsReady = 5
  73. let activeToolExecutions = 0
  74. let maxActiveToolExecutions = 0
  75. const client = Layer.succeed(
  76. LLMClient.Service,
  77. LLMClient.Service.of({
  78. prepare: () => Effect.die("unused"),
  79. stream: ((request: LLMRequest) => {
  80. requests.push(request)
  81. if (responseStream) {
  82. const stream = responseStream
  83. responseStream = undefined
  84. return stream
  85. }
  86. const events = streamFailure
  87. ? Stream.fail(streamFailure)
  88. : Stream.fromIterable(responses === undefined ? response : (responses.shift() ?? []))
  89. if (!streamGate) return events
  90. return Stream.unwrap(
  91. (streamStarted ? Deferred.succeed(streamStarted, undefined) : Effect.void).pipe(
  92. Effect.andThen(Deferred.await(streamGate)),
  93. Effect.as(events),
  94. ),
  95. )
  96. }) as unknown as LLMClientShape["stream"],
  97. generate: () => Effect.die("unused"),
  98. }),
  99. )
  100. const model = Model.make({ id: "fake-model", provider: "fake", route: OpenAIChat.route })
  101. const replacementModel = Model.make({ id: "replacement", provider: "fake", route: OpenAIChat.route })
  102. const compactModel = Model.make({
  103. id: "compact",
  104. provider: "fake",
  105. route: OpenAIChat.route.with({ limits: { context: 4_000, output: 50 } }),
  106. })
  107. const recoveryModel = Model.make({
  108. id: "recovery",
  109. provider: "fake",
  110. route: OpenAIChat.route.with({ limits: { context: 20_000, output: 1_000 } }),
  111. })
  112. const authorizations: Tool.Context[] = []
  113. const executions: string[] = []
  114. const permission = Layer.succeed(
  115. PermissionV2.Service,
  116. PermissionV2.Service.of({
  117. assert: () => Effect.die("unused"),
  118. ask: () => Effect.die("unused"),
  119. reply: () => Effect.die("unused"),
  120. get: () => Effect.die("unused"),
  121. forSession: () => Effect.die("unused"),
  122. list: () => Effect.die("unused"),
  123. }),
  124. )
  125. const applications = ApplicationTools.layer
  126. const registry = ToolRegistry.layer.pipe(
  127. Layer.provide(permission),
  128. Layer.provide(applications),
  129. Layer.provide(ToolOutputStore.defaultLayer),
  130. )
  131. const agents = AgentV2.layer
  132. const echo = Layer.effectDiscard(
  133. ToolRegistry.Service.use((registry) =>
  134. registry.register({
  135. echo: Tool.make({
  136. description: "Echo text",
  137. input: Schema.Struct({ text: Schema.String }),
  138. output: Schema.Struct({ text: Schema.String }),
  139. toModelOutput: ({ output }) => [{ type: "text", text: output.text }],
  140. execute: ({ text }, context) =>
  141. Effect.gen(function* () {
  142. authorizations.push(context)
  143. executions.push(text)
  144. activeToolExecutions++
  145. maxActiveToolExecutions = Math.max(maxActiveToolExecutions, activeToolExecutions)
  146. if (activeToolExecutions === toolExecutionsReady && toolExecutionsStarted) {
  147. yield* Deferred.succeed(toolExecutionsStarted, undefined)
  148. }
  149. if (toolExecutionGate) yield* Deferred.await(toolExecutionGate)
  150. return { text }
  151. }).pipe(Effect.ensuring(Effect.sync(() => activeToolExecutions--))),
  152. }),
  153. defect: Tool.make({
  154. description: "Fail unexpectedly",
  155. input: Schema.Struct({}),
  156. output: Schema.Struct({}),
  157. execute: () => Effect.die("unexpected tool defect"),
  158. }),
  159. }),
  160. ),
  161. ).pipe(Layer.provide(registry))
  162. let modelResolveHook = Effect.void
  163. let currentModel = model
  164. const models = SessionRunnerModel.layerWith((session) =>
  165. modelResolveHook.pipe(Effect.as(session.model?.id === "replacement" ? replacementModel : currentModel)),
  166. )
  167. const systemContextKey = SystemContext.Key.make("test/context")
  168. let systemBaseline = "Initial context"
  169. let systemRemoved = false
  170. let systemUnavailable = false
  171. let systemLoadHook = Effect.void
  172. const skillBaselines = new Map<AgentV2.ID, string>()
  173. const systemContext = Layer.effectDiscard(
  174. SystemContextRegistry.Service.pipe(
  175. Effect.flatMap((registry) =>
  176. registry.register({
  177. key: systemContextKey,
  178. load: Effect.sync(() =>
  179. SystemContext.combine(
  180. systemRemoved
  181. ? []
  182. : [
  183. SystemContext.make({
  184. key: systemContextKey,
  185. codec: Schema.toCodecJson(Schema.String),
  186. load: systemLoadHook.pipe(
  187. Effect.andThen(
  188. Effect.sync(() => (systemUnavailable ? SystemContext.unavailable : systemBaseline)),
  189. ),
  190. ),
  191. baseline: String,
  192. update: (_previous, current) => current,
  193. removed: () => "System context source removed: test/context",
  194. }),
  195. ],
  196. ),
  197. ),
  198. }),
  199. ),
  200. ),
  201. ).pipe(Layer.provideMerge(SystemContextRegistry.layer))
  202. const location = Location.layer({ directory: AbsolutePath.make("/project") }).pipe(Layer.provide(Project.defaultLayer))
  203. const skillGuidance = Layer.mock(SkillGuidance.Service, {
  204. load: (agent) =>
  205. Effect.succeed(
  206. skillBaselines.has(agent.id)
  207. ? SystemContext.make({
  208. key: SystemContext.Key.make("test/skill-guidance"),
  209. codec: Schema.toCodecJson(Schema.String),
  210. load: Effect.succeed(skillBaselines.get(agent.id)!),
  211. baseline: String,
  212. update: (_previous, current) => current,
  213. removed: () => "Skill guidance removed",
  214. })
  215. : SystemContext.empty,
  216. ),
  217. })
  218. const referenceGuidance = Layer.mock(ReferenceGuidance.Service, { load: () => Effect.succeed(SystemContext.empty) })
  219. const config = Layer.succeed(
  220. Config.Service,
  221. Config.Service.of({
  222. entries: () =>
  223. Effect.succeed([
  224. new Config.Document({
  225. type: "document",
  226. info: new Config.Info({
  227. compaction: new ConfigCompaction.Info({
  228. buffer: 3_000,
  229. keep: new ConfigCompaction.Keep({ tokens: 1_000 }),
  230. }),
  231. }),
  232. }),
  233. ]),
  234. }),
  235. )
  236. const runner = SessionRunnerLLM.layer.pipe(
  237. Layer.provide(database),
  238. Layer.provide(store),
  239. Layer.provide(events),
  240. Layer.provide(client),
  241. Layer.provide(registry),
  242. Layer.provide(models),
  243. Layer.provide(systemContext),
  244. Layer.provide(location),
  245. Layer.provide(agents),
  246. Layer.provide(skillGuidance),
  247. Layer.provide(referenceGuidance),
  248. Layer.provide(config),
  249. )
  250. const coordinator = SessionRunCoordinator.layer.pipe(Layer.provide(runner))
  251. const execution = Layer.effect(
  252. SessionExecution.Service,
  253. SessionRunCoordinator.Service.pipe(
  254. Effect.map((coordinator) =>
  255. SessionExecution.Service.of({
  256. resume: coordinator.run,
  257. wake: coordinator.wake,
  258. interrupt: coordinator.interrupt,
  259. }),
  260. ),
  261. ),
  262. ).pipe(Layer.provide(coordinator))
  263. const sessions = SessionV2.layer.pipe(
  264. Layer.provide(events),
  265. Layer.provide(database),
  266. Layer.provide(store),
  267. Layer.provide(Project.defaultLayer),
  268. Layer.provide(execution),
  269. )
  270. const it = testEffect(
  271. Layer.mergeAll(
  272. database,
  273. events,
  274. questions,
  275. projector,
  276. store,
  277. client,
  278. permission,
  279. applications,
  280. agents,
  281. registry,
  282. echo,
  283. models,
  284. systemContext,
  285. location,
  286. skillGuidance,
  287. config,
  288. runner,
  289. coordinator,
  290. execution,
  291. sessions,
  292. ),
  293. )
  294. const sessionID = SessionV2.ID.make("ses_runner_test")
  295. const otherSessionID = SessionV2.ID.make("ses_runner_other")
  296. const insertSession = (id: SessionV2.ID) =>
  297. Effect.gen(function* () {
  298. const { db } = yield* Database.Service
  299. yield* db
  300. .insert(SessionTable)
  301. .values({
  302. id,
  303. project_id: Project.ID.global,
  304. slug: id,
  305. directory: "/project",
  306. title: "test",
  307. version: "test",
  308. })
  309. .onConflictDoNothing()
  310. .run()
  311. .pipe(Effect.orDie)
  312. })
  313. const setup = Effect.gen(function* () {
  314. const { db } = yield* Database.Service
  315. response = []
  316. systemBaseline = "Initial context"
  317. systemRemoved = false
  318. systemUnavailable = false
  319. systemLoadHook = Effect.void
  320. modelResolveHook = Effect.void
  321. currentModel = model
  322. skillBaselines.clear()
  323. responses = undefined
  324. streamFailure = undefined
  325. responseStream = undefined
  326. streamGate = undefined
  327. streamStarted = undefined
  328. toolExecutionGate = undefined
  329. toolExecutionsStarted = undefined
  330. toolExecutionsReady = 5
  331. activeToolExecutions = 0
  332. maxActiveToolExecutions = 0
  333. yield* db
  334. .insert(ProjectTable)
  335. .values({ id: Project.ID.global, worktree: AbsolutePath.make("/project"), sandboxes: [] })
  336. .onConflictDoNothing()
  337. .run()
  338. .pipe(Effect.orDie)
  339. yield* insertSession(sessionID)
  340. })
  341. const providerUnavailable = () =>
  342. new LLMError({
  343. module: "test",
  344. method: "stream",
  345. reason: new TransportReason({ message: "Provider unavailable" }),
  346. })
  347. const setupOverflowRecovery = Effect.gen(function* () {
  348. yield* setup
  349. const session = yield* SessionV2.Service
  350. response = fragmentFixture("text", "text-earlier", ["Earlier answer"]).completeEvents
  351. yield* session.prompt({
  352. sessionID,
  353. prompt: new Prompt({ text: "Earlier question ".repeat(700) }),
  354. resume: false,
  355. })
  356. yield* session.resume(sessionID)
  357. currentModel = recoveryModel
  358. requests.length = 0
  359. return session
  360. })
  361. const userTexts = (request: LLMRequest) =>
  362. request.messages.flatMap((message) =>
  363. message.role === "user"
  364. ? message.content.flatMap((content) => (content.type === "text" ? [content.text] : []))
  365. : [],
  366. )
  367. const replaySessionProjection = (id: SessionV2.ID) =>
  368. Effect.gen(function* () {
  369. const { db } = yield* Database.Service
  370. const events = yield* EventV2.Service
  371. const recorded = yield* db
  372. .select()
  373. .from(EventTable)
  374. .where(eq(EventTable.aggregate_id, id))
  375. .orderBy(asc(EventTable.seq))
  376. .all()
  377. .pipe(Effect.orDie)
  378. yield* events.remove(id)
  379. yield* db.delete(SessionInputTable).where(eq(SessionInputTable.session_id, id)).run().pipe(Effect.orDie)
  380. yield* db.delete(SessionMessageTable).where(eq(SessionMessageTable.session_id, id)).run().pipe(Effect.orDie)
  381. yield* events.replayAll(
  382. recorded.map((event) => ({
  383. id: event.id,
  384. aggregateID: event.aggregate_id,
  385. seq: event.seq,
  386. type: event.type,
  387. data: event.data,
  388. })),
  389. )
  390. })
  391. type FragmentKind = "text" | "reasoning" | "tool input"
  392. type FragmentFixture = {
  393. readonly delta: EventV2.Definition
  394. readonly completeEvents: LLMEvent[]
  395. readonly partialEvents: LLMEvent[]
  396. readonly expectedAssistant: unknown
  397. readonly expectedContent: unknown
  398. }
  399. const fragmentKinds: readonly FragmentKind[] = ["text", "reasoning", "tool input"]
  400. const fragmentID = (kind: FragmentKind, suffix: string) => `${kind === "tool input" ? "call" : kind}-${suffix}`
  401. const fragmentFixture = (kind: FragmentKind, id: string, chunks: readonly string[]): FragmentFixture => {
  402. const text = chunks.join("")
  403. switch (kind) {
  404. case "text": {
  405. const partialEvents = [
  406. LLMEvent.stepStart({ index: 0 }),
  407. LLMEvent.textStart({ id }),
  408. ...chunks.map((text) => LLMEvent.textDelta({ id, text })),
  409. ]
  410. const expectedContent = { type: "text", id, text }
  411. return {
  412. delta: SessionEvent.Text.Delta,
  413. partialEvents,
  414. completeEvents: [
  415. ...partialEvents,
  416. LLMEvent.textEnd({ id }),
  417. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  418. LLMEvent.finish({ reason: "stop" }),
  419. ],
  420. expectedAssistant: { type: "assistant", finish: "stop", content: [expectedContent] },
  421. expectedContent,
  422. }
  423. }
  424. case "reasoning": {
  425. const partialEvents = [
  426. LLMEvent.stepStart({ index: 0 }),
  427. LLMEvent.reasoningStart({ id }),
  428. ...chunks.map((text) => LLMEvent.reasoningDelta({ id, text })),
  429. ]
  430. const expectedContent = { type: "reasoning", id, text }
  431. return {
  432. delta: SessionEvent.Reasoning.Delta,
  433. partialEvents,
  434. completeEvents: [
  435. ...partialEvents,
  436. LLMEvent.reasoningEnd({ id }),
  437. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  438. LLMEvent.finish({ reason: "stop" }),
  439. ],
  440. expectedAssistant: { type: "assistant", finish: "stop", content: [expectedContent] },
  441. expectedContent,
  442. }
  443. }
  444. case "tool input": {
  445. const partialEvents = [
  446. LLMEvent.stepStart({ index: 0 }),
  447. LLMEvent.toolInputStart({ id, name: "echo" }),
  448. ...chunks.map((text) => LLMEvent.toolInputDelta({ id, name: "echo", text })),
  449. ]
  450. const expectedContent = { type: "tool", id, state: { status: "pending", input: text } }
  451. return {
  452. delta: SessionEvent.Tool.Input.Delta,
  453. partialEvents,
  454. completeEvents: [...partialEvents, LLMEvent.toolInputEnd({ id, name: "echo" })],
  455. expectedAssistant: { type: "assistant", content: [expectedContent] },
  456. expectedContent,
  457. }
  458. }
  459. }
  460. }
  461. const verifyEphemeralDeltas = (kind: FragmentKind) =>
  462. Effect.gen(function* () {
  463. yield* setup
  464. const session = yield* SessionV2.Service
  465. const prompt = `Stream ${kind}`
  466. const chunks = Array.from({ length: 32 }, (_, index) => `${index},`)
  467. const fixture = fragmentFixture(kind, fragmentID(kind, "many"), chunks)
  468. const expectedContext = [{ type: "user", text: prompt }, fixture.expectedAssistant]
  469. yield* session.prompt({ sessionID, prompt: new Prompt({ text: prompt }), resume: false })
  470. const events = yield* EventV2.Service
  471. const live = yield* events.subscribe(fixture.delta).pipe(Stream.take(32), Stream.runCollect, Effect.forkScoped)
  472. yield* Effect.yieldNow
  473. response = fixture.completeEvents
  474. yield* session.resume(sessionID)
  475. const { db } = yield* Database.Service
  476. const deltas = yield* db
  477. .select({ type: EventTable.type })
  478. .from(EventTable)
  479. .where(eq(EventTable.type, EventV2.versionedType(fixture.delta.type, 1)))
  480. .all()
  481. .pipe(Effect.orDie)
  482. expect(Array.from(yield* Fiber.join(live))).toHaveLength(32)
  483. expect(deltas).toHaveLength(0)
  484. expect(yield* session.context(sessionID)).toMatchObject(expectedContext)
  485. yield* replaySessionProjection(sessionID)
  486. expect(yield* session.context(sessionID)).toMatchObject(expectedContext)
  487. })
  488. const verifyPartialFlushOnFailure = (kind: FragmentKind) =>
  489. Effect.gen(function* () {
  490. yield* setup
  491. const session = yield* SessionV2.Service
  492. const prompt = `Fail after ${kind}`
  493. const fixture = fragmentFixture(kind, fragmentID(kind, "partial"), ["Partial"])
  494. const failure = providerUnavailable()
  495. yield* session.prompt({ sessionID, prompt: new Prompt({ text: prompt }), resume: false })
  496. responseStream = Stream.concat(Stream.fromIterable(fixture.partialEvents), Stream.fail(failure))
  497. expect(yield* session.resume(sessionID).pipe(Effect.flip)).toBe(failure)
  498. expect(yield* session.context(sessionID)).toMatchObject([
  499. { type: "user", text: prompt },
  500. {
  501. type: "assistant",
  502. finish: "error",
  503. error: { type: "unknown", message: "Provider unavailable" },
  504. content: [fixture.expectedContent],
  505. },
  506. ])
  507. })
  508. const verifyPartialFlushOnInterruption = (kind: FragmentKind) =>
  509. Effect.gen(function* () {
  510. yield* setup
  511. const session = yield* SessionV2.Service
  512. const prompt = `Interrupt after ${kind}`
  513. const fixture = fragmentFixture(kind, fragmentID(kind, "interrupted"), ["Partial"])
  514. const streamed = yield* Deferred.make<void>()
  515. yield* session.prompt({ sessionID, prompt: new Prompt({ text: prompt }), resume: false })
  516. responseStream = Stream.concat(
  517. Stream.fromIterable(fixture.partialEvents),
  518. Stream.fromEffect(Deferred.succeed(streamed, undefined)).pipe(Stream.flatMap(() => Stream.never)),
  519. )
  520. const runner = yield* SessionRunner.Service
  521. const fiber = yield* runner.run({ sessionID, force: true }).pipe(Effect.forkChild)
  522. yield* Deferred.await(streamed)
  523. yield* Fiber.interrupt(fiber)
  524. expect(yield* session.context(sessionID)).toMatchObject([
  525. { type: "user", text: prompt },
  526. {
  527. type: "assistant",
  528. finish: "error",
  529. error: { type: "unknown", message: "Provider turn interrupted" },
  530. content: [
  531. kind === "tool input"
  532. ? { type: "tool", id: fragmentID(kind, "interrupted"), state: { status: "error" } }
  533. : fixture.expectedContent,
  534. ],
  535. },
  536. ])
  537. })
  538. describe("SessionRunnerLLM", () => {
  539. it.effect("advertises and executes a globally attached application tool", () =>
  540. Effect.gen(function* () {
  541. yield* setup
  542. const applicationTools = yield* ApplicationTools.Service
  543. const session = yield* SessionV2.Service
  544. const contexts: Tool.Context[] = []
  545. yield* applicationTools.register({
  546. application_context: Tool.make({
  547. description: "Read application context",
  548. input: Schema.Struct({ query: Schema.String }),
  549. output: Schema.Struct({ answer: Schema.String }),
  550. execute: ({ query }, context) =>
  551. Effect.sync(() => {
  552. contexts.push(context)
  553. return { answer: query.toUpperCase() }
  554. }),
  555. }),
  556. })
  557. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Use application context" }), resume: false })
  558. responses = [
  559. [
  560. LLMEvent.stepStart({ index: 0 }),
  561. LLMEvent.toolCall({ id: "call-application", name: "application_context", input: { query: "hello" } }),
  562. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  563. LLMEvent.finish({ reason: "tool-calls" }),
  564. ],
  565. [],
  566. ]
  567. yield* session.resume(sessionID)
  568. expect(requests[0]?.tools.map((tool) => tool.name)).toContain("application_context")
  569. expect(contexts).toEqual([
  570. {
  571. sessionID,
  572. agent: AgentV2.ID.make("build"),
  573. assistantMessageID: expect.stringMatching(/^msg_/),
  574. toolCallID: "call-application",
  575. },
  576. ])
  577. expect(yield* session.context(sessionID)).toMatchObject([
  578. { type: "user", text: "Use application context" },
  579. {
  580. type: "assistant",
  581. content: [
  582. {
  583. type: "tool",
  584. id: "call-application",
  585. state: { status: "completed", structured: { answer: "HELLO" } },
  586. },
  587. ],
  588. },
  589. ])
  590. }),
  591. )
  592. it.effect("starts a real runner turn after default prompt recording", () =>
  593. Effect.gen(function* () {
  594. yield* setup
  595. const session = yield* SessionV2.Service
  596. requests.length = 0
  597. responses = undefined
  598. streamGate = undefined
  599. streamStarted = undefined
  600. response = []
  601. const message = yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Run automatically" }) })
  602. expect(requests).toHaveLength(1)
  603. expect(yield* session.messages({ sessionID })).toMatchObject([
  604. { id: message.id, type: "user", text: "Run automatically" },
  605. ])
  606. }),
  607. )
  608. it.effect("streams one request with registry definitions from chronological V2 user history", () =>
  609. Effect.gen(function* () {
  610. yield* setup
  611. const session = yield* SessionV2.Service
  612. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  613. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  614. requests.length = 0
  615. responses = undefined
  616. streamGate = undefined
  617. streamStarted = undefined
  618. response = []
  619. yield* session.resume(sessionID)
  620. expect(requests).toHaveLength(1)
  621. expect(requests[0]?.model).toBe(model)
  622. expect(requests[0]?.tools.map((tool) => tool.name)).toEqual(["echo", "defect"])
  623. expect(requests[0]?.messages.map((message) => ({ role: message.role, content: message.content }))).toEqual([
  624. { role: "user", content: [{ type: "text", text: "First" }] },
  625. { role: "user", content: [{ type: "text", text: "Second" }] },
  626. ])
  627. expect(yield* session.messages({ sessionID })).toHaveLength(2)
  628. }),
  629. )
  630. it.effect("retries the first provider turn after system context becomes available", () =>
  631. Effect.gen(function* () {
  632. yield* setup
  633. const session = yield* SessionV2.Service
  634. const { db } = yield* Database.Service
  635. const messageID = SessionMessage.ID.create()
  636. systemUnavailable = true
  637. yield* session.prompt({ id: messageID, sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  638. requests.length = 0
  639. const exit = yield* session.resume(sessionID).pipe(Effect.exit)
  640. expect(Exit.isFailure(exit)).toBe(true)
  641. if (Exit.isFailure(exit)) expect(Cause.squash(exit.cause)).toBeInstanceOf(SystemContext.InitializationBlocked)
  642. expect(requests).toHaveLength(0)
  643. expect(yield* SessionInput.hasPending(db, sessionID, "steer")).toBe(true)
  644. expect(
  645. yield* db
  646. .select()
  647. .from(SessionContextEpochTable)
  648. .where(eq(SessionContextEpochTable.session_id, sessionID))
  649. .get(),
  650. ).toBeUndefined()
  651. systemUnavailable = false
  652. yield* session.prompt({ id: messageID, sessionID, prompt: new Prompt({ text: "First" }) })
  653. yield* (yield* SessionRunCoordinator.Service).awaitIdle(sessionID)
  654. expect(requests).toHaveLength(1)
  655. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user"])
  656. }),
  657. )
  658. it.effect("interrupts a source Location runner after a Session moves", () =>
  659. Effect.gen(function* () {
  660. yield* setup
  661. const session = yield* SessionV2.Service
  662. const events = yield* EventV2.Service
  663. const { db } = yield* Database.Service
  664. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  665. requests.length = 0
  666. response = []
  667. yield* session.resume(sessionID)
  668. yield* events.publish(SessionEvent.Moved, {
  669. sessionID,
  670. timestamp: DateTime.makeUnsafe(1),
  671. location: Location.Ref.make({ directory: AbsolutePath.make("/moved") }),
  672. })
  673. expect(
  674. yield* db
  675. .select()
  676. .from(SessionContextEpochTable)
  677. .where(eq(SessionContextEpochTable.session_id, sessionID))
  678. .get(),
  679. ).toBeUndefined()
  680. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  681. const exit = yield* session.resume(sessionID).pipe(Effect.exit)
  682. expect(Exit.isFailure(exit) && Cause.hasInterruptsOnly(exit.cause)).toBe(true)
  683. expect(requests).toHaveLength(1)
  684. expect(yield* SessionInput.hasPending(db, sessionID, "steer")).toBe(true)
  685. }),
  686. )
  687. it.effect("fails gracefully when a stored context snapshot cannot be decoded", () =>
  688. Effect.gen(function* () {
  689. yield* setup
  690. const session = yield* SessionV2.Service
  691. const { db } = yield* Database.Service
  692. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  693. response = []
  694. yield* session.resume(sessionID)
  695. yield* db
  696. .update(SessionContextEpochTable)
  697. .set({ snapshot: { invalid: { value: "bad" } } })
  698. .where(eq(SessionContextEpochTable.session_id, sessionID))
  699. .run()
  700. .pipe(Effect.orDie)
  701. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  702. requests.length = 0
  703. const exit = yield* session.resume(sessionID).pipe(Effect.exit)
  704. expect(Exit.isFailure(exit)).toBe(true)
  705. if (Exit.isFailure(exit)) expect(Cause.squash(exit.cause)).toBeInstanceOf(ContextSnapshotDecodeError)
  706. expect(requests).toHaveLength(0)
  707. }),
  708. )
  709. it.effect("does not create a source Location epoch after a concurrent Session move", () =>
  710. Effect.gen(function* () {
  711. yield* setup
  712. const session = yield* SessionV2.Service
  713. const events = yield* EventV2.Service
  714. const { db } = yield* Database.Service
  715. let moved = false
  716. systemLoadHook = Effect.suspend(() => {
  717. if (moved) return Effect.void
  718. moved = true
  719. return events
  720. .publish(SessionEvent.Moved, {
  721. sessionID,
  722. timestamp: DateTime.makeUnsafe(1),
  723. location: Location.Ref.make({ directory: AbsolutePath.make("/moved") }),
  724. })
  725. .pipe(Effect.asVoid)
  726. })
  727. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  728. expect(Exit.isFailure(yield* session.resume(sessionID).pipe(Effect.exit))).toBe(true)
  729. expect(yield* SessionInput.hasPending(db, sessionID, "steer")).toBe(true)
  730. expect(
  731. yield* db
  732. .select()
  733. .from(SessionContextEpochTable)
  734. .where(eq(SessionContextEpochTable.session_id, sessionID))
  735. .get(),
  736. ).toBeUndefined()
  737. expect((yield* session.get(sessionID)).location.directory).toBe(AbsolutePath.make("/moved"))
  738. }),
  739. )
  740. it.effect("reuses one durable baseline after the context producer changes", () =>
  741. Effect.gen(function* () {
  742. yield* setup
  743. const session = yield* SessionV2.Service
  744. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  745. requests.length = 0
  746. response = []
  747. yield* session.resume(sessionID)
  748. systemBaseline = "Changed context"
  749. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  750. yield* session.resume(sessionID)
  751. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  752. ["Initial context"],
  753. ["Initial context"],
  754. ])
  755. expect(requests[1]?.messages.map((message) => message.role)).toEqual(["user", "user", "system"])
  756. expect(requests[1]?.messages.at(-1)?.content).toEqual([{ type: "text", text: "Changed context" }])
  757. expect(yield* session.messages({ sessionID })).toHaveLength(3)
  758. const { db } = yield* Database.Service
  759. expect(
  760. yield* db
  761. .select({ id: EventTable.id })
  762. .from(EventTable)
  763. .where(eq(EventTable.type, "session.next.context.updated.1"))
  764. .all()
  765. .pipe(Effect.orDie),
  766. ).toHaveLength(1)
  767. yield* replaySessionProjection(sessionID)
  768. expect(yield* session.messages({ sessionID })).toHaveLength(3)
  769. }),
  770. )
  771. it.effect("includes the effective default agent system before durable context", () =>
  772. Effect.gen(function* () {
  773. yield* setup
  774. const agent = yield* AgentV2.Service
  775. yield* agent.transform((editor) =>
  776. editor.update(AgentV2.ID.make("build"), (agent) => {
  777. agent.system = "Build agent instructions"
  778. agent.mode = "primary"
  779. }),
  780. )
  781. const session = yield* SessionV2.Service
  782. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  783. requests.length = 0
  784. response = fragmentFixture("text", "text-build", ["Done"]).completeEvents
  785. yield* session.resume(sessionID)
  786. expect(requests.at(-1)?.system.map((part) => part.text)).toEqual(["Build agent instructions", "Initial context"])
  787. }),
  788. )
  789. it.effect("uses the configured default agent system for omitted-agent sessions", () =>
  790. Effect.gen(function* () {
  791. yield* setup
  792. const agent = yield* AgentV2.Service
  793. yield* agent.transform((editor) => {
  794. editor.update(AgentV2.ID.make("build"), (agent) => {
  795. agent.system = "Build agent instructions"
  796. agent.mode = "primary"
  797. })
  798. editor.update(AgentV2.ID.make("reviewer"), (agent) => {
  799. agent.system = "Reviewer instructions"
  800. agent.mode = "primary"
  801. })
  802. editor.default(AgentV2.ID.make("reviewer"))
  803. })
  804. const session = yield* SessionV2.Service
  805. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  806. requests.length = 0
  807. response = fragmentFixture("text", "text-reviewer", ["Done"]).completeEvents
  808. yield* session.resume(sessionID)
  809. expect(requests.at(-1)?.system.map((part) => part.text)).toEqual(["Reviewer instructions", "Initial context"])
  810. expect((yield* session.messages({ sessionID }))[0]).toMatchObject({ type: "assistant", agent: "reviewer" })
  811. }),
  812. )
  813. it.effect("uses an explicitly selected non-build agent system", () =>
  814. Effect.gen(function* () {
  815. yield* setup
  816. const { db } = yield* Database.Service
  817. const agent = yield* AgentV2.Service
  818. yield* agent.transform((editor) =>
  819. editor.update(AgentV2.ID.make("reviewer"), (agent) => {
  820. agent.system = "Reviewer instructions"
  821. agent.mode = "primary"
  822. }),
  823. )
  824. yield* db
  825. .update(SessionTable)
  826. .set({ agent: "reviewer" })
  827. .where(eq(SessionTable.id, sessionID))
  828. .run()
  829. .pipe(Effect.orDie)
  830. const session = yield* SessionV2.Service
  831. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  832. requests.length = 0
  833. response = fragmentFixture("text", "text-selected", ["Done"]).completeEvents
  834. yield* session.resume(sessionID)
  835. expect(requests.at(-1)?.system.map((part) => part.text)).toEqual(["Reviewer instructions", "Initial context"])
  836. expect((yield* session.messages({ sessionID }))[0]).toMatchObject({ type: "assistant", agent: "reviewer" })
  837. }),
  838. )
  839. it.effect("composes selected-agent skill guidance and replaces it after an agent switch", () =>
  840. Effect.gen(function* () {
  841. yield* setup
  842. const session = yield* SessionV2.Service
  843. const events = yield* EventV2.Service
  844. skillBaselines.set(AgentV2.ID.make("build"), "Build skills")
  845. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  846. requests.length = 0
  847. response = []
  848. yield* session.resume(sessionID)
  849. skillBaselines.set(AgentV2.ID.make("reviewer"), "Reviewer skills")
  850. yield* events.publish(SessionEvent.AgentSwitched, {
  851. sessionID,
  852. messageID: SessionMessage.ID.create(),
  853. timestamp: DateTime.makeUnsafe(1),
  854. agent: "reviewer",
  855. })
  856. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  857. yield* session.resume(sessionID)
  858. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  859. ["Initial context\n\nBuild skills"],
  860. ["Initial context\n\nReviewer skills"],
  861. ])
  862. }),
  863. )
  864. it.effect("retries first-epoch preparation when the selected agent changes during observation", () =>
  865. Effect.gen(function* () {
  866. yield* setup
  867. const session = yield* SessionV2.Service
  868. const events = yield* EventV2.Service
  869. skillBaselines.set(AgentV2.ID.make("build"), "Build skills")
  870. skillBaselines.set(AgentV2.ID.make("reviewer"), "Reviewer skills")
  871. let switched = false
  872. systemLoadHook = Effect.suspend(() => {
  873. if (switched) return Effect.void
  874. switched = true
  875. return events
  876. .publish(SessionEvent.AgentSwitched, {
  877. sessionID,
  878. messageID: SessionMessage.ID.create(),
  879. timestamp: DateTime.makeUnsafe(1),
  880. agent: "reviewer",
  881. })
  882. .pipe(Effect.asVoid)
  883. })
  884. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  885. requests.length = 0
  886. response = []
  887. yield* session.resume(sessionID)
  888. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  889. ["Initial context\n\nReviewer skills"],
  890. ])
  891. }),
  892. )
  893. it.effect("opens a queued activity once when the selected agent changes during observation", () =>
  894. Effect.gen(function* () {
  895. yield* setup
  896. const session = yield* SessionV2.Service
  897. const events = yield* EventV2.Service
  898. skillBaselines.set(AgentV2.ID.make("build"), "Build skills")
  899. skillBaselines.set(AgentV2.ID.make("reviewer"), "Reviewer skills")
  900. let switched = false
  901. systemLoadHook = Effect.suspend(() => {
  902. if (switched) return Effect.void
  903. switched = true
  904. return events
  905. .publish(SessionEvent.AgentSwitched, {
  906. sessionID,
  907. messageID: SessionMessage.ID.create(),
  908. timestamp: DateTime.makeUnsafe(1),
  909. agent: "reviewer",
  910. })
  911. .pipe(Effect.asVoid)
  912. })
  913. yield* session.prompt({
  914. sessionID,
  915. prompt: new Prompt({ text: "Queued" }),
  916. delivery: "queue",
  917. resume: false,
  918. })
  919. requests.length = 0
  920. response = []
  921. yield* session.resume(sessionID)
  922. expect(requests).toHaveLength(1)
  923. expect((yield* session.context(sessionID)).filter((message) => message.type === "user")).toHaveLength(1)
  924. }),
  925. )
  926. it.effect("retries an agent switch before the final provider-dispatch boundary", () =>
  927. Effect.gen(function* () {
  928. yield* setup
  929. const session = yield* SessionV2.Service
  930. const events = yield* EventV2.Service
  931. const { db } = yield* Database.Service
  932. skillBaselines.set(AgentV2.ID.make("build"), "Build skills")
  933. skillBaselines.set(AgentV2.ID.make("reviewer"), "Reviewer skills")
  934. let switched = false
  935. modelResolveHook = Effect.suspend(() => {
  936. if (switched) return Effect.void
  937. switched = true
  938. return events
  939. .publish(SessionEvent.AgentSwitched, {
  940. sessionID,
  941. messageID: SessionMessage.ID.create(),
  942. timestamp: DateTime.makeUnsafe(1),
  943. agent: "reviewer",
  944. })
  945. .pipe(Effect.asVoid)
  946. })
  947. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  948. requests.length = 0
  949. response = []
  950. yield* session.resume(sessionID)
  951. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  952. ["Initial context\n\nReviewer skills"],
  953. ])
  954. expect(
  955. yield* db
  956. .select({ replacementSeq: SessionContextEpochTable.replacement_seq })
  957. .from(SessionContextEpochTable)
  958. .where(eq(SessionContextEpochTable.session_id, sessionID))
  959. .get()
  960. .pipe(Effect.orDie),
  961. ).toEqual({ replacementSeq: null })
  962. }),
  963. )
  964. it.effect("retries a model switch before the final provider-dispatch boundary", () =>
  965. Effect.gen(function* () {
  966. yield* setup
  967. const session = yield* SessionV2.Service
  968. const events = yield* EventV2.Service
  969. let switched = false
  970. modelResolveHook = Effect.suspend(() => {
  971. if (switched) return Effect.void
  972. switched = true
  973. return events
  974. .publish(SessionEvent.ModelSwitched, {
  975. sessionID,
  976. messageID: SessionMessage.ID.create(),
  977. timestamp: DateTime.makeUnsafe(1),
  978. model: { id: ModelV2.ID.make("replacement"), providerID: ProviderV2.ID.make("fake") },
  979. })
  980. .pipe(Effect.asVoid)
  981. })
  982. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  983. requests.length = 0
  984. response = []
  985. yield* session.resume(sessionID)
  986. expect(requests.map((request) => request.model)).toEqual([replacementModel])
  987. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([["Initial context"]])
  988. }),
  989. )
  990. it.effect("fences an unchanged epoch read across an agent ABA replacement request", () =>
  991. Effect.gen(function* () {
  992. yield* setup
  993. const session = yield* SessionV2.Service
  994. const events = yield* EventV2.Service
  995. const { db } = yield* Database.Service
  996. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  997. response = []
  998. yield* session.resume(sessionID)
  999. let switched = false
  1000. systemLoadHook = Effect.suspend(() => {
  1001. if (switched) return Effect.void
  1002. switched = true
  1003. return events
  1004. .publish(SessionEvent.AgentSwitched, {
  1005. sessionID,
  1006. messageID: SessionMessage.ID.create(),
  1007. timestamp: DateTime.makeUnsafe(1),
  1008. agent: AgentV2.ID.make("reviewer"),
  1009. })
  1010. .pipe(
  1011. Effect.andThen(
  1012. events.publish(SessionEvent.AgentSwitched, {
  1013. sessionID,
  1014. messageID: SessionMessage.ID.create(),
  1015. timestamp: DateTime.makeUnsafe(2),
  1016. agent: AgentV2.defaultID,
  1017. }),
  1018. ),
  1019. Effect.asVoid,
  1020. )
  1021. })
  1022. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1023. requests.length = 0
  1024. yield* session.resume(sessionID)
  1025. expect(requests).toHaveLength(1)
  1026. expect(
  1027. yield* db
  1028. .select({ replacementSeq: SessionContextEpochTable.replacement_seq })
  1029. .from(SessionContextEpochTable)
  1030. .where(eq(SessionContextEpochTable.session_id, sessionID))
  1031. .get()
  1032. .pipe(Effect.orDie),
  1033. ).toEqual({ replacementSeq: null })
  1034. }),
  1035. )
  1036. it.effect("rejects stale agent guidance when committing an existing-epoch replacement", () =>
  1037. Effect.gen(function* () {
  1038. yield* setup
  1039. const session = yield* SessionV2.Service
  1040. const events = yield* EventV2.Service
  1041. const { db } = yield* Database.Service
  1042. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1043. response = []
  1044. yield* session.resume(sessionID)
  1045. yield* events.publish(SessionEvent.AgentSwitched, {
  1046. sessionID,
  1047. messageID: SessionMessage.ID.create(),
  1048. timestamp: DateTime.makeUnsafe(1),
  1049. agent: AgentV2.ID.make("reviewer"),
  1050. })
  1051. const context = (text: string) =>
  1052. Effect.succeed(
  1053. SystemContext.make({
  1054. key: systemContextKey,
  1055. codec: Schema.toCodecJson(Schema.String),
  1056. load: Effect.succeed(text),
  1057. baseline: String,
  1058. update: (_previous, current) => current,
  1059. }),
  1060. )
  1061. const location = (yield* session.get(sessionID)).location
  1062. expect(
  1063. yield* SessionContextEpoch.prepare(
  1064. db,
  1065. events,
  1066. context("Stale build context"),
  1067. sessionID,
  1068. location,
  1069. AgentV2.defaultID,
  1070. ).pipe(Effect.catchDefect(Effect.succeed)),
  1071. ).toBeInstanceOf(SessionContextEpoch.AgentMismatch)
  1072. expect(
  1073. yield* SessionContextEpoch.prepare(
  1074. db,
  1075. events,
  1076. context("Reviewer context"),
  1077. sessionID,
  1078. location,
  1079. AgentV2.ID.make("reviewer"),
  1080. ),
  1081. ).toMatchObject({ baseline: "Reviewer context" })
  1082. }),
  1083. )
  1084. it.effect("blocks a cross-agent provider turn while replacement context is unavailable", () =>
  1085. Effect.gen(function* () {
  1086. yield* setup
  1087. const session = yield* SessionV2.Service
  1088. const events = yield* EventV2.Service
  1089. skillBaselines.set(AgentV2.defaultID, "Build skills")
  1090. skillBaselines.set(AgentV2.ID.make("reviewer"), "Reviewer skills")
  1091. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1092. response = []
  1093. yield* session.resume(sessionID)
  1094. yield* events.publish(SessionEvent.AgentSwitched, {
  1095. sessionID,
  1096. messageID: SessionMessage.ID.create(),
  1097. timestamp: DateTime.makeUnsafe(1),
  1098. agent: AgentV2.ID.make("reviewer"),
  1099. })
  1100. systemUnavailable = true
  1101. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1102. requests.length = 0
  1103. const blocked = yield* session.resume(sessionID).pipe(Effect.exit)
  1104. expect(Exit.isFailure(blocked)).toBe(true)
  1105. if (Exit.isFailure(blocked))
  1106. expect(Cause.squash(blocked.cause)).toBeInstanceOf(SessionContextEpoch.AgentReplacementBlocked)
  1107. expect(requests).toHaveLength(0)
  1108. systemUnavailable = false
  1109. yield* session.resume(sessionID)
  1110. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  1111. ["Initial context\n\nReviewer skills"],
  1112. ])
  1113. }),
  1114. )
  1115. it.effect("admits removed context as a chronological System message", () =>
  1116. Effect.gen(function* () {
  1117. yield* setup
  1118. const session = yield* SessionV2.Service
  1119. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1120. requests.length = 0
  1121. response = []
  1122. yield* session.resume(sessionID)
  1123. systemRemoved = true
  1124. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1125. yield* session.resume(sessionID)
  1126. expect(requests[1]?.messages.map((message) => message.role)).toEqual(["user", "user", "system"])
  1127. expect(requests[1]?.messages.at(-1)?.content).toEqual([
  1128. { type: "text", text: "System context source removed: test/context" },
  1129. ])
  1130. expect(yield* session.messages({ sessionID })).toHaveLength(3)
  1131. }),
  1132. )
  1133. it.effect("replaces the baseline lazily after a model switch and drops prior System updates", () =>
  1134. Effect.gen(function* () {
  1135. yield* setup
  1136. const session = yield* SessionV2.Service
  1137. const events = yield* EventV2.Service
  1138. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1139. requests.length = 0
  1140. response = []
  1141. yield* session.resume(sessionID)
  1142. systemBaseline = "Changed context"
  1143. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1144. yield* session.resume(sessionID)
  1145. yield* events.publish(SessionEvent.ModelSwitched, {
  1146. sessionID,
  1147. messageID: SessionMessage.ID.create(),
  1148. timestamp: DateTime.makeUnsafe(1),
  1149. model: { id: ModelV2.ID.make("replacement"), providerID: ProviderV2.ID.make("fake") },
  1150. })
  1151. systemBaseline = "Replacement context"
  1152. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Third" }), resume: false })
  1153. yield* session.resume(sessionID)
  1154. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  1155. ["Initial context"],
  1156. ["Initial context"],
  1157. ["Replacement context"],
  1158. ])
  1159. expect(requests[1]?.messages.map((message) => message.role)).toEqual(["user", "user", "system"])
  1160. expect(requests[2]?.messages.map((message) => message.role)).toEqual(["user", "user", "user"])
  1161. expect((yield* session.context(sessionID)).map((message) => message.type)).toEqual([
  1162. "user",
  1163. "user",
  1164. "model-switched",
  1165. "user",
  1166. ])
  1167. yield* replaySessionProjection(sessionID)
  1168. expect(yield* session.messages({ sessionID })).toHaveLength(5)
  1169. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fourth" }), resume: false })
  1170. yield* session.resume(sessionID)
  1171. }),
  1172. )
  1173. it.effect("defers replacement while admitted context is temporarily unavailable", () =>
  1174. Effect.gen(function* () {
  1175. yield* setup
  1176. const session = yield* SessionV2.Service
  1177. const events = yield* EventV2.Service
  1178. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1179. requests.length = 0
  1180. response = []
  1181. yield* session.resume(sessionID)
  1182. yield* events.publish(SessionEvent.ModelSwitched, {
  1183. sessionID,
  1184. messageID: SessionMessage.ID.create(),
  1185. timestamp: DateTime.makeUnsafe(1),
  1186. model: { id: ModelV2.ID.make("replacement"), providerID: ProviderV2.ID.make("fake") },
  1187. })
  1188. systemUnavailable = true
  1189. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1190. yield* session.resume(sessionID)
  1191. systemUnavailable = false
  1192. systemBaseline = "Replacement context"
  1193. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Third" }), resume: false })
  1194. yield* session.resume(sessionID)
  1195. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  1196. ["Initial context"],
  1197. ["Initial context"],
  1198. ["Replacement context"],
  1199. ])
  1200. }),
  1201. )
  1202. it.effect("advances a pending replacement to the latest invalidation boundary", () =>
  1203. Effect.gen(function* () {
  1204. yield* setup
  1205. const session = yield* SessionV2.Service
  1206. const events = yield* EventV2.Service
  1207. const { db } = yield* Database.Service
  1208. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1209. response = []
  1210. yield* session.resume(sessionID)
  1211. yield* events.publish(SessionEvent.ModelSwitched, {
  1212. sessionID,
  1213. messageID: SessionMessage.ID.create(),
  1214. timestamp: DateTime.makeUnsafe(1),
  1215. model: { id: ModelV2.ID.make("replacement-1"), providerID: ProviderV2.ID.make("fake") },
  1216. })
  1217. yield* events.publish(SessionEvent.ModelSwitched, {
  1218. sessionID,
  1219. messageID: SessionMessage.ID.create(),
  1220. timestamp: DateTime.makeUnsafe(2),
  1221. model: { id: ModelV2.ID.make("replacement-2"), providerID: ProviderV2.ID.make("fake") },
  1222. })
  1223. const latest = yield* SessionInput.latestSeq(db, sessionID)
  1224. expect(
  1225. yield* db
  1226. .select({ replacementSeq: SessionContextEpochTable.replacement_seq })
  1227. .from(SessionContextEpochTable)
  1228. .where(eq(SessionContextEpochTable.session_id, sessionID))
  1229. .get()
  1230. .pipe(Effect.orDie),
  1231. ).toEqual({ replacementSeq: latest })
  1232. }),
  1233. )
  1234. it.effect("retries epoch preparation until observation-time invalidations settle", () =>
  1235. Effect.gen(function* () {
  1236. yield* setup
  1237. const session = yield* SessionV2.Service
  1238. const events = yield* EventV2.Service
  1239. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1240. response = []
  1241. yield* session.resume(sessionID)
  1242. requests.length = 0
  1243. systemBaseline = "Changed context"
  1244. let invalidations = 0
  1245. systemLoadHook = Effect.suspend(() => {
  1246. if (invalidations === 4) return Effect.void
  1247. invalidations++
  1248. return events
  1249. .publish(SessionEvent.ModelSwitched, {
  1250. sessionID,
  1251. messageID: SessionMessage.ID.create(),
  1252. timestamp: DateTime.makeUnsafe(invalidations),
  1253. model: { id: ModelV2.ID.make(`replacement-${invalidations}`), providerID: ProviderV2.ID.make("fake") },
  1254. })
  1255. .pipe(Effect.asVoid)
  1256. })
  1257. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1258. yield* session.resume(sessionID)
  1259. expect(invalidations).toBe(4)
  1260. expect(requests).toHaveLength(1)
  1261. expect(requests[0]?.system.map((part) => part.text)).toEqual(["Changed context"])
  1262. }),
  1263. )
  1264. it.effect("replaces the baseline lazily after completed compaction without reopening replacement on replay", () =>
  1265. Effect.gen(function* () {
  1266. yield* setup
  1267. const session = yield* SessionV2.Service
  1268. const events = yield* EventV2.Service
  1269. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1270. requests.length = 0
  1271. response = []
  1272. yield* session.resume(sessionID)
  1273. const compactionID = SessionMessage.ID.create()
  1274. yield* events.publish(SessionEvent.Compaction.Started, {
  1275. sessionID,
  1276. messageID: compactionID,
  1277. timestamp: DateTime.makeUnsafe(1),
  1278. reason: "manual",
  1279. })
  1280. yield* events.publish(SessionEvent.Compaction.Ended, {
  1281. sessionID,
  1282. messageID: compactionID,
  1283. timestamp: DateTime.makeUnsafe(2),
  1284. reason: "manual",
  1285. text: "summary",
  1286. recent: "",
  1287. })
  1288. systemBaseline = "Replacement context"
  1289. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1290. yield* session.resume(sessionID)
  1291. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  1292. ["Initial context"],
  1293. ["Replacement context"],
  1294. ])
  1295. yield* replaySessionProjection(sessionID)
  1296. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Third" }), resume: false })
  1297. yield* session.resume(sessionID)
  1298. }),
  1299. )
  1300. it.effect("automatically compacts into a completed summary and retained recent turn", () =>
  1301. Effect.gen(function* () {
  1302. yield* setup
  1303. const session = yield* SessionV2.Service
  1304. response = fragmentFixture("text", "text-first", ["Earlier answer"]).completeEvents
  1305. yield* session.prompt({
  1306. sessionID,
  1307. prompt: new Prompt({ text: "Earlier question ".repeat(180) }),
  1308. resume: false,
  1309. })
  1310. yield* session.resume(sessionID)
  1311. currentModel = compactModel
  1312. requests.length = 0
  1313. responses = [
  1314. fragmentFixture("text", "text-summary", ["## Goal\n- Preserve the task"]).completeEvents,
  1315. fragmentFixture("text", "text-final", ["Continued"]).completeEvents,
  1316. ]
  1317. yield* session.prompt({
  1318. sessionID,
  1319. prompt: new Prompt({ text: "Recent exact request ".repeat(180) }),
  1320. resume: false,
  1321. })
  1322. yield* session.resume(sessionID)
  1323. expect(requests).toHaveLength(2)
  1324. expect(userTexts(requests[0])[0]).toContain("## Goal")
  1325. expect(userTexts(requests[1])).toHaveLength(1)
  1326. expect(userTexts(requests[1])[0]).toContain("<summary>\n## Goal\n- Preserve the task\n</summary>")
  1327. expect(userTexts(requests[1])[0]).toContain(`[User]: ${"Recent exact request ".repeat(180)}`)
  1328. const context = yield* (yield* SessionStore.Service).context(sessionID)
  1329. expect(context.map((message) => message.type)).toEqual(["compaction", "assistant"])
  1330. expect(context[0]).toMatchObject({
  1331. type: "compaction",
  1332. summary: "## Goal\n- Preserve the task",
  1333. })
  1334. requests.length = 0
  1335. executions.length = 0
  1336. responses = [
  1337. fragmentFixture("text", "text-summary-2", ["## Goal\n- Preserve the updated task"]).completeEvents,
  1338. fragmentFixture("text", "text-final-2", ["Continued again"]).completeEvents,
  1339. ]
  1340. yield* session.prompt({
  1341. sessionID,
  1342. prompt: new Prompt({ text: "Newest exact request ".repeat(180) }),
  1343. resume: false,
  1344. })
  1345. yield* session.resume(sessionID)
  1346. expect(requests).toHaveLength(2)
  1347. expect(userTexts(requests[0])[0]).toContain(
  1348. "<previous-summary>\n## Goal\n- Preserve the task\n</previous-summary>",
  1349. )
  1350. expect(userTexts(requests[0])[0]).toContain("Recent exact request")
  1351. expect((yield* (yield* SessionStore.Service).context(sessionID))[0]).toMatchObject({
  1352. type: "compaction",
  1353. summary: "## Goal\n- Preserve the updated task",
  1354. })
  1355. }),
  1356. )
  1357. it.effect("forces one compaction and retries after provider context overflow", () =>
  1358. Effect.gen(function* () {
  1359. const session = yield* setupOverflowRecovery
  1360. responses = [
  1361. [
  1362. LLMEvent.stepStart({ index: 0 }),
  1363. LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" }),
  1364. ],
  1365. fragmentFixture("text", "text-summary", ["## Goal\n- Recover overflow"]).completeEvents,
  1366. fragmentFixture("text", "text-final", ["Recovered"]).completeEvents,
  1367. ]
  1368. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1369. yield* session.resume(sessionID)
  1370. expect(requests).toHaveLength(3)
  1371. expect(userTexts(requests[1])[0]).toContain("## Goal")
  1372. expect(userTexts(requests[2])[0]).toContain("<summary>\n## Goal\n- Recover overflow\n</summary>")
  1373. expect(yield* session.context(sessionID)).toMatchObject([
  1374. { type: "compaction", summary: "## Goal\n- Recover overflow" },
  1375. { type: "assistant", finish: "stop" },
  1376. ])
  1377. yield* replaySessionProjection(sessionID)
  1378. expect(yield* session.context(sessionID)).toMatchObject([
  1379. { type: "compaction" },
  1380. { type: "assistant", finish: "stop" },
  1381. ])
  1382. }),
  1383. )
  1384. it.effect("persists a second context overflow after one recovery", () =>
  1385. Effect.gen(function* () {
  1386. const session = yield* setupOverflowRecovery
  1387. const overflow = () => [
  1388. LLMEvent.stepStart({ index: 0 }),
  1389. LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" }),
  1390. ]
  1391. responses = [
  1392. overflow(),
  1393. fragmentFixture("text", "text-summary", ["## Goal\n- Recover once"]).completeEvents,
  1394. overflow(),
  1395. ]
  1396. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1397. yield* session.resume(sessionID)
  1398. expect(requests).toHaveLength(3)
  1399. expect(yield* session.context(sessionID)).toMatchObject([
  1400. { type: "compaction" },
  1401. { type: "assistant", finish: "error", error: { message: "prompt too long" } },
  1402. ])
  1403. }),
  1404. )
  1405. it.effect("recovers once from a raw context overflow failure", () =>
  1406. Effect.gen(function* () {
  1407. const session = yield* setupOverflowRecovery
  1408. responseStream = Stream.fail(
  1409. new LLMError({
  1410. module: "test",
  1411. method: "stream",
  1412. reason: new InvalidRequestReason({
  1413. message: "prompt too long",
  1414. classification: "context-overflow",
  1415. }),
  1416. }),
  1417. )
  1418. responses = [
  1419. fragmentFixture("text", "text-summary", ["## Goal\n- Recover raw overflow"]).completeEvents,
  1420. fragmentFixture("text", "text-final", ["Recovered"]).completeEvents,
  1421. ]
  1422. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1423. yield* session.resume(sessionID)
  1424. expect(requests).toHaveLength(3)
  1425. expect(yield* session.context(sessionID)).toMatchObject([
  1426. { type: "compaction", summary: "## Goal\n- Recover raw overflow" },
  1427. { type: "assistant", finish: "stop" },
  1428. ])
  1429. }),
  1430. )
  1431. it.effect("publishes the original overflow when recovery summarization fails", () =>
  1432. Effect.gen(function* () {
  1433. const session = yield* setupOverflowRecovery
  1434. responses = [
  1435. [LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" })],
  1436. [LLMEvent.providerError({ message: "summary unavailable" })],
  1437. ]
  1438. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1439. yield* session.resume(sessionID)
  1440. expect(requests).toHaveLength(2)
  1441. const context = yield* session.context(sessionID)
  1442. expect(context.some((message) => message.type === "compaction")).toBe(false)
  1443. expect(context.slice(-2)).toMatchObject([
  1444. { type: "user", text: "Continue" },
  1445. { type: "assistant", finish: "error", error: { message: "prompt too long" } },
  1446. ])
  1447. }),
  1448. )
  1449. it.effect("interrupts overflow recovery while the summary provider is running", () =>
  1450. Effect.gen(function* () {
  1451. const session = yield* setupOverflowRecovery
  1452. responses = [
  1453. [LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" })],
  1454. fragmentFixture("text", "text-summary", ["## Goal\n- Interrupted"]).completeEvents,
  1455. ]
  1456. const firstGate = yield* Deferred.make<void>()
  1457. const summaryGate = yield* Deferred.make<void>()
  1458. streamGate = firstGate
  1459. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1460. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1461. while (requests.length < 1) yield* Effect.yieldNow
  1462. streamGate = summaryGate
  1463. yield* Deferred.succeed(firstGate, undefined)
  1464. while (requests.length < 2) yield* Effect.yieldNow
  1465. yield* session.interrupt(sessionID)
  1466. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  1467. streamGate = undefined
  1468. expect(requests).toHaveLength(2)
  1469. expect((yield* session.context(sessionID)).some((message) => message.type === "compaction")).toBe(false)
  1470. }),
  1471. )
  1472. it.effect("preserves effective System updates while compaction replacement is blocked", () =>
  1473. Effect.gen(function* () {
  1474. yield* setup
  1475. const session = yield* SessionV2.Service
  1476. const events = yield* EventV2.Service
  1477. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1478. requests.length = 0
  1479. response = []
  1480. yield* session.resume(sessionID)
  1481. systemBaseline = "Changed context"
  1482. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1483. yield* session.resume(sessionID)
  1484. const compactionID = SessionMessage.ID.create()
  1485. yield* events.publish(SessionEvent.Compaction.Started, {
  1486. sessionID,
  1487. messageID: compactionID,
  1488. timestamp: DateTime.makeUnsafe(1),
  1489. reason: "manual",
  1490. })
  1491. yield* events.publish(SessionEvent.Compaction.Ended, {
  1492. sessionID,
  1493. messageID: compactionID,
  1494. timestamp: DateTime.makeUnsafe(2),
  1495. reason: "manual",
  1496. text: "summary",
  1497. recent: "",
  1498. })
  1499. systemUnavailable = true
  1500. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Third" }), resume: false })
  1501. yield* session.resume(sessionID)
  1502. expect(requests.at(-1)?.system.map((part) => part.text)).toEqual(["Initial context"])
  1503. expect(
  1504. requests
  1505. .at(-1)
  1506. ?.messages.some(
  1507. (message) =>
  1508. message.role === "system" &&
  1509. message.content[0]?.type === "text" &&
  1510. message.content[0].text === "Changed context",
  1511. ),
  1512. ).toBe(true)
  1513. }),
  1514. )
  1515. it.effect("projects reasoning and tool events without executing or continuing tools", () =>
  1516. Effect.gen(function* () {
  1517. yield* setup
  1518. const session = yield* SessionV2.Service
  1519. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Use tools" }), resume: false })
  1520. requests.length = 0
  1521. responses = undefined
  1522. streamGate = undefined
  1523. streamStarted = undefined
  1524. response = [
  1525. LLMEvent.stepStart({ index: 0 }),
  1526. LLMEvent.reasoningStart({ id: "reasoning-1" }),
  1527. LLMEvent.reasoningDelta({ id: "reasoning-1", text: "Think" }),
  1528. LLMEvent.reasoningEnd({ id: "reasoning-1" }),
  1529. LLMEvent.toolInputStart({ id: "call-error", name: "write" }),
  1530. LLMEvent.toolInputDelta({ id: "call-error", name: "write", text: '{"path":"README.md"}' }),
  1531. LLMEvent.toolInputEnd({ id: "call-error", name: "write" }),
  1532. LLMEvent.toolCall({ id: "call-error", name: "write", input: { path: "README.md" }, providerExecuted: true }),
  1533. LLMEvent.toolError({ id: "call-error", name: "write", message: "Denied" }),
  1534. LLMEvent.toolResult({ id: "call-error", name: "write", result: { type: "error", value: "Denied" } }),
  1535. LLMEvent.toolCall({
  1536. id: "call-provider",
  1537. name: "web_search",
  1538. input: { query: "hello" },
  1539. providerExecuted: true,
  1540. providerMetadata: { fake: { source: "provider" } },
  1541. }),
  1542. LLMEvent.toolResult({
  1543. id: "call-provider",
  1544. name: "web_search",
  1545. result: {
  1546. type: "content",
  1547. value: [
  1548. { type: "text", text: "Hello" },
  1549. { type: "file", uri: "data:image/png;base64,aGVsbG8=", mime: "image/png", name: "hello.png" },
  1550. ],
  1551. },
  1552. providerExecuted: true,
  1553. providerMetadata: { fake: { source: "provider" } },
  1554. }),
  1555. LLMEvent.stepFinish({
  1556. index: 0,
  1557. reason: "tool-calls",
  1558. usage: {
  1559. inputTokens: 10,
  1560. nonCachedInputTokens: 8,
  1561. outputTokens: 4,
  1562. reasoningTokens: 1,
  1563. cacheReadInputTokens: 2,
  1564. },
  1565. }),
  1566. LLMEvent.finish({ reason: "tool-calls" }),
  1567. ]
  1568. yield* session.resume(sessionID)
  1569. expect(requests).toHaveLength(1)
  1570. expect(requests[0]?.tools.map((tool) => tool.name)).toEqual(["echo", "defect"])
  1571. expect(yield* session.context(sessionID)).toMatchObject([
  1572. { type: "user", text: "Use tools" },
  1573. {
  1574. type: "assistant",
  1575. finish: "tool-calls",
  1576. tokens: { input: 8, output: 3, reasoning: 1, cache: { read: 2, write: 0 } },
  1577. content: [
  1578. { type: "reasoning", id: "reasoning-1", text: "Think" },
  1579. {
  1580. type: "tool",
  1581. id: "call-error",
  1582. name: "write",
  1583. state: {
  1584. status: "error",
  1585. input: { path: "README.md" },
  1586. error: { type: "unknown", message: "Denied" },
  1587. },
  1588. },
  1589. {
  1590. type: "tool",
  1591. id: "call-provider",
  1592. name: "web_search",
  1593. provider: { executed: true, metadata: { fake: { source: "provider" } } },
  1594. state: {
  1595. status: "completed",
  1596. input: { query: "hello" },
  1597. structured: {},
  1598. content: [
  1599. { type: "text", text: "Hello" },
  1600. { type: "file", mime: "image/png", uri: "data:image/png;base64,aGVsbG8=", name: "hello.png" },
  1601. ],
  1602. },
  1603. },
  1604. ],
  1605. },
  1606. ])
  1607. }),
  1608. )
  1609. it.effect("continues with reloaded history after durably settling one local tool call", () =>
  1610. Effect.gen(function* () {
  1611. yield* setup
  1612. const session = yield* SessionV2.Service
  1613. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo this" }), resume: false })
  1614. requests.length = 0
  1615. authorizations.length = 0
  1616. executions.length = 0
  1617. streamGate = undefined
  1618. streamStarted = undefined
  1619. responses = [
  1620. [
  1621. LLMEvent.stepStart({ index: 0 }),
  1622. LLMEvent.toolCall({ id: "call-echo", name: "echo", input: { text: "hello" } }),
  1623. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1624. LLMEvent.finish({ reason: "tool-calls" }),
  1625. ],
  1626. [
  1627. LLMEvent.stepStart({ index: 0 }),
  1628. LLMEvent.textStart({ id: "text-final" }),
  1629. LLMEvent.textDelta({ id: "text-final", text: "Done" }),
  1630. LLMEvent.textEnd({ id: "text-final" }),
  1631. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1632. LLMEvent.finish({ reason: "stop" }),
  1633. ],
  1634. ]
  1635. yield* session.resume(sessionID)
  1636. expect(requests).toHaveLength(2)
  1637. expect(requests[1]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  1638. expect(authorizations).toMatchObject([{ sessionID, toolCallID: "call-echo" }])
  1639. expect(executions).toEqual(["hello"])
  1640. expect(yield* session.context(sessionID)).toMatchObject([
  1641. { type: "user", text: "Echo this" },
  1642. {
  1643. type: "assistant",
  1644. finish: "tool-calls",
  1645. content: [
  1646. {
  1647. type: "tool",
  1648. id: "call-echo",
  1649. name: "echo",
  1650. state: {
  1651. status: "completed",
  1652. input: { text: "hello" },
  1653. structured: { text: "hello" },
  1654. content: [{ type: "text", text: "hello" }],
  1655. },
  1656. },
  1657. ],
  1658. },
  1659. { type: "assistant", finish: "stop", content: [{ type: "text", id: "text-final", text: "Done" }] },
  1660. ])
  1661. }),
  1662. )
  1663. it.effect("reloads a model switch before a tool-driven continuation turn", () =>
  1664. Effect.gen(function* () {
  1665. yield* setup
  1666. const session = yield* SessionV2.Service
  1667. const events = yield* EventV2.Service
  1668. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo this" }), resume: false })
  1669. requests.length = 0
  1670. responses = [
  1671. [
  1672. LLMEvent.stepStart({ index: 0 }),
  1673. LLMEvent.toolCall({ id: "call-echo", name: "echo", input: { text: "hello" } }),
  1674. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1675. LLMEvent.finish({ reason: "tool-calls" }),
  1676. ],
  1677. [
  1678. LLMEvent.stepStart({ index: 0 }),
  1679. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1680. LLMEvent.finish({ reason: "stop" }),
  1681. ],
  1682. ]
  1683. toolExecutionGate = yield* Deferred.make<void>()
  1684. toolExecutionsStarted = yield* Deferred.make<void>()
  1685. toolExecutionsReady = 1
  1686. const run = yield* Effect.forkChild(session.resume(sessionID))
  1687. yield* Deferred.await(toolExecutionsStarted)
  1688. yield* events.publish(SessionEvent.ModelSwitched, {
  1689. sessionID,
  1690. messageID: SessionMessage.ID.create(),
  1691. timestamp: DateTime.makeUnsafe(1),
  1692. model: { id: ModelV2.ID.make("replacement"), providerID: ProviderV2.ID.make("fake") },
  1693. })
  1694. systemBaseline = "Replacement context"
  1695. yield* Deferred.succeed(toolExecutionGate, undefined)
  1696. yield* Fiber.join(run)
  1697. expect(requests.map((request) => request.model)).toEqual([model, replacementModel])
  1698. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  1699. ["Initial context"],
  1700. ["Replacement context"],
  1701. ])
  1702. }),
  1703. )
  1704. it.effect("restores durable reasoning provider metadata in a second-turn request", () =>
  1705. Effect.gen(function* () {
  1706. yield* setup
  1707. const session = yield* SessionV2.Service
  1708. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Think first" }), resume: false })
  1709. requests.length = 0
  1710. response = [
  1711. LLMEvent.stepStart({ index: 0 }),
  1712. LLMEvent.reasoningStart({ id: "reasoning-anthropic" }),
  1713. LLMEvent.reasoningDelta({ id: "reasoning-anthropic", text: "Signed thought" }),
  1714. LLMEvent.reasoningEnd({ id: "reasoning-anthropic", providerMetadata: { anthropic: { signature: "sig_1" } } }),
  1715. LLMEvent.reasoningStart({
  1716. id: "reasoning-openai",
  1717. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: null } },
  1718. }),
  1719. LLMEvent.reasoningDelta({ id: "reasoning-openai", text: "Encrypted thought" }),
  1720. LLMEvent.reasoningEnd({
  1721. id: "reasoning-openai",
  1722. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: "encrypted-state" } },
  1723. }),
  1724. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1725. LLMEvent.finish({ reason: "stop" }),
  1726. ]
  1727. yield* session.resume(sessionID)
  1728. yield* replaySessionProjection(sessionID)
  1729. expect(yield* session.context(sessionID)).toMatchObject([
  1730. { type: "user", text: "Think first" },
  1731. {
  1732. type: "assistant",
  1733. content: [
  1734. { type: "reasoning", text: "Signed thought", providerMetadata: { anthropic: { signature: "sig_1" } } },
  1735. {
  1736. type: "reasoning",
  1737. text: "Encrypted thought",
  1738. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: "encrypted-state" } },
  1739. },
  1740. ],
  1741. },
  1742. ])
  1743. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1744. response = []
  1745. yield* session.resume(sessionID)
  1746. expect(requests[1]?.messages[1]?.content).toEqual([
  1747. { type: "reasoning", text: "Signed thought", providerMetadata: { anthropic: { signature: "sig_1" } } },
  1748. {
  1749. type: "reasoning",
  1750. text: "Encrypted thought",
  1751. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: "encrypted-state" } },
  1752. },
  1753. ])
  1754. }),
  1755. )
  1756. it.effect("replays durable provider-executed tool results inline in a second-turn request", () =>
  1757. Effect.gen(function* () {
  1758. yield* setup
  1759. const session = yield* SessionV2.Service
  1760. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Search first" }), resume: false })
  1761. requests.length = 0
  1762. response = [
  1763. LLMEvent.stepStart({ index: 0 }),
  1764. LLMEvent.toolCall({
  1765. id: "hosted-search",
  1766. name: "web_search",
  1767. input: { query: "Effect" },
  1768. providerExecuted: true,
  1769. providerMetadata: { openai: { itemId: "hosted-search" } },
  1770. }),
  1771. LLMEvent.toolResult({
  1772. id: "hosted-search",
  1773. name: "web_search",
  1774. result: { type: "json", value: [{ title: "Effect" }] },
  1775. providerExecuted: true,
  1776. providerMetadata: { anthropic: { blockType: "web_search_tool_result" } },
  1777. }),
  1778. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1779. LLMEvent.finish({ reason: "stop" }),
  1780. ]
  1781. yield* session.resume(sessionID)
  1782. yield* replaySessionProjection(sessionID)
  1783. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1784. response = []
  1785. yield* session.resume(sessionID)
  1786. expect(requests[1]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "user"])
  1787. expect(requests[1]?.messages[1]?.content).toMatchObject([
  1788. {
  1789. type: "tool-call",
  1790. id: "hosted-search",
  1791. name: "web_search",
  1792. input: { query: "Effect" },
  1793. providerExecuted: true,
  1794. providerMetadata: { openai: { itemId: "hosted-search" } },
  1795. },
  1796. {
  1797. type: "tool-result",
  1798. id: "hosted-search",
  1799. name: "web_search",
  1800. result: { type: "json", value: [{ title: "Effect" }] },
  1801. providerExecuted: true,
  1802. providerMetadata: { anthropic: { blockType: "web_search_tool_result" } },
  1803. },
  1804. ])
  1805. }),
  1806. )
  1807. it.effect("starts recorded local tools eagerly and awaits settlement before continuing", () =>
  1808. Effect.gen(function* () {
  1809. yield* setup
  1810. const session = yield* SessionV2.Service
  1811. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo five times" }), resume: false })
  1812. requests.length = 0
  1813. executions.length = 0
  1814. toolExecutionGate = yield* Deferred.make<void>()
  1815. toolExecutionsStarted = yield* Deferred.make<void>()
  1816. const providerGate = yield* Deferred.make<void>()
  1817. response = []
  1818. responses = undefined
  1819. const initial = Stream.fromIterable([
  1820. LLMEvent.stepStart({ index: 0 }),
  1821. ...Array.from({ length: 5 }, (_, index) =>
  1822. LLMEvent.toolCall({ id: `call-echo-${index}`, name: "echo", input: { text: `${index}` } }),
  1823. ),
  1824. ])
  1825. const final = Stream.fromIterable([
  1826. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1827. LLMEvent.finish({ reason: "tool-calls" }),
  1828. ])
  1829. streamGate = undefined
  1830. responseStream = Stream.concat(
  1831. initial,
  1832. Stream.fromEffect(Deferred.await(providerGate)).pipe(Stream.flatMap(() => final)),
  1833. )
  1834. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1835. yield* Deferred.await(toolExecutionsStarted)
  1836. expect(executions).toHaveLength(5)
  1837. expect(maxActiveToolExecutions).toBe(5)
  1838. expect(yield* session.context(sessionID)).toMatchObject([
  1839. { type: "user", text: "Echo five times" },
  1840. {
  1841. type: "assistant",
  1842. content: Array.from({ length: 5 }, (_, index) => ({
  1843. type: "tool",
  1844. id: `call-echo-${index}`,
  1845. state: { status: "running", input: { text: `${index}` } },
  1846. })),
  1847. },
  1848. ])
  1849. yield* Deferred.succeed(providerGate, undefined)
  1850. yield* Effect.yieldNow
  1851. expect(requests).toHaveLength(1)
  1852. yield* Deferred.succeed(toolExecutionGate, undefined)
  1853. yield* Fiber.join(run)
  1854. toolExecutionGate = undefined
  1855. toolExecutionsStarted = undefined
  1856. expect(executions).toHaveLength(5)
  1857. expect(maxActiveToolExecutions).toBe(5)
  1858. expect(requests).toHaveLength(2)
  1859. }),
  1860. )
  1861. it.effect("settles repeated provider-local tool call IDs against their owning assistant messages", () =>
  1862. Effect.gen(function* () {
  1863. yield* setup
  1864. const session = yield* SessionV2.Service
  1865. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo twice" }), resume: false })
  1866. requests.length = 0
  1867. executions.length = 0
  1868. responses = [
  1869. [
  1870. LLMEvent.stepStart({ index: 0 }),
  1871. LLMEvent.toolCall({ id: "tool_0", name: "echo", input: { text: "first" } }),
  1872. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1873. LLMEvent.finish({ reason: "tool-calls" }),
  1874. ],
  1875. [
  1876. LLMEvent.stepStart({ index: 0 }),
  1877. LLMEvent.toolCall({ id: "tool_0", name: "echo", input: { text: "second" } }),
  1878. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1879. LLMEvent.finish({ reason: "tool-calls" }),
  1880. ],
  1881. [],
  1882. ]
  1883. yield* session.resume(sessionID)
  1884. expect(executions).toEqual(["first", "second"])
  1885. expect(requests).toHaveLength(3)
  1886. expect(yield* session.context(sessionID)).toMatchObject([
  1887. { type: "user", text: "Echo twice" },
  1888. {
  1889. type: "assistant",
  1890. content: [
  1891. {
  1892. type: "tool",
  1893. id: "tool_0",
  1894. state: { status: "completed", structured: { text: "first" }, content: [{ type: "text", text: "first" }] },
  1895. },
  1896. ],
  1897. },
  1898. {
  1899. type: "assistant",
  1900. content: [
  1901. {
  1902. type: "tool",
  1903. id: "tool_0",
  1904. state: {
  1905. status: "completed",
  1906. structured: { text: "second" },
  1907. content: [{ type: "text", text: "second" }],
  1908. },
  1909. },
  1910. ],
  1911. },
  1912. ])
  1913. yield* replaySessionProjection(sessionID)
  1914. expect(yield* session.context(sessionID)).toMatchObject([
  1915. { type: "user", text: "Echo twice" },
  1916. {
  1917. type: "assistant",
  1918. content: [
  1919. {
  1920. type: "tool",
  1921. id: "tool_0",
  1922. state: { status: "completed", structured: { text: "first" }, content: [{ type: "text", text: "first" }] },
  1923. },
  1924. ],
  1925. },
  1926. {
  1927. type: "assistant",
  1928. content: [
  1929. {
  1930. type: "tool",
  1931. id: "tool_0",
  1932. state: {
  1933. status: "completed",
  1934. structured: { text: "second" },
  1935. content: [{ type: "text", text: "second" }],
  1936. },
  1937. },
  1938. ],
  1939. },
  1940. ])
  1941. }),
  1942. )
  1943. it.effect("joins concurrent resume calls into one active provider run", () =>
  1944. Effect.gen(function* () {
  1945. yield* setup
  1946. const session = yield* SessionV2.Service
  1947. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Run once" }), resume: false })
  1948. requests.length = 0
  1949. responses = undefined
  1950. response = [
  1951. LLMEvent.stepStart({ index: 0 }),
  1952. LLMEvent.textStart({ id: "text-once" }),
  1953. LLMEvent.textDelta({ id: "text-once", text: "Once" }),
  1954. LLMEvent.textEnd({ id: "text-once" }),
  1955. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1956. LLMEvent.finish({ reason: "stop" }),
  1957. ]
  1958. streamGate = yield* Deferred.make<void>()
  1959. streamStarted = yield* Deferred.make<void>()
  1960. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1961. yield* Deferred.await(streamStarted)
  1962. const second = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1963. yield* Effect.yieldNow
  1964. expect(requests).toHaveLength(1)
  1965. yield* Deferred.succeed(streamGate, undefined)
  1966. yield* Fiber.join(first)
  1967. yield* Fiber.join(second)
  1968. streamGate = undefined
  1969. streamStarted = undefined
  1970. expect(requests).toHaveLength(1)
  1971. expect(yield* session.context(sessionID)).toMatchObject([
  1972. { type: "user", text: "Run once" },
  1973. { type: "assistant", finish: "stop", content: [{ type: "text", id: "text-once", text: "Once" }] },
  1974. ])
  1975. }),
  1976. )
  1977. it.effect("steers an active provider turn with newly recorded prompts", () =>
  1978. Effect.gen(function* () {
  1979. yield* setup
  1980. const session = yield* SessionV2.Service
  1981. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  1982. requests.length = 0
  1983. responses = [
  1984. [
  1985. LLMEvent.stepStart({ index: 0 }),
  1986. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1987. LLMEvent.finish({ reason: "stop" }),
  1988. ],
  1989. [
  1990. LLMEvent.stepStart({ index: 0 }),
  1991. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1992. LLMEvent.finish({ reason: "stop" }),
  1993. ],
  1994. ]
  1995. streamGate = yield* Deferred.make<void>()
  1996. streamStarted = yield* Deferred.make<void>()
  1997. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1998. yield* Deferred.await(streamStarted)
  1999. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Change direction" }) })
  2000. yield* Deferred.succeed(streamGate, undefined)
  2001. yield* Fiber.join(first)
  2002. streamGate = undefined
  2003. streamStarted = undefined
  2004. yield* Effect.yieldNow
  2005. expect(requests).toHaveLength(2)
  2006. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2007. expect(userTexts(requests[1]!)).toEqual(["Start working", "Change direction"])
  2008. expect((yield* session.context(sessionID)).map((message) => message.type)).toEqual([
  2009. "user",
  2010. "assistant",
  2011. "user",
  2012. "assistant",
  2013. ])
  2014. }),
  2015. )
  2016. it.effect("starts queued input after the active activity settles", () =>
  2017. Effect.gen(function* () {
  2018. yield* setup
  2019. const session = yield* SessionV2.Service
  2020. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2021. requests.length = 0
  2022. responses = [
  2023. [
  2024. LLMEvent.stepStart({ index: 0 }),
  2025. LLMEvent.toolCall({ id: "call-echo", name: "echo", input: { text: "hello" } }),
  2026. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2027. LLMEvent.finish({ reason: "tool-calls" }),
  2028. ],
  2029. [
  2030. LLMEvent.stepStart({ index: 0 }),
  2031. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2032. LLMEvent.finish({ reason: "stop" }),
  2033. ],
  2034. [
  2035. LLMEvent.stepStart({ index: 0 }),
  2036. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2037. LLMEvent.finish({ reason: "stop" }),
  2038. ],
  2039. ]
  2040. streamGate = yield* Deferred.make<void>()
  2041. streamStarted = yield* Deferred.make<void>()
  2042. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2043. yield* Deferred.await(streamStarted)
  2044. yield* session.prompt({
  2045. sessionID,
  2046. prompt: new Prompt({ text: "Wait until the next activity" }),
  2047. delivery: "queue",
  2048. })
  2049. yield* Deferred.succeed(streamGate, undefined)
  2050. yield* Fiber.join(first)
  2051. streamGate = undefined
  2052. streamStarted = undefined
  2053. expect(requests).toHaveLength(3)
  2054. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2055. expect(userTexts(requests[1]!)).toEqual(["Start working"])
  2056. expect(userTexts(requests[2]!)).toEqual(["Start working", "Wait until the next activity"])
  2057. }),
  2058. )
  2059. it.effect("preserves durable queued input for a later wake after interruption", () =>
  2060. Effect.gen(function* () {
  2061. yield* setup
  2062. const session = yield* SessionV2.Service
  2063. const { db } = yield* Database.Service
  2064. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt current work" }), resume: false })
  2065. requests.length = 0
  2066. responses = [
  2067. [],
  2068. [
  2069. LLMEvent.stepStart({ index: 0 }),
  2070. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2071. LLMEvent.finish({ reason: "stop" }),
  2072. ],
  2073. ]
  2074. streamGate = yield* Deferred.make<void>()
  2075. streamStarted = yield* Deferred.make<void>()
  2076. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2077. yield* Deferred.await(streamStarted)
  2078. yield* session.prompt({
  2079. sessionID,
  2080. prompt: new Prompt({ text: "Run after interrupt" }),
  2081. delivery: "queue",
  2082. })
  2083. yield* session.interrupt(sessionID)
  2084. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2085. expect(requests).toHaveLength(1)
  2086. expect(yield* SessionInput.hasPending(db, sessionID, "queue")).toBe(true)
  2087. const resumed = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2088. while (requests.length < 2) yield* Effect.yieldNow
  2089. yield* Deferred.succeed(streamGate, undefined)
  2090. yield* Fiber.join(resumed)
  2091. streamGate = undefined
  2092. streamStarted = undefined
  2093. expect(requests).toHaveLength(2)
  2094. expect(userTexts(requests[0]!)).toEqual(["Interrupt current work"])
  2095. expect(userTexts(requests[1]!)).toEqual(["Interrupt current work", "Run after interrupt"])
  2096. }),
  2097. )
  2098. it.effect("preserves durable steering input for a later resume after interruption", () =>
  2099. Effect.gen(function* () {
  2100. yield* setup
  2101. const session = yield* SessionV2.Service
  2102. const { db } = yield* Database.Service
  2103. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt current work" }), resume: false })
  2104. requests.length = 0
  2105. responses = [
  2106. [],
  2107. [
  2108. LLMEvent.stepStart({ index: 0 }),
  2109. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2110. LLMEvent.finish({ reason: "stop" }),
  2111. ],
  2112. ]
  2113. streamGate = yield* Deferred.make<void>()
  2114. streamStarted = yield* Deferred.make<void>()
  2115. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2116. yield* Deferred.await(streamStarted)
  2117. yield* session.prompt({
  2118. sessionID,
  2119. prompt: new Prompt({ text: "Steer after interrupt" }),
  2120. })
  2121. yield* session.interrupt(sessionID)
  2122. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2123. expect(requests).toHaveLength(1)
  2124. expect(yield* SessionInput.hasPending(db, sessionID, "steer")).toBe(true)
  2125. const resumed = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2126. while (requests.length < 2) yield* Effect.yieldNow
  2127. yield* Deferred.succeed(streamGate, undefined)
  2128. yield* Fiber.join(resumed)
  2129. streamGate = undefined
  2130. streamStarted = undefined
  2131. expect(requests).toHaveLength(2)
  2132. expect(userTexts(requests[0]!)).toEqual(["Interrupt current work"])
  2133. expect(userTexts(requests[1]!)).toEqual(["Interrupt current work", "Steer after interrupt"])
  2134. }),
  2135. )
  2136. it.effect("runs queued active inputs as separate FIFO activities", () =>
  2137. Effect.gen(function* () {
  2138. yield* setup
  2139. const session = yield* SessionV2.Service
  2140. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2141. requests.length = 0
  2142. responses = [
  2143. [
  2144. LLMEvent.stepStart({ index: 0 }),
  2145. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2146. LLMEvent.finish({ reason: "stop" }),
  2147. ],
  2148. [
  2149. LLMEvent.stepStart({ index: 0 }),
  2150. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2151. LLMEvent.finish({ reason: "stop" }),
  2152. ],
  2153. [
  2154. LLMEvent.stepStart({ index: 0 }),
  2155. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2156. LLMEvent.finish({ reason: "stop" }),
  2157. ],
  2158. ]
  2159. streamGate = yield* Deferred.make<void>()
  2160. streamStarted = yield* Deferred.make<void>()
  2161. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2162. yield* Deferred.await(streamStarted)
  2163. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue first" }), delivery: "queue" })
  2164. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue second" }), delivery: "queue" })
  2165. yield* Deferred.succeed(streamGate, undefined)
  2166. yield* Fiber.join(first)
  2167. streamGate = undefined
  2168. streamStarted = undefined
  2169. expect(requests).toHaveLength(3)
  2170. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2171. expect(userTexts(requests[1]!)).toEqual(["Start working", "Queue first"])
  2172. expect(userTexts(requests[2]!)).toEqual(["Start working", "Queue first", "Queue second"])
  2173. }),
  2174. )
  2175. it.effect("opens queued input after idle steering activity settles", () =>
  2176. Effect.gen(function* () {
  2177. yield* setup
  2178. const session = yield* SessionV2.Service
  2179. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start steering activity" }), resume: false })
  2180. yield* session.prompt({
  2181. sessionID,
  2182. prompt: new Prompt({ text: "Queue later activity" }),
  2183. delivery: "queue",
  2184. resume: false,
  2185. })
  2186. requests.length = 0
  2187. responses = [
  2188. [
  2189. LLMEvent.stepStart({ index: 0 }),
  2190. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2191. LLMEvent.finish({ reason: "stop" }),
  2192. ],
  2193. [
  2194. LLMEvent.stepStart({ index: 0 }),
  2195. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2196. LLMEvent.finish({ reason: "stop" }),
  2197. ],
  2198. ]
  2199. yield* session.resume(sessionID)
  2200. expect(requests).toHaveLength(2)
  2201. expect(userTexts(requests[0]!)).toEqual(["Start steering activity"])
  2202. expect(userTexts(requests[1]!)).toEqual(["Start steering activity", "Queue later activity"])
  2203. }),
  2204. )
  2205. it.effect("coalesces steers into the active queued activity before starting the next queued activity", () =>
  2206. Effect.gen(function* () {
  2207. yield* setup
  2208. const session = yield* SessionV2.Service
  2209. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2210. requests.length = 0
  2211. responses = [
  2212. [
  2213. LLMEvent.stepStart({ index: 0 }),
  2214. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2215. LLMEvent.finish({ reason: "stop" }),
  2216. ],
  2217. [
  2218. LLMEvent.stepStart({ index: 0 }),
  2219. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2220. LLMEvent.finish({ reason: "stop" }),
  2221. ],
  2222. [
  2223. LLMEvent.stepStart({ index: 0 }),
  2224. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2225. LLMEvent.finish({ reason: "stop" }),
  2226. ],
  2227. [
  2228. LLMEvent.stepStart({ index: 0 }),
  2229. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2230. LLMEvent.finish({ reason: "stop" }),
  2231. ],
  2232. ]
  2233. const firstGate = yield* Deferred.make<void>()
  2234. const secondGate = yield* Deferred.make<void>()
  2235. streamGate = firstGate
  2236. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2237. while (requests.length < 1) yield* Effect.yieldNow
  2238. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue first" }), delivery: "queue" })
  2239. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue second" }), delivery: "queue" })
  2240. streamGate = secondGate
  2241. yield* Deferred.succeed(firstGate, undefined)
  2242. while (requests.length < 2) yield* Effect.yieldNow
  2243. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Steer first queued activity" }) })
  2244. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Also steer first queued activity" }) })
  2245. yield* Deferred.succeed(secondGate, undefined)
  2246. yield* Fiber.join(first)
  2247. streamGate = undefined
  2248. expect(requests).toHaveLength(4)
  2249. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2250. expect(userTexts(requests[1]!)).toEqual(["Start working", "Queue first"])
  2251. expect(userTexts(requests[2]!)).toEqual([
  2252. "Start working",
  2253. "Queue first",
  2254. "Steer first queued activity",
  2255. "Also steer first queued activity",
  2256. ])
  2257. expect(userTexts(requests[3]!)).toEqual([
  2258. "Start working",
  2259. "Queue first",
  2260. "Steer first queued activity",
  2261. "Also steer first queued activity",
  2262. "Queue second",
  2263. ])
  2264. }),
  2265. )
  2266. it.effect("coalesces multiple active steering prompts into one continuation turn", () =>
  2267. Effect.gen(function* () {
  2268. yield* setup
  2269. const session = yield* SessionV2.Service
  2270. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2271. requests.length = 0
  2272. responses = [
  2273. [
  2274. LLMEvent.stepStart({ index: 0 }),
  2275. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2276. LLMEvent.finish({ reason: "stop" }),
  2277. ],
  2278. [
  2279. LLMEvent.stepStart({ index: 0 }),
  2280. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2281. LLMEvent.finish({ reason: "stop" }),
  2282. ],
  2283. ]
  2284. streamGate = yield* Deferred.make<void>()
  2285. streamStarted = yield* Deferred.make<void>()
  2286. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2287. yield* Deferred.await(streamStarted)
  2288. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First steer" }) })
  2289. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second steer" }) })
  2290. yield* Deferred.succeed(streamGate, undefined)
  2291. yield* Fiber.join(first)
  2292. streamGate = undefined
  2293. streamStarted = undefined
  2294. yield* Effect.yieldNow
  2295. expect(requests).toHaveLength(2)
  2296. expect(userTexts(requests[1]!)).toEqual(["Start working", "First steer", "Second steer"])
  2297. yield* (yield* SessionRunCoordinator.Service).wake(sessionID)
  2298. yield* Effect.yieldNow
  2299. expect(requests).toHaveLength(2)
  2300. }),
  2301. )
  2302. it.effect("runs steering input accepted while the active provider turn fails", () =>
  2303. Effect.gen(function* () {
  2304. yield* setup
  2305. const session = yield* SessionV2.Service
  2306. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2307. requests.length = 0
  2308. responses = undefined
  2309. response = []
  2310. streamFailure = providerUnavailable()
  2311. streamGate = yield* Deferred.make<void>()
  2312. streamStarted = yield* Deferred.make<void>()
  2313. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2314. yield* Deferred.await(streamStarted)
  2315. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Recover with this" }) })
  2316. yield* Deferred.succeed(streamGate, undefined)
  2317. expect(yield* Fiber.join(first).pipe(Effect.flip)).toBe(streamFailure)
  2318. streamFailure = undefined
  2319. streamGate = undefined
  2320. streamStarted = undefined
  2321. yield* Effect.yieldNow
  2322. expect(requests).toHaveLength(2)
  2323. expect(userTexts(requests[1]!)).toEqual(["Start working", "Recover with this"])
  2324. }),
  2325. )
  2326. it.effect("durably fails local tools left running by a prior process before continuing", () =>
  2327. Effect.gen(function* () {
  2328. yield* setup
  2329. const session = yield* SessionV2.Service
  2330. const events = yield* EventV2.Service
  2331. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Recover interrupted tool" }), resume: false })
  2332. yield* SessionInput.promoteSteers((yield* Database.Service).db, events, sessionID, Number.MAX_SAFE_INTEGER)
  2333. const assistantMessageID = SessionMessage.ID.create()
  2334. yield* events.publish(SessionEvent.Step.Started, {
  2335. sessionID,
  2336. assistantMessageID,
  2337. timestamp: yield* DateTime.now,
  2338. agent: "build",
  2339. model: { id: ModelV2.ID.make("fake-model"), providerID: ProviderV2.ID.make("fake") },
  2340. })
  2341. yield* events.publish(SessionEvent.Tool.Input.Started, {
  2342. sessionID,
  2343. timestamp: yield* DateTime.now,
  2344. assistantMessageID,
  2345. callID: "call-interrupted",
  2346. name: "echo",
  2347. })
  2348. yield* events.publish(SessionEvent.Tool.Input.Ended, {
  2349. sessionID,
  2350. timestamp: yield* DateTime.now,
  2351. assistantMessageID,
  2352. callID: "call-interrupted",
  2353. text: '{"text":"stale"}',
  2354. })
  2355. yield* events.publish(SessionEvent.Tool.Called, {
  2356. sessionID,
  2357. timestamp: yield* DateTime.now,
  2358. assistantMessageID,
  2359. callID: "call-interrupted",
  2360. tool: "echo",
  2361. input: { text: "stale" },
  2362. provider: { executed: false },
  2363. })
  2364. requests.length = 0
  2365. response = []
  2366. yield* session.resume(sessionID)
  2367. expect(requests).toHaveLength(1)
  2368. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  2369. expect(yield* session.context(sessionID)).toMatchObject([
  2370. { type: "user", text: "Recover interrupted tool" },
  2371. {
  2372. type: "assistant",
  2373. content: [
  2374. {
  2375. type: "tool",
  2376. id: "call-interrupted",
  2377. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2378. },
  2379. ],
  2380. },
  2381. ])
  2382. }),
  2383. )
  2384. it.effect("durably fails hosted tools left running by a prior process before continuing inline", () =>
  2385. Effect.gen(function* () {
  2386. yield* setup
  2387. const session = yield* SessionV2.Service
  2388. const events = yield* EventV2.Service
  2389. yield* session.prompt({
  2390. sessionID,
  2391. prompt: new Prompt({ text: "Recover interrupted hosted tool" }),
  2392. resume: false,
  2393. })
  2394. yield* SessionInput.promoteSteers((yield* Database.Service).db, events, sessionID, Number.MAX_SAFE_INTEGER)
  2395. const assistantMessageID = SessionMessage.ID.create()
  2396. yield* events.publish(SessionEvent.Step.Started, {
  2397. sessionID,
  2398. assistantMessageID,
  2399. timestamp: yield* DateTime.now,
  2400. agent: "build",
  2401. model: { id: ModelV2.ID.make("fake-model"), providerID: ProviderV2.ID.make("fake") },
  2402. })
  2403. yield* events.publish(SessionEvent.Tool.Input.Started, {
  2404. sessionID,
  2405. timestamp: yield* DateTime.now,
  2406. assistantMessageID,
  2407. callID: "call-hosted-interrupted",
  2408. name: "web_search",
  2409. })
  2410. yield* events.publish(SessionEvent.Tool.Input.Ended, {
  2411. sessionID,
  2412. timestamp: yield* DateTime.now,
  2413. assistantMessageID,
  2414. callID: "call-hosted-interrupted",
  2415. text: '{"query":"stale"}',
  2416. })
  2417. yield* events.publish(SessionEvent.Tool.Called, {
  2418. sessionID,
  2419. timestamp: yield* DateTime.now,
  2420. assistantMessageID,
  2421. callID: "call-hosted-interrupted",
  2422. tool: "web_search",
  2423. input: { query: "stale" },
  2424. provider: { executed: true, metadata: { openai: { itemId: "call-hosted-interrupted" } } },
  2425. })
  2426. requests.length = 0
  2427. response = []
  2428. yield* session.resume(sessionID)
  2429. expect(requests).toHaveLength(1)
  2430. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant"])
  2431. expect(requests[0]?.messages[1]?.content).toMatchObject([
  2432. {
  2433. type: "tool-call",
  2434. id: "call-hosted-interrupted",
  2435. providerExecuted: true,
  2436. providerMetadata: { openai: { itemId: "call-hosted-interrupted" } },
  2437. },
  2438. { type: "tool-result", id: "call-hosted-interrupted", providerExecuted: true, result: { type: "error" } },
  2439. ])
  2440. }),
  2441. )
  2442. it.effect("durably fails pending tool input left by a prior process before continuing", () =>
  2443. Effect.gen(function* () {
  2444. yield* setup
  2445. const session = yield* SessionV2.Service
  2446. const events = yield* EventV2.Service
  2447. yield* session.prompt({
  2448. sessionID,
  2449. prompt: new Prompt({ text: "Recover interrupted tool input" }),
  2450. resume: false,
  2451. })
  2452. yield* SessionInput.promoteSteers((yield* Database.Service).db, events, sessionID, Number.MAX_SAFE_INTEGER)
  2453. const assistantMessageID = SessionMessage.ID.create()
  2454. yield* events.publish(SessionEvent.Step.Started, {
  2455. sessionID,
  2456. assistantMessageID,
  2457. timestamp: yield* DateTime.now,
  2458. agent: "build",
  2459. model: { id: ModelV2.ID.make("fake-model"), providerID: ProviderV2.ID.make("fake") },
  2460. })
  2461. yield* events.publish(SessionEvent.Tool.Input.Started, {
  2462. sessionID,
  2463. timestamp: yield* DateTime.now,
  2464. assistantMessageID,
  2465. callID: "call-pending-interrupted",
  2466. name: "echo",
  2467. })
  2468. requests.length = 0
  2469. response = []
  2470. yield* session.resume(sessionID)
  2471. expect(requests).toHaveLength(1)
  2472. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  2473. expect(yield* session.context(sessionID)).toMatchObject([
  2474. { type: "user", text: "Recover interrupted tool input" },
  2475. { type: "assistant", content: [{ type: "tool", id: "call-pending-interrupted", state: { status: "error" } }] },
  2476. ])
  2477. }),
  2478. )
  2479. it.effect("starts the first queued activity when woken while idle", () =>
  2480. Effect.gen(function* () {
  2481. yield* setup
  2482. const session = yield* SessionV2.Service
  2483. yield* session.prompt({
  2484. sessionID,
  2485. prompt: new Prompt({ text: "Wait for fresh activity" }),
  2486. delivery: "queue",
  2487. resume: false,
  2488. })
  2489. requests.length = 0
  2490. yield* (yield* SessionRunCoordinator.Service).wake(sessionID)
  2491. yield* Effect.yieldNow
  2492. expect(requests).toHaveLength(1)
  2493. expect(userTexts(requests[0]!)).toEqual(["Wait for fresh activity"])
  2494. }),
  2495. )
  2496. it.effect("does not spend one activity step budget across queued activities", () =>
  2497. Effect.gen(function* () {
  2498. yield* setup
  2499. const session = yield* SessionV2.Service
  2500. const queued = Array.from({ length: 26 }, (_, index) => `Queued activity ${index + 1}`)
  2501. for (const text of queued) {
  2502. yield* session.prompt({ sessionID, prompt: new Prompt({ text }), delivery: "queue", resume: false })
  2503. }
  2504. requests.length = 0
  2505. responses = queued.map(() => [
  2506. LLMEvent.stepStart({ index: 0 }),
  2507. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2508. LLMEvent.finish({ reason: "stop" }),
  2509. ])
  2510. yield* session.resume(sessionID)
  2511. expect(requests).toHaveLength(queued.length)
  2512. expect(userTexts(requests.at(-1)!)).toEqual(queued)
  2513. }),
  2514. )
  2515. it.effect("retries inbox input after prompt projection rolls back", () =>
  2516. Effect.gen(function* () {
  2517. yield* setup
  2518. const session = yield* SessionV2.Service
  2519. const events = yield* EventV2.Service
  2520. const defect = new Error("fail after prompt promotion")
  2521. let fail = true
  2522. yield* events.project(SessionEvent.PromptLifecycle.Promoted, () => (fail ? Effect.die(defect) : Effect.void))
  2523. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Recover promoted input" }), resume: false })
  2524. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe(defect)
  2525. fail = false
  2526. requests.length = 0
  2527. response = [
  2528. LLMEvent.stepStart({ index: 0 }),
  2529. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2530. LLMEvent.finish({ reason: "stop" }),
  2531. ]
  2532. yield* (yield* SessionRunCoordinator.Service).wake(sessionID)
  2533. while (requests.length === 0) yield* Effect.yieldNow
  2534. expect(userTexts(requests[0]!)).toEqual(["Recover promoted input"])
  2535. }),
  2536. )
  2537. it.effect("does not strand a committed promotion when a post-commit listener defects", () =>
  2538. Effect.gen(function* () {
  2539. yield* setup
  2540. const session = yield* SessionV2.Service
  2541. const events = yield* EventV2.Service
  2542. yield* events.listen((event) =>
  2543. event.type === SessionEvent.PromptLifecycle.Promoted.type
  2544. ? Effect.die("fail after prompt promotion commits")
  2545. : Effect.void,
  2546. )
  2547. yield* session.prompt({
  2548. sessionID,
  2549. prompt: new Prompt({ text: "Run committed promotion" }),
  2550. resume: false,
  2551. })
  2552. requests.length = 0
  2553. yield* session.resume(sessionID)
  2554. expect(requests).toHaveLength(1)
  2555. expect(userTexts(requests[0]!)).toEqual(["Run committed promotion"])
  2556. }),
  2557. )
  2558. it.effect("runs different sessions concurrently", () =>
  2559. Effect.gen(function* () {
  2560. yield* setup
  2561. yield* insertSession(otherSessionID)
  2562. const session = yield* SessionV2.Service
  2563. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Run first" }), resume: false })
  2564. yield* session.prompt({ sessionID: otherSessionID, prompt: new Prompt({ text: "Run second" }), resume: false })
  2565. requests.length = 0
  2566. responses = undefined
  2567. response = []
  2568. streamGate = yield* Deferred.make<void>()
  2569. streamStarted = yield* Deferred.make<void>()
  2570. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2571. yield* Deferred.await(streamStarted)
  2572. const second = yield* session.resume(otherSessionID).pipe(Effect.forkChild)
  2573. yield* Effect.yieldNow
  2574. expect(requests).toHaveLength(2)
  2575. expect(requests.map((request) => request.providerOptions?.openai?.promptCacheKey)).toEqual([
  2576. sessionID,
  2577. otherSessionID,
  2578. ])
  2579. yield* Deferred.succeed(streamGate, undefined)
  2580. yield* Fiber.join(first)
  2581. yield* Fiber.join(second)
  2582. streamGate = undefined
  2583. streamStarted = undefined
  2584. }),
  2585. )
  2586. it.effect("bounds external session prompt cache keys", () =>
  2587. Effect.gen(function* () {
  2588. yield* setup
  2589. const externalSessionID = SessionV2.ID.fromExternal({
  2590. namespace: "discord",
  2591. key: "thread-one",
  2592. })
  2593. const otherExternalSessionID = SessionV2.ID.fromExternal({
  2594. namespace: "discord",
  2595. key: "thread-two",
  2596. })
  2597. yield* insertSession(externalSessionID)
  2598. yield* insertSession(otherExternalSessionID)
  2599. const session = yield* SessionV2.Service
  2600. yield* session.prompt({
  2601. sessionID: externalSessionID,
  2602. prompt: new Prompt({ text: "Run external session" }),
  2603. resume: false,
  2604. })
  2605. yield* session.prompt({
  2606. sessionID: otherExternalSessionID,
  2607. prompt: new Prompt({ text: "Run other external session" }),
  2608. resume: false,
  2609. })
  2610. requests.length = 0
  2611. yield* session.resume(externalSessionID)
  2612. yield* session.resume(otherExternalSessionID)
  2613. const keys = requests.map((request) => request.providerOptions?.openai?.promptCacheKey)
  2614. expect(keys).toEqual([externalSessionID.slice(4), otherExternalSessionID.slice(4)])
  2615. expect(keys.every((key) => typeof key === "string" && key.length === 64)).toBe(true)
  2616. expect(keys[0]).not.toBe(keys[1])
  2617. }),
  2618. )
  2619. it.effect("fans out one failed run and allows a later retry", () =>
  2620. Effect.gen(function* () {
  2621. yield* setup
  2622. const session = yield* SessionV2.Service
  2623. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Retry after failure" }), resume: false })
  2624. requests.length = 0
  2625. responses = undefined
  2626. response = []
  2627. streamFailure = providerUnavailable()
  2628. streamGate = yield* Deferred.make<void>()
  2629. streamStarted = yield* Deferred.make<void>()
  2630. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2631. yield* Deferred.await(streamStarted)
  2632. const second = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2633. yield* Effect.yieldNow
  2634. expect(requests).toHaveLength(1)
  2635. yield* Deferred.succeed(streamGate, undefined)
  2636. const [firstExit, secondExit] = yield* Effect.all([Fiber.await(first), Fiber.await(second)])
  2637. expect(secondExit).toEqual(firstExit)
  2638. streamFailure = undefined
  2639. streamGate = undefined
  2640. streamStarted = undefined
  2641. yield* session.resume(sessionID)
  2642. expect(requests).toHaveLength(2)
  2643. }),
  2644. )
  2645. it.effect("durably settles local tool failures before continuing", () =>
  2646. Effect.gen(function* () {
  2647. yield* setup
  2648. const session = yield* SessionV2.Service
  2649. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Call missing" }), resume: false })
  2650. requests.length = 0
  2651. responses = [
  2652. [
  2653. LLMEvent.stepStart({ index: 0 }),
  2654. LLMEvent.toolCall({ id: "call-missing", name: "missing", input: {} }),
  2655. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2656. LLMEvent.finish({ reason: "tool-calls" }),
  2657. ],
  2658. [
  2659. LLMEvent.stepStart({ index: 0 }),
  2660. LLMEvent.textStart({ id: "text-after-error" }),
  2661. LLMEvent.textDelta({ id: "text-after-error", text: "Recovered" }),
  2662. LLMEvent.textEnd({ id: "text-after-error" }),
  2663. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2664. LLMEvent.finish({ reason: "stop" }),
  2665. ],
  2666. ]
  2667. streamGate = undefined
  2668. streamStarted = undefined
  2669. yield* session.resume(sessionID)
  2670. expect(requests).toHaveLength(2)
  2671. expect(yield* session.context(sessionID)).toMatchObject([
  2672. { type: "user", text: "Call missing" },
  2673. {
  2674. type: "assistant",
  2675. content: [
  2676. {
  2677. type: "tool",
  2678. id: "call-missing",
  2679. state: { status: "error", error: { message: "Unknown tool: missing" } },
  2680. },
  2681. ],
  2682. },
  2683. { type: "assistant", finish: "stop", content: [{ type: "text", id: "text-after-error", text: "Recovered" }] },
  2684. ])
  2685. }),
  2686. )
  2687. it.effect("propagates unexpected local tool defects operationally", () =>
  2688. Effect.gen(function* () {
  2689. yield* setup
  2690. const session = yield* SessionV2.Service
  2691. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Call defect" }), resume: false })
  2692. requests.length = 0
  2693. responses = [
  2694. [
  2695. LLMEvent.stepStart({ index: 0 }),
  2696. LLMEvent.toolCall({ id: "call-defect", name: "defect", input: {} }),
  2697. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2698. LLMEvent.finish({ reason: "tool-calls" }),
  2699. ],
  2700. ]
  2701. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe("unexpected tool defect")
  2702. expect(requests).toHaveLength(1)
  2703. expect(yield* session.context(sessionID)).toMatchObject([
  2704. { type: "user", text: "Call defect" },
  2705. {
  2706. type: "assistant",
  2707. content: [
  2708. {
  2709. type: "tool",
  2710. id: "call-defect",
  2711. state: {
  2712. status: "error",
  2713. error: { type: "unknown", message: "Tool execution failed: unexpected tool defect" },
  2714. },
  2715. },
  2716. ],
  2717. },
  2718. ])
  2719. }),
  2720. )
  2721. it.effect("interrupts runner continuation when a question is dismissed", () =>
  2722. Effect.gen(function* () {
  2723. yield* setup
  2724. const session = yield* SessionV2.Service
  2725. const registry = yield* ToolRegistry.Service
  2726. const questions = yield* QuestionV2.Service
  2727. yield* registry.register({
  2728. question: Tool.make({
  2729. description: "Ask the user",
  2730. input: Schema.Struct({}),
  2731. output: Schema.Struct({}),
  2732. execute: (_, context) =>
  2733. questions.ask({ sessionID: context.sessionID, questions: [] }).pipe(Effect.as({}), Effect.orDie),
  2734. }),
  2735. })
  2736. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Ask then stop" }), resume: false })
  2737. requests.length = 0
  2738. responses = [
  2739. [
  2740. LLMEvent.stepStart({ index: 0 }),
  2741. LLMEvent.toolCall({ id: "call-question", name: "question", input: {} }),
  2742. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2743. LLMEvent.finish({ reason: "tool-calls" }),
  2744. ],
  2745. [],
  2746. ]
  2747. const run = yield* session.resume(sessionID).pipe(Effect.exit, Effect.forkChild)
  2748. let pending = yield* questions.list()
  2749. while (pending.length === 0) {
  2750. yield* Effect.yieldNow
  2751. pending = yield* questions.list()
  2752. }
  2753. yield* questions.reject(pending[0]!.id)
  2754. const exit = yield* Fiber.join(run)
  2755. expect(exit._tag).toBe("Failure")
  2756. if (exit._tag === "Failure") expect(Cause.hasInterruptsOnly(exit.cause)).toBe(true)
  2757. expect(requests).toHaveLength(1)
  2758. expect(yield* session.context(sessionID)).toMatchObject([
  2759. { type: "user", text: "Ask then stop" },
  2760. {
  2761. type: "assistant",
  2762. content: [
  2763. {
  2764. type: "tool",
  2765. id: "call-question",
  2766. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2767. },
  2768. ],
  2769. },
  2770. ])
  2771. }),
  2772. )
  2773. it.effect("awaits started local tools before surfacing provider stream failure", () =>
  2774. Effect.gen(function* () {
  2775. yield* setup
  2776. const session = yield* SessionV2.Service
  2777. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Settle before failing" }), resume: false })
  2778. const failure = providerUnavailable()
  2779. toolExecutionGate = yield* Deferred.make<void>()
  2780. responseStream = Stream.concat(
  2781. Stream.fromIterable([
  2782. LLMEvent.stepStart({ index: 0 }),
  2783. LLMEvent.toolCall({ id: "call-before-failure", name: "echo", input: { text: "settle" } }),
  2784. ]),
  2785. Stream.fail(failure),
  2786. )
  2787. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2788. while (executions.length === 0) yield* Effect.yieldNow
  2789. yield* Effect.yieldNow
  2790. yield* Deferred.succeed(toolExecutionGate, undefined)
  2791. expect(yield* Fiber.join(run).pipe(Effect.flip)).toBe(failure)
  2792. toolExecutionGate = undefined
  2793. expect(yield* session.context(sessionID)).toMatchObject([
  2794. { type: "user", text: "Settle before failing" },
  2795. {
  2796. type: "assistant",
  2797. content: [
  2798. { type: "tool", id: "call-before-failure", state: { status: "completed", structured: { text: "settle" } } },
  2799. ],
  2800. },
  2801. ])
  2802. }),
  2803. )
  2804. it.effect("durably fails blocked local tools when a provider turn is interrupted", () =>
  2805. Effect.gen(function* () {
  2806. yield* setup
  2807. const session = yield* SessionV2.Service
  2808. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt blocked tool" }), resume: false })
  2809. executions.length = 0
  2810. toolExecutionGate = yield* Deferred.make<void>()
  2811. responseStream = Stream.concat(
  2812. Stream.fromIterable([
  2813. LLMEvent.stepStart({ index: 0 }),
  2814. LLMEvent.toolCall({ id: "call-before-interrupt", name: "echo", input: { text: "blocked" } }),
  2815. ]),
  2816. Stream.never,
  2817. )
  2818. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2819. while (executions.length === 0) yield* Effect.yieldNow
  2820. yield* session.interrupt(sessionID)
  2821. toolExecutionGate = undefined
  2822. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2823. yield* session.interrupt(sessionID)
  2824. expect(yield* session.context(sessionID)).toMatchObject([
  2825. { type: "user", text: "Interrupt blocked tool" },
  2826. {
  2827. type: "assistant",
  2828. content: [
  2829. {
  2830. type: "tool",
  2831. id: "call-before-interrupt",
  2832. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2833. },
  2834. ],
  2835. },
  2836. ])
  2837. yield* replaySessionProjection(sessionID)
  2838. expect(yield* session.context(sessionID)).toMatchObject([
  2839. { type: "user", text: "Interrupt blocked tool" },
  2840. { type: "assistant", content: [{ type: "tool", id: "call-before-interrupt", state: { status: "error" } }] },
  2841. ])
  2842. requests.length = 0
  2843. responseStream = undefined
  2844. response = []
  2845. yield* session.resume(sessionID)
  2846. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  2847. }),
  2848. )
  2849. it.effect("interrupts a blocked provider turn without local tool activity", () =>
  2850. Effect.gen(function* () {
  2851. yield* setup
  2852. const session = yield* SessionV2.Service
  2853. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt provider" }), resume: false })
  2854. requests.length = 0
  2855. response = []
  2856. streamGate = yield* Deferred.make<void>()
  2857. streamStarted = yield* Deferred.make<void>()
  2858. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2859. yield* Deferred.await(streamStarted)
  2860. yield* session.interrupt(sessionID)
  2861. const exit = yield* Fiber.await(run)
  2862. streamGate = undefined
  2863. streamStarted = undefined
  2864. expect(Exit.isFailure(exit) && Cause.hasInterruptsOnly(exit.cause)).toBeTrue()
  2865. expect(requests).toHaveLength(1)
  2866. yield* session.interrupt(sessionID)
  2867. }),
  2868. )
  2869. it.effect("durably fails blocked local tools when interrupted while awaiting settlement", () =>
  2870. Effect.gen(function* () {
  2871. yield* setup
  2872. const session = yield* SessionV2.Service
  2873. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt tool settlement" }), resume: false })
  2874. executions.length = 0
  2875. toolExecutionGate = yield* Deferred.make<void>()
  2876. response = [
  2877. LLMEvent.stepStart({ index: 0 }),
  2878. LLMEvent.toolCall({ id: "call-await-interrupt", name: "echo", input: { text: "blocked" } }),
  2879. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2880. LLMEvent.finish({ reason: "tool-calls" }),
  2881. ]
  2882. const runner = yield* SessionRunner.Service
  2883. const run = yield* runner.run({ sessionID, force: true }).pipe(Effect.forkChild)
  2884. while (executions.length === 0) yield* Effect.yieldNow
  2885. yield* Fiber.interrupt(run)
  2886. toolExecutionGate = undefined
  2887. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2888. expect(yield* session.context(sessionID)).toMatchObject([
  2889. { type: "user", text: "Interrupt tool settlement" },
  2890. {
  2891. type: "assistant",
  2892. content: [
  2893. {
  2894. type: "tool",
  2895. id: "call-await-interrupt",
  2896. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2897. },
  2898. ],
  2899. },
  2900. ])
  2901. }),
  2902. )
  2903. it.effect("continues past 25 local tool steps when the agent has no step limit", () =>
  2904. Effect.gen(function* () {
  2905. yield* setup
  2906. const session = yield* SessionV2.Service
  2907. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Loop forever" }), resume: false })
  2908. requests.length = 0
  2909. authorizations.length = 0
  2910. executions.length = 0
  2911. streamGate = undefined
  2912. streamStarted = undefined
  2913. responses = [
  2914. ...Array.from({ length: 25 }, (_, index) => [
  2915. LLMEvent.stepStart({ index: 0 }),
  2916. LLMEvent.toolCall({ id: `call-echo-${index}`, name: "echo", input: { text: `${index}` } }),
  2917. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2918. LLMEvent.finish({ reason: "tool-calls" }),
  2919. ]),
  2920. [
  2921. LLMEvent.stepStart({ index: 0 }),
  2922. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2923. LLMEvent.finish({ reason: "stop" }),
  2924. ],
  2925. ]
  2926. yield* session.resume(sessionID)
  2927. expect(requests).toHaveLength(26)
  2928. expect(executions).toHaveLength(25)
  2929. }),
  2930. )
  2931. it.effect("forces a text response on an agent's configured final step", () =>
  2932. Effect.gen(function* () {
  2933. yield* setup
  2934. const agents = yield* AgentV2.Service
  2935. yield* agents.transform((editor) =>
  2936. editor.update(AgentV2.ID.make("build"), (agent) => {
  2937. agent.steps = 2
  2938. }),
  2939. )
  2940. const session = yield* SessionV2.Service
  2941. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Finish at the limit" }), resume: false })
  2942. requests.length = 0
  2943. executions.length = 0
  2944. responses = [
  2945. [
  2946. LLMEvent.stepStart({ index: 0 }),
  2947. LLMEvent.toolCall({ id: "call-terminal", name: "echo", input: { text: "done" } }),
  2948. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2949. LLMEvent.finish({ reason: "tool-calls" }),
  2950. ],
  2951. [
  2952. LLMEvent.stepStart({ index: 0 }),
  2953. LLMEvent.toolCall({ id: "call-forbidden", name: "echo", input: { text: "forbidden" } }),
  2954. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2955. LLMEvent.finish({ reason: "tool-calls" }),
  2956. ],
  2957. ]
  2958. yield* session.resume(sessionID)
  2959. expect(requests).toHaveLength(2)
  2960. expect(requests[0]?.toolChoice).toBeUndefined()
  2961. expect(requests[1]?.toolChoice).toMatchObject({ type: "none" })
  2962. expect(requests[1]?.tools).toEqual([])
  2963. expect(requests[1]?.messages.at(-1)).toMatchObject({
  2964. role: "assistant",
  2965. content: [{ type: "text", text: expect.stringContaining("MAXIMUM STEPS REACHED") }],
  2966. })
  2967. expect(executions).toEqual(["done"])
  2968. expect(yield* session.context(sessionID)).toMatchObject([
  2969. { type: "user", text: "Finish at the limit" },
  2970. { type: "assistant", content: [{ type: "tool", id: "call-terminal", state: { status: "completed" } }] },
  2971. { type: "assistant", content: [{ type: "tool", id: "call-forbidden", state: { status: "error" } }] },
  2972. ])
  2973. }),
  2974. )
  2975. it.effect("projects provider errors as terminal assistant step failures", () =>
  2976. Effect.gen(function* () {
  2977. yield* setup
  2978. const session = yield* SessionV2.Service
  2979. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail durably" }), resume: false })
  2980. requests.length = 0
  2981. responses = undefined
  2982. streamGate = undefined
  2983. streamStarted = undefined
  2984. response = [LLMEvent.stepStart({ index: 0 }), LLMEvent.providerError({ message: "Provider unavailable" })]
  2985. yield* session.resume(sessionID)
  2986. expect(requests).toHaveLength(1)
  2987. expect(yield* session.context(sessionID)).toMatchObject([
  2988. { type: "user", text: "Fail durably" },
  2989. { type: "assistant", finish: "error", error: { type: "unknown", message: "Provider unavailable" } },
  2990. ])
  2991. }),
  2992. )
  2993. it.effect("projects provider errors emitted before assistant step start", () =>
  2994. Effect.gen(function* () {
  2995. yield* setup
  2996. const session = yield* SessionV2.Service
  2997. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail before step" }), resume: false })
  2998. requests.length = 0
  2999. response = [LLMEvent.providerError({ message: "Provider unavailable" })]
  3000. yield* session.resume(sessionID)
  3001. expect(requests).toHaveLength(1)
  3002. expect(yield* session.context(sessionID)).toMatchObject([
  3003. { type: "user", text: "Fail before step" },
  3004. { type: "assistant", finish: "error", error: { type: "unknown", message: "Provider unavailable" } },
  3005. ])
  3006. }),
  3007. )
  3008. it.effect("does not recover context overflow after durable assistant output", () =>
  3009. Effect.gen(function* () {
  3010. yield* setup
  3011. const session = yield* SessionV2.Service
  3012. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail after output" }), resume: false })
  3013. requests.length = 0
  3014. response = [
  3015. LLMEvent.stepStart({ index: 0 }),
  3016. LLMEvent.textStart({ id: "text-partial" }),
  3017. LLMEvent.textDelta({ id: "text-partial", text: "Partial" }),
  3018. LLMEvent.textEnd({ id: "text-partial" }),
  3019. LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" }),
  3020. ]
  3021. yield* session.resume(sessionID)
  3022. expect(requests).toHaveLength(1)
  3023. expect(yield* session.context(sessionID)).toMatchObject([
  3024. { type: "user", text: "Fail after output" },
  3025. {
  3026. type: "assistant",
  3027. finish: "error",
  3028. error: { message: "prompt too long" },
  3029. content: [{ type: "text", text: "Partial" }],
  3030. },
  3031. ])
  3032. }),
  3033. )
  3034. it.effect("projects raw provider stream failures as terminal assistant step failures", () =>
  3035. Effect.gen(function* () {
  3036. yield* setup
  3037. const session = yield* SessionV2.Service
  3038. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail raw stream durably" }), resume: false })
  3039. const failure = providerUnavailable()
  3040. responseStream = Stream.fail(failure)
  3041. expect(yield* session.resume(sessionID).pipe(Effect.flip)).toBe(failure)
  3042. yield* replaySessionProjection(sessionID)
  3043. expect(yield* session.context(sessionID)).toMatchObject([
  3044. { type: "user", text: "Fail raw stream durably" },
  3045. { type: "assistant", finish: "error", error: { type: "unknown", message: "Provider unavailable" } },
  3046. ])
  3047. }),
  3048. )
  3049. it.effect("does not continue automatically after a provider error follows a local tool call", () =>
  3050. Effect.gen(function* () {
  3051. yield* setup
  3052. const session = yield* SessionV2.Service
  3053. yield* session.prompt({
  3054. sessionID,
  3055. prompt: new Prompt({ text: "Do not continue failed provider" }),
  3056. resume: false,
  3057. })
  3058. requests.length = 0
  3059. const executionCount = executions.length
  3060. response = [
  3061. LLMEvent.stepStart({ index: 0 }),
  3062. LLMEvent.toolCall({ id: "call-before-provider-error", name: "echo", input: { text: "settled" } }),
  3063. LLMEvent.providerError({ message: "Provider unavailable" }),
  3064. ]
  3065. yield* session.resume(sessionID)
  3066. expect(requests).toHaveLength(1)
  3067. expect(executions.slice(executionCount)).toEqual(["settled"])
  3068. }),
  3069. )
  3070. it.effect("durably fails a hosted tool when its provider errors before returning a result", () =>
  3071. Effect.gen(function* () {
  3072. yield* setup
  3073. const session = yield* SessionV2.Service
  3074. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail hosted tool durably" }), resume: false })
  3075. requests.length = 0
  3076. response = [
  3077. LLMEvent.stepStart({ index: 0 }),
  3078. LLMEvent.toolCall({
  3079. id: "call-hosted-provider-error",
  3080. name: "web_search",
  3081. input: { query: "effect" },
  3082. providerExecuted: true,
  3083. }),
  3084. LLMEvent.providerError({ message: "Provider unavailable" }),
  3085. ]
  3086. yield* session.resume(sessionID)
  3087. expect(requests).toHaveLength(1)
  3088. expect(yield* session.context(sessionID)).toMatchObject([
  3089. { type: "user", text: "Fail hosted tool durably" },
  3090. {
  3091. type: "assistant",
  3092. content: [{ type: "tool", id: "call-hosted-provider-error", state: { status: "error" } }],
  3093. },
  3094. ])
  3095. }),
  3096. )
  3097. it.effect("durably fails a hosted tool left unresolved at normal provider EOF", () =>
  3098. Effect.gen(function* () {
  3099. yield* setup
  3100. const session = yield* SessionV2.Service
  3101. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail hosted tool at EOF" }), resume: false })
  3102. response = [
  3103. LLMEvent.stepStart({ index: 0 }),
  3104. LLMEvent.toolCall({
  3105. id: "call-hosted-eof",
  3106. name: "web_search",
  3107. input: { query: "effect" },
  3108. providerExecuted: true,
  3109. }),
  3110. ]
  3111. yield* session.resume(sessionID)
  3112. yield* replaySessionProjection(sessionID)
  3113. expect(yield* session.context(sessionID)).toMatchObject([
  3114. { type: "user", text: "Fail hosted tool at EOF" },
  3115. { type: "assistant", content: [{ type: "tool", id: "call-hosted-eof", state: { status: "error" } }] },
  3116. ])
  3117. }),
  3118. )
  3119. it.effect("durably fails a hosted tool left unresolved by a raw provider stream failure", () =>
  3120. Effect.gen(function* () {
  3121. yield* setup
  3122. const session = yield* SessionV2.Service
  3123. yield* session.prompt({
  3124. sessionID,
  3125. prompt: new Prompt({ text: "Fail hosted tool on raw failure" }),
  3126. resume: false,
  3127. })
  3128. const failure = providerUnavailable()
  3129. responseStream = Stream.concat(
  3130. Stream.fromIterable([
  3131. LLMEvent.stepStart({ index: 0 }),
  3132. LLMEvent.toolCall({
  3133. id: "call-hosted-raw-failure",
  3134. name: "web_search",
  3135. input: { query: "effect" },
  3136. providerExecuted: true,
  3137. }),
  3138. ]),
  3139. Stream.fail(failure),
  3140. )
  3141. expect(yield* session.resume(sessionID).pipe(Effect.flip)).toBe(failure)
  3142. yield* replaySessionProjection(sessionID)
  3143. expect(yield* session.context(sessionID)).toMatchObject([
  3144. { type: "user", text: "Fail hosted tool on raw failure" },
  3145. {
  3146. type: "assistant",
  3147. finish: "error",
  3148. error: { type: "unknown", message: "Provider unavailable" },
  3149. content: [{ type: "tool", id: "call-hosted-raw-failure", state: { status: "error" } }],
  3150. },
  3151. ])
  3152. }),
  3153. )
  3154. it.effect("keeps interleaved assistant text blocks separate", () =>
  3155. Effect.gen(function* () {
  3156. yield* setup
  3157. const session = yield* SessionV2.Service
  3158. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Two blocks" }), resume: false })
  3159. responses = undefined
  3160. streamGate = undefined
  3161. streamStarted = undefined
  3162. response = [
  3163. LLMEvent.stepStart({ index: 0 }),
  3164. LLMEvent.textStart({ id: "text-1" }),
  3165. LLMEvent.textStart({ id: "text-2" }),
  3166. LLMEvent.textDelta({ id: "text-1", text: "First" }),
  3167. LLMEvent.textDelta({ id: "text-2", text: "Second" }),
  3168. LLMEvent.textEnd({ id: "text-1" }),
  3169. LLMEvent.textEnd({ id: "text-2" }),
  3170. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  3171. LLMEvent.finish({ reason: "stop" }),
  3172. ]
  3173. yield* session.resume(sessionID)
  3174. expect(yield* session.context(sessionID)).toMatchObject([
  3175. { type: "user", text: "Two blocks" },
  3176. {
  3177. type: "assistant",
  3178. content: [
  3179. { type: "text", id: "text-1", text: "First" },
  3180. { type: "text", id: "text-2", text: "Second" },
  3181. ],
  3182. },
  3183. ])
  3184. }),
  3185. )
  3186. for (const kind of fragmentKinds) {
  3187. it.effect(`broadcasts provider ${kind} deltas without storing projection rewrites`, () =>
  3188. verifyEphemeralDeltas(kind),
  3189. )
  3190. it.effect(`durably closes partial ${kind} when the provider stream fails`, () => verifyPartialFlushOnFailure(kind))
  3191. it.effect(`durably closes partial ${kind} when the provider stream is interrupted`, () =>
  3192. verifyPartialFlushOnInterruption(kind),
  3193. )
  3194. }
  3195. it.effect("rejects duplicate streamed text starts", () =>
  3196. Effect.gen(function* () {
  3197. yield* setup
  3198. const session = yield* SessionV2.Service
  3199. responses = undefined
  3200. streamGate = undefined
  3201. streamStarted = undefined
  3202. response = [LLMEvent.textStart({ id: "text-1" }), LLMEvent.textStart({ id: "text-1" })]
  3203. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe(
  3204. "Duplicate text start: text-1",
  3205. )
  3206. }),
  3207. )
  3208. it.effect("transitions streamed raw tool input to parsed called input", () =>
  3209. Effect.gen(function* () {
  3210. yield* setup
  3211. const session = yield* SessionV2.Service
  3212. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Call provider tool" }), resume: false })
  3213. responses = undefined
  3214. streamGate = undefined
  3215. streamStarted = undefined
  3216. response = [
  3217. LLMEvent.stepStart({ index: 0 }),
  3218. LLMEvent.toolInputStart({ id: "call-parsed", name: "web_search" }),
  3219. LLMEvent.toolInputDelta({ id: "call-parsed", name: "web_search", text: '{"query":"hello"}' }),
  3220. LLMEvent.toolInputEnd({ id: "call-parsed", name: "web_search" }),
  3221. LLMEvent.toolCall({ id: "call-parsed", name: "web_search", input: { query: "hello" }, providerExecuted: true }),
  3222. ]
  3223. yield* session.resume(sessionID)
  3224. expect(yield* session.context(sessionID)).toMatchObject([
  3225. { type: "user", text: "Call provider tool" },
  3226. {
  3227. type: "assistant",
  3228. content: [{ type: "tool", id: "call-parsed", state: { status: "error", input: { query: "hello" } } }],
  3229. },
  3230. ])
  3231. }),
  3232. )
  3233. it.effect("rejects malformed streamed tool input ordering", () =>
  3234. Effect.gen(function* () {
  3235. yield* setup
  3236. const session = yield* SessionV2.Service
  3237. responses = undefined
  3238. streamGate = undefined
  3239. streamStarted = undefined
  3240. response = [LLMEvent.toolInputDelta({ id: "call-1", name: "read", text: "{}" })]
  3241. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe(
  3242. "Tool input delta before start: call-1",
  3243. )
  3244. }),
  3245. )
  3246. })