merge: resolve conflict in problem_name.rs (keep both KS and MaxMatching aliases)

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

Author: zazabap

.claude/CLAUDE.md

@@ -12,6 +12,7 @@ Rust library for NP-hard problem reductions. Implements computational problems w
 - [write-model-in-paper](skills/write-model-in-paper/SKILL.md) -- Write or improve a problem-def entry in the Typst paper. Covers formal definition, background, example with visualization, and algorithm list.
 - [write-rule-in-paper](skills/write-rule-in-paper/SKILL.md) -- Write or improve a reduction-rule entry in the Typst paper. Covers complexity citation, self-contained proof, detailed example, and verification.
 - [release](skills/release/SKILL.md) -- Create a new crate release. Determines version bump from diff, verifies tests/clippy, then runs `make release`.
+- [check-issue](skills/check-issue/SKILL.md) -- Quality gate for `[Rule]` and `[Model]` issues. Checks usefulness, non-triviality, correctness of literature, and writing quality. Posts structured report and adds failure labels.
 - [meta-power](skills/meta-power/SKILL.md) -- Batch-resolve all open `[Model]` and `[Rule]` issues autonomously: plan, implement, review, fix CI, merge — in dependency order (models first).
 
 ## Commands
@@ -39,6 +40,7 @@ make cli           # Build the pred CLI tool (release mode)
 make cli-demo      # Run closed-loop CLI demo (exercises all commands)
 make mcp-test      # Run MCP server tests (unit + integration)
 make run-plan      # Execute a plan with Claude autorun
+make run-issue N=42 # Run issue-to-pr --execute for a GitHub issue
 make copilot-review # Request Copilot code review on current PR
 make release V=x.y.z  # Tag and push a new release (CI publishes to crates.io)
 ```

.claude/skills/add-model/SKILL.md

@@ -124,6 +124,21 @@ Update the CLI dispatch table so `pred` can load, solve, and serialize the new p
    - Add a lowercase alias mapping in `resolve_alias()` (e.g., `"newproblem" => "NewProblem".to_string()`)
    - Optionally add short aliases to `ALIASES` array (e.g., `("NP", "NewProblem")`)
 
+## Step 4.5: Add CLI creation support
+
+Update `problemreductions-cli/src/commands/create.rs` so `pred create <ProblemName>` works:
+
+1. **Add a match arm** in the `create()` function's main `match canonical.as_str()` block. Parse CLI flags and construct the problem:
+   - Graph-based problems with vertex weights: add to the `"MaximumIndependentSet" | ... | "MaximalIS"` arm
+   - Problems with unique fields: add a new arm that parses the required flags and calls the constructor
+   - See existing arms for patterns (e.g., `"BinPacking"` for simple fields, `"MaximumSetPacking"` for set-based)
+
+2. **Add CLI flags** in `problemreductions-cli/src/cli.rs` (`CreateArgs` struct) if the problem needs flags not already present. Update `all_data_flags_empty()` accordingly.
+
+3. **Update help text** in `CreateArgs`'s `after_help` to document the new problem's flags.
+
+4. **Schema alignment**: The `ProblemSchemaEntry` fields should list **constructor parameters** (what the user provides), not internal derived fields. For example, if `m` and `n` are derived from a matrix, only list `matrix` and `k` in the schema.
+
 ## Step 5: Write unit tests
 
 Create `src/unit_tests/models/<category>/<name>.rs`:
@@ -147,7 +162,7 @@ Invoke the `/write-model-in-paper` skill to write the problem-def entry in `docs
 make test clippy  # Must pass
 ```
 
-Then run the [review-implementation](../review-implementation/SKILL.md) skill to verify all structural and semantic checks pass.
+If running standalone (not inside `make run-plan`), invoke [review-implementation](../review-implementation/SKILL.md) to verify all structural and semantic checks pass. When running inside a plan, the outer orchestrator handles the review.
 
 ## Naming Conventions
 
@@ -168,3 +183,5 @@ Then run the [review-implementation](../review-implementation/SKILL.md) skill to
 | Forgetting `declare_variants!` | Required for variant complexity metadata used by the paper's auto-generated table |
 | Forgetting CLI dispatch | Must add match arms in `dispatch.rs` (`load_problem` + `serialize_any_problem`) |
 | Forgetting CLI alias | Must add lowercase entry in `problem_name.rs` `resolve_alias()` |
+| Forgetting CLI create | Must add creation handler in `commands/create.rs` and flags in `cli.rs` |
+| Schema lists derived fields | Schema should list constructor params, not internal fields (e.g., `matrix, k` not `matrix, m, n, k`) |

.claude/skills/add-rule/SKILL.md

@@ -139,7 +139,7 @@ cargo run --example export_schemas  # Update problem schemas
 make test clippy                    # Must pass
 ```
 
-Then run the [review-implementation](../review-implementation/SKILL.md) skill to verify all structural and semantic checks pass.
+If running standalone (not inside `make run-plan`), invoke [review-implementation](../review-implementation/SKILL.md) to verify all structural and semantic checks pass. When running inside a plan, the outer orchestrator handles the review.
 
 ## Solver Rules