v2-system-migration.spec.ts 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306
  1. import { freezeMessage, MessageId } from '@deepseek-ai/dsh-llm'
  2. import { Context } from '@deepseek-ai/cordis'
  3. import { Session, SessionId, SessionLogOffset, SessionSeq } from '@deepseek-ai/dsh-session'
  4. import type { SessionEvent } from '@deepseek-ai/dsh-session'
  5. import { SessionFormatUnsupportedError } from '@deepseek-ai/dsh-session-persistence'
  6. import type { SessionHandle } from '@deepseek-ai/dsh-session-persistence'
  7. import JsonlSessionPersistence from '@deepseek-ai/dsh-session-persistence-jsonl'
  8. import { mkdir, mkdtemp, readFile, readdir, rm, stat, writeFile } from 'node:fs/promises'
  9. import { tmpdir } from 'node:os'
  10. import { dirname, join } from 'node:path'
  11. import { afterEach, beforeEach, describe, expect, it } from 'vitest'
  12. import { generationLogPath } from '../src/format.ts'
  13. const id = SessionId('v2-system-migration')
  14. const config = { provider: 'mock', model: 'mock' }
  15. let root: string
  16. const contexts: Context[] = []
  17. beforeEach(async () => {
  18. root = await mkdtemp(join(tmpdir(), 'dsh-v2-system-migration-'))
  19. })
  20. afterEach(async () => {
  21. try {
  22. for (const ctx of contexts.splice(0).reverse()) await ctx.fiber.dispose()
  23. } finally {
  24. await rm(root, { recursive: true, force: true })
  25. }
  26. })
  27. async function mount(): Promise<Context> {
  28. const ctx = new Context()
  29. contexts.push(ctx)
  30. await ctx.plugin(JsonlSessionPersistence, { root, compression: 'none' })
  31. return ctx
  32. }
  33. function request(system?: string) {
  34. return {
  35. type: 'request/header',
  36. data: { header: { config, ...(system === undefined ? {} : { system }) }, reason: 'change' },
  37. }
  38. }
  39. function user(text: string) {
  40. return {
  41. type: 'user/message', surfaceOp: 'append',
  42. data: { id: text, role: 'user', source: { kind: 'user' }, content: [{ type: 'text', text }] },
  43. }
  44. }
  45. async function writeV2(rows: readonly object[], seeded = false): Promise<string> {
  46. const path = generationLogPath(root, undefined, id, 2, 'none')
  47. await mkdir(dirname(path), { recursive: true })
  48. const header = {
  49. type: 'session', version: 2, id, createdAt: 1, isSeeded: seeded, delegationDepth: 0,
  50. ...(seeded ? { parentSession: 'parent' } : {}),
  51. }
  52. await writeFile(path, [header, ...rows.map((row, seq) => ({ ...row, seq, time: seq + 10 }))]
  53. .map(row => JSON.stringify(row)).join('\n') + '\n')
  54. return path
  55. }
  56. async function observeFile(path: string) {
  57. const identity = await stat(path, { bigint: true })
  58. return {
  59. bytes: await readFile(path), dev: identity.dev, ino: identity.ino,
  60. size: identity.size, mtimeNs: identity.mtimeNs, ctimeNs: identity.ctimeNs,
  61. }
  62. }
  63. async function restore(handle: SessionHandle): Promise<Session> {
  64. const read = await handle.read()
  65. return Session.fromRestore(id, read.events, handle.header, handle.inheritedEventCount, read.eventState)
  66. }
  67. function messages(session: Session) {
  68. return session.deriveMessages().map(({ role, content }) => ({ role, content }))
  69. }
  70. function prompt(text: string) {
  71. return { role: 'system', content: [{ type: 'text', text }] }
  72. }
  73. const human = { role: 'user', content: [{ type: 'text' as const, text: 'question' }] }
  74. function assertRequestHistory(events: readonly SessionEvent[], handle: SessionHandle) {
  75. const requests = events.filter(event => event.type === 'request/header')
  76. expect(requests).toHaveLength(3)
  77. const projected = requests.map((event) => {
  78. expect(event.data.header).toEqual({ config })
  79. const prefix = Session.fromRestore(id, events.slice(0, event.seq + 1), handle.header, SessionLogOffset(0), 'shared-frozen')
  80. return messages(prefix)
  81. })
  82. expect(projected).toEqual([[prompt('initial'), human], [prompt('changed'), human], [human]])
  83. }
  84. describe('V2 system prompts through current Session and JSONL persistence', () => {
  85. it.each([undefined, ''])('prepares prompts and clear (%j) read-only, then publishes V3 without replacing V2', async (clear) => {
  86. const sourcePath = await writeV2([
  87. { type: 'turn/start', data: { turn: 1 } },
  88. { type: 'step/start', data: { turn: 1, step: 1 } },
  89. user('question'), request('initial'), request('changed'), request(clear),
  90. { type: 'step/end', data: { turn: 1, step: 1 } },
  91. { type: 'turn/end', data: { turn: 1, reason: { kind: 'completed' } } },
  92. ])
  93. const original = await observeFile(sourcePath)
  94. const directory = dirname(sourcePath)
  95. const directoryBefore = await readdir(directory)
  96. const ctx = await mount()
  97. const reader = await ctx.sessionPersistence.open(id, 'read')
  98. let prepared: readonly SessionEvent[]
  99. try {
  100. expect(reader.header.version).toBe(3)
  101. prepared = (await reader.read()).events
  102. expect(prepared.map(event => event.seq)).toEqual([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11])
  103. expect(prepared.filter(event => event.type !== 'system/message').map(event => [event.type, event.time])).toEqual([
  104. ['turn/start', 10], ['step/start', 11], ['user/message', 12],
  105. ['request/header', 13], ['request/header', 14], ['request/header', 15],
  106. ['step/end', 16], ['turn/end', 17],
  107. ])
  108. expect(prepared.filter(event => event.type === 'system/message').map(event => ({
  109. seq: event.seq, content: event.data.message.content,
  110. surfaceOp: event.surfaceOp, sourceEventSeqs: event.sourceEventSeqs,
  111. }))).toEqual([
  112. { seq: 2, content: [], surfaceOp: 'append', sourceEventSeqs: undefined },
  113. { seq: 4, content: prompt('initial').content, surfaceOp: { op: 'replace', startSeq: 2, endSeq: 2 }, sourceEventSeqs: [2] },
  114. { seq: 6, content: prompt('changed').content, surfaceOp: { op: 'replace', startSeq: 4, endSeq: 4 }, sourceEventSeqs: [4] },
  115. { seq: 8, content: [], surfaceOp: { op: 'replace', startSeq: 6, endSeq: 6 }, sourceEventSeqs: [6] },
  116. ])
  117. assertRequestHistory(prepared, reader)
  118. const session = await restore(reader)
  119. expect(messages(session)).toEqual([human])
  120. expect(session.surface.nodes).toEqual([8, 3])
  121. expect(session.eventAt(SessionSeq(8))?.type).toBe('system/message')
  122. } finally {
  123. await reader.close()
  124. }
  125. expect(await observeFile(sourcePath)).toEqual(original)
  126. expect(await readdir(directory)).toEqual(directoryBefore)
  127. const independent = await mount()
  128. const independentReader = await independent.sessionPersistence.open(id, 'read')
  129. try {
  130. expect((await independentReader.read()).events).toEqual(prepared)
  131. await independent.sessionPersistence.flush()
  132. } finally {
  133. await independentReader.close()
  134. }
  135. expect(await observeFile(sourcePath)).toEqual(original)
  136. expect(await readdir(directory)).toEqual(directoryBefore)
  137. const writer = await ctx.sessionPersistence.open(id, 'write')
  138. try {
  139. expect((await writer.read()).events).toEqual(prepared)
  140. } finally {
  141. await writer.close()
  142. }
  143. expect(await observeFile(sourcePath)).toEqual(original)
  144. expect((await readdir(directory)).filter(name => name.endsWith('.jsonl')).sort())
  145. .toEqual(['session.v2.jsonl', 'session.v3.jsonl'])
  146. const publishedPath = generationLogPath(root, undefined, id, 3, 'none')
  147. const published = (await readFile(publishedPath, 'utf8')).trimEnd().split('\n').map(line => JSON.parse(line) as unknown)
  148. expect(published[0]).toMatchObject({ type: 'session', version: 3, id })
  149. expect(published.slice(1)).toEqual(prepared)
  150. const reopened = await mount()
  151. const reopenedReader = await reopened.sessionPersistence.open(id, 'read')
  152. try {
  153. expect((await reopenedReader.read()).events).toEqual(prepared)
  154. assertRequestHistory(prepared, reopenedReader)
  155. const session = await restore(reopenedReader)
  156. expect(messages(session)).toEqual([human])
  157. expect(session.surface.nodes).toEqual([8, 3])
  158. } finally {
  159. await reopenedReader.close()
  160. }
  161. expect(await observeFile(sourcePath)).toEqual(original)
  162. })
  163. it('remaps local references and keeps the inherited cut stable through publication and a current Session append', async () => {
  164. const sourcePath = await writeV2([
  165. { type: 'turn/start', data: { turn: 1 } },
  166. { type: 'step/start', data: { turn: 1, step: 1 } },
  167. user('a'), request('seed prompt'), user('b'),
  168. { type: 'compaction/prune', data: { shadowedRange: { start: 2, end: 4 }, shadowedSeqs: [2, 4], shadowedTokenCount: 20 } },
  169. { ...user('summary'), surfaceOp: { op: 'replace', start: 2, end: 4 }, sourceEventSeqs: [2, 4] },
  170. { type: 'command/run', data: { commandId: 'command', name: 'test', source: { kind: 'user' } } },
  171. { type: 'command/done', data: { commandId: 'command', kind: 'success', sourceEventSeq: 6 } },
  172. { type: 'session/title', data: { title: 'title', messageSeqs: [2, 4], source: { kind: 'fallback' } } },
  173. { type: 'step/end', data: { turn: 1, step: 1 } },
  174. { type: 'turn/end', data: { turn: 1, reason: { kind: 'completed' } } },
  175. { type: 'session/end-seed', data: { inherited: true } },
  176. ], true)
  177. const original = await observeFile(sourcePath)
  178. const ctx = await mount()
  179. const reader = await ctx.sessionPersistence.open(id, 'read')
  180. let prepared: readonly SessionEvent[]
  181. try {
  182. prepared = (await reader.read()).events
  183. expect(reader.inheritedEventCount).toBe(14)
  184. expect(prepared[7]).toMatchObject({ type: 'compaction/prune', data: { shadowedRange: { start: 3, end: 6 }, shadowedSeqs: [3, 6] } })
  185. expect(prepared[8]).toMatchObject({ type: 'user/message', surfaceOp: { op: 'replace', startSeq: 3, endSeq: 6 }, sourceEventSeqs: [3, 6] })
  186. expect(prepared[10]).toMatchObject({ type: 'command/done', data: { sourceEventSeq: 8 } })
  187. expect(prepared[11]).toMatchObject({ type: 'session/title', data: { messageSeqs: [3, 6] } })
  188. expect(prepared[14]).toMatchObject({ type: 'session/end-seed', seq: 14, data: { inherited: true } })
  189. const session = await restore(reader)
  190. expect(session.inheritedEventCount).toBe(14)
  191. expect(session.firstLiveSeq).toBe(15)
  192. expect(session.surface.nodes).toEqual([4, 8])
  193. expect(messages(session)).toEqual([prompt('seed prompt'), { role: 'user', content: [{ type: 'text', text: 'summary' }] }])
  194. expect(session.ownEvents()).toEqual([prepared[14]])
  195. } finally {
  196. await reader.close()
  197. }
  198. expect(await observeFile(sourcePath)).toEqual(original)
  199. expect(await readdir(dirname(sourcePath))).toEqual(['session.v2.jsonl'])
  200. const writer = await ctx.sessionPersistence.open(id, 'write')
  201. let expected: readonly SessionEvent[]
  202. try {
  203. expect((await writer.read()).events).toEqual(prepared)
  204. const session = await restore(writer)
  205. session.append('turn/start', { turn: 2 })
  206. session.append('step/start', { turn: 2, step: 1 })
  207. session.append('system/message', {
  208. turn: 2, step: 1,
  209. message: freezeMessage({ role: 'system', id: MessageId('resumed-system'), content: [{ type: 'text', text: 'resumed prompt' }], source: { kind: 'plugin', plugin: '@deepseek-ai/dsh-system-prompt' } }),
  210. }, { surfaceOp: { op: 'replace', startSeq: SessionSeq(4), endSeq: SessionSeq(4) }, sourceEventSeqs: [SessionSeq(4)] })
  211. session.append('step/end', { turn: 2, step: 1 })
  212. session.append('turn/end', { turn: 2, reason: { kind: 'completed' } })
  213. expected = session.snapshotEvents()
  214. await writer.append(session.snapshotEvents(session.firstLiveSeq))
  215. await writer.flush()
  216. } finally {
  217. await writer.close()
  218. }
  219. const reopened = await mount()
  220. const reopenedReader = await reopened.sessionPersistence.open(id, 'read')
  221. try {
  222. expect((await reopenedReader.read()).events).toEqual(expected)
  223. expect(reopenedReader.inheritedEventCount).toBe(14)
  224. const session = await restore(reopenedReader)
  225. expect(session.inheritedEventCount).toBe(14)
  226. expect(session.isOwnSeq(SessionSeq(13))).toBe(false)
  227. expect(session.isOwnSeq(SessionSeq(14))).toBe(true)
  228. expect(session.surface.nodes).toEqual([17, 8])
  229. expect(messages(session)).toEqual([prompt('resumed prompt'), { role: 'user', content: [{ type: 'text', text: 'summary' }] }])
  230. } finally {
  231. await reopenedReader.close()
  232. }
  233. expect(await observeFile(sourcePath)).toEqual(original)
  234. })
  235. it.each(['read', 'write'] as const)('refuses unsupported pre-step V2 during %s open without falling back to V1', async (access) => {
  236. const sourcePath = await writeV2([
  237. { type: 'turn/start', data: { turn: 1 } }, user('too early'),
  238. { type: 'step/start', data: { turn: 1, step: 1 } }, request('cannot reorder'),
  239. ])
  240. const lowerPath = generationLogPath(root, undefined, id, 1, 'none')
  241. await writeFile(lowerPath, JSON.stringify({ type: 'session', version: 1, id, createdAt: 1, delegationDepth: 0 }) + '\n')
  242. const original = await observeFile(sourcePath)
  243. const lower = await observeFile(lowerPath)
  244. const ctx = await mount()
  245. await expect(ctx.sessionPersistence.open(id, access)).rejects.toBeInstanceOf(SessionFormatUnsupportedError)
  246. await expect(ctx.sessionPersistence.open(id, access)).rejects.toThrow(/before first step/)
  247. expect(await observeFile(sourcePath)).toEqual(original)
  248. expect(await observeFile(lowerPath)).toEqual(lower)
  249. expect((await readdir(dirname(sourcePath))).filter(name => name !== 'session.lock').sort())
  250. .toEqual(['session.v1.jsonl', 'session.v2.jsonl'])
  251. })
  252. it('persists native V3 system appends after the protected head without converting them to user messages', async () => {
  253. const ctx = await mount()
  254. const session = Session.create(id)
  255. const writer = await ctx.sessionPersistence.create(session.header)
  256. try {
  257. session.append('turn/start', { turn: 1 })
  258. session.append('step/start', { turn: 1, step: 1 })
  259. session.append('system/message', {
  260. turn: 1, step: 1,
  261. message: freezeMessage({ role: 'system', id: MessageId('head'), content: [{ type: 'text', text: 'head prompt' }], source: { kind: 'plugin', plugin: '@deepseek-ai/dsh-system-prompt' } }),
  262. }, { surfaceOp: 'append' })
  263. session.append('user/message', freezeMessage({ role: 'user', id: MessageId('question'), content: human.content, source: { kind: 'user' } }), { surfaceOp: 'append' })
  264. session.append('system/message', {
  265. turn: 1, step: 1,
  266. message: freezeMessage({ role: 'system', id: MessageId('context'), content: [{ type: 'text', text: 'tail context' }], source: { kind: 'plugin', plugin: 'context-plugin' } }),
  267. }, { surfaceOp: 'append' })
  268. session.append('step/end', { turn: 1, step: 1 })
  269. session.append('turn/end', { turn: 1, reason: { kind: 'completed' } })
  270. await writer.append(session.snapshotEvents())
  271. await writer.flush()
  272. } finally {
  273. await writer.close()
  274. }
  275. const reopened = await mount()
  276. const reader = await reopened.sessionPersistence.open(id, 'read')
  277. try {
  278. expect((await reader.read()).events).toEqual(session.snapshotEvents())
  279. const restored = await restore(reader)
  280. expect(restored.surface.nodes).toEqual([2, 3, 4])
  281. expect(messages(restored)).toEqual([prompt('head prompt'), human, prompt('tail context')])
  282. expect(restored.deriveMessages().map(message => message.id)).toEqual(['head', 'question', 'context'])
  283. } finally {
  284. await reader.close()
  285. }
  286. })
  287. })