Dynamic test of confluence

[maxitg]

The problem

A Wolfram model evolution is called confluent if any pair of partial singleway evolutions can be continued in such a way as to reach isomorphic final states.

It would be useful to have a property that will be able to tell if a given evolution is confluent.

Possible solution

This is quite tricky to implement. First, we will need #349. Next, the evolution that is contained so far in the evolution object might not be sufficient to determine that as there could be future events that would merge multiway branches.

Therefore, this will need to take a partial evolution as an argument (which as a special case can be specified as a generation number). It can then check if, for any pair of multiway branches in that evolution, a continuation is possible which would yield the same global states.

Alternative solutions

In some cases, we might be able to generate static proofs that a given rule and init must be confluent, but that cannot work in all cases.