[Improvement]: Redefine the semantics of the sticky flag

[azinneera]

Description

Currently, there are inconsistencies in how we choose package versions for resolve packages. We must redefine the semantics of the sticky flag and package locking modes and refactor the resolution engine.

Design doc: https://docs.google.com/document/d/1BKS3lSA3N1KFTdVa_ne5h5bQLMrRMZQw9BMdrwyd3tI/edit#heading=h.a2lh1huwy4yi

Describe your problem(s)

No response

Describe your solution(s)

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response