Transitions from one state to another

If each of the CRDT operations (policy and document) allows to compute its validity at any time, it assumes the complete graph traversal, and does not store the result of the evaluation to perform actions resulting from a change of this state. We therefore propose a mechanism to keep track of validity changes during the integration of operations of the $CRD{T}_p$. In particular, it makes it possible to know for which operations of the $CRD{T}_d$ it is necessary either to generate the inverse operation (in the event of transition from a valid state to an invalid state), or to apply the effect (in the event of transition from an invalid state to a valid state).

To this end, we store validity results ¹ and transitions (deviations from stored validity) for every operation. The user decides when to effect the transitions, and to this end can query which document transitions exist, as they can be computed from stored policy transitions.

¹ akin to cache, except this store is not cleaned after every policy operation addition, but after every transition has been effected

Let us take the example of a cancelled operation after a policy change:

inv_op2 supposes knowledge of a transition.