feat: implement solver registry architecture core#225
Open
Conversation
Result: {"status":"keep","quality":6403,"unresolved":1692,"import_edges":214}
Result: {"status":"keep","quality":6408,"unresolved":1693,"import_edges":214}
…cle hotspot (retry commit)
Result: {"status":"keep","quality":7376,"unresolved":1691,"import_edges":206}
Result: {"status":"keep","quality":7377,"unresolved":1709,"import_edges":208}
… via crate reexports
Result: {"status":"keep","quality":7381,"unresolved":1709,"import_edges":207}
…e seam
Result: {"status":"keep","quality":7385,"unresolved":1708,"import_edges":206}
…/parsing helpers
Result: {"status":"keep","quality":7390,"unresolved":1708,"import_edges":206}
…e max_cc hotspot
Result: {"status":"keep","quality":7398,"unresolved":1710,"import_edges":206}
…lear final max_cc hotspot (retry commit)
Result: {"status":"keep","quality":7404,"unresolved":1710,"import_edges":206}
…validate to local report types
Result: {"status":"keep","quality":7407,"unresolved":1710,"import_edges":205}
…ts away from compile/mod
Result: {"status":"keep","quality":7421,"unresolved":1717,"import_edges":202}
…s for export/scip/debug_shell
Result: {"status":"keep","quality":7407,"unresolved":1710,"import_edges":205}
…compile-type imports
Result: {"status":"keep","quality":7421,"unresolved":1717,"import_edges":202}
* fix(kdl): lower reduce projection reports * refactor(kdl): name reduce projection lowering scope * feat: centralize validation seam Move canonical solve-target validation into arco-validate and delegate the operations facade to it. Reuse the shared validation crate for duplicate tuple-row diagnostic rendering so existing KDL errors keep their provenance details. Resolves #230 * refactor: move solver target artifacts to arco-targets Move solver-facing linear compile output types into the arco-targets crate and re-export them through existing KDL artifact seams for compatibility. Update solver/export consumers to import the shared target types directly where appropriate. Resolves #228 * refactor: centralize solver contracts Move solver contract coverage to arco-contracts and remove obsolete duplicate arco-solver source files so selection, capabilities, request/result, and trait contracts have a single seam. Expand arco-solver-types compatibility re-exports to cover the full contract surface. Resolves #229 * refactor: centralize core scalar validation Resolves #236 * refactor: move solver backend contract Resolves #232 * feat: route export through portable IR Resolves #233 * feat: introduce arco ops CLI facade Resolves #231 * fix: route cli orchestration through ops facade Resolves #234 * fix: route python solve through ops Resolves #235 * refactor: retire transitional pass-through modules Remove proven-unused solver-types and CLI export pass-through seams now that shared contracts, targets, and ops/export facades are in place. Update the architecture plan to mark the retired transitional modules. Include rustfmt normalization from the affected CLI surface after removing the pass-through module. Resolves #237 * fix: satisfy clippy on architecture branch Rewrite solver profile count branching without comparison-chain and avoid float equality in ops tests so CI clippy jobs pass with -D warnings.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
arco-solver(families, profiles, selection resolution, preflight, transport model)SolverSelection/SolverProfiletypes and run registry preflight before solvedocs/adr/0002-solver-registry-architecture.mdand update solver configuration docsValidation
cargo check -p arco-solvercargo check -p arco-clicargo check -p arco-pythoncargo test -p arco-solvercargo test -p arco-cli config::testscargo clippy -p arco-solver -p arco-cli --all-targets -- -D warningscargo fmtNotes
solver.jsonmigration is intentionally disabled per ADR/context decisionsXPRESSDIR) in this environment