Paper 6 Figures
Figure inventory and export status for the Executable Causal Diagrams with Typed Linear Frontiers draft.
On this page
Paper 6 Figures
Sources
- dashboard-topology.mmd - admitted dashboard topology with the carried
profiledependency and the two branch-local fetch paths. - dashboard-topology-module.typ - reusable Typst figure body imported by the manuscript and standalone figure export.
- dashboard-topology.typ - PDF-oriented Typst source for the dashboard topology figure.
- executable-diagram-layers.mmd - source diagram, admitted frontier, causal topology, circuit, runtime trace, and proof-facing IR as one layered view.
- executable-diagram-layers-module.typ - reusable Typst figure body imported by the manuscript and standalone figure export.
- executable-diagram-layers.typ - PDF-oriented Typst source for the same figure.
Export Status
- Mermaid source is checked in.
- Typst source is checked in for standalone figures and manuscript figures.
- Publication renderings are produced through the Typst manuscript’s Nix output.