Those scientific theories are moreso models. Models that get progressively less wrong. Garbage collection is wrong to the degree that it leads to memory unsafe

Those scientific theories are moreso models. Models that get progressively less wrong. Garbage collection is wrong to the degree that it leads to memory unsafety or memory leaks that are not caused by humans. But using more memory is not a “leak” because it has nothing to do with the guarantees.