CodingThrust
diff --git a/‎.claude/CLAUDE.md‎
Lines changed: 15 additions & 6 deletions b/‎.claude/CLAUDE.md‎
Lines changed: 15 additions & 6 deletions
diff --git a/‎.github/workflows/docs.yml‎
Lines changed: 9 additions & 3 deletions b/‎.github/workflows/docs.yml‎
Lines changed: 9 additions & 3 deletions
diff --git a/‎Makefile‎
Lines changed: 17 additions & 1 deletion b/‎Makefile‎
Lines changed: 17 additions & 1 deletion
diff --git a/‎README.md‎
Lines changed: 2 additions & 14 deletions b/‎README.md‎
Lines changed: 2 additions & 14 deletions
@@ -5,12 +5,21 @@ Rust library for NP-hard problem reductions. Implements computational problems w
 
 ## Commands
 ```bash
-make test          # Run all tests
-make clippy        # Lint
-make export-graph  # Regenerate reduction graph
-make paper         # Build Typst paper
-make coverage      # Generate coverage report (>95% required)
-make qubo-testdata # Regenerate QUBO ground truth JSON
+make help           # Show all available targets
+make build          # Build the project
+make test           # Run all tests
+make fmt            # Format code with rustfmt
+make fmt-check      # Check code formatting
+make clippy         # Run clippy lints
+make doc            # Build mdBook documentation (includes reduction graph export)
+make mdbook         # Build and serve mdBook with live reload
+make paper          # Build Typst paper (runs examples + exports first)
+make coverage       # Generate coverage report (>95% required)
+make check          # Quick pre-commit check (fmt + clippy + test)
+make export-graph   # Regenerate reduction graph JSON
+make export-schemas # Regenerate problem schemas JSON
+make qubo-testdata  # Regenerate QUBO ground truth JSON
+make clean          # Clean build artifacts
 ```
 
 ## Verify Changes
 
@@ -33,14 +33,20 @@ 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: Generate data
+        run: |
+          cargo run --example export_graph
+          cargo run --example export_schemas
+          cp docs/paper/reduction_graph.json docs/src/reductions/
+
       - name: Build mdBook
         run: mdbook build
 
-      - name: Build PDF
-        run: typst compile docs/paper/reductions.typ book/reductions.pdf
+      - name: Build examples and PDF
+        run: make examples && typst compile docs/paper/reductions.typ book/reductions.pdf
 
       - name: Build rustdoc
-        run: cargo doc --no-deps
+        run: cargo doc --all-features --no-deps
 
       - name: Combine documentation
         run: |
 
@@ -1,6 +1,6 @@
 # Makefile for problemreductions
 
-.PHONY: help build test fmt clippy doc mdbook paper examples clean coverage rust-export compare qubo-testdata
+.PHONY: help build test fmt clippy doc mdbook paper examples clean coverage rust-export compare qubo-testdata export-schemas
 
 # Default target
 help:
@@ -19,6 +19,7 @@ help:
 	@echo "  rust-export  - Generate Rust mapping JSON exports"
 	@echo "  compare      - Generate and compare Rust mapping exports"
 	@echo "  examples     - Generate example JSON for paper"
+	@echo "  export-schemas - Export problem schemas to JSON"
 	@echo "  qubo-testdata - Regenerate QUBO test data (requires uv)"
 
 # Build the project
@@ -43,10 +44,20 @@ clippy:
 
 # Build mdBook documentation
 doc:
+	cargo run --example export_graph
+	cp docs/paper/reduction_graph.json docs/src/reductions/
 	mdbook build docs
+	cargo doc --all-features --no-deps
+	rm -rf docs/book/api
+	cp -r target/doc docs/book/api
 
 # Build and serve mdBook with live reload
 mdbook:
+	cargo run --example export_graph
+	cp docs/paper/reduction_graph.json docs/src/reductions/
+	cargo doc --all-features --no-deps
+	rm -rf docs/book/api
+	cp -r target/doc docs/book/api
 	mdbook serve docs --open
 
 # Generate all example JSON files for the paper
@@ -59,9 +70,14 @@ examples:
 	done
 	cargo run --all-features --example export_petersen_mapping
 
+# Export problem schemas to JSON
+export-schemas:
+	cargo run --example export_schemas
+
 # Build Typst paper (generates examples first)
 paper: examples
 	cargo run --example export_graph
+	cargo run --example export_schemas
 	cd docs/paper && typst compile reductions.typ reductions.pdf
 
 # Generate coverage report (requires: cargo install cargo-llvm-cov)
 
@@ -56,21 +56,9 @@ assert_eq!(solution.iter().sum::<usize>(), 2); // Max IS size is 2
         Afterwards, the skill creates a PR starting with `[action]`, which automatically triggers Claude CI to implement the plan.
     - Otherwise, you can write a detailed plan manually ([sample](docs/plans/2026-01-31-factoring-ilp-design.md)). Then create a PR manually. You can start implementing this plan on the CI machine by adding `[action]` at the start of the PR description or comments.
 
-### Using Make
-
-```bash
-make help      # Show all available targets
-make build     # Build the project
-make test      # Run all tests
-make fmt       # Format code with rustfmt
-make fmt-check # Check code formatting
-make clippy    # Run clippy lints
-make doc       # Build and open documentation
-make coverage  # Generate coverage report (requires cargo-llvm-cov)
-make clean     # Clean build artifacts
-make check     # Quick check before commit (fmt + clippy + test)
-```
+### Developer Commands
 
+Run `make help` to see all available targets. See [CLAUDE.md](https://codingthrust.github.io/problem-reductions/claude.html) for the full command list and architecture details.
 
 ## Acknowledgments