Uses of Record Class
ai.badmonkey.agentspaces.space.replicated.SpaceWire.SignedClaim

Packages that use SpaceWire.SignedClaim

Package	Description
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 SpaceWire.SignedClaim in ai.badmonkey.agentspaces.space.replicated

Methods in ai.badmonkey.agentspaces.space.replicated that return SpaceWire.SignedClaim

Modifier and Type	Method	Description
SpaceWire.SignedClaim	SpaceWire.Delta.claim()	Returns the value of the claim record component.
static SpaceWire.SignedClaim	SpaceWire.SignedClaim.merge(SpaceWire.SignedClaim a, SpaceWire.SignedClaim b)	Merges two signed claims, keeping the winning claim's proof.

Methods in ai.badmonkey.agentspaces.space.replicated that return types with arguments of type SpaceWire.SignedClaim

Modifier and Type	Method	Description
Optional<SpaceWire.SignedClaim>	ReplicatedSpace.claimProof(EntryId entryId)	The stored proof of the current claim on an entry, when one is held: the claim, the holder's peer key, its signature, and — when the holder took through an agent key of its own — the peer's certificate for that key.
Map<String, SpaceWire.SignedClaim>	SpaceWire.SyncDelta.claims()	Returns the value of the claims record component.

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

Modifier and Type	Method	Description
static SpaceWire.SignedClaim	SpaceWire.SignedClaim.merge(SpaceWire.SignedClaim a, SpaceWire.SignedClaim b)	Merges two signed claims, keeping the winning claim's proof.

Constructors in ai.badmonkey.agentspaces.space.replicated with parameters of type SpaceWire.SignedClaim

Modifier	Constructor	Description
	Delta(SpaceWire.EntryStateDto state, EntryId claimEntry, SpaceWire.SignedClaim claim)	Creates an instance of a Delta record class.

Constructor parameters in ai.badmonkey.agentspaces.space.replicated with type arguments of type SpaceWire.SignedClaim

Modifier	Constructor	Description
	SyncDelta(List<SpaceWire.EntryStateDto> states, Map<String, SpaceWire.SignedClaim> claims)	Creates an instance of a SyncDelta record class.