From cc3488d75022dc4f03f131ad2e652aa096a8f3df Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 28 Feb 2026 02:36:33 +0000 Subject: [PATCH 1/3] Initial plan From 023e33aaef28862e4db3c7f8fc40cef1924b2bfc Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 28 Feb 2026 02:44:49 +0000 Subject: [PATCH 2/3] Add proof source link section to slug detail pages Co-authored-by: brunoborges <129743+brunoborges@users.noreply.github.com> --- html-generators/generate.java | 25 +++++++++++++++++++++++++ html-generators/generate.py | 27 +++++++++++++++++++++++++++ templates/slug-template.html | 2 ++ translations/strings/en.yaml | 2 ++ 4 files changed, 56 insertions(+) diff --git a/html-generators/generate.java b/html-generators/generate.java index edab941..9cf2750 100644 --- a/html-generators/generate.java +++ b/html-generators/generate.java @@ -404,6 +404,30 @@ String renderDocLinks(String tpl, JsonNode docs) { return String.join("\n", links); } +String slugToPascalCase(String slug) { + return Arrays.stream(slug.split("-")) + .filter(w -> !w.isEmpty()) + .map(w -> Character.toUpperCase(w.charAt(0)) + w.substring(1)) + .collect(Collectors.joining()); +} + +String renderProofSection(Snippet s, Map strings) { + var pascal = slugToPascalCase(s.slug()); + var proofFile = Path.of("proof", s.category(), pascal + ".java"); + if (!Files.exists(proofFile)) return ""; + var proofUrl = "https://github.com/javaevolved/javaevolved.github.io/blob/main/proof/%s/%s.java" + .formatted(s.category(), pascal); + var label = strings.getOrDefault("sections.proof", "Proof"); + var linkText = strings.getOrDefault("sections.proofLink", "View proof source"); + return """ +
+
%s
+
+ %s ↗ +
+
""".formatted(label, proofUrl, linkText); +} + String renderRelatedSection(String tpl, Snippet snippet, Map all, String locale, Map strings) { return snippet.related().stream().filter(all::containsKey) .map(p -> renderRelatedCard(tpl, all.get(p), locale, strings)) @@ -469,6 +493,7 @@ String generateHtml(Templates tpl, Snippet s, Map all, Map 'TypeInferenceWithVar'.""" + return "".join(w.capitalize() for w in slug.split("-") if w) + + +def render_proof_section(data, strings): + """Render the proof section linking to the proof source file on GitHub, or empty string if no proof exists.""" + slug = data["slug"] + category = data["category"] + pascal = slug_to_pascal_case(slug) + proof_file = os.path.join("proof", category, f"{pascal}.java") + if not os.path.isfile(proof_file): + return "" + proof_url = f"https://github.com/javaevolved/javaevolved.github.io/blob/main/proof/{category}/{pascal}.java" + label = strings.get("sections.proof", "Proof") + link_text = strings.get("sections.proofLink", "View proof source") + return ( + '
\n' + f'
{label}
\n' + '
\n' + f' {link_text} ↗\n' + '
\n' + '
' + ) + + def render_social_share(tpl, slug, title, strings): """Render social share URLs.""" encoded_url = url_encode(f"{BASE_URL}/{slug}.html") @@ -520,6 +546,7 @@ def generate_html(templates, data, all_snippets, extra_tokens, locale): "navArrows": render_nav_arrows(data, locale), "whyCards": render_why_cards(templates["why_card"], data["whyModernWins"]), "docLinks": render_doc_links(templates["doc_link"], data.get("docs", [])), + "proofSection": render_proof_section(data, extra_tokens), "relatedCards": render_related_section( templates["related_card"], data, all_snippets, locale, extra_tokens ), diff --git a/templates/slug-template.html b/templates/slug-template.html index 744e8b0..396d246 100644 --- a/templates/slug-template.html +++ b/templates/slug-template.html @@ -214,6 +214,8 @@

{{title}}

+{{proofSection}} +
{{sections.relatedPatterns}}
diff --git a/translations/strings/en.yaml b/translations/strings/en.yaml index 8be28f2..2628874 100644 --- a/translations/strings/en.yaml +++ b/translations/strings/en.yaml @@ -27,6 +27,8 @@ sections: jdkSupport: JDK Support howItWorks: How it works relatedDocs: Related Documentation + proof: Proof + proofLink: View proof source relatedPatterns: Related patterns filters: show: 'Show:' From f9a2dc38d9ea29373a4600a3eaea264406e014cf Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 28 Feb 2026 02:59:25 +0000 Subject: [PATCH 3/3] Add proof section translations to all 11 locale YAML files Co-authored-by: brunoborges <129743+brunoborges@users.noreply.github.com> --- translations/strings/ar.yaml | 2 ++ translations/strings/de.yaml | 2 ++ translations/strings/es.yaml | 2 ++ translations/strings/fr.yaml | 2 ++ translations/strings/it.yaml | 2 ++ translations/strings/ja.yaml | 2 ++ translations/strings/ko.yaml | 2 ++ translations/strings/pl.yaml | 2 ++ translations/strings/pt-BR.yaml | 2 ++ translations/strings/tr.yaml | 2 ++ translations/strings/zh-CN.yaml | 2 ++ 11 files changed, 22 insertions(+) diff --git a/translations/strings/ar.yaml b/translations/strings/ar.yaml index c2054d7..2e6af61 100644 --- 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 index 2fc3d19..7905417 100644 --- 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 index f6bf10a..3ad0ef8 100644 --- 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 index df46ae7..07171be 100644 --- 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 index 7c375c0..529ac0e 100644 --- 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 index 148c402..ac68ffc 100644 --- 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 index bff3266..6eb84b7 100644 --- 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 index e97cc1a..49e1595 100644 --- 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 index 04076c7..7f7df6a 100644 --- 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 index a04e498..8190c9c 100644 --- 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 index dae68e9..248db18 100644 --- 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: '显示：'