Package ai.badmonkey.agentspaces.space.crdt

package ai.badmonkey.agentspaces.space.crdt

The delta-CRDT core of the replicated space: OR-Set entry state, LWW lease registers, monotone completion (spec §7.3). Stability: internal.

Related Packages

Package	Description
ai.badmonkey.agentspaces.space	Types shared by the local and replicated space implementations: the read consistency hint (spec §7.2), the space lifecycle hooks (spec §7.5), and the admission and read-only exceptions those hooks raise.
ai.badmonkey.agentspaces.space.local	LocalSpace: the complete single-JVM Space implementation, plus the default schema registry.
ai.badmonkey.agentspaces.space.replicated	The replicated space: the Space API over the delta-CRDT replica and gossip, with LEASE_RACE take claims as a deterministic lattice (spec §7.3-§7.4).

Class	Description
Dot	A dot: one replica's uniquely numbered event, the unit of causality in the OR-Set (spec §7.3).
EntryState	The replicated state of one entry (spec §7.3): observed-remove add/remove dot sets, a last-writer-wins lease register, and a monotone completed flag.
LwwRegister<V>	A last-writer-wins register ordered by hybrid logical clock (spec §7.3).
SpaceStateCrdt	The replica state of one space as a delta-mergeable CRDT (spec §7.3): an OR-Set of entries keyed by EntryId, each carrying its own EntryState.