Here are some explorations of operations that affect the dynamic property of the sharing status.
Alice creates collection L0 and shares it view only with Bob. (It is easiest to start this way, not sharing with edit permission, because it limits what Bob can do with L0.) Within L0 Alice creates documents doc0, doc1, doc2 and doc3. They are all automatically shared with Bob view only.
Bob opens L0 and visits doc0-doc3. (I don't know if this step is important, but it confirms that the share is effective.) Indeed, the collection and the files are shared with him view only.
Bob does nothing further with doc0. He removes doc1 from his home view. He assigns doc2 to his own collection M0. He removes doc3 from his home view and also assigns it to his collection M0. All these actions of Bob are invisible to Alice; she does not know how Bob arranges his Home view and she does not know about Bob's collection M0.
Alice now removes Bob from the share on L0. If she is accustomed to dealing with passive recipients of her shares then she may expect that Bob is thereby also removed from the shares on doc[0-3]. However, Bob being the active kind, it doesn't work out that way. We do the experiment and find that doc2 and doc3 are still shared with Bob and he can find them in his M0 collection.
I think that all this behavior is undocumented and I suspect that it hasn't been thought out either; it is just the way that things may be discovered to behave given how the GDocs file system code happened to be written. I think that it is wrong behavior too. Alice is the owner of L0 and of doc[0-3] and the sharing status of these files should depend on her actions alone and not on Bob's action (invisible to Alice) of assigning some such file to one of his private collections.
There is a further anomaly. After Alice removes Bob from the share on L0, Bob finds doc2 and doc3 under his M0 still, but he doesn't find them in Home or in All items. He also doesn't find them by searching for * under All items. However, after he opens them again from inside M0 then they are visible under All (and doc2 also under Home).