From aaf89d7d18e59305e9857d3a113000ca5bc053fb Mon Sep 17 00:00:00 2001
From: Scott Scoble <scott@scoble.me>
Date: Thu, 30 Apr 2026 20:17:30 -0700
Subject: [PATCH] Expand features from 4 to 5 cards: split Reference into
 Compiler + Reference Tools

---
 landing/index.html | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/landing/index.html b/landing/index.html
index ee89674..0adfe1f 100644
--- a/landing/index.html
+++ b/landing/index.html
@@ -220,8 +220,12 @@
       <p>A methodology where every behavior traces back to its source — a regulation, a design decision, a conversation. The provenance graph is always present, materialized on demand for audits or debugging.</p>
     </div>
     <div class="feature-card">
-      <h3>Reference Implementations</h3>
-      <p>Minimal reference tools for SpeckDL parsing, Z3 constraint verification, and provenance graph generation. The building blocks for tooling, not a production system.</p>
+      <h3>Compiler</h3>
+      <p>Compiles SpeckDL directly to Wasm through a deterministic pipeline — Z3 constraint solving, then code generation. No LLMs, no non-determinism. Same input, same output, every time.</p>
+    </div>
+    <div class="feature-card">
+      <h3>Reference Tools</h3>
+      <p>Minimal implementations for SpeckDL parsing, Z3 verification, and provenance graph generation. The building blocks for tooling, not a production system.</p>
     </div>
     <div class="feature-card">
       <h3>Ecosystem-First</h3>