session-runner.test.ts 130 KB

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