Update Frames authored by Nicolas Pope's avatar Nicolas Pope
...@@ -34,4 +34,5 @@ Hence the following is true: ...@@ -34,4 +34,5 @@ Hence the following is true:
* Changes received already marked as *foreign* are fixed as non-changes (not to be forwarded) * Changes received already marked as *foreign* are fixed as non-changes (not to be forwarded)
* Receive state must maintain list of *foreign* changes, moved to new frames. * Receive state must maintain list of *foreign* changes, moved to new frames.
* Received *foreign* changes become fixed once new frame constructed that takes those changes * Received *foreign* changes become fixed once new frame constructed that takes those changes
* a local change to a *foreign* change removes the *foreign* flag