Post #1900605

one perspective can be to think of decisions being made in "namespaces". decisions with the same unqualified "identifier" can exist in different namespaces simultaneously and indefinitely. a collection of namespaces can then be merged with union semantics. decisions absent in one namespace but present in another will show up in the union unchanged. decisions present in multiple namespaces with the same identifier and value will show up in the union unchanged. decisions present in multiple name spaces with the same identifier and different value constitute a disagreement that the system can identify. what the namespaces are and how disagreements are handled is something you would build on top of this.