formal-ai 0.104.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
# 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"
    exportMemory "Export memory"
    importMemory "Import 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."
    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.
    """
    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"
  message
    author
      user "You"
    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."
  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"
    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"
    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"
    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"
    migration "{headline}. Migration: {suggestions}"
    exportFailed "Export failed"
    importFailed "Import 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 "Исходный код"
    exportMemory "Экспорт памяти"
    importMemory "Импорт памяти"
    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."
    exportMemory """
      Экспорт памяти - сохраняет полное состояние агента в formal-ai-memory.lino: весь seed, настройки UI, метаданные окружения и append-only журнал событий. См. docs/upload-memory.md, чтобы прикрепить экспорт к GitHub issue (Gist или .zip).
    """
    importMemory """
      Импорт памяти - загружает предыдущий экспорт. Поддерживает новый полный bundle памяти и устаревший журнал demo_memory только с событиями. Подсказки миграции появятся рядом с панелью.
    """
    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 "Удалить разговор"
  message
    author
      user "Вы"
    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` в открытом диалоге, чтобы восстановить сохраненную память.
    """
  sidebar
    conversations "Разговоры"
    menu "Меню"
    examplePrompts "Примеры запросов"
    tools "Инструменты"
    trace "Трассировка"
    settings "Настройки"
  settings
    ambiguity "Неясность"
    moreQuestions "Больше вопросов"
    moreGuessing "Больше догадок"
    followUpInitiative "Инициатива продолжения"
    userInitiative "Инициатива пользователя"
    assistantInitiative "Предлагать дальше"
    temperature "Температура"
    deterministic "Детерминированно"
    varied "Разнообразнее"
    variations "Варианты приветствий"
    definitionFusion
      label "Слияние определений"
      explicit "Только явно"
      auto "Авто для определений"
    experimentalOcr
      label "Экспериментальный OCR"
      warning "При первом использовании скачивается около 6 MB: оболочка OCR, worker, ядро WebAssembly и английские traineddata."
    language
      label "Язык"
      auto "Авто"
    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 "Плюс"
    location
      label "Местоположение"
      placeholder "Город или регион"
  status
    demoPlaying "Демо выполняется"
    manual "Ручной режим"
    nextDialogIn "Следующий диалог через {seconds} с"
    memoryUnavailable "Память недоступна"
    memoryExported "Полный экспорт памяти: {events} событ. + {seedFiles} seed-файл(ов)"
    memoryImportedBundle "Импортировано {inserted} событ. из полного bundle"
    memoryImportedEvents "Импортировано событий: {inserted}"
    migration "{headline}. Миграция: {suggestions}"
    exportFailed "Экспорт не удался"
    importFailed "Импорт не удался"
    working "В работе"
  toolMode
    agent "агент"
    thinking "мышление"
  trace
    model "Модель"
    mode "Режим"
    intent "Намерение"
    data "Данные"
    seedFiles "Файлы seed"
    toolsLoaded "Инструментов загружено"
    conceptsLoaded "Понятий загружено"

zh
  buttons
    reportIssue "报告问题"
    reportMissingRule "报告缺失规则"
    sourceCode "源代码"
    exportMemory "导出记忆"
    importMemory "导入记忆"
    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 的源代码。"
    exportMemory """
      导出记忆 - 将完整代理状态保存为 formal-ai-memory.lino:全部 seed、UI 偏好、环境元数据和追加式事件日志。请参阅 docs/upload-memory.md,了解如何附加到 GitHub issue(Gist 或 .zip)。
    """
    importMemory "导入记忆 - 加载以前的导出。支持新的完整记忆 bundle 和旧版 demo_memory 事件日志。迁移提示会显示在此栏旁边。"
    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 "删除对话"
  message
    author
      user "你"
    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` 文件来恢复保存的记忆。"
  sidebar
    conversations "对话"
    menu "菜单"
    examplePrompts "示例提示"
    tools "工具"
    trace "跟踪"
    settings "设置"
  settings
    ambiguity "歧义"
    moreQuestions "多提问"
    moreGuessing "多猜测"
    followUpInitiative "后续主动性"
    userInitiative "用户主动"
    assistantInitiative "助手提议"
    temperature "温度"
    deterministic "确定"
    varied "多样"
    variations "问候变化"
    definitionFusion
      label "定义融合"
      explicit "仅显式"
      auto "定义自动"
    experimentalOcr
      label "实验性 OCR"
      warning "首次使用会下载约 6 MB:OCR 包装层、worker、WebAssembly 核心和英语训练数据。"
    language
      label "语言"
      auto "自动"
    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 "加号"
    location
      label "位置"
      placeholder "城市或地区"
  status
    demoPlaying "演示播放中"
    manual "手动模式"
    nextDialogIn "{seconds} 秒后下一个对话"
    memoryUnavailable "记忆不可用"
    memoryExported "已导出完整记忆:{events} 个事件 + {seedFiles} 个 seed 文件"
    memoryImportedBundle "已从完整 bundle 导入 {inserted} 个事件"
    memoryImportedEvents "已导入 {inserted} 个事件"
    migration "{headline}。迁移:{suggestions}"
    exportFailed "导出失败"
    importFailed "导入失败"
    working "工作中"
  toolMode
    agent "代理"
    thinking "思考"
  trace
    model "模型"
    mode "模式"
    intent "意图"
    data "数据"
    seedFiles "Seed 文件"
    toolsLoaded "已加载工具"
    conceptsLoaded "已加载概念"

hi
  buttons
    reportIssue "समस्या रिपोर्ट करें"
    reportMissingRule "छूटा नियम रिपोर्ट करें"
    sourceCode "स्रोत कोड"
    exportMemory "स्मृति निर्यात करें"
    importMemory "स्मृति आयात करें"
    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 खोलें।"
    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 के पास दिखेंगे।
    """
    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 "बातचीत हटाएं"
  message
    author
      user "आप"
    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 चुनें।"
  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"
    experimentalOcr
      label "Experimental OCR"
      warning "पहली बार इस्तेमाल पर लगभग 6 MB डाउनलोड होता है: OCR wrapper, worker, WebAssembly core, और English traineddata."
    language
      label "भाषा"
      auto "ऑटो"
    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 "प्लस"
    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 आयात हुए"
    migration "{headline}. Migration: {suggestions}"
    exportFailed "निर्यात विफल"
    importFailed "आयात विफल"
    working "काम जारी है"
  toolMode
    agent "एजेंट"
    thinking "सोच"
  trace
    model "मॉडल"
    mode "मोड"
    intent "इरादा"
    data "डेटा"
    seedFiles "Seed फाइलें"
    toolsLoaded "लोड किए गए टूल"
    conceptsLoaded "लोड किए गए कॉन्सेप्ट"