Interface ConflictStrategy
public interface ConflictStrategy
The exclusive-take arbitration SPI (spec ยง7.4). Exclusive take is the one
operation CRDTs cannot express, so it is the strategy point: a replicated space
delegates each take claim here, and the strategy decides, after its own protocol
(settle-window race, auction rounds, ordered log), whether this claimant holds
the entry.
Contract stability: SPI. The signature is expected to grow a bid parameter when the AUCTION strategy lands (plan M2); implementors should extend this interface rather than depend on its exact shape staying fixed.
-
Method Summary
Modifier and TypeMethodDescriptionclaim(EntryRecord entry, AgentId claimant, Lease takeLease) Claims an exclusive take on an entry.type()Returns which declared strategy this implementation provides.
-
Method Details
-
type
ConflictStrategyType type()Returns which declared strategy this implementation provides. -
claim
Claims an exclusive take on an entry.- Parameters:
entry- the entry record being claimedclaimant- the agent claiming the taketakeLease- the TAKE lease requested- Returns:
- a stage resolving
truewhen the claim is awarded to this claimant,falsewhen another claimant holds the entry
-