CodingThrust · GiggleLiu · Sep 7, 2026 · Sep 7, 2026 · Sep 7, 2026 · Sep 7, 2026
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -48,7 +48,6 @@ jobs:
           cargo run --example export_graph
           node scripts/generate_reduction_graph_layout.js
           cargo run --example export_schemas
-          cargo run --example export_module_graph
           cargo build -p problemreductions-cli --bin pred
           bash scripts/generate_doc_snippets.sh target/debug/pred
 

diff --git a/Makefile b/Makefile
@@ -93,7 +93,6 @@ 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
 	cargo build -p problemreductions-cli --bin pred
 	bash scripts/generate_doc_snippets.sh target/debug/pred
 	mdbook build
@@ -106,7 +105,6 @@ doc: node_modules/elkjs/package.json
 website:
 	cargo run --example export_graph
 	cargo run --example export_schemas
-	cargo run --example export_module_graph
 	cargo build -p problemreductions-cli --bin pred
 	bash scripts/generate_doc_snippets.sh target/debug/pred
 	mdbook build
@@ -131,8 +129,6 @@ mdbook: node_modules/elkjs/package.json
 	@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..."
-	@cargo run --example export_module_graph 2>&1 | tail -1
 	@echo "Generating CLI doc snippets..."
 	@cargo build -p problemreductions-cli --bin pred
 	@bash scripts/generate_doc_snippets.sh target/debug/pred

diff --git a/book.toml b/book.toml
@@ -9,8 +9,8 @@ src = "docs/src"
 default-theme = "navy"
 git-repository-url = "https://github.com/CodingThrust/problem-reductions"
 edit-url-template = "https://github.com/CodingThrust/problem-reductions/edit/main/{path}"
-additional-css = ["docs/src/static/docs-theme.css", "docs/src/static/theme-images.css", "docs/src/static/reduction-graph.css", "docs/src/static/module-graph.css"]
-additional-js = ["docs/src/static/docs-theme.js", "docs/src/static/cytoscape.min.js", "docs/src/static/reduction-graph.js", "docs/src/static/module-graph.js"]
+additional-css = ["docs/src/static/docs-theme.css", "docs/src/static/theme-images.css", "docs/src/static/reduction-graph.css"]
+additional-js = ["docs/src/static/docs-theme.js", "docs/src/static/cytoscape.min.js", "docs/src/static/reduction-graph.js"]
 no-section-label = true
 
 [output.html.fold]

diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
@@ -2,53 +2,22 @@
 
 [Overview](introduction.md)
 
-# Start here
-
-- [CLI in action](cli-demo.md)
-- [Start with an agent](skills.md)
-- [Install the CLI](install.md)
-- [First solve](cli.md)
-
-# Agent workflows
-
-- [Find a solver](agent-find-solver.md)
-- [Extend a solver's reach](agent-find-problem.md)
-- [Propose a model or rule](agent-propose.md)
-- [Implement and review](agent-pipeline.md)
-- [Connect with MCP](mcp.md)
-  - [Tool reference](mcp-tools.md)
-  - [Example session](mcp-walkthrough.md)
-
-# CLI reference
-
-- [Explore the catalog](cli-catalog.md)
-- [Names and variants](cli-variants.md)
-- [Find reduction paths](cli-paths.md)
-- [Create an instance](cli-create.md)
-  - [Input examples](cli-examples.md)
-  - [Random instances](cli-random.md)
-- [Inspect and evaluate](cli-inspect.md)
-- [Reduce an instance](cli-reduce.md)
-- [Solve an instance](cli-solve.md)
-- [JSON and automation](cli-automation.md)
-- [Shell completions](cli-completions.md)
+# CLI
+
+- [Quick start](cli.md)
+- [Command reference](cli-commands.md)
+- [Reduction graph](reduction-graph.md)
+
+# Agents
+
+- [Skills](skills.md)
 
 # Rust library
 
-- [First Rust program](getting-started.md)
-- [Apply a reduction](rust-reduction.md)
-- [Discover and execute paths](rust-paths.md)
-- [Solver contracts](rust-solvers.md)
+- [Getting started](getting-started.md)
 - [API reference](api.md)
+- [Design](design.md)
 
-# Internals
+# Research
 
-- [Architecture](design.md)
-- [Problem contract](design-problem.md)
-- [Variant system](design-variants.md)
-  - [Register variants](design-variant-registration.md)
-- [Reduction contracts](design-reductions.md)
-- [Path costs and overhead](design-paths.md)
-- [JSON serialization](design-serialization.md)
-- [Reduction graph](reduction-graph.md)
-- [Contributing](contributing.md)
+- [Open problems](open-problems.md)
diff --git a/docs/src/agent-find-problem.md b/docs/src/agent-find-problem.md
diff --git a/docs/src/agent-find-solver.md b/docs/src/agent-find-solver.md
diff --git a/docs/src/agent-pipeline.md b/docs/src/agent-pipeline.md
diff --git a/docs/src/agent-propose.md b/docs/src/agent-propose.md
diff --git a/docs/src/api.md b/docs/src/api.md
@@ -4,4 +4,4 @@
 
 The API is generated from Rust source with rustdoc. Start with [models](api/problemreductions/models/index.html), [reduction contracts](api/problemreductions/rules/index.html), or [solvers](api/problemreductions/solvers/index.html).
 
-Run `make doc` to build the guides and API locally. For short runnable examples, see [first Rust program](getting-started.md) and [apply a reduction](rust-reduction.md).
+Run `make doc` to build the guides and API locally. For short runnable examples, see [getting started](getting-started.md).
diff --git a/docs/src/cli-automation.md b/docs/src/cli-automation.md
diff --git a/docs/src/cli-catalog.md b/docs/src/cli-catalog.md
Original file line number	Diff line number	Diff line change
Expand Up		@@ -4,4 +4,4 @@

		The API is generated from Rust source with rustdoc. Start with [models](api/problemreductions/models/index.html), [reduction contracts](api/problemreductions/rules/index.html), or [solvers](api/problemreductions/solvers/index.html).

		Run `make doc` to build the guides and API locally. For short runnable examples, see [first Rust program](getting-started.md) and [apply a reduction](rust-reduction.md).
		Run `make doc` to build the guides and API locally. For short runnable examples, see [getting started](getting-started.md).