From 114b8849080f45fb12da6a849ad7616ac24a489e Mon Sep 17 00:00:00 2001
From: "Thomas Marchand (agent)" <agent@thomas.md>
Date: Thu, 8 Oct 2026 11:13:10 +0200
Subject: [PATCH] Restore the Verity logo in the README

cc88290a deleted verity.svg and the centered logo header during the
repository cleanup. Bring back the original SVG and the header block.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 README.md  |  6 +++++-
 verity.svg | 20 ++++++++++++++++++++
 2 files changed, 25 insertions(+), 1 deletion(-)
 create mode 100644 verity.svg

diff --git a/README.md b/README.md
index e10055463f..975d713a8a 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,8 @@
-# Verity
+<p align="center">
+  <img src="verity.svg" alt="Verity" width="200" />
+</p>
+
+<h1 align="center">Verity</h1>
 
 A formally verified smart contract compiler for Ethereum, written in
 [Lean 4](https://lean-lang.org/). Write a contract in an embedded DSL (or
diff --git a/verity.svg b/verity.svg
new file mode 100644
index 0000000000..61004688d9
--- /dev/null
+++ b/verity.svg
@@ -0,0 +1,20 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 507 441" width="507" height="441">
+  <g shape-rendering="crispEdges">
+    <!-- Left arm outer -->
+    <polygon points="0,0 169,0 84.5,147" fill="#6e6e6e" stroke="#6e6e6e" stroke-width="1" stroke-linejoin="round"/>
+    <!-- Left arm inner -->
+    <polygon points="169,0 84.5,147 253.5,147" fill="#3c3c3c" stroke="#3c3c3c" stroke-width="1" stroke-linejoin="round"/>
+    <!-- Right arm outer -->
+    <polygon points="338,0 507,0 422.5,147" fill="#5c5c5c" stroke="#5c5c5c" stroke-width="1" stroke-linejoin="round"/>
+    <!-- Right arm inner -->
+    <polygon points="338,0 422.5,147 253.5,147" fill="#666666" stroke="#666666" stroke-width="1" stroke-linejoin="round"/>
+    <!-- Bottom left -->
+    <polygon points="84.5,147 253.5,147 169,294" fill="#1c1c1c" stroke="#1c1c1c" stroke-width="1" stroke-linejoin="round"/>
+    <!-- Bottom right -->
+    <polygon points="253.5,147 422.5,147 338,294" fill="#525252" stroke="#525252" stroke-width="1" stroke-linejoin="round"/>
+    <!-- Bottom center (up-pointing gap fill) - blends with bottom point -->
+    <polygon points="253.5,147 169,294 338,294" fill="#2e2e2e" stroke="#2e2e2e" stroke-width="1" stroke-linejoin="round"/>
+    <!-- Bottom point -->
+    <polygon points="169,294 338,294 253.5,441" fill="#2e2e2e" stroke="#2e2e2e" stroke-width="1" stroke-linejoin="round"/>
+  </g>
+</svg>