Uses of Record Class
ai.badmonkey.agentspaces.space.replicated.TakeClaim
Packages that use TakeClaim
Package
Description
The aspace:cap/ordered-log capability: a Raft group over capability pipes,
backing the ORDERED strategy (spec §8).
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 TakeClaim in ai.badmonkey.agentspaces.capabilities.orderedlog
Method parameters in ai.badmonkey.agentspaces.capabilities.orderedlog with type arguments of type TakeClaimModifier and TypeMethodDescriptionOrderedTakes.onCommitted(BiConsumer<EntryId, TakeClaim> listener) Registers a listener told, in commit order, of every claim this member applies from the log, whoever its holder is (issue #16). -
Uses of TakeClaim in ai.badmonkey.agentspaces.space.replicated
Methods in ai.badmonkey.agentspaces.space.replicated that return TakeClaimModifier and TypeMethodDescriptionSpaceWire.SignedClaim.claim()Returns the value of theclaimrecord component.static TakeClaimMerges two claims for the same entry by a total preference order: higher epoch first; within an epoch the lower(stamp, holder)(the spec's deterministic arbitration); for the same holder and stamp, the later expiry (renewal).Methods in ai.badmonkey.agentspaces.space.replicated that return types with arguments of type TakeClaimModifier and TypeMethodDescriptionReplicatedSpace.currentClaim(EntryId entryId) Returns the current take claim on an entry, when any replica claim is known here.Methods in ai.badmonkey.agentspaces.space.replicated with parameters of type TakeClaimModifier and TypeMethodDescriptionvoidReplicatedSpace.applyAuthorizedClaim(EntryId entryId, TakeClaim claim) Installs a claim the ordered log committed without the holder's attestation: the stored proof is signed by this node, so it decides local arbitration but cannot authenticate the holder's completion at any other replica.voidReplicatedSpace.applyAuthorizedClaim(EntryId entryId, TakeClaim claim, byte[] holderKey, byte[] signature) Installs a claim the ordered log committed, with the holder's own attestation (spec §7.4 ORDERED, QA4 A4-5).voidReplicatedSpace.applyAuthorizedClaim(EntryId entryId, TakeClaim claim, byte[] holderKey, byte[] signature, AgentCertificate certificate) ReplicatedSpace.applyAuthorizedClaim(EntryId, TakeClaim, byte[], byte[])for a claim the holder signed with a subordinate agent key: the certificate travels with the proof and the two-key rule verifies it (QA4 A4-7 phase 3).static TakeClaimMerges two claims for the same entry by a total preference order: higher epoch first; within an epoch the lower(stamp, holder)(the spec's deterministic arbitration); for the same holder and stamp, the later expiry (renewal).booleanReplicatedSpace.verifiesAuthorizedClaim(EntryId entryId, TakeClaim claim, byte[] holderKey, byte[] signature, AgentCertificate certificate) Whether a log-committed claim would be accepted byReplicatedSpace.applyAuthorizedClaim(EntryId, TakeClaim, byte[], byte[], AgentCertificate), without installing it (issue #16): the ordered-log coordinator asks this for a committed claim whose generation this replica already holds through gossip, so that listeners on the committed order still hear of every authentic claim.Constructors in ai.badmonkey.agentspaces.space.replicated with parameters of type TakeClaimModifierConstructorDescriptionSignedClaim(TakeClaim claim, byte[] holderKey, byte[] signature) A peer-signed claim proof: the holder's peer key and its signature.SignedClaim(TakeClaim claim, byte[] holderKey, byte[] signature, AgentCertificate holderCertificate) Creates an instance of aSignedClaimrecord class.