@tarquinen/opencode-dcp 3.2.4-beta0 → 3.2.6-beta0

package/lib/messages/reasoning-strip.ts

@@ -0,0 +1,40 @@
+import type { WithParts } from "../state"
+import { getLastUserMessage } from "./query"
+
+/**
+ * Mirrors opencode's differentModel handling by preserving part content while
+ * dropping provider metadata on assistant parts that came from a different
+ * model/provider than the current turn's user message.
+ */
+export function stripStaleMetadata(messages: WithParts[]): void {
+    const lastUserMessage = getLastUserMessage(messages)
+    if (lastUserMessage?.info.role !== "user") {
+        return
+    }
+
+    const modelID = lastUserMessage.info.model.modelID
+    const providerID = lastUserMessage.info.model.providerID
+
+    messages.forEach((message) => {
+        if (message.info.role !== "assistant") {
+            return
+        }
+
+        if (message.info.modelID === modelID && message.info.providerID === providerID) {
+            return
+        }
+
+        message.parts = message.parts.map((part) => {
+            if (part.type !== "text" && part.type !== "tool" && part.type !== "reasoning") {
+                return part
+            }
+
+            if (!("metadata" in part)) {
+                return part
+            }
+
+            const { metadata: _metadata, ...rest } = part
+            return rest
+        })
+    })
+}

package/lib/messages/sync.ts

@@ -0,0 +1,124 @@
+import type { SessionState, WithParts } from "../state"
+import type { Logger } from "../logger"
+
+function sortBlocksByCreation(
+    a: { createdAt: number; blockId: number },
+    b: { createdAt: number; blockId: number },
+): number {
+    const createdAtDiff = a.createdAt - b.createdAt
+    if (createdAtDiff !== 0) {
+        return createdAtDiff
+    }
+    return a.blockId - b.blockId
+}
+
+export const syncCompressionBlocks = (
+    state: SessionState,
+    logger: Logger,
+    messages: WithParts[],
+): void => {
+    const messagesState = state.prune.messages
+    if (!messagesState?.blocksById?.size) {
+        return
+    }
+
+    const messageIds = new Set(messages.map((msg) => msg.info.id))
+    const previousActiveBlockIds = new Set<number>(
+        Array.from(messagesState.blocksById.values())
+            .filter((block) => block.active)
+            .map((block) => block.blockId),
+    )
+
+    messagesState.activeBlockIds.clear()
+    messagesState.activeByAnchorMessageId.clear()
+
+    const now = Date.now()
+    const missingOriginBlockIds: number[] = []
+    const orderedBlocks = Array.from(messagesState.blocksById.values()).sort(sortBlocksByCreation)
+
+    for (const block of orderedBlocks) {
+        const hasOriginMessage =
+            typeof block.compressMessageId === "string" &&
+            block.compressMessageId.length > 0 &&
+            messageIds.has(block.compressMessageId)
+
+        if (!hasOriginMessage) {
+            block.active = false
+            block.deactivatedAt = now
+            block.deactivatedByBlockId = undefined
+            missingOriginBlockIds.push(block.blockId)
+            continue
+        }
+
+        if (block.deactivatedByUser) {
+            block.active = false
+            if (block.deactivatedAt === undefined) {
+                block.deactivatedAt = now
+            }
+            block.deactivatedByBlockId = undefined
+            continue
+        }
+
+        for (const consumedBlockId of block.consumedBlockIds) {
+            if (!messagesState.activeBlockIds.has(consumedBlockId)) {
+                continue
+            }
+
+            const consumedBlock = messagesState.blocksById.get(consumedBlockId)
+            if (consumedBlock) {
+                consumedBlock.active = false
+                consumedBlock.deactivatedAt = now
+                consumedBlock.deactivatedByBlockId = block.blockId
+
+                const mappedBlockId = messagesState.activeByAnchorMessageId.get(
+                    consumedBlock.anchorMessageId,
+                )
+                if (mappedBlockId === consumedBlock.blockId) {
+                    messagesState.activeByAnchorMessageId.delete(consumedBlock.anchorMessageId)
+                }
+            }
+
+            messagesState.activeBlockIds.delete(consumedBlockId)
+        }
+
+        block.active = true
+        block.deactivatedAt = undefined
+        block.deactivatedByBlockId = undefined
+        messagesState.activeBlockIds.add(block.blockId)
+        if (messageIds.has(block.anchorMessageId)) {
+            messagesState.activeByAnchorMessageId.set(block.anchorMessageId, block.blockId)
+        }
+    }
+
+    for (const entry of messagesState.byMessageId.values()) {
+        const allBlockIds = Array.isArray(entry.allBlockIds)
+            ? [...new Set(entry.allBlockIds.filter((id) => Number.isInteger(id) && id > 0))]
+            : []
+
+        entry.allBlockIds = allBlockIds
+        entry.activeBlockIds = allBlockIds.filter((id) => messagesState.activeBlockIds.has(id))
+    }
+
+    const nextActiveBlockIds = messagesState.activeBlockIds
+    let deactivatedCount = 0
+    let reactivatedCount = 0
+
+    for (const blockId of previousActiveBlockIds) {
+        if (!nextActiveBlockIds.has(blockId)) {
+            deactivatedCount++
+        }
+    }
+    for (const blockId of nextActiveBlockIds) {
+        if (!previousActiveBlockIds.has(blockId)) {
+            reactivatedCount++
+        }
+    }
+
+    if (missingOriginBlockIds.length > 0 || deactivatedCount > 0 || reactivatedCount > 0) {
+        logger.info("Synced compress block state", {
+            missingOriginCount: missingOriginBlockIds.length,
+            deactivatedCount,
+            reactivatedCount,
+        })
+    }
+}

package/lib/messages/utils.ts

@@ -0,0 +1,187 @@
+import { createHash } from "node:crypto"
+import type { SessionState, WithParts } from "../state"
+import { isMessageCompacted } from "../state/utils"
+import type { UserMessage } from "@opencode-ai/sdk/v2"
+
+const SUMMARY_ID_HASH_LENGTH = 16
+const DCP_BLOCK_ID_TAG_REGEX = /(<dcp-message-id(?=[\s>])[^>]*>)b\d+(<\/dcp-message-id>)/g
+const DCP_PAIRED_TAG_REGEX = /<dcp[^>]*>[\s\S]*?<\/dcp[^>]*>/gi
+const DCP_UNPAIRED_TAG_REGEX = /<\/?dcp[^>]*>/gi
+
+const generateStableId = (prefix: string, seed: string): string => {
+    const hash = createHash("sha256").update(seed).digest("hex").slice(0, SUMMARY_ID_HASH_LENGTH)
+    return `${prefix}_${hash}`
+}
+
+export const createSyntheticUserMessage = (
+    baseMessage: WithParts,
+    content: string,
+    variant?: string,
+    stableSeed?: string,
+): WithParts => {
+    const userInfo = baseMessage.info as UserMessage
+    const now = Date.now()
+    const deterministicSeed = stableSeed?.trim() || userInfo.id
+    const messageId = generateStableId("msg_dcp_summary", deterministicSeed)
+    const partId = generateStableId("prt_dcp_summary", deterministicSeed)
+
+    return {
+        info: {
+            id: messageId,
+            sessionID: userInfo.sessionID,
+            role: "user" as const,
+            agent: userInfo.agent,
+            model: userInfo.model,
+            time: { created: now },
+            ...(variant !== undefined && { variant }),
+        },
+        parts: [
+            {
+                id: partId,
+                sessionID: userInfo.sessionID,
+                messageID: messageId,
+                type: "text" as const,
+                text: content,
+            },
+        ],
+    }
+}
+
+export const createSyntheticTextPart = (
+    baseMessage: WithParts,
+    content: string,
+    stableSeed?: string,
+) => {
+    const userInfo = baseMessage.info as UserMessage
+    const deterministicSeed = stableSeed?.trim() || userInfo.id
+    const partId = generateStableId("prt_dcp_text", deterministicSeed)
+
+    return {
+        id: partId,
+        sessionID: userInfo.sessionID,
+        messageID: userInfo.id,
+        type: "text" as const,
+        text: content,
+    }
+}
+
+type MessagePart = WithParts["parts"][number]
+type ToolPart = Extract<MessagePart, { type: "tool" }>
+type TextPart = Extract<MessagePart, { type: "text" }>
+
+export const appendToLastTextPart = (message: WithParts, injection: string): boolean => {
+    const textPart = findLastTextPart(message)
+    if (!textPart) {
+        return false
+    }
+
+    return appendToTextPart(textPart, injection)
+}
+
+const findLastTextPart = (message: WithParts): TextPart | null => {
+    for (let i = message.parts.length - 1; i >= 0; i--) {
+        const part = message.parts[i]
+        if (part.type === "text") {
+            return part
+        }
+    }
+
+    return null
+}
+
+export const appendToTextPart = (part: TextPart, injection: string): boolean => {
+    if (typeof part.text !== "string") {
+        return false
+    }
+
+    const normalizedInjection = injection.replace(/^\n+/, "")
+    if (!normalizedInjection.trim()) {
+        return false
+    }
+    if (part.text.includes(normalizedInjection)) {
+        return true
+    }
+
+    const baseText = part.text.replace(/\n*$/, "")
+    part.text = baseText.length > 0 ? `${baseText}\n\n${normalizedInjection}` : normalizedInjection
+    return true
+}
+
+export const appendToAllToolParts = (message: WithParts, tag: string): boolean => {
+    let injected = false
+    for (const part of message.parts) {
+        if (part.type === "tool") {
+            injected = appendToToolPart(part, tag) || injected
+        }
+    }
+    return injected
+}
+
+export const appendToToolPart = (part: ToolPart, tag: string): boolean => {
+    if (part.state?.status !== "completed" || typeof part.state.output !== "string") {
+        return false
+    }
+    if (part.state.output.includes(tag)) {
+        return true
+    }
+
+    part.state.output = `${part.state.output}${tag}`
+    return true
+}
+
+export const hasContent = (message: WithParts): boolean => {
+    return message.parts.some(
+        (part) =>
+            (part.type === "text" &&
+                typeof part.text === "string" &&
+                part.text.trim().length > 0) ||
+            (part.type === "tool" &&
+                part.state?.status === "completed" &&
+                typeof part.state.output === "string"),
+    )
+}
+
+export function buildToolIdList(state: SessionState, messages: WithParts[]): string[] {
+    const toolIds: string[] = []
+    for (const msg of messages) {
+        if (isMessageCompacted(state, msg)) {
+            continue
+        }
+        const parts = Array.isArray(msg.parts) ? msg.parts : []
+        if (parts.length > 0) {
+            for (const part of parts) {
+                if (part.type === "tool" && part.callID && part.tool) {
+                    toolIds.push(part.callID)
+                }
+            }
+        }
+    }
+    state.toolIdList = toolIds
+    return toolIds
+}
+
+export const replaceBlockIdsWithBlocked = (text: string): string => {
+    return text.replace(DCP_BLOCK_ID_TAG_REGEX, "$1BLOCKED$2")
+}
+
+export const stripHallucinationsFromString = (text: string): string => {
+    return text.replace(DCP_PAIRED_TAG_REGEX, "").replace(DCP_UNPAIRED_TAG_REGEX, "")
+}
+
+export const stripHallucinations = (messages: WithParts[]): void => {
+    for (const message of messages) {
+        for (const part of message.parts) {
+            if (part.type === "text" && typeof part.text === "string") {
+                part.text = stripHallucinationsFromString(part.text)
+            }
+
+            if (
+                part.type === "tool" &&
+                part.state?.status === "completed" &&
+                typeof part.state.output === "string"
+            ) {
+                part.state.output = stripHallucinationsFromString(part.state.output)
+            }
+        }
+    }
+}

package/lib/prompts/compress-message.ts

@@ -0,0 +1,42 @@
+export const COMPRESS_MESSAGE = `Collapse selected individual messages in the conversation into detailed summaries.
+
+THE SUMMARY
+Your summary must be EXHAUSTIVE. Capture file paths, function signatures, decisions made, constraints discovered, key findings, tool outcomes, and user intent details that matter... EVERYTHING that preserves the value of the selected message after the raw message is removed.
+
+USER INTENT FIDELITY
+When a selected message contains user intent, preserve that intent with extra care. Do not change scope, constraints, priorities, acceptance criteria, or requested outcomes.
+Directly quote short user instructions when that best preserves exact meaning.
+
+Yet be LEAN. Strip away the noise: failed attempts that led nowhere, verbose tool output, and repetition. What remains should be pure signal - golden nuggets of detail that preserve full understanding with zero ambiguity.
+If a message contains no significant technical decisions, code changes, or user requirements, produce a minimal one-line summary rather than a detailed one.
+
+MESSAGE IDS
+You specify individual raw messages by ID using the injected IDs visible in the conversation:
+
+- \`mNNNN\` IDs identify raw messages
+
+Each message has an ID inside XML metadata tags like \`<dcp-message-id priority="high">m0007</dcp-message-id>\`.
+The same ID tag appears in every tool output of the message it belongs to — each unique ID identifies one complete message.
+Treat these tags as message metadata only, not as content to summarize. Use only the inner \`mNNNN\` value as the \`messageId\`.
+The \`priority\` attribute indicates relative context cost. You MUST compress high-priority messages when their full text is no longer necessary for the active task.
+If prior compress-tool results are present, always compress and summarize them minimally only as part of a broader compression pass. Do not invoke the compress tool solely to re-compress an earlier compression result.
+Messages marked as \`<dcp-message-id>BLOCKED</dcp-message-id>\` cannot be compressed.
+
+Rules:
+
+- Pick each \`messageId\` directly from injected IDs visible in context.
+- Only use raw message IDs of the form \`mNNNN\`.
+- Ignore XML attributes such as \`priority\` when copying the ID; use only the inner \`mNNNN\` value.
+- Do not invent IDs. Use only IDs that are present in context.
+
+BATCHING
+Select MANY messages in a single tool call when they are safe to compress.
+Each entry should summarize exactly one message, and the tool can receive as many entries as needed in one batch.
+
+GENERAL CLEANUP
+Use the topic "general cleanup" for broad cleanup passes.
+During general cleanup, compress all medium and high-priority messages that are not relevant to the active task.
+Optimize for reducing context footprint, not for grouping messages by topic.
+Do not compress away still-active instructions, unresolved questions, or constraints that are likely to matter soon.
+Prioritize the earliest messages in the context as they will be the least relevant to the active task.
+`

package/lib/prompts/compress-range.ts

@@ -0,0 +1,60 @@
+export const COMPRESS_RANGE = `Collapse a range in the conversation into a detailed summary.
+
+THE SUMMARY
+Your summary must be EXHAUSTIVE. Capture file paths, function signatures, decisions made, constraints discovered, key findings... EVERYTHING that maintains context integrity. This is not a brief note - it is an authoritative record so faithful that the original conversation adds no value.
+
+USER INTENT FIDELITY
+When the compressed range includes user messages, preserve the user's intent with extra care. Do not change scope, constraints, priorities, acceptance criteria, or requested outcomes.
+Directly quote user messages when they are short enough to include safely. Direct quotes are preferred when they best preserve exact meaning.
+
+Yet be LEAN. Strip away the noise: failed attempts that led nowhere, verbose tool outputs, back-and-forth exploration. What remains should be pure signal - golden nuggets of detail that preserve full understanding with zero ambiguity.
+
+COMPRESSED BLOCK PLACEHOLDERS
+When the selected range includes previously compressed blocks, use this exact placeholder format when referencing one:
+
+- \`(bN)\`
+
+Compressed block sections in context are clearly marked with a header:
+
+- \`[Compressed conversation section]\`
+
+Compressed block IDs always use the \`bN\` form (never \`mNNNN\`) and are represented in the same XML metadata tag format.
+
+Rules:
+
+- Include every required block placeholder exactly once.
+- Do not invent placeholders for blocks outside the selected range.
+- Treat \`(bN)\` placeholders as RESERVED TOKENS. Do not emit \`(bN)\` text anywhere except intentional placeholders.
+- If you need to mention a block in prose, use plain text like \`compressed bN\` (not as a placeholder).
+- Preflight check before finalizing: the set of \`(bN)\` placeholders in your summary must exactly match the required set, with no duplicates.
+
+These placeholders are semantic references. They will be replaced with the full stored compressed block content when the tool processes your output.
+
+FLOW PRESERVATION WITH PLACEHOLDERS
+When you use compressed block placeholders, write the surrounding summary text so it still reads correctly AFTER placeholder expansion.
+
+- Treat each placeholder as a stand-in for a full conversation segment, not as a short label.
+- Ensure transitions before and after each placeholder preserve chronology and causality.
+- Do not write text that depends on the placeholder staying literal (for example, "as noted in \`(b2)\`").
+- Your final meaning must be coherent once each placeholder is replaced with its full compressed block content.
+
+BOUNDARY IDS
+You specify boundaries by ID using the injected IDs visible in the conversation:
+
+- \`mNNNN\` IDs identify raw messages
+- \`bN\` IDs identify previously compressed blocks
+
+Each message has an ID inside XML metadata tags like \`<dcp-message-id>...</dcp-message-id>\`.
+The same ID tag appears in every tool output of the message it belongs to — each unique ID identifies one complete message.
+Treat these tags as boundary metadata only, not as tool result content.
+
+Rules:
+
+- Pick \`startId\` and \`endId\` directly from injected IDs in context.
+- IDs must exist in the current visible context.
+- \`startId\` must appear before \`endId\`.
+- Do not invent IDs. Use only IDs that are present in context.
+
+BATCHING
+When multiple independent ranges are ready and their boundaries do not overlap, include all of them as separate entries in the \`content\` array of a single tool call. Each entry should have its own \`startId\`, \`endId\`, and \`summary\`.
+`

package/lib/prompts/context-limit-nudge.ts

@@ -0,0 +1,18 @@
+export const CONTEXT_LIMIT_NUDGE = `<dcp-system-reminder>
+CRITICAL WARNING: MAX CONTEXT LIMIT REACHED
+
+You are at or beyond the configured max context threshold. This is an emergency context-recovery moment.
+
+You MUST use the \`compress\` tool now. Do not continue normal exploration until compression is handled.
+
+If you are in the middle of a critical atomic operation, finish that atomic step first, then compress immediately.
+
+SELECTION PROCESS
+Start from older, resolved history and capture as much stale context as safely possible in one pass.
+Avoid the newest active working messages unless it is clearly closed.
+
+SUMMARY REQUIREMENTS
+Your summary MUST cover all essential details from the selected messages so work can continue.
+If the compressed range includes user messages, preserve user intent exactly. Prefer direct quotes for short user messages to avoid semantic drift.
+</dcp-system-reminder>
+`

package/lib/prompts/extensions/nudge.ts

@@ -0,0 +1,43 @@
+import type { SessionState } from "../../state"
+
+export function buildCompressedBlockGuidance(state: SessionState): string {
+    const refs = Array.from(state.prune.messages.activeBlockIds)
+        .filter((id) => Number.isInteger(id) && id > 0)
+        .sort((a, b) => a - b)
+        .map((id) => `b${id}`)
+    const blockCount = refs.length
+    const blockList = blockCount > 0 ? refs.join(", ") : "none"
+
+    return [
+        "Compressed block context:",
+        `- Active compressed blocks in this session: ${blockCount} (${blockList})`,
+        "- If your selected compression range includes any listed block, include each required placeholder exactly once in the summary using `(bN)`.",
+    ].join("\n")
+}
+
+export function renderMessagePriorityGuidance(priorityLabel: string, refs: string[]): string {
+    const refList = refs.length > 0 ? refs.join(", ") : "none"
+
+    return [
+        "Message priority context:",
+        "- Higher-priority older messages consume more context and should be compressed right away if it is safe to do so.",
+        `- ${priorityLabel}-priority message IDs before this point: ${refList}`,
+    ].join("\n")
+}
+
+export function appendGuidanceToDcpTag(nudgeText: string, guidance: string): string {
+    if (!guidance.trim()) {
+        return nudgeText
+    }
+
+    const closeTag = "</dcp-system-reminder>"
+    const closeTagIndex = nudgeText.lastIndexOf(closeTag)
+
+    if (closeTagIndex === -1) {
+        return nudgeText
+    }
+
+    const beforeClose = nudgeText.slice(0, closeTagIndex).trimEnd()
+    const afterClose = nudgeText.slice(closeTagIndex)
+    return `${beforeClose}\n\n${guidance}\n${afterClose}`
+}

package/lib/prompts/extensions/system.ts

@@ -0,0 +1,32 @@
+export const MANUAL_MODE_SYSTEM_EXTENSION = `<dcp-system-reminder>
+Manual mode is enabled. Do NOT use compress unless the user has explicitly triggered it through a manual marker.
+
+Only use the compress tool after seeing \`<compress triggered manually>\` in the current user instruction context.
+
+Issue exactly ONE compress tool per manual trigger. Do NOT launch multiple compress tools in parallel. Each trigger grants a single compression; after it completes, wait for the next trigger.
+
+After completing a manually triggered context-management action, STOP IMMEDIATELY. Do NOT continue with any task execution. End your response right after the tool use completes and wait for the next user input.
+</dcp-system-reminder>
+`
+
+export const SUBAGENT_SYSTEM_EXTENSION = `<dcp-system-reminder>
+You are operating in a subagent environment.
+
+The initial subagent instruction is imperative and must be followed exactly.
+It is the only user message intentionally not assigned a message ID, and therefore is not eligible for compression.
+All subsequent messages in the session will have IDs.
+</dcp-system-reminder>
+`
+
+export function buildProtectedToolsExtension(protectedTools: string[]): string {
+    if (protectedTools.length === 0) {
+        return ""
+    }
+
+    const toolList = protectedTools.map((t) => `\`${t}\``).join(", ")
+    return `<dcp-system-reminder>
+The following tools are environment-managed: ${toolList}.
+Their outputs are automatically preserved during compression.
+Do not include their content in compress tool summaries — the environment retains it independently.
+</dcp-system-reminder>`
+}

package/lib/prompts/extensions/tool.ts

@@ -0,0 +1,35 @@
+// These format schemas are kept separate from the editable compress prompts
+// so they cannot be modified via custom prompt overrides. The schemas must
+// match the tool's input validation and are not safe to change independently.
+
+export const RANGE_FORMAT_EXTENSION = `
+THE FORMAT OF COMPRESS
+
+\`\`\`
+{
+  topic: string,           // Short label (3-5 words) - e.g., "Auth System Exploration"
+  content: [               // One or more ranges to compress
+    {
+      startId: string,     // Boundary ID at range start: mNNNN or bN
+      endId: string,       // Boundary ID at range end: mNNNN or bN
+      summary: string      // Complete technical summary replacing all content in range
+    }
+  ]
+}
+\`\`\``
+
+export const MESSAGE_FORMAT_EXTENSION = `
+THE FORMAT OF COMPRESS
+
+\`\`\`
+{
+  topic: string,           // Short label (3-5 words) for the overall batch
+  content: [               // One or more messages to compress independently
+    {
+      messageId: string,   // Raw message ID only: mNNNN (ignore metadata attributes like priority)
+      topic: string,       // Short label (3-5 words) for this one message summary
+      summary: string      // Complete technical summary replacing that one message
+    }
+  ]
+}
+\`\`\``

package/lib/prompts/index.ts

@@ -0,0 +1,29 @@
+import type { RuntimePrompts } from "./store"
+export type { PromptStore, RuntimePrompts } from "./store"
+
+export function renderSystemPrompt(
+    prompts: RuntimePrompts,
+    protectedToolsExtension?: string,
+    manual?: boolean,
+    subagent?: boolean,
+): string {
+    const extensions: string[] = []
+
+    if (protectedToolsExtension) {
+        extensions.push(protectedToolsExtension.trim())
+    }
+
+    if (manual) {
+        extensions.push(prompts.manualExtension.trim())
+    }
+
+    if (subagent) {
+        extensions.push(prompts.subagentExtension.trim())
+    }
+
+    return [prompts.system.trim(), ...extensions]
+        .filter(Boolean)
+        .join("\n\n")
+        .replace(/\n([ \t]*\n)+/g, "\n\n")
+        .trim()
+}

package/lib/prompts/iteration-nudge.ts

@@ -0,0 +1,6 @@
+export const ITERATION_NUDGE = `<dcp-system-reminder>
+You've been iterating for a while after the last user message.
+
+If there is a closed portion that is unlikely to be referenced immediately (for example, finished research before implementation), use the compress tool on it now.
+</dcp-system-reminder>
+`