kuilt-heddle/us.tractat.kuilt.heddle/LedgerConflict/PersistentNegativeHoldings

PersistentNegativeHoldings

data class PersistentNegativeHoldings(val group: GroupId, val replica: ReplicaId) : LedgerConflict

A (group, replica) whose derived EntitlementLedger.holdings is negative — the real overspend net (design §4.6): a debit beyond a peer's pocket that nonetheless stays within the edge sum passes PerEdgeSafety yet strands holdings persistently negative. On a fully-delivered state this is a genuine overspend; under partial delivery of a multi-hop transfer-funded charge it may surface transiently and self-heal on anti-entropy.

Constructors

constructor(group: GroupId, replica: ReplicaId)

Properties

group

val group: GroupId

order

open override val order: Int

The stable ordering rank of this conflict kind (kinds are grouped in the sorted report).

replica

val replica: ReplicaId

Functions

compareTo

open operator override fun compareTo(other: LedgerConflict): Int