feat: implement solver registry architecture core#225

Open

pesap wants to merge 56 commits intomainfrom

solver-registry-redesign

Commits on May 2, 2026

Commits on May 3, 2026

Commits on May 4, 2026

docs: add architecture refactor plan and sentrux rules
pesap
committed
feat: scaffold architecture seam crates
pesap
committed
refactor: simplify solver contract seam migration
pesap
committed
chore: stabilize autoresearch sentrux harness and checks gate
pesap
committed
refactor: extract inspect modeling builders into dedicated module
pesap
committed
refactor: rename cli debug module to debug_shell to remove sentrux cycle hotspot (retry commit)
pesap
committed
refactor: lower inline selector parser complexity in expressions_domains
pesap
committed
refactor: remove solver preflight direct dependency on arco-contracts via crate reexports
pesap
committed
refactor: route solver trait status/error imports through solver crate seam
pesap
committed
refactor: split surface math-block rewrite scanner into focused brace/parsing helpers
pesap
committed
refactor: decompose xpress solve_model into cohesive helpers to remove max_cc hotspot
pesap
committed
refactor: decompose algebra tokenizer into focused token parsers to clear final max_cc hotspot (retry commit)
pesap
committed
refactor: route arco-ops request/validation seam away from contracts+validate to local report types
pesap
committed
refactor: introduce kdl artifacts seam and reroute compile-type imports away from compile/mod
pesap
committed
refactor: revert kdl artifacts seam and restore direct compile imports for export/scip/debug_shell
pesap
committed
refactor: reintroduce kdl artifacts seam for export/scip/debug shell compile-type imports
pesap
committed

Commits on May 6, 2026

Commits on May 7, 2026