Yes, you are right. My view on this topic is that your code in the workspace is the code that you can dynamically work on the REPL and change through your IDE. Libraries are frozen during this process, even though you can update libraries with tools.deps via add-libs, the code in the libraries cannot be changed directly. You’ll need to load the new library version to get the updated code, hence they are considered frozen.