]> git.giacomolli.uk - onechat/blob - telegram.go
Share the request chain of a turn
[onechat] / telegram.go
1 package main
2
3 import (
4         "bytes"
5         "context"
6         "encoding/json"
7         "errors"
8         "fmt"
9         "io"
10         "log"
11         "net/http"
12         "os"
13         "path/filepath"
14         "strings"
15         "sync"
16         "time"
17         "unicode/utf8"
18 )
19
20 const (
21         // telegramAPIURL is the Telegram Bot API service.
22         telegramAPIURL = "https://api.telegram.org"
23
24         // telegramConfigFileName is the bot config in the data directory. The
25         // daemon runs the bot only when the file exists.
26         telegramConfigFileName = "telegram.json"
27
28         // telegramOffsetFileName is the update offset of the bot in the agent
29         // directory.
30         telegramOffsetFileName = "telegram-offset.json"
31
32         // telegramSource is the source of the user messages from Telegram.
33         telegramSource = "telegram"
34
35         // telegramMessageUnits is the most UTF-16 code units of one Telegram
36         // message.
37         telegramMessageUnits = 4096
38
39         // telegramRichBytes is the most bytes of the Markdown of one rich
40         // message. The Bot API allows 32768 characters of rendered text, and
41         // the Markdown of a text has at least as many bytes as the text has
42         // characters.
43         telegramRichBytes = 32768
44
45         // telegramTypingInterval is how often the bot shows the typing action
46         // while a turn runs. Telegram shows the action for about five seconds.
47         telegramTypingInterval = 4 * time.Second
48
49         // telegramTextOnly is the answer to a message that is not text.
50         telegramTextOnly = "Only text messages are supported."
51 )
52
53 // loadTelegramConfig reads telegram.json in dir. It returns false when the file
54 // does not exist. An error never holds the token.
55 func loadTelegramConfig(dir string) (TelegramConfig, bool, error) {
56         path := filepath.Join(dir, telegramConfigFileName)
57         info, err := os.Stat(path)
58         if errors.Is(err, os.ErrNotExist) {
59                 return TelegramConfig{}, false, nil
60         }
61
62         if err != nil {
63                 return TelegramConfig{}, false, fmt.Errorf("read bot config: %w", err)
64         }
65
66         if info.Mode().Perm()&0o077 != 0 {
67                 return TelegramConfig{}, false, fmt.Errorf("%s holds the bot token, so its mode must be 0600", telegramConfigFileName)
68         }
69
70         data, err := os.ReadFile(path)
71         if err != nil {
72                 return TelegramConfig{}, false, fmt.Errorf("read bot config: %w", err)
73         }
74
75         var config TelegramConfig
76         decoder := json.NewDecoder(bytes.NewReader(data))
77         decoder.DisallowUnknownFields()
78         err = decoder.Decode(&config)
79         if err == nil && !errors.Is(decoder.Decode(&struct{}{}), io.EOF) {
80                 err = errors.New("data after the JSON object")
81         }
82
83         if err != nil {
84                 return TelegramConfig{}, false, fmt.Errorf("%s is not valid JSON with the fields token and owner", telegramConfigFileName)
85         }
86
87         err = config.validate()
88         if err != nil {
89                 return TelegramConfig{}, false, fmt.Errorf("%s: %w", telegramConfigFileName, err)
90         }
91
92         return config, true, nil
93 }
94
95 // newTelegramBot returns the bot of owner on api. The offset file is at
96 // offsetPath, and logger gets the failures. No log line holds the text of a
97 // message.
98 func newTelegramBot(api *TelegramAPI, owner int64, offsetPath string, logger *log.Logger) *TelegramBot {
99         return &TelegramBot{
100                 api:        api,
101                 owner:      owner,
102                 offsetPath: offsetPath,
103                 logger:     logger,
104                 minWait:    time.Second,
105                 maxWait:    time.Minute,
106                 ready:      make(chan struct{}, 1),
107         }
108 }
109
110 // TelegramConfig holds the settings of telegram.json: the bot token and the
111 // user ID of the owner. The token is a secret, so the file must have mode 0600.
112 type TelegramConfig struct {
113         Token string `json:"token"`
114         Owner int64  `json:"owner"`
115 }
116
117 // validate makes sure that the token has the form of a bot token and that the
118 // owner is a user ID. The token goes into a URL path, so it can only hold the
119 // characters of a bot token.
120 func (c TelegramConfig) validate() error {
121         id, secret, found := strings.Cut(c.Token, ":")
122         if !found || id == "" || secret == "" || strings.Trim(id, "0123456789") != "" || strings.Trim(secret, "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_-") != "" {
123                 return errors.New("token does not have the form of a bot token from BotFather")
124         }
125
126         if c.Owner <= 0 {
127                 return errors.New("owner must be the numeric Telegram user ID of the owner")
128         }
129
130         return nil
131 }
132
133 // TelegramBot connects the private chat of the owner with the agent. It polls
134 // the Bot API for new messages and sends each text message of the owner to the
135 // agent. It ignores every other update. Its sender sends the replies, the
136 // errors, the notices of the bot, and the user messages of the other clients to
137 // the chat, and shows the typing action while a turn runs. Only the replies
138 // have a format: their Markdown goes as rich messages, which Telegram renders
139 // itself, and as message entities only when Telegram refuses a rich message.
140 // The rest is plain text. Tool calls do not go to the chat.
141 //
142 // The offset file holds the ID of the next update. It moves past an update
143 // only after the message of the update is durable in the log, so a restart
144 // does not lose a message. A crash between the flush and the offset write
145 // makes Telegram send the update again, and the message repeats once.
146 //
147 // A failed Bot API call waits and tries again, from minWait up to maxWait, or
148 // as long as the Bot API asks. It never stops the agent.
149 type TelegramBot struct {
150         api        *TelegramAPI
151         owner      int64
152         offsetPath string
153         logger     *log.Logger
154         minWait    time.Duration
155         maxWait    time.Duration
156
157         mutex sync.Mutex
158         queue []Event
159         ready chan struct{}
160 }
161
162 // Notify queues event for the chat. It never blocks, so a slow network does not
163 // stop the agent.
164 func (b *TelegramBot) Notify(event Event) {
165         switch event.Kind {
166         case "busy", "idle", "reply", "error", "notice":
167         case "user":
168                 if event.Source == telegramSource {
169                         return
170                 }
171         default:
172                 return
173         }
174
175         b.mutex.Lock()
176         b.queue = append(b.queue, event)
177         b.mutex.Unlock()
178
179         select {
180         case b.ready <- struct{}{}:
181         default:
182         }
183 }
184
185 // Run polls for the messages of the owner and sends the queued events to the
186 // chat until ctx ends. It returns an error only when a message or the offset
187 // cannot be written, because then the bot would lose or repeat messages.
188 func (b *TelegramBot) Run(ctx context.Context, l *TurnLoop) error {
189         ctx, cancel := context.WithCancel(ctx)
190         defer cancel()
191
192         var sender sync.WaitGroup
193         sender.Add(1)
194         go func() {
195                 defer sender.Done()
196
197                 b.send(ctx)
198         }()
199
200         err := b.poll(ctx, l)
201         cancel()
202         sender.Wait()
203
204         return err
205 }
206
207 // send sends each queued event to the chat in order until ctx ends. While a
208 // turn runs, it shows the typing action every telegramTypingInterval and after
209 // each message, because a message ends the action.
210 func (b *TelegramBot) send(ctx context.Context) {
211         ticker := time.NewTicker(telegramTypingInterval)
212         defer ticker.Stop()
213
214         busy := false
215         for ctx.Err() == nil {
216                 event, found := b.next()
217                 if !found {
218                         select {
219                         case <-b.ready:
220                         case <-ticker.C:
221                                 if busy {
222                                         b.typing(ctx)
223                                 }
224                         case <-ctx.Done():
225                         }
226
227                         continue
228                 }
229
230                 switch event.Kind {
231                 case "busy":
232                         busy = true
233                         b.typing(ctx)
234                         ticker.Reset(telegramTypingInterval)
235                 case "idle":
236                         busy = false
237                 default:
238                         b.post(ctx, event)
239
240                         if busy {
241                                 b.typing(ctx)
242                         }
243                 }
244         }
245 }
246
247 // poll gets the updates from the stored offset on and handles each one, until
248 // ctx ends. Each update is handled to its end also when ctx ends during it, so
249 // a stop does not repeat its message.
250 func (b *TelegramBot) poll(ctx context.Context, l *TurnLoop) error {
251         offset, err := telegramLoadOffset(b.offsetPath)
252         if err != nil {
253                 return err
254         }
255
256         wait := b.minWait
257         for ctx.Err() == nil {
258                 updates, err := b.api.GetUpdates(ctx, offset)
259                 if ctx.Err() != nil {
260                         return nil
261                 }
262
263                 if err != nil {
264                         _, asked := telegramRetryable(err)
265                         wait = b.pause(ctx, err, wait, asked)
266
267                         continue
268                 }
269
270                 wait = b.minWait
271                 for _, update := range updates {
272                         if ctx.Err() != nil {
273                                 return nil
274                         }
275
276                         err = b.handle(context.WithoutCancel(ctx), l, update)
277                         if err != nil {
278                                 return err
279                         }
280
281                         offset = update.UpdateID + 1
282                         err = telegramSaveOffset(b.offsetPath, offset)
283                         if err != nil {
284                                 return err
285                         }
286                 }
287         }
288
289         return nil
290 }
291
292 // next removes the first queued event and returns it.
293 func (b *TelegramBot) next() (Event, bool) {
294         b.mutex.Lock()
295         defer b.mutex.Unlock()
296
297         if len(b.queue) == 0 {
298                 return Event{}, false
299         }
300
301         event := b.queue[0]
302         b.queue = b.queue[1:]
303
304         return event, true
305 }
306
307 // typing shows the typing action once. A failure is not logged, because the
308 // next message or poll logs the state of the network.
309 func (b *TelegramBot) typing(ctx context.Context) {
310         _ = b.api.SendTyping(ctx, b.owner)
311 }
312
313 // post sends event to the chat. A reply goes as rich messages of its Markdown,
314 // with each < and & outside code escaped by telegramEscapeTags and then split
315 // with telegramSplitRich, so that the length limit counts the escaped text.
316 // Every other event goes as plain text, split with telegramSplitMessage.
317 func (b *TelegramBot) post(ctx context.Context, event Event) {
318         if event.Kind != "reply" {
319                 for _, text := range telegramSplitMessage(telegramText(event), telegramMessageUnits) {
320                         b.deliver(ctx, TelegramPart{
321                                 text: text,
322                         })
323                 }
324
325                 return
326         }
327
328         for _, markdown := range telegramSplitRich(telegramEscapeTags(event.Text), telegramRichBytes) {
329                 b.deliverRich(ctx, markdown)
330         }
331 }
332
333 // pause logs err and waits the longer of wait and asked, or until ctx ends. It
334 // returns the wait of the next failure: twice wait, up to maxWait.
335 func (b *TelegramBot) pause(ctx context.Context, err error, wait, asked time.Duration) time.Duration {
336         delay := max(wait, asked)
337         b.logger.Printf("%v (next try in %s)", err, delay)
338
339         timer := time.NewTimer(delay)
340         defer timer.Stop()
341
342         select {
343         case <-timer.C:
344         case <-ctx.Done():
345         }
346
347         return min(2*wait, b.maxWait)
348 }
349
350 // handle runs one update. A text message of the owner in the private chat goes
351 // to the agent, and handle returns when it is durable in the log. The line
352 // /stop interrupts the turn. Any other message of the owner gets the answer
353 // that only text is supported. Every other update is ignored, and its content
354 // is not logged.
355 func (b *TelegramBot) handle(ctx context.Context, l *TurnLoop, update TelegramUpdate) error {
356         message := update.Message
357         if message == nil || message.Chat.Type != "private" || message.Chat.ID != b.owner || message.From == nil || message.From.ID != b.owner {
358                 b.logger.Print("update ignored: not a message of the owner in the private chat")
359                 return nil
360         }
361
362         switch {
363         case message.Text == "":
364                 b.notice(telegramTextOnly)
365         case strings.TrimSpace(message.Text) == stopCommand:
366                 if !l.Interrupt() {
367                         b.notice("No turn runs.")
368                 }
369         default:
370                 _, err := l.Submit(telegramSource, message.Text)
371                 if err != nil {
372                         return err
373                 }
374
375                 err = l.Flush(ctx)
376                 if err != nil {
377                         return fmt.Errorf("flush the message from Telegram: %w", err)
378                 }
379         }
380
381         return nil
382 }
383
384 // deliver sends part to the chat. When Telegram refuses a part with entities
385 // (HTTP 400), it sends the text of the part again once with no entities, so a
386 // reply is not lost to a bad entity. It tries again after each failure that a
387 // later try can fix, until ctx ends. It drops the part after any other failure.
388 func (b *TelegramBot) deliver(ctx context.Context, part TelegramPart) {
389         wait := b.minWait
390         for {
391                 err := b.api.SendMessage(ctx, b.owner, part.text, part.entities)
392                 if err == nil || ctx.Err() != nil {
393                         return
394                 }
395
396                 var answer *TelegramError
397                 if len(part.entities) > 0 && errors.As(err, &answer) && answer.Status == http.StatusBadRequest {
398                         b.logger.Printf("entities refused, the message goes again as plain text: %v", err)
399                         part.entities = nil
400
401                         continue
402                 }
403
404                 retry, asked := telegramRetryable(err)
405                 if !retry {
406                         b.logger.Printf("message dropped: %v", err)
407                         return
408                 }
409
410                 wait = b.pause(ctx, err, wait, asked)
411         }
412 }
413
414 // deliverRich sends markdown, escaped with telegramEscapeTags, to the chat as a
415 // rich message. When the Bot API refuses it with HTTP 400 or 404, the message
416 // was not sent, so deliverRich sends the text of the part once with message
417 // entities, and the reply is not lost and does not repeat. Message entities
418 // read no HTML, so the fallback gets the Markdown of telegramUnescapeTags, as
419 // the model wrote it. It tries again after each failure that a later try can
420 // fix, until ctx ends. It drops the message after any other failure.
421 func (b *TelegramBot) deliverRich(ctx context.Context, markdown string) {
422         wait := b.minWait
423         for {
424                 err := b.api.SendRichMessage(ctx, b.owner, markdown)
425                 if err == nil || ctx.Err() != nil {
426                         return
427                 }
428
429                 if telegramRejected(err) {
430                         b.logger.Printf("rich message refused, the reply goes with entities: %v", err)
431                         for _, part := range telegramReplyParts(telegramUnescapeTags(markdown)) {
432                                 b.deliver(ctx, part)
433                         }
434
435                         return
436                 }
437
438                 retry, asked := telegramRetryable(err)
439                 if !retry {
440                         b.logger.Printf("message dropped: %v", err)
441                         return
442                 }
443
444                 wait = b.pause(ctx, err, wait, asked)
445         }
446 }
447
448 // notice queues a short answer of the bot for the chat.
449 func (b *TelegramBot) notice(text string) {
450         b.Notify(Event{
451                 Kind: "notice",
452                 Text: text,
453         })
454 }
455
456 // TelegramPart is the text of one message to the chat, at most
457 // telegramMessageUnits long, and its entities.
458 type TelegramPart struct {
459         text     string
460         entities []TelegramEntity
461 }
462
463 // TelegramOffsetFile is the content of the offset file.
464 type TelegramOffsetFile struct {
465         Offset int64 `json:"offset"`
466 }
467
468 // telegramLoadOffset reads the update offset at path. A missing file gives 0,
469 // which asks for every update that Telegram keeps.
470 func telegramLoadOffset(path string) (int64, error) {
471         data, err := os.ReadFile(path)
472         if errors.Is(err, os.ErrNotExist) {
473                 return 0, nil
474         }
475
476         if err != nil {
477                 return 0, fmt.Errorf("read update offset: %w", err)
478         }
479
480         var file TelegramOffsetFile
481         err = json.Unmarshal(data, &file)
482         if err != nil {
483                 return 0, fmt.Errorf("%s: %w", path, err)
484         }
485
486         return file.Offset, nil
487 }
488
489 // telegramSaveOffset replaces the update offset at path.
490 func telegramSaveOffset(path string, offset int64) error {
491         data, err := json.Marshal(TelegramOffsetFile{
492                 Offset: offset,
493         })
494         if err != nil {
495                 return fmt.Errorf("encode update offset: %w", err)
496         }
497
498         err = writeFileAtomic(path, append(data, '\n'))
499         if err != nil {
500                 return fmt.Errorf("write update offset: %w", err)
501         }
502
503         return nil
504 }
505
506 // telegramSplitMessage cuts text into parts of at most limit UTF-16 code units,
507 // the unit of the Telegram message limit. It cuts after the last line break or
508 // space of a part when one is in its second half, and else at the limit. It
509 // never cuts a character.
510 func telegramSplitMessage(text string, limit int) []string {
511         var parts []string
512         for {
513                 end := telegramPrefixEnd(text, limit)
514                 if end == len(text) {
515                         return append(parts, text)
516                 }
517
518                 cut := strings.LastIndexByte(text[:end], '\n') + 1
519                 if cut <= end/2 {
520                         cut = strings.LastIndexByte(text[:end], ' ') + 1
521                 }
522
523                 if cut <= end/2 {
524                         cut = end
525                 }
526
527                 parts = append(parts, text[:cut])
528                 text = text[cut:]
529         }
530 }
531
532 // telegramText returns the text of event for the chat. A user message of
533 // another client has its source as a mark.
534 func telegramText(event Event) string {
535         switch event.Kind {
536         case "user":
537                 return "[" + event.Source + "] " + event.Text
538         case "error":
539                 return "Error: " + event.Text
540         default:
541                 return event.Text
542         }
543 }
544
545 // telegramSplitRich cuts the Markdown of a reply into parts of at most limit
546 // bytes. It cuts after a blank line outside a code block, so a table, a code
547 // block, or a paragraph stays whole. When no such cut fits in a part, it cuts
548 // after the last line break outside a code block, then after the last line
549 // break in a code block, which it closes at the end of the part and opens again
550 // in the next part with the same fence line. A line longer than limit is cut at
551 // the limit, or before an & in the four bytes before the limit, so that it does
552 // not cut an entity of telegramEscapeTags. It never cuts a character.
553 func telegramSplitRich(markdown string, limit int) []string {
554         var parts []string
555         for len(markdown) > limit {
556                 cut, fence, opening := telegramRichCut(markdown, limit)
557                 if fence == "" {
558                         parts = append(parts, markdown[:cut])
559                         markdown = markdown[cut:]
560
561                         continue
562                 }
563
564                 parts = append(parts, markdown[:cut]+fence+"\n")
565                 markdown = opening + "\n" + markdown[cut:]
566         }
567
568         return append(parts, markdown)
569 }
570
571 // telegramReplyParts returns the messages of the Markdown of a reply with
572 // message entities. A reply that has no text left after the conversion, such as
573 // an empty code block, goes as its Markdown.
574 func telegramReplyParts(markdown string) []TelegramPart {
575         text, entities := telegramMarkdownEntities(markdown)
576         if strings.TrimSpace(text) == "" {
577                 text, entities = markdown, nil
578         }
579
580         return telegramSplitEntities(text, entities, telegramMessageUnits)
581 }
582
583 // telegramPrefixEnd returns the byte length of the longest prefix of text with
584 // at most limit UTF-16 code units.
585 func telegramPrefixEnd(text string, limit int) int {
586         units := 0
587         for index, char := range text {
588                 size := 1
589                 if char > 0xFFFF {
590                         size = 2
591                 }
592
593                 if units+size > limit {
594                         return index
595                 }
596
597                 units += size
598         }
599
600         return len(text)
601 }
602
603 // telegramRichCut returns where telegramSplitRich cuts markdown, which is
604 // longer than limit. For a cut in a code block, it also returns the fence that
605 // closes the block and the line that opens it. Each part before a cut holds
606 // text other than space, and a cut in a code block leaves room for the fence,
607 // so each cut makes the rest shorter.
608 func telegramRichCut(markdown string, limit int) (int, string, string) {
609         blank, line, code := 0, 0, 0
610         var fence, opening, inFence, inOpening string
611         for start := 0; start < limit; {
612                 end := strings.IndexByte(markdown[start:], '\n')
613                 if end < 0 || start+end+1 > limit {
614                         break
615                 }
616
617                 end += start + 1
618                 text := strings.TrimRight(markdown[start:end], "\r\n")
619                 _, opens := telegramCodeFence(text)
620                 switch {
621                 case fence != "":
622                         if telegramClosesFence(text, fence) {
623                                 fence = ""
624                         } else if end > len(opening)+1 && end+len(fence)+1 <= limit {
625                                 code, inFence, inOpening = end, fence, opening
626                         }
627                 case opens != "":
628                         fence, opening = opens, text
629                 case strings.TrimSpace(markdown[:end]) == "":
630                 case strings.TrimSpace(text) == "":
631                         blank = end
632                 }
633
634                 if fence == "" && strings.TrimSpace(markdown[:end]) != "" {
635                         line = end
636                 }
637
638                 start = end
639         }
640
641         switch {
642         case blank > 0:
643                 return blank, "", ""
644         case line > 0:
645                 return line, "", ""
646         case code > 0:
647                 return code, inFence, inOpening
648         }
649
650         cut := limit
651         for !utf8.RuneStart(markdown[cut]) {
652                 cut--
653         }
654
655         start := max(cut-len("&amp;")+1, 0)
656         entity := strings.LastIndexByte(markdown[start:cut], '&')
657         if entity >= 0 && start+entity > 0 {
658                 cut = start + entity
659         }
660
661         return cut, "", ""
662 }
663
664 // telegramSplitEntities cuts text into parts with telegramSplitMessage, and
665 // gives each part the entities in it, with offsets from the start of the part.
666 // An entity that crosses a cut becomes one entity in each part.
667 func telegramSplitEntities(text string, entities []TelegramEntity, limit int) []TelegramPart {
668         var parts []TelegramPart
669         start := 0
670         for _, part := range telegramSplitMessage(text, limit) {
671                 end := start + telegramUTF16Units(part)
672                 var kept []TelegramEntity
673                 for _, entity := range entities {
674                         from := max(entity.Offset, start)
675                         to := min(entity.Offset+entity.Length, end)
676                         if to <= from {
677                                 continue
678                         }
679
680                         entity.Offset = from - start
681                         entity.Length = to - from
682                         kept = append(kept, entity)
683                 }
684
685                 parts = append(parts, TelegramPart{
686                         text:     part,
687                         entities: kept,
688                 })
689
690                 start = end
691         }
692
693         return parts
694 }