diff --git a/ExecutionPipelineDiagram.md b/ExecutionPipelineDiagram.md
new file mode 100644
index 0000000..f2d9d88
--- /dev/null
+++ b/ExecutionPipelineDiagram.md
@@ -0,0 +1,51 @@
+# End-to-End Execution Pipeline Diagram
+
+```text
++----------------------+
+| .frog                |
+| canonical source     |
++----------+-----------+
+           |
+           v
++----------------------+
+| structural validation|
++----------+-----------+
+           |
+           v
++----------------------+
+| semantic validation  |
++----------+-----------+
+           |
+           v
++----------------------+
+| FIR                  |
+| open Execution IR    |
++------+-------+-------+
+       |       |
+       |       +----------------------------+
+       |                                    |
+       v                                    v
++----------------------+        +----------------------+
+| lowering             |        | widget realization   |
+| backend contract     |        | .wfrog + SVG         |
++----------+-----------+        +----------+-----------+
+           |                               |
+           v                               v
++----------------------+        +----------------------+
+| LLVM backend         |        | UI host              |
+| native artifact      |        | replaceable host     |
++----------+-----------+        +----------+-----------+
+           |                               |
+           +---------------+---------------+
+                           |
+                           v
+                 +----------------------+
+                 | runtime              |
+                 | orchestration        |
+                 | bindings             |
+                 | scheduling           |
+                 | diagnostics          |
+                 +----------------------+
+```
+
+This diagram is a compact reading aid for the public FROG pipeline. It does not redefine FROG semantics.
diff --git a/Implementations/Reference/pipeline.md b/Implementations/Reference/pipeline.md
index 497ff57..0a5be7f 100644
--- a/Implementations/Reference/pipeline.md
+++ b/Implementations/Reference/pipeline.md
@@ -64,6 +64,52 @@ implementation strategy.
 The current UI and native-proof corridor has two visible branches that meet at
 the runtime boundary.
 </p>
+
+<pre><code>+----------------------+
+| .frog                |
+| canonical source     |
++----------+-----------+
+           |
+           v
++----------------------+
+| structural validation|
++----------+-----------+
+           |
+           v
++----------------------+
+| semantic validation  |
++----------+-----------+
+           |
+           v
++----------------------+
+| FIR                  |
+| open Execution IR    |
++------+-------+-------+
+       |       |
+       |       +----------------------------+
+       |                                    |
+       v                                    v
++----------------------+        +----------------------+
+| lowering             |        | widget realization   |
+| backend contract     |        | .wfrog + SVG         |
++----------+-----------+        +----------+-----------+
+           |                               |
+           v                               v
++----------------------+        +----------------------+
+| LLVM backend         |        | UI host              |
+| native artifact      |        | replaceable host     |
++----------+-----------+        +----------+-----------+
+           |                               |
+           +---------------+---------------+
+                           |
+                           v
+                 +----------------------+
+                 | runtime              |
+                 | orchestration        |
+                 | bindings             |
+                 | scheduling           |
+                 | diagnostics          |
+                 +----------------------+</code></pre>
 
 <p>
 The diagram and computation branch is: