Hello, I'm reading https://github.com/wmertens/rfcs/blob/master/rfcs/0017-intensional-store.md and there's something I don't understand:
In the part A note about reproducibility, it says:

There is no need for a given $out to always generate the same $cas. [...] There is no obligation that a single $out only stores a single $cas entry.