Struct Document 

pub struct Document {
    pub id: DocumentID,
    pub fields: HashMap<FieldPath, Field>,
    pub version: VectorClock,
}

A document with field-level LWW conflict resolution

Fields

id: DocumentID

Unique document identifier

fields: HashMap<FieldPath, Field>

Document fields with LWW metadata

version: VectorClock

Vector clock for causality tracking

Implementations

impl Document

pub fn new(id: DocumentID) -> Self

Create a new empty document

pub fn set_field( &mut self, field_path: FieldPath, value: JsonValue, clock: u64, client_id: ClientID, )

Set a field value (creates new timestamp)

This method uses LWW merge logic, so if there’s already a value with a newer timestamp, it won’t be overwritten.

pub fn get_field(&self, field_path: &FieldPath) -> Option<&JsonValue>

Get a field value

pub fn merge_field( &mut self, field_path: FieldPath, remote_field: Field, ) -> bool

Merge a remote field using LWW algorithm

This is the core LWW merge algorithm verified by TLA+. Returns true if the local field was updated.

Comparison order:

1. Higher timestamp wins
2. If timestamps equal, higher client_id wins
3. If both equal (duplicate), use value comparison for determinism

pub fn merge(&mut self, remote: &Document) -> usize

Merge an entire remote document

Merges all fields and vector clocks. Returns the number of fields updated.

pub fn to_json(&self) -> JsonValue

Convert document to JSON for serialization

pub fn field_paths(&self) -> Vec<&FieldPath>

Get all field paths

pub fn is_empty(&self) -> bool

Check if document has any fields

pub fn field_count(&self) -> usize

Get number of fields

pub fn id(&self) -> &DocumentID

Get document ID

pub fn version(&self) -> &VectorClock

Get document version (vector clock)

pub fn fields(&self) -> &HashMap<FieldPath, Field>

Get all fields with metadata

pub fn delete_field(&mut self, field_path: &FieldPath)

Delete a field

Trait Implementations

impl Clone for Document

fn clone(&self) -> Document

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Document

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Document

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Document

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.