feat(pkg): single solve for all platforms - #14458

Closed

Alizter wants to merge 14 commits into

Alizter:single-solve

Commits on May 11, 2026

feat(trace): add opt-in Sat category and sat/solve event with stats
Alizter
committed
ff30d8e
test(pkg): observe sat/solve event with stats in existing solver tests
Alizter
committed
a9dec6d
refactor(pkg): add Platform_id to role type for multi-platform solving
Alizter
committed
eedfbb6
refactor(pkg): add platform_envs map to Context for multi-platform solving
Alizter
committed
8bca485
refactor(pkg): add per-platform availability checking
Alizter
committed
c27127c
refactor(pkg): add packages_by_platform extraction
Alizter
committed
b0d4fd7
refactor(pkg): deduplicate diagnostics for multi-platform solving
Alizter
committed
44944b5
refactor(pkg): make conflict classes per-platform
Alizter
committed
c5045af
refactor(pkg): multi-platform lock file support
Alizter
committed
1f96731
refactor(pkg): change platform_envs to platform_overlays in Context
Alizter
committed
7f717b6
refactor(pkg): move per-platform lock file generation into lock_pkg
Alizter
committed
aa26039
refactor(pkg): remove partial solving support
Alizter
committed
597ca06
feat(pkg): single solve for all platforms
Alizter
committed
ffec3e1
feat(pkg): cross-platform version equality SAT constraint
Alizter
committed
179fd8e