feat: explicit variant declarations with complexity metadata#102

Merged

GiggleLiu merged 28 commits intomainfrom

fix/variant-display

Feb 27, 2026

Commits on Feb 27, 2026

fix: show full variant values in `pred show` variants list

GiggleLiu
and
claude
committed
fix: support slash variant notation in pred create (e.g., MIS/KingsSubgraph)

GiggleLiu
and
claude
committed
cli improvement
GiggleLiu
committed
feat: add DeclaredVariant marker trait

GiggleLiu
and
claude
committed
feat: add VariantEntry inventory struct

GiggleLiu
and
claude
committed
feat: add declare_variants! macro

GiggleLiu
and
claude
committed
feat: add declare_variants! to graph model files

GiggleLiu
and
claude
committed
feat: add declare_variants! to remaining model files

GiggleLiu
and
claude
committed
feat: #[reduction] now checks DeclaredVariant at compile time

GiggleLiu
and
claude
committed
feat: ReductionGraph builds nodes from VariantEntry with complexity

GiggleLiu
and
claude
committed
feat: include complexity in graph JSON export

GiggleLiu
and
claude
committed
feat: display per-variant complexity in pred show

GiggleLiu
and
claude
committed
fix: sort variants_for() deterministically (default variant first)
GiggleLiu
committed
chore: fix formatting, clippy, and doctest issues

GiggleLiu
and
claude
committed
test: cover VariantEntry Debug and variant_complexity None branch

GiggleLiu
and
claude
committed
fix: validate K-param consistency and extract shared CLI/MCP utils

GiggleLiu
and
claude
committed
docs: add design for review-implementation as parallel subagents

GiggleLiu
and
claude
committed
feat: add structural and quality reviewer prompt templates

GiggleLiu
and
claude
committed
refactor: rewrite review-implementation as subagent orchestrator

GiggleLiu
and
claude
committed
docs: update review-implementation description in CLAUDE.md

GiggleLiu
and
claude
committed
fix: resolve PR review comments (dedup wrappers, MCP overhead, doc fix)

GiggleLiu
and
claude
committed
chore: remove working plan files from branch

GiggleLiu
and
claude
committed
feat: add copilot-review step after PR creation

GiggleLiu
and
claude
committed
copilot review
GiggleLiu
committed
feat: add fix-pr skill for resolving PR feedback

GiggleLiu
and
claude
committed
fix MIS reduction
GiggleLiu
committed
fix MIS to UDG issue
GiggleLiu
committed
fix One default
GiggleLiu
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: explicit variant declarations with complexity metadata#102

feat: explicit variant declarations with complexity metadata#102
GiggleLiu merged 28 commits intomainfrom
fix/variant-display

Commits on Feb 27, 2026

fix: show full variant values in `pred show` variants list

fix: support slash variant notation in pred create (e.g., MIS/KingsSubgraph)

cli improvement

feat: add DeclaredVariant marker trait

feat: add VariantEntry inventory struct

feat: add declare_variants! macro

feat: add declare_variants! to graph model files

feat: add declare_variants! to remaining model files

feat: #[reduction] now checks DeclaredVariant at compile time

feat: ReductionGraph builds nodes from VariantEntry with complexity

feat: include complexity in graph JSON export

feat: display per-variant complexity in pred show

fix: sort variants_for() deterministically (default variant first)

chore: fix formatting, clippy, and doctest issues

test: cover VariantEntry Debug and variant_complexity None branch

fix: validate K-param consistency and extract shared CLI/MCP utils

docs: add design for review-implementation as parallel subagents

feat: add structural and quality reviewer prompt templates

refactor: rewrite review-implementation as subagent orchestrator

docs: update review-implementation description in CLAUDE.md

fix: resolve PR review comments (dedup wrappers, MCP overhead, doc fix)

chore: remove working plan files from branch

feat: add copilot-review step after PR creation

copilot review

feat: add fix-pr skill for resolving PR feedback

fix MIS reduction

fix MIS to UDG issue

fix One default