Add proof section translations to all 11 locale YAML files

Copilot · brunoborges · Copilot · commit f9a2dc38d9ea · 2026-02-28T02:59:25.000Z
Co-authored-by: brunoborges &lt;129743+brunoborges@users.noreply.github.com&gt;
diff --git a/translations/strings/ar.yaml b/translations/strings/ar.yaml
@@ -25,6 +25,8 @@ sections:
   jdkSupport: دعم JDK
   howItWorks: كيف يعمل
   relatedDocs: توثيق ذو صلة
+  proof: إثبات
+  proofLink: عرض كود الإثبات
   relatedPatterns: أنماط ذات صلة
 filters:
   show: "عرض:"
diff --git a/translations/strings/de.yaml b/translations/strings/de.yaml
@@ -27,6 +27,8 @@ sections:
   jdkSupport: JDK-Unterstützung
   howItWorks: Wie es funktioniert
   relatedDocs: Zugehörige Dokumentation
+  proof: Beweis
+  proofLink: Beweisquelle ansehen
   relatedPatterns: Verwandte Muster
 filters:
   show: 'Anzeigen:'
diff --git a/translations/strings/es.yaml b/translations/strings/es.yaml
@@ -27,6 +27,8 @@ sections:
   jdkSupport: Soporte JDK
   howItWorks: Cómo funciona
   relatedDocs: Documentación Relacionada
+  proof: Prueba
+  proofLink: Ver código de prueba
   relatedPatterns: Patrones relacionados
 filters:
   show: 'Mostrar:'
diff --git a/translations/strings/fr.yaml b/translations/strings/fr.yaml
@@ -27,6 +27,8 @@ sections:
   jdkSupport: Support JDK
   howItWorks: Comment ça fonctionne
   relatedDocs: Documentation Associée
+  proof: Preuve
+  proofLink: Voir la preuve source
   relatedPatterns: Patterns associés
 filters:
   show: 'Afficher :'
diff --git a/translations/strings/it.yaml b/translations/strings/it.yaml
@@ -27,6 +27,8 @@ sections:
   jdkSupport: Supporto JDK
   howItWorks: Come funziona
   relatedDocs: Documentazione Correlata
+  proof: Prova
+  proofLink: Vedi sorgente di prova
   relatedPatterns: Pattern correlati
 filters:
   show: 'Mostra:'
diff --git a/translations/strings/ja.yaml b/translations/strings/ja.yaml
@@ -25,6 +25,8 @@ sections:
   jdkSupport: JDKサポート
   howItWorks: 仕組み
   relatedDocs: 関連ドキュメント
+  proof: 証明
+  proofLink: 証明ソースを見る
   relatedPatterns: 関連パターン
 filters:
   show: '表示:'
diff --git a/translations/strings/ko.yaml b/translations/strings/ko.yaml
@@ -25,6 +25,8 @@ sections:
   jdkSupport: JDK 지원
   howItWorks: 동작 원리
   relatedDocs: 관련 문서
+  proof: 증명
+  proofLink: 증명 소스 보기
   relatedPatterns: 관련 패턴
 filters:
   show: '표시:'
diff --git a/translations/strings/pl.yaml b/translations/strings/pl.yaml
@@ -26,6 +26,8 @@ sections:
   jdkSupport: Wsparcie JDK
   howItWorks: Jak to działa
   relatedDocs: Powiązana dokumentacja
+  proof: Dowód
+  proofLink: Zobacz źródło dowodu
   relatedPatterns: Powiązane wzorce
 filters:
   show: 'Pokaż:'
diff --git a/translations/strings/pt-BR.yaml b/translations/strings/pt-BR.yaml
@@ -26,6 +26,8 @@ sections:
   jdkSupport: Suporte JDK
   howItWorks: Como funciona
   relatedDocs: Documentação Relacionada
+  proof: Prova
+  proofLink: Ver código de prova
   relatedPatterns: Padrões relacionados
 filters:
   show: 'Mostrar:'
diff --git a/translations/strings/tr.yaml b/translations/strings/tr.yaml
@@ -26,6 +26,8 @@ sections:
   jdkSupport: JDK Desteği
   howItWorks: Nasıl çalışır
   relatedDocs: İlgili Belgeler
+  proof: Kanıt
+  proofLink: Kanıt kaynağını görüntüle
   relatedPatterns: İlgili desenler
 filters:
   show: 'Göster:'
diff --git a/translations/strings/zh-CN.yaml b/translations/strings/zh-CN.yaml
@@ -26,6 +26,8 @@ sections:
   jdkSupport: JDK 支持
   howItWorks: 工作原理
   relatedDocs: 相关文档
+  proof: 证明
+  proofLink: 查看证明源码
   relatedPatterns: 相关模式
 filters:
   show: '显示：'
