Paper 3 Figure Inventory
Figure inventory and export status for the Graph Substitution Semantics paper.
On this page
Paper 3 Figure Inventory
Checked-in figure sources
- layered-semantic-architecture.mmd — workflow meaning, compilation, execution, and recovery stack.
- phase-based-durable-execution.mmd — runtime control loop over a materialized graph state.
- substitution-example-before.mmd — materialized shape before local substitution.
- substitution-example-after.mmd — envelope substitution adding a new branch.
Export status
- no publication-exported vector figures checked in yet
- Mermaid source files are checked in for the main diagrams