Precompute reduction graph layout with ELK

Author: GiggleLiu

.github/workflows/docs.yml

@@ -22,6 +22,11 @@ jobs:
 
       - uses: dtolnay/rust-toolchain@stable
 
+      - uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+          cache: npm
+
       - name: Install mdBook
         run: |
           mkdir -p "$HOME/bin"
@@ -33,11 +38,15 @@ jobs:
           curl -sSL https://github.com/typst/typst/releases/download/v0.14.0/typst-x86_64-unknown-linux-musl.tar.xz | tar -xJ
           mv typst-x86_64-unknown-linux-musl/typst "$HOME/bin/"
 
+      - name: Install Node dependencies
+        run: npm ci
+
       - name: Generate data
         run: |
           cargo run --features "example-db" --example export_examples
           cargo run --example export_petersen_mapping
           cargo run --example export_graph
+          node scripts/generate_reduction_graph_layout.js
           cargo run --example export_schemas
           cargo run --example export_module_graph
 

.gitignore

@@ -64,6 +64,8 @@ Thumbs.db
 *.tmp
 *.temp
 
+node_modules/
+
 # mdBook output
 book/
 
@@ -86,6 +88,8 @@ claude-output.log
 .worktrees/
 .worktree/
 *.json
+!package.json
+!package-lock.json
 .claude/worktrees/
 docs/test-reports/
 docs/superpowers/

Makefile

@@ -84,9 +84,13 @@ fmt-check:
 clippy:
 	cargo clippy --all-targets --features ilp-highs -- -D warnings
 
+node_modules/elkjs/package.json: package.json package-lock.json
+	npm ci
+
 # Build mdBook documentation
-doc:
+doc: node_modules/elkjs/package.json
 	cargo run --example export_graph
+	node scripts/generate_reduction_graph_layout.js
 	cargo run --example export_schemas
 	cargo run --example export_module_graph
 	bash scripts/generate_doc_snippets.sh target/release/pred
@@ -107,9 +111,11 @@ diagrams:
 	done
 
 # Build and serve mdBook with API docs
-mdbook:
+mdbook: node_modules/elkjs/package.json
 	@echo "Exporting graph..."
 	@cargo run --example export_graph 2>&1 | tail -1
+	@echo "Generating graph layout..."
+	@node scripts/generate_reduction_graph_layout.js 2>&1 | tail -1
 	@echo "Exporting schemas..."
 	@cargo run --example export_schemas 2>&1 | tail -1
 	@echo "Exporting module graph..."

docs/src/introduction.md

@@ -4,8 +4,6 @@
 
 ## Reduction Graph
 
-<script src="https://unpkg.com/elkjs@0.9.3/lib/elk.bundled.js"></script>
-<script src="https://unpkg.com/cytoscape-elk@2.2.0/dist/cytoscape-elk.js"></script>
 <script src="https://unpkg.com/cytoscape-svg@0.4.0/cytoscape-svg.js"></script>
 
 <div id="cy-search">