chore: add make release target and fix CI publish

- Fix release workflow to publish macros crate before main crate
- Add `make release V=x.y.z` to bump versions, tag, and push
- CI handles crates.io publishing automatically on tag push

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: GiggleLiu

.claude/CLAUDE.md

@@ -20,6 +20,7 @@ make rust-export    # Generate Rust mapping JSON exports
 make export-schemas # Regenerate problem schemas JSON
 make qubo-testdata  # Regenerate QUBO ground truth JSON
 make clean          # Clean build artifacts
+make release V=x.y.z  # Tag and push a new release (CI publishes to crates.io)
 ```
 
 ## Verify Changes

.github/workflows/release.yml

@@ -32,11 +32,17 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      
+
       - name: Install Rust stable
         uses: dtolnay/rust-toolchain@stable
-      
+
       - uses: Swatinem/rust-cache@v2
-      
-      - name: Publish to crates.io
+
+      - name: Publish macros crate
+        run: cargo publish --manifest-path problemreductions-macros/Cargo.toml --token ${{ secrets.CARGO_REGISTRY_TOKEN }}
+
+      - name: Wait for macros crate to be indexed
+        run: sleep 30
+
+      - name: Publish main crate
         run: cargo publish --token ${{ secrets.CARGO_REGISTRY_TOKEN }}

Makefile

@@ -1,6 +1,6 @@
 # Makefile for problemreductions
 
-.PHONY: help build test fmt clippy doc mdbook paper examples clean coverage rust-export compare qubo-testdata export-schemas
+.PHONY: help build test fmt clippy doc mdbook paper examples clean coverage rust-export compare qubo-testdata export-schemas release
 
 # Default target
 help:
@@ -21,6 +21,7 @@ help:
 	@echo "  examples     - Generate example JSON for paper"
 	@echo "  export-schemas - Export problem schemas to JSON"
 	@echo "  qubo-testdata - Regenerate QUBO test data (requires uv)"
+	@echo "  release V=x.y.z - Tag and push a new release (triggers CI publish)"
 
 # Build the project
 build:
@@ -101,6 +102,22 @@ check: fmt-check clippy test
 qubo-testdata:
 	cd scripts && uv run python generate_qubo_tests.py
 
+# Release a new version: make release V=0.2.0
+release:
+ifndef V
+	$(error Usage: make release V=x.y.z)
+endif
+	@echo "Releasing v$(V)..."
+	sed -i 's/^version = ".*"/version = "$(V)"/' Cargo.toml
+	sed -i 's/^version = ".*"/version = "$(V)"/' problemreductions-macros/Cargo.toml
+	sed -i 's/problemreductions-macros = { version = "[^"]*"/problemreductions-macros = { version = "$(V)"/' Cargo.toml
+	cargo check
+	git add Cargo.toml problemreductions-macros/Cargo.toml
+	git commit -m "release: v$(V)"
+	git tag -a "v$(V)" -m "Release v$(V)"
+	git push origin main --tags
+	@echo "v$(V) pushed — CI will publish to crates.io"
+
 # Generate Rust mapping JSON exports for all graphs and modes
 GRAPHS := diamond bull house petersen
 MODES := unweighted weighted triangular