[Critical] Fix reduction result recovery and reference validation contracts - #1171

Open

isPANN wants to merge 27 commits into

mainfrom

codex/reduction-result-recovery

Commits on Sep 18, 2026

Support completed reduction recovery through witness and value mappings
isPANN
committed
1c052af
Keep reduction chains outcome-independent and fix reduction correctness
isPANN
committed
6c16bda
Preserve TSP reduction correctness for signed costs and boundary graphs
isPANN
committed
4b7b327
fix: enforce model construction constraints when loading JSON
isPANN
committed
8c99ce6
fix: correct model variants, reference solvers, and reductions
isPANN
committed
90b8c4f

Commits on Sep 19, 2026

Fix model validation, numeric bounds, and reduction contracts
isPANN
committed
e3ef9cc
Align reduction result mappings and decision-rule contracts
isPANN
committed
7ed850b
Isolate HiGHS execution in a concrete adapter
isPANN
committed
1cfa02b
Solve native integer ILP variants directly through HiGHS adapter
isPANN
committed
641631d
Simplify model construction and completed result extraction
isPANN
committed
134be18
Enumerate brute-force candidates without total cardinality limits
isPANN
committed
b4c10fe

Commits on Sep 20, 2026

Commits on Sep 21, 2026

Enumerate permutation witnesses with Lehmer coordinates
isPANN
committed
e48e6f3
Encode scheduling and circuit decision bounds as ILP constraints
isPANN
committed
ef634c2
Simplify ILP recovery test pipeline construction
isPANN
committed
67715f1
Merge branch 'main' into codex/reduction-result-recovery
isPANN
authored
31bdb31
Validate target feasibility during extraction and remove test-only API
isPANN
committed
8dfa3a4
Expose rule solution and value mappings directly in pred extract
isPANN
committed
0b118a1
Simplify CLI and MCP solver execution
isPANN
committed
8291c5b

Commits on Sep 25, 2026

Reject oversized QUBO allocations and zero-color KColoring reduction panic

GiggleLiu
and
claude
committed
29097e9