feat: variant-aware reduction paths with resolve_path#68

Merged

GiggleLiu merged 40 commits intomainfrom

jg/variant-aware-paths

Feb 15, 2026

Commits on Feb 14, 2026

feat: add ResolvedPath, ReductionStep, EdgeKind types

GiggleLiu
and
claude
committed
feat: add find_best_entry for variant-aware ReductionEntry lookup

GiggleLiu
and
claude
committed
feat: add resolve_path for variant-level reduction paths

GiggleLiu
and
claude
committed
refactor: deprecate lookup_overhead, migrate KSat example to resolve_path

GiggleLiu
and
claude
committed
rm plan files
GiggleLiu
committed
refactor: remove explicit natural reduction, rely on resolve_path

GiggleLiu
and
claude
committed
fix: add #[allow(deprecated)] to examples and fix formatting

GiggleLiu
and
claude
committed
docs: add design.md describing variant-aware reduction paths

GiggleLiu
and
claude
committed
docs: add variant-aware path resolution section to docs/src/design.md

GiggleLiu
and
claude
committed
docs: add interactive reduction diagram design

GiggleLiu
and
claude
committed
docs: add interactive reduction diagram implementation plan

GiggleLiu
and
claude
committed
chore: remove unnecessary #[allow(dead_code)] from variant-aware path types

GiggleLiu
and
claude
committed
update
GiggleLiu
committed
refactor: extract inline JS/CSS from introduction.md to external files

GiggleLiu
and
claude
committed
feat: switch reduction diagram to ELK stress layout

GiggleLiu
and
claude
committed
feat: implement compound nodes for reduction diagram (collapsed view)

GiggleLiu
and
claude
committed
feat: add expand/collapse for compound variant nodes

GiggleLiu
and
claude
committed
feat: add variant edge filtering on click

GiggleLiu
and
claude
committed
feat: add search bar to reduction diagram

GiggleLiu
and
claude
committed
feat: integrate path finding with compound node structure

GiggleLiu
and
claude
committed
feat: add dashed style for natural cast edges

GiggleLiu
and
claude
committed
docs: update diagram legend and help text for compound nodes

GiggleLiu
and
claude
committed
fix: polish reduction diagram interactions and edge cases

GiggleLiu
and
claude
committed
feat: add VariantParam trait, CastToParent, impl_variant_param!, variant_params! macros

GiggleLiu
and
claude
committed
feat: add KValue trait with K2, K3, KN types for type-level K values

GiggleLiu
and
claude
committed
feat: register SimpleGraph, UnitDiskGraph, HyperGraph with VariantParam

GiggleLiu
and
claude
committed
feat: register One, i32, f64 with VariantParam

GiggleLiu
and
claude
committed
refactor: migrate KSatisfiability from const K to KValue type parameter

GiggleLiu
and
claude
committed
refactor: migrate KColoring from const K to KValue type parameter

GiggleLiu
and
claude
committed
refactor: apply variant_params! macro to all Problem implementations

GiggleLiu
and
claude
committed
refactor: unify variant hierarchy in ReductionGraph using VariantTypeEntry

GiggleLiu
and
claude
committed
refactor: remove old GraphSubtypeEntry/WeightSubtypeEntry hierarchy system

GiggleLiu
and
claude
committed
refactor: remove deprecated const_usize_str, short_type_name, const generic rewriting

GiggleLiu
and
claude
committed
fix: update benchmark to use K3 type parameter instead of const generic

GiggleLiu
and
claude
committed
chore: formatting fixes and regenerate artifacts after variant system redesign

GiggleLiu
and
claude
committed
style: apply rustfmt to sat_ksat macro indentation

GiggleLiu
and
claude
committed
update
GiggleLiu
committed
Merge remote-tracking branch 'origin/main' into jg/variant-aware-paths
GiggleLiu
committed

Commits on Feb 15, 2026