From 1aae03b1a2b6fd4e10ad4eb0e45f3cebacc70e6b Mon Sep 17 00:00:00 2001 From: Youssef Menjour <71812679+Ymenjour@users.noreply.github.com> Date: Sat, 23 May 2026 14:54:24 +0200 Subject: [PATCH 1/2] docs: add reference corridor diagram to pipeline --- Implementations/Reference/pipeline.md | 46 +++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) 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.

+ +
+----------------------+
+| .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          |
+                 +----------------------+

The diagram and computation branch is: From 34a22314250c00ab657807d7617995cd4edbd53d Mon Sep 17 00:00:00 2001 From: Youssef Menjour <71812679+Ymenjour@users.noreply.github.com> Date: Sat, 23 May 2026 14:54:39 +0200 Subject: [PATCH 2/2] docs: add execution pipeline diagram page --- ExecutionPipelineDiagram.md | 51 +++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 ExecutionPipelineDiagram.md 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.