Uses of Record Class
ai.badmonkey.agentspaces.space.crdt.EntryState

Packages that use EntryState

Package	Description
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).
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).

Uses of EntryState in ai.badmonkey.agentspaces.space.crdt

Methods in ai.badmonkey.agentspaces.space.crdt that return EntryState

Modifier and Type	Method	Description
static EntryState	EntryState.added(EntryRecord record, Dot addDot, LwwRegister<LeaseInfo> stamp)	Creates the state for a freshly written entry.
EntryState	EntryState.merge(EntryState other)	Merges two replicas' states for the same entry.
EntryState	EntryState.withCompleted()	Returns a state marked completed.
EntryState	EntryState.withLease(LwwRegister<LeaseInfo> leaseWrite)	Returns a state with a lease write merged in (LWW by HLC).
EntryState	EntryState.withObservedRemoved()	Returns a state with all currently observed add dots removed (withdrawal).

Methods in ai.badmonkey.agentspaces.space.crdt that return types with arguments of type EntryState

Modifier and Type	Method	Description
Optional<EntryState>	SpaceStateCrdt.state(EntryId entryId)	Returns one entry's state.

Methods in ai.badmonkey.agentspaces.space.crdt with parameters of type EntryState

Modifier and Type	Method	Description
static boolean	SpaceStateCrdt.collectable(EntryState state, long nowMillis, long maxLeaseMillis)	Whether one entry's state is a collectable tombstone (spec §7.3): the entry is no longer live (completed, withdrawn, or its write lease has lapsed) and its lease expired at least twice the maximum lease ago, so every replica that could still learn of the transition has had two full lease periods to do so.
EntryState	EntryState.merge(EntryState other)	Merges two replicas' states for the same entry.
static SpaceStateCrdt	SpaceStateCrdt.of(EntryId entryId, EntryState state)	Wraps one entry's exact state as a mergeable value.

Uses of EntryState in ai.badmonkey.agentspaces.space.replicated

Methods in ai.badmonkey.agentspaces.space.replicated that return EntryState

Modifier and Type	Method	Description
EntryState	SpaceWire.EntryStateDto.toState()	Converts wire form back to a CRDT entry state.

Methods in ai.badmonkey.agentspaces.space.replicated with parameters of type EntryState

Modifier and Type	Method	Description
static SpaceWire.EntryStateDto	SpaceWire.EntryStateDto.from(EntryState state, byte[] issuerPublicKey)	Converts a CRDT entry state to wire form, unsigned, with no certificate.
static SpaceWire.EntryStateDto	SpaceWire.EntryStateDto.from(EntryState state, byte[] issuerPublicKey, AgentCertificate agentCertificate)	Converts a CRDT entry state to wire form, unsigned, carrying the writer's certificate.