Exact symbolic growth, unified reduction size contracts, and deterministic solver backends - #1137

Merged

GiggleLiu merged 32 commits into

mainfrom

codex/1083-clean

Sep 7, 2026

Commits on Aug 14, 2026

Unify symbolic reduction, registry, and solver contracts
isPANN
committed
4299209
Expose registry-driven CLI and MCP workflows
isPANN
committed
9104f31
Refresh end-to-end reduction examples
isPANN
committed
5bd7855
Document the unified reduction workflows
isPANN
committed
d8b3f82
Harden cross-platform build verification
isPANN
committed
9760c9a
Restore customized solver naming
isPANN
committed
ae2d763

Commits on Aug 16, 2026

Refine path selection and solver outcomes
isPANN
committed
a4f6812
Track symbolic growth precision and remove unsound rule
isPANN
committed
8c922a2

Commits on Aug 17, 2026

Simplify symbolic Big-O comparison
isPANN
committed
5266e12
Propagate polynomial size bounds through subtraction
isPANN
committed
e36d189
Limit path output requests to 999
isPANN
committed
183b876

Commits on Aug 18, 2026

Bound Pareto path search
isPANN
committed
7f2e743
Clarify registered solver dispatch
isPANN
committed
6c7e4cf
Validate rounded ILP solutions
isPANN
committed
7e5cc34

Commits on Aug 20, 2026

Complete symbolic reduction size contracts
isPANN
committed
149356e

Commits on Aug 24, 2026

refactor: enforce numeric and error domain contracts
isPANN
committed
471bf76

Commits on Aug 27, 2026

refactor: define typed problem and ILP boundaries
isPANN
committed
c499531
fix: address PR #1137 CI failure
isPANN
committed
e22e8b4

Commits on Aug 30, 2026

refactor: replace size contracts with problem parameters
isPANN
committed
d94b970

Commits on Aug 31, 2026

fix: standardize factoring and closest vector inputs
isPANN
committed
757eef4

Commits on Sep 3, 2026

fix: preserve feasibility across ILP reductions
isPANN
committed
9cc3c1c

Commits on Sep 4, 2026

fix: align ILP models and solver pipelines
isPANN
committed
70cd9ae
Improve exact solver coverage for larger instances
isPANN
committed
008928e

Commits on Sep 5, 2026

Commits on Sep 6, 2026

Fix reduction mappings and simplify rule implementations
isPANN
committed
c3cf8cd

Commits on Sep 7, 2026

Use array chunks for ensemble solution extraction
isPANN
committed
9bffd5d
Merge main and align documentation with current APIs
isPANN
committed
a0ec069
Typeset website equations and registry expressions with MathML
isPANN
committed
0227c24
Fix solver edge cases and concrete variant construction
isPANN
committed
83b3c23
Expose instance parameter values in pred inspect
isPANN
committed
602c77a
fix: address eight correctness findings in PR #1137
GiggleLiu
committed
e1a45a7