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

Draft

isPANN wants to merge 19 commits into

mainfrom

codex/1083-clean

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