update

Author: GiggleLiu

.claude/skills/check-issue/SKILL.md

@@ -95,6 +95,8 @@ Read the "Reduction Algorithm" section and flag as **Fail** if:
 
 If the construction involves gadgets, penalty terms, auxiliary variables, or non-trivial structural transformation → **Pass**.
 
+Note: if a trivial reduction make original disconnected problems connected, it is also **Pass**.
+
 ---
 
 ## Rule Check 3: Correctness (fail label: `Wrong`)
@@ -128,7 +130,7 @@ For each reference, verify:
 
 If any cited fact **cannot be verified** (paper not found, claim not in paper) → **Fail** with specifics.
 
-### 3d: Better Algorithm Discovery
+### 3d: Better Algorithm Discovery (not fatal)
 
 While searching, if you find:
 - A **more recent paper** that supersedes the cited reference

.claude/skills/test-feature/SKILL.md

@@ -85,3 +85,4 @@ claude-output.log
 .worktree/
 *.json
 .claude/worktrees/
+docs/test-reports/

.gitignore

@@ -76,10 +76,14 @@ diagrams:
 
 # Build and serve mdBook with API docs
 mdbook:
-	cargo run --example export_graph
-	cargo run --example export_schemas
-	RUSTDOCFLAGS="--default-theme=dark" cargo doc --features ilp-highs --no-deps
-	mdbook build
+	@echo "Exporting graph..."
+	@cargo run --example export_graph 2>&1 | tail -1
+	@echo "Exporting schemas..."
+	@cargo run --example export_schemas 2>&1 | tail -1
+	@echo "Building API docs..."
+	@RUSTDOCFLAGS="--default-theme=dark" cargo doc --features ilp-highs --no-deps 2>&1 | tail -1
+	@echo "Building mdBook..."
+	@mdbook build
 	rm -rf book/api
 	cp -r target/doc book/api
 	@-lsof -ti:3001 | xargs kill 2>/dev/null || true