session-runner.test.ts 130 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574
  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: { 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: { 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. responses = [
  1359. fragmentFixture("text", "text-summary-2", ["## Goal\n- Preserve the updated task"]).completeEvents,
  1360. fragmentFixture("text", "text-final-2", ["Continued again"]).completeEvents,
  1361. ]
  1362. yield* session.prompt({
  1363. sessionID,
  1364. prompt: new Prompt({ text: "Newest exact request ".repeat(180) }),
  1365. resume: false,
  1366. })
  1367. yield* session.resume(sessionID)
  1368. expect(requests).toHaveLength(2)
  1369. expect(userTexts(requests[0])[0]).toContain(
  1370. "<previous-summary>\n## Goal\n- Preserve the task\n</previous-summary>",
  1371. )
  1372. expect(userTexts(requests[0])[0]).toContain("Recent exact request")
  1373. expect((yield* (yield* SessionStore.Service).context(sessionID))[0]).toMatchObject({
  1374. type: "compaction",
  1375. summary: "## Goal\n- Preserve the updated task",
  1376. })
  1377. }),
  1378. )
  1379. it.effect("forces one compaction and retries after provider context overflow", () =>
  1380. Effect.gen(function* () {
  1381. const session = yield* setupOverflowRecovery
  1382. responses = [
  1383. [
  1384. LLMEvent.stepStart({ index: 0 }),
  1385. LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" }),
  1386. ],
  1387. fragmentFixture("text", "text-summary", ["## Goal\n- Recover overflow"]).completeEvents,
  1388. fragmentFixture("text", "text-final", ["Recovered"]).completeEvents,
  1389. ]
  1390. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1391. yield* session.resume(sessionID)
  1392. expect(requests).toHaveLength(3)
  1393. expect(userTexts(requests[1])[0]).toContain("## Goal")
  1394. expect(userTexts(requests[2])[0]).toContain("<summary>\n## Goal\n- Recover overflow\n</summary>")
  1395. expect(yield* session.context(sessionID)).toMatchObject([
  1396. { type: "compaction", summary: "## Goal\n- Recover overflow" },
  1397. { type: "assistant", finish: "stop" },
  1398. ])
  1399. yield* replaySessionProjection(sessionID)
  1400. expect(yield* session.context(sessionID)).toMatchObject([
  1401. { type: "compaction" },
  1402. { type: "assistant", finish: "stop" },
  1403. ])
  1404. }),
  1405. )
  1406. it.effect("persists a second context overflow after one recovery", () =>
  1407. Effect.gen(function* () {
  1408. const session = yield* setupOverflowRecovery
  1409. const overflow = () => [
  1410. LLMEvent.stepStart({ index: 0 }),
  1411. LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" }),
  1412. ]
  1413. responses = [
  1414. overflow(),
  1415. fragmentFixture("text", "text-summary", ["## Goal\n- Recover once"]).completeEvents,
  1416. overflow(),
  1417. ]
  1418. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1419. yield* session.resume(sessionID)
  1420. expect(requests).toHaveLength(3)
  1421. expect(yield* session.context(sessionID)).toMatchObject([
  1422. { type: "compaction" },
  1423. { type: "assistant", finish: "error", error: { message: "prompt too long" } },
  1424. ])
  1425. }),
  1426. )
  1427. it.effect("recovers once from a raw context overflow failure", () =>
  1428. Effect.gen(function* () {
  1429. const session = yield* setupOverflowRecovery
  1430. responseStream = Stream.fail(
  1431. new LLMError({
  1432. module: "test",
  1433. method: "stream",
  1434. reason: new InvalidRequestReason({
  1435. message: "prompt too long",
  1436. classification: "context-overflow",
  1437. }),
  1438. }),
  1439. )
  1440. responses = [
  1441. fragmentFixture("text", "text-summary", ["## Goal\n- Recover raw overflow"]).completeEvents,
  1442. fragmentFixture("text", "text-final", ["Recovered"]).completeEvents,
  1443. ]
  1444. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1445. yield* session.resume(sessionID)
  1446. expect(requests).toHaveLength(3)
  1447. expect(yield* session.context(sessionID)).toMatchObject([
  1448. { type: "compaction", summary: "## Goal\n- Recover raw overflow" },
  1449. { type: "assistant", finish: "stop" },
  1450. ])
  1451. }),
  1452. )
  1453. it.effect("publishes the original overflow when recovery summarization fails", () =>
  1454. Effect.gen(function* () {
  1455. const session = yield* setupOverflowRecovery
  1456. responses = [
  1457. [LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" })],
  1458. [LLMEvent.providerError({ message: "summary unavailable" })],
  1459. ]
  1460. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1461. yield* session.resume(sessionID)
  1462. expect(requests).toHaveLength(2)
  1463. const context = yield* session.context(sessionID)
  1464. expect(context.some((message) => message.type === "compaction")).toBe(false)
  1465. expect(context.slice(-2)).toMatchObject([
  1466. { type: "user", text: "Continue" },
  1467. { type: "assistant", finish: "error", error: { message: "prompt too long" } },
  1468. ])
  1469. }),
  1470. )
  1471. it.effect("interrupts overflow recovery while the summary provider is running", () =>
  1472. Effect.gen(function* () {
  1473. const session = yield* setupOverflowRecovery
  1474. responses = [
  1475. [LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" })],
  1476. fragmentFixture("text", "text-summary", ["## Goal\n- Interrupted"]).completeEvents,
  1477. ]
  1478. const firstGate = yield* Deferred.make<void>()
  1479. const summaryGate = yield* Deferred.make<void>()
  1480. streamGate = firstGate
  1481. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1482. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1483. while (requests.length < 1) yield* Effect.yieldNow
  1484. streamGate = summaryGate
  1485. yield* Deferred.succeed(firstGate, undefined)
  1486. while (requests.length < 2) yield* Effect.yieldNow
  1487. yield* session.interrupt(sessionID)
  1488. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  1489. streamGate = undefined
  1490. expect(requests).toHaveLength(2)
  1491. expect((yield* session.context(sessionID)).some((message) => message.type === "compaction")).toBe(false)
  1492. }),
  1493. )
  1494. it.effect("preserves effective System updates while compaction replacement is blocked", () =>
  1495. Effect.gen(function* () {
  1496. yield* setup
  1497. const session = yield* SessionV2.Service
  1498. const events = yield* EventV2.Service
  1499. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First" }), resume: false })
  1500. requests.length = 0
  1501. response = []
  1502. yield* session.resume(sessionID)
  1503. systemBaseline = "Changed context"
  1504. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second" }), resume: false })
  1505. yield* session.resume(sessionID)
  1506. const compactionID = SessionMessage.ID.create()
  1507. yield* events.publish(SessionEvent.Compaction.Started, {
  1508. sessionID,
  1509. messageID: compactionID,
  1510. timestamp: DateTime.makeUnsafe(1),
  1511. reason: "manual",
  1512. })
  1513. yield* events.publish(SessionEvent.Compaction.Ended, {
  1514. sessionID,
  1515. messageID: compactionID,
  1516. timestamp: DateTime.makeUnsafe(2),
  1517. reason: "manual",
  1518. text: "summary",
  1519. recent: "",
  1520. })
  1521. systemUnavailable = true
  1522. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Third" }), resume: false })
  1523. yield* session.resume(sessionID)
  1524. expect(requests.at(-1)?.system.map((part) => part.text)).toEqual(["Initial context"])
  1525. expect(
  1526. requests
  1527. .at(-1)
  1528. ?.messages.some(
  1529. (message) =>
  1530. message.role === "system" &&
  1531. message.content[0]?.type === "text" &&
  1532. message.content[0].text === "Changed context",
  1533. ),
  1534. ).toBe(true)
  1535. }),
  1536. )
  1537. it.effect("projects reasoning and tool events without executing or continuing tools", () =>
  1538. Effect.gen(function* () {
  1539. yield* setup
  1540. const session = yield* SessionV2.Service
  1541. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Use tools" }), resume: false })
  1542. requests.length = 0
  1543. responses = undefined
  1544. streamGate = undefined
  1545. streamStarted = undefined
  1546. response = [
  1547. LLMEvent.stepStart({ index: 0 }),
  1548. LLMEvent.reasoningStart({ id: "reasoning-1" }),
  1549. LLMEvent.reasoningDelta({ id: "reasoning-1", text: "Think" }),
  1550. LLMEvent.reasoningEnd({ id: "reasoning-1" }),
  1551. LLMEvent.toolInputStart({ id: "call-error", name: "write" }),
  1552. LLMEvent.toolInputDelta({ id: "call-error", name: "write", text: '{"path":"README.md"}' }),
  1553. LLMEvent.toolInputEnd({ id: "call-error", name: "write" }),
  1554. LLMEvent.toolCall({ id: "call-error", name: "write", input: { path: "README.md" }, providerExecuted: true }),
  1555. LLMEvent.toolError({ id: "call-error", name: "write", message: "Denied" }),
  1556. LLMEvent.toolResult({ id: "call-error", name: "write", result: { type: "error", value: "Denied" } }),
  1557. LLMEvent.toolCall({
  1558. id: "call-provider",
  1559. name: "web_search",
  1560. input: { query: "hello" },
  1561. providerExecuted: true,
  1562. providerMetadata: { fake: { source: "provider" } },
  1563. }),
  1564. LLMEvent.toolResult({
  1565. id: "call-provider",
  1566. name: "web_search",
  1567. result: {
  1568. type: "content",
  1569. value: [
  1570. { type: "text", text: "Hello" },
  1571. { type: "file", uri: "data:image/png;base64,aGVsbG8=", mime: "image/png", name: "hello.png" },
  1572. ],
  1573. },
  1574. providerExecuted: true,
  1575. providerMetadata: { fake: { source: "provider" } },
  1576. }),
  1577. LLMEvent.stepFinish({
  1578. index: 0,
  1579. reason: "tool-calls",
  1580. usage: {
  1581. inputTokens: 10,
  1582. nonCachedInputTokens: 8,
  1583. outputTokens: 4,
  1584. reasoningTokens: 1,
  1585. cacheReadInputTokens: 2,
  1586. },
  1587. }),
  1588. LLMEvent.finish({ reason: "tool-calls" }),
  1589. ]
  1590. yield* session.resume(sessionID)
  1591. expect(requests).toHaveLength(1)
  1592. expect(requests[0]?.tools.map((tool) => tool.name)).toEqual(["echo", "defect"])
  1593. expect(yield* session.context(sessionID)).toMatchObject([
  1594. { type: "user", text: "Use tools" },
  1595. {
  1596. type: "assistant",
  1597. finish: "tool-calls",
  1598. tokens: { input: 8, output: 3, reasoning: 1, cache: { read: 2, write: 0 } },
  1599. content: [
  1600. { type: "reasoning", id: "reasoning-1", text: "Think" },
  1601. {
  1602. type: "tool",
  1603. id: "call-error",
  1604. name: "write",
  1605. state: {
  1606. status: "error",
  1607. input: { path: "README.md" },
  1608. error: { type: "unknown", message: "Denied" },
  1609. },
  1610. },
  1611. {
  1612. type: "tool",
  1613. id: "call-provider",
  1614. name: "web_search",
  1615. provider: { executed: true, metadata: { fake: { source: "provider" } } },
  1616. state: {
  1617. status: "completed",
  1618. input: { query: "hello" },
  1619. structured: {},
  1620. content: [
  1621. { type: "text", text: "Hello" },
  1622. { type: "file", mime: "image/png", uri: "data:image/png;base64,aGVsbG8=", name: "hello.png" },
  1623. ],
  1624. },
  1625. },
  1626. ],
  1627. },
  1628. ])
  1629. }),
  1630. )
  1631. it.effect("continues with reloaded history after durably settling one local tool call", () =>
  1632. Effect.gen(function* () {
  1633. yield* setup
  1634. const session = yield* SessionV2.Service
  1635. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo this" }), resume: false })
  1636. requests.length = 0
  1637. authorizations.length = 0
  1638. executions.length = 0
  1639. streamGate = undefined
  1640. streamStarted = undefined
  1641. responses = [
  1642. [
  1643. LLMEvent.stepStart({ index: 0 }),
  1644. LLMEvent.toolCall({ id: "call-echo", name: "echo", input: { text: "hello" } }),
  1645. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1646. LLMEvent.finish({ reason: "tool-calls" }),
  1647. ],
  1648. [
  1649. LLMEvent.stepStart({ index: 0 }),
  1650. LLMEvent.textStart({ id: "text-final" }),
  1651. LLMEvent.textDelta({ id: "text-final", text: "Done" }),
  1652. LLMEvent.textEnd({ id: "text-final" }),
  1653. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1654. LLMEvent.finish({ reason: "stop" }),
  1655. ],
  1656. ]
  1657. yield* session.resume(sessionID)
  1658. expect(requests).toHaveLength(2)
  1659. expect(requests[1]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  1660. expect(authorizations).toMatchObject([{ sessionID, toolCallID: "call-echo" }])
  1661. expect(executions).toEqual(["hello"])
  1662. expect(yield* session.context(sessionID)).toMatchObject([
  1663. { type: "user", text: "Echo this" },
  1664. {
  1665. type: "assistant",
  1666. finish: "tool-calls",
  1667. content: [
  1668. {
  1669. type: "tool",
  1670. id: "call-echo",
  1671. name: "echo",
  1672. state: {
  1673. status: "completed",
  1674. input: { text: "hello" },
  1675. structured: { text: "hello" },
  1676. content: [{ type: "text", text: "hello" }],
  1677. },
  1678. },
  1679. ],
  1680. },
  1681. { type: "assistant", finish: "stop", content: [{ type: "text", id: "text-final", text: "Done" }] },
  1682. ])
  1683. }),
  1684. )
  1685. it.effect("reloads a model switch before a tool-driven continuation turn", () =>
  1686. Effect.gen(function* () {
  1687. yield* setup
  1688. const session = yield* SessionV2.Service
  1689. const events = yield* EventV2.Service
  1690. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo this" }), resume: false })
  1691. requests.length = 0
  1692. responses = [
  1693. [
  1694. LLMEvent.stepStart({ index: 0 }),
  1695. LLMEvent.toolCall({ id: "call-echo", name: "echo", input: { text: "hello" } }),
  1696. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1697. LLMEvent.finish({ reason: "tool-calls" }),
  1698. ],
  1699. [
  1700. LLMEvent.stepStart({ index: 0 }),
  1701. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1702. LLMEvent.finish({ reason: "stop" }),
  1703. ],
  1704. ]
  1705. toolExecutionGate = yield* Deferred.make<void>()
  1706. toolExecutionsStarted = yield* Deferred.make<void>()
  1707. toolExecutionsReady = 1
  1708. const run = yield* Effect.forkChild(session.resume(sessionID))
  1709. yield* Deferred.await(toolExecutionsStarted)
  1710. yield* events.publish(SessionEvent.ModelSwitched, {
  1711. sessionID,
  1712. messageID: SessionMessage.ID.create(),
  1713. timestamp: DateTime.makeUnsafe(1),
  1714. model: { id: ModelV2.ID.make("replacement"), providerID: ProviderV2.ID.make("fake") },
  1715. })
  1716. systemBaseline = "Replacement context"
  1717. yield* Deferred.succeed(toolExecutionGate, undefined)
  1718. yield* Fiber.join(run)
  1719. expect(requests.map((request) => request.model)).toEqual([model, replacementModel])
  1720. expect(requests.map((request) => request.system.map((part) => part.text))).toEqual([
  1721. ["Initial context"],
  1722. ["Replacement context"],
  1723. ])
  1724. }),
  1725. )
  1726. it.effect("restores durable reasoning provider metadata in a second-turn request", () =>
  1727. Effect.gen(function* () {
  1728. yield* setup
  1729. const session = yield* SessionV2.Service
  1730. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Think first" }), resume: false })
  1731. requests.length = 0
  1732. response = [
  1733. LLMEvent.stepStart({ index: 0 }),
  1734. LLMEvent.reasoningStart({ id: "reasoning-anthropic" }),
  1735. LLMEvent.reasoningDelta({ id: "reasoning-anthropic", text: "Signed thought" }),
  1736. LLMEvent.reasoningEnd({ id: "reasoning-anthropic", providerMetadata: { anthropic: { signature: "sig_1" } } }),
  1737. LLMEvent.reasoningStart({
  1738. id: "reasoning-openai",
  1739. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: null } },
  1740. }),
  1741. LLMEvent.reasoningDelta({ id: "reasoning-openai", text: "Encrypted thought" }),
  1742. LLMEvent.reasoningEnd({
  1743. id: "reasoning-openai",
  1744. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: "encrypted-state" } },
  1745. }),
  1746. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1747. LLMEvent.finish({ reason: "stop" }),
  1748. ]
  1749. yield* session.resume(sessionID)
  1750. yield* replaySessionProjection(sessionID)
  1751. expect(yield* session.context(sessionID)).toMatchObject([
  1752. { type: "user", text: "Think first" },
  1753. {
  1754. type: "assistant",
  1755. content: [
  1756. { type: "reasoning", text: "Signed thought", providerMetadata: { anthropic: { signature: "sig_1" } } },
  1757. {
  1758. type: "reasoning",
  1759. text: "Encrypted thought",
  1760. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: "encrypted-state" } },
  1761. },
  1762. ],
  1763. },
  1764. ])
  1765. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1766. response = []
  1767. yield* session.resume(sessionID)
  1768. expect(requests[1]?.messages[1]?.content).toEqual([
  1769. { type: "reasoning", text: "Signed thought", providerMetadata: { anthropic: { signature: "sig_1" } } },
  1770. {
  1771. type: "reasoning",
  1772. text: "Encrypted thought",
  1773. providerMetadata: { openai: { itemId: "rs_1", reasoningEncryptedContent: "encrypted-state" } },
  1774. },
  1775. ])
  1776. }),
  1777. )
  1778. it.effect("replays durable provider-executed tool results inline in a second-turn request", () =>
  1779. Effect.gen(function* () {
  1780. yield* setup
  1781. const session = yield* SessionV2.Service
  1782. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Search first" }), resume: false })
  1783. requests.length = 0
  1784. response = [
  1785. LLMEvent.stepStart({ index: 0 }),
  1786. LLMEvent.toolCall({
  1787. id: "hosted-search",
  1788. name: "web_search",
  1789. input: { query: "Effect" },
  1790. providerExecuted: true,
  1791. providerMetadata: { openai: { itemId: "hosted-search" } },
  1792. }),
  1793. LLMEvent.toolResult({
  1794. id: "hosted-search",
  1795. name: "web_search",
  1796. result: { type: "json", value: [{ title: "Effect" }] },
  1797. providerExecuted: true,
  1798. providerMetadata: { anthropic: { blockType: "web_search_tool_result" } },
  1799. }),
  1800. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1801. LLMEvent.finish({ reason: "stop" }),
  1802. ]
  1803. yield* session.resume(sessionID)
  1804. yield* replaySessionProjection(sessionID)
  1805. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Continue" }), resume: false })
  1806. response = []
  1807. yield* session.resume(sessionID)
  1808. expect(requests[1]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "user"])
  1809. expect(requests[1]?.messages[1]?.content).toMatchObject([
  1810. {
  1811. type: "tool-call",
  1812. id: "hosted-search",
  1813. name: "web_search",
  1814. input: { query: "Effect" },
  1815. providerExecuted: true,
  1816. providerMetadata: { openai: { itemId: "hosted-search" } },
  1817. },
  1818. {
  1819. type: "tool-result",
  1820. id: "hosted-search",
  1821. name: "web_search",
  1822. result: { type: "json", value: [{ title: "Effect" }] },
  1823. providerExecuted: true,
  1824. providerMetadata: { anthropic: { blockType: "web_search_tool_result" } },
  1825. },
  1826. ])
  1827. }),
  1828. )
  1829. it.effect("starts recorded local tools eagerly and awaits settlement before continuing", () =>
  1830. Effect.gen(function* () {
  1831. yield* setup
  1832. const session = yield* SessionV2.Service
  1833. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo five times" }), resume: false })
  1834. requests.length = 0
  1835. executions.length = 0
  1836. toolExecutionGate = yield* Deferred.make<void>()
  1837. toolExecutionsStarted = yield* Deferred.make<void>()
  1838. const providerGate = yield* Deferred.make<void>()
  1839. response = []
  1840. responses = undefined
  1841. const initial = Stream.fromIterable([
  1842. LLMEvent.stepStart({ index: 0 }),
  1843. ...Array.from({ length: 5 }, (_, index) =>
  1844. LLMEvent.toolCall({ id: `call-echo-${index}`, name: "echo", input: { text: `${index}` } }),
  1845. ),
  1846. ])
  1847. const final = Stream.fromIterable([
  1848. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1849. LLMEvent.finish({ reason: "tool-calls" }),
  1850. ])
  1851. streamGate = undefined
  1852. responseStream = Stream.concat(
  1853. initial,
  1854. Stream.fromEffect(Deferred.await(providerGate)).pipe(Stream.flatMap(() => final)),
  1855. )
  1856. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1857. yield* Deferred.await(toolExecutionsStarted)
  1858. expect(executions).toHaveLength(5)
  1859. expect(maxActiveToolExecutions).toBe(5)
  1860. expect(yield* session.context(sessionID)).toMatchObject([
  1861. { type: "user", text: "Echo five times" },
  1862. {
  1863. type: "assistant",
  1864. content: Array.from({ length: 5 }, (_, index) => ({
  1865. type: "tool",
  1866. id: `call-echo-${index}`,
  1867. state: { status: "running", input: { text: `${index}` } },
  1868. })),
  1869. },
  1870. ])
  1871. yield* Deferred.succeed(providerGate, undefined)
  1872. yield* Effect.yieldNow
  1873. expect(requests).toHaveLength(1)
  1874. yield* Deferred.succeed(toolExecutionGate, undefined)
  1875. yield* Fiber.join(run)
  1876. toolExecutionGate = undefined
  1877. toolExecutionsStarted = undefined
  1878. expect(executions).toHaveLength(5)
  1879. expect(maxActiveToolExecutions).toBe(5)
  1880. expect(requests).toHaveLength(2)
  1881. }),
  1882. )
  1883. it.effect("settles repeated provider-local tool call IDs against their owning assistant messages", () =>
  1884. Effect.gen(function* () {
  1885. yield* setup
  1886. const session = yield* SessionV2.Service
  1887. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Echo twice" }), resume: false })
  1888. requests.length = 0
  1889. executions.length = 0
  1890. responses = [
  1891. [
  1892. LLMEvent.stepStart({ index: 0 }),
  1893. LLMEvent.toolCall({ id: "tool_0", name: "echo", input: { text: "first" } }),
  1894. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1895. LLMEvent.finish({ reason: "tool-calls" }),
  1896. ],
  1897. [
  1898. LLMEvent.stepStart({ index: 0 }),
  1899. LLMEvent.toolCall({ id: "tool_0", name: "echo", input: { text: "second" } }),
  1900. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  1901. LLMEvent.finish({ reason: "tool-calls" }),
  1902. ],
  1903. [],
  1904. ]
  1905. yield* session.resume(sessionID)
  1906. expect(executions).toEqual(["first", "second"])
  1907. expect(requests).toHaveLength(3)
  1908. expect(yield* session.context(sessionID)).toMatchObject([
  1909. { type: "user", text: "Echo twice" },
  1910. {
  1911. type: "assistant",
  1912. content: [
  1913. {
  1914. type: "tool",
  1915. id: "tool_0",
  1916. state: { status: "completed", structured: { text: "first" }, content: [{ type: "text", text: "first" }] },
  1917. },
  1918. ],
  1919. },
  1920. {
  1921. type: "assistant",
  1922. content: [
  1923. {
  1924. type: "tool",
  1925. id: "tool_0",
  1926. state: {
  1927. status: "completed",
  1928. structured: { text: "second" },
  1929. content: [{ type: "text", text: "second" }],
  1930. },
  1931. },
  1932. ],
  1933. },
  1934. ])
  1935. yield* replaySessionProjection(sessionID)
  1936. expect(yield* session.context(sessionID)).toMatchObject([
  1937. { type: "user", text: "Echo twice" },
  1938. {
  1939. type: "assistant",
  1940. content: [
  1941. {
  1942. type: "tool",
  1943. id: "tool_0",
  1944. state: { status: "completed", structured: { text: "first" }, content: [{ type: "text", text: "first" }] },
  1945. },
  1946. ],
  1947. },
  1948. {
  1949. type: "assistant",
  1950. content: [
  1951. {
  1952. type: "tool",
  1953. id: "tool_0",
  1954. state: {
  1955. status: "completed",
  1956. structured: { text: "second" },
  1957. content: [{ type: "text", text: "second" }],
  1958. },
  1959. },
  1960. ],
  1961. },
  1962. ])
  1963. }),
  1964. )
  1965. it.effect("joins concurrent resume calls into one active provider run", () =>
  1966. Effect.gen(function* () {
  1967. yield* setup
  1968. const session = yield* SessionV2.Service
  1969. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Run once" }), resume: false })
  1970. requests.length = 0
  1971. responses = undefined
  1972. response = [
  1973. LLMEvent.stepStart({ index: 0 }),
  1974. LLMEvent.textStart({ id: "text-once" }),
  1975. LLMEvent.textDelta({ id: "text-once", text: "Once" }),
  1976. LLMEvent.textEnd({ id: "text-once" }),
  1977. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  1978. LLMEvent.finish({ reason: "stop" }),
  1979. ]
  1980. streamGate = yield* Deferred.make<void>()
  1981. streamStarted = yield* Deferred.make<void>()
  1982. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1983. yield* Deferred.await(streamStarted)
  1984. const second = yield* session.resume(sessionID).pipe(Effect.forkChild)
  1985. yield* Effect.yieldNow
  1986. expect(requests).toHaveLength(1)
  1987. yield* Deferred.succeed(streamGate, undefined)
  1988. yield* Fiber.join(first)
  1989. yield* Fiber.join(second)
  1990. streamGate = undefined
  1991. streamStarted = undefined
  1992. expect(requests).toHaveLength(1)
  1993. expect(yield* session.context(sessionID)).toMatchObject([
  1994. { type: "user", text: "Run once" },
  1995. { type: "assistant", finish: "stop", content: [{ type: "text", id: "text-once", text: "Once" }] },
  1996. ])
  1997. }),
  1998. )
  1999. it.effect("steers an active provider turn with newly recorded prompts", () =>
  2000. Effect.gen(function* () {
  2001. yield* setup
  2002. const session = yield* SessionV2.Service
  2003. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2004. requests.length = 0
  2005. responses = [
  2006. [
  2007. LLMEvent.stepStart({ index: 0 }),
  2008. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2009. LLMEvent.finish({ reason: "stop" }),
  2010. ],
  2011. [
  2012. LLMEvent.stepStart({ index: 0 }),
  2013. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2014. LLMEvent.finish({ reason: "stop" }),
  2015. ],
  2016. ]
  2017. streamGate = yield* Deferred.make<void>()
  2018. streamStarted = yield* Deferred.make<void>()
  2019. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2020. yield* Deferred.await(streamStarted)
  2021. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Change direction" }) })
  2022. yield* Deferred.succeed(streamGate, undefined)
  2023. yield* Fiber.join(first)
  2024. streamGate = undefined
  2025. streamStarted = undefined
  2026. yield* Effect.yieldNow
  2027. expect(requests).toHaveLength(2)
  2028. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2029. expect(userTexts(requests[1]!)).toEqual(["Start working", "Change direction"])
  2030. expect((yield* session.context(sessionID)).map((message) => message.type)).toEqual([
  2031. "user",
  2032. "assistant",
  2033. "user",
  2034. "assistant",
  2035. ])
  2036. }),
  2037. )
  2038. it.effect("starts queued input after the active activity settles", () =>
  2039. Effect.gen(function* () {
  2040. yield* setup
  2041. const session = yield* SessionV2.Service
  2042. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2043. requests.length = 0
  2044. responses = [
  2045. [
  2046. LLMEvent.stepStart({ index: 0 }),
  2047. LLMEvent.toolCall({ id: "call-echo", name: "echo", input: { text: "hello" } }),
  2048. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2049. LLMEvent.finish({ reason: "tool-calls" }),
  2050. ],
  2051. [
  2052. LLMEvent.stepStart({ index: 0 }),
  2053. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2054. LLMEvent.finish({ reason: "stop" }),
  2055. ],
  2056. [
  2057. LLMEvent.stepStart({ index: 0 }),
  2058. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2059. LLMEvent.finish({ reason: "stop" }),
  2060. ],
  2061. ]
  2062. streamGate = yield* Deferred.make<void>()
  2063. streamStarted = yield* Deferred.make<void>()
  2064. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2065. yield* Deferred.await(streamStarted)
  2066. yield* session.prompt({
  2067. sessionID,
  2068. prompt: new Prompt({ text: "Wait until the next activity" }),
  2069. delivery: "queue",
  2070. })
  2071. yield* Deferred.succeed(streamGate, undefined)
  2072. yield* Fiber.join(first)
  2073. streamGate = undefined
  2074. streamStarted = undefined
  2075. expect(requests).toHaveLength(3)
  2076. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2077. expect(userTexts(requests[1]!)).toEqual(["Start working"])
  2078. expect(userTexts(requests[2]!)).toEqual(["Start working", "Wait until the next activity"])
  2079. }),
  2080. )
  2081. it.effect("preserves durable queued input for a later wake after interruption", () =>
  2082. Effect.gen(function* () {
  2083. yield* setup
  2084. const session = yield* SessionV2.Service
  2085. const { db } = yield* Database.Service
  2086. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt current work" }), resume: false })
  2087. requests.length = 0
  2088. responses = [
  2089. [],
  2090. [
  2091. LLMEvent.stepStart({ index: 0 }),
  2092. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2093. LLMEvent.finish({ reason: "stop" }),
  2094. ],
  2095. ]
  2096. streamGate = yield* Deferred.make<void>()
  2097. streamStarted = yield* Deferred.make<void>()
  2098. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2099. yield* Deferred.await(streamStarted)
  2100. yield* session.prompt({
  2101. sessionID,
  2102. prompt: new Prompt({ text: "Run after interrupt" }),
  2103. delivery: "queue",
  2104. })
  2105. yield* session.interrupt(sessionID)
  2106. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2107. expect(requests).toHaveLength(1)
  2108. expect(yield* SessionInput.hasPending(db, sessionID, "queue")).toBe(true)
  2109. const resumed = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2110. while (requests.length < 2) yield* Effect.yieldNow
  2111. yield* Deferred.succeed(streamGate, undefined)
  2112. yield* Fiber.join(resumed)
  2113. streamGate = undefined
  2114. streamStarted = undefined
  2115. expect(requests).toHaveLength(2)
  2116. expect(userTexts(requests[0]!)).toEqual(["Interrupt current work"])
  2117. expect(userTexts(requests[1]!)).toEqual(["Interrupt current work", "Run after interrupt"])
  2118. }),
  2119. )
  2120. it.effect("preserves durable steering input for a later resume after interruption", () =>
  2121. Effect.gen(function* () {
  2122. yield* setup
  2123. const session = yield* SessionV2.Service
  2124. const { db } = yield* Database.Service
  2125. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt current work" }), resume: false })
  2126. requests.length = 0
  2127. responses = [
  2128. [],
  2129. [
  2130. LLMEvent.stepStart({ index: 0 }),
  2131. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2132. LLMEvent.finish({ reason: "stop" }),
  2133. ],
  2134. ]
  2135. streamGate = yield* Deferred.make<void>()
  2136. streamStarted = yield* Deferred.make<void>()
  2137. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2138. yield* Deferred.await(streamStarted)
  2139. yield* session.prompt({
  2140. sessionID,
  2141. prompt: new Prompt({ text: "Steer after interrupt" }),
  2142. })
  2143. yield* session.interrupt(sessionID)
  2144. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2145. expect(requests).toHaveLength(1)
  2146. expect(yield* SessionInput.hasPending(db, sessionID, "steer")).toBe(true)
  2147. const resumed = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2148. while (requests.length < 2) yield* Effect.yieldNow
  2149. yield* Deferred.succeed(streamGate, undefined)
  2150. yield* Fiber.join(resumed)
  2151. streamGate = undefined
  2152. streamStarted = undefined
  2153. expect(requests).toHaveLength(2)
  2154. expect(userTexts(requests[0]!)).toEqual(["Interrupt current work"])
  2155. expect(userTexts(requests[1]!)).toEqual(["Interrupt current work", "Steer after interrupt"])
  2156. }),
  2157. )
  2158. it.effect("runs queued active inputs as separate FIFO activities", () =>
  2159. Effect.gen(function* () {
  2160. yield* setup
  2161. const session = yield* SessionV2.Service
  2162. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2163. requests.length = 0
  2164. responses = [
  2165. [
  2166. LLMEvent.stepStart({ index: 0 }),
  2167. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2168. LLMEvent.finish({ reason: "stop" }),
  2169. ],
  2170. [
  2171. LLMEvent.stepStart({ index: 0 }),
  2172. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2173. LLMEvent.finish({ reason: "stop" }),
  2174. ],
  2175. [
  2176. LLMEvent.stepStart({ index: 0 }),
  2177. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2178. LLMEvent.finish({ reason: "stop" }),
  2179. ],
  2180. ]
  2181. streamGate = yield* Deferred.make<void>()
  2182. streamStarted = yield* Deferred.make<void>()
  2183. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2184. yield* Deferred.await(streamStarted)
  2185. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue first" }), delivery: "queue" })
  2186. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue second" }), delivery: "queue" })
  2187. yield* Deferred.succeed(streamGate, undefined)
  2188. yield* Fiber.join(first)
  2189. streamGate = undefined
  2190. streamStarted = undefined
  2191. expect(requests).toHaveLength(3)
  2192. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2193. expect(userTexts(requests[1]!)).toEqual(["Start working", "Queue first"])
  2194. expect(userTexts(requests[2]!)).toEqual(["Start working", "Queue first", "Queue second"])
  2195. }),
  2196. )
  2197. it.effect("opens queued input after idle steering activity settles", () =>
  2198. Effect.gen(function* () {
  2199. yield* setup
  2200. const session = yield* SessionV2.Service
  2201. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start steering activity" }), resume: false })
  2202. yield* session.prompt({
  2203. sessionID,
  2204. prompt: new Prompt({ text: "Queue later activity" }),
  2205. delivery: "queue",
  2206. resume: false,
  2207. })
  2208. requests.length = 0
  2209. responses = [
  2210. [
  2211. LLMEvent.stepStart({ index: 0 }),
  2212. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2213. LLMEvent.finish({ reason: "stop" }),
  2214. ],
  2215. [
  2216. LLMEvent.stepStart({ index: 0 }),
  2217. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2218. LLMEvent.finish({ reason: "stop" }),
  2219. ],
  2220. ]
  2221. yield* session.resume(sessionID)
  2222. expect(requests).toHaveLength(2)
  2223. expect(userTexts(requests[0]!)).toEqual(["Start steering activity"])
  2224. expect(userTexts(requests[1]!)).toEqual(["Start steering activity", "Queue later activity"])
  2225. }),
  2226. )
  2227. it.effect("coalesces steers into the active queued activity before starting the next queued activity", () =>
  2228. Effect.gen(function* () {
  2229. yield* setup
  2230. const session = yield* SessionV2.Service
  2231. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2232. requests.length = 0
  2233. responses = [
  2234. [
  2235. LLMEvent.stepStart({ index: 0 }),
  2236. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2237. LLMEvent.finish({ reason: "stop" }),
  2238. ],
  2239. [
  2240. LLMEvent.stepStart({ index: 0 }),
  2241. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2242. LLMEvent.finish({ reason: "stop" }),
  2243. ],
  2244. [
  2245. LLMEvent.stepStart({ index: 0 }),
  2246. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2247. LLMEvent.finish({ reason: "stop" }),
  2248. ],
  2249. [
  2250. LLMEvent.stepStart({ index: 0 }),
  2251. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2252. LLMEvent.finish({ reason: "stop" }),
  2253. ],
  2254. ]
  2255. const firstGate = yield* Deferred.make<void>()
  2256. const secondGate = yield* Deferred.make<void>()
  2257. streamGate = firstGate
  2258. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2259. while (requests.length < 1) yield* Effect.yieldNow
  2260. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue first" }), delivery: "queue" })
  2261. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Queue second" }), delivery: "queue" })
  2262. streamGate = secondGate
  2263. yield* Deferred.succeed(firstGate, undefined)
  2264. while (requests.length < 2) yield* Effect.yieldNow
  2265. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Steer first queued activity" }) })
  2266. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Also steer first queued activity" }) })
  2267. yield* Deferred.succeed(secondGate, undefined)
  2268. yield* Fiber.join(first)
  2269. streamGate = undefined
  2270. expect(requests).toHaveLength(4)
  2271. expect(userTexts(requests[0]!)).toEqual(["Start working"])
  2272. expect(userTexts(requests[1]!)).toEqual(["Start working", "Queue first"])
  2273. expect(userTexts(requests[2]!)).toEqual([
  2274. "Start working",
  2275. "Queue first",
  2276. "Steer first queued activity",
  2277. "Also steer first queued activity",
  2278. ])
  2279. expect(userTexts(requests[3]!)).toEqual([
  2280. "Start working",
  2281. "Queue first",
  2282. "Steer first queued activity",
  2283. "Also steer first queued activity",
  2284. "Queue second",
  2285. ])
  2286. }),
  2287. )
  2288. it.effect("coalesces multiple active steering prompts into one continuation turn", () =>
  2289. Effect.gen(function* () {
  2290. yield* setup
  2291. const session = yield* SessionV2.Service
  2292. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2293. requests.length = 0
  2294. responses = [
  2295. [
  2296. LLMEvent.stepStart({ index: 0 }),
  2297. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2298. LLMEvent.finish({ reason: "stop" }),
  2299. ],
  2300. [
  2301. LLMEvent.stepStart({ index: 0 }),
  2302. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2303. LLMEvent.finish({ reason: "stop" }),
  2304. ],
  2305. ]
  2306. streamGate = yield* Deferred.make<void>()
  2307. streamStarted = yield* Deferred.make<void>()
  2308. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2309. yield* Deferred.await(streamStarted)
  2310. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "First steer" }) })
  2311. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Second steer" }) })
  2312. yield* Deferred.succeed(streamGate, undefined)
  2313. yield* Fiber.join(first)
  2314. streamGate = undefined
  2315. streamStarted = undefined
  2316. yield* Effect.yieldNow
  2317. expect(requests).toHaveLength(2)
  2318. expect(userTexts(requests[1]!)).toEqual(["Start working", "First steer", "Second steer"])
  2319. yield* (yield* SessionRunCoordinator.Service).wake(sessionID)
  2320. yield* Effect.yieldNow
  2321. expect(requests).toHaveLength(2)
  2322. }),
  2323. )
  2324. it.effect("runs steering input accepted while the active provider turn fails", () =>
  2325. Effect.gen(function* () {
  2326. yield* setup
  2327. const session = yield* SessionV2.Service
  2328. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Start working" }), resume: false })
  2329. requests.length = 0
  2330. responses = undefined
  2331. response = []
  2332. streamFailure = providerUnavailable()
  2333. streamGate = yield* Deferred.make<void>()
  2334. streamStarted = yield* Deferred.make<void>()
  2335. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2336. yield* Deferred.await(streamStarted)
  2337. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Recover with this" }) })
  2338. yield* Deferred.succeed(streamGate, undefined)
  2339. expect(yield* Fiber.join(first).pipe(Effect.flip)).toBe(streamFailure)
  2340. streamFailure = undefined
  2341. streamGate = undefined
  2342. streamStarted = undefined
  2343. yield* Effect.yieldNow
  2344. expect(requests).toHaveLength(2)
  2345. expect(userTexts(requests[1]!)).toEqual(["Start working", "Recover with this"])
  2346. }),
  2347. )
  2348. it.effect("durably fails local tools left running by a prior process before continuing", () =>
  2349. Effect.gen(function* () {
  2350. yield* setup
  2351. const session = yield* SessionV2.Service
  2352. const events = yield* EventV2.Service
  2353. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Recover interrupted tool" }), resume: false })
  2354. yield* SessionInput.promoteSteers((yield* Database.Service).db, events, sessionID, Number.MAX_SAFE_INTEGER)
  2355. const assistantMessageID = SessionMessage.ID.create()
  2356. yield* events.publish(SessionEvent.Step.Started, {
  2357. sessionID,
  2358. assistantMessageID,
  2359. timestamp: yield* DateTime.now,
  2360. agent: "build",
  2361. model: { id: ModelV2.ID.make("fake-model"), providerID: ProviderV2.ID.make("fake") },
  2362. })
  2363. yield* events.publish(SessionEvent.Tool.Input.Started, {
  2364. sessionID,
  2365. timestamp: yield* DateTime.now,
  2366. assistantMessageID,
  2367. callID: "call-interrupted",
  2368. name: "echo",
  2369. })
  2370. yield* events.publish(SessionEvent.Tool.Input.Ended, {
  2371. sessionID,
  2372. timestamp: yield* DateTime.now,
  2373. assistantMessageID,
  2374. callID: "call-interrupted",
  2375. text: '{"text":"stale"}',
  2376. })
  2377. yield* events.publish(SessionEvent.Tool.Called, {
  2378. sessionID,
  2379. timestamp: yield* DateTime.now,
  2380. assistantMessageID,
  2381. callID: "call-interrupted",
  2382. tool: "echo",
  2383. input: { text: "stale" },
  2384. provider: { executed: false },
  2385. })
  2386. requests.length = 0
  2387. response = []
  2388. yield* session.resume(sessionID)
  2389. expect(requests).toHaveLength(1)
  2390. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  2391. expect(yield* session.context(sessionID)).toMatchObject([
  2392. { type: "user", text: "Recover interrupted tool" },
  2393. {
  2394. type: "assistant",
  2395. content: [
  2396. {
  2397. type: "tool",
  2398. id: "call-interrupted",
  2399. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2400. },
  2401. ],
  2402. },
  2403. ])
  2404. }),
  2405. )
  2406. it.effect("durably fails hosted tools left running by a prior process before continuing inline", () =>
  2407. Effect.gen(function* () {
  2408. yield* setup
  2409. const session = yield* SessionV2.Service
  2410. const events = yield* EventV2.Service
  2411. yield* session.prompt({
  2412. sessionID,
  2413. prompt: new Prompt({ text: "Recover interrupted hosted tool" }),
  2414. resume: false,
  2415. })
  2416. yield* SessionInput.promoteSteers((yield* Database.Service).db, events, sessionID, Number.MAX_SAFE_INTEGER)
  2417. const assistantMessageID = SessionMessage.ID.create()
  2418. yield* events.publish(SessionEvent.Step.Started, {
  2419. sessionID,
  2420. assistantMessageID,
  2421. timestamp: yield* DateTime.now,
  2422. agent: "build",
  2423. model: { id: ModelV2.ID.make("fake-model"), providerID: ProviderV2.ID.make("fake") },
  2424. })
  2425. yield* events.publish(SessionEvent.Tool.Input.Started, {
  2426. sessionID,
  2427. timestamp: yield* DateTime.now,
  2428. assistantMessageID,
  2429. callID: "call-hosted-interrupted",
  2430. name: "web_search",
  2431. })
  2432. yield* events.publish(SessionEvent.Tool.Input.Ended, {
  2433. sessionID,
  2434. timestamp: yield* DateTime.now,
  2435. assistantMessageID,
  2436. callID: "call-hosted-interrupted",
  2437. text: '{"query":"stale"}',
  2438. })
  2439. yield* events.publish(SessionEvent.Tool.Called, {
  2440. sessionID,
  2441. timestamp: yield* DateTime.now,
  2442. assistantMessageID,
  2443. callID: "call-hosted-interrupted",
  2444. tool: "web_search",
  2445. input: { query: "stale" },
  2446. provider: { executed: true, metadata: { openai: { itemId: "call-hosted-interrupted" } } },
  2447. })
  2448. requests.length = 0
  2449. response = []
  2450. yield* session.resume(sessionID)
  2451. expect(requests).toHaveLength(1)
  2452. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant"])
  2453. expect(requests[0]?.messages[1]?.content).toMatchObject([
  2454. {
  2455. type: "tool-call",
  2456. id: "call-hosted-interrupted",
  2457. providerExecuted: true,
  2458. providerMetadata: { openai: { itemId: "call-hosted-interrupted" } },
  2459. },
  2460. { type: "tool-result", id: "call-hosted-interrupted", providerExecuted: true, result: { type: "error" } },
  2461. ])
  2462. }),
  2463. )
  2464. it.effect("durably fails pending tool input left by a prior process before continuing", () =>
  2465. Effect.gen(function* () {
  2466. yield* setup
  2467. const session = yield* SessionV2.Service
  2468. const events = yield* EventV2.Service
  2469. yield* session.prompt({
  2470. sessionID,
  2471. prompt: new Prompt({ text: "Recover interrupted tool input" }),
  2472. resume: false,
  2473. })
  2474. yield* SessionInput.promoteSteers((yield* Database.Service).db, events, sessionID, Number.MAX_SAFE_INTEGER)
  2475. const assistantMessageID = SessionMessage.ID.create()
  2476. yield* events.publish(SessionEvent.Step.Started, {
  2477. sessionID,
  2478. assistantMessageID,
  2479. timestamp: yield* DateTime.now,
  2480. agent: "build",
  2481. model: { id: ModelV2.ID.make("fake-model"), providerID: ProviderV2.ID.make("fake") },
  2482. })
  2483. yield* events.publish(SessionEvent.Tool.Input.Started, {
  2484. sessionID,
  2485. timestamp: yield* DateTime.now,
  2486. assistantMessageID,
  2487. callID: "call-pending-interrupted",
  2488. name: "echo",
  2489. })
  2490. requests.length = 0
  2491. response = []
  2492. yield* session.resume(sessionID)
  2493. expect(requests).toHaveLength(1)
  2494. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  2495. expect(yield* session.context(sessionID)).toMatchObject([
  2496. { type: "user", text: "Recover interrupted tool input" },
  2497. { type: "assistant", content: [{ type: "tool", id: "call-pending-interrupted", state: { status: "error" } }] },
  2498. ])
  2499. }),
  2500. )
  2501. it.effect("starts the first queued activity when woken while idle", () =>
  2502. Effect.gen(function* () {
  2503. yield* setup
  2504. const session = yield* SessionV2.Service
  2505. yield* session.prompt({
  2506. sessionID,
  2507. prompt: new Prompt({ text: "Wait for fresh activity" }),
  2508. delivery: "queue",
  2509. resume: false,
  2510. })
  2511. requests.length = 0
  2512. yield* (yield* SessionRunCoordinator.Service).wake(sessionID)
  2513. yield* Effect.yieldNow
  2514. expect(requests).toHaveLength(1)
  2515. expect(userTexts(requests[0]!)).toEqual(["Wait for fresh activity"])
  2516. }),
  2517. )
  2518. it.effect("does not spend one activity step budget across queued activities", () =>
  2519. Effect.gen(function* () {
  2520. yield* setup
  2521. const session = yield* SessionV2.Service
  2522. const queued = Array.from({ length: 26 }, (_, index) => `Queued activity ${index + 1}`)
  2523. for (const text of queued) {
  2524. yield* session.prompt({ sessionID, prompt: new Prompt({ text }), delivery: "queue", resume: false })
  2525. }
  2526. requests.length = 0
  2527. responses = queued.map(() => [
  2528. LLMEvent.stepStart({ index: 0 }),
  2529. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2530. LLMEvent.finish({ reason: "stop" }),
  2531. ])
  2532. yield* session.resume(sessionID)
  2533. expect(requests).toHaveLength(queued.length)
  2534. expect(userTexts(requests.at(-1)!)).toEqual(queued)
  2535. }),
  2536. )
  2537. it.effect("retries inbox input after prompt projection rolls back", () =>
  2538. Effect.gen(function* () {
  2539. yield* setup
  2540. const session = yield* SessionV2.Service
  2541. const events = yield* EventV2.Service
  2542. const defect = new Error("fail after prompt promotion")
  2543. let fail = true
  2544. yield* events.project(SessionEvent.PromptLifecycle.Promoted, () => (fail ? Effect.die(defect) : Effect.void))
  2545. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Recover promoted input" }), resume: false })
  2546. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe(defect)
  2547. fail = false
  2548. requests.length = 0
  2549. response = [
  2550. LLMEvent.stepStart({ index: 0 }),
  2551. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2552. LLMEvent.finish({ reason: "stop" }),
  2553. ]
  2554. yield* (yield* SessionRunCoordinator.Service).wake(sessionID)
  2555. while (requests.length === 0) yield* Effect.yieldNow
  2556. expect(userTexts(requests[0]!)).toEqual(["Recover promoted input"])
  2557. }),
  2558. )
  2559. it.effect("does not strand a committed promotion when a post-commit listener defects", () =>
  2560. Effect.gen(function* () {
  2561. yield* setup
  2562. const session = yield* SessionV2.Service
  2563. const events = yield* EventV2.Service
  2564. yield* events.listen((event) =>
  2565. event.type === SessionEvent.PromptLifecycle.Promoted.type
  2566. ? Effect.die("fail after prompt promotion commits")
  2567. : Effect.void,
  2568. )
  2569. yield* session.prompt({
  2570. sessionID,
  2571. prompt: new Prompt({ text: "Run committed promotion" }),
  2572. resume: false,
  2573. })
  2574. requests.length = 0
  2575. yield* session.resume(sessionID)
  2576. expect(requests).toHaveLength(1)
  2577. expect(userTexts(requests[0]!)).toEqual(["Run committed promotion"])
  2578. }),
  2579. )
  2580. it.effect("runs different sessions concurrently", () =>
  2581. Effect.gen(function* () {
  2582. yield* setup
  2583. yield* insertSession(otherSessionID)
  2584. const session = yield* SessionV2.Service
  2585. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Run first" }), resume: false })
  2586. yield* session.prompt({ sessionID: otherSessionID, prompt: new Prompt({ text: "Run second" }), resume: false })
  2587. requests.length = 0
  2588. responses = undefined
  2589. response = []
  2590. streamGate = yield* Deferred.make<void>()
  2591. streamStarted = yield* Deferred.make<void>()
  2592. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2593. yield* Deferred.await(streamStarted)
  2594. const second = yield* session.resume(otherSessionID).pipe(Effect.forkChild)
  2595. yield* Effect.yieldNow
  2596. expect(requests).toHaveLength(2)
  2597. expect(requests.map((request) => request.providerOptions?.openai?.promptCacheKey)).toEqual([
  2598. sessionID,
  2599. otherSessionID,
  2600. ])
  2601. yield* Deferred.succeed(streamGate, undefined)
  2602. yield* Fiber.join(first)
  2603. yield* Fiber.join(second)
  2604. streamGate = undefined
  2605. streamStarted = undefined
  2606. }),
  2607. )
  2608. it.effect("bounds external session prompt cache keys", () =>
  2609. Effect.gen(function* () {
  2610. yield* setup
  2611. const externalSessionID = SessionV2.ID.fromExternal({
  2612. namespace: "discord",
  2613. key: "thread-one",
  2614. })
  2615. const otherExternalSessionID = SessionV2.ID.fromExternal({
  2616. namespace: "discord",
  2617. key: "thread-two",
  2618. })
  2619. yield* insertSession(externalSessionID)
  2620. yield* insertSession(otherExternalSessionID)
  2621. const session = yield* SessionV2.Service
  2622. yield* session.prompt({
  2623. sessionID: externalSessionID,
  2624. prompt: new Prompt({ text: "Run external session" }),
  2625. resume: false,
  2626. })
  2627. yield* session.prompt({
  2628. sessionID: otherExternalSessionID,
  2629. prompt: new Prompt({ text: "Run other external session" }),
  2630. resume: false,
  2631. })
  2632. requests.length = 0
  2633. yield* session.resume(externalSessionID)
  2634. yield* session.resume(otherExternalSessionID)
  2635. const keys = requests.map((request) => request.providerOptions?.openai?.promptCacheKey)
  2636. expect(keys).toEqual([externalSessionID.slice(4), otherExternalSessionID.slice(4)])
  2637. expect(keys.every((key) => typeof key === "string" && key.length === 64)).toBe(true)
  2638. expect(keys[0]).not.toBe(keys[1])
  2639. }),
  2640. )
  2641. it.effect("fans out one failed run and allows a later retry", () =>
  2642. Effect.gen(function* () {
  2643. yield* setup
  2644. const session = yield* SessionV2.Service
  2645. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Retry after failure" }), resume: false })
  2646. requests.length = 0
  2647. responses = undefined
  2648. response = []
  2649. streamFailure = providerUnavailable()
  2650. streamGate = yield* Deferred.make<void>()
  2651. streamStarted = yield* Deferred.make<void>()
  2652. const first = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2653. yield* Deferred.await(streamStarted)
  2654. const second = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2655. yield* Effect.yieldNow
  2656. expect(requests).toHaveLength(1)
  2657. yield* Deferred.succeed(streamGate, undefined)
  2658. const [firstExit, secondExit] = yield* Effect.all([Fiber.await(first), Fiber.await(second)])
  2659. expect(secondExit).toEqual(firstExit)
  2660. streamFailure = undefined
  2661. streamGate = undefined
  2662. streamStarted = undefined
  2663. yield* session.resume(sessionID)
  2664. expect(requests).toHaveLength(2)
  2665. }),
  2666. )
  2667. it.effect("durably settles local tool failures before continuing", () =>
  2668. Effect.gen(function* () {
  2669. yield* setup
  2670. const session = yield* SessionV2.Service
  2671. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Call missing" }), resume: false })
  2672. requests.length = 0
  2673. responses = [
  2674. [
  2675. LLMEvent.stepStart({ index: 0 }),
  2676. LLMEvent.toolCall({ id: "call-missing", name: "missing", input: {} }),
  2677. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2678. LLMEvent.finish({ reason: "tool-calls" }),
  2679. ],
  2680. [
  2681. LLMEvent.stepStart({ index: 0 }),
  2682. LLMEvent.textStart({ id: "text-after-error" }),
  2683. LLMEvent.textDelta({ id: "text-after-error", text: "Recovered" }),
  2684. LLMEvent.textEnd({ id: "text-after-error" }),
  2685. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2686. LLMEvent.finish({ reason: "stop" }),
  2687. ],
  2688. ]
  2689. streamGate = undefined
  2690. streamStarted = undefined
  2691. yield* session.resume(sessionID)
  2692. expect(requests).toHaveLength(2)
  2693. expect(yield* session.context(sessionID)).toMatchObject([
  2694. { type: "user", text: "Call missing" },
  2695. {
  2696. type: "assistant",
  2697. content: [
  2698. {
  2699. type: "tool",
  2700. id: "call-missing",
  2701. state: { status: "error", error: { message: "Unknown tool: missing" } },
  2702. },
  2703. ],
  2704. },
  2705. { type: "assistant", finish: "stop", content: [{ type: "text", id: "text-after-error", text: "Recovered" }] },
  2706. ])
  2707. }),
  2708. )
  2709. it.effect("propagates unexpected local tool defects operationally", () =>
  2710. Effect.gen(function* () {
  2711. yield* setup
  2712. const session = yield* SessionV2.Service
  2713. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Call defect" }), resume: false })
  2714. requests.length = 0
  2715. responses = [
  2716. [
  2717. LLMEvent.stepStart({ index: 0 }),
  2718. LLMEvent.toolCall({ id: "call-defect", name: "defect", input: {} }),
  2719. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2720. LLMEvent.finish({ reason: "tool-calls" }),
  2721. ],
  2722. ]
  2723. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe("unexpected tool defect")
  2724. expect(requests).toHaveLength(1)
  2725. expect(yield* session.context(sessionID)).toMatchObject([
  2726. { type: "user", text: "Call defect" },
  2727. {
  2728. type: "assistant",
  2729. content: [
  2730. {
  2731. type: "tool",
  2732. id: "call-defect",
  2733. state: {
  2734. status: "error",
  2735. error: { type: "unknown", message: "Tool execution failed: unexpected tool defect" },
  2736. },
  2737. },
  2738. ],
  2739. },
  2740. ])
  2741. }),
  2742. )
  2743. it.effect("interrupts runner continuation when a question is dismissed", () =>
  2744. Effect.gen(function* () {
  2745. yield* setup
  2746. const session = yield* SessionV2.Service
  2747. const registry = yield* ToolRegistry.Service
  2748. const questions = yield* QuestionV2.Service
  2749. yield* registry.register({
  2750. question: Tool.make({
  2751. description: "Ask the user",
  2752. input: Schema.Struct({}),
  2753. output: Schema.Struct({}),
  2754. execute: (_, context) =>
  2755. questions.ask({ sessionID: context.sessionID, questions: [] }).pipe(Effect.as({}), Effect.orDie),
  2756. }),
  2757. })
  2758. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Ask then stop" }), resume: false })
  2759. requests.length = 0
  2760. responses = [
  2761. [
  2762. LLMEvent.stepStart({ index: 0 }),
  2763. LLMEvent.toolCall({ id: "call-question", name: "question", input: {} }),
  2764. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2765. LLMEvent.finish({ reason: "tool-calls" }),
  2766. ],
  2767. [],
  2768. ]
  2769. const run = yield* session.resume(sessionID).pipe(Effect.exit, Effect.forkChild)
  2770. let pending = yield* questions.list()
  2771. while (pending.length === 0) {
  2772. yield* Effect.yieldNow
  2773. pending = yield* questions.list()
  2774. }
  2775. yield* questions.reject(pending[0]!.id)
  2776. const exit = yield* Fiber.join(run)
  2777. expect(exit._tag).toBe("Failure")
  2778. if (exit._tag === "Failure") expect(Cause.hasInterruptsOnly(exit.cause)).toBe(true)
  2779. expect(requests).toHaveLength(1)
  2780. expect(yield* session.context(sessionID)).toMatchObject([
  2781. { type: "user", text: "Ask then stop" },
  2782. {
  2783. type: "assistant",
  2784. content: [
  2785. {
  2786. type: "tool",
  2787. id: "call-question",
  2788. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2789. },
  2790. ],
  2791. },
  2792. ])
  2793. }),
  2794. )
  2795. it.effect("awaits started local tools before surfacing provider stream failure", () =>
  2796. Effect.gen(function* () {
  2797. yield* setup
  2798. const session = yield* SessionV2.Service
  2799. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Settle before failing" }), resume: false })
  2800. const failure = providerUnavailable()
  2801. toolExecutionGate = yield* Deferred.make<void>()
  2802. responseStream = Stream.concat(
  2803. Stream.fromIterable([
  2804. LLMEvent.stepStart({ index: 0 }),
  2805. LLMEvent.toolCall({ id: "call-before-failure", name: "echo", input: { text: "settle" } }),
  2806. ]),
  2807. Stream.fail(failure),
  2808. )
  2809. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2810. while (executions.length === 0) yield* Effect.yieldNow
  2811. yield* Effect.yieldNow
  2812. yield* Deferred.succeed(toolExecutionGate, undefined)
  2813. expect(yield* Fiber.join(run).pipe(Effect.flip)).toBe(failure)
  2814. toolExecutionGate = undefined
  2815. expect(yield* session.context(sessionID)).toMatchObject([
  2816. { type: "user", text: "Settle before failing" },
  2817. {
  2818. type: "assistant",
  2819. content: [
  2820. { type: "tool", id: "call-before-failure", state: { status: "completed", structured: { text: "settle" } } },
  2821. ],
  2822. },
  2823. ])
  2824. }),
  2825. )
  2826. it.effect("durably fails blocked local tools when a provider turn is interrupted", () =>
  2827. Effect.gen(function* () {
  2828. yield* setup
  2829. const session = yield* SessionV2.Service
  2830. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt blocked tool" }), resume: false })
  2831. executions.length = 0
  2832. toolExecutionGate = yield* Deferred.make<void>()
  2833. responseStream = Stream.concat(
  2834. Stream.fromIterable([
  2835. LLMEvent.stepStart({ index: 0 }),
  2836. LLMEvent.toolCall({ id: "call-before-interrupt", name: "echo", input: { text: "blocked" } }),
  2837. ]),
  2838. Stream.never,
  2839. )
  2840. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2841. while (executions.length === 0) yield* Effect.yieldNow
  2842. yield* session.interrupt(sessionID)
  2843. toolExecutionGate = undefined
  2844. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2845. yield* session.interrupt(sessionID)
  2846. expect(yield* session.context(sessionID)).toMatchObject([
  2847. { type: "user", text: "Interrupt blocked tool" },
  2848. {
  2849. type: "assistant",
  2850. content: [
  2851. {
  2852. type: "tool",
  2853. id: "call-before-interrupt",
  2854. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2855. },
  2856. ],
  2857. },
  2858. ])
  2859. yield* replaySessionProjection(sessionID)
  2860. expect(yield* session.context(sessionID)).toMatchObject([
  2861. { type: "user", text: "Interrupt blocked tool" },
  2862. { type: "assistant", content: [{ type: "tool", id: "call-before-interrupt", state: { status: "error" } }] },
  2863. ])
  2864. requests.length = 0
  2865. responseStream = undefined
  2866. response = []
  2867. yield* session.resume(sessionID)
  2868. expect(requests[0]?.messages.map((message) => message.role)).toEqual(["user", "assistant", "tool"])
  2869. }),
  2870. )
  2871. it.effect("interrupts a blocked provider turn without local tool activity", () =>
  2872. Effect.gen(function* () {
  2873. yield* setup
  2874. const session = yield* SessionV2.Service
  2875. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt provider" }), resume: false })
  2876. requests.length = 0
  2877. response = []
  2878. streamGate = yield* Deferred.make<void>()
  2879. streamStarted = yield* Deferred.make<void>()
  2880. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2881. yield* Deferred.await(streamStarted)
  2882. yield* session.interrupt(sessionID)
  2883. const exit = yield* Fiber.await(run)
  2884. streamGate = undefined
  2885. streamStarted = undefined
  2886. expect(Exit.isFailure(exit) && Cause.hasInterruptsOnly(exit.cause)).toBeTrue()
  2887. expect(requests).toHaveLength(1)
  2888. yield* session.interrupt(sessionID)
  2889. }),
  2890. )
  2891. it.effect("durably fails blocked local tools when interrupted while awaiting settlement", () =>
  2892. Effect.gen(function* () {
  2893. yield* setup
  2894. const session = yield* SessionV2.Service
  2895. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Interrupt tool settlement" }), resume: false })
  2896. executions.length = 0
  2897. toolExecutionGate = yield* Deferred.make<void>()
  2898. response = [
  2899. LLMEvent.stepStart({ index: 0 }),
  2900. LLMEvent.toolCall({ id: "call-await-interrupt", name: "echo", input: { text: "blocked" } }),
  2901. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2902. LLMEvent.finish({ reason: "tool-calls" }),
  2903. ]
  2904. const runner = yield* SessionRunner.Service
  2905. const run = yield* runner.run({ sessionID, force: true }).pipe(Effect.forkChild)
  2906. while (executions.length === 0) yield* Effect.yieldNow
  2907. yield* Fiber.interrupt(run)
  2908. toolExecutionGate = undefined
  2909. expect(yield* Fiber.await(run)).toMatchObject({ _tag: "Failure" })
  2910. expect(yield* session.context(sessionID)).toMatchObject([
  2911. { type: "user", text: "Interrupt tool settlement" },
  2912. {
  2913. type: "assistant",
  2914. content: [
  2915. {
  2916. type: "tool",
  2917. id: "call-await-interrupt",
  2918. state: { status: "error", error: { type: "unknown", message: "Tool execution interrupted" } },
  2919. },
  2920. ],
  2921. },
  2922. ])
  2923. }),
  2924. )
  2925. it.effect("fails after the bounded number of local tool continuation steps", () =>
  2926. Effect.gen(function* () {
  2927. yield* setup
  2928. const session = yield* SessionV2.Service
  2929. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Loop forever" }), resume: false })
  2930. requests.length = 0
  2931. authorizations.length = 0
  2932. executions.length = 0
  2933. streamGate = undefined
  2934. streamStarted = undefined
  2935. responses = Array.from({ length: 25 }, (_, index) => [
  2936. LLMEvent.stepStart({ index: 0 }),
  2937. LLMEvent.toolCall({ id: `call-echo-${index}`, name: "echo", input: { text: `${index}` } }),
  2938. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2939. LLMEvent.finish({ reason: "tool-calls" }),
  2940. ])
  2941. const failure = yield* session.resume(sessionID).pipe(Effect.flip)
  2942. expect(failure).toMatchObject({ _tag: "SessionRunner.StepLimitExceededError", sessionID, limit: 25 })
  2943. expect(requests).toHaveLength(25)
  2944. expect(executions).toHaveLength(25)
  2945. }),
  2946. )
  2947. it.effect("does not restart a capped tool loop for a coalesced stale wake", () =>
  2948. Effect.gen(function* () {
  2949. yield* setup
  2950. const session = yield* SessionV2.Service
  2951. const coordinator = yield* SessionRunCoordinator.Service
  2952. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Loop forever" }), resume: false })
  2953. requests.length = 0
  2954. responses = Array.from({ length: 25 }, (_, index) => [
  2955. LLMEvent.stepStart({ index: 0 }),
  2956. LLMEvent.toolCall({ id: `call-capped-${index}`, name: "echo", input: { text: `${index}` } }),
  2957. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2958. LLMEvent.finish({ reason: "tool-calls" }),
  2959. ])
  2960. streamGate = yield* Deferred.make<void>()
  2961. streamStarted = yield* Deferred.make<void>()
  2962. const run = yield* session.resume(sessionID).pipe(Effect.forkChild)
  2963. yield* Deferred.await(streamStarted)
  2964. yield* coordinator.wake(sessionID)
  2965. yield* Deferred.succeed(streamGate, undefined)
  2966. expect(yield* Fiber.join(run).pipe(Effect.flip)).toMatchObject({ _tag: "SessionRunner.StepLimitExceededError" })
  2967. streamGate = undefined
  2968. streamStarted = undefined
  2969. yield* Effect.yieldNow
  2970. expect(requests).toHaveLength(25)
  2971. }),
  2972. )
  2973. it.effect("accepts a terminal response on the final bounded provider turn", () =>
  2974. Effect.gen(function* () {
  2975. yield* setup
  2976. const session = yield* SessionV2.Service
  2977. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Finish at the limit" }), resume: false })
  2978. requests.length = 0
  2979. responses = [
  2980. ...Array.from({ length: 24 }, (_, index) => [
  2981. LLMEvent.stepStart({ index: 0 }),
  2982. LLMEvent.toolCall({ id: `call-terminal-${index}`, name: "echo", input: { text: `${index}` } }),
  2983. LLMEvent.stepFinish({ index: 0, reason: "tool-calls" }),
  2984. LLMEvent.finish({ reason: "tool-calls" }),
  2985. ]),
  2986. [
  2987. LLMEvent.stepStart({ index: 0 }),
  2988. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  2989. LLMEvent.finish({ reason: "stop" }),
  2990. ],
  2991. ]
  2992. yield* session.resume(sessionID)
  2993. expect(requests).toHaveLength(25)
  2994. }),
  2995. )
  2996. it.effect("projects provider errors as terminal assistant step failures", () =>
  2997. Effect.gen(function* () {
  2998. yield* setup
  2999. const session = yield* SessionV2.Service
  3000. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail durably" }), resume: false })
  3001. requests.length = 0
  3002. responses = undefined
  3003. streamGate = undefined
  3004. streamStarted = undefined
  3005. response = [LLMEvent.stepStart({ index: 0 }), LLMEvent.providerError({ message: "Provider unavailable" })]
  3006. yield* session.resume(sessionID)
  3007. expect(requests).toHaveLength(1)
  3008. expect(yield* session.context(sessionID)).toMatchObject([
  3009. { type: "user", text: "Fail durably" },
  3010. { type: "assistant", finish: "error", error: { type: "unknown", message: "Provider unavailable" } },
  3011. ])
  3012. }),
  3013. )
  3014. it.effect("projects provider errors emitted before assistant step start", () =>
  3015. Effect.gen(function* () {
  3016. yield* setup
  3017. const session = yield* SessionV2.Service
  3018. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail before step" }), resume: false })
  3019. requests.length = 0
  3020. response = [LLMEvent.providerError({ message: "Provider unavailable" })]
  3021. yield* session.resume(sessionID)
  3022. expect(requests).toHaveLength(1)
  3023. expect(yield* session.context(sessionID)).toMatchObject([
  3024. { type: "user", text: "Fail before step" },
  3025. { type: "assistant", finish: "error", error: { type: "unknown", message: "Provider unavailable" } },
  3026. ])
  3027. }),
  3028. )
  3029. it.effect("does not recover context overflow after durable assistant output", () =>
  3030. Effect.gen(function* () {
  3031. yield* setup
  3032. const session = yield* SessionV2.Service
  3033. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail after output" }), resume: false })
  3034. requests.length = 0
  3035. response = [
  3036. LLMEvent.stepStart({ index: 0 }),
  3037. LLMEvent.textStart({ id: "text-partial" }),
  3038. LLMEvent.textDelta({ id: "text-partial", text: "Partial" }),
  3039. LLMEvent.textEnd({ id: "text-partial" }),
  3040. LLMEvent.providerError({ message: "prompt too long", classification: "context-overflow" }),
  3041. ]
  3042. yield* session.resume(sessionID)
  3043. expect(requests).toHaveLength(1)
  3044. expect(yield* session.context(sessionID)).toMatchObject([
  3045. { type: "user", text: "Fail after output" },
  3046. {
  3047. type: "assistant",
  3048. finish: "error",
  3049. error: { message: "prompt too long" },
  3050. content: [{ type: "text", text: "Partial" }],
  3051. },
  3052. ])
  3053. }),
  3054. )
  3055. it.effect("projects raw provider stream failures as terminal assistant step failures", () =>
  3056. Effect.gen(function* () {
  3057. yield* setup
  3058. const session = yield* SessionV2.Service
  3059. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail raw stream durably" }), resume: false })
  3060. const failure = providerUnavailable()
  3061. responseStream = Stream.fail(failure)
  3062. expect(yield* session.resume(sessionID).pipe(Effect.flip)).toBe(failure)
  3063. yield* replaySessionProjection(sessionID)
  3064. expect(yield* session.context(sessionID)).toMatchObject([
  3065. { type: "user", text: "Fail raw stream durably" },
  3066. { type: "assistant", finish: "error", error: { type: "unknown", message: "Provider unavailable" } },
  3067. ])
  3068. }),
  3069. )
  3070. it.effect("does not continue automatically after a provider error follows a local tool call", () =>
  3071. Effect.gen(function* () {
  3072. yield* setup
  3073. const session = yield* SessionV2.Service
  3074. yield* session.prompt({
  3075. sessionID,
  3076. prompt: new Prompt({ text: "Do not continue failed provider" }),
  3077. resume: false,
  3078. })
  3079. requests.length = 0
  3080. const executionCount = executions.length
  3081. response = [
  3082. LLMEvent.stepStart({ index: 0 }),
  3083. LLMEvent.toolCall({ id: "call-before-provider-error", name: "echo", input: { text: "settled" } }),
  3084. LLMEvent.providerError({ message: "Provider unavailable" }),
  3085. ]
  3086. yield* session.resume(sessionID)
  3087. expect(requests).toHaveLength(1)
  3088. expect(executions.slice(executionCount)).toEqual(["settled"])
  3089. }),
  3090. )
  3091. it.effect("durably fails a hosted tool when its provider errors before returning a result", () =>
  3092. Effect.gen(function* () {
  3093. yield* setup
  3094. const session = yield* SessionV2.Service
  3095. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail hosted tool durably" }), resume: false })
  3096. requests.length = 0
  3097. response = [
  3098. LLMEvent.stepStart({ index: 0 }),
  3099. LLMEvent.toolCall({
  3100. id: "call-hosted-provider-error",
  3101. name: "web_search",
  3102. input: { query: "effect" },
  3103. providerExecuted: true,
  3104. }),
  3105. LLMEvent.providerError({ message: "Provider unavailable" }),
  3106. ]
  3107. yield* session.resume(sessionID)
  3108. expect(requests).toHaveLength(1)
  3109. expect(yield* session.context(sessionID)).toMatchObject([
  3110. { type: "user", text: "Fail hosted tool durably" },
  3111. {
  3112. type: "assistant",
  3113. content: [{ type: "tool", id: "call-hosted-provider-error", state: { status: "error" } }],
  3114. },
  3115. ])
  3116. }),
  3117. )
  3118. it.effect("durably fails a hosted tool left unresolved at normal provider EOF", () =>
  3119. Effect.gen(function* () {
  3120. yield* setup
  3121. const session = yield* SessionV2.Service
  3122. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Fail hosted tool at EOF" }), resume: false })
  3123. response = [
  3124. LLMEvent.stepStart({ index: 0 }),
  3125. LLMEvent.toolCall({
  3126. id: "call-hosted-eof",
  3127. name: "web_search",
  3128. input: { query: "effect" },
  3129. providerExecuted: true,
  3130. }),
  3131. ]
  3132. yield* session.resume(sessionID)
  3133. yield* replaySessionProjection(sessionID)
  3134. expect(yield* session.context(sessionID)).toMatchObject([
  3135. { type: "user", text: "Fail hosted tool at EOF" },
  3136. { type: "assistant", content: [{ type: "tool", id: "call-hosted-eof", state: { status: "error" } }] },
  3137. ])
  3138. }),
  3139. )
  3140. it.effect("durably fails a hosted tool left unresolved by a raw provider stream failure", () =>
  3141. Effect.gen(function* () {
  3142. yield* setup
  3143. const session = yield* SessionV2.Service
  3144. yield* session.prompt({
  3145. sessionID,
  3146. prompt: new Prompt({ text: "Fail hosted tool on raw failure" }),
  3147. resume: false,
  3148. })
  3149. const failure = providerUnavailable()
  3150. responseStream = Stream.concat(
  3151. Stream.fromIterable([
  3152. LLMEvent.stepStart({ index: 0 }),
  3153. LLMEvent.toolCall({
  3154. id: "call-hosted-raw-failure",
  3155. name: "web_search",
  3156. input: { query: "effect" },
  3157. providerExecuted: true,
  3158. }),
  3159. ]),
  3160. Stream.fail(failure),
  3161. )
  3162. expect(yield* session.resume(sessionID).pipe(Effect.flip)).toBe(failure)
  3163. yield* replaySessionProjection(sessionID)
  3164. expect(yield* session.context(sessionID)).toMatchObject([
  3165. { type: "user", text: "Fail hosted tool on raw failure" },
  3166. {
  3167. type: "assistant",
  3168. finish: "error",
  3169. error: { type: "unknown", message: "Provider unavailable" },
  3170. content: [{ type: "tool", id: "call-hosted-raw-failure", state: { status: "error" } }],
  3171. },
  3172. ])
  3173. }),
  3174. )
  3175. it.effect("keeps interleaved assistant text blocks separate", () =>
  3176. Effect.gen(function* () {
  3177. yield* setup
  3178. const session = yield* SessionV2.Service
  3179. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Two blocks" }), resume: false })
  3180. responses = undefined
  3181. streamGate = undefined
  3182. streamStarted = undefined
  3183. response = [
  3184. LLMEvent.stepStart({ index: 0 }),
  3185. LLMEvent.textStart({ id: "text-1" }),
  3186. LLMEvent.textStart({ id: "text-2" }),
  3187. LLMEvent.textDelta({ id: "text-1", text: "First" }),
  3188. LLMEvent.textDelta({ id: "text-2", text: "Second" }),
  3189. LLMEvent.textEnd({ id: "text-1" }),
  3190. LLMEvent.textEnd({ id: "text-2" }),
  3191. LLMEvent.stepFinish({ index: 0, reason: "stop" }),
  3192. LLMEvent.finish({ reason: "stop" }),
  3193. ]
  3194. yield* session.resume(sessionID)
  3195. expect(yield* session.context(sessionID)).toMatchObject([
  3196. { type: "user", text: "Two blocks" },
  3197. {
  3198. type: "assistant",
  3199. content: [
  3200. { type: "text", id: "text-1", text: "First" },
  3201. { type: "text", id: "text-2", text: "Second" },
  3202. ],
  3203. },
  3204. ])
  3205. }),
  3206. )
  3207. for (const kind of fragmentKinds) {
  3208. it.effect(`broadcasts provider ${kind} deltas without storing projection rewrites`, () =>
  3209. verifyEphemeralDeltas(kind),
  3210. )
  3211. it.effect(`durably closes partial ${kind} when the provider stream fails`, () => verifyPartialFlushOnFailure(kind))
  3212. it.effect(`durably closes partial ${kind} when the provider stream is interrupted`, () =>
  3213. verifyPartialFlushOnInterruption(kind),
  3214. )
  3215. }
  3216. it.effect("rejects duplicate streamed text starts", () =>
  3217. Effect.gen(function* () {
  3218. yield* setup
  3219. const session = yield* SessionV2.Service
  3220. responses = undefined
  3221. streamGate = undefined
  3222. streamStarted = undefined
  3223. response = [LLMEvent.textStart({ id: "text-1" }), LLMEvent.textStart({ id: "text-1" })]
  3224. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe(
  3225. "Duplicate text start: text-1",
  3226. )
  3227. }),
  3228. )
  3229. it.effect("transitions streamed raw tool input to parsed called input", () =>
  3230. Effect.gen(function* () {
  3231. yield* setup
  3232. const session = yield* SessionV2.Service
  3233. yield* session.prompt({ sessionID, prompt: new Prompt({ text: "Call provider tool" }), resume: false })
  3234. responses = undefined
  3235. streamGate = undefined
  3236. streamStarted = undefined
  3237. response = [
  3238. LLMEvent.stepStart({ index: 0 }),
  3239. LLMEvent.toolInputStart({ id: "call-parsed", name: "web_search" }),
  3240. LLMEvent.toolInputDelta({ id: "call-parsed", name: "web_search", text: '{"query":"hello"}' }),
  3241. LLMEvent.toolInputEnd({ id: "call-parsed", name: "web_search" }),
  3242. LLMEvent.toolCall({ id: "call-parsed", name: "web_search", input: { query: "hello" }, providerExecuted: true }),
  3243. ]
  3244. yield* session.resume(sessionID)
  3245. expect(yield* session.context(sessionID)).toMatchObject([
  3246. { type: "user", text: "Call provider tool" },
  3247. {
  3248. type: "assistant",
  3249. content: [{ type: "tool", id: "call-parsed", state: { status: "error", input: { query: "hello" } } }],
  3250. },
  3251. ])
  3252. }),
  3253. )
  3254. it.effect("rejects malformed streamed tool input ordering", () =>
  3255. Effect.gen(function* () {
  3256. yield* setup
  3257. const session = yield* SessionV2.Service
  3258. responses = undefined
  3259. streamGate = undefined
  3260. streamStarted = undefined
  3261. response = [LLMEvent.toolInputDelta({ id: "call-1", name: "read", text: "{}" })]
  3262. expect(yield* session.resume(sessionID).pipe(Effect.catchDefect(Effect.succeed))).toBe(
  3263. "Tool input delta before start: call-1",
  3264. )
  3265. }),
  3266. )
  3267. })