[Critical] Unify reduction construction, result recovery, and solver boundaries - #1151

Closed

isPANN wants to merge 43 commits into

mainfrom

refactor/reduction-contracts-clean

Commits on Sep 14, 2026

fix: normalize equal-size pairings in 3-partition witness extraction
isPANN
committed
f7ccf2d
refactor: separate reduction semantics, solver execution, and QUBO storage
isPANN
committed
0bc59e4
perf: reuse ILP buffers and petgraph graph algorithms
isPANN
committed
bdcc308
fix: validate deserialized models and rebuild derived state
isPANN
committed
c7def3d
refactor: unify decision targets and complete-result recovery
isPANN
committed
c62e41c
refactor: remove unused metadata trait and narrow helper visibility
isPANN
committed
d9c6715
fix: validate solve results and preserve evaluations through recovery
isPANN
committed
efc111f
fix: share flow construction validation across input boundaries
isPANN
committed
dc9af66

Commits on Sep 15, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Validate optional evaluation values in external solve results
isPANN
committed
385170d
Keep Turing reductions as theory-only graph relations
isPANN
committed
ae2c0b0
Update dependencies and migrate to rmcp 3 and syn 3
isPANN
committed
aaef635
Unroll single-element loop in CVP CLI test

GiggleLiu
and
claude
committed
c8e25e4
Restore the variant-level 3-SAT chain through unit-weight decision vertex cover

GiggleLiu
and
claude
committed
9ce1b15
Describe the --result file in pred extract help

GiggleLiu
and
claude
committed
c096a00
Report the expected shape for malformed extract results

GiggleLiu
and
claude
committed
191d4df
Reject negative UndirectedFlowLowerBounds requirements on every construction path

GiggleLiu
and
claude
committed
116a2a3
Name the registry build failure in solver capability errors

GiggleLiu
and
claude
committed
e1367c8
Update extract docs to the --result and recover_result workflow

GiggleLiu
and
claude
committed
7f5a309
Point skills at recover_result and the recovery contract

GiggleLiu
and
claude
committed
a1ee27d
Rebuild MonochromaticTriangle derived data on deserialization

GiggleLiu
and
claude
committed
dcff030
Validate four remaining models on deserialization

GiggleLiu
and
claude
committed
4b021e5
Make default-feature builds warning-free

GiggleLiu
and
claude
committed
ce5a8ed
Remove the unused Sum and And value wrappers

GiggleLiu
and
claude
committed
675711d
Test feasible-incumbent recovery for rules that guard solution quality

GiggleLiu
and
claude
committed
0e7e972
Point the 3-SAT decision vertex cover example lookup at the unit-weight variant

GiggleLiu
and
claude
committed
2996094
Route the decision bundle test and the paper through the unit-weight vertex cover cast

GiggleLiu
and
claude
committed
1838a7b
Persist QUBO as project-owned sparse entries and read legacy dense JSON

GiggleLiu
and
claude
committed
a94c93c
Restore the checked integer transport into f64 ILP expressions

GiggleLiu
and
claude
committed
0546e88
Revert "Remove the unused Sum and And value wrappers"
GiggleLiu
committed
b375846
Merge branch 'review-fixes-1151-cli' into refactor/reduction-contracts-clean
GiggleLiu
committed
b63f91a
Require EvaluationValue only where candidate feasibility is asked

GiggleLiu
and
claude
committed
1b4d9ce
Document Sum and And as evaluation and fold values

GiggleLiu
and
claude
committed
c24119a
Rename test fixtures that described the removed aggregate reduction path

GiggleLiu
and
claude
committed
d182327
Name the failing edge on insufficient quality and note external claims in pred extract

GiggleLiu
and
claude
committed
19b2547
Share the two repeated recovery bodies between rules

GiggleLiu
and
claude
committed
41a2463
Lint the whole workspace with all features in CI and make clippy

GiggleLiu
and
claude
committed
6f65416