Wait until the view has no pending summary

[onechat] / turn.go

diff --git a/turn.go b/turn.go
index 75cbfb6478a4934e6e5172009fcbad718f22ef5b..051c74df822c2c95b4299e40327f5cf0cad304ee 100644 (file)
--- a/turn.go
+++ b/turn.go
@@ -2,84 +2,21 @@ package main
 
 import (
        "context"
 
 import (
        "context"

-       "encoding/json"

        "errors"
        "errors"

-       "fmt"

        "path/filepath"
        "path/filepath"

-       "strings"

        "sync"
        "time"
 )
 
        "sync"
        "time"
 )
 

-// modelClient sends model calls.
-type modelClient interface {
-       Create(ctx context.Context, request Request) (Response, error)
-}
-
-// Event tells the clients what the agent does as it happens. Kind is the kind
-// of a logged message (user, reply, tool, echo), or one of busy, idle, and
-// error. ID is the ID of a logged message.
-type Event struct {
-       Kind string `json:"kind"`
-       ID   int    `json:"id,omitempty"`
-       Text string `json:"text,omitempty"`
-}
-
-// loop runs the turns of one agent. A user message goes to the log when it
-// comes, and it wakes the loop. A turn waits until every message before it is
-// summarized. Then its first request holds the prompt, the tools, and the
-// input of turnInput. The loop runs the tool calls of each response and sends
-// their results back, until a response has no tool call: the final answer.
-//
-// The view goes out as the messages of a viewLayout, so the first request of
-// a turn reads the view of the turn before from the prompt cache.
-//
-// Each later request of a turn begins with the whole input of the request
-// before it, then its output items, then the tool results. The output items
-// hold the reasoning with its encrypted content, because the calls do not
-// store it. So each request begins with all of the previous one and reads it
-// from the prompt cache. User messages that come during a turn join the next
-// request after the tool results. The replies, the tool calls, and the results
-// go to the log as they happen. The thoughts never do.
-type loop struct {
-       agent  *Agent
-       memory *Memory
-       client modelClient
-       tools  *toolbox
-       layout *viewLayout
-       clock  func() time.Time
-       notify func(Event)
-       wake   chan struct{}
-
-       mutex   sync.Mutex
-       pending []Message
-       cancel  context.CancelFunc
-}
-
-// functionCall holds the fields of a function call output item.
-type functionCall struct {
-       Type      string `json:"type"`
-       Name      string `json:"name"`
-       Arguments string `json:"arguments"`
-       CallID    string `json:"call_id"`
-}
-
-// functionCallOutput is the input item with the result of a function call.
-type functionCallOutput struct {
-       Type   string `json:"type"`
-       CallID string `json:"call_id"`
-       Output string `json:"output"`
-}
-
-// newLoop returns the loop of agent with its memory. Its calls go through
+// newTurnLoop returns the loop of agent with its memory. Its calls go through

 // client, and notify gets each event. The clock gives the date of a turn.
 // client, and notify gets each event. The clock gives the date of a turn.

-func newLoop(agent *Agent, memory *Memory, client modelClient, clock func() time.Time, notify func(Event)) (*loop, error) {
-       layout, err := loadLayout(filepath.Join(agent.dir, layoutFileName))
+func newTurnLoop(agent *Agent, memory *Memory, client ChainClient, clock func() time.Time, notify func(Event)) (*TurnLoop, error) {
+       layout, err := loadViewLayout(filepath.Join(agent.dir, viewLayoutFileName))

        if err != nil {
                return nil, err
        }
 
        if err != nil {
                return nil, err
        }
 

-       l := &loop{
+       l := &TurnLoop{

                agent:  agent,
                memory: memory,
                client: client,
                agent:  agent,
                memory: memory,
                client: client,


@@ -89,7 +26,7 @@ func newLoop(agent *Agent, memory *Memory, client modelClient, clock func() time
                wake:   make(chan struct{}, 1),
        }
 
                wake:   make(chan struct{}, 1),
        }
 

-       l.tools = &toolbox{
+       l.tools = &Toolbox{

                log:     l,
                chat:    memory,
                workdir: agent.config.Workdir,
                log:     l,
                chat:    memory,
                workdir: agent.config.Workdir,


@@ -98,10 +35,47 @@ func newLoop(agent *Agent, memory *Memory, client modelClient, clock func() time
        return l, nil
 }
 
        return l, nil
 }
 

-// Submit logs a user message and wakes the loop. The message joins the next
-// request: the first one of a new turn, or the next one of a running turn.
-func (l *loop) Submit(text string) (Message, error) {
-       message, err := l.Append("user", text)
+// Event tells the clients what the agent does as it happens. Kind is the kind
+// of a logged message (user, reply, tool, echo), or one of ready, busy, idle,
+// and error. ID is the ID of a logged message. Source names the client that
+// sent a user message, such as terminal or telegram, so that each client can
+// show the messages of the others.
+type Event struct {
+       Kind   string `json:"kind"`
+       ID     int    `json:"id,omitempty"`
+       Text   string `json:"text,omitempty"`
+       Source string `json:"source,omitempty"`
+}
+
+// TurnLoop runs the turns of one agent. A user message goes to the log when it
+// comes, and it wakes the loop. A turn waits until every message before it is
+// summarized. Then the turn runs a Chain whose first request holds the prompt,
+// the tools, and the input of turnInput.
+//
+// The view goes out as the messages of a ViewLayout, so the first request of a
+// turn reads the view of the turn before from the prompt cache. User messages
+// that come during a turn join the next request of its chain after the tool
+// results.
+type TurnLoop struct {
+       agent  *Agent
+       memory *Memory
+       client ChainClient
+       tools  *Toolbox
+       layout *ViewLayout
+       clock  func() time.Time
+       notify func(Event)
+       wake   chan struct{}
+
+       mutex   sync.Mutex
+       pending []Message
+       cancel  context.CancelFunc
+}
+
+// Submit logs a user message from the client source and wakes the loop. The
+// message joins the next request: the first one of a new turn, or the next one
+// of a running turn.
+func (l *TurnLoop) Submit(source, text string) (Message, error) {
+       message, err := l.record("user", source, text)

        if err != nil {
                return Message{}, err
        }
        if err != nil {
                return Message{}, err
        }


@@ -120,7 +94,7 @@ func (l *loop) Submit(text string) (Message, error) {
 
 // Interrupt ends the running turn. A running tool is killed, and the turn sends
 // no further request.
 
 // Interrupt ends the running turn. A running tool is killed, and the turn sends
 // no further request.

-func (l *loop) Interrupt() bool {
+func (l *TurnLoop) Interrupt() bool {

        l.mutex.Lock()
        defer l.mutex.Unlock()
 
        l.mutex.Lock()
        defer l.mutex.Unlock()
 


@@ -133,31 +107,28 @@ func (l *loop) Interrupt() bool {
        return true
 }
 
        return true
 }
 

-// Append logs a message and tells the clients. The toolbox logs its calls and
-// results through it.
-func (l *loop) Append(kind, text string) (Message, error) {
-       message, err := l.memory.Append(kind, text)
-       if err != nil {
-               return Message{}, err
-       }
+// Busy tells if a turn runs.
+func (l *TurnLoop) Busy() bool {
+       l.mutex.Lock()
+       defer l.mutex.Unlock()

 
 

-       l.notify(Event{
-               Kind: kind,
-               ID:   message.ID,
-               Text: text,
-       })
+       return l.cancel != nil
+}

 
 

-       return message, nil
+// Append logs a message and tells the clients. The toolbox logs its calls and
+// results through it.
+func (l *TurnLoop) Append(kind, text string) (Message, error) {
+       return l.record(kind, "", text)

 }
 
 // Flush makes the log durable.
 }
 
 // Flush makes the log durable.

-func (l *loop) Flush(ctx context.Context) error {
+func (l *TurnLoop) Flush(ctx context.Context) error {

        return l.memory.Flush(ctx)
 }
 
 // Run runs a turn each time user messages wait, until ctx ends. It returns the
 // error of a failed log write, which stops the agent.
        return l.memory.Flush(ctx)
 }
 
 // Run runs a turn each time user messages wait, until ctx ends. It returns the
 // error of a failed log write, which stops the agent.

-func (l *loop) Run(ctx context.Context) error {
+func (l *TurnLoop) Run(ctx context.Context) error {

        for {
                for l.waiting() {
                        err := l.turn(ctx)
        for {
                for l.waiting() {
                        err := l.turn(ctx)


@@ -174,30 +145,37 @@ func (l *loop) Run(ctx context.Context) error {
        }
 }
 
        }
 }
 

-// waiting tells if user messages wait for a request.
-func (l *loop) waiting() bool {
-       l.mutex.Lock()
-       defer l.mutex.Unlock()
+// record logs a message and tells the clients, with the client source of a user
+// message.
+func (l *TurnLoop) record(kind, source, text string) (Message, error) {
+       message, err := l.memory.Append(kind, text)
+       if err != nil {
+               return Message{}, err
+       }

 
 

-       return len(l.pending) > 0
+       l.notify(Event{
+               Kind:   kind,
+               ID:     message.ID,
+               Text:   text,
+               Source: source,
+       })
+
+       return message, nil

 }
 
 }
 

-// take returns the user messages that wait for a request, and removes them.
-func (l *loop) take() []Message {
+// waiting tells if user messages wait for a request.
+func (l *TurnLoop) waiting() bool {

        l.mutex.Lock()
        defer l.mutex.Unlock()
 
        l.mutex.Lock()
        defer l.mutex.Unlock()
 

-       messages := l.pending
-       l.pending = nil
-
-       return messages
+       return len(l.pending) > 0

 }
 
 // turn runs one turn. A failed or interrupted model call ends the turn and
 // tells the clients. The messages of the turn stay in the log and the view, and
 // the next turn starts only with a new message, so a lasting failure such as a
 // needed login does not repeat. Only a failed log write is an error of turn.
 }
 
 // turn runs one turn. A failed or interrupted model call ends the turn and
 // tells the clients. The messages of the turn stay in the log and the view, and
 // the next turn starts only with a new message, so a lasting failure such as a
 // needed login does not repeat. Only a failed log write is an error of turn.

-func (l *loop) turn(ctx context.Context) error {
+func (l *TurnLoop) turn(ctx context.Context) error {

        ctx, cancel := context.WithCancel(ctx)
        defer cancel()
 
        ctx, cancel := context.WithCancel(ctx)
        defer cancel()
 


@@ -216,7 +194,7 @@ func (l *loop) turn(ctx context.Context) error {
        })
 
        err := l.chain(ctx)
        })
 
        err := l.chain(ctx)

-       if err != nil && !errors.Is(err, errLogWrite) {
+       if err != nil && !errors.Is(err, errChainLogWrite) {

                l.notify(Event{
                        Kind: "error",
                        Text: turnError(ctx, err),
                l.notify(Event{
                        Kind: "error",
                        Text: turnError(ctx, err),


@@ -232,11 +210,8 @@ func (l *loop) turn(ctx context.Context) error {
        return err
 }
 
        return err
 }
 

-// errLogWrite marks an error of a log write, which ends the loop.
-var errLogWrite = errors.New("log write failed")
-

 // chain runs the request chain of a turn until the final answer.
 // chain runs the request chain of a turn until the final answer.

-func (l *loop) chain(ctx context.Context) error {
+func (l *TurnLoop) chain(ctx context.Context) error {

        messages := l.take()
        if len(messages) == 0 {
                return nil
        messages := l.take()
        if len(messages) == 0 {
                return nil


@@ -262,99 +237,49 @@ func (l *loop) chain(ctx context.Context) error {
                return err
        }
 
                return err
        }
 

-       input := turnInput(view, l.state(), messages)
-       for turn := "first"; ; turn = "next" {
-               response, err := l.client.Create(ctx, Request{
+       chain := &Chain{
+               client: l.client,
+               tools:  l.tools,
+               request: ModelRequest{

                        Model:        l.agent.config.Model,
                        Effort:       l.agent.config.Effort,
                        Instructions: instructions,
                        Model:        l.agent.config.Model,
                        Effort:       l.agent.config.Effort,
                        Instructions: instructions,

-                       Tools:        agentTools(),
-                       Input:        input,
-                       Turn:         turn,
-               })
-               if err != nil {
-                       return err
-               }
-
-               input, err = l.handle(ctx, input, response)
-               if err != nil {
-                       return err
-               }
-
-               if len(input) == 0 {
-                       return nil
-               }
+                       Tools:        promptTools(),
+               },
+               take: l.take,

        }
        }

-}

 
 

-// handle logs the replies of response and runs its tool calls. It returns the
-// input of the next request: input, the output items, the tool results, and
-// the user messages that came in the meantime. After the final answer it
-// returns no input.
-func (l *loop) handle(ctx context.Context, input []any, response Response) ([]any, error) {
-       var outputs []any
-       for _, raw := range response.Output {
-               item, err := inputItem(raw)
-               if err != nil {
-                       return nil, err
-               }
+       _, err = chain.Run(ctx, turnInput(view, l.state(), messages))

 
 

-               input = append(input, item)
-
-               var call functionCall
-               err = json.Unmarshal(raw, &call)
-               if err != nil {
-                       return nil, fmt.Errorf("decode output item: %w", err)
-               }
-
-               switch call.Type {
-               case "message":
-                       text, err := outputText([]json.RawMessage{raw})
-                       if err != nil {
-                               return nil, err
-                       }
-
-                       text = strings.TrimSpace(text)
-                       if text == "" {
-                               continue
-                       }
-
-                       _, err = l.Append("reply", text)
-                       if err != nil {
-                               return nil, fmt.Errorf("%w: %w", errLogWrite, err)
-                       }
-               case "function_call":
-                       output, err := l.tools.Call(ctx, call.Name, call.Arguments)
-                       if err != nil {
-                               return nil, fmt.Errorf("%w: %w", errLogWrite, err)
-                       }
-
-                       outputs = append(outputs, functionCallOutput{
-                               Type:   "function_call_output",
-                               CallID: call.CallID,
-                               Output: output,
-                       })
-               }
-       }
+       return err
+}

 
 

-       if len(outputs) == 0 {
-               return nil, nil
-       }
+// take returns the user messages that wait for a request, and removes them.
+func (l *TurnLoop) take() []Message {
+       l.mutex.Lock()
+       defer l.mutex.Unlock()

 
 

-       input = append(input, outputs...)
-       for _, message := range l.take() {
-               input = append(input, userMessage(message.Text))
-       }
+       messages := l.pending
+       l.pending = nil

 
 

-       return input, nil
+       return messages

 }
 
 // state returns the per-turn state: the end of the view, and the date and time
 // of the turn.
 }
 
 // state returns the per-turn state: the end of the view, and the date and time
 // of the turn.

-func (l *loop) state() string {
+func (l *TurnLoop) state() string {

        return "</chat>\n\nNow: " + l.clock().Format("Monday 2006-01-02 15:04 -07:00")
 }
 
        return "</chat>\n\nNow: " + l.clock().Format("Monday 2006-01-02 15:04 -07:00")
 }
 

+// turnError returns the text of the error that ended a turn.
+func turnError(ctx context.Context, err error) string {
+       if ctx.Err() != nil {
+               return "interrupted"
+       }
+
+       return err.Error()
+}
+

 // turnInput returns the input of the first request of a turn, stable parts
 // first: a user message for each view message, one with the per-turn state,
 // and one for each new message, whole. The view leaves out the leaf lines of
 // turnInput returns the input of the first request of a turn, stable parts
 // first: a user message for each view message, one with the per-turn state,
 // and one for each new message, whole. The view leaves out the leaf lines of


@@ -362,36 +287,13 @@ func (l *loop) state() string {
 func turnInput(view []string, state string, messages []Message) []any {
        input := make([]any, 0, len(view)+1+len(messages))
        for _, text := range view {
 func turnInput(view []string, state string, messages []Message) []any {
        input := make([]any, 0, len(view)+1+len(messages))
        for _, text := range view {

-               input = append(input, userMessage(text))
+               input = append(input, modelUserMessage(text))

        }
 
        }
 

-       input = append(input, userMessage(state))
+       input = append(input, modelUserMessage(state))

        for _, message := range messages {
        for _, message := range messages {

-               input = append(input, userMessage(message.Text))
+               input = append(input, modelUserMessage(message.Text))

        }
 
        return input
 }
        }
 
        return input
 }

-
-// inputItem returns an output item as an input item for the next request. The
-// calls do not store their items, so the item goes back whole, without its id.
-func inputItem(raw json.RawMessage) (map[string]any, error) {
-       var item map[string]any
-       err := json.Unmarshal(raw, &item)
-       if err != nil {
-               return nil, fmt.Errorf("decode output item: %w", err)
-       }
-
-       delete(item, "id")
-
-       return item, nil
-}
-
-// turnError returns the text of the error that ended a turn.
-func turnError(ctx context.Context, err error) string {
-       if ctx.Err() != nil {
-               return "interrupted"
-       }
-
-       return err.Error()
-}