@humanitee
Let's not worry about what the rules ought to be for a moment. Let's imagine that everyone agrees what the rules ought to be, and we're just trying to ensure that the rules enforced by the code are the rules that we think are being enforced. Imagine that there are, for example, seven consensus libraries that were all developed independently but designed to do the exact same thing. Now if a node implementation chooses any three libraries and makes majority decisions, then it should be nearly unforkable.
Let's say the probability of a fork event in a given year for Implementations 1,2,3,4,5,6,7 are all 1 : 1000. If these events are uncorrelated, the probability of a fork event using a 2-of-3 majority method is 1: 1,000,000! This huge reduction in failure probability is why commercial airplanes have triple-redundant sensors.
Let's not worry about what the rules ought to be for a moment. Let's imagine that everyone agrees what the rules ought to be, and we're just trying to ensure that the rules enforced by the code are the rules that we think are being enforced. Imagine that there are, for example, seven consensus libraries that were all developed independently but designed to do the exact same thing. Now if a node implementation chooses any three libraries and makes majority decisions, then it should be nearly unforkable.
Let's say the probability of a fork event in a given year for Implementations 1,2,3,4,5,6,7 are all 1 : 1000. If these events are uncorrelated, the probability of a fork event using a 2-of-3 majority method is 1: 1,000,000! This huge reduction in failure probability is why commercial airplanes have triple-redundant sensors.