]> git.giacomolli.uk - onechat/blob - telegram.go
Name and order the terminal client code
[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 *loop) 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 *loop) 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 // split with telegramSplitRich. Every other event goes as plain text, split
315 // with telegramSplitMessage.
316 func (b *TelegramBot) post(ctx context.Context, event Event) {
317 if event.Kind != "reply" {
318 for _, text := range telegramSplitMessage(telegramText(event), telegramMessageUnits) {
319 b.deliver(ctx, TelegramPart{
320 text: text,
321 })
322 }
323
324 return
325 }
326
327 for _, markdown := range telegramSplitRich(event.Text, telegramRichBytes) {
328 b.deliverRich(ctx, markdown)
329 }
330 }
331
332 // pause logs err and waits the longer of wait and asked, or until ctx ends. It
333 // returns the wait of the next failure: twice wait, up to maxWait.
334 func (b *TelegramBot) pause(ctx context.Context, err error, wait, asked time.Duration) time.Duration {
335 delay := max(wait, asked)
336 b.logger.Printf("%v (next try in %s)", err, delay)
337
338 timer := time.NewTimer(delay)
339 defer timer.Stop()
340
341 select {
342 case <-timer.C:
343 case <-ctx.Done():
344 }
345
346 return min(2*wait, b.maxWait)
347 }
348
349 // handle runs one update. A text message of the owner in the private chat goes
350 // to the agent, and handle returns when it is durable in the log. The line
351 // /stop interrupts the turn. Any other message of the owner gets the answer
352 // that only text is supported. Every other update is ignored, and its content
353 // is not logged.
354 func (b *TelegramBot) handle(ctx context.Context, l *loop, update TelegramUpdate) error {
355 message := update.Message
356 if message == nil || message.Chat.Type != "private" || message.Chat.ID != b.owner || message.From == nil || message.From.ID != b.owner {
357 b.logger.Print("update ignored: not a message of the owner in the private chat")
358 return nil
359 }
360
361 switch {
362 case message.Text == "":
363 b.notice(telegramTextOnly)
364 case strings.TrimSpace(message.Text) == stopCommand:
365 if !l.Interrupt() {
366 b.notice("No turn runs.")
367 }
368 default:
369 _, err := l.Submit(telegramSource, message.Text)
370 if err != nil {
371 return err
372 }
373
374 err = l.Flush(ctx)
375 if err != nil {
376 return fmt.Errorf("flush the message from Telegram: %w", err)
377 }
378 }
379
380 return nil
381 }
382
383 // deliver sends part to the chat. When Telegram refuses a part with entities
384 // (HTTP 400), it sends the text of the part again once with no entities, so a
385 // reply is not lost to a bad entity. It tries again after each failure that a
386 // later try can fix, until ctx ends. It drops the part after any other failure.
387 func (b *TelegramBot) deliver(ctx context.Context, part TelegramPart) {
388 wait := b.minWait
389 for {
390 err := b.api.SendMessage(ctx, b.owner, part.text, part.entities)
391 if err == nil || ctx.Err() != nil {
392 return
393 }
394
395 var answer *TelegramError
396 if len(part.entities) > 0 && errors.As(err, &answer) && answer.Status == http.StatusBadRequest {
397 b.logger.Printf("entities refused, the message goes again as plain text: %v", err)
398 part.entities = nil
399
400 continue
401 }
402
403 retry, asked := telegramRetryable(err)
404 if !retry {
405 b.logger.Printf("message dropped: %v", err)
406 return
407 }
408
409 wait = b.pause(ctx, err, wait, asked)
410 }
411 }
412
413 // deliverRich sends markdown to the chat as a rich message. When the Bot API
414 // refuses it with HTTP 400 or 404, the message was not sent, so deliverRich
415 // sends the same Markdown once with message entities, and the reply is not
416 // lost and does not repeat. It tries again after each failure that a later try
417 // can fix, until ctx ends. It drops the message after any other failure.
418 func (b *TelegramBot) deliverRich(ctx context.Context, markdown string) {
419 wait := b.minWait
420 for {
421 err := b.api.SendRichMessage(ctx, b.owner, markdown)
422 if err == nil || ctx.Err() != nil {
423 return
424 }
425
426 if telegramRejected(err) {
427 b.logger.Printf("rich message refused, the reply goes with entities: %v", err)
428 for _, part := range telegramReplyParts(markdown) {
429 b.deliver(ctx, part)
430 }
431
432 return
433 }
434
435 retry, asked := telegramRetryable(err)
436 if !retry {
437 b.logger.Printf("message dropped: %v", err)
438 return
439 }
440
441 wait = b.pause(ctx, err, wait, asked)
442 }
443 }
444
445 // notice queues a short answer of the bot for the chat.
446 func (b *TelegramBot) notice(text string) {
447 b.Notify(Event{
448 Kind: "notice",
449 Text: text,
450 })
451 }
452
453 // TelegramPart is the text of one message to the chat, at most
454 // telegramMessageUnits long, and its entities.
455 type TelegramPart struct {
456 text string
457 entities []TelegramEntity
458 }
459
460 // TelegramOffsetFile is the content of the offset file.
461 type TelegramOffsetFile struct {
462 Offset int64 `json:"offset"`
463 }
464
465 // telegramLoadOffset reads the update offset at path. A missing file gives 0,
466 // which asks for every update that Telegram keeps.
467 func telegramLoadOffset(path string) (int64, error) {
468 data, err := os.ReadFile(path)
469 if errors.Is(err, os.ErrNotExist) {
470 return 0, nil
471 }
472
473 if err != nil {
474 return 0, fmt.Errorf("read update offset: %w", err)
475 }
476
477 var file TelegramOffsetFile
478 err = json.Unmarshal(data, &file)
479 if err != nil {
480 return 0, fmt.Errorf("%s: %w", path, err)
481 }
482
483 return file.Offset, nil
484 }
485
486 // telegramSaveOffset replaces the update offset at path.
487 func telegramSaveOffset(path string, offset int64) error {
488 data, err := json.Marshal(TelegramOffsetFile{
489 Offset: offset,
490 })
491 if err != nil {
492 return fmt.Errorf("encode update offset: %w", err)
493 }
494
495 err = writeFileAtomic(path, append(data, '\n'))
496 if err != nil {
497 return fmt.Errorf("write update offset: %w", err)
498 }
499
500 return nil
501 }
502
503 // telegramSplitMessage cuts text into parts of at most limit UTF-16 code units,
504 // the unit of the Telegram message limit. It cuts after the last line break or
505 // space of a part when one is in its second half, and else at the limit. It
506 // never cuts a character.
507 func telegramSplitMessage(text string, limit int) []string {
508 var parts []string
509 for {
510 end := telegramPrefixEnd(text, limit)
511 if end == len(text) {
512 return append(parts, text)
513 }
514
515 cut := strings.LastIndexByte(text[:end], '\n') + 1
516 if cut <= end/2 {
517 cut = strings.LastIndexByte(text[:end], ' ') + 1
518 }
519
520 if cut <= end/2 {
521 cut = end
522 }
523
524 parts = append(parts, text[:cut])
525 text = text[cut:]
526 }
527 }
528
529 // telegramText returns the text of event for the chat. A user message of
530 // another client has its source as a mark.
531 func telegramText(event Event) string {
532 switch event.Kind {
533 case "user":
534 return "[" + event.Source + "] " + event.Text
535 case "error":
536 return "Error: " + event.Text
537 default:
538 return event.Text
539 }
540 }
541
542 // telegramSplitRich cuts the Markdown of a reply into parts of at most limit
543 // bytes. It cuts after a blank line outside a code block, so a table, a code
544 // block, or a paragraph stays whole. When no such cut fits in a part, it cuts
545 // after the last line break outside a code block, then after the last line
546 // break in a code block, which it closes at the end of the part and opens again
547 // in the next part with the same fence line. A line longer than limit is cut at
548 // the limit. It never cuts a character.
549 func telegramSplitRich(markdown string, limit int) []string {
550 var parts []string
551 for len(markdown) > limit {
552 cut, fence, opening := telegramRichCut(markdown, limit)
553 if fence == "" {
554 parts = append(parts, markdown[:cut])
555 markdown = markdown[cut:]
556
557 continue
558 }
559
560 parts = append(parts, markdown[:cut]+fence+"\n")
561 markdown = opening + "\n" + markdown[cut:]
562 }
563
564 return append(parts, markdown)
565 }
566
567 // telegramReplyParts returns the messages of the Markdown of a reply with
568 // message entities. A reply that has no text left after the conversion, such as
569 // an empty code block, goes as its Markdown.
570 func telegramReplyParts(markdown string) []TelegramPart {
571 text, entities := telegramMarkdownEntities(markdown)
572 if strings.TrimSpace(text) == "" {
573 text, entities = markdown, nil
574 }
575
576 return telegramSplitEntities(text, entities, telegramMessageUnits)
577 }
578
579 // telegramPrefixEnd returns the byte length of the longest prefix of text with
580 // at most limit UTF-16 code units.
581 func telegramPrefixEnd(text string, limit int) int {
582 units := 0
583 for index, char := range text {
584 size := 1
585 if char > 0xFFFF {
586 size = 2
587 }
588
589 if units+size > limit {
590 return index
591 }
592
593 units += size
594 }
595
596 return len(text)
597 }
598
599 // telegramRichCut returns where telegramSplitRich cuts markdown, which is
600 // longer than limit. For a cut in a code block, it also returns the fence that
601 // closes the block and the line that opens it. Each part before a cut holds
602 // text other than space, and a cut in a code block leaves room for the fence,
603 // so each cut makes the rest shorter.
604 func telegramRichCut(markdown string, limit int) (int, string, string) {
605 blank, line, code := 0, 0, 0
606 var fence, opening, inFence, inOpening string
607 for start := 0; start < limit; {
608 end := strings.IndexByte(markdown[start:], '\n')
609 if end < 0 || start+end+1 > limit {
610 break
611 }
612
613 end += start + 1
614 text := strings.TrimRight(markdown[start:end], "\r\n")
615 _, opens := telegramCodeFence(text)
616 switch {
617 case fence != "":
618 if telegramClosesFence(text, fence) {
619 fence = ""
620 } else if end > len(opening)+1 && end+len(fence)+1 <= limit {
621 code, inFence, inOpening = end, fence, opening
622 }
623 case opens != "":
624 fence, opening = opens, text
625 case strings.TrimSpace(markdown[:end]) == "":
626 case strings.TrimSpace(text) == "":
627 blank = end
628 }
629
630 if fence == "" && strings.TrimSpace(markdown[:end]) != "" {
631 line = end
632 }
633
634 start = end
635 }
636
637 switch {
638 case blank > 0:
639 return blank, "", ""
640 case line > 0:
641 return line, "", ""
642 case code > 0:
643 return code, inFence, inOpening
644 }
645
646 cut := limit
647 for !utf8.RuneStart(markdown[cut]) {
648 cut--
649 }
650
651 return cut, "", ""
652 }
653
654 // telegramSplitEntities cuts text into parts with telegramSplitMessage, and
655 // gives each part the entities in it, with offsets from the start of the part.
656 // An entity that crosses a cut becomes one entity in each part.
657 func telegramSplitEntities(text string, entities []TelegramEntity, limit int) []TelegramPart {
658 var parts []TelegramPart
659 start := 0
660 for _, part := range telegramSplitMessage(text, limit) {
661 end := start + telegramUTF16Units(part)
662 var kept []TelegramEntity
663 for _, entity := range entities {
664 from := max(entity.Offset, start)
665 to := min(entity.Offset+entity.Length, end)
666 if to <= from {
667 continue
668 }
669
670 entity.Offset = from - start
671 entity.Length = to - from
672 kept = append(kept, entity)
673 }
674
675 parts = append(parts, TelegramPart{
676 text: part,
677 entities: kept,
678 })
679
680 start = end
681 }
682
683 return parts
684 }