]> git.giacomolli.uk - onechat/blobdiff - compactor.go
Resume queued appends at their saved log ID
[onechat] / compactor.go
index 5e73cfac30197ebf28ccb16dd2e30b140b8e3f24..8a16c6e8da18d3ff39ea07eed762e7bc57ee7f4d 100644 (file)
@@ -4,6 +4,7 @@ import (
        "context"
        "errors"
        "fmt"
+       "slices"
        "strings"
        "unicode/utf8"
 )
@@ -17,28 +18,31 @@ var compactorRuler = strings.Repeat("-", nodeBytes)
 
 // newCompactor returns the compactor of an agent, which sends its calls through
 // client with model. instructions gives the system prompt of the agent at each
-// build, so a build sends the same prompt as the turns of that time.
-func newCompactor(client *ModelClient, instructions func() (string, error), model ModelConfig) *Compactor {
+// build. tools are the tools of that agent, so a build sends the same prompt
+// and tools as its turns.
+func newCompactor(client *ModelClient, instructions func() (string, error), model ModelConfig, tools []ModelTool) *Compactor {
        return &Compactor{
                client:       client,
                model:        model,
                instructions: instructions,
-               tools:        promptTools(),
+               tools:        tools,
        }
 }
 
 // Compactor builds the nodes of one agent with a model. A compaction is a call
 // like a turn, with the same system prompt and tools, so it reads them from the
 // prompt cache of the turns. The tools are never called. After them comes one
-// user message with the compaction view up to the node and the task.
+// user message with the compaction view up to the node, its closing tag, a
+// newline, and the task.
 //
-// When the line is over nodeBytes, the next try sends the same view and task,
-// plus a note with the size of the newest line and its cut at the limit. A try
-// never sends the model's earlier reply or reasoning back, so every try has the
-// same cached prefix and about the same size. After at most compactorTries
-// tries, the shortest line is the node. A few bytes over the limit is fine,
-// because the view measures the real sizes. A call that fails before any line
-// fails the build, and the core tries it again at the next message.
+// When the line is over nodeBytes, the next try sends the same message, plus
+// one more user message with a note with the size of the newest line and its
+// cut at the limit. A try never sends the model's earlier reply or reasoning
+// back, so every try begins with the same view and task and has about the same
+// size. After at most compactorTries tries, the shortest line is the node. A
+// few bytes over the limit is fine, because the view measures the real sizes. A
+// call that fails before any line fails the build, and the core tries it again
+// at the next message.
 type Compactor struct {
        client       *ModelClient
        model        ModelConfig
@@ -48,7 +52,6 @@ type Compactor struct {
 
 // Summarize returns the line of the node of task.
 func (c *Compactor) Summarize(ctx context.Context, task Task) (string, error) {
-       view := task.Context + "\n"
        text, err := compactorTask(task)
        if err != nil {
                return "", err
@@ -56,24 +59,28 @@ func (c *Compactor) Summarize(ctx context.Context, task Task) (string, error) {
 
        instructions, err := c.instructions()
        if err != nil {
-               return "", fmt.Errorf("compact node (%d, %d): %w", task.Level, task.Index, err)
+               return "", err
        }
 
+       first := []any{modelUserMessage(task.Context + "\n" + text)}
+
        var lines []string
+
        note := ""
        for len(lines) < compactorTries {
-               parts := []string{view, text}
+               input := first
                if note != "" {
-                       parts = append(parts, note)
+                       input = append(slices.Clip(first), modelUserMessage(note))
                }
 
                var response ModelResponse
+
                response, err = c.client.Create(ctx, ModelRequest{
                        Model:        c.model.Model,
                        Effort:       c.model.Effort,
                        Instructions: instructions,
                        Tools:        c.tools,
-                       Input:        []any{modelUserMessage(parts...)},
+                       Input:        input,
                        Node:         &NodeKey{task.Level, task.Index},
                })
                if err != nil {
@@ -95,7 +102,7 @@ func (c *Compactor) Summarize(ctx context.Context, task Task) (string, error) {
        }
 
        if len(lines) == 0 {
-               return "", fmt.Errorf("compact node (%d, %d): %w", task.Level, task.Index, err)
+               return "", err
        }
 
        return compactorShortest(lines), nil