461 lines
17 KiB
TypeScript
461 lines
17 KiB
TypeScript
import { castDraft, produce, type WritableDraft } from "immer"
|
|
import { Effect } from "effect"
|
|
import { SessionEvent } from "./event"
|
|
import { SessionMessage } from "./message"
|
|
|
|
export type MemoryState = {
|
|
messages: SessionMessage.Message[]
|
|
}
|
|
|
|
export interface Adapter {
|
|
readonly getCurrentAssistant: () => Effect.Effect<SessionMessage.Assistant | undefined>
|
|
readonly getAssistant: (messageID: SessionMessage.ID) => Effect.Effect<SessionMessage.Assistant | undefined>
|
|
readonly getCurrentCompaction: () => Effect.Effect<SessionMessage.Compaction | undefined>
|
|
readonly getCurrentShell: (callID: string) => Effect.Effect<SessionMessage.Shell | undefined>
|
|
readonly updateAssistant: (assistant: SessionMessage.Assistant) => Effect.Effect<void>
|
|
readonly updateCompaction: (compaction: SessionMessage.Compaction) => Effect.Effect<void>
|
|
readonly updateShell: (shell: SessionMessage.Shell) => Effect.Effect<void>
|
|
readonly appendMessage: (message: SessionMessage.Message) => Effect.Effect<void>
|
|
}
|
|
|
|
export function memory(state: MemoryState): Adapter {
|
|
const assistantIndex = (messageID: SessionMessage.ID) =>
|
|
state.messages.findLastIndex((message) => message.id === messageID)
|
|
// A newer turn supersedes stale incomplete rows; never resume an older assistant projection.
|
|
const latestAssistantIndex = () => state.messages.findLastIndex((message) => message.type === "assistant")
|
|
const activeCompactionIndex = () => state.messages.findLastIndex((message) => message.type === "compaction")
|
|
const activeShellIndex = (callID: string) =>
|
|
state.messages.findLastIndex((message) => message.type === "shell" && message.callID === callID)
|
|
|
|
return {
|
|
getCurrentAssistant() {
|
|
return Effect.sync(() => {
|
|
const index = latestAssistantIndex()
|
|
if (index < 0) return
|
|
const assistant = state.messages[index]
|
|
return assistant?.type === "assistant" && !assistant.time.completed ? assistant : undefined
|
|
})
|
|
},
|
|
getAssistant(messageID) {
|
|
return Effect.sync(() => {
|
|
const index = assistantIndex(messageID)
|
|
if (index < 0) return
|
|
const assistant = state.messages[index]
|
|
return assistant?.type === "assistant" ? assistant : undefined
|
|
})
|
|
},
|
|
getCurrentCompaction() {
|
|
return Effect.sync(() => {
|
|
const index = activeCompactionIndex()
|
|
if (index < 0) return
|
|
const compaction = state.messages[index]
|
|
return compaction?.type === "compaction" ? compaction : undefined
|
|
})
|
|
},
|
|
getCurrentShell(callID) {
|
|
return Effect.sync(() => {
|
|
const index = activeShellIndex(callID)
|
|
if (index < 0) return
|
|
const shell = state.messages[index]
|
|
return shell?.type === "shell" ? shell : undefined
|
|
})
|
|
},
|
|
updateAssistant(assistant) {
|
|
return Effect.sync(() => {
|
|
const index = assistantIndex(assistant.id)
|
|
if (index < 0) return
|
|
const current = state.messages[index]
|
|
if (current?.type !== "assistant") return
|
|
state.messages[index] = assistant
|
|
})
|
|
},
|
|
updateCompaction(compaction) {
|
|
return Effect.sync(() => {
|
|
const index = activeCompactionIndex()
|
|
if (index < 0) return
|
|
const current = state.messages[index]
|
|
if (current?.type !== "compaction") return
|
|
state.messages[index] = compaction
|
|
})
|
|
},
|
|
updateShell(shell) {
|
|
return Effect.sync(() => {
|
|
const index = activeShellIndex(shell.callID)
|
|
if (index < 0) return
|
|
const current = state.messages[index]
|
|
if (current?.type !== "shell") return
|
|
state.messages[index] = shell
|
|
})
|
|
},
|
|
appendMessage(message) {
|
|
return Effect.sync(() => {
|
|
state.messages.push(message)
|
|
})
|
|
},
|
|
}
|
|
}
|
|
|
|
export function update(adapter: Adapter, event: SessionEvent.Event) {
|
|
type DraftAssistant = WritableDraft<SessionMessage.Assistant>
|
|
type DraftTool = WritableDraft<SessionMessage.AssistantTool>
|
|
type DraftText = WritableDraft<SessionMessage.AssistantText>
|
|
type DraftReasoning = WritableDraft<SessionMessage.AssistantReasoning>
|
|
|
|
const latestTool = (assistant: DraftAssistant | undefined, callID?: string) =>
|
|
assistant?.content.findLast(
|
|
(item): item is DraftTool => item.type === "tool" && (callID === undefined || item.id === callID),
|
|
)
|
|
|
|
const latestText = (assistant: DraftAssistant | undefined, textID: string) =>
|
|
assistant?.content.findLast((item): item is DraftText => item.type === "text" && item.id === textID)
|
|
|
|
const latestReasoning = (assistant: DraftAssistant | undefined, reasoningID: string) =>
|
|
assistant?.content.findLast((item): item is DraftReasoning => item.type === "reasoning" && item.id === reasoningID)
|
|
|
|
const updateOwnedAssistant = (messageID: SessionMessage.ID, recipe: (draft: DraftAssistant) => void) =>
|
|
Effect.gen(function* () {
|
|
const assistant = yield* adapter.getAssistant(messageID)
|
|
if (assistant) yield* adapter.updateAssistant(produce(assistant, recipe))
|
|
})
|
|
|
|
return Effect.gen(function* () {
|
|
yield* SessionEvent.All.match(event, {
|
|
"session.next.agent.switched": (event) => {
|
|
return adapter.appendMessage(
|
|
new SessionMessage.AgentSwitched({
|
|
id: event.id,
|
|
type: "agent-switched",
|
|
metadata: event.metadata,
|
|
agent: event.data.agent,
|
|
time: { created: event.data.timestamp },
|
|
}),
|
|
)
|
|
},
|
|
"session.next.model.switched": (event) => {
|
|
return adapter.appendMessage(
|
|
new SessionMessage.ModelSwitched({
|
|
id: event.id,
|
|
type: "model-switched",
|
|
metadata: event.metadata,
|
|
model: event.data.model,
|
|
time: { created: event.data.timestamp },
|
|
}),
|
|
)
|
|
},
|
|
"session.next.moved": () => Effect.void,
|
|
"session.next.prompted": (event) => {
|
|
return adapter.appendMessage(
|
|
new SessionMessage.User({
|
|
id: event.id,
|
|
type: "user",
|
|
metadata: event.metadata,
|
|
text: event.data.prompt.text,
|
|
files: event.data.prompt.files,
|
|
agents: event.data.prompt.agents,
|
|
references: event.data.prompt.references,
|
|
time: { created: event.data.timestamp },
|
|
}),
|
|
)
|
|
},
|
|
"session.next.synthetic": (event) => {
|
|
return adapter.appendMessage(
|
|
new SessionMessage.Synthetic({
|
|
sessionID: event.data.sessionID,
|
|
text: event.data.text,
|
|
id: event.id,
|
|
type: "synthetic",
|
|
time: { created: event.data.timestamp },
|
|
}),
|
|
)
|
|
},
|
|
"session.next.shell.started": (event) => {
|
|
return adapter.appendMessage(
|
|
new SessionMessage.Shell({
|
|
id: event.id,
|
|
type: "shell",
|
|
metadata: event.metadata,
|
|
callID: event.data.callID,
|
|
command: event.data.command,
|
|
output: "",
|
|
time: { created: event.data.timestamp },
|
|
}),
|
|
)
|
|
},
|
|
"session.next.shell.ended": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentShell = yield* adapter.getCurrentShell(event.data.callID)
|
|
if (currentShell) {
|
|
yield* adapter.updateShell(
|
|
produce(currentShell, (draft) => {
|
|
draft.output = event.data.output
|
|
draft.time.completed = event.data.timestamp
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.step.started": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentAssistant = yield* adapter.getCurrentAssistant()
|
|
if (currentAssistant) {
|
|
yield* adapter.updateAssistant(
|
|
produce(currentAssistant, (draft) => {
|
|
draft.time.completed = event.data.timestamp
|
|
}),
|
|
)
|
|
}
|
|
yield* adapter.appendMessage(
|
|
new SessionMessage.Assistant({
|
|
id: event.id,
|
|
type: "assistant",
|
|
agent: event.data.agent,
|
|
model: event.data.model,
|
|
time: { created: event.data.timestamp },
|
|
content: [],
|
|
snapshot: event.data.snapshot ? { start: event.data.snapshot } : undefined,
|
|
}),
|
|
)
|
|
})
|
|
},
|
|
"session.next.step.ended": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
draft.time.completed = event.data.timestamp
|
|
draft.finish = event.data.finish
|
|
draft.cost = event.data.cost
|
|
draft.tokens = event.data.tokens
|
|
if (event.data.snapshot) draft.snapshot = { ...draft.snapshot, end: event.data.snapshot }
|
|
})
|
|
},
|
|
"session.next.step.failed": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
draft.time.completed = event.data.timestamp
|
|
draft.finish = "error"
|
|
draft.error = event.data.error
|
|
})
|
|
},
|
|
"session.next.text.started": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentAssistant = yield* adapter.getCurrentAssistant()
|
|
if (currentAssistant) {
|
|
yield* adapter.updateAssistant(
|
|
produce(currentAssistant, (draft) => {
|
|
draft.content.push(
|
|
castDraft(new SessionMessage.AssistantText({ type: "text", id: event.data.textID, text: "" })),
|
|
)
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.text.delta": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentAssistant = yield* adapter.getCurrentAssistant()
|
|
if (currentAssistant) {
|
|
yield* adapter.updateAssistant(
|
|
produce(currentAssistant, (draft) => {
|
|
const match = latestText(draft, event.data.textID)
|
|
if (match) match.text += event.data.delta
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.text.ended": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentAssistant = yield* adapter.getCurrentAssistant()
|
|
if (currentAssistant) {
|
|
yield* adapter.updateAssistant(
|
|
produce(currentAssistant, (draft) => {
|
|
const match = latestText(draft, event.data.textID)
|
|
if (match) match.text = event.data.text
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.tool.input.started": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
draft.content.push(
|
|
castDraft(
|
|
new SessionMessage.AssistantTool({
|
|
type: "tool",
|
|
id: event.data.callID,
|
|
name: event.data.name,
|
|
time: { created: event.data.timestamp },
|
|
state: new SessionMessage.ToolStatePending({ status: "pending", input: "" }),
|
|
}),
|
|
),
|
|
)
|
|
})
|
|
},
|
|
"session.next.tool.input.delta": () => Effect.void,
|
|
"session.next.tool.input.ended": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
const match = latestTool(draft, event.data.callID)
|
|
if (match && match.state.status === "pending") match.state.input = event.data.text
|
|
})
|
|
},
|
|
"session.next.tool.called": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
const match = latestTool(draft, event.data.callID)
|
|
if (match) {
|
|
match.provider = event.data.provider
|
|
match.time.ran = event.data.timestamp
|
|
match.state = castDraft(
|
|
new SessionMessage.ToolStateRunning({
|
|
status: "running",
|
|
input: event.data.input,
|
|
structured: {},
|
|
content: [],
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.tool.progress": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
const match = latestTool(draft, event.data.callID)
|
|
if (match && match.state.status === "running") {
|
|
match.state.structured = event.data.structured
|
|
match.state.content = [...event.data.content]
|
|
}
|
|
})
|
|
},
|
|
"session.next.tool.success": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
const match = latestTool(draft, event.data.callID)
|
|
if (match && match.state.status === "running") {
|
|
match.provider = {
|
|
executed: event.data.provider.executed || match.provider?.executed === true,
|
|
metadata: match.provider?.metadata,
|
|
resultMetadata: event.data.provider.metadata,
|
|
}
|
|
match.time.completed = event.data.timestamp
|
|
match.state = castDraft(
|
|
new SessionMessage.ToolStateCompleted({
|
|
status: "completed",
|
|
input: match.state.input,
|
|
structured: event.data.structured,
|
|
content: [...event.data.content],
|
|
result: event.data.result,
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.tool.failed": (event) => {
|
|
return updateOwnedAssistant(event.data.assistantMessageID, (draft) => {
|
|
const match = latestTool(draft, event.data.callID)
|
|
if (match && (match.state.status === "pending" || match.state.status === "running")) {
|
|
match.provider = {
|
|
executed: event.data.provider.executed || match.provider?.executed === true,
|
|
metadata: match.provider?.metadata,
|
|
resultMetadata: event.data.provider.metadata,
|
|
}
|
|
match.time.completed = event.data.timestamp
|
|
match.state = castDraft(
|
|
new SessionMessage.ToolStateError({
|
|
status: "error",
|
|
error: event.data.error,
|
|
input: typeof match.state.input === "string" ? {} : match.state.input,
|
|
structured: match.state.status === "running" ? match.state.structured : {},
|
|
content: match.state.status === "running" ? match.state.content : [],
|
|
result: event.data.result,
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.reasoning.started": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentAssistant = yield* adapter.getCurrentAssistant()
|
|
if (currentAssistant) {
|
|
yield* adapter.updateAssistant(
|
|
produce(currentAssistant, (draft) => {
|
|
draft.content.push(
|
|
castDraft(
|
|
new SessionMessage.AssistantReasoning({
|
|
type: "reasoning",
|
|
id: event.data.reasoningID,
|
|
text: "",
|
|
providerMetadata: event.data.providerMetadata,
|
|
}),
|
|
),
|
|
)
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.reasoning.delta": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentAssistant = yield* adapter.getCurrentAssistant()
|
|
if (currentAssistant) {
|
|
yield* adapter.updateAssistant(
|
|
produce(currentAssistant, (draft) => {
|
|
const match = latestReasoning(draft, event.data.reasoningID)
|
|
if (match) match.text += event.data.delta
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.reasoning.ended": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentAssistant = yield* adapter.getCurrentAssistant()
|
|
if (currentAssistant) {
|
|
yield* adapter.updateAssistant(
|
|
produce(currentAssistant, (draft) => {
|
|
const match = latestReasoning(draft, event.data.reasoningID)
|
|
if (match) {
|
|
match.text = event.data.text
|
|
if (event.data.providerMetadata !== undefined) match.providerMetadata = event.data.providerMetadata
|
|
}
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.retried": () => Effect.void,
|
|
"session.next.compaction.started": (event) => {
|
|
return adapter.appendMessage(
|
|
new SessionMessage.Compaction({
|
|
id: event.id,
|
|
type: "compaction",
|
|
metadata: event.metadata,
|
|
reason: event.data.reason,
|
|
summary: "",
|
|
time: { created: event.data.timestamp },
|
|
}),
|
|
)
|
|
},
|
|
"session.next.compaction.delta": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentCompaction = yield* adapter.getCurrentCompaction()
|
|
if (currentCompaction) {
|
|
yield* adapter.updateCompaction(
|
|
produce(currentCompaction, (draft) => {
|
|
draft.summary += event.data.text
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
"session.next.compaction.ended": (event) => {
|
|
return Effect.gen(function* () {
|
|
const currentCompaction = yield* adapter.getCurrentCompaction()
|
|
if (currentCompaction) {
|
|
yield* adapter.updateCompaction(
|
|
produce(currentCompaction, (draft) => {
|
|
draft.summary = event.data.text
|
|
draft.include = event.data.include
|
|
}),
|
|
)
|
|
}
|
|
})
|
|
},
|
|
})
|
|
})
|
|
}
|
|
|
|
export * as SessionMessageUpdater from "./message-updater"
|