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.
You and I can build the same $out, but get different $cas's. This isn't ideal, but that's why there is a mapping from 1 $out to possible multiple $cas's.