feat: batch add 14 reduction rules (hard rules phase 2)#1028

Merged

GiggleLiu merged 25 commits intomainfrom

jg/hard-rules-2

Apr 10, 2026

Commits on Apr 9, 2026

Commits on Apr 10, 2026

fix: resolve clippy warnings and test assertion after new reductions

GiggleLiu
and
claude
committed
fix: add B&B solver for RegisterSufficiency, avoid slow ILP in tests

GiggleLiu
and
claude
committed
feat: add Clustering→ILP and MinimumFaultDetectionTestSet→ILP reductions

GiggleLiu
and
claude
committed
fix: structural review fixes — overheads, paper entries, test speedup

GiggleLiu
and
claude
committed
fix: speed up BMF→ILP closed-loop test (36s → 0.01s)

GiggleLiu
and
claude
committed
fix: model_specs_are_optimal stuck on DecisionMVC→HC→QA→ILP chain

GiggleLiu
and
claude
committed
feat: add witness edge for Decision<P> → P, enabling cheaper ILP paths

GiggleLiu
and
claude
committed
fix: paper build errors — cast QDE strings to int, fix missing optimal_value keys

GiggleLiu
and
claude
committed
test: add coverage for find_paths_up_to_mode_bounded

GiggleLiu
and
claude
committed