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

Merged

GiggleLiu merged 45 commits into

mainfrom

codex/reduction-result-recovery

Sep 25, 2026

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
Cap persisted QUBO size and guard TSP-to-QUBO tour energy range

GiggleLiu
and
claude
committed
7077637
fix(cvp): prefer representable witnesses among tied optima

GiggleLiu
and
codex
committed
6dfdaa7
docs(paper): align decision bounds and TSP coefficients

GiggleLiu
and
codex
committed
91c89f9
test: cover K2 solver and short SAT to decision cover reductions

GiggleLiu
and
codex
committed
74f896f
docs: remove unregistered K4 and K5 diagram nodes

GiggleLiu
and
codex
committed
c1ecfb3
fix(help): describe decision inputs and bound directions in CLI help

GiggleLiu
and
codex
committed
b7920de
fix: restore actual and expected counts in length errors

GiggleLiu
and
codex
committed
3690a98
fix(cli): clarify raw aggregate extraction and omit solver metadata

GiggleLiu
and
codex
committed
942bc21
fix: explain legacy CVP and QUBO persisted formats

GiggleLiu
and
codex
committed
1096b78
docs(cli): use runnable QUBO and aggregate recovery examples

GiggleLiu
and
codex
committed
039d1b2
test: cross-check decision search on a five-cycle

GiggleLiu
and
codex
committed
28d4db9
feat(examples): add tiny decision scheduling circuit and unit cover examples

GiggleLiu
and
codex
committed
9ab6222
fix(qubo): reject lower-triangle entries and serialize the upper triangle

GiggleLiu
and
codex
committed
206ad7d
fix(kcoloring): allow zero colors in construction and random generation

GiggleLiu
and
codex
committed
b818741
refactor: unify completed-result recovery

GiggleLiu
and
codex
committed
056db24
refactor: share witness validation and aggregate mapping boilerplate

GiggleLiu
and
codex
committed
280b510
refactor: deserialize models through validating conversions

GiggleLiu
and
codex
committed
d45318a
Store QUBO coefficients sparsely instead of capping num_vars

GiggleLiu
and
claude
committed
be05d56