SPECS_SATISFIED_SKIP_SOLVE ignores spec

[therc]

Checklist

• I added a descriptive title
• I searched open reports and couldn't find a duplicate

What happened?

It's impossible to set a minimum version of a package with the new solver, because it will accept any version as satisfying the specs. This is easily tested with a version higher than currently exists. The classic solver doesn't suffer from the same issue, but of course it's slow.

Broken:

▶ conda install -S --solver libmamba 'conda>5000'
# All requested packages already installed.

Working as intended:

▶ conda install -S --solver classic 'conda>5000'
Collecting package metadata (current_repodata.json):
[...]
Solving environment: failed
PackagesNotFoundError: The following packages are not available from current channels:
  - conda[version='>5000']
[...]

The issue is in the code at https://github.com/conda/conda-libmamba-solver/blob/main/conda_libmamba_solver/state.py#L546-L550
The solver only looks at the name and ignores the spec. Note how the comment says that the specs match, when they aren't even checked.

Conda Info

All conda versions

Conda Config

All conda configs

Conda list

All conda package combos

Additional Context

No response