An update to which further updates can be asserted or entailed.
Partial subjects, containing properties that have been deleted from the domain. Note that deletion of a property (even of all properties) does not necessarily indicate that the subject's identity is not longer represented in the domain.
Partial subjects, containing properties that have been inserted into the domain.
Current local clock ticks at the time of the update.
A promise that resolves when all pending modifications made by the methods
above have affected this updates
An assertion is an update that maintains the data integrity of the domain by changing data that the app created, or that was the result of a prior assertion.
An assertion is incorporated into the final update sent to other clones and echoed to the local app. Examples of assertions:
the update to assert into the domain
An entailment is an update that maintains the data integrity of a domain by changing only entailed data. Entailed data is data that can be deduced automatically, and can only be created by entailment, and not by an app.
An entailment is not included in updates sent to other clones or to the local app. Examples of entailments:
the update to entail into the domain
Removes assertions (not entailments) from this update, prior to application to the dataset. This is used to rewrite assertions made by the application, or the work of prior constraints.
Removal of an assertion is possible:
Whether to remove
the Subject assertions to remove