From 4419ccb32a7381fdb9ece108a539a93ea39b366d Mon Sep 17 00:00:00 2001
From: Content Agent <content@scobleclaw.ai>
Date: Tue, 28 Apr 2026 23:57:42 -0700
Subject: [PATCH] fix: mention dark provenance in SpeckDL section intro

---
 landing/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/landing/index.html b/landing/index.html
index 3428e98..9b0cca5 100644
--- a/landing/index.html
+++ b/landing/index.html
@@ -202,7 +202,7 @@
 
 <section id="speckdl">
   <h2>SpeckDL: A Specification Language</h2>
-  <p>SpeckDL defines <em>what</em> a system does, not <em>how</em>. The compiler produces deterministic output: Z3 → Decision Structure → WASM. Same input, same output — every time.</p>
+  <p>SpeckDL defines <em>what</em> a system does, not <em>how</em>. The compiler produces deterministic output: Z3 → Decision Structure → WASM. Same input, same output — every time. Every spec includes <strong>dark provenance</strong>: traceability to regulations, design decisions, and source conversations — embedded in the spec, not added later.</p>
 
   <div class="code-block"><pre><span class="kw">speck</span> <span class="ty">RetryHandler</span> {
   input: { operation: Operation, maxRetries: Nat }