I see, I think. I can’t help wondering what the merge procedure does with any flipped bits in the diff, though. Anyway, horn 2 now seems OK—I think it describes the situation.
Rereading the comments on this thread, the problem is more subtle than I had thought—and I had better retract the above comment. I am inclined towards the idea that copying doesn’t really alter the pattern—but that kind of anthropic reasoning seems challenging to properly formalise under the given circumstances.
I see, I think. I can’t help wondering what the merge procedure does with any flipped bits in the diff, though. Anyway, horn 2 now seems OK—I think it describes the situation.
Rereading the comments on this thread, the problem is more subtle than I had thought—and I had better retract the above comment. I am inclined towards the idea that copying doesn’t really alter the pattern—but that kind of anthropic reasoning seems challenging to properly formalise under the given circumstances.