2.5. Import Graph🔗

The runtime module dependency graph (Scanner, Parser, Surface, Schema, Output, FFI, Config — the Proofs/ subtree is excluded) is regenerated in CI by lake exe graph and rendered to SVG via Graphviz.