diff --git a/_config.yml b/_config.yml index 4056403..a1bb101 100644 --- a/_config.yml +++ b/_config.yml @@ -34,6 +34,8 @@ social: name: Proven Commons links: - https://github.com/Proven-Commons +twitter: + card: summary_large_image # The site has its own layouts. Without this, GitHub adds its default theme. theme: null @@ -88,3 +90,53 @@ defaults: The full plan for Proven Commons: how a project moves through the factory, the verified bar, the academy, funding, and the 90-day plan. permalink: /brief/ + image: + path: /assets/img/og-brief.png + width: 1200 + height: 630 + alt: Proven Commons Executive Brief. + - scope: + path: playbook/README.md + values: + title: Proven Commons Verification Playbook + image: + path: /assets/img/og-playbook.png + width: 1200 + height: 630 + alt: Proven Commons Verification Playbook. + - scope: + path: playbook/verified-bar.md + values: + title: "The Verified Bar: What counts as proven" + image: + path: /assets/img/og-verified-bar.png + width: 1200 + height: 630 + alt: "The Verified Bar: What counts as proven." + - scope: + path: reviews/README.md + values: + title: Independent Verification Reviews + image: + path: /assets/img/og-reviews.png + width: 1200 + height: 630 + alt: Independent Verification Reviews. + - scope: + path: reviews/tar/2026-10-24-bar-audit.md + values: + title: "TAR Archive Library: Verified Bar Audit" + image: + path: /assets/img/og-tar-audit.png + width: 1200 + height: 630 + alt: "TAR Archive Library: Verified Bar Audit." + - scope: + path: CANDIDATES.md + values: + title: Candidate Libraries for Formal Verification + image: + path: /assets/img/og-candidates.png + width: 1200 + height: 630 + alt: Candidate Libraries for Formal Verification. diff --git a/assets/img/og-brief.png b/assets/img/og-brief.png new file mode 100644 index 0000000..558e054 Binary files /dev/null and b/assets/img/og-brief.png differ diff --git a/assets/img/og-candidates.png b/assets/img/og-candidates.png new file mode 100644 index 0000000..54452f3 Binary files /dev/null and b/assets/img/og-candidates.png differ diff --git a/assets/img/og-playbook.png b/assets/img/og-playbook.png new file mode 100644 index 0000000..4bbf8e1 Binary files /dev/null and b/assets/img/og-playbook.png differ diff --git a/assets/img/og-reviews.png b/assets/img/og-reviews.png new file mode 100644 index 0000000..c4030ed Binary files /dev/null and b/assets/img/og-reviews.png differ diff --git a/assets/img/og-tar-audit.png b/assets/img/og-tar-audit.png new file mode 100644 index 0000000..06c94b3 Binary files /dev/null and b/assets/img/og-tar-audit.png differ diff --git a/assets/img/og-verified-bar.png b/assets/img/og-verified-bar.png new file mode 100644 index 0000000..19144a2 Binary files /dev/null and b/assets/img/og-verified-bar.png differ diff --git a/assets/img/social-card.png b/assets/img/social-card.png index 80d8062..43a5db0 100644 Binary files a/assets/img/social-card.png and b/assets/img/social-card.png differ