Object model
Три роли образуют проверяемое состояние одной ревизии
В этой модели FP — fixed representation (фиксированное представление), ED — editable state (редактируемое состояние), а R — revision data (данные ревизии). Для ревизии i обозначения FPᵢ и EDᵢ описывают два компонента, а Rᵢ логически связывает их как один согласованный набор.
Descriptors/hashes Hfpᵢ и Hedᵢ позволяют сверить содержимое FPᵢ и EDᵢ с ожидаемыми описаниями. Их наличие не означает, что Hfpᵢ и Hedᵢ обязаны быть физически вложены в Rᵢ: формат может разместить данные иначе, сохранив проверяемую связь.
HfpᵢHedᵢHfpᵢ + HedᵢЧто доказывает схема: Rᵢ связывает описания FPᵢ и EDᵢ как компоненты одной ревизии. Чего она не доказывает: что эти данные физически вложены друг в друга или обязаны храниться рядом.
