From 0ee05cbe25e5f52f30d37676c3fa786515c6a4ba Mon Sep 17 00:00:00 2001
From: ahrazzle <ahrazzle@users.noreply.github.com>
Date: Wed, 11 Nov 2026 18:08:41 +0000
Subject: [PATCH 1/2] Replace em dash in home page HTML title with colon

Align the document <title> with og:title and twitter:title so the
home page title carries no U+2014 em dash.

Signed-off-by: Cursor Agent <cursoragent@cursor.com>
Co-authored-by: ahrazzle <ahrazzle@users.noreply.github.com>
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index b08f596..ac4b414 100644
--- a/index.html
+++ b/index.html
@@ -4,7 +4,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <meta name="theme-color" content="#173d35" />
-    <title>Proven Commons — Software the world can build on</title>
+    <title>Proven Commons: Software the world can build on</title>
     <meta
       name="description"
       content="A verified software factory and academy. We prove critical software follows its specification, publish the evidence, and train people through real contributions."

From e64efc2cd780e3f1b379f2691dc598df053972e4 Mon Sep 17 00:00:00 2001
From: ahrazzle <ahrazzle@users.noreply.github.com>
Date: Wed, 11 Nov 2026 18:14:06 +0000
Subject: [PATCH 2/2] Use middle dots in project-index labels instead of em
 dashes

Replace U+2014 separators in the three wave-one project labels with
the same middle-dot style used elsewhere on the home page.

Signed-off-by: Cursor Agent <cursoragent@cursor.com>
Co-authored-by: ahrazzle <ahrazzle@users.noreply.github.com>
---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index ac4b414..fc37fa7 100644
--- a/index.html
+++ b/index.html
@@ -528,7 +528,7 @@ <h3>Next on the roadmap</h3>
           </div>
           <div class="project-grid">
             <article>
-              <span class="project-index">01 — ACCESS</span>
+              <span class="project-index">01 · ACCESS</span>
               <h3>Policy engine</h3>
               <p>
                 Cedar-style decisions: a satisfied forbid means deny, no
@@ -537,7 +537,7 @@ <h3>Policy engine</h3>
               </p>
             </article>
             <article>
-              <span class="project-index">02 — DATA</span>
+              <span class="project-index">02 · DATA</span>
               <h3>SQLite file reader</h3>
               <p>
                 Bounded parsing of headers and records. Return an error instead
@@ -545,7 +545,7 @@ <h3>SQLite file reader</h3>
               </p>
             </article>
             <article>
-              <span class="project-index">03 — PROTOCOLS · PROOFS DONE</span>
+              <span class="project-index">03 · PROTOCOLS · PROOFS DONE</span>
               <h3>Redis parser &amp; store</h3>
               <p>
                 Proved in Lean: parsing what the printer wrote gives the same