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

Draft

isPANN wants to merge 5 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