diff --git a/docs/diagrams/speckdl-pipeline.svg b/docs/diagrams/speckdl-pipeline.svg
index 305eb29..274459e 100644
--- a/docs/diagrams/speckdl-pipeline.svg
+++ b/docs/diagrams/speckdl-pipeline.svg
@@ -1,47 +1,33 @@
-<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 800 200">
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 780 100">
   <defs>
-    <marker id="arrow" markerWidth="10" markerHeight="7" refX="10" refY="3.5" orient="auto" fill="#3b82f6">
+    <marker id="a" markerWidth="10" markerHeight="7" refX="9" refY="3.5" orient="auto" fill="#3b82f6">
       <polygon points="0 0, 10 3.5, 0 7"/>
     </marker>
-    <marker id="arrow-down" markerWidth="10" markerHeight="7" refX="5" refY="7" orient="auto" fill="#6b7280">
-      <polygon points="0 0, 10 0, 5 7"/>
-    </marker>
   </defs>
 
-  <!-- Box: SpeckDL -->
-  <rect x="20" y="20" width="140" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
-  <text x="90" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">SpeckDL</text>
-  <text x="90" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">specification language</text>
+  <!-- Boxes -->
+  <rect x="0" y="10" width="130" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
+  <text x="65" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">SpeckDL</text>
+  <text x="65" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">specification</text>
 
-  <!-- Arrow: SpeckDL → Z3 -->
-  <line x1="160" y1="50" x2="230" y2="50" stroke="#3b82f6" stroke-width="2" marker-end="url(#arrow)"/>
+  <rect x="195" y="10" width="150" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
+  <text x="270" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">Z3 (SMT Solver)</text>
+  <text x="270" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">verify constraints</text>
 
-  <!-- Box: Z3 -->
-  <rect x="235" y="20" width="140" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
-  <text x="305" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">Z3 (SMT Solver)</text>
-  <text x="305" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">verify constraints</text>
+  <rect x="410" y="10" width="150" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
+  <text x="485" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">DST</text>
+  <text x="485" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">decision structures</text>
 
-  <!-- Arrow: Z3 → DST -->
-  <line x1="375" y1="50" x2="445" y2="50" stroke="#3b82f6" stroke-width="2" marker-end="url(#arrow)"/>
+  <rect x="625" y="10" width="130" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
+  <text x="690" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">WASM</text>
+  <text x="690" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">verified artifacts</text>
 
-  <!-- Box: DST -->
-  <rect x="450" y="20" width="150" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
-  <text x="525" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">DST</text>
-  <text x="525" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">decision structures</text>
+  <!-- Arrows between boxes -->
+  <line x1="130" y1="32" x2="192" y2="32" stroke="#3b82f6" stroke-width="2" marker-end="url(#a)"/>
+  <line x1="345" y1="32" x2="407" y2="32" stroke="#3b82f6" stroke-width="2" marker-end="url(#a)"/>
+  <line x1="560" y1="32" x2="622" y2="32" stroke="#3b82f6" stroke-width="2" marker-end="url(#a)"/>
 
-  <!-- Arrow: DST → WASM -->
-  <line x1="600" y1="50" x2="670" y2="50" stroke="#3b82f6" stroke-width="2" marker-end="url(#arrow)"/>
-
-  <!-- Box: WASM -->
-  <rect x="675" y="20" width="110" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
-  <text x="730" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">WASM</text>
-  <text x="730" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">verified artifacts</text>
-
-  <!-- Provenance sub-flow -->
-  <rect x="20" y="120" width="765" height="65" rx="6" fill="none" stroke="#6b7280" stroke-width="1.5" stroke-dasharray="6,3"/>
-  <text x="400" y="143" text-anchor="middle" fill="#6b7280" font-family="system-ui, sans-serif" font-size="12">Provenance graph grows automatically at each stage</text>
-  <line x1="90" y1="80" x2="90" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
-  <line x1="305" y1="80" x2="305" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
-  <line x1="525" y1="80" x2="525" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
-  <line x1="730" y1="80" x2="730" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
-</svg>
+  <!-- Provenance bar -->
+  <rect x="0" y="70" width="755" height="28" rx="4" fill="none" stroke="#6b7280" stroke-width="1" stroke-dasharray="4,3"/>
+  <text x="377" y="88" text-anchor="middle" fill="#6b7280" font-family="system-ui, sans-serif" font-size="11">Provenance graph grows automatically at each stage</text>
+</svg>
\ No newline at end of file