I’d say that for 1. some stdlib alternatives are pretty stable (containers, batteries) and continue to support older versions of OCaml for years. Core/Base seem to move a bit faster
For 2. it’s an imho argument against opam’s current default mechanism of constraint solving every time. I want a lockfile with explicit update, so that coming back to old projects always works. This is my biggest frustration with opam.