formal-ai 0.172.0

Formal symbolic AI implementation with OpenAI-compatible APIs
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
# UI translations for the browser demo, parsed by lino-i18n at runtime.
# Keep locale blocks in sync; tests/e2e/scripts/check-i18n-catalog.mjs enforces key parity.

en
  buttons
    reportIssue "Report issue"
    reportMissingRule "Report missing rule"
    sourceCode "Source code"
    download "Download"
    exportMemory "Export memory"
    importMemory "Import memory"
    resetMemory "Reset memory"
    diagnostics "Diagnostics"
    diagnosticsOn "Diagnostics on"
    agent "Agent"
    chat "Chat"
    demo "Demo"
    demoOn "Demo on"
    openMenu "Open menu"
    closeMenu "Close menu"
    attachFiles "Attach files"
    composerMenu "Composer menu"
    collapseSidebar "Collapse side panel"
    expandSidebar "Expand side panel"
  titles
    reportIssue """
      Report issue - open a pre-filled GitHub issue with the current session transcript. See docs/upload-memory.md for how to attach the full memory export (Gist or .zip).
    """
    sourceCode "Open the formal-ai source code on GitHub."
    download "Download formal-ai Desktop for macOS, Windows, and Linux."
    exportMemory """
      Export memory - save the full agent state to formal-ai-memory.lino: the entire seed, UI preferences, environment metadata, and the append-only event log. See docs/upload-memory.md for attaching it to a GitHub issue (Gist or .zip).
    """
    importMemory """
      Import memory - load a previous export. Accepts both the new full-memory bundle and the legacy demo_memory event-only log. Migration hints are shown next to this bar.
    """
    resetMemory """
      Reset memory - permanently delete the local event log after an export warning and confirmation. The built-in seed remains available.
    """
    diagnosticsShow "Show reasoning trace, intent, evidence, and thinking-steps panels."
    diagnosticsHide "Hide reasoning trace, intent, evidence, and thinking-steps panels."
    agentOn "Agent mode is on - switch back to single-turn chat."
    agentOff """
      Chat mode - switch to agent mode and each message will be decomposed into sequential steps and executed as a plan.
    """
    demoOn "Demo is on - stop the scripted dialog and resume manual chat."
    demoOff "Start the scripted demo dialog."
    menuOpen "Open the side panel (conversations, prompts, tools)."
    menuClose "Close the side panel (conversations, prompts, tools)."
    composerMenu "Open input actions for attachments, memory, and reporting."
    resizeSidebar "Resize the side panel."
    collapseSidebar "Hide the side panel (more space for the chat)."
    expandSidebar "Show the side panel (conversations, prompts, tools)."
  composer
    placeholder
      chat "Message formal-ai"
      agent "Describe a multi-step task (separate steps with ; or 'then')"
    demoHint
      before "Demo is running - tap "
      after " to stop and type your own message."
    send "Send"
    sending "Sending..."
    attachments "{count} attached"
  conversation
    new "+ New conversation"
    empty "Start a new conversation."
    deletedEmpty "No deleted conversations."
    emptyTitle "(empty)"
    messageCount "{count} msg"
    showDeleted "Show deleted conversations"
    delete "Delete conversation"
    deletePermanent "Delete permanently"
    purgeDeleted "Purge deleted"
    purgeDeletedTitle "Permanently delete every event from deleted conversations."
  message
    author
      user "You"
    copyCode "Copy"
    copyCodeDone "Copied!"
    copyCodeTitle "Copy code to clipboard"
    copyMarkdown "Copy as Markdown"
    copyMarkdownDone "Copied!"
    copyMarkdownTitle "Copy the whole message as Markdown"
    thinking "Thinking"
    diagnosticsSteps "Reasoning steps"
    diagnosticsTools "Tool calls"
    toolInputs "Inputs"
    toolOutputs "Outputs"
    toolReasoning "Tool reasoning"
    formalization "Formalization"
    formalizationSubjectVerbObject "Subject - Verb - Object"
    otherSources "Other sources"
    sourceCounts "{count} source(s)"
    diagnosticsHttp "Raw HTTP exchanges"
    diagnosticsHttpRequest "Request"
    diagnosticsHttpResponse "Response"
    diagnosticsHttpUnified "Unified link notation"
    diagnosticsHttpStatus "HTTP {status} · {elapsed} ms · {bytes} B"
    diagnosticsHttpEmpty "No outbound HTTP requests recorded for this turn."
    diagnosticsProviders "Search providers tried"
    diagnosticsProviderRow "{label}: {status} · {count} results · {elapsed} ms"
    diagnosticsProviderOk "ok"
    diagnosticsProviderError "error"
  fetch
    collapse "Collapse"
    expand "Expand"
    fullscreen "Full screen"
    minimize "Minimize"
    openInNewTab "Open in new tab"
    frameTitle "Previewed page: {url}"
  memory
    exportTriggered "Triggered Export memory. Your browser is downloading `formal-ai-memory.lino`."
    importTriggered "Triggered Import memory. Pick a `.lino` file in the open dialog to restore the saved memory."
    resetCancelled "Reset memory cancelled."
  confirm
    resetMemoryExportFirst "Export memory first? OK exports a backup and cancels reset. Cancel continues to the irreversible confirmation."
    resetMemory "Reset memory is irreversible and permanently deletes the local event log. Continue?"
    purgeDeletedExportFirst "Export memory first? OK exports a backup and cancels permanent deletion. Cancel continues to the irreversible confirmation."
    purgeDeleted "This irreversible action permanently deletes every event from deleted conversations. Continue?"
    deleteConversationPermanentExportFirst "Export memory first? OK exports a backup and cancels permanent deletion. Cancel continues to the irreversible confirmation."
    deleteConversationPermanent "This irreversible action permanently deletes this conversation from memory. Continue?"
  sidebar
    conversations "Conversations"
    menu "Menu"
    examplePrompts "Example prompts"
    tools "Tools"
    trace "Trace"
    settings "Settings"
  settings
    ambiguity "Ambiguity"
    moreQuestions "More questions"
    moreGuessing "More guessing"
    followUpInitiative "Follow-up initiative"
    userInitiative "User initiative"
    assistantInitiative "Assistant proposes"
    temperature "Temperature"
    deterministic "Deterministic"
    varied "Varied"
    variations "Greeting variations"
    definitionFusion
      label "Definition fusion"
      explicit "Explicit only"
      auto "Auto for definitions"
    blueprintComposition
      label "Program composition"
      composed "Composed (projected)"
      documented "Documented (full)"
    experimentalOcr
      label "Experimental OCR"
      warning "Downloads about 6 MB on first use: OCR wrapper, worker, WebAssembly core, and English traineddata."
    language
      label "Language"
      auto "Auto"
    responseLanguage
      label "Response language"
      lastMessage "Last message language"
      preferred "Preferred language"
      ui "UI language"
    preferredLanguage
      label "Preferred language"
    theme
      label "Theme"
      auto "Auto"
      light "Light"
      dark "Dark"
    uiSkin
      label "UI skin"
      flat "Flat"
      glass "Glass"
      contrast "Contrast"
    chatStyle
      label "Chat style"
      cards "Cards"
      compact "Compact"
      bubbles "Bubbles"
    composerStyle
      label "Input style"
      flat "Flat"
      glassSoft "Glass soft"
      glassClear "Glass clear"
      bubble "Bubble"
    composerAction
      label "Input action"
      attach "Attach"
      plus "Plus"
    assistantName
      label "Assistant name"
      placeholder "Not set"
    location
      label "Location"
      placeholder "City or region"
  status
    demoPlaying "Demo playing"
    manual "Manual mode"
    nextDialogIn "Next dialog in {seconds}s"
    memoryUnavailable "Memory unavailable"
    memoryExported "Exported full memory: {events} event(s) + {seedFiles} seed file(s)"
    memoryImportedBundle "Imported {inserted} event(s) from full bundle"
    memoryImportedEvents "Imported {inserted} events"
    memoryReset "Reset memory: deleted {events} event(s)"
    deletedConversationsPurged "Permanently deleted {events} event(s) from deleted conversations"
    conversationPurged "Permanently deleted {events} event(s) from this conversation"
    migration "{headline}. Migration: {suggestions}"
    exportFailed "Export failed"
    importFailed "Import failed"
    memoryResetFailed "Memory deletion failed"
    working "Working"
  toolMode
    agent "agent"
    thinking "thinking"
  trace
    model "Model"
    mode "Mode"
    intent "Intent"
    data "Data"
    seedFiles "Seed files"
    toolsLoaded "Tools loaded"
    conceptsLoaded "Concepts loaded"

ru
  buttons
    reportIssue "Сообщить о проблеме"
    reportMissingRule "Сообщить о недостающем правиле"
    sourceCode "Исходный код"
    download "Скачать"
    exportMemory "Экспорт памяти"
    importMemory "Импорт памяти"
    resetMemory "Сброс памяти"
    diagnostics "Диагностика"
    diagnosticsOn "Диагностика включена"
    agent "Агент"
    chat "Чат"
    demo "Демо"
    demoOn "Демо включено"
    openMenu "Открыть меню"
    closeMenu "Закрыть меню"
    attachFiles "Прикрепить файлы"
    composerMenu "Меню ввода"
    collapseSidebar "Свернуть боковую панель"
    expandSidebar "Развернуть боковую панель"
  titles
    reportIssue """
      Сообщить о проблеме - откроет заранее заполненный GitHub issue с текущим диалогом. См. docs/upload-memory.md, чтобы прикрепить полный экспорт памяти (Gist или .zip).
    """
    sourceCode "Открыть исходный код formal-ai на GitHub."
    download "Скачать formal-ai Desktop для macOS, Windows и Linux."
    exportMemory """
      Экспорт памяти - сохраняет полное состояние агента в formal-ai-memory.lino: весь seed, настройки UI, метаданные окружения и append-only журнал событий. См. docs/upload-memory.md, чтобы прикрепить экспорт к GitHub issue (Gist или .zip).
    """
    importMemory """
      Импорт памяти - загружает предыдущий экспорт. Поддерживает новый полный bundle памяти и устаревший журнал demo_memory только с событиями. Подсказки миграции появятся рядом с панелью.
    """
    resetMemory """
      Сброс памяти - навсегда удаляет локальный журнал событий после предупреждения об экспорте и подтверждения. Встроенный seed останется доступен.
    """
    diagnosticsShow "Показать диагностическую трассировку, намерение, доказательства и шаги рассуждения."
    diagnosticsHide "Скрыть диагностическую трассировку, намерение, доказательства и шаги рассуждения."
    agentOn "Режим агента включен - вернуться к одиночному чату."
    agentOff """
      Режим чата - перейти в режим агента, где каждое сообщение разбивается на последовательные шаги и выполняется как план.
    """
    demoOn "Демо включено - остановить сценарный диалог и вернуться к ручному чату."
    demoOff "Запустить сценарный демо-диалог."
    menuOpen "Открыть боковую панель (разговоры, запросы, инструменты)."
    menuClose "Закрыть боковую панель (разговоры, запросы, инструменты)."
    composerMenu "Открыть действия ввода: вложения, память и отчеты."
    resizeSidebar "Изменить ширину боковой панели."
    collapseSidebar "Скрыть боковую панель (больше места для чата)."
    expandSidebar "Показать боковую панель (разговоры, запросы, инструменты)."
  composer
    placeholder
      chat "Сообщение formal-ai"
      agent "Опишите задачу из нескольких шагов (разделяйте шаги ; или «затем»)"
    demoHint
      before "Демо выполняется - нажмите "
      after ", чтобы остановить и написать свое сообщение."
    send "Отправить"
    sending "Отправка..."
    attachments "Прикреплено: {count}"
  conversation
    new "+ Новый разговор"
    empty "Начните новый разговор."
    deletedEmpty "Удаленных разговоров нет."
    emptyTitle "(пусто)"
    messageCount "{count} сообщ."
    showDeleted "Показать удаленные разговоры"
    delete "Удалить разговор"
    deletePermanent "Удалить навсегда"
    purgeDeleted "Очистить удаленные"
    purgeDeletedTitle "Навсегда удалить все события из удаленных разговоров."
  message
    author
      user "Вы"
    copyCode "Копировать"
    copyCodeDone "Скопировано!"
    copyCodeTitle "Скопировать код в буфер обмена"
    copyMarkdown "Скопировать как Markdown"
    copyMarkdownDone "Скопировано!"
    copyMarkdownTitle "Скопировать всё сообщение как Markdown"
    thinking "Мышление"
    diagnosticsSteps "Шаги рассуждения"
    diagnosticsTools "Вызовы инструментов"
    toolInputs "Входные данные"
    toolOutputs "Результаты"
    toolReasoning "Внутренние шаги инструмента"
    formalization "Формализация"
    formalizationSubjectVerbObject "Субъект - Глагол - Объект"
    otherSources "Другие источники"
    sourceCounts "{count} источник(ов)"
    diagnosticsHttp "Сырые HTTP-обмены"
    diagnosticsHttpRequest "Запрос"
    diagnosticsHttpResponse "Ответ"
    diagnosticsHttpUnified "Унифицированная нотация ссылок"
    diagnosticsHttpStatus "HTTP {status} · {elapsed} мс · {bytes} Б"
    diagnosticsHttpEmpty "В этом сообщении HTTP-запросов не выполнялось."
    diagnosticsProviders "Опрошенные поисковые источники"
    diagnosticsProviderRow "{label}: {status} · {count} результат(ов) · {elapsed} мс"
    diagnosticsProviderOk "ок"
    diagnosticsProviderError "ошибка"
  fetch
    collapse "Свернуть"
    expand "Развернуть"
    fullscreen "Во весь экран"
    minimize "Свернуть"
    openInNewTab "Открыть в новой вкладке"
    frameTitle "Предпросмотр страницы: {url}"
  memory
    exportTriggered "Запущен экспорт памяти. Браузер скачивает `formal-ai-memory.lino`."
    importTriggered """
      Запущен импорт памяти. Выберите файл `.lino` в открытом диалоге, чтобы восстановить сохраненную память.
    """
    resetCancelled "Сброс памяти отменен."
  confirm
    resetMemoryExportFirst "Сначала экспортировать память? OK скачает резервную копию и отменит сброс. Отмена продолжит к необратимому подтверждению."
    resetMemory "Сброс памяти необратим и навсегда удалит локальный журнал событий. Продолжить?"
    purgeDeletedExportFirst "Сначала экспортировать память? OK скачает резервную копию и отменит удаление. Отмена продолжит к необратимому подтверждению."
    purgeDeleted "Это необратимое действие навсегда удалит все события из удаленных разговоров. Продолжить?"
    deleteConversationPermanentExportFirst "Сначала экспортировать память? OK скачает резервную копию и отменит удаление. Отмена продолжит к необратимому подтверждению."
    deleteConversationPermanent "Это необратимое действие навсегда удалит этот разговор из памяти. Продолжить?"
  sidebar
    conversations "Разговоры"
    menu "Меню"
    examplePrompts "Примеры запросов"
    tools "Инструменты"
    trace "Трассировка"
    settings "Настройки"
  settings
    ambiguity "Неясность"
    moreQuestions "Больше вопросов"
    moreGuessing "Больше догадок"
    followUpInitiative "Инициатива продолжения"
    userInitiative "Инициатива пользователя"
    assistantInitiative "Предлагать дальше"
    temperature "Температура"
    deterministic "Детерминированно"
    varied "Разнообразнее"
    variations "Варианты приветствий"
    definitionFusion
      label "Слияние определений"
      explicit "Только явно"
      auto "Авто для определений"
    blueprintComposition
      label "Состав программы"
      composed "Сборка по запросу"
      documented "Полная документация"
    experimentalOcr
      label "Экспериментальный OCR"
      warning "При первом использовании скачивается около 6 MB: оболочка OCR, worker, ядро WebAssembly и английские traineddata."
    language
      label "Язык"
      auto "Авто"
    responseLanguage
      label "Язык ответов"
      lastMessage "Язык последнего сообщения"
      preferred "Предпочитаемый язык"
      ui "Язык интерфейса"
    preferredLanguage
      label "Предпочитаемый язык"
    theme
      label "Тема"
      auto "Авто"
      light "Светлая"
      dark "Темная"
    uiSkin
      label "Скин UI"
      flat "Плоский"
      glass "Стекло"
      contrast "Контраст"
    chatStyle
      label "Стиль чата"
      cards "Карточки"
      compact "Компактный"
      bubbles "Пузыри"
    composerStyle
      label "Стиль ввода"
      flat "Плоский"
      glassSoft "Мягкое стекло"
      glassClear "Прозрачное стекло"
      bubble "Пузырь"
    composerAction
      label "Действие ввода"
      attach "Скрепка"
      plus "Плюс"
    assistantName
      label "Имя ассистента"
      placeholder "Не задано"
    location
      label "Местоположение"
      placeholder "Город или регион"
  status
    demoPlaying "Демо выполняется"
    manual "Ручной режим"
    nextDialogIn "Следующий диалог через {seconds} с"
    memoryUnavailable "Память недоступна"
    memoryExported "Полный экспорт памяти: {events} событ. + {seedFiles} seed-файл(ов)"
    memoryImportedBundle "Импортировано {inserted} событ. из полного bundle"
    memoryImportedEvents "Импортировано событий: {inserted}"
    memoryReset "Память сброшена: удалено событий {events}"
    deletedConversationsPurged "Навсегда удалено событий из удаленных разговоров: {events}"
    conversationPurged "Навсегда удалено событий из разговора: {events}"
    migration "{headline}. Миграция: {suggestions}"
    exportFailed "Экспорт не удался"
    importFailed "Импорт не удался"
    memoryResetFailed "Удаление памяти не удалось"
    working "В работе"
  toolMode
    agent "агент"
    thinking "мышление"
  trace
    model "Модель"
    mode "Режим"
    intent "Намерение"
    data "Данные"
    seedFiles "Файлы seed"
    toolsLoaded "Инструментов загружено"
    conceptsLoaded "Понятий загружено"

zh
  buttons
    reportIssue "报告问题"
    reportMissingRule "报告缺失规则"
    sourceCode "源代码"
    download "下载"
    exportMemory "导出记忆"
    importMemory "导入记忆"
    resetMemory "重置记忆"
    diagnostics "诊断"
    diagnosticsOn "诊断开启"
    agent "代理"
    chat "聊天"
    demo "演示"
    demoOn "演示开启"
    openMenu "打开菜单"
    closeMenu "关闭菜单"
    attachFiles "附加文件"
    composerMenu "输入菜单"
    collapseSidebar "收起侧边面板"
    expandSidebar "展开侧边面板"
  titles
    reportIssue "报告问题 - 打开已预填当前会话记录的 GitHub issue。请参阅 docs/upload-memory.md,了解如何附加完整记忆导出(Gist 或 .zip)。"
    sourceCode "在 GitHub 上查看 formal-ai 的源代码。"
    download "下载适用于 macOS、Windows 和 Linux 的 formal-ai 桌面版。"
    exportMemory """
      导出记忆 - 将完整代理状态保存为 formal-ai-memory.lino:全部 seed、UI 偏好、环境元数据和追加式事件日志。请参阅 docs/upload-memory.md,了解如何附加到 GitHub issue(Gist 或 .zip)。
    """
    importMemory "导入记忆 - 加载以前的导出。支持新的完整记忆 bundle 和旧版 demo_memory 事件日志。迁移提示会显示在此栏旁边。"
    resetMemory "重置记忆 - 在导出提醒和确认后永久删除本地事件日志。内置 seed 仍然可用。"
    diagnosticsShow "显示推理跟踪、意图、证据和思考步骤面板。"
    diagnosticsHide "隐藏推理跟踪、意图、证据和思考步骤面板。"
    agentOn "代理模式已开启 - 切回单轮聊天。"
    agentOff "聊天模式 - 切换到代理模式,每条消息会被拆成连续步骤并作为计划执行。"
    demoOn "演示已开启 - 停止脚本对话并恢复手动聊天。"
    demoOff "启动脚本演示对话。"
    menuOpen "打开侧边面板(对话、提示、工具)。"
    menuClose "关闭侧边面板(对话、提示、工具)。"
    composerMenu "打开输入操作:附件、记忆和报告。"
    resizeSidebar "调整侧边面板宽度。"
    collapseSidebar "隐藏侧边面板(聊天获得更多空间)。"
    expandSidebar "显示侧边面板(对话、提示、工具)。"
  composer
    placeholder
      chat "给 formal-ai 发消息"
      agent "描述多步骤任务(用 ; 或“然后”分隔步骤)"
    demoHint
      before "演示正在运行 - 点按 "
      after " 可停止并输入自己的消息。"
    send "发送"
    sending "发送中..."
    attachments "已附加 {count} 个"
  conversation
    new "+ 新对话"
    empty "开始一个新对话。"
    deletedEmpty "没有已删除的对话。"
    emptyTitle "(空)"
    messageCount "{count} 条消息"
    showDeleted "显示已删除的对话"
    delete "删除对话"
    deletePermanent "永久删除"
    purgeDeleted "清除已删除"
    purgeDeletedTitle "永久删除已删除对话中的所有事件。"
  message
    author
      user "你"
    copyCode "复制"
    copyCodeDone "已复制!"
    copyCodeTitle "将代码复制到剪贴板"
    copyMarkdown "复制为 Markdown"
    copyMarkdownDone "已复制!"
    copyMarkdownTitle "将整条消息复制为 Markdown"
    thinking "思考"
    diagnosticsSteps "推理步骤"
    diagnosticsTools "工具调用"
    toolInputs "输入"
    toolOutputs "输出"
    toolReasoning "工具内部推理"
    formalization "形式化"
    formalizationSubjectVerbObject "主语 - 谓语 - 宾语"
    otherSources "其他来源"
    sourceCounts "{count} 个来源"
    diagnosticsHttp "原始 HTTP 交互"
    diagnosticsHttpRequest "请求"
    diagnosticsHttpResponse "响应"
    diagnosticsHttpUnified "统一链接表示"
    diagnosticsHttpStatus "HTTP {status} · {elapsed} 毫秒 · {bytes} 字节"
    diagnosticsHttpEmpty "本次对话未记录任何 HTTP 请求。"
    diagnosticsProviders "已查询的搜索源"
    diagnosticsProviderRow "{label}:{status} · {count} 条结果 · {elapsed} 毫秒"
    diagnosticsProviderOk "正常"
    diagnosticsProviderError "错误"
  fetch
    collapse "折叠"
    expand "展开"
    fullscreen "全屏"
    minimize "最小化"
    openInNewTab "在新标签页打开"
    frameTitle "预览页面:{url}"
  memory
    exportTriggered "已触发导出记忆。浏览器正在下载 `formal-ai-memory.lino`。"
    importTriggered "已触发导入记忆。请在打开的对话框中选择 `.lino` 文件来恢复保存的记忆。"
    resetCancelled "重置记忆已取消。"
  confirm
    resetMemoryExportFirst "先导出记忆?按 OK 会导出备份并取消重置;按取消会继续到不可逆确认。"
    resetMemory "重置记忆不可逆,会永久删除本地事件日志。继续?"
    purgeDeletedExportFirst "先导出记忆?按 OK 会导出备份并取消永久删除;按取消会继续到不可逆确认。"
    purgeDeleted "此不可逆操作会永久删除所有已删除对话中的事件。继续?"
    deleteConversationPermanentExportFirst "先导出记忆?按 OK 会导出备份并取消永久删除;按取消会继续到不可逆确认。"
    deleteConversationPermanent "此不可逆操作会从记忆中永久删除此对话。继续?"
  sidebar
    conversations "对话"
    menu "菜单"
    examplePrompts "示例提示"
    tools "工具"
    trace "跟踪"
    settings "设置"
  settings
    ambiguity "歧义"
    moreQuestions "多提问"
    moreGuessing "多猜测"
    followUpInitiative "后续主动性"
    userInitiative "用户主动"
    assistantInitiative "助手提议"
    temperature "温度"
    deterministic "确定"
    varied "多样"
    variations "问候变化"
    definitionFusion
      label "定义融合"
      explicit "仅显式"
      auto "定义自动"
    blueprintComposition
      label "程序组成"
      composed "按需组合"
      documented "完整文档"
    experimentalOcr
      label "实验性 OCR"
      warning "首次使用会下载约 6 MB:OCR 包装层、worker、WebAssembly 核心和英语训练数据。"
    language
      label "语言"
      auto "自动"
    responseLanguage
      label "回复语言"
      lastMessage "最后一条消息的语言"
      preferred "首选语言"
      ui "界面语言"
    preferredLanguage
      label "首选语言"
    theme
      label "主题"
      auto "自动"
      light "浅色"
      dark "深色"
    uiSkin
      label "界面皮肤"
      flat "扁平"
      glass "玻璃"
      contrast "高对比"
    chatStyle
      label "聊天样式"
      cards "卡片"
      compact "紧凑"
      bubbles "气泡"
    composerStyle
      label "输入样式"
      flat "扁平"
      glassSoft "柔和玻璃"
      glassClear "透明玻璃"
      bubble "气泡"
    composerAction
      label "输入操作"
      attach "附件"
      plus "加号"
    assistantName
      label "助手名称"
      placeholder "未设置"
    location
      label "位置"
      placeholder "城市或地区"
  status
    demoPlaying "演示播放中"
    manual "手动模式"
    nextDialogIn "{seconds} 秒后下一个对话"
    memoryUnavailable "记忆不可用"
    memoryExported "已导出完整记忆:{events} 个事件 + {seedFiles} 个 seed 文件"
    memoryImportedBundle "已从完整 bundle 导入 {inserted} 个事件"
    memoryImportedEvents "已导入 {inserted} 个事件"
    memoryReset "已重置记忆:删除 {events} 个事件"
    deletedConversationsPurged "已从已删除对话中永久删除 {events} 个事件"
    conversationPurged "已从此对话中永久删除 {events} 个事件"
    migration "{headline}。迁移:{suggestions}"
    exportFailed "导出失败"
    importFailed "导入失败"
    memoryResetFailed "记忆删除失败"
    working "工作中"
  toolMode
    agent "代理"
    thinking "思考"
  trace
    model "模型"
    mode "模式"
    intent "意图"
    data "数据"
    seedFiles "Seed 文件"
    toolsLoaded "已加载工具"
    conceptsLoaded "已加载概念"

hi
  buttons
    reportIssue "समस्या रिपोर्ट करें"
    reportMissingRule "छूटा नियम रिपोर्ट करें"
    sourceCode "स्रोत कोड"
    download "डाउनलोड"
    exportMemory "स्मृति निर्यात करें"
    importMemory "स्मृति आयात करें"
    resetMemory "स्मृति रीसेट करें"
    diagnostics "निदान"
    diagnosticsOn "निदान चालू"
    agent "एजेंट"
    chat "चैट"
    demo "डेमो"
    demoOn "डेमो चालू"
    openMenu "मेन्यू खोलें"
    closeMenu "मेन्यू बंद करें"
    attachFiles "फाइलें जोड़ें"
    composerMenu "इनपुट मेन्यू"
    collapseSidebar "साइड पैनल छिपाएं"
    expandSidebar "साइड पैनल दिखाएं"
  titles
    reportIssue """
      समस्या रिपोर्ट करें - वर्तमान सत्र transcript के साथ पहले से भरा GitHub issue खोलें। पूरा memory export जोड़ने के लिए docs/upload-memory.md देखें (Gist या .zip)।
    """
    sourceCode "GitHub पर formal-ai का source code खोलें।"
    download "macOS, Windows और Linux के लिए formal-ai डेस्कटॉप डाउनलोड करें।"
    exportMemory """
      स्मृति निर्यात करें - पूरे agent state को formal-ai-memory.lino में सेव करें: पूरा seed, UI preferences, environment metadata, और append-only event log. GitHub issue में जोड़ने के लिए docs/upload-memory.md देखें (Gist या .zip)।
    """
    importMemory """
      स्मृति आयात करें - पिछला export load करें। नया full-memory bundle और legacy demo_memory event-only log दोनों स्वीकार हैं। Migration hints इसी bar के पास दिखेंगे।
    """
    resetMemory """
      स्मृति रीसेट करें - export warning और confirmation के बाद local event log को स्थायी रूप से हटाता है। Built-in seed उपलब्ध रहता है।
    """
    diagnosticsShow "reasoning trace, intent, evidence, और thinking-steps panels दिखाएं।"
    diagnosticsHide "reasoning trace, intent, evidence, और thinking-steps panels छिपाएं।"
    agentOn "एजेंट मोड चालू है - single-turn chat पर लौटें।"
    agentOff "चैट मोड - एजेंट मोड पर जाएं, जहां हर संदेश sequential steps में टूटकर plan की तरह चलेगा।"
    demoOn "डेमो चालू है - scripted dialog रोकें और manual chat फिर शुरू करें।"
    demoOff "scripted demo dialog शुरू करें।"
    menuOpen "side panel खोलें (बातचीत, prompts, tools)।"
    menuClose "side panel बंद करें (बातचीत, prompts, tools)।"
    composerMenu "attachments, memory, और reporting के input actions खोलें।"
    resizeSidebar "side panel की चौड़ाई बदलें।"
    collapseSidebar "side panel छिपाएं (chat के लिए अधिक जगह)।"
    expandSidebar "side panel दिखाएं (बातचीत, prompts, tools)।"
  composer
    placeholder
      chat "formal-ai को संदेश"
      agent "कई चरणों वाला कार्य लिखें (चरणों को ; या 'then' से अलग करें)"
    demoHint
      before "डेमो चल रहा है - "
      after " दबाकर रोकें और अपना संदेश लिखें।"
    send "भेजें"
    sending "भेज रहा है..."
    attachments "{count} जुड़ी हुई"
  conversation
    new "+ नई बातचीत"
    empty "नई बातचीत शुरू करें।"
    deletedEmpty "कोई deleted बातचीत नहीं है।"
    emptyTitle "(खाली)"
    messageCount "{count} संदेश"
    showDeleted "Deleted बातचीत दिखाएं"
    delete "बातचीत हटाएं"
    deletePermanent "स्थायी रूप से हटाएं"
    purgeDeleted "Deleted हटाएं"
    purgeDeletedTitle "Deleted बातचीत के सभी events स्थायी रूप से हटाएं।"
  message
    author
      user "आप"
    copyCode "कॉपी करें"
    copyCodeDone "कॉपी हो गया!"
    copyCodeTitle "कोड को क्लिपबोर्ड पर कॉपी करें"
    copyMarkdown "Markdown के रूप में कॉपी करें"
    copyMarkdownDone "कॉपी हो गया!"
    copyMarkdownTitle "पूरे संदेश को Markdown के रूप में कॉपी करें"
    thinking "सोच"
    diagnosticsSteps "तर्क के चरण"
    diagnosticsTools "Tool calls"
    toolInputs "Inputs"
    toolOutputs "Outputs"
    toolReasoning "Tool reasoning"
    formalization "औपचारिकीकरण"
    formalizationSubjectVerbObject "Subject - Verb - Object"
    otherSources "अन्य स्रोत"
    sourceCounts "{count} स्रोत"
    diagnosticsHttp "कच्चे HTTP अनुरोध"
    diagnosticsHttpRequest "अनुरोध"
    diagnosticsHttpResponse "प्रतिक्रिया"
    diagnosticsHttpUnified "एकीकृत लिंक संकेतन"
    diagnosticsHttpStatus "HTTP {status} · {elapsed} मि.से. · {bytes} बाइट"
    diagnosticsHttpEmpty "इस संदेश के लिए कोई HTTP अनुरोध दर्ज नहीं किया गया।"
    diagnosticsProviders "खोजे गए स्रोत"
    diagnosticsProviderRow "{label}: {status} · {count} परिणाम · {elapsed} मि.से."
    diagnosticsProviderOk "ठीक"
    diagnosticsProviderError "त्रुटि"
  fetch
    collapse "समेटें"
    expand "फैलाएं"
    fullscreen "पूर्ण स्क्रीन"
    minimize "छोटा करें"
    openInNewTab "नए टैब में खोलें"
    frameTitle "पूर्वावलोकित पेज: {url}"
  memory
    exportTriggered "स्मृति निर्यात शुरू हुआ। आपका browser `formal-ai-memory.lino` डाउनलोड कर रहा है।"
    importTriggered "स्मृति आयात शुरू हुआ। saved memory restore करने के लिए खुले dialog में `.lino` file चुनें।"
    resetCancelled "स्मृति रीसेट रद्द हुआ।"
  confirm
    resetMemoryExportFirst "पहले स्मृति export करें? OK backup export करके reset रद्द करेगा। Cancel irreversible confirmation पर जाएगा।"
    resetMemory "स्मृति रीसेट irreversible है और local event log को स्थायी रूप से हटाएगा। जारी रखें?"
    purgeDeletedExportFirst "पहले स्मृति export करें? OK backup export करके deletion रद्द करेगा। Cancel irreversible confirmation पर जाएगा।"
    purgeDeleted "यह irreversible action deleted बातचीत के सभी events स्थायी रूप से हटाएगा। जारी रखें?"
    deleteConversationPermanentExportFirst "पहले स्मृति export करें? OK backup export करके deletion रद्द करेगा। Cancel irreversible confirmation पर जाएगा।"
    deleteConversationPermanent "यह irreversible action इस बातचीत को memory से स्थायी रूप से हटाएगा। जारी रखें?"
  sidebar
    conversations "बातचीत"
    menu "मेन्यू"
    examplePrompts "उदाहरण प्रॉम्प्ट"
    tools "टूल"
    trace "ट्रेस"
    settings "सेटिंग्स"
  settings
    ambiguity "अस्पष्टता"
    moreQuestions "अधिक सवाल"
    moreGuessing "अधिक अनुमान"
    followUpInitiative "फ़ॉलो-अप पहल"
    userInitiative "यूज़र पहल"
    assistantInitiative "सहायक सुझाव"
    temperature "तापमान"
    deterministic "निश्चित"
    varied "विविध"
    variations "ग्रीटिंग विविधता"
    definitionFusion
      label "परिभाषा fusion"
      explicit "सिर्फ स्पष्ट"
      auto "definitions के लिए auto"
    blueprintComposition
      label "प्रोग्राम संरचना"
      composed "संयोजित (प्रक्षेपित)"
      documented "पूर्ण (दस्तावेज़ीकृत)"
    experimentalOcr
      label "Experimental OCR"
      warning "पहली बार इस्तेमाल पर लगभग 6 MB डाउनलोड होता है: OCR wrapper, worker, WebAssembly core, और English traineddata."
    language
      label "भाषा"
      auto "ऑटो"
    responseLanguage
      label "उत्तर की भाषा"
      lastMessage "अंतिम संदेश की भाषा"
      preferred "पसंदीदा भाषा"
      ui "इंटरफ़ेस भाषा"
    preferredLanguage
      label "पसंदीदा भाषा"
    theme
      label "थीम"
      auto "ऑटो"
      light "लाइट"
      dark "डार्क"
    uiSkin
      label "UI स्किन"
      flat "फ्लैट"
      glass "ग्लास"
      contrast "कॉन्ट्रास्ट"
    chatStyle
      label "चैट शैली"
      cards "कार्ड"
      compact "कॉम्पैक्ट"
      bubbles "बबल"
    composerStyle
      label "इनपुट शैली"
      flat "फ्लैट"
      glassSoft "सॉफ्ट ग्लास"
      glassClear "क्लियर ग्लास"
      bubble "बबल"
    composerAction
      label "इनपुट action"
      attach "अटैच"
      plus "प्लस"
    assistantName
      label "सहायक नाम"
      placeholder "सेट नहीं"
    location
      label "स्थान"
      placeholder "शहर या क्षेत्र"
  status
    demoPlaying "डेमो चल रहा है"
    manual "मैनुअल मोड"
    nextDialogIn "{seconds}s में अगला संवाद"
    memoryUnavailable "स्मृति उपलब्ध नहीं"
    memoryExported "पूरी स्मृति निर्यात हुई: {events} event(s) + {seedFiles} seed file(s)"
    memoryImportedBundle "full bundle से {inserted} event(s) आयात हुए"
    memoryImportedEvents "{inserted} events आयात हुए"
    memoryReset "स्मृति रीसेट हुई: {events} event(s) हटे"
    deletedConversationsPurged "Deleted बातचीत से {events} event(s) स्थायी रूप से हटे"
    conversationPurged "इस बातचीत से {events} event(s) स्थायी रूप से हटे"
    migration "{headline}. Migration: {suggestions}"
    exportFailed "निर्यात विफल"
    importFailed "आयात विफल"
    memoryResetFailed "स्मृति deletion विफल"
    working "काम जारी है"
  toolMode
    agent "एजेंट"
    thinking "सोच"
  trace
    model "मॉडल"
    mode "मोड"
    intent "इरादा"
    data "डेटा"
    seedFiles "Seed फाइलें"
    toolsLoaded "लोड किए गए टूल"
    conceptsLoaded "लोड किए गए कॉन्सेप्ट"